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/rand7902a8.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//rand7902a8.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand7902a8.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.94 1.00 1.00 1/94 18663 /proc/meminfo: memFree=1016980/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=3272 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) R 18663 18663 13759 34823 13904 4202496 352 0 0 0 0 0 0 0 18 0 1 0 416653281 3350528 271 1283457024 134512640 135539072 4293007040 18446744073709551615 134621024 0 0 0 0 0 0 0 17 1 0 0 0 /proc/18664/statm: 818 277 207 251 0 119 0 [startup+0.141271 s] /proc/loadavg: 0.94 1.00 1.00 1/94 18663 /proc/meminfo: memFree=1016980/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.211304 s] /proc/loadavg: 0.94 1.00 1.00 1/94 18663 /proc/meminfo: memFree=1016980/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.311316 s] /proc/loadavg: 0.94 1.00 1.00 1/94 18663 /proc/meminfo: memFree=1016980/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.711428 s] /proc/loadavg: 0.94 1.00 1.00 1/94 18663 /proc/meminfo: memFree=1016980/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.51168 s] /proc/loadavg: 0.94 1.00 1.00 4/108 18677 /proc/meminfo: memFree=958968/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18666] ppid=18664 vsize=879976 CPUtime=2.37 /proc/18666/stat : 18666 (java) S 18664 18663 13759 34823 13904 4202496 25164 0 0 0 228 9 0 0 18 0 12 0 416653282 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18666/statm: 219994 18897 1739 10 0 217081 0 [pid=18666/tid=18667] ppid=18664 vsize=879976 CPUtime=0.96 /proc/18666/task/18667/stat : 18667 (java) R 18664 18663 13759 34823 13904 4202560 7159 0 0 0 94 2 0 0 25 0 12 0 416653284 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4095096681 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18666/tid=18668] ppid=18664 vsize=879976 CPUtime=0.08 /proc/18666/task/18668/stat : 18668 (java) S 18664 18663 13759 34823 13904 4202560 3782 0 0 0 8 0 0 0 15 0 12 0 416653284 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18669] ppid=18664 vsize=879976 CPUtime=0.04 /proc/18666/task/18669/stat : 18669 (java) S 18664 18663 13759 34823 13904 4202560 1545 0 0 0 4 0 0 0 16 0 12 0 416653284 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 1 0 0 0 [pid=18666/tid=18670] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18670/stat : 18670 (java) S 18664 18663 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 16 0 12 0 416653286 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159601672 0 0 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18671] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18671/stat : 18671 (java) S 18664 18663 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 416653286 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18672] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18672/stat : 18672 (java) S 18664 18663 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 24 0 12 0 416653286 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18673] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18673/stat : 18673 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416653289 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159609168 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18674] ppid=18664 vsize=879976 CPUtime=0.42 /proc/18666/task/18674/stat : 18674 (java) S 18664 18663 13759 34823 13904 4202560 2796 0 0 0 39 3 0 0 18 0 12 0 416653289 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18675] ppid=18664 vsize=879976 CPUtime=0.84 /proc/18666/task/18675/stat : 18675 (java) S 18664 18663 13759 34823 13904 4202560 8461 0 0 0 80 4 0 0 18 0 12 0 416653289 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 1 0 0 0 [pid=18666/tid=18676] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18676/stat : 18676 (java) S 18664 18663 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 416653289 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18677] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18677/stat : 18677 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416653289 901095424 18897 1283457024 134512640 134550932 4293146160 18446744073709551615 4159601672 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 886352 [startup+3.10421 s] /proc/loadavg: 0.94 1.00 1.00 4/108 18677 /proc/meminfo: memFree=877500/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18666] ppid=18664 vsize=879976 CPUtime=4.23 /proc/18666/stat : 18666 (java) S 18664 18663 13759 34823 13904 4202496 56589 0 0 0 400 23 0 0 18 0 12 0 416653282 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18666/statm: 219994 48771 1744 10 0 217081 0 [pid=18666/tid=18667] ppid=18664 vsize=879976 CPUtime=1.95 /proc/18666/task/18667/stat : 18667 (java) R 18664 18663 13759 34823 13904 4202560 17374 0 0 0 188 7 0 0 25 0 12 0 416653284 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4095218467 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18666/tid=18668] ppid=18664 vsize=879976 CPUtime=0.36 /proc/18666/task/18668/stat : 18668 (java) S 18664 18663 13759 34823 13904 4202560 12943 0 0 0 33 3 0 0 16 0 12 0 416653284 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18669] ppid=18664 vsize=879976 CPUtime=0.34 /proc/18666/task/18669/stat : 18669 (java) S 18664 18663 13759 34823 13904 4202560 11810 0 0 0 30 4 0 0 15 0 12 0 416653284 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 1 0 0 0 [pid=18666/tid=18670] ppid=18664 vsize=879976 CPUtime=0.24 /proc/18666/task/18670/stat : 18670 (java) S 18664 18663 13759 34823 13904 4202560 1794 0 0 0 24 0 0 0 15 0 12 0 416653286 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159601672 0 0 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18671] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18671/stat : 18671 (java) S 18664 18663 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 416653286 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18672] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18672/stat : 18672 (java) S 18664 18663 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 416653286 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18673] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18673/stat : 18673 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416653289 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159609168 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18674] ppid=18664 vsize=879976 CPUtime=0.42 /proc/18666/task/18674/stat : 18674 (java) S 18664 18663 13759 34823 13904 4202560 2796 0 0 0 39 3 0 0 18 0 12 0 416653289 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18675] ppid=18664 vsize=879976 CPUtime=0.89 /proc/18666/task/18675/stat : 18675 (java) S 18664 18663 13759 34823 13904 4202560 8464 0 0 0 85 4 0 0 15 0 12 0 416653289 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18676] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18676/stat : 18676 (java) S 18664 18663 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 416653289 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18677] ppid=18664 vsize=879976 CPUtime=0 /proc/18666/task/18677/stat : 18677 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416653289 901095424 48771 1283457024 134512640 134550932 4293146160 18446744073709551615 4159601672 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 886352 [startup+6.30427 s] /proc/loadavg: 1.35 1.08 1.03 11/108 18677 /proc/meminfo: memFree=697336/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=0 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18666] ppid=18664 vsize=881780 CPUtime=9.42 /proc/18666/stat : 18666 (java) S 18664 18663 13759 34823 13904 4202496 100389 0 0 0 904 38 0 0 18 0 12 0 416653282 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18666/statm: 220445 86088 1770 10 0 217532 0 [pid=18666/tid=18667] ppid=18664 vsize=881780 CPUtime=3.59 /proc/18666/task/18667/stat : 18667 (java) S 18664 18663 13759 34823 13904 4202560 18809 0 0 0 350 9 0 0 25 0 12 0 416653284 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 1 0 0 0 [pid=18666/tid=18668] ppid=18664 vsize=881780 CPUtime=0.82 /proc/18666/task/18668/stat : 18668 (java) S 18664 18663 13759 34823 13904 4202560 31408 0 0 0 77 5 0 0 15 0 12 0 416653284 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18669] ppid=18664 vsize=881780 CPUtime=0.82 /proc/18666/task/18669/stat : 18669 (java) S 18664 18663 13759 34823 13904 4202560 29822 0 0 0 69 13 0 0 15 0 12 0 416653284 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18670] ppid=18664 vsize=881780 CPUtime=1.24 /proc/18666/task/18670/stat : 18670 (java) R 18664 18663 13759 34823 13904 4202560 4870 0 0 0 124 0 0 0 16 0 12 0 416653286 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4151445694 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=18666/tid=18671] ppid=18664 vsize=881780 CPUtime=0 /proc/18666/task/18671/stat : 18671 (java) S 18664 18663 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 416653286 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18672] ppid=18664 vsize=881780 CPUtime=0 /proc/18666/task/18672/stat : 18672 (java) S 18664 18663 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 416653286 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18673] ppid=18664 vsize=881780 CPUtime=0 /proc/18666/task/18673/stat : 18673 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416653289 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159609168 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18674] ppid=18664 vsize=881780 CPUtime=1.18 /proc/18666/task/18674/stat : 18674 (java) S 18664 18663 13759 34823 13904 4202560 3710 0 0 0 115 3 0 0 16 0 12 0 416653289 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18675] ppid=18664 vsize=881780 CPUtime=1.74 /proc/18666/task/18675/stat : 18675 (java) S 18664 18663 13759 34823 13904 4202560 10362 0 0 0 168 6 0 0 16 0 12 0 416653289 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18676] ppid=18664 vsize=881780 CPUtime=0 /proc/18666/task/18676/stat : 18676 (java) S 18664 18663 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 416653289 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159600880 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 [pid=18666/tid=18677] ppid=18664 vsize=881780 CPUtime=0 /proc/18666/task/18677/stat : 18677 (java) S 18664 18663 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416653289 902942720 86088 1283457024 134512640 134550932 4293146160 18446744073709551615 4159601672 0 4 0 16800975 18446612133811077184 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.42 Current children cumulated vsize (KiB) 888156 [startup+12.7046 s] /proc/loadavg: 1.32 1.08 1.03 2/98 18682 /proc/meminfo: memFree=921608/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=115360 CPUtime=1.86 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 29657 0 0 0 177 9 0 0 25 0 1 0 416654364 118128640 28607 1283457024 134512640 135858300 4294174816 18446744073709551615 134554615 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 28840 28607 115 329 0 28509 0 Current children cumulated CPU time (s) 16.55 Current children cumulated vsize (KiB) 124624 [startup+25.5051 s] /proc/loadavg: 1.25 1.08 1.02 2/98 18683 /proc/meminfo: memFree=871032/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=126156 CPUtime=14.63 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 34974 0 0 0 1454 9 0 0 25 0 1 0 416654364 129183744 31339 1283457024 134512640 135858300 4294174816 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31539 31339 137 329 0 31208 0 Current children cumulated CPU time (s) 29.32 Current children cumulated vsize (KiB) 135420 [startup+51.1063 s] /proc/loadavg: 1.16 1.07 1.02 2/98 18685 /proc/meminfo: memFree=868800/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=40.21 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 4009 12 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 134664349 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 54.9 Current children cumulated vsize (KiB) 137200 [startup+102.305 s] /proc/loadavg: 1.07 1.06 1.02 2/98 18688 /proc/meminfo: memFree=868544/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=91.31 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 9115 16 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 135336692 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 106 Current children cumulated vsize (KiB) 137200 [startup+162.307 s] /proc/loadavg: 1.02 1.04 1.01 2/98 18692 /proc/meminfo: memFree=868552/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=151.31 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 15111 20 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 134663015 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 166 Current children cumulated vsize (KiB) 137200 [startup+222.306 s] /proc/loadavg: 1.01 1.03 1.01 2/99 19178 /proc/meminfo: memFree=867924/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=210.85 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 21062 23 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 134664362 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 225.54 Current children cumulated vsize (KiB) 137200 [startup+282.305 s] /proc/loadavg: 1.00 1.02 1.00 2/98 19182 /proc/meminfo: memFree=867924/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=270.75 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 27052 23 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 135358863 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 285.44 Current children cumulated vsize (KiB) 137200 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+286.905 s] /proc/loadavg: 1.00 1.02 1.00 2/98 19183 /proc/meminfo: memFree=867932/2097152 swapFree=2055620/2097144 [pid=18663] ppid=18662 vsize=2376 CPUtime=0 /proc/18663/stat : 18663 (inesct-1.0) S 18662 18663 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416653280 2433024 257 1283457024 134512640 135191968 4293291760 18446744073709551615 4159642254 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18663/statm: 594 257 221 166 0 26 0 [pid=18664] ppid=18663 vsize=4000 CPUtime=14.69 /proc/18664/stat : 18664 (cudf-solver.py) S 18663 18663 13759 34823 13904 4202496 813 108949 0 0 0 0 1383 86 18 0 1 0 416653281 4096000 642 1283457024 134512640 135539072 4293007040 18446744073709551615 4158904974 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18664/statm: 1000 642 346 251 0 301 0 [pid=18681] ppid=18664 vsize=2888 CPUtime=0 /proc/18681/stat : 18681 (sh) S 18664 18663 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 19 0 1 0 416654363 2957312 320 1283457024 134512640 135191968 4286976352 18446744073709551615 4159146638 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18681/statm: 722 320 219 166 0 154 0 [pid=18682] ppid=18681 vsize=127936 CPUtime=275.37 /proc/18682/stat : 18682 (msuncore) R 18681 18663 13759 34823 13904 4202496 37587 0 0 0 27514 23 0 0 25 0 1 0 416654364 131006464 31777 1283457024 134512640 135858300 4294174816 18446744073709551615 134659034 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18682/statm: 31984 31777 137 329 0 31653 0 Current children cumulated CPU time (s) 290.06 Current children cumulated vsize (KiB) 137200 Sending User defined signal 1 to process tree (bottom up) olver just ended. Duumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18663 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=844865 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=876054 # CPU time returned by wait4() is 14.7209 # while last known CPU time is 290.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 286.939 CPU time (s): 290.06 CPU user time (s): 288.97 CPU system time (s): 1.09 CPU usage (%): 101.088 Max. virtual memory (cumulated for all children) (KiB): 890176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.8449 system time used= 0.876054 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110966 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= 671 involuntary context switches= 548 runsolver used 0.068004 second user time and 0.140008 second system time The end