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-3752521-1339218949/watcher-3752521-1339218949 -o /tmp/evaluation-result-3752521-1339218949/solver-3752521-1339218949 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752521-1339218949.opb 298594880 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: 0.00 0.00 0.00 2/171 19417
/proc/meminfo: memFree=31313496/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[startup+0.071332 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 19417
/proc/meminfo: memFree=31313496/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 19417
/proc/meminfo: memFree=31313496/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300164 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 19417
/proc/meminfo: memFree=31313496/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 19417
/proc/meminfo: memFree=31313496/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 19452
/proc/meminfo: memFree=31282544/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=1.33 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 3597 14055 0 0 8 4 111 10 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 15108
[startup+3.10025 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 19460
/proc/meminfo: memFree=31281304/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=1.78 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4042 16505 0 0 10 4 153 11 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19460] ppid=19418 vsize=13852 CPUtime=1.17 cores=0,2,4,6
/proc/19460/stat : 19460 (glucosInc) R 19418 19417 19387 0 -1 4202496 2765 0 0 0 117 0 0 0 20 0 1 0 388021066 14184448 2585 33554432000 4194304 5654031 140734257513360 140734257511448 4218701 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19460/statm: 3463 2585 141 357 0 3103 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 28960
[startup+6.30017 s]
/proc/loadavg: 0.40 0.08 0.03 3/181 19460
/proc/meminfo: memFree=31251556/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=5.37 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4487 22035 0 0 11 4 509 13 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 15108
[startup+12.7003 s]
/proc/loadavg: 0.53 0.11 0.04 3/181 19464
/proc/meminfo: memFree=31249188/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=32868 CPUtime=5.68 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 5669 0 0 0 567 1 0 0 20 0 1 0 388021575 33656832 5241 33554432000 4194304 5654031 140734408029232 140734408027256 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19464/statm: 8217 5241 141 357 0 7857 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 47976
[startup+25.5002 s]
/proc/loadavg: 0.85 0.21 0.07 3/181 19464
/proc/meminfo: memFree=31228276/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=32868 CPUtime=18.47 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 8621 0 0 0 1845 2 0 0 20 0 1 0 388021575 33656832 6539 33554432000 4194304 5654031 140734408029232 140734408027112 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19464/statm: 8217 6539 141 357 0 7857 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 47976
[startup+51.1004 s]
/proc/loadavg: 1.24 0.35 0.12 3/181 19464
/proc/meminfo: memFree=31163876/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=63328 CPUtime=44.07 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 10937 0 0 0 4403 4 0 0 20 0 1 0 388021575 64847872 15186 33554432000 4194304 5654031 140734408029232 140734408027112 4215888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 15832 15186 141 357 0 15472 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 78436
[startup+102.306 s]
/proc/loadavg: 1.70 0.62 0.22 3/181 19464
/proc/meminfo: memFree=31150092/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=75412 CPUtime=95.26 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 13664 0 0 0 9518 8 0 0 20 0 1 0 388021575 77221888 18215 33554432000 4194304 5654031 140734408029232 140734408017048 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 18853 18215 141 357 0 18493 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 90520
[startup+162.3 s]
/proc/loadavg: 1.88 0.85 0.32 3/181 19465
/proc/meminfo: memFree=31069456/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=205640 CPUtime=155.24 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 17888 0 0 0 15509 15 0 0 20 0 1 0 388021575 210575360 38341 33554432000 4194304 5654031 140734408029232 140734408027320 4232932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 51410 38341 141 357 0 51050 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 220748
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.43 3/181 19465
/proc/meminfo: memFree=31028544/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=155552 CPUtime=215.23 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 21376 0 0 0 21501 22 0 0 20 0 1 0 388021575 159285248 30614 33554432000 4194304 5654031 140734408029232 140734408027160 4215033 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 38888 30614 141 357 0 38528 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 170660
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/182 19468
/proc/meminfo: memFree=30988488/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30899752/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=155552 CPUtime=1235.06 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 51751 0 0 0 123419 87 0 0 20 0 1 0 388021575 159285248 37490 33554432000 4194304 5654031 140734408029232 140734408027320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 38888 37490 141 357 0 38528 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 170660
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/181 19475
/proc/meminfo: memFree=30896708/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=124732 CPUtime=1295.06 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 53283 0 0 0 129416 90 0 0 20 0 1 0 388021575 127725568 29400 33554432000 4194304 5654031 140734408029232 140734408027256 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 31183 29400 141 357 0 30823 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 139840
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/181 19476
/proc/meminfo: memFree=30764408/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=287028 CPUtime=1355.04 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 54725 0 0 0 135412 92 0 0 20 0 1 0 388021575 293916672 54344 33554432000 4194304 5654031 140734408029232 140734408027320 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 71757 54344 141 357 0 71397 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 302136
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/181 19476
/proc/meminfo: memFree=30919108/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=205640 CPUtime=1415.03 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 56149 0 0 0 141408 95 0 0 20 0 1 0 388021575 210575360 44146 33554432000 4194304 5654031 140734408029232 140734408027320 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 51410 44146 141 357 0 51050 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 220748
[startup+1482.3 s]
/proc/loadavg: 2.05 1.99 1.57 3/182 19479
/proc/meminfo: memFree=30934308/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=155552 CPUtime=1475.02 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 57746 0 0 0 147403 99 0 0 20 0 1 0 388021575 159285248 33051 33554432000 4194304 5654031 140734408029232 140734408027320 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 38888 33051 141 357 0 38528 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 170660
[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.60 3/181 19479
/proc/meminfo: memFree=30814220/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=287028 CPUtime=1535.01 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 58611 0 0 0 153400 101 0 0 20 0 1 0 388021575 293916672 55880 33554432000 4194304 5654031 140734408029232 140734408027320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 71757 55880 141 357 0 71397 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 302136
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/181 19479
/proc/meminfo: memFree=30827204/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=205640 CPUtime=1595 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 60042 0 0 0 159395 105 0 0 20 0 1 0 388021575 210575360 43634 33554432000 4194304 5654031 140734408029232 140734408027320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 51410 43634 141 357 0 51050 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 220748
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/181 19480
/proc/meminfo: memFree=30707096/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=287028 CPUtime=1654.98 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 60595 0 0 0 165392 106 0 0 20 0 1 0 388021575 293916672 65138 33554432000 4194304 5654031 140734408029232 140734408027320 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 71757 65138 141 357 0 71397 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 302136
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/181 19480
/proc/meminfo: memFree=30883052/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=205640 CPUtime=1714.97 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 61984 0 0 0 171388 109 0 0 20 0 1 0 388021575 210575360 49736 33554432000 4194304 5654031 140734408029232 140734408027320 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 51410 49736 141 357 0 51050 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 220748
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 19480
/proc/meminfo: memFree=30900868/32873648 swapFree=7376/7376
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=155552 CPUtime=1774.94 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 63434 0 0 0 177382 112 0 0 20 0 1 0 388021575 159285248 32882 33554432000 4194304 5654031 140734408029232 140734408027320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 38888 32882 141 357 0 38528 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 170660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 19480
/proc/meminfo: memFree=30857676/32873648 swapFree=7380/7380
[pid=19417] ppid=19415 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19417/stat : 19417 (npSolver-pbo-It) S 19415 19417 19387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388020875 9367552 275 33554432000 4194304 5064252 140734642693440 140734642692352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19417/statm: 2287 275 233 213 0 72 0
[pid=19418] ppid=19417 vsize=5960 CPUtime=6.81 cores=0,2,4,6
/proc/19418/stat : 19418 (npSolver-pbo) S 19417 19417 19387 0 -1 4202496 4932 26259 0 0 13 4 650 14 20 0 1 0 388020875 6103040 1095 33554432000 4194304 6004724 140734427691120 140734427676968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19418/statm: 1490 1095 189 442 0 1044 0
[pid=19464] ppid=19418 vsize=205640 CPUtime=1793.25 cores=0,2,4,6
/proc/19464/stat : 19464 (glucosInc) R 19418 19417 19387 0 -1 4202496 63960 0 0 0 179212 113 0 0 20 0 1 0 388021575 210575360 40050 33554432000 4194304 5654031 140734408029232 140734408027320 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19464/statm: 51410 40050 141 357 0 51050 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 220748
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1798.77
CPU system time (s): 1.3258
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 351456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.3258
maximum resident set size= 305288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 401
involuntary context switches= 2050
runsolver used 2.77858 second user time and 7.11692 second system time
The end