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-3746601-1339103771/watcher-3746601-1339103771 -o /tmp/evaluation-result-3746601-1339103771/solver-3746601-1339103771 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746601-1339103771.opb 2028708600 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.94 3/180 9646
/proc/meminfo: memFree=30796856/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[startup+0.0715661 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 9646
/proc/meminfo: memFree=30796856/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 9646
/proc/meminfo: memFree=30796856/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 9646
/proc/meminfo: memFree=30796856/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 9646
/proc/meminfo: memFree=30796856/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 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 1.94 3/183 9652
/proc/meminfo: memFree=30790996/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=10524 CPUtime=1.36 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 2048 0 0 0 136 0 0 0 20 0 1 0 20344177 10776576 1993 33554432000 4194304 5654031 140734754704976 140734754692792 4232380 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 2631 1993 139 357 0 2271 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22516
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9652
/proc/meminfo: memFree=30787592/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=12200 CPUtime=2.96 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 2608 0 0 0 296 0 0 0 20 0 1 0 20344177 12492800 2522 33554432000 4194304 5654031 140734754704976 140734754702776 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 3050 2522 139 357 0 2690 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 24192
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9652
/proc/meminfo: memFree=30784864/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=15692 CPUtime=6.16 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 3363 0 0 0 616 0 0 0 20 0 1 0 20344177 16068608 3030 33554432000 4194304 5654031 140734754704976 140734754703000 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 3923 3030 139 357 0 3563 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 27684
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9652
/proc/meminfo: memFree=30778516/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=22768 CPUtime=12.56 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 3965 0 0 0 1256 0 0 0 20 0 1 0 20344177 23314432 4125 33554432000 4194304 5654031 140734754704976 140734754702856 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 5692 4125 139 357 0 5332 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34760
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9652
/proc/meminfo: memFree=30765804/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=27188 CPUtime=25.35 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 4626 0 0 0 2535 0 0 0 20 0 1 0 20344177 27840512 6297 33554432000 4194304 5654031 140734754704976 140734754702776 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 6797 6297 139 357 0 6437 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39180
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9652
/proc/meminfo: memFree=30758096/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=42000 CPUtime=50.95 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 5871 0 0 0 5094 1 0 0 20 0 1 0 20344177 43008000 8221 33554432000 4194304 5654031 140734754704976 140734754692792 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 10500 8221 139 357 0 10140 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53992
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9653
/proc/meminfo: memFree=30731972/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=49184 CPUtime=102.14 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 6416 0 0 0 10213 1 0 0 20 0 1 0 20344177 50364416 11812 33554432000 4194304 5654031 140734754704976 140734754692792 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 12296 11812 139 357 0 11936 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 61176
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9653
/proc/meminfo: memFree=30741216/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=54152 CPUtime=162.12 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 6624 0 0 0 16211 1 0 0 20 0 1 0 20344177 55451648 11946 33554432000 4194304 5654031 140734754704976 140734754692792 4233455 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 13538 11946 139 357 0 13178 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 66144
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9653
/proc/meminfo: memFree=30710000/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=61224 CPUtime=222.12 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 7795 0 0 0 22210 2 0 0 20 0 1 0 20344177 62693376 14085 33554432000 4194304 5654031 140734754704976 140734754692792 4215898 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 15306 14085 139 357 0 14946 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 73216
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.94 3/182 9663
/proc/meminfo: memFree=30620392/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1301.96 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10264 0 0 0 130188 8 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 120084
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/183 9664
/proc/meminfo: memFree=30587368/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1361.95 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10319 0 0 0 136186 9 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 120084
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.95 3/183 9664
/proc/meminfo: memFree=30575080/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1421.94 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10374 0 0 0 142185 9 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 120084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 9667
/proc/meminfo: memFree=30572420/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1481.92 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10484 0 0 0 148182 10 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232874 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 120084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9667
/proc/meminfo: memFree=30619904/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1541.92 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10540 0 0 0 154181 11 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 120084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9667
/proc/meminfo: memFree=30619484/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=108092 CPUtime=1601.91 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10595 0 0 0 160179 12 0 0 20 0 1 0 20344177 110686208 26539 33554432000 4194304 5654031 140734754704976 140734754692792 4232448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 27023 26539 139 357 0 26663 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 120084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9712
/proc/meminfo: memFree=30532432/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=178508 CPUtime=1661.9 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10871 0 0 0 166177 13 0 0 20 0 1 0 20344177 182792192 41067 33554432000 4194304 5654031 140734754704976 140734754692792 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 44627 41067 139 357 0 44267 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 190500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9712
/proc/meminfo: memFree=30548632/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=129188 CPUtime=1721.89 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10928 0 0 0 172175 14 0 0 20 0 1 0 20344177 132288512 31813 33554432000 4194304 5654031 140734754704976 140734754703000 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 32297 31813 139 357 0 31937 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 141180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9712
/proc/meminfo: memFree=30544768/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=129188 CPUtime=1781.88 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 10985 0 0 0 178174 14 0 0 20 0 1 0 20344177 132288512 31813 33554432000 4194304 5654031 140734754704976 140734754692792 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 32297 31813 139 357 0 31937 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 141180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9712
/proc/meminfo: memFree=30508152/32873844 swapFree=7120/7120
[pid=9646] ppid=9644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9646/stat : 9646 (npSolver-pbo-It) S 9644 9646 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 20344164 9367552 274 33554432000 4194304 5064252 140736892149408 140736892148320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9646/statm: 2287 274 233 213 0 72 0
[pid=9647] ppid=9646 vsize=2844 CPUtime=0.1 cores=1,3,5,7
/proc/9647/stat : 9647 (npSolver-pbo) S 9646 9646 8372 0 -1 4202496 1458 3345 0 0 1 0 8 1 20 0 1 0 20344165 2912256 368 33554432000 4194304 6004724 140735689846416 140735689832696 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9647/statm: 711 368 167 442 0 265 0
[pid=9652] ppid=9647 vsize=178508 CPUtime=1799.98 cores=1,3,5,7
/proc/9652/stat : 9652 (glucosInc) R 9647 9646 8372 0 -1 4202496 11041 0 0 0 179983 15 0 0 20 0 1 0 20344177 182792192 41067 33554432000 4194304 5654031 140734754704976 140734754692792 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9652/statm: 44627 41067 139 357 0 44267 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 190500
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 9646 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=100984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.127979
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.16
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 190500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.100984
system time used= 0.026995
maximum resident set size= 29960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 4.6223 second user time and 11.1213 second system time
The end