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-3747812-1339122852/watcher-3747812-1339122852 -o /tmp/evaluation-result-3747812-1339122852/solver-3747812-1339122852 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747812-1339122852.opb 823287585 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.01 2.00 2.00 3/178 15307
/proc/meminfo: memFree=27474388/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[startup+0.093799 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15307
/proc/meminfo: memFree=27474388/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100368 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15307
/proc/meminfo: memFree=27474388/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300315 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15307
/proc/meminfo: memFree=27474388/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700314 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15307
/proc/meminfo: memFree=27474388/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15313
/proc/meminfo: memFree=27505924/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=8776 CPUtime=0.57 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 2112 0 0 0 57 0 0 0 20 0 1 0 378413865 8986624 1613 33554432000 4194304 5654031 140734498682368 140734498680152 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 2194 1613 142 357 0 1834 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23424
[startup+3.10027 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 15353
/proc/meminfo: memFree=27589812/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=11456 CPUtime=2.17 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 2434 0 0 0 217 0 0 0 20 0 1 0 378413865 11730944 2438 33554432000 4194304 5654031 140734498682368 140734498670184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 2864 2438 142 357 0 2504 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26104
[startup+6.30028 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15357
/proc/meminfo: memFree=27606008/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=15840 CPUtime=5.37 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 2954 0 0 0 537 0 0 0 20 0 1 0 378413865 16220160 3420 33554432000 4194304 5654031 140734498682368 140734498670184 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 3960 3420 142 357 0 3600 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30488
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15357
/proc/meminfo: memFree=27589488/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=22912 CPUtime=11.76 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 3831 0 0 0 1176 0 0 0 20 0 1 0 378413865 23461888 5199 33554432000 4194304 5654031 140734498682368 140734498670184 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 5728 5199 142 357 0 5368 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 37560
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15357
/proc/meminfo: memFree=27579716/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=27536 CPUtime=24.56 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 4598 0 0 0 2456 0 0 0 20 0 1 0 378413865 28196864 6441 33554432000 4194304 5654031 140734498682368 140734498670184 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 6884 6441 142 357 0 6524 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 42184
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15357
/proc/meminfo: memFree=27560092/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=53356 CPUtime=50.15 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 5793 0 0 0 5014 1 0 0 20 0 1 0 378413865 54636544 9569 33554432000 4194304 5654031 140734498682368 140734498670184 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 13339 9569 142 357 0 12979 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68004
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15357
/proc/meminfo: memFree=27518944/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=53356 CPUtime=101.35 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 6367 0 0 0 10133 2 0 0 20 0 1 0 378413865 54636544 12913 33554432000 4194304 5654031 140734498682368 140734498670184 4214944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 13339 12913 142 357 0 12979 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 68004
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 15358
/proc/meminfo: memFree=27486424/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=72208 CPUtime=161.34 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 6976 0 0 0 16131 3 0 0 20 0 1 0 378413865 73940992 17627 33554432000 4194304 5654031 140734498682368 140734498670184 4232929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 18052 17627 142 357 0 17692 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86856
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15358
/proc/meminfo: memFree=27513728/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=36096 CPUtime=221.33 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 7121 0 0 0 22130 3 0 0 20 0 1 0 378413865 36962304 8631 33554432000 4194304 5654031 140734498682368 140734498670184 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 9024 8631 142 357 0 8664 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50744
[startup+282.3 s]
################
# More data... #
################
/proc/15313/statm: 41511 36894 142 357 0 41151 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 180692
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 15368
/proc/meminfo: memFree=27319668/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=166044 CPUtime=1541.1 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 33575 0 0 0 154061 49 0 0 20 0 1 0 378413865 170029056 36382 33554432000 4194304 5654031 140734498682368 140734498670184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 41511 36382 142 357 0 41151 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 180692
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 15371
/proc/meminfo: memFree=27325836/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=166044 CPUtime=1601.09 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 34605 0 0 0 160058 51 0 0 20 0 1 0 378413865 170029056 37918 33554432000 4194304 5654031 140734498682368 140734498670184 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 41511 37918 142 357 0 41151 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 180692
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15394
/proc/meminfo: memFree=27333944/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=166044 CPUtime=1661.08 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 35638 0 0 0 166055 53 0 0 20 0 1 0 378413865 170029056 35870 33554432000 4194304 5654031 140734498682368 140734498670184 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 41511 35870 142 357 0 41151 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 180692
Solver just ended. Dumping a history of the last processes samples
[startup+1663.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15394
/proc/meminfo: memFree=27331896/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=166044 CPUtime=1662.68 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 35639 0 0 0 166215 53 0 0 20 0 1 0 378413865 170029056 36382 33554432000 4194304 5654031 140734498682368 140734498670184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 41511 36382 142 357 0 41151 0
Current children cumulated CPU time (s) 1663.59
Current children cumulated vsize (KiB) 180692
[startup+1676.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27446052/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=85904 CPUtime=1675.48 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 35642 0 0 0 167495 53 0 0 20 0 1 0 378413865 87965696 21051 33554432000 4194304 5654031 140734498682368 140734498680392 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 21476 21051 142 357 0 21116 0
Current children cumulated CPU time (s) 1676.39
Current children cumulated vsize (KiB) 100552
[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27414216/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1688.29 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36073 0 0 0 168775 54 0 0 20 0 1 0 378413865 138469376 29147 33554432000 4194304 5654031 140734498682368 140734498670184 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 29147 142 357 0 33446 0
Current children cumulated CPU time (s) 1689.2
Current children cumulated vsize (KiB) 149872
[startup+1695.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27375740/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1694.68 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36075 0 0 0 169414 54 0 0 20 0 1 0 378413865 138469376 30171 33554432000 4194304 5654031 140734498682368 140734498670184 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 30171 142 357 0 33446 0
Current children cumulated CPU time (s) 1695.59
Current children cumulated vsize (KiB) 149872
[startup+1697.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27369596/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1696.28 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36076 0 0 0 169574 54 0 0 20 0 1 0 378413865 138469376 30683 33554432000 4194304 5654031 140734498682368 140734498670184 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 30683 142 357 0 33446 0
Current children cumulated CPU time (s) 1697.19
Current children cumulated vsize (KiB) 149872
[startup+1698.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27369596/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1697.08 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36076 0 0 0 169654 54 0 0 20 0 1 0 378413865 138469376 30683 33554432000 4194304 5654031 140734498682368 140734498670184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 30683 142 357 0 33446 0
Current children cumulated CPU time (s) 1697.99
Current children cumulated vsize (KiB) 149872
[startup+1699.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27369596/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1697.88 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36077 0 0 0 169734 54 0 0 20 0 1 0 378413865 138469376 31195 33554432000 4194304 5654031 140734498682368 140734498670184 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 31195 142 357 0 33446 0
Current children cumulated CPU time (s) 1698.79
Current children cumulated vsize (KiB) 149872
[startup+1699.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15395
/proc/meminfo: memFree=27369596/32873844 swapFree=7372/7372
[pid=15307] ppid=15305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15307/stat : 15307 (npSolver-pbo-I.) S 15305 15307 11882 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378413772 9367552 274 33554432000 4194304 5064252 140737409768208 140737409767120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15307/statm: 2287 274 233 213 0 72 0
[pid=15308] ppid=15307 vsize=5500 CPUtime=0.91 cores=1,3,5,7
/proc/15308/stat : 15308 (npSolver-pbo) S 15307 15307 11882 0 -1 4202496 11610 3750 0 0 66 3 21 1 20 0 1 0 378413773 5632000 1034 33554432000 4194304 6004724 140735467692000 140735467678280 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15308/statm: 1375 1034 167 442 0 929 0
[pid=15313] ppid=15308 vsize=135224 CPUtime=1698.08 cores=1,3,5,7
/proc/15313/stat : 15313 (glucosInc) R 15308 15307 11882 0 -1 4202496 36077 0 0 0 169754 54 0 0 20 0 1 0 378413865 138469376 31195 33554432000 4194304 5654031 140734498682368 140734498670184 4216146 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15313/statm: 33806 31195 142 357 0 33446 0
Current children cumulated CPU time (s) 1698.99
Current children cumulated vsize (KiB) 149872
Child status: 0
Real time (s): 1699.34
CPU time (s): 1699.05
CPU user time (s): 1698.46
CPU system time (s): 0.592909
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 180692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.46
system time used= 0.592909
maximum resident set size= 155768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65
involuntary context switches= 1753
runsolver used 3.2645 second user time and 8.33573 second system time
The end