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/201007051233/inesct-1.0/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/debian-dudf//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inesct-1.0/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.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: 1.04 1.03 1.00 2/36 6406 /proc/meminfo: memFree=906868/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2884 CPUtime=0 /proc/6406/stat : 6406 (runsolver) R 6405 6406 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 526836646 2953216 93 1283457024 134512640 134586868 4290426288 18446744073709551615 4158612522 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/6406/statm: 721 93 62 19 0 53 0 [startup+0.186229 s] /proc/loadavg: 1.04 1.03 1.00 2/36 6406 /proc/meminfo: memFree=906868/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.206225 s] /proc/loadavg: 1.04 1.03 1.00 2/36 6406 /proc/meminfo: memFree=906868/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.306242 s] /proc/loadavg: 1.04 1.03 1.00 2/36 6406 /proc/meminfo: memFree=906868/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.706341 s] /proc/loadavg: 1.04 1.03 1.00 2/36 6406 /proc/meminfo: memFree=906868/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50654 s] /proc/loadavg: 1.04 1.03 1.00 2/47 6417 /proc/meminfo: memFree=873088/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=0 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6409] ppid=6408 vsize=864892 CPUtime=1.43 /proc/6409/stat : 6409 (java) S 6408 6406 3447 769 3447 4202496 16018 0 3 0 135 8 0 0 25 0 9 0 526836647 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160267410 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6409/statm: 216223 14164 2715 10 0 210561 0 [pid=6409/tid=6410] ppid=6408 vsize=864892 CPUtime=0.95 /proc/6409/task/6410/stat : 6410 (java) R 6408 6406 3447 769 3447 4202560 3420 0 3 0 93 2 0 0 25 0 9 0 526836649 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160291527 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6409/tid=6411] ppid=6408 vsize=864892 CPUtime=0.45 /proc/6409/task/6411/stat : 6411 (java) R 6408 6406 3447 769 3447 4202560 11092 0 0 0 39 6 0 0 17 0 9 0 526836649 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 102759439 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6409/tid=6412] ppid=6408 vsize=864892 CPUtime=0 /proc/6409/task/6412/stat : 6412 (java) S 6408 6406 3447 769 3447 4202560 15 0 0 0 0 0 0 0 20 0 9 0 526836649 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6413] ppid=6408 vsize=864892 CPUtime=0 /proc/6409/task/6413/stat : 6413 (java) S 6408 6406 3447 769 3447 4202560 8 0 0 0 0 0 0 0 21 0 9 0 526836649 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6414] ppid=6408 vsize=864892 CPUtime=0 /proc/6409/task/6414/stat : 6414 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526836650 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160289104 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6415] ppid=6408 vsize=864892 CPUtime=0.02 /proc/6409/task/6415/stat : 6415 (java) S 6408 6406 3447 769 3447 4202560 389 0 0 0 2 0 0 0 17 0 9 0 526836650 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6416] ppid=6408 vsize=864892 CPUtime=0 /proc/6409/task/6416/stat : 6416 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526836650 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6417] ppid=6408 vsize=864892 CPUtime=0 /proc/6409/task/6417/stat : 6417 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526836650 885649408 14164 1283457024 134512640 134550932 4290975360 18446744073709551615 4160281608 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 871280 [startup+3.10989 s] /proc/loadavg: 1.12 1.05 1.01 3/47 6417 /proc/meminfo: memFree=809608/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=0 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6409] ppid=6408 vsize=865076 CPUtime=3 /proc/6409/stat : 6409 (java) S 6408 6406 3447 769 3447 4202496 28846 0 3 0 288 12 0 0 25 0 9 0 526836647 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160267410 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6409/statm: 216269 26504 2721 10 0 210607 0 [pid=6409/tid=6410] ppid=6408 vsize=865076 CPUtime=1.99 /proc/6409/task/6410/stat : 6410 (java) R 6408 6406 3447 769 3447 4202560 4042 0 3 0 196 3 0 0 25 0 9 0 526836649 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160291527 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6409/tid=6411] ppid=6408 vsize=865076 CPUtime=0.96 /proc/6409/task/6411/stat : 6411 (java) S 6408 6406 3447 769 3447 4202560 23244 0 0 0 87 9 0 0 16 0 9 0 526836649 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160281608 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6412] ppid=6408 vsize=865076 CPUtime=0 /proc/6409/task/6412/stat : 6412 (java) S 6408 6406 3447 769 3447 4202560 15 0 0 0 0 0 0 0 18 0 9 0 526836649 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6413] ppid=6408 vsize=865076 CPUtime=0 /proc/6409/task/6413/stat : 6413 (java) S 6408 6406 3447 769 3447 4202560 8 0 0 0 0 0 0 0 18 0 9 0 526836649 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6414] ppid=6408 vsize=865076 CPUtime=0 /proc/6409/task/6414/stat : 6414 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526836650 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160289104 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6415] ppid=6408 vsize=865076 CPUtime=0.05 /proc/6409/task/6415/stat : 6415 (java) R 6408 6406 3447 769 3447 4202560 443 0 0 0 5 0 0 0 16 0 9 0 526836650 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 104264576 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6409/tid=6416] ppid=6408 vsize=865076 CPUtime=0 /proc/6409/task/6416/stat : 6416 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526836650 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160280816 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6409/tid=6417] ppid=6408 vsize=865076 CPUtime=0 /proc/6409/task/6417/stat : 6417 (java) S 6408 6406 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526836650 885837824 26504 1283457024 134512640 134550932 4290975360 18446744073709551615 4160281608 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 871464 [startup+6.31065 s] /proc/loadavg: 1.12 1.05 1.01 2/40 6420 /proc/meminfo: memFree=889364/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=4.52 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 777 43295 0 3 0 0 431 21 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6419] ppid=6408 vsize=2892 CPUtime=0 /proc/6419/stat : 6419 (sh) S 6408 6406 3447 769 3447 4194304 358 0 0 0 0 0 0 0 18 0 1 0 526837110 2961408 323 1283457024 134512640 135191968 4290051792 18446744073709551615 4159285662 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6419/statm: 723 323 221 166 0 155 0 [pid=6420] ppid=6419 vsize=6844 CPUtime=1.56 /proc/6420/stat : 6420 (pb2wcnf) R 6419 6406 3447 769 3447 4202496 1559 0 12 0 148 8 0 0 25 0 1 0 526837110 7008256 1493 1283457024 134512640 135650584 4294140064 18446744073709551615 135139505 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6420/statm: 1711 1493 96 278 0 1431 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 16124 [startup+12.7056 s] /proc/loadavg: 1.11 1.05 1.01 2/40 6422 /proc/meminfo: memFree=763548/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=4.75 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 33536 0 15 0 464 11 0 0 25 0 1 0 526837431 123432960 29935 1283457024 134512640 135858300 4288837616 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29935 134 329 0 29804 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 129824 [startup+25.5094 s] /proc/loadavg: 1.08 1.04 1.00 2/40 6422 /proc/meminfo: memFree=763796/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=17.54 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 36210 0 15 0 1740 14 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 135342368 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 129824 [startup+51.1078 s] /proc/loadavg: 1.05 1.04 1.00 2/40 6422 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=43.11 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 36210 0 15 0 4297 14 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 129824 [startup+102.312 s] /proc/loadavg: 1.02 1.03 1.00 2/40 6422 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=94.2 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 40304 0 15 0 9403 17 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 134662106 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 101.82 Current children cumulated vsize (KiB) 129824 [startup+162.309 s] /proc/loadavg: 1.01 1.02 1.00 2/40 6422 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=154.18 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 40304 0 15 0 15400 18 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 134657734 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 161.8 Current children cumulated vsize (KiB) 129824 [startup+222.315 s] /proc/loadavg: 1.00 1.02 1.00 2/40 6422 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=214.1 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 40304 0 15 0 21388 22 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 135336595 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 221.72 Current children cumulated vsize (KiB) 129824 [startup+282.314 s] /proc/loadavg: 1.00 1.01 1.00 2/40 6423 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=274.08 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 40304 0 15 0 27382 26 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 281.7 Current children cumulated vsize (KiB) 129824 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.707 s] /proc/loadavg: 1.00 1.01 1.00 2/40 6423 /proc/meminfo: memFree=763920/1048576 swapFree=2092216/2097144 [pid=6406] ppid=6405 vsize=2384 CPUtime=0 /proc/6406/stat : 6406 (inesct-1.0) S 6405 6406 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526836646 2441216 261 1283457024 134512640 135191968 4292081696 18446744073709551615 4158744990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6406/statm: 596 261 222 166 0 28 0 [pid=6408] ppid=6406 vsize=4004 CPUtime=7.62 /proc/6408/stat : 6408 (cudf-solver.py) S 6406 6406 3447 769 3447 4202496 805 45340 0 15 0 0 674 88 18 0 1 0 526836646 4100096 644 1283457024 134512640 135539072 4292604544 18446744073709551615 4158773662 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6408/statm: 1001 644 348 251 0 302 0 [pid=6421] ppid=6408 vsize=2896 CPUtime=0 /proc/6421/stat : 6421 (sh) S 6408 6406 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526837431 2965504 324 1283457024 134512640 135191968 4289019344 18446744073709551615 4158757278 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6421/statm: 724 324 221 166 0 156 0 [pid=6422] ppid=6421 vsize=120540 CPUtime=282.47 /proc/6422/stat : 6422 (msuncore) R 6421 6406 3447 769 3447 4202496 40304 0 15 0 28221 26 0 0 25 0 1 0 526837431 123432960 29938 1283457024 134512640 135858300 4288837616 18446744073709551615 134657429 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6422/statm: 30135 29938 137 329 0 29804 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 129824 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 Real time (s): 290.747 CPU time (s): 290.15 CPU user time (s): 288.994 CPU system time (s): 1.15607 CPU usage (%): 99.7946 Max. virtual memory (cumulated for all children) (KiB): 872448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 288.994 system time used= 1.15607 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87782 page faults= 30 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1824 involuntary context switches= 5349 runsolver used 0 second user time and 0 second system time The end