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-3751990-1339116225/watcher-3751990-1339116225 -o /tmp/evaluation-result-3751990-1339116225/solver-3751990-1339116225 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751990-1339116225.opb 1209971915 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: 2.00 2.00 1.92 3/178 11202
/proc/meminfo: memFree=30758040/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[startup+0.02593 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11202
/proc/meminfo: memFree=30758040/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100278 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11202
/proc/meminfo: memFree=30758040/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11202
/proc/meminfo: memFree=30758040/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11202
/proc/meminfo: memFree=30758040/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 11204
/proc/meminfo: memFree=30587092/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229596 CPUtime=1.49 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) R 11202 11202 9343 0 -1 4202496 41256 0 0 0 139 10 0 0 20 0 1 0 377746703 235106304 57015 33554432000 4194304 6004724 140734494347968 140734494343992 4582726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11203/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238744
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.92 3/182 11206
/proc/meminfo: memFree=30471760/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229596 CPUtime=2.94 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 41288 12354 0 0 153 12 125 4 20 0 1 0 377746703 235106304 57033 33554432000 4194304 6004724 140734494347968 140734494334248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11203/statm: 57399 57033 152 442 0 56953 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 238744
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 11211
/proc/meminfo: memFree=30411504/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=262368 CPUtime=6.11 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) R 11202 11202 9343 0 -1 4202496 55098 41713 0 0 284 104 209 14 20 0 1 0 377746703 268664832 64368 33554432000 4194304 6004724 140734494347968 140734494344048 4536263 0 0 4096 0 0 0 0 17 3 0 0 16 0 0
/proc/11203/statm: 65592 64368 194 442 0 65146 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 271516
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 11218
/proc/meminfo: memFree=30266592/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=6.44 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 56282 42229 0 0 308 111 209 16 20 0 1 0 377746703 235110400 57076 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 16 0 0
/proc/11203/statm: 57400 57076 194 442 0 56954 0
[pid=11218] ppid=11203 vsize=164896 CPUtime=6.06 cores=1,3,5,7
/proc/11218/stat : 11218 (glucosInc) R 11203 11202 9343 0 -1 4202496 30775 0 0 0 600 6 0 0 20 0 1 0 377747366 168853504 37707 33554432000 4194304 5654031 140737268065776 140737268053592 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11218/statm: 41224 37707 141 357 0 40864 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 403644
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 11218
/proc/meminfo: memFree=30185956/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=6.44 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 56282 42229 0 0 308 111 209 16 20 0 1 0 377746703 235110400 57076 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 16 0 0
/proc/11203/statm: 57400 57076 194 442 0 56954 0
[pid=11218] ppid=11203 vsize=246012 CPUtime=18.85 cores=1,3,5,7
/proc/11218/stat : 11218 (glucosInc) R 11203 11202 9343 0 -1 4202496 33399 0 0 0 1877 8 0 0 20 0 1 0 377747366 251916288 50728 33554432000 4194304 5654031 140737268065776 140737268063864 4233455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11218/statm: 61503 50728 141 357 0 61143 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 484760
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 11218
/proc/meminfo: memFree=30160212/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=6.44 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 56282 42229 0 0 308 111 209 16 20 0 1 0 377746703 235110400 57076 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 16 0 0
/proc/11203/statm: 57400 57076 194 442 0 56954 0
[pid=11218] ppid=11203 vsize=196852 CPUtime=44.44 cores=1,3,5,7
/proc/11218/stat : 11218 (glucosInc) R 11203 11202 9343 0 -1 4202496 37650 0 0 0 4427 17 0 0 20 0 1 0 377747366 201576448 41577 33554432000 4194304 5654031 140737268065776 140737268063560 4215290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11218/statm: 49213 41577 141 357 0 48853 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 435600
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 11219
/proc/meminfo: memFree=30114184/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=6.44 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 56282 42229 0 0 308 111 209 16 20 0 1 0 377746703 235110400 57076 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 16 0 0
/proc/11203/statm: 57400 57076 194 442 0 56954 0
[pid=11218] ppid=11203 vsize=329752 CPUtime=95.65 cores=1,3,5,7
/proc/11218/stat : 11218 (glucosInc) R 11203 11202 9343 0 -1 4202496 41868 0 0 0 9537 28 0 0 20 0 1 0 377747366 337666048 73696 33554432000 4194304 5654031 140737268065776 140737268063560 4216491 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11218/statm: 82438 73696 141 357 0 82078 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 568500
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 11221
/proc/meminfo: memFree=30249316/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=124.84 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 68040 87648 0 0 447 120 11866 51 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11221] ppid=11203 vsize=198184 CPUtime=37.22 cores=1,3,5,7
/proc/11221/stat : 11221 (glucosInc) R 11203 11202 9343 0 -1 4202496 31655 0 0 0 3714 8 0 0 20 0 1 0 377759209 202940416 42615 33554432000 4194304 5654031 140734242657776 140734242645592 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11221/statm: 49546 42615 141 357 0 49186 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 436932
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/181 11223
/proc/meminfo: memFree=30219552/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=206.18 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 79797 121377 0 0 586 130 19837 65 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11223] ppid=11203 vsize=164772 CPUtime=15.87 cores=1,3,5,7
/proc/11223/stat : 11223 (glucosInc) R 11203 11202 9343 0 -1 4202496 31362 0 0 0 1579 8 0 0 20 0 1 0 377767344 168726528 37741 33554432000 4194304 5654031 140735877724336 140735877712152 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11223/statm: 41193 37741 141 357 0 40833 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 403520
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 11225
/proc/meminfo: memFree=30240120/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=196696 CPUtime=25.38 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29867576/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=693228 CPUtime=1045.21 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 87042 0 0 0 104320 201 0 0 20 0 1 0 377772393 709865472 128819 33554432000 4194304 5654031 140735760315200 140735760313288 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 173307 128819 141 357 0 172947 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 931976
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 11304
/proc/meminfo: memFree=29959992/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=478588 CPUtime=1105.2 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 88169 0 0 0 110308 212 0 0 20 0 1 0 377772393 490074112 108467 33554432000 4194304 5654031 140735760315200 140735760313288 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 119647 108467 141 357 0 119287 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 717336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 11304
/proc/meminfo: memFree=30019848/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=347668 CPUtime=1165.19 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 90101 0 0 0 116296 223 0 0 20 0 1 0 377772393 356012032 82751 33554432000 4194304 5654031 140735760315200 140735760313224 4233176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 86917 82751 141 357 0 86557 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 586416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 11304
/proc/meminfo: memFree=29687556/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=1044436 CPUtime=1225.18 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 91863 0 0 0 122289 229 0 0 20 0 1 0 377772393 1069502464 173425 33554432000 4194304 5654031 140735760315200 140735760313288 4215121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 261109 173425 141 357 0 260749 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1283184
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 11304
/proc/meminfo: memFree=29764364/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=695376 CPUtime=1285.16 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 93499 0 0 0 128276 240 0 0 20 0 1 0 377772393 712065024 153961 33554432000 4194304 5654031 140735760315200 140735760312984 4233213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 173844 153961 141 357 0 173484 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 934124
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 11308
/proc/meminfo: memFree=29863200/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=481336 CPUtime=1345.15 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 95408 0 0 0 134265 250 0 0 20 0 1 0 377772393 492888064 117447 33554432000 4194304 5654031 140735760315200 140735760312984 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 120334 117447 141 357 0 119974 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 720084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 11308
/proc/meminfo: memFree=29609164/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=1047340 CPUtime=1405.14 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 96971 0 0 0 140260 254 0 0 20 0 1 0 377772393 1072476160 185950 33554432000 4194304 5654031 140735760315200 140735760313288 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 261835 185950 141 357 0 261475 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1286088
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/182 11308
/proc/meminfo: memFree=29758908/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=698516 CPUtime=1465.14 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 98616 0 0 0 146248 266 0 0 20 0 1 0 377772393 715280384 147969 33554432000 4194304 5654031 140735760315200 140735760313288 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 174629 147969 141 357 0 174269 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 937264
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/182 11308
/proc/meminfo: memFree=29955792/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=485544 CPUtime=1525.12 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 100685 0 0 0 152238 274 0 0 20 0 1 0 377772393 497197056 87576 33554432000 4194304 5654031 140735760315200 140735760313224 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 121386 87576 141 357 0 121026 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 724292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.06 2.02 1.98 3/182 11308
/proc/meminfo: memFree=29884656/32873648 swapFree=7376/7376
[pid=11202] ppid=11200 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11202/stat : 11202 (npSolver-pbo-It) S 11200 11202 9343 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377746703 9367552 274 33554432000 4194304 5064252 140735161462768 140735161461680 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11202/statm: 2287 274 233 213 0 72 0
[pid=11203] ppid=11202 vsize=229600 CPUtime=256.64 cores=1,3,5,7
/proc/11203/stat : 11203 (npSolver-pbo) S 11202 11202 9343 0 -1 4202496 91553 154646 0 0 724 139 24721 80 20 0 1 0 377746703 235110400 57077 33554432000 4194304 6004724 140734494347968 140734494333816 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 17 0 0
/proc/11203/statm: 57400 57077 195 442 0 56954 0
[pid=11225] ppid=11203 vsize=485544 CPUtime=1543.43 cores=1,3,5,7
/proc/11225/stat : 11225 (glucosInc) R 11203 11202 9343 0 -1 4202496 100746 0 0 0 154068 275 0 0 20 0 1 0 377772393 497197056 118808 33554432000 4194304 5654031 140735760315200 140735760313288 4232984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11225/statm: 121386 118808 141 357 0 121026 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 724292
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 11202 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1795.13
CPU system time (s): 4.94
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1500080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
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.9314 second user time and 10.9833 second system time
The end