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-3697886-1338049983/watcher-3697886-1338049983 -o /tmp/evaluation-result-3697886-1338049983/solver-3697886-1338049983 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697886-1338049983.opb 2020276822 HOME HOME
running on 4 cores: 0,2,4,6
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.00 1.00 1.18 3/177 32674
/proc/meminfo: memFree=28721856/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[startup+0.0644151 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 32674
/proc/meminfo: memFree=28721856/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 32674
/proc/meminfo: memFree=28721856/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 32674
/proc/meminfo: memFree=28721856/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 32674
/proc/meminfo: memFree=28721856/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.08 1.02 1.18 4/183 32686
/proc/meminfo: memFree=28595600/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=0.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16062 0 0 0 80 5 0 0 20 0 1 0 271125123 64409600 14946 33554432000 4194304 5992684 140737301945888 140737301940336 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14946 178 440 0 15281 0
[pid=32685] ppid=32675 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32685/stat : 32685 (cp2_pre.sh) S 32675 32674 29540 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 271125209 9367552 277 33554432000 4194304 5064252 140735358228880 140735358227584 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32685/statm: 2287 277 234 213 0 72 0
[pid=32686] ppid=32685 vsize=106288 CPUtime=0.62 cores=0,2,4,6
/proc/32686/stat : 32686 (coprocessor) R 32685 32674 29540 0 -1 4202496 18885 0 0 0 59 3 0 0 20 0 1 0 271125209 108838912 23993 33554432000 4194304 6586260 140734723784032 140734723780296 5511711 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/32686/statm: 26572 23993 166 584 0 25984 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 187484
[startup+3.10026 s]
/proc/loadavg: 1.08 1.02 1.18 4/183 32686
/proc/meminfo: memFree=28480916/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=2.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16078 25103 0 0 80 5 192 8 20 0 1 0 271125123 64409600 14948 33554432000 4194304 5992684 140737301945888 140737301932152 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14948 180 440 0 15281 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 72048
[startup+6.3003 s]
/proc/loadavg: 1.08 1.02 1.18 4/182 32688
/proc/meminfo: memFree=28546420/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=2.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16078 25103 0 0 80 5 192 8 20 0 1 0 271125123 64409600 14948 33554432000 4194304 5992684 140737301945888 140737301932152 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14948 180 440 0 15281 0
[pid=32688] ppid=32675 vsize=68408 CPUtime=3.4 cores=0,2,4,6
/proc/32688/stat : 32688 (glucosInc) R 32675 32674 29540 0 -1 4202496 13392 0 0 0 337 3 0 0 20 0 1 0 271125412 70049792 14447 33554432000 4194304 5654031 140736048423472 140736048411288 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32688/statm: 17102 14447 140 357 0 16742 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 140456
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.19 4/182 32690
/proc/meminfo: memFree=28554836/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=2.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16078 25103 0 0 80 5 192 8 20 0 1 0 271125123 64409600 14948 33554432000 4194304 5992684 140737301945888 140737301932152 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14948 180 440 0 15281 0
[pid=32688] ppid=32675 vsize=69692 CPUtime=9.8 cores=0,2,4,6
/proc/32688/stat : 32688 (glucosInc) R 32675 32674 29540 0 -1 4202496 14811 0 0 0 976 4 0 0 20 0 1 0 271125412 71364608 15570 33554432000 4194304 5654031 140736048423472 140736048411288 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32688/statm: 17423 15570 141 357 0 17063 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 141740
[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.20 4/182 32694
/proc/meminfo: memFree=28507700/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=2.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16078 25103 0 0 80 5 192 8 20 0 1 0 271125123 64409600 14948 33554432000 4194304 5992684 140737301945888 140737301932152 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14948 180 440 0 15281 0
[pid=32688] ppid=32675 vsize=107308 CPUtime=22.59 cores=0,2,4,6
/proc/32688/stat : 32688 (glucosInc) R 32675 32674 29540 0 -1 4202496 17302 0 0 0 2254 5 0 0 20 0 1 0 271125412 109883392 24084 33554432000 4194304 5654031 140736048423472 140736048411288 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32688/statm: 26827 24084 141 357 0 26467 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 179356
[startup+51.1003 s]
/proc/loadavg: 1.56 1.15 1.22 4/182 32694
/proc/meminfo: memFree=28479752/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=62900 CPUtime=2.85 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 16078 25103 0 0 80 5 192 8 20 0 1 0 271125123 64409600 14948 33554432000 4194304 5992684 140737301945888 140737301932152 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15725 14948 180 440 0 15281 0
[pid=32688] ppid=32675 vsize=118980 CPUtime=48.18 cores=0,2,4,6
/proc/32688/stat : 32688 (glucosInc) R 32675 32674 29540 0 -1 4202496 19173 0 0 0 4811 7 0 0 20 0 1 0 271125412 121835520 26536 33554432000 4194304 5654031 140736048423472 140736048411288 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32688/statm: 29745 26536 141 357 0 29385 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 191028
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.26 4/181 32699
/proc/meminfo: memFree=28477936/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=74.59 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 23235 61611 0 0 108 73 7254 24 20 0 1 0 271125123 79503360 18489 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18489 189 440 0 18966 0
[pid=32699] ppid=32675 vsize=97384 CPUtime=27.63 cores=0,2,4,6
/proc/32699/stat : 32699 (glucosInc) R 32675 32674 29540 0 -1 4202496 18522 0 0 0 2759 4 0 0 20 0 1 0 271132588 99721216 21737 33554432000 4194304 5654031 140736328202192 140736328190008 4233322 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32699/statm: 24346 21737 142 357 0 23986 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 184172
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.31 4/181 32706
/proc/meminfo: memFree=28433064/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=137.66 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 26384 81781 0 0 115 74 13545 32 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32705] ppid=32675 vsize=116088 CPUtime=24.57 cores=0,2,4,6
/proc/32705/stat : 32705 (glucosInc) R 32675 32674 29540 0 -1 4202496 16588 0 0 0 2453 4 0 0 20 0 1 0 271138895 118874112 26320 33554432000 4194304 5654031 140737329319824 140737329307640 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32705/statm: 29022 26320 142 357 0 28662 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 202876
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.35 4/181 32706
/proc/meminfo: memFree=28407580/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=137.66 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 26384 81781 0 0 115 74 13545 32 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32705] ppid=32675 vsize=127760 CPUtime=84.55 cores=0,2,4,6
/proc/32705/stat : 32705 (glucosInc) R 32675 32674 29540 0 -1 4202496 18020 0 0 0 8450 5 0 0 20 0 1 0 271138895 130826240 30050 33554432000 4194304 5654031 140737329319824 140737329307640 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32705/statm: 31940 30050 142 357 0 31580 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 214548
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.98 1.77 4/181 32723
/proc/meminfo: memFree=28383588/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=127916 CPUtime=847.35 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 31787 0 0 0 84698 37 0 0 20 0 1 0 271170602 130985984 30162 33554432000 4194304 5654031 140734915855760 140734915843576 4233184 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 31979 30162 142 357 0 31619 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 214704
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.78 4/181 32723
/proc/meminfo: memFree=28343920/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=208056 CPUtime=907.34 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 32626 0 0 0 90695 39 0 0 20 0 1 0 271170602 213049344 49389 33554432000 4194304 5654031 140734915855760 140734915843576 4232431 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 52014 49389 142 357 0 51654 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 294844
[startup+1422.31 s]
/proc/loadavg: 2.07 1.99 1.80 4/181 32724
/proc/meminfo: memFree=28327476/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=177236 CPUtime=967.34 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 33715 0 0 0 96692 42 0 0 20 0 1 0 271170602 181489664 39082 33554432000 4194304 5654031 140734915855760 140734915843576 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 44309 39082 142 357 0 43949 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 264024
[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.81 4/181 32724
/proc/meminfo: memFree=28336748/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=258144 CPUtime=1027.32 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 34627 0 0 0 102689 43 0 0 20 0 1 0 271170602 264339456 51738 33554432000 4194304 5654031 140734915855760 140734915843576 4232782 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 64536 51738 142 357 0 64176 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 344932
[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.82 4/181 32724
/proc/meminfo: memFree=28341564/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=177236 CPUtime=1087.3 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 35727 0 0 0 108684 46 0 0 20 0 1 0 271170602 181489664 39594 33554432000 4194304 5654031 140734915855760 140734915843576 4233144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 44309 39594 142 357 0 43949 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 264024
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/181 32724
/proc/meminfo: memFree=28311720/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=258144 CPUtime=1147.29 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 36636 0 0 0 114681 48 0 0 20 0 1 0 271170602 264339456 52250 33554432000 4194304 5654031 140734915855760 140734915843576 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 64536 52250 142 357 0 64176 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 344932
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/182 32727
/proc/meminfo: memFree=28236692/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=258144 CPUtime=1207.28 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 37791 0 0 0 120677 51 0 0 20 0 1 0 271170602 264339456 51226 33554432000 4194304 5654031 140734915855760 140734915843576 4232859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 64536 51226 142 357 0 64176 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 344932
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/182 32751
/proc/meminfo: memFree=28270876/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=208056 CPUtime=1267.27 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 38651 0 0 0 126674 53 0 0 20 0 1 0 271170602 213049344 49901 33554432000 4194304 5654031 140734915855760 140734915843576 4215040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 52014 49901 142 357 0 51654 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 294844
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/181 32751
/proc/meminfo: memFree=28266268/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=208056 CPUtime=1327.26 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 39819 0 0 0 132671 55 0 0 20 0 1 0 271170602 213049344 46317 33554432000 4194304 5654031 140734915855760 140734915843576 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 52014 46317 142 357 0 51654 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 294844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.85 4/181 32751
/proc/meminfo: memFree=28289464/32873648 swapFree=6844/6844
[pid=32674] ppid=32671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (npSolver-pbo-It) S 32671 32674 29540 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271125123 9367552 275 33554432000 4194304 5064252 140733432869824 140733432868736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32674/statm: 2287 275 233 213 0 72 0
[pid=32675] ppid=32674 vsize=77640 CPUtime=454.67 cores=0,2,4,6
/proc/32675/stat : 32675 (npSolver-pbo) S 32674 32674 29540 0 -1 4202496 32689 120867 0 0 128 75 45210 54 20 0 1 0 271125123 79503360 18523 33554432000 4194304 5992684 140737301945888 140737301931720 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 19410 18523 189 440 0 18966 0
[pid=32715] ppid=32675 vsize=208056 CPUtime=1345.36 cores=0,2,4,6
/proc/32715/stat : 32715 (glucosInc) R 32675 32674 29540 0 -1 4202496 39826 0 0 0 134481 55 0 0 20 0 1 0 271170602 213049344 49901 33554432000 4194304 5654031 140734915855760 140734915843576 4233236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32715/statm: 52014 49901 142 357 0 51654 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 294844
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32674 and gives
# childrusage.ru_utime.tv_sec=453
# childrusage.ru_utime.tv_usec=386074
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=303801
# CPU time returned by wait4() is 454.69
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.03
CPU user time (s): 1798.19
CPU system time (s): 1.84
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 394252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.386
system time used= 1.3038
maximum resident set size= 168416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153930
page faults= 0
swaps= 0
block input operations= 8
block output operations= 225624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1749
involuntary context switches= 840
runsolver used 2.58061 second user time and 7.2489 second system time
The end