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-3748135-1339218936/watcher-3748135-1339218936 -o /tmp/evaluation-result-3748135-1339218936/solver-3748135-1339218936 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748135-1339218936.opb 2104545570 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: 0.00 0.00 0.00 3/179 32281
/proc/meminfo: memFree=30730088/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[startup+0.0764881 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 32281
/proc/meminfo: memFree=30730088/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100315 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 32281
/proc/meminfo: memFree=30730088/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300162 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 32281
/proc/meminfo: memFree=30730088/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 32281
/proc/meminfo: memFree=30730088/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 32290
/proc/meminfo: memFree=30727520/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=15560 CPUtime=0.92 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 3020 0 0 0 92 0 0 0 20 0 1 0 388019337 15933440 3408 33554432000 4194304 5654031 140737030196224 140737030184040 4215026 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 3890 3408 140 357 0 3530 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41696
[startup+3.10034 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 32292
/proc/meminfo: memFree=30636944/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=16380 CPUtime=2.52 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 4209 0 0 0 252 0 0 0 20 0 1 0 388019337 16773120 3533 33554432000 4194304 5654031 140737030196224 140737030184040 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 4095 3533 141 357 0 3735 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42516
[startup+6.3004 s]
/proc/loadavg: 0.16 0.03 0.01 3/181 32292
/proc/meminfo: memFree=30624652/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=30824 CPUtime=5.72 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 6052 0 0 0 571 1 0 0 20 0 1 0 388019337 31563776 6340 33554432000 4194304 5654031 140737030196224 140737030184040 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 7706 6340 141 357 0 7346 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 56960
[startup+12.7004 s]
/proc/loadavg: 0.31 0.07 0.02 3/181 32292
/proc/meminfo: memFree=30622216/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=33872 CPUtime=12.12 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 7823 0 0 0 1210 2 0 0 20 0 1 0 388019337 34684928 7803 33554432000 4194304 5654031 140737030196224 140737030184040 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 8468 7803 141 357 0 8108 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 60008
[startup+25.5004 s]
/proc/loadavg: 0.76 0.18 0.06 3/181 32294
/proc/meminfo: memFree=30512904/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=75720 CPUtime=24.91 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 8517 0 0 0 2489 2 0 0 20 0 1 0 388019337 77537280 16159 33554432000 4194304 5654031 140737030196224 140737030184040 4215064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 18930 16159 141 357 0 18570 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 101856
[startup+51.1004 s]
/proc/loadavg: 1.18 0.32 0.11 3/181 32294
/proc/meminfo: memFree=30499192/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=75824 CPUtime=50.52 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 9228 0 0 0 5048 4 0 0 20 0 1 0 388019337 77643776 18563 33554432000 4194304 5654031 140737030196224 140737030184040 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 18956 18563 141 357 0 18596 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 101960
[startup+102.307 s]
/proc/loadavg: 1.69 0.59 0.21 3/181 32294
/proc/meminfo: memFree=30484920/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=77160 CPUtime=101.71 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 10868 0 0 0 10164 7 0 0 20 0 1 0 388019337 79011840 18867 33554432000 4194304 5654031 140737030196224 140737030184040 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 19290 18867 141 357 0 18930 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103296
[startup+162.3 s]
/proc/loadavg: 1.89 0.85 0.32 3/181 32297
/proc/meminfo: memFree=30492572/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=157300 CPUtime=161.69 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 13379 0 0 0 16156 13 0 0 20 0 1 0 388019337 161075200 32474 33554432000 4194304 5654031 140737030196224 140737030184040 4233201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 39325 32474 141 357 0 38965 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 183436
[startup+222.3 s]
/proc/loadavg: 1.96 1.05 0.42 3/181 32299
/proc/meminfo: memFree=30491076/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=126480 CPUtime=221.68 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 14784 0 0 0 22151 17 0 0 20 0 1 0 388019337 129515520 30359 33554432000 4194304 5654031 140737030196224 140737030184040 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 31620 30359 141 357 0 31260 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 152616
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.02 1.99 1.52 3/181 32322
/proc/meminfo: memFree=30368220/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=235460 CPUtime=1361.44 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 40524 0 0 0 136056 88 0 0 20 0 1 0 388019337 241111040 57203 33554432000 4194304 5654031 140737030196224 140737030184040 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 58865 57203 141 357 0 58505 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 261596
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.55 3/181 32322
/proc/meminfo: memFree=30217968/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1421.45 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 41076 0 0 0 142055 90 0 0 20 0 1 0 388019337 324452352 78195 33554432000 4194304 5654031 140737030196224 140737030184040 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 78195 141 357 0 78852 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 342984
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/182 32325
/proc/meminfo: memFree=30305884/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=235460 CPUtime=1481.43 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 42721 0 0 0 148048 95 0 0 20 0 1 0 388019337 241111040 53619 33554432000 4194304 5654031 140737030196224 140737030184040 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 58865 53619 141 357 0 58505 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 261596
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.59 3/181 32325
/proc/meminfo: memFree=30217512/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1541.39 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 43310 0 0 0 154042 97 0 0 20 0 1 0 388019337 324452352 76659 33554432000 4194304 5654031 140737030196224 140737030184040 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 76659 141 357 0 78852 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 342984
[startup+1602.3 s]
/proc/loadavg: 2.06 2.00 1.62 3/181 32325
/proc/meminfo: memFree=30327340/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=235460 CPUtime=1601.39 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 44956 0 0 0 160036 103 0 0 20 0 1 0 388019337 241111040 46451 33554432000 4194304 5654031 140737030196224 140737030184040 4232922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 58865 46451 141 357 0 58505 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 261596
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 1.64 3/181 32326
/proc/meminfo: memFree=30209320/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1661.38 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 45518 0 0 0 166033 105 0 0 20 0 1 0 388019337 324452352 71027 33554432000 4194304 5654031 140737030196224 140737030184040 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 71027 141 357 0 78852 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 342984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/181 32326
/proc/meminfo: memFree=30160292/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=449108 CPUtime=1721.37 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 46021 0 0 0 172030 107 0 0 20 0 1 0 388019337 459886592 90948 33554432000 4194304 5654031 140737030196224 140737030184040 4216632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 112277 90948 141 357 0 111917 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 475244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 32326
/proc/meminfo: memFree=30258272/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1781.35 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 47719 0 0 0 178024 111 0 0 20 0 1 0 388019337 324452352 62323 33554432000 4194304 5654031 140737030196224 140737030184040 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 62323 141 357 0 78852 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 342984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.69 2/173 32351
/proc/meminfo: memFree=30530504/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1799.56 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 47732 0 0 0 179844 112 0 0 20 0 1 0 388019337 324452352 68979 33554432000 4194304 5654031 140737030196224 140737030184040 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 68979 141 357 0 78852 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 342984
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.69 2/173 32351
/proc/meminfo: memFree=30530504/32873844 swapFree=7632/7632
[pid=32281] ppid=32279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32281/stat : 32281 (npSolver-pbo-I.) S 32279 32281 32234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388019280 9367552 275 33554432000 4194304 5064252 140737093373232 140737093372144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32281/statm: 2287 275 233 213 0 72 0
[pid=32282] ppid=32281 vsize=16988 CPUtime=0.54 cores=1,3,5,7
/proc/32282/stat : 32282 (npSolver-pbo) S 32281 32281 32234 0 -1 4202496 5789 6929 0 0 14 1 37 2 20 0 1 0 388019280 17395712 3790 33554432000 4194304 6004724 140735576934736 140735576921016 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32282/statm: 4247 3790 152 442 0 3801 0
[pid=32289] ppid=32282 vsize=316848 CPUtime=1799.56 cores=1,3,5,7
/proc/32289/stat : 32289 (glucosInc) R 32282 32281 32234 0 -1 4202496 47732 0 0 0 179844 112 0 0 20 0 1 0 388019337 324452352 68979 33554432000 4194304 5654031 140737030196224 140737030184040 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32289/statm: 79212 68979 141 357 0 78852 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 342984
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32281 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=522920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=43993
# CPU time returned by wait4() is 0.566913
# 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.51
CPU time (s): 1800.1
CPU user time (s): 1798.95
CPU system time (s): 1.15
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 524564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52292
system time used= 0.043993
maximum resident set size= 42456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 10
runsolver used 2.92156 second user time and 8.5467 second system time
The end