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-3752491-1339139682/watcher-3752491-1339139682 -o /tmp/evaluation-result-3752491-1339139682/solver-3752491-1339139682 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752491-1339139682.opb 467392514 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 2.00 3/180 14298
/proc/meminfo: memFree=31606772/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[startup+0.0504639 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14298
/proc/meminfo: memFree=31606772/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14298
/proc/meminfo: memFree=31606772/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14298
/proc/meminfo: memFree=31606772/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700077 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14298
/proc/meminfo: memFree=31606772/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/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: 2.00 2.00 2.00 3/182 14353
/proc/meminfo: memFree=31719120/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=0.29 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2398 9105 0 0 2 2 22 3 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14313] ppid=14299 vsize=7852 CPUtime=1.17 cores=1,3,5,7
/proc/14313/stat : 14313 (glucosInc) R 14299 14298 13680 0 -1 4202496 2208 0 0 0 117 0 0 0 20 0 1 0 23934850 8040448 1475 33554432000 4194304 5654031 140735219709824 140735219707608 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14313/statm: 1963 1475 138 357 0 1603 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19832
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14355
/proc/meminfo: memFree=31584516/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=0.29 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2398 9105 0 0 2 2 22 3 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14313] ppid=14299 vsize=12208 CPUtime=2.77 cores=1,3,5,7
/proc/14313/stat : 14313 (glucosInc) R 14299 14298 13680 0 -1 4202496 2818 0 0 0 277 0 0 0 20 0 1 0 23934850 12500992 2566 33554432000 4194304 5654031 140735219709824 140735219707624 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14313/statm: 3052 2566 138 357 0 2692 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 24188
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14355
/proc/meminfo: memFree=31356380/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=5.7 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2497 12536 0 0 2 2 563 3 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 11980
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14361
/proc/meminfo: memFree=31535268/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=6.46 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2596 14855 0 0 3 3 636 4 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14361] ppid=14299 vsize=13484 CPUtime=6.21 cores=1,3,5,7
/proc/14361/stat : 14361 (glucosInc) R 14299 14298 13680 0 -1 4202496 3420 0 0 0 621 0 0 0 20 0 1 0 23935466 13807616 2812 33554432000 4194304 5654031 140735956736992 140735956724808 4233194 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14361/statm: 3371 2812 138 357 0 3011 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 25464
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14363
/proc/meminfo: memFree=31541576/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=6164 CPUtime=0.7 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 1528 0 0 0 70 0 0 0 20 0 1 0 23937297 6311936 1006 33554432000 4194304 5654031 140737402047472 140735513680232 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 1541 1006 138 357 0 1181 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18144
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14363
/proc/meminfo: memFree=31516764/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=26580 CPUtime=26.3 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 5231 0 0 0 2629 1 0 0 20 0 1 0 23937297 27217920 6148 33554432000 4194304 5654031 140737402047472 140737402035288 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 6645 6148 138 357 0 6285 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38560
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14363
/proc/meminfo: memFree=31486920/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=43824 CPUtime=77.5 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 6572 0 0 0 7749 1 0 0 20 0 1 0 23937297 44875776 10449 33554432000 4194304 5654031 140737402047472 140737402035288 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 10956 10449 138 357 0 10596 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55804
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14363
/proc/meminfo: memFree=31492336/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=48736 CPUtime=137.47 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 7108 0 0 0 13745 2 0 0 20 0 1 0 23937297 49905664 11166 33554432000 4194304 5654031 140737402047472 140737402035288 4232509 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 12184 11166 138 357 0 11824 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 60716
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14364
/proc/meminfo: memFree=31479868/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=55812 CPUtime=197.46 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 7898 0 0 0 19744 2 0 0 20 0 1 0 23937297 57151488 13447 33554432000 4194304 5654031 140737402047472 140737402035288 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 13953 13447 138 357 0 13593 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 67792
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14364
/proc/meminfo: memFree=31458896/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=31301948/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=159072 CPUtime=1217.31 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 14485 0 0 0 121717 14 0 0 20 0 1 0 23937297 162889728 34954 33554432000 4194304 5654031 140737402047472 140737402035288 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 39768 34954 138 357 0 39408 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 171052
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14374
/proc/meminfo: memFree=31377536/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=109752 CPUtime=1277.31 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 14814 0 0 0 127716 15 0 0 20 0 1 0 23937297 112386048 26968 33554432000 4194304 5654031 140737402047472 140737402035288 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 27438 26968 138 357 0 27078 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 121732
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14374
/proc/meminfo: memFree=31377164/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=109752 CPUtime=1337.29 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 15139 0 0 0 133713 16 0 0 20 0 1 0 23937297 112386048 26968 33554432000 4194304 5654031 140737402047472 140737402045496 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 27438 26968 138 357 0 27078 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 121732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14374
/proc/meminfo: memFree=31359044/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=121848 CPUtime=1397.28 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 16271 0 0 0 139711 17 0 0 20 0 1 0 23937297 124772352 29992 33554432000 4194304 5654031 140737402047472 140737402045496 4232531 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 30462 29992 138 357 0 30102 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 133828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14375
/proc/meminfo: memFree=31359104/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=121848 CPUtime=1457.27 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 16598 0 0 0 145709 18 0 0 20 0 1 0 23937297 124772352 29992 33554432000 4194304 5654031 140737402047472 140737402035288 4233187 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 30462 29992 138 357 0 30102 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 133828
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14378
/proc/meminfo: memFree=31325336/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=171168 CPUtime=1517.26 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 17249 0 0 0 151707 19 0 0 20 0 1 0 23937297 175276032 39514 33554432000 4194304 5654031 140737402047472 140737402035288 4233229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 42792 39514 138 357 0 42432 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 183148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14378
/proc/meminfo: memFree=31365124/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=121848 CPUtime=1577.25 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 17578 0 0 0 157705 20 0 0 20 0 1 0 23937297 124772352 29992 33554432000 4194304 5654031 140737402047472 140737402045496 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 30462 29992 138 357 0 30102 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 133828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14378
/proc/meminfo: memFree=31357180/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=121848 CPUtime=1637.24 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 17904 0 0 0 163703 21 0 0 20 0 1 0 23937297 124772352 29992 33554432000 4194304 5654031 140737402047472 140737402035288 4214048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 30462 29992 138 357 0 30102 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 133828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14378
/proc/meminfo: memFree=31335956/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=171168 CPUtime=1697.23 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 18551 0 0 0 169701 22 0 0 20 0 1 0 23937297 175276032 37978 33554432000 4194304 5654031 140737402047472 140737402045400 4218819 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 42792 37978 138 357 0 42432 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 183148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14382
/proc/meminfo: memFree=31348840/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=171168 CPUtime=1757.22 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 18882 0 0 0 175699 23 0 0 20 0 1 0 23937297 175276032 40026 33554432000 4194304 5654031 140737402047472 140737402035288 4232684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 42792 40026 138 357 0 42432 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 183148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14384
/proc/meminfo: memFree=31388616/32873844 swapFree=7632/7632
[pid=14298] ppid=14296 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14298/stat : 14298 (npSolver-pbo-It) S 14296 14298 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23934818 9367552 275 33554432000 4194304 5064252 140735625525600 140735625524512 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14298/statm: 2287 275 233 213 0 72 0
[pid=14299] ppid=14298 vsize=2832 CPUtime=24.77 cores=1,3,5,7
/proc/14299/stat : 14299 (npSolver-pbo) S 14298 14298 13680 0 -1 4202496 2695 20129 0 0 3 3 2465 6 20 0 1 0 23934818 2899968 383 33554432000 4194304 6004724 140735513693152 140735513679000 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14299/statm: 708 383 189 442 0 262 0
[pid=14363] ppid=14299 vsize=121848 CPUtime=1775.33 cores=1,3,5,7
/proc/14363/stat : 14363 (glucosInc) R 14299 14298 13680 0 -1 4202496 18885 0 0 0 177510 23 0 0 20 0 1 0 23937297 124772352 29992 33554432000 4194304 5654031 140737402047472 140737402035288 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14363/statm: 30462 29992 138 357 0 30102 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 133828
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.41
CPU time (s): 1800.12
CPU user time (s): 1799.79
CPU system time (s): 0.332949
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 183148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.332949
maximum resident set size= 166248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 1915
runsolver used 2.99254 second user time and 8.5487 second system time
The end