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-3747684-1339103614/watcher-3747684-1339103614 -o /tmp/evaluation-result-3747684-1339103614/solver-3747684-1339103614 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747684-1339103614.opb 1164817681 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.02 2.01 1.94 3/180 9574
/proc/meminfo: memFree=31180264/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[startup+0.0681039 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 9574
/proc/meminfo: memFree=31180264/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 9574
/proc/meminfo: memFree=31180264/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 9574
/proc/meminfo: memFree=31180264/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 9574
/proc/meminfo: memFree=31180264/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 1.94 3/182 9576
/proc/meminfo: memFree=31105020/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=1.09 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13976 0 0 0 101 8 0 0 20 0 1 0 20328497 76087296 17786 33554432000 4194304 6004724 140736880065360 140736880059824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17786 162 442 0 18130 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 83452
[startup+3.10037 s]
/proc/loadavg: 2.02 2.01 1.94 3/184 9580
/proc/meminfo: memFree=30911848/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=1.09 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13976 0 0 0 101 8 0 0 20 0 1 0 20328497 76087296 17786 33554432000 4194304 6004724 140736880065360 140736880059824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17786 162 442 0 18130 0
[pid=9577] ppid=9575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9577/stat : 9577 (cp2_pre.sh) S 9575 9574 8711 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 20328608 9367552 276 33554432000 4194304 5064252 140733474270304 140733474269008 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9577/statm: 2287 276 234 213 0 72 0
[pid=9578] ppid=9577 vsize=222664 CPUtime=1.97 cores=1,3,5,7
/proc/9578/stat : 9578 (coprocessor) R 9577 9574 8711 0 -1 4202496 35567 0 0 0 189 8 0 0 20 0 1 0 20328608 228007936 54009 33554432000 4194304 6586260 140736665471392 140736665467720 4789455 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/9578/statm: 55666 54009 175 584 0 55078 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 315264
[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 9582
/proc/meminfo: memFree=31024932/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=121344 CPUtime=1.05 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 21993 0 0 0 101 4 0 0 20 0 1 0 20329021 124256256 23504 33554432000 4194304 5654031 140733375733888 140733375731672 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 30336 23504 131 357 0 29976 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 204796
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 9582
/proc/meminfo: memFree=30964852/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=121480 CPUtime=7.45 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 22057 0 0 0 741 4 0 0 20 0 1 0 20329021 124395520 24590 33554432000 4194304 5654031 140733375733888 140733375731784 4214981 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 30370 24590 131 357 0 30010 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 204932
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 9584
/proc/meminfo: memFree=30967040/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=121480 CPUtime=20.25 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 22079 0 0 0 2021 4 0 0 20 0 1 0 20329021 124395520 25123 33554432000 4194304 5654031 140733375733888 140733375731784 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 30370 25123 131 357 0 30010 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 204932
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 9586
/proc/meminfo: memFree=30960772/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=121744 CPUtime=45.84 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 22287 0 0 0 4580 4 0 0 20 0 1 0 20329021 124665856 25842 33554432000 4194304 5654031 140733375733888 140733375731672 4215055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 30436 25842 131 357 0 30076 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 205196
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 1.95 3/183 9586
/proc/meminfo: memFree=30877928/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=140844 CPUtime=97.05 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 22692 0 0 0 9700 5 0 0 20 0 1 0 20329021 144224256 28652 33554432000 4194304 5654031 140733375733888 140733375731672 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 35211 28652 131 357 0 34851 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 224296
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 9586
/proc/meminfo: memFree=30925364/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=126112 CPUtime=157.02 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 24778 0 0 0 15696 6 0 0 20 0 1 0 20329021 129138688 26589 33554432000 4194304 5654031 140733375733888 140733375731784 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 31528 26589 132 357 0 31168 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 209564
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/183 9587
/proc/meminfo: memFree=30855460/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=129572 CPUtime=217.02 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 25946 0 0 0 21694 8 0 0 20 0 1 0 20329021 132681728 26780 33554432000 4194304 5654031 140733375733888 140733375731912 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 32393 26780 141 357 0 32033 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 213024
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.01 2.02 2.00 3/183 9596
/proc/meminfo: memFree=30687192/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=215144 CPUtime=1296.86 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29452 0 0 0 129674 12 0 0 20 0 1 0 20329021 220307456 50017 33554432000 4194304 5654031 140733375733888 140733375721704 4214475 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 53786 50017 142 357 0 53426 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 298596
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 9596
/proc/meminfo: memFree=30752512/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=215144 CPUtime=1356.84 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29452 0 0 0 135672 12 0 0 20 0 1 0 20329021 220307456 50017 33554432000 4194304 5654031 140733375733888 140733375721704 4232651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 53786 50017 142 357 0 53426 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 298596
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9597
/proc/meminfo: memFree=30734008/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=215144 CPUtime=1416.84 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29452 0 0 0 141672 12 0 0 20 0 1 0 20329021 220307456 50017 33554432000 4194304 5654031 140733375733888 140733375721704 4232544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 53786 50017 142 357 0 53426 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 298596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9597
/proc/meminfo: memFree=30736044/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=215144 CPUtime=1476.82 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29452 0 0 0 147670 12 0 0 20 0 1 0 20329021 220307456 50017 33554432000 4194304 5654031 140733375733888 140733375721704 4214432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 53786 50017 142 357 0 53426 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 298596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9597
/proc/meminfo: memFree=30650988/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=215144 CPUtime=1536.81 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29452 0 0 0 153669 12 0 0 20 0 1 0 20329021 220307456 50017 33554432000 4194304 5654031 140733375733888 140733375721704 4232659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 53786 50017 142 357 0 53426 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 298596
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 9600
/proc/meminfo: memFree=30763268/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=183920 CPUtime=1596.81 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29487 0 0 0 159668 13 0 0 20 0 1 0 20329021 188334080 38121 33554432000 4194304 5654031 140733375733888 140733375721704 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 45980 38121 142 357 0 45620 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 267372
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 9600
/proc/meminfo: memFree=30679372/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=183920 CPUtime=1656.8 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29489 0 0 0 165667 13 0 0 20 0 1 0 20329021 188334080 39145 33554432000 4194304 5654031 140733375733888 140733375721704 4232755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 45980 39145 142 357 0 45620 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 267372
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 9601
/proc/meminfo: memFree=30764952/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=183920 CPUtime=1716.79 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29574 0 0 0 171665 14 0 0 20 0 1 0 20329021 188334080 38675 33554432000 4194304 5654031 140733375733888 140733375721704 4232607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 45980 38675 142 357 0 45620 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 267372
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9601
/proc/meminfo: memFree=30787404/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=183920 CPUtime=1776.78 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29576 0 0 0 177664 14 0 0 20 0 1 0 20329021 188334080 39699 33554432000 4194304 5654031 140733375733888 140733375721704 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 45980 39699 142 357 0 45620 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 267372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9643
/proc/meminfo: memFree=30735768/32873844 swapFree=7108/7108
[pid=9574] ppid=9572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9574/stat : 9574 (npSolver-pbo-It) S 9572 9574 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20328497 9367552 275 33554432000 4194304 5064252 140737130170656 140737130169568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9574/statm: 2287 275 233 213 0 72 0
[pid=9575] ppid=9574 vsize=74304 CPUtime=5.21 cores=1,3,5,7
/proc/9575/stat : 9575 (npSolver-pbo) S 9574 9574 8711 0 -1 4202496 13994 40390 0 0 101 8 386 26 20 0 1 0 20328497 76087296 17790 33554432000 4194304 6004724 140736880065360 140736880051640 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9575/statm: 18576 17790 166 442 0 18130 0
[pid=9582] ppid=9575 vsize=183920 CPUtime=1794.88 cores=1,3,5,7
/proc/9582/stat : 9582 (glucosInc) R 9575 9574 8711 0 -1 4202496 29577 0 0 0 179474 14 0 0 20 0 1 0 20329021 188334080 40211 33554432000 4194304 5654031 140733375733888 140733375721704 4232563 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9582/statm: 45980 40211 142 357 0 45620 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 267372
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 9574 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=874259
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=361944
# CPU time returned by wait4() is 5.2362
# while last known CPU time is 1800.09
#
# 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.09
CPU user time (s): 1799.61
CPU system time (s): 0.48
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 347916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87426
system time used= 0.361944
maximum resident set size= 256240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 98512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 15
runsolver used 3.73543 second user time and 9.39357 second system time
The end