runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/randfa4522.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//randfa4522.cudf /home/misc2010/tmp/201007051419/inesct-1.0/randfa4522.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 1/94 30556 /proc/meminfo: memFree=1090576/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=3272 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) R 30556 30556 13759 34823 13904 4194304 309 0 0 0 0 0 0 0 18 0 1 0 418621339 3350528 233 1283457024 134512640 135539072 4293502784 18446744073709551615 134909542 0 0 0 0 0 0 0 17 1 0 0 0 /proc/30557/statm: 818 237 185 251 0 119 0 [startup+0.167456 s] /proc/loadavg: 0.92 0.99 0.99 1/94 30556 /proc/meminfo: memFree=1090576/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.227876 s] /proc/loadavg: 0.92 0.99 0.99 1/94 30556 /proc/meminfo: memFree=1090576/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.305879 s] /proc/loadavg: 0.92 0.99 0.99 1/94 30556 /proc/meminfo: memFree=1090576/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.705957 s] /proc/loadavg: 0.92 0.99 0.99 1/94 30556 /proc/meminfo: memFree=1090576/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.5059 s] /proc/loadavg: 0.92 0.99 0.99 4/108 30570 /proc/meminfo: memFree=1032212/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30559] ppid=30557 vsize=875788 CPUtime=2.6 /proc/30559/stat : 30559 (java) S 30557 30556 13759 34823 13904 4202496 27620 0 0 0 246 14 0 0 18 0 12 0 418621341 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159976594 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30559/statm: 218947 22661 1745 10 0 216034 0 [pid=30559/tid=30560] ppid=30557 vsize=875788 CPUtime=1.18 /proc/30559/task/30560/stat : 30560 (java) R 30557 30556 13759 34823 13904 4202560 9302 0 0 0 114 4 0 0 16 0 12 0 418621342 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4160001393 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30559/tid=30561] ppid=30557 vsize=875788 CPUtime=0.15 /proc/30559/task/30561/stat : 30561 (java) S 30557 30556 13759 34823 13904 4202560 5807 0 0 0 15 0 0 0 15 0 12 0 418621343 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30562] ppid=30557 vsize=875788 CPUtime=0.08 /proc/30559/task/30562/stat : 30562 (java) S 30557 30556 13759 34823 13904 4202560 2649 0 0 0 5 3 0 0 16 0 12 0 418621343 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30563] ppid=30557 vsize=875788 CPUtime=0.08 /proc/30559/task/30563/stat : 30563 (java) S 30557 30556 13759 34823 13904 4202560 110 0 0 0 8 0 0 0 16 0 12 0 418621344 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990792 0 0 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30564] ppid=30557 vsize=875788 CPUtime=0 /proc/30559/task/30564/stat : 30564 (java) S 30557 30556 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 418621344 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30565] ppid=30557 vsize=875788 CPUtime=0 /proc/30559/task/30565/stat : 30565 (java) S 30557 30556 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 418621345 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30566] ppid=30557 vsize=875788 CPUtime=0 /proc/30559/task/30566/stat : 30566 (java) S 30557 30556 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418621347 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159998288 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30567] ppid=30557 vsize=875788 CPUtime=0.9 /proc/30559/task/30567/stat : 30567 (java) R 30557 30556 13759 34823 13904 4202560 7279 0 0 0 86 4 0 0 25 0 12 0 418621347 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4152521100 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30559/tid=30568] ppid=30557 vsize=875788 CPUtime=0.17 /proc/30559/task/30568/stat : 30568 (java) S 30557 30556 13759 34823 13904 4202560 1065 0 0 0 16 1 0 0 17 0 12 0 418621347 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30569] ppid=30557 vsize=875788 CPUtime=0 /proc/30559/task/30569/stat : 30569 (java) S 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418621347 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30570] ppid=30557 vsize=875788 CPUtime=0 /proc/30559/task/30570/stat : 30570 (java) S 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418621347 896806912 22661 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990792 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 882168 [startup+3.10994 s] /proc/loadavg: 0.92 0.99 0.99 3/108 30570 /proc/meminfo: memFree=855512/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30559] ppid=30557 vsize=876812 CPUtime=4.53 /proc/30559/stat : 30559 (java) S 30557 30556 13759 34823 13904 4202496 67284 0 0 0 419 34 0 0 18 0 12 0 418621341 897855488 60223 1283457024 134512640 134550932 4286976080 18446744073709551615 4159976594 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30559/statm: 219203 60225 1745 10 0 216290 0 [pid=30559/tid=30560] ppid=30557 vsize=876812 CPUtime=2.15 /proc/30559/task/30560/stat : 30560 (java) S 30557 30556 13759 34823 13904 4202560 18351 0 0 0 205 10 0 0 16 0 12 0 418621342 897855488 60228 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30561] ppid=30557 vsize=876812 CPUtime=0.53 /proc/30559/task/30561/stat : 30561 (java) R 30557 30556 13759 34823 13904 4202560 20679 0 0 0 47 6 0 0 16 0 12 0 418621343 897855488 60230 1283457024 134512640 134550932 4286976080 18446744073709551615 4152461992 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30559/tid=30562] ppid=30557 vsize=876812 CPUtime=0.49 /proc/30559/task/30562/stat : 30562 (java) R 30557 30556 13759 34823 13904 4202560 16440 0 0 0 37 12 0 0 16 0 12 0 418621343 897855488 60232 1283457024 134512640 134550932 4286976080 18446744073709551615 4152462040 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30559/tid=30563] ppid=30557 vsize=876812 CPUtime=0.25 /proc/30559/task/30563/stat : 30563 (java) S 30557 30556 13759 34823 13904 4202560 2069 0 0 0 25 0 0 0 15 0 12 0 418621344 897855488 60234 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 0 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30564] ppid=30557 vsize=876812 CPUtime=0 /proc/30559/task/30564/stat : 30564 (java) S 30557 30556 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 418621344 897855488 60235 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30565] ppid=30557 vsize=876812 CPUtime=0 /proc/30559/task/30565/stat : 30565 (java) S 30557 30556 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 418621345 897855488 60237 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30566] ppid=30557 vsize=876812 CPUtime=0 /proc/30559/task/30566/stat : 30566 (java) S 30557 30556 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418621347 897855488 60239 1283457024 134512640 134550932 4286976080 18446744073709551615 4159998288 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30567] ppid=30557 vsize=876812 CPUtime=0.91 /proc/30559/task/30567/stat : 30567 (java) S 30557 30556 13759 34823 13904 4202560 7279 0 0 0 87 4 0 0 16 0 12 0 418621347 897855488 60240 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30568] ppid=30557 vsize=876812 CPUtime=0.17 /proc/30559/task/30568/stat : 30568 (java) S 30557 30556 13759 34823 13904 4202560 1065 0 0 0 16 1 0 0 15 0 12 0 418621347 897855488 60242 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30569] ppid=30557 vsize=876812 CPUtime=0 /proc/30559/task/30569/stat : 30569 (java) S 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418621347 897855488 60244 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30570] ppid=30557 vsize=876812 CPUtime=0 /proc/30559/task/30570/stat : 30570 (java) S 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418621347 897855488 60246 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990792 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.53 Current children cumulated vsize (KiB) 883192 [startup+6.31257 s] /proc/loadavg: 1.17 1.04 1.01 3/108 30571 /proc/meminfo: memFree=768964/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=0 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30559] ppid=30557 vsize=879884 CPUtime=9.22 /proc/30559/stat : 30559 (java) S 30557 30556 13759 34823 13904 4202496 96767 0 0 0 876 46 0 0 18 0 12 0 418621341 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159976594 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30559/statm: 219971 85361 1770 10 0 217058 0 [pid=30559/tid=30560] ppid=30557 vsize=879884 CPUtime=3.82 /proc/30559/task/30560/stat : 30560 (java) S 30557 30556 13759 34823 13904 4202560 18500 0 0 0 372 10 0 0 15 0 12 0 418621342 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30561] ppid=30557 vsize=879884 CPUtime=0.87 /proc/30559/task/30561/stat : 30561 (java) S 30557 30556 13759 34823 13904 4202560 32119 0 0 0 77 10 0 0 16 0 12 0 418621343 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30562] ppid=30557 vsize=879884 CPUtime=0.82 /proc/30559/task/30562/stat : 30562 (java) S 30557 30556 13759 34823 13904 4202560 27646 0 0 0 65 17 0 0 16 0 12 0 418621343 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30563] ppid=30557 vsize=879884 CPUtime=1.25 /proc/30559/task/30563/stat : 30563 (java) R 30557 30556 13759 34823 13904 4202560 5784 0 0 0 125 0 0 0 15 0 12 0 418621344 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990792 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=30559/tid=30564] ppid=30557 vsize=879884 CPUtime=0 /proc/30559/task/30564/stat : 30564 (java) S 30557 30556 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 418621344 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30565] ppid=30557 vsize=879884 CPUtime=0 /proc/30559/task/30565/stat : 30565 (java) S 30557 30556 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 418621345 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30566] ppid=30557 vsize=879884 CPUtime=0 /proc/30559/task/30566/stat : 30566 (java) S 30557 30556 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418621347 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159998288 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30567] ppid=30557 vsize=879884 CPUtime=1.47 /proc/30559/task/30567/stat : 30567 (java) S 30557 30556 13759 34823 13904 4202560 7385 0 0 0 143 4 0 0 15 0 12 0 418621347 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30568] ppid=30557 vsize=879884 CPUtime=0.94 /proc/30559/task/30568/stat : 30568 (java) S 30557 30556 13759 34823 13904 4202560 3925 0 0 0 92 2 0 0 15 0 12 0 418621347 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 1 0 0 0 [pid=30559/tid=30569] ppid=30557 vsize=879884 CPUtime=0 /proc/30559/task/30569/stat : 30569 (java) S 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418621347 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990000 0 4 0 16800975 18446612133476669248 0 0 -1 0 0 0 0 [pid=30559/tid=30570] ppid=30557 vsize=879884 CPUtime=0 /proc/30559/task/30570/stat : 30570 (java) R 30557 30556 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418621347 901001216 85361 1283457024 134512640 134550932 4286976080 18446744073709551615 4159990792 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.22 Current children cumulated vsize (KiB) 886264 [startup+12.7065 s] /proc/loadavg: 1.15 1.03 1.00 2/98 30576 /proc/meminfo: memFree=1006148/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=124464 CPUtime=2.05 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 31922 0 0 0 190 15 0 0 22 0 1 0 418622403 127451136 30872 1283457024 134512640 135858300 4289358784 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/30576/statm: 31116 30872 115 329 0 30785 0 Current children cumulated CPU time (s) 16.59 Current children cumulated vsize (KiB) 133736 [startup+25.507 s] /proc/loadavg: 1.19 1.05 1.01 2/99 31058 /proc/meminfo: memFree=951144/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=118116 CPUtime=14.44 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 35719 0 0 0 1425 19 0 0 25 0 1 0 418622403 120950784 29331 1283457024 134512640 135858300 4289358784 18446744073709551615 135343643 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/30576/statm: 29529 29331 137 329 0 29198 0 Current children cumulated CPU time (s) 28.98 Current children cumulated vsize (KiB) 127388 [startup+51.1128 s] /proc/loadavg: 1.13 1.04 1.01 2/99 31060 /proc/meminfo: memFree=951532/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=118116 CPUtime=40.01 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 35719 0 0 0 3982 19 0 0 25 0 1 0 418622403 120950784 29331 1283457024 134512640 135858300 4289358784 18446744073709551615 134659032 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30576/statm: 29529 29331 137 329 0 29198 0 Current children cumulated CPU time (s) 54.55 Current children cumulated vsize (KiB) 127388 [startup+102.306 s] /proc/loadavg: 1.10 1.05 1.01 2/98 31063 /proc/meminfo: memFree=937336/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=132360 CPUtime=91.13 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 39273 0 0 0 9091 22 0 0 25 0 1 0 418622403 135536640 32885 1283457024 134512640 135858300 4289358784 18446744073709551615 135343473 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/30576/statm: 33090 32885 137 329 0 32759 0 Current children cumulated CPU time (s) 105.67 Current children cumulated vsize (KiB) 141632 [startup+162.305 s] /proc/loadavg: 1.03 1.04 1.00 2/98 31067 /proc/meminfo: memFree=937584/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=132360 CPUtime=151.14 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 39273 0 0 0 15091 23 0 0 25 0 1 0 418622403 135536640 32885 1283457024 134512640 135858300 4289358784 18446744073709551615 135336595 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/30576/statm: 33090 32885 137 329 0 32759 0 Current children cumulated CPU time (s) 165.68 Current children cumulated vsize (KiB) 141632 [startup+222.308 s] /proc/loadavg: 1.01 1.03 1.00 2/98 31071 /proc/meminfo: memFree=937460/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=132360 CPUtime=210.9 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 39273 0 0 0 21067 23 0 0 25 0 1 0 418622403 135536640 32885 1283457024 134512640 135858300 4289358784 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/30576/statm: 33090 32885 137 329 0 32759 0 Current children cumulated CPU time (s) 225.44 Current children cumulated vsize (KiB) 141632 [startup+282.311 s] /proc/loadavg: 1.00 1.02 1.00 2/99 31077 /proc/meminfo: memFree=937096/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=132360 CPUtime=270.88 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 39273 0 0 0 27063 25 0 0 25 0 1 0 418622403 135536640 32885 1283457024 134512640 135858300 4289358784 18446744073709551615 134662975 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30576/statm: 33090 32885 137 329 0 32759 0 Current children cumulated CPU time (s) 285.42 Current children cumulated vsize (KiB) 141632 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+286.912 s] /proc/loadavg: 1.00 1.02 1.00 2/99 31077 /proc/meminfo: memFree=937096/2097152 swapFree=2055620/2097144 [pid=30556] ppid=30555 vsize=2380 CPUtime=0 /proc/30556/stat : 30556 (inesct-1.0) S 30555 30556 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 17 0 1 0 418621339 2437120 258 1283457024 134512640 135191968 4291095776 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30556/statm: 595 258 221 166 0 27 0 [pid=30557] ppid=30556 vsize=4000 CPUtime=14.54 /proc/30557/stat : 30557 (cudf-solver.py) S 30556 30556 13759 34823 13904 4202496 813 107019 0 0 0 0 1365 89 15 0 1 0 418621339 4096000 642 1283457024 134512640 135539072 4293502784 18446744073709551615 4158691982 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/30557/statm: 1000 642 346 251 0 301 0 [pid=30575] ppid=30557 vsize=2892 CPUtime=0 /proc/30575/stat : 30575 (sh) S 30557 30556 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418622402 2961408 321 1283457024 134512640 135191968 4288227984 18446744073709551615 4159244942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30575/statm: 723 321 219 166 0 155 0 [pid=30576] ppid=30575 vsize=132360 CPUtime=275.47 /proc/30576/stat : 30576 (msuncore) R 30575 30556 13759 34823 13904 4202496 39273 0 0 0 27522 25 0 0 25 0 1 0 418622403 135536640 32885 1283457024 134512640 135858300 4289358784 18446744073709551615 135341732 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30576/statm: 33090 32885 137 329 0 32759 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 141632 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30556 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=664854 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=908056 # CPU time returned by wait4() is 14.5729 # while last known CPU time is 290.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 286.938 CPU time (s): 290.01 CPU user time (s): 288.87 CPU system time (s): 1.14 CPU usage (%): 101.071 Max. virtual memory (cumulated for all children) (KiB): 888756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.6649 system time used= 0.908056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108811 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 581 involuntary context switches= 434 runsolver used 0.016001 second user time and 0.068004 second system time The end