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-3751722-1339179646/watcher-3751722-1339179646 -o /tmp/evaluation-result-3751722-1339179646/solver-3751722-1339179646 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751722-1339179646.opb 942756431 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.02 2.13 3/179 17349
/proc/meminfo: memFree=28080648/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[startup+0.103482 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 17349
/proc/meminfo: memFree=28080648/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200354 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 17349
/proc/meminfo: memFree=28080648/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30032 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 17349
/proc/meminfo: memFree=28080648/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700288 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 17349
/proc/meminfo: memFree=28080648/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.02 2.13 3/181 17351
/proc/meminfo: memFree=27958004/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=171300 CPUtime=1.48 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) R 17349 17349 16567 0 -1 4202496 25008 0 0 0 142 6 0 0 20 0 1 0 384089144 175411200 42195 33554432000 4194304 6004724 140737028828048 140737028822680 4582448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17350/statm: 42825 42195 162 442 0 42379 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180448
[startup+3.10032 s]
/proc/loadavg: 2.00 2.02 2.13 3/181 17351
/proc/meminfo: memFree=27860016/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=400676 CPUtime=3.09 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) R 17349 17349 16567 0 -1 4202496 26705 0 0 0 297 12 0 0 20 0 1 0 384089144 410292224 68819 33554432000 4194304 6004724 140737028828048 140737028822648 5055481 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17350/statm: 100169 68819 162 442 0 99723 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 409824
[startup+6.30032 s]
/proc/loadavg: 2.00 2.02 2.13 3/181 17351
/proc/meminfo: memFree=27619168/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=662820 CPUtime=6.28 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) R 17349 17349 16567 0 -1 4202496 27457 0 0 0 608 20 0 0 20 0 1 0 384089144 678727680 126675 33554432000 4194304 6004724 140737028828048 140737028822856 4579311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17350/statm: 165705 126675 162 442 0 165259 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671968
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.13 3/181 17351
/proc/meminfo: memFree=27096264/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=12.68 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) R 17349 17349 16567 0 -1 4202496 28462 0 0 0 1230 38 0 0 20 0 1 0 384089144 1215598592 248531 33554432000 4194304 6004724 140737028828048 140737028822648 4534742 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17350/statm: 296777 248531 162 442 0 296331 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1196256
[startup+25.5005 s]
/proc/loadavg: 2.08 2.03 2.13 3/182 17353
/proc/meminfo: memFree=24854356/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=16.81 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29713 0 0 0 1475 206 0 0 20 0 1 0 384089144 1215598592 290011 33554432000 4194304 6004724 140737028828048 140737028822512 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290011 170 442 0 296331 0
[pid=17352] ppid=17350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17352/stat : 17352 (cp2_pre.sh) S 17350 17349 16567 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 384090828 9367552 277 33554432000 4194304 5064252 140736739678240 140736739676944 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17352/statm: 2287 277 234 213 0 72 0
[pid=17353] ppid=17352 vsize=991704 CPUtime=8.64 cores=1,3,5,7
/proc/17353/stat : 17353 (coprocessor) R 17352 17349 16567 0 -1 4202496 19575 0 0 0 822 42 0 0 20 0 1 0 384090828 1015504896 233533 33554432000 4194304 6586260 140736118104544 140736118101304 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17353/statm: 247926 233533 137 584 0 247338 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 2197108
[startup+51.1069 s]
/proc/loadavg: 2.55 2.14 2.17 3/182 17353
/proc/meminfo: memFree=23603464/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=16.81 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29713 0 0 0 1475 206 0 0 20 0 1 0 384089144 1215598592 290011 33554432000 4194304 6004724 140737028828048 140737028822512 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290011 170 442 0 296331 0
[pid=17352] ppid=17350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17352/stat : 17352 (cp2_pre.sh) S 17350 17349 16567 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 384090828 9367552 277 33554432000 4194304 5064252 140736739678240 140736739676944 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17352/statm: 2287 277 234 213 0 72 0
[pid=17353] ppid=17352 vsize=1913620 CPUtime=34.07 cores=1,3,5,7
/proc/17353/stat : 17353 (coprocessor) R 17352 17349 16567 0 -1 4202496 23695 0 0 0 3225 182 0 0 20 0 1 0 384090828 1959546880 403728 33554432000 4194304 6586260 140736118104544 140736118100296 5505867 0 0 4096 8404994 0 0 0 17 5 0 0 17 0 0
/proc/17353/statm: 478405 403728 158 584 0 477817 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 3119024
[startup+102.3 s]
/proc/loadavg: 2.28 2.13 2.16 3/180 17396
/proc/meminfo: memFree=24351208/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2717304 CPUtime=35.61 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 269156 0 0 0 3464 97 0 0 20 0 1 0 384095811 2782519296 563913 33554432000 4194304 5654031 140733424162304 140733424160088 4232880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 679326 563913 131 357 0 678966 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 3913560
[startup+162.3 s]
/proc/loadavg: 2.67 2.26 2.20 3/182 17398
/proc/meminfo: memFree=19910136/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2768896 CPUtime=95.59 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 271417 0 0 0 9462 97 0 0 20 0 1 0 384095811 2835349504 572306 33554432000 4194304 5654031 140733424162304 140733424150120 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 692224 572306 140 357 0 691864 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 3965152
[startup+222.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/181 17400
/proc/meminfo: memFree=20145052/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=155.59 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 272837 0 0 0 15461 98 0 0 20 0 1 0 384095811 2859433984 578325 33554432000 4194304 5654031 140733424162304 140733424160072 4208694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 578325 140 357 0 697744 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 3988672
[startup+282.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/181 17400
/proc/meminfo: memFree=20111360/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=20062124/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1295.33 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273287 0 0 0 129435 98 0 0 20 0 1 0 384095811 2859433984 586546 33554432000 4194304 5654031 140733424162304 140733424150120 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 586546 141 357 0 697744 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 3988672
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 17411
/proc/meminfo: memFree=20062144/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1355.31 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273298 0 0 0 135433 98 0 0 20 0 1 0 384095811 2859433984 586546 33554432000 4194304 5654031 140733424162304 140733424150120 4232632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 586546 141 357 0 697744 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 3988672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 17411
/proc/meminfo: memFree=20062172/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1415.27 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273337 0 0 0 141429 98 0 0 20 0 1 0 384095811 2859433984 586546 33554432000 4194304 5654031 140733424162304 140733424150120 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 586546 141 357 0 697744 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 3988672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 17411
/proc/meminfo: memFree=20060156/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1475.26 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273339 0 0 0 147428 98 0 0 20 0 1 0 384095811 2859433984 587058 33554432000 4194304 5654031 140733424162304 140733424150120 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587058 141 357 0 697744 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 3988672
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.02 3/181 17412
/proc/meminfo: memFree=20060136/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1535.25 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273339 0 0 0 153427 98 0 0 20 0 1 0 384095811 2859433984 587058 33554432000 4194304 5654031 140733424162304 140733424150120 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587058 141 357 0 697744 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 3988672
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/181 17412
/proc/meminfo: memFree=20057920/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1595.24 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273344 0 0 0 159426 98 0 0 20 0 1 0 384095811 2859433984 587058 33554432000 4194304 5654031 140733424162304 140733424150120 4232659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587058 141 357 0 697744 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 3988672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 17412
/proc/meminfo: memFree=20057956/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1655.21 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273376 0 0 0 165423 98 0 0 20 0 1 0 384095811 2859433984 587058 33554432000 4194304 5654031 140733424162304 140733424150120 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587058 141 357 0 697744 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 3988672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17415
/proc/meminfo: memFree=20055516/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1715.18 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273400 0 0 0 171420 98 0 0 20 0 1 0 384095811 2859433984 587570 33554432000 4194304 5654031 140733424162304 140733424150120 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587570 141 357 0 697744 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 3988672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 17415
/proc/meminfo: memFree=20055516/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1733.69 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273400 0 0 0 173271 98 0 0 20 0 1 0 384095811 2859433984 587570 33554432000 4194304 5654031 140733424162304 140733424150120 4232428 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587570 141 357 0 697744 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3988672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 17415
/proc/meminfo: memFree=20055516/32873844 swapFree=7900/7900
[pid=17349] ppid=17347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17349/stat : 17349 (npSolver-pbo-It) S 17347 17349 16567 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384089144 9367552 274 33554432000 4194304 5064252 140736919121488 140736919120400 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17349/statm: 2287 274 233 213 0 72 0
[pid=17350] ppid=17349 vsize=1187108 CPUtime=66.41 cores=1,3,5,7
/proc/17350/stat : 17350 (npSolver-pbo) S 17349 17349 16567 0 -1 4202496 29730 24596 0 0 1475 206 4668 292 20 0 1 0 384089144 1215598592 290014 33554432000 4194304 6004724 140737028828048 140737028814328 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/17350/statm: 296777 290014 173 442 0 296331 0
[pid=17356] ppid=17350 vsize=2792416 CPUtime=1733.69 cores=1,3,5,7
/proc/17356/stat : 17356 (glucosInc) R 17350 17349 16567 0 -1 4202496 273400 0 0 0 173271 98 0 0 20 0 1 0 384095811 2859433984 587570 33554432000 4194304 5654031 140733424162304 140733424150120 4232428 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17356/statm: 698104 587570 141 357 0 697744 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3988672
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17349 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1794.14
CPU system time (s): 5.96
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 3988672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
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.42133 second user time and 10.6144 second system time
The end