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-3748925-1339126350/watcher-3748925-1339126350 -o /tmp/evaluation-result-3748925-1339126350/solver-3748925-1339126350 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748925-1339126350.opb 785089153 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: 1.92 1.98 1.99 4/180 12920
/proc/meminfo: memFree=31855736/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[startup+0.104275 s]
/proc/loadavg: 1.92 1.98 1.99 4/180 12920
/proc/meminfo: memFree=31855736/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200337 s]
/proc/loadavg: 1.92 1.98 1.99 4/180 12920
/proc/meminfo: memFree=31855736/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 1.92 1.98 1.99 4/180 12920
/proc/meminfo: memFree=31855736/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700303 s]
/proc/loadavg: 1.92 1.98 1.99 4/180 12920
/proc/meminfo: memFree=31855736/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 12924
/proc/meminfo: memFree=31722052/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=0.34 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3765 0 0 0 32 2 0 0 20 0 1 0 22601604 18493440 3770 33554432000 4194304 6004724 140733231013856 140733231008320 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12921/statm: 4515 3770 148 442 0 4069 0
[pid=12923] ppid=12921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12923/stat : 12923 (cp2_pre.sh) S 12921 12920 8890 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 22601639 9367552 277 33554432000 4194304 5064252 140736231998688 140736231997392 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12923/statm: 2287 277 234 213 0 72 0
[pid=12924] ppid=12923 vsize=139072 CPUtime=1.13 cores=1,3,5,7
/proc/12924/stat : 12924 (coprocessor) R 12923 12920 8890 0 -1 4202496 26638 0 0 0 108 5 0 0 20 0 1 0 22601639 142409728 33806 33554432000 4194304 6586260 140734564193008 140734564189272 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12924/statm: 34768 33806 190 584 0 34180 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 175428
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 12924
/proc/meminfo: memFree=31694028/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 27208
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12926
/proc/meminfo: memFree=31779440/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=60108 CPUtime=3.98 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 13690 0 0 0 396 2 0 0 20 0 1 0 22601833 61550592 13673 33554432000 4194304 5654031 140736464421072 140736464418952 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 15027 13673 131 357 0 14667 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 87316
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12926
/proc/meminfo: memFree=31778232/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=61172 CPUtime=10.38 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 13998 0 0 0 1036 2 0 0 20 0 1 0 22601833 62640128 13981 33554432000 4194304 5654031 140736464421072 140736464418968 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 15293 13981 140 357 0 14933 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 88380
[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 12926
/proc/meminfo: memFree=31778096/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=65756 CPUtime=23.18 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 14126 0 0 0 2316 2 0 0 20 0 1 0 22601833 67334144 14105 33554432000 4194304 5654031 140736464421072 140736464418856 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 16439 14105 140 357 0 16079 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 92964
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 12926
/proc/meminfo: memFree=31773548/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=66044 CPUtime=48.77 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 14202 0 0 0 4875 2 0 0 20 0 1 0 22601833 67629056 14692 33554432000 4194304 5654031 140736464421072 140736464418856 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 16511 14692 140 357 0 16151 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 93252
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 12927
/proc/meminfo: memFree=31773140/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=66332 CPUtime=99.95 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 14277 0 0 0 9993 2 0 0 20 0 1 0 22601833 67923968 14765 33554432000 4194304 5654031 140736464421072 140736464418856 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 16583 14765 140 357 0 16223 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 93540
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 12927
/proc/meminfo: memFree=31772756/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=66644 CPUtime=159.93 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 14666 0 0 0 15990 3 0 0 20 0 1 0 22601833 68243456 14861 33554432000 4194304 5654031 140736464421072 140736464419096 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 16661 14861 141 357 0 16301 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 93852
[startup+222.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 12927
/proc/meminfo: memFree=31770584/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=67092 CPUtime=219.93 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 14787 0 0 0 21990 3 0 0 20 0 1 0 22601833 68702208 15493 33554432000 4194304 5654031 140736464421072 140736464418856 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 16773 15493 141 357 0 16413 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 94300
################
# More data... #
################
/proc/loadavg: 2.22 2.32 2.14 2/184 12979
/proc/meminfo: memFree=13948476/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1359.75 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 135971 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 125168
[startup+1422.3 s]
/proc/loadavg: 2.08 2.26 2.13 3/183 12981
/proc/meminfo: memFree=15697364/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1419.75 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 141971 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 125168
[startup+1482.3 s]
/proc/loadavg: 2.03 2.21 2.12 3/183 12981
/proc/meminfo: memFree=15681488/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1479.73 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 147969 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4208641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 125168
[startup+1542.31 s]
/proc/loadavg: 2.01 2.17 2.11 3/183 12981
/proc/meminfo: memFree=15671500/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1539.73 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 153969 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 125168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.13 2.09 3/183 12981
/proc/meminfo: memFree=15659652/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1599.71 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 159967 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 125168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.11 2.09 3/183 12985
/proc/meminfo: memFree=15650960/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1659.7 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 165966 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 125168
[startup+1722.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/184 13009
/proc/meminfo: memFree=15636296/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1719.69 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 171965 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 125168
[startup+1782.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 13009
/proc/meminfo: memFree=15626836/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1779.69 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 177965 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 125168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 13009
/proc/meminfo: memFree=15623196/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1797.79 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 179775 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 125168
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 13009
/proc/meminfo: memFree=15623196/32873844 swapFree=6868/6868
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (npSolver-pbo-I.) S 12918 12920 8890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 22601603 9367552 274 33554432000 4194304 5064252 140735030222656 140735030221568 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12920/statm: 2287 274 233 213 0 72 0
[pid=12921] ppid=12920 vsize=18060 CPUtime=2.28 cores=1,3,5,7
/proc/12921/stat : 12921 (npSolver-pbo) S 12920 12920 8890 0 -1 4202496 3783 28271 0 0 32 2 186 8 20 0 1 0 22601604 18493440 3774 33554432000 4194304 6004724 140733231013856 140733231000136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12921/statm: 4515 3774 152 442 0 4069 0
[pid=12926] ppid=12921 vsize=97960 CPUtime=1797.79 cores=1,3,5,7
/proc/12926/stat : 12926 (glucosInc) R 12921 12920 8890 0 -1 4202496 16632 0 0 0 179775 4 0 0 20 0 1 0 22601833 100311040 23283 33554432000 4194304 5654031 140736464421072 140736464418872 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 24490 23283 141 357 0 24130 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 125168
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12920 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=183668
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=114982
# CPU time returned by wait4() is 2.29865
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.93
CPU system time (s): 0.14
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 175564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.18367
system time used= 0.114982
maximum resident set size= 140176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 3.63245 second user time and 9.23659 second system time
The end