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-3700124-1338081469/watcher-3700124-1338081469 -o /tmp/evaluation-result-3700124-1338081469/solver-3700124-1338081469 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700124-1338081469.opb 2115813183 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4214
/proc/meminfo: memFree=30534820/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[startup+0.02915 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4214
/proc/meminfo: memFree=30534820/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4214
/proc/meminfo: memFree=30534820/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4214
/proc/meminfo: memFree=30534820/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4214
/proc/meminfo: memFree=30534820/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4223
/proc/meminfo: memFree=30527588/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=0.27 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1048 5565 0 0 2 3 19 3 20 0 1 0 274275479 3727360 569 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 569 181 440 0 466 0
[pid=4223] ppid=4215 vsize=9152 CPUtime=1.2 cores=1,3,5,7
/proc/4223/stat : 4223 (glucosInc) R 4215 4214 1127 0 -1 4202496 2369 0 0 0 120 0 0 0 20 0 1 0 274275508 9371648 1626 33554432000 4194304 5654031 140737448479648 140737448467464 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4223/statm: 2288 1626 142 357 0 1928 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21940
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4223
/proc/meminfo: memFree=30523424/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=0.27 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1048 5565 0 0 2 3 19 3 20 0 1 0 274275479 3727360 569 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 569 181 440 0 466 0
[pid=4223] ppid=4215 vsize=11828 CPUtime=2.8 cores=1,3,5,7
/proc/4223/stat : 4223 (glucosInc) R 4215 4214 1127 0 -1 4202496 3120 0 0 0 280 0 0 0 20 0 1 0 274275508 12111872 2339 33554432000 4194304 5654031 140737448479648 140737448467464 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4223/statm: 2957 2339 142 357 0 2597 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 24616
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4223
/proc/meminfo: memFree=30514376/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=0.27 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1048 5565 0 0 2 3 19 3 20 0 1 0 274275479 3727360 569 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 569 181 440 0 466 0
[pid=4223] ppid=4215 vsize=16440 CPUtime=6 cores=1,3,5,7
/proc/4223/stat : 4223 (glucosInc) R 4215 4214 1127 0 -1 4202496 3855 0 0 0 600 0 0 0 20 0 1 0 274275508 16834560 3542 33554432000 4194304 5654031 140737448479648 140737448467464 4216427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4223/statm: 4110 3542 142 357 0 3750 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29228
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4224
/proc/meminfo: memFree=30570208/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=0.27 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1048 5565 0 0 2 3 19 3 20 0 1 0 274275479 3727360 569 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 569 181 440 0 466 0
[pid=4223] ppid=4215 vsize=19120 CPUtime=12.4 cores=1,3,5,7
/proc/4223/stat : 4223 (glucosInc) R 4215 4214 1127 0 -1 4202496 4627 0 0 0 1240 0 0 0 20 0 1 0 274275508 19578880 4258 33554432000 4194304 5654031 140737448479648 140737448467464 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4223/statm: 4780 4258 142 357 0 4420 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31908
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 4226
/proc/meminfo: memFree=30530916/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=19836 CPUtime=12.75 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 4526 0 0 0 1274 1 0 0 20 0 1 0 274276753 20312064 4378 33554432000 4194304 5654031 140737448822032 140737448809848 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 4959 4378 142 357 0 4599 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32624
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 4226
/proc/meminfo: memFree=30558864/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=50004 CPUtime=38.35 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 6347 0 0 0 3833 2 0 0 20 0 1 0 274276753 51204096 10757 33554432000 4194304 5654031 140737448822032 140737448809848 4233144 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 12501 10757 142 357 0 12141 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62792
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 4226
/proc/meminfo: memFree=30479296/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=64504 CPUtime=89.54 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 7277 0 0 0 8951 3 0 0 20 0 1 0 274276753 66052096 15135 33554432000 4194304 5654031 140737448822032 140737448809848 4216577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 16126 15135 142 357 0 15766 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77292
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 4229
/proc/meminfo: memFree=30525660/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=76272 CPUtime=149.52 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 9085 0 0 0 14948 4 0 0 20 0 1 0 274276753 78102528 13130 33554432000 4194304 5654031 140737448822032 140737448809848 4232767 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 19068 13130 142 357 0 18708 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 89060
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 4229
/proc/meminfo: memFree=30504008/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=76272 CPUtime=209.51 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 9405 0 0 0 20947 4 0 0 20 0 1 0 274276753 78102528 18555 33554432000 4194304 5654031 140737448822032 140737448809848 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 19068 18555 142 357 0 18708 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 89060
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30516528/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=168164 CPUtime=1229.36 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 29355 0 0 0 122887 49 0 0 20 0 1 0 274276753 172199936 34170 33554432000 4194304 5654031 140737448822032 140737448820120 4232803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 42041 34170 142 357 0 41681 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 180952
[startup+1302.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/181 5807
/proc/meminfo: memFree=30522684/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=168164 CPUtime=1289.35 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 30382 0 0 0 128884 51 0 0 20 0 1 0 274276753 172199936 34719 33554432000 4194304 5654031 140737448822032 140737448809848 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 42041 34719 142 357 0 41681 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 180952
[startup+1362.3 s]
/proc/loadavg: 2.23 2.09 2.03 3/182 5967
/proc/meminfo: memFree=30517296/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=168164 CPUtime=1349.33 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 31370 0 0 0 134879 54 0 0 20 0 1 0 274276753 172199936 35743 33554432000 4194304 5654031 140737448822032 140737448809848 4233306 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 42041 35743 142 357 0 41681 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 180952
[startup+1422.31 s]
/proc/loadavg: 2.25 2.12 2.04 3/182 6121
/proc/meminfo: memFree=29897080/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=168164 CPUtime=1409.33 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 32343 0 0 0 140876 57 0 0 20 0 1 0 274276753 172199936 37791 33554432000 4194304 5654031 140737448822032 140737448809848 4232880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 42041 37791 142 357 0 41681 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 180952
[startup+1482.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/181 6172
/proc/meminfo: memFree=30319656/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=90552 CPUtime=1469.32 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 33415 0 0 0 146872 60 0 0 20 0 1 0 274276753 92725248 21592 33554432000 4194304 5654031 140737448822032 140737448809848 4233173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 22638 21592 142 357 0 22278 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 103340
[startup+1542.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/181 6172
/proc/meminfo: memFree=30311444/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=93188 CPUtime=1529.3 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 34933 0 0 0 152868 62 0 0 20 0 1 0 274276753 95424512 22126 33554432000 4194304 5654031 140737448822032 140737448820056 4232703 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 23297 22126 142 357 0 22937 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 105976
[startup+1602.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/181 6173
/proc/meminfo: memFree=30268272/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=113684 CPUtime=1589.3 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 36269 0 0 0 158865 65 0 0 20 0 1 0 274276753 116412416 23371 33554432000 4194304 5654031 140737448822032 140737448819912 4215968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 28421 23371 142 357 0 28061 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 126472
[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/181 6173
/proc/meminfo: memFree=30183580/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=174932 CPUtime=1649.29 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 38191 0 0 0 164861 68 0 0 20 0 1 0 274276753 179130368 39953 33554432000 4194304 5654031 140737448822032 140737448809848 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 43733 39953 142 357 0 43373 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 187720
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/181 6173
/proc/meminfo: memFree=30171116/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=174932 CPUtime=1709.27 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 39180 0 0 0 170857 70 0 0 20 0 1 0 274276753 179130368 42001 33554432000 4194304 5654031 140737448822032 140737448809848 4232518 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 43733 42001 142 357 0 43373 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 187720
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 6173
/proc/meminfo: memFree=30169080/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=174932 CPUtime=1769.26 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 40162 0 0 0 176854 72 0 0 20 0 1 0 274276753 179130368 42513 33554432000 4194304 5654031 140737448822032 140737448809848 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 43733 42513 142 357 0 43373 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 187720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 6173
/proc/meminfo: memFree=30154372/32873844 swapFree=7108/7108
[pid=4214] ppid=4212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (npSolver-pbo-I.) S 4212 4214 1127 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274275479 9367552 275 33554432000 4194304 5064252 140736328578688 140736328577600 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4214/statm: 2287 275 233 213 0 72 0
[pid=4215] ppid=4214 vsize=3640 CPUtime=12.71 cores=1,3,5,7
/proc/4215/stat : 4215 (npSolver-pbo) S 4214 4214 1127 0 -1 4202496 1212 10713 0 0 2 3 1262 4 20 0 1 0 274275479 3727360 570 33554432000 4194304 5992684 140733836996736 140733836981640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 910 570 182 440 0 466 0
[pid=4226] ppid=4215 vsize=205752 CPUtime=1787.37 cores=1,3,5,7
/proc/4226/stat : 4226 (glucosInc) R 4215 4214 1127 0 -1 4202496 40760 0 0 0 178664 73 0 0 20 0 1 0 274276753 210690048 46164 33554432000 4194304 5654031 140737448822032 140737448809848 4232939 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 51438 46164 142 357 0 51078 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 218540
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.29
CPU system time (s): 0.821875
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 218540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.821875
maximum resident set size= 188752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 4120
runsolver used 3.57945 second user time and 8.96264 second system time
The end