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-3699681-1338061505/watcher-3699681-1338061505 -o /tmp/evaluation-result-3699681-1338061505/solver-3699681-1338061505 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699681-1338061505.opb 1762858854 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/176 6337
/proc/meminfo: memFree=29460504/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[startup+0.069858 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6337
/proc/meminfo: memFree=29460504/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6337
/proc/meminfo: memFree=29460504/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6337
/proc/meminfo: memFree=29460504/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6337
/proc/meminfo: memFree=29460504/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29352164/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=111420 CPUtime=1.17 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 21354 0 0 0 114 3 0 0 20 0 1 0 272276019 114094080 23342 33554432000 4194304 5654031 140735079389312 140735079387192 4232710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 27855 23342 131 357 0 27495 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 124972
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29351420/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=114336 CPUtime=2.77 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 21709 0 0 0 274 3 0 0 20 0 1 0 272276019 117080064 23697 33554432000 4194304 5654031 140735079389312 140735079387080 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 28584 23697 140 357 0 28224 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 127888
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29346084/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=114336 CPUtime=5.97 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 21710 0 0 0 594 3 0 0 20 0 1 0 272276019 117080064 24209 33554432000 4194304 5654031 140735079389312 140735079387080 4232659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 28584 24209 140 357 0 28224 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 127888
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29342612/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=114336 CPUtime=12.37 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 22355 0 0 0 1233 4 0 0 20 0 1 0 272276019 117080064 23906 33554432000 4194304 5654031 140735079389312 140735079387336 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 28584 23906 141 357 0 28224 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 127888
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29387100/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=126012 CPUtime=25.16 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 22595 0 0 0 2512 4 0 0 20 0 1 0 272276019 129036288 25168 33554432000 4194304 5654031 140735079389312 140735079387336 4232607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 31503 25168 141 357 0 31143 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 139564
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29347900/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=50.76 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 24726 0 0 0 5071 5 0 0 20 0 1 0 272276019 167133184 34499 33554432000 4194304 5654031 140735079389312 140735079387192 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 34499 141 357 0 40444 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 176768
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6346
/proc/meminfo: memFree=29289200/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=101.95 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 25052 0 0 0 10189 6 0 0 20 0 1 0 272276019 167133184 35827 33554432000 4194304 5654031 140735079389312 140735079387192 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 35827 141 357 0 40444 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 176768
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 6346
/proc/meminfo: memFree=29301140/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=161.92 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 25064 0 0 0 16186 6 0 0 20 0 1 0 272276019 167133184 36919 33554432000 4194304 5654031 140735079389312 140735079387192 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 36919 141 357 0 40444 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 176768
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6347
/proc/meminfo: memFree=29314900/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=221.91 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 25065 0 0 0 22185 6 0 0 20 0 1 0 272276019 167133184 37431 33554432000 4194304 5654031 140735079389312 140735079387192 4216325 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 37431 141 357 0 40444 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 176768
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29397816/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1241.75 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 33057 0 0 0 124157 18 0 0 20 0 1 0 272276019 217636864 49688 33554432000 4194304 5654031 140735079389312 140735079387240 4215913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 49688 141 357 0 52774 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 226088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6504
/proc/meminfo: memFree=29396444/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1301.75 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 33557 0 0 0 130156 19 0 0 20 0 1 0 272276019 217636864 48152 33554432000 4194304 5654031 140735079389312 140735079387240 4233455 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 48152 141 357 0 52774 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 226088
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6504
/proc/meminfo: memFree=29400040/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1361.74 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 34058 0 0 0 136154 20 0 0 20 0 1 0 272276019 217636864 46616 33554432000 4194304 5654031 140735079389312 140735079387240 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 46616 141 357 0 52774 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 226088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6505
/proc/meminfo: memFree=29431996/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=1421.73 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 34065 0 0 0 142153 20 0 0 20 0 1 0 272276019 167133184 37943 33554432000 4194304 5654031 140735079389312 140735079387336 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 37943 141 357 0 40444 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 176768
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6505
/proc/meminfo: memFree=29362616/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1481.72 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 34567 0 0 0 148151 21 0 0 20 0 1 0 272276019 217636864 49176 33554432000 4194304 5654031 140735079389312 140735079387240 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 49176 141 357 0 52774 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 226088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6508
/proc/meminfo: memFree=29367512/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1541.71 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 35083 0 0 0 154149 22 0 0 20 0 1 0 272276019 217636864 47128 33554432000 4194304 5654031 140735079389312 140735079387240 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 47128 141 357 0 52774 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 226088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6508
/proc/meminfo: memFree=29401852/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=163216 CPUtime=1601.7 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 35353 0 0 0 160147 23 0 0 20 0 1 0 272276019 167133184 37943 33554432000 4194304 5654031 140735079389312 140735079387336 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 40804 37943 141 357 0 40444 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 176768
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6508
/proc/meminfo: memFree=29352764/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=243356 CPUtime=1661.68 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 35970 0 0 0 166144 24 0 0 20 0 1 0 272276019 249196544 50310 33554432000 4194304 5654031 140735079389312 140735079387400 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 60839 50310 141 357 0 60479 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 256908
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6508
/proc/meminfo: memFree=29363392/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=212536 CPUtime=1721.68 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 36685 0 0 0 172142 26 0 0 20 0 1 0 272276019 217636864 47640 33554432000 4194304 5654031 140735079389312 140735079387240 4232466 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 53134 47640 141 357 0 52774 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 226088
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6509
/proc/meminfo: memFree=29343548/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=176872 CPUtime=1781.67 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 37267 0 0 0 178140 27 0 0 20 0 1 0 272276019 181116928 40504 33554432000 4194304 5654031 140735079389312 140735079387336 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 44218 40504 141 357 0 43858 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 190424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6509
/proc/meminfo: memFree=29316368/32873852 swapFree=7624/7624
[pid=6337] ppid=6335 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (npSolver-pbo-I.) S 6335 6337 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272275987 9367552 275 33554432000 4194304 5064252 140734747711248 140734747710160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6337/statm: 2287 275 233 213 0 72 0
[pid=6338] ppid=6337 vsize=4404 CPUtime=0.29 cores=1,3,5,7
/proc/6338/stat : 6338 (npSolver-pbo) S 6337 6337 5385 0 -1 4202496 3586 3930 0 0 19 4 6 0 20 0 1 0 272275988 4509696 744 33554432000 4194304 5992684 140736561814144 140736561799048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6338/statm: 1101 744 178 440 0 657 0
[pid=6346] ppid=6338 vsize=226192 CPUtime=1799.77 cores=1,3,5,7
/proc/6346/stat : 6346 (glucosInc) R 6338 6337 5385 0 -1 4202496 38109 0 0 0 179949 28 0 0 20 0 1 0 272276019 231620608 49517 33554432000 4194304 5654031 140735079389312 140735079387240 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6346/statm: 56548 49517 141 357 0 56188 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 239744
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.1
CPU user time (s): 1799.76
CPU system time (s): 0.344947
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 256908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.344947
maximum resident set size= 209188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 1863
runsolver used 3.11453 second user time and 8.46071 second system time
The end