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-3700225-1338075314/watcher-3700225-1338075314 -o /tmp/evaluation-result-3700225-1338075314/solver-3700225-1338075314 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700225-1338075314.opb 1467258250 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.03 2.08 2.03 3/176 21924
/proc/meminfo: memFree=27666632/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[startup+0.0948329 s]
/proc/loadavg: 2.03 2.08 2.03 3/176 21924
/proc/meminfo: memFree=27666632/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.03 2.08 2.03 3/176 21924
/proc/meminfo: memFree=27666632/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.03 2.08 2.03 3/176 21924
/proc/meminfo: memFree=27666632/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/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.03 2.08 2.03 3/176 21924
/proc/meminfo: memFree=27666632/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.03 2.08 2.03 3/178 21926
/proc/meminfo: memFree=27644072/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=34896 CPUtime=1.48 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) R 21924 21924 18146 0 -1 4202496 756 0 0 0 148 0 0 0 20 0 1 0 273656835 35733504 7883 33554432000 4194304 5992684 140734154813616 140734154808728 4606624 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 8724 7883 147 440 0 8280 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44044
[startup+3.10027 s]
/proc/loadavg: 2.03 2.08 2.03 3/178 21926
/proc/meminfo: memFree=27621048/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=67664 CPUtime=3.09 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) R 21924 21924 18146 0 -1 4202496 788 0 0 0 308 1 0 0 20 0 1 0 273656835 69287936 16075 33554432000 4194304 5992684 140734154813616 140734154809080 4567982 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 16916 16075 147 440 0 16472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76812
[startup+6.30027 s]
/proc/loadavg: 2.03 2.08 2.03 3/178 21926
/proc/meminfo: memFree=27555272/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=133200 CPUtime=6.28 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) R 21924 21924 18146 0 -1 4202496 850 0 0 0 625 3 0 0 20 0 1 0 273656835 136396800 31435 33554432000 4194304 5992684 140734154813616 140734154808728 4571361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 33300 31435 147 440 0 32856 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142348
[startup+12.7004 s]
/proc/loadavg: 2.02 2.08 2.03 3/180 21928
/proc/meminfo: memFree=27032456/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=11.82 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11617 0 0 0 1130 52 0 0 20 0 1 0 273656835 385363968 90158 33554432000 4194304 5992684 140734154813616 140734154808064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90158 164 440 0 93639 0
[pid=21927] ppid=21925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (cp2_pre.sh) S 21925 21924 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273658017 9367552 277 33554432000 4194304 5064252 140733684034080 140733684032784 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21927/statm: 2287 277 234 213 0 72 0
[pid=21928] ppid=21927 vsize=79916 CPUtime=0.86 cores=1,3,5,7
/proc/21928/stat : 21928 (coprocessor) R 21927 21924 18146 0 -1 4202496 17581 0 0 0 82 4 0 0 20 0 1 0 273658018 81833984 19112 33554432000 4194304 6586260 140735022389104 140735022385992 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/21928/statm: 19979 19112 137 584 0 19391 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 474544
[startup+25.5005 s]
/proc/loadavg: 2.09 2.09 2.04 3/180 21928
/proc/meminfo: memFree=26000628/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=11.82 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11617 0 0 0 1130 52 0 0 20 0 1 0 273656835 385363968 90158 33554432000 4194304 5992684 140734154813616 140734154808064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90158 164 440 0 93639 0
[pid=21927] ppid=21925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21927/stat : 21927 (cp2_pre.sh) S 21925 21924 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273658017 9367552 277 33554432000 4194304 5064252 140733684034080 140733684032784 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21927/statm: 2287 277 234 213 0 72 0
[pid=21928] ppid=21927 vsize=1107412 CPUtime=13.64 cores=1,3,5,7
/proc/21928/stat : 21928 (coprocessor) R 21927 21924 18146 0 -1 4202496 121241 0 0 0 1315 49 0 0 20 0 1 0 273658018 1133989888 262937 33554432000 4194304 6586260 140735022389104 140735022385128 4758304 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/21928/statm: 276853 262937 180 584 0 276265 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1502040
[startup+51.1004 s]
/proc/loadavg: 2.13 2.10 2.04 3/179 21930
/proc/meminfo: memFree=26522764/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=681752 CPUtime=7.54 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 61477 0 0 0 726 28 0 0 20 0 1 0 273661188 698114048 134186 33554432000 4194304 5654031 140736183590768 140736183588552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21930/statm: 170438 134186 130 357 0 170078 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 1067232
[startup+102.307 s]
/proc/loadavg: 2.13 2.10 2.04 3/179 21931
/proc/meminfo: memFree=26516792/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=682036 CPUtime=58.72 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 61565 0 0 0 5844 28 0 0 20 0 1 0 273661188 698404864 135030 33554432000 4194304 5654031 140736183590768 140736183588664 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 170509 135030 130 357 0 170149 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 1067516
[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/179 21978
/proc/meminfo: memFree=27524504/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=719456 CPUtime=118.7 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 70210 0 0 0 11840 30 0 0 20 0 1 0 273661188 736722944 145554 33554432000 4194304 5654031 140736183590768 140736183588552 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 179864 145554 141 357 0 179504 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 1104936
[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 21978
/proc/meminfo: memFree=27503676/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=727944 CPUtime=178.69 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 72543 0 0 0 17838 31 0 0 20 0 1 0 273661188 745414656 148933 33554432000 4194304 5654031 140736183590768 140736183588552 4216577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 181986 148933 141 357 0 181626 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 1113424
[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.03 3/179 21978
/proc/meminfo: memFree=27484548/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=27203112/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1318.52 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88296 0 0 0 131806 46 0 0 20 0 1 0 273661188 933851136 201101 33554432000 4194304 5654031 140736183590768 140736183588600 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 201101 142 357 0 227631 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1297444
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21988
/proc/meminfo: memFree=27196472/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1378.52 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88299 0 0 0 137806 46 0 0 20 0 1 0 273661188 933851136 202637 33554432000 4194304 5654031 140736183590768 140736183588600 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 202637 142 357 0 227631 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1297444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21988
/proc/meminfo: memFree=27172756/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1438.5 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88301 0 0 0 143804 46 0 0 20 0 1 0 273661188 933851136 203856 33554432000 4194304 5654031 140736183590768 140736183578584 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 203856 142 357 0 227631 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1297444
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21991
/proc/meminfo: memFree=27170700/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1498.49 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88302 0 0 0 149803 46 0 0 20 0 1 0 273661188 933851136 204368 33554432000 4194304 5654031 140736183590768 140736183578584 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 204368 142 357 0 227631 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1297444
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 22014
/proc/meminfo: memFree=27168156/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1558.48 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88303 0 0 0 155802 46 0 0 20 0 1 0 273661188 933851136 204880 33554432000 4194304 5654031 140736183590768 140736183578584 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 204880 142 357 0 227631 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1297444
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22015
/proc/meminfo: memFree=27137380/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1618.47 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88303 0 0 0 161801 46 0 0 20 0 1 0 273661188 933851136 204886 33554432000 4194304 5654031 140736183590768 140736183578584 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 204886 142 357 0 227631 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1297444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22015
/proc/meminfo: memFree=27133408/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1678.46 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88304 0 0 0 167800 46 0 0 20 0 1 0 273661188 933851136 205398 33554432000 4194304 5654031 140736183590768 140736183578584 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 205398 142 357 0 227631 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1297444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22015
/proc/meminfo: memFree=27163880/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1738.45 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88305 0 0 0 173799 46 0 0 20 0 1 0 273661188 933851136 205910 33554432000 4194304 5654031 140736183590768 140736183578584 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 205910 142 357 0 227631 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1297444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22015
/proc/meminfo: memFree=27161832/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1756.65 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88306 0 0 0 175619 46 0 0 20 0 1 0 273661188 933851136 206422 33554432000 4194304 5654031 140736183590768 140736183578584 4232632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 206422 142 357 0 227631 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1297444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22015
/proc/meminfo: memFree=27161832/32873852 swapFree=6848/6848
[pid=21924] ppid=21922 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21924/stat : 21924 (npSolver-pbo-I.) S 21922 21924 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273656834 9367552 275 33554432000 4194304 5064252 140736552176944 140736552175856 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21924/statm: 2287 275 233 213 0 72 0
[pid=21925] ppid=21924 vsize=376332 CPUtime=43.39 cores=1,3,5,7
/proc/21925/stat : 21925 (npSolver-pbo) S 21924 21924 18146 0 -1 4202496 11632 138161 0 0 1130 52 3050 107 20 0 1 0 273656835 385363968 90160 33554432000 4194304 5992684 140734154813616 140734154799880 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 94083 90160 166 440 0 93639 0
[pid=21930] ppid=21925 vsize=911964 CPUtime=1756.65 cores=1,3,5,7
/proc/21930/stat : 21930 (glucosInc) R 21925 21924 18146 0 -1 4202496 88306 0 0 0 175619 46 0 0 20 0 1 0 273661188 933851136 206422 33554432000 4194304 5654031 140736183590768 140736183578584 4232632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21930/statm: 227991 206422 142 357 0 227631 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1297444
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21924 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1797.99
CPU system time (s): 2.05
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1626272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.37233 second user time and 10.8623 second system time
The end