runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3699240-1338118427/watcher-3699240-1338118427 -o /tmp/evaluation-result-3699240-1338118427/solver-3699240-1338118427 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699240-1338118427.opb 823482702 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[startup+0.049016 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.24 1.10 1.38 3/177 18191
/proc/meminfo: memFree=28034432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10035 s]
/proc/loadavg: 1.38 1.13 1.38 3/179 18193
/proc/meminfo: memFree=27669472/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=125316 CPUtime=3.08 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 13128 0 0 0 301 7 0 0 20 0 1 0 277968398 128323584 26047 33554432000 4194304 5992684 140735259091696 140735259087816 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18192/statm: 31329 26047 143 440 0 30885 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 134464
[startup+6.30039 s]
/proc/loadavg: 1.38 1.13 1.38 3/179 18193
/proc/meminfo: memFree=27512800/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=191128 CPUtime=6.29 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 28355 0 0 0 618 11 0 0 20 0 1 0 277968398 195715072 42296 33554432000 4194304 5992684 140735259091696 140735259087432 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18192/statm: 47782 42296 143 440 0 47338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200276
[startup+12.7072 s]
/proc/loadavg: 1.48 1.16 1.39 3/179 18193
/proc/meminfo: memFree=26993188/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=322516 CPUtime=12.69 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 61202 0 0 0 1250 19 0 0 20 0 1 0 277968398 330256384 75143 33554432000 4194304 5992684 140735259091696 140735259087816 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18192/statm: 80629 75143 143 440 0 80185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 331664
[startup+25.5003 s]
/proc/loadavg: 1.56 1.18 1.40 3/179 18193
/proc/meminfo: memFree=25497408/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2167440 CPUtime=25.48 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 140671 0 0 0 2499 49 0 0 20 0 1 0 277968398 2219458560 282297 33554432000 4194304 5992684 140735259091696 140735259084632 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18192/statm: 541860 282297 157 440 0 541416 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2176588
[startup+51.1003 s]
/proc/loadavg: 1.71 1.25 1.41 3/179 18193
/proc/meminfo: memFree=21250588/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=51.05 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 143667 0 0 0 4512 593 0 0 20 0 1 0 277968398 2756329472 517822 33554432000 4194304 5992684 140735259091696 140735259086296 5179696 0 0 4096 0 0 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517822 162 440 0 672488 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2700876
[startup+102.3 s]
/proc/loadavg: 2.10 1.44 1.47 3/181 18195
/proc/meminfo: memFree=17790668/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=51.08 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143670 0 0 0 4512 596 0 0 20 0 1 0 277968398 2756329472 517824 33554432000 4194304 5992684 140735259091696 140735259086144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517824 164 440 0 672488 0
[pid=18194] ppid=18192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18194/stat : 18194 (cp2_pre.sh) S 18192 18191 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277973512 9367552 276 33554432000 4194304 5064252 140736273603680 140736273602384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18194/statm: 2287 276 234 213 0 72 0
[pid=18195] ppid=18194 vsize=338324 CPUtime=50.23 cores=1,3,5,7
/proc/18195/stat : 18195 (coprocessor) R 18194 18191 18146 0 -1 4202496 15481 0 0 0 5001 22 0 0 20 0 1 0 277973514 346443776 83976 33554432000 4194304 6586260 140737264416912 140737264413672 4368004 0 0 4096 8404994 0 0 0 17 5 0 0 89 0 0
/proc/18195/statm: 84581 83976 138 584 0 83993 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 3048348
[startup+162.307 s]
/proc/loadavg: 2.06 1.56 1.50 3/182 18197
/proc/meminfo: memFree=13514216/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=51.08 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143670 0 0 0 4512 596 0 0 20 0 1 0 277968398 2756329472 517824 33554432000 4194304 5992684 140735259091696 140735259086144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517824 164 440 0 672488 0
[pid=18194] ppid=18192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18194/stat : 18194 (cp2_pre.sh) S 18192 18191 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277973512 9367552 276 33554432000 4194304 5064252 140736273603680 140736273602384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18194/statm: 2287 276 234 213 0 72 0
[pid=18195] ppid=18194 vsize=541568 CPUtime=110.22 cores=1,3,5,7
/proc/18195/stat : 18195 (coprocessor) R 18194 18191 18146 0 -1 4202496 18340 0 0 0 10992 30 0 0 20 0 1 0 277973514 554565632 128903 33554432000 4194304 6586260 140737264416912 140737264413672 4368004 0 0 4096 8404994 0 0 0 17 5 0 0 89 0 0
/proc/18195/statm: 135392 128903 138 584 0 134804 0
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (KiB) 3251592
[startup+222.3 s]
/proc/loadavg: 2.02 1.63 1.53 3/181 18197
/proc/meminfo: memFree=9937564/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=51.08 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143670 0 0 0 4512 596 0 0 20 0 1 0 277968398 2756329472 517824 33554432000 4194304 5992684 140735259091696 140735259086144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517824 164 440 0 672488 0
[pid=18194] ppid=18192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18194/stat : 18194 (cp2_pre.sh) S 18192 18191 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277973512 9367552 276 33554432000 4194304 5064252 140736273603680 140736273602384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18194/statm: 2287 276 234 213 0 72 0
[pid=18195] ppid=18194 vsize=850160 CPUtime=170.21 cores=1,3,5,7
/proc/18195/stat : 18195 (coprocessor) R 18194 18191 18146 0 -1 4202496 21152 0 0 0 16983 38 0 0 20 0 1 0 277973514 870563840 195941 33554432000 4194304 6586260 140737264416912 140737264413672 4368004 0 0 4096 8404994 0 0 0 17 5 0 0 89 0 0
/proc/18195/statm: 212540 195941 138 584 0 211952 0
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (KiB) 3560184
[startup+282.3 s]
/proc/loadavg: 3.29 2.02 1.66 3/182 18198
/proc/meminfo: memFree=1034340/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=51.08 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143670 0 0 0 4512 596 0 0 20 0 1 0 277968398 2756329472 517824 33554432000 4194304 5992684 140735259091696 140735259086144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517824 164 440 0 672488 0
[pid=18194] ppid=18192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18194/stat : 18194 (cp2_pre.sh) S 18192 18191 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277973512 9367552 276 33554432000 4194304 5064252 140736273603680 140736273602384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18194/statm: 2287 276 234 213 0 72 0
[pid=18195] ppid=18194 vsize=1021952 CPUtime=230.2 cores=1,3,5,7
################
# More data... #
################
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=894.66 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143685 50024 0 0 4512 597 83879 478 20 0 1 0 277968398 2756329472 517827 33554432000 4194304 5992684 140735259091696 140735259077960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517827 166 440 0 672488 0
[pid=18254] ppid=18192 vsize=5448932 CPUtime=201.64 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) R 18192 18191 18146 0 -1 4202496 540117 0 0 0 19970 194 0 0 20 0 1 0 278078459 5579706368 1239615 33554432000 4194304 5654031 140733523251856 140733523249512 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18254/statm: 1362233 1239615 131 357 0 1361873 0
Current children cumulated CPU time (s) 1096.3
Current children cumulated vsize (KiB) 8149808
[startup+1362.3 s]
/proc/loadavg: 2.02 2.20 2.32 3/181 18254
/proc/meminfo: memFree=21199224/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=894.66 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143685 50024 0 0 4512 597 83879 478 20 0 1 0 277968398 2756329472 517827 33554432000 4194304 5992684 140735259091696 140735259077960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517827 166 440 0 672488 0
[pid=18254] ppid=18192 vsize=5449468 CPUtime=261.64 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) R 18192 18191 18146 0 -1 4202496 540303 0 0 0 25969 195 0 0 20 0 1 0 278078459 5580255232 1242356 33554432000 4194304 5654031 140733523251856 140733523249544 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18254/statm: 1362367 1242356 131 357 0 1362007 0
Current children cumulated CPU time (s) 1156.3
Current children cumulated vsize (KiB) 8150344
[startup+1422.3 s]
/proc/loadavg: 2.00 2.16 2.29 3/181 18255
/proc/meminfo: memFree=21184888/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=894.66 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143685 50024 0 0 4512 597 83879 478 20 0 1 0 277968398 2756329472 517827 33554432000 4194304 5992684 140735259091696 140735259077960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517827 166 440 0 672488 0
[pid=18254] ppid=18192 vsize=5449468 CPUtime=321.63 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) R 18192 18191 18146 0 -1 4202496 540308 0 0 0 31968 195 0 0 20 0 1 0 278078459 5580255232 1244916 33554432000 4194304 5654031 140733523251856 140733523249544 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18254/statm: 1362367 1244916 131 357 0 1362007 0
Current children cumulated CPU time (s) 1216.29
Current children cumulated vsize (KiB) 8150344
[startup+1482.3 s]
/proc/loadavg: 2.07 2.14 2.27 3/181 18255
/proc/meminfo: memFree=21169128/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2691728 CPUtime=894.66 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 143685 50024 0 0 4512 597 83879 478 20 0 1 0 277968398 2756329472 517827 33554432000 4194304 5992684 140735259091696 140735259077960 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/18192/statm: 672932 517827 166 440 0 672488 0
[pid=18254] ppid=18192 vsize=5453836 CPUtime=381.61 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) R 18192 18191 18146 0 -1 4202496 541129 0 0 0 37966 195 0 0 20 0 1 0 278078459 5584728064 1247270 33554432000 4194304 5654031 140733523251856 140733523249960 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18254/statm: 1363459 1247270 131 357 0 1363099 0
Current children cumulated CPU time (s) 1276.27
Current children cumulated vsize (KiB) 8154712
[startup+1542.31 s]
/proc/loadavg: 2.02 2.11 2.25 3/181 18255
/proc/meminfo: memFree=20648432/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2903340 CPUtime=928.3 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 163900 50024 0 0 5868 2605 83879 478 20 0 1 0 277968398 2973020160 571250 33554432000 4194304 5992684 140735259091696 140735259085880 5179696 0 0 4096 0 0 0 0 17 3 0 0 9 0 0
/proc/18192/statm: 725835 571250 173 440 0 725391 0
[pid=18254] ppid=18192 vsize=5469700 CPUtime=408.22 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) S 18192 18191 18146 0 -1 4202496 542168 0 0 0 40621 201 0 0 20 0 1 0 278078459 5600972800 1254653 33554432000 4194304 5654031 140733523251856 140733523250168 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18254/statm: 1367425 1254653 146 357 0 1367065 0
Current children cumulated CPU time (s) 1336.52
Current children cumulated vsize (KiB) 8382188
[startup+1602.3 s]
/proc/loadavg: 2.01 2.09 2.24 3/182 18258
/proc/meminfo: memFree=19822392/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2903340 CPUtime=988.14 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 164209 50024 0 0 6663 7794 83879 478 20 0 1 0 277968398 2973020160 571250 33554432000 4194304 5992684 140735259091696 140735259085880 5179696 0 0 4096 0 0 0 0 17 3 0 0 24 0 0
/proc/18192/statm: 725835 571250 173 440 0 725391 0
[pid=18254] ppid=18192 vsize=5469700 CPUtime=408.22 cores=1,3,5,7
/proc/18254/stat : 18254 (glucosInc) S 18192 18191 18146 0 -1 4202496 542168 0 0 0 40621 201 0 0 20 0 1 0 278078459 5600972800 1254653 33554432000 4194304 5654031 140733523251856 140733523250168 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18254/statm: 1367425 1254653 146 357 0 1367065 0
Current children cumulated CPU time (s) 1396.36
Current children cumulated vsize (KiB) 8382188
[startup+1662.3 s]
/proc/loadavg: 2.34 2.15 2.25 4/181 18282
/proc/meminfo: memFree=18756224/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=8651036 CPUtime=1456.3 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 1314268 592714 0 0 9940 10235 124502 953 20 0 1 0 277968398 8858660864 1982245 33554432000 4194304 5992684 140735259091696 140735259083480 4523497 0 0 4096 0 0 0 0 17 3 0 0 31 0 0
/proc/18192/statm: 2162759 1982245 184 440 0 2162315 0
Current children cumulated CPU time (s) 1456.3
Current children cumulated vsize (KiB) 8660184
[startup+1722.3 s]
/proc/loadavg: 2.19 2.15 2.24 3/180 18283
/proc/meminfo: memFree=15572888/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=11862300 CPUtime=1516.29 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 1318795 592714 0 0 15833 10341 124502 953 20 0 1 0 277968398 12146995200 2781882 33554432000 4194304 5992684 140735259091696 140735259083160 4568012 0 0 4096 0 0 0 0 17 3 0 0 31 0 0
/proc/18192/statm: 2965575 2781882 230 440 0 2965131 0
Current children cumulated CPU time (s) 1516.29
Current children cumulated vsize (KiB) 11871448
[startup+1782.3 s]
/proc/loadavg: 2.13 2.14 2.23 3/180 18283
/proc/meminfo: memFree=15567116/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=11862300 CPUtime=1576.28 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 1318795 592714 0 0 21832 10341 124502 953 20 0 1 0 277968398 12146995200 2781882 33554432000 4194304 5992684 140735259091696 140735259083160 4569791 0 0 4096 0 0 0 0 17 3 0 0 31 0 0
/proc/18192/statm: 2965575 2781882 230 440 0 2965131 0
Current children cumulated CPU time (s) 1576.28
Current children cumulated vsize (KiB) 11871448
[startup+1842.3 s]
/proc/loadavg: 2.05 2.11 2.21 3/180 18283
/proc/meminfo: memFree=15562152/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=11862300 CPUtime=1636.27 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) R 18191 18191 18146 0 -1 4202496 1318795 592714 0 0 27831 10341 124502 953 20 0 1 0 277968398 12146995200 2781882 33554432000 4194304 5992684 140735259091696 140735259083160 4606032 0 0 4096 0 0 0 0 17 3 0 0 31 0 0
/proc/18192/statm: 2965575 2781882 230 440 0 2965131 0
Current children cumulated CPU time (s) 1636.27
Current children cumulated vsize (KiB) 11871448
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1900 s]
/proc/loadavg: 3.04 2.35 2.28 3/181 18285
/proc/meminfo: memFree=13045600/32873844 swapFree=7900/7900
[pid=18191] ppid=18189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18191/stat : 18191 (npSolver-pbo-I.) S 18189 18191 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277968398 9367552 275 33554432000 4194304 5064252 140736419661712 140736419660624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18191/statm: 2287 275 233 213 0 72 0
[pid=18192] ppid=18191 vsize=2968948 CPUtime=1659.28 cores=1,3,5,7
/proc/18192/stat : 18192 (npSolver-pbo) S 18191 18191 18146 0 -1 4202496 1321373 593228 0 0 29243 10985 124502 1198 20 0 1 0 277968398 3040202752 572703 33554432000 4194304 5992684 140735259091696 140735259076600 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 319 0 0
/proc/18192/statm: 742237 572703 230 440 0 741793 0
[pid=18285] ppid=18192 vsize=8192176 CPUtime=31.79 cores=1,3,5,7
/proc/18285/stat : 18285 (glucosInc) R 18192 18191 18146 0 -1 4202496 697624 0 0 0 2928 251 0 0 20 0 1 0 278155218 8388788224 1723252 33554432000 4194304 5654031 140733737814336 140733736763688 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18285/statm: 2048044 1723252 108 357 0 2047684 0
Current children cumulated CPU time (s) 1691.07
Current children cumulated vsize (KiB) 11170272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18191 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1691.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1900.02
CPU time (s): 1691.07
CPU user time (s): 1566.73
CPU system time (s): 124.34
CPU usage (%): 89.0029
Max. virtual memory (cumulated for all children) (KiB): 13903064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 3.98039 second user time and 11.0143 second system time
The end