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-3702688-1338050630/watcher-3702688-1338050630 -o /tmp/evaluation-result-3702688-1338050630/solver-3702688-1338050630 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702688-1338050630.opb 679141285 HOME HOME
running on 4 cores: 0,2,4,6
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.00 1.00 1.16 3/177 3435
/proc/meminfo: memFree=29801228/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[startup+0.0176461 s]
/proc/loadavg: 1.00 1.00 1.16 3/177 3435
/proc/meminfo: memFree=29801228/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100298 s]
/proc/loadavg: 1.00 1.00 1.16 3/177 3435
/proc/meminfo: memFree=29801228/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 1.00 1.00 1.16 3/177 3435
/proc/meminfo: memFree=29801228/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 1.00 1.00 1.16 3/177 3435
/proc/meminfo: memFree=29801228/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 3439
/proc/meminfo: memFree=29656700/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=85444 CPUtime=0.92 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 16520 0 0 0 77 15 0 0 20 0 1 0 271188694 87494656 20132 33554432000 4194304 5992684 140736626969056 140736626963504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3436/statm: 21361 20132 167 440 0 20917 0
[pid=3438] ppid=3436 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3438/stat : 3438 (cp2_pre.sh) S 3436 3435 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271188787 9367552 277 33554432000 4194304 5064252 140733351460352 140733351459056 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3438/statm: 2287 277 234 213 0 72 0
[pid=3439] ppid=3438 vsize=224584 CPUtime=0.56 cores=0,2,4,6
/proc/3439/stat : 3439 (coprocessor) R 3438 3435 3390 0 -1 4202496 24868 0 0 0 50 6 0 0 20 0 1 0 271188788 229974016 49505 33554432000 4194304 6586260 140736499146800 140733351459080 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3439/statm: 56179 49506 166 584 0 55591 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 328324
[startup+3.10042 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 3439
/proc/meminfo: memFree=29393476/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=85444 CPUtime=0.92 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 16520 0 0 0 77 15 0 0 20 0 1 0 271188694 87494656 20132 33554432000 4194304 5992684 140736626969056 140736626963504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3436/statm: 21361 20132 167 440 0 20917 0
[pid=3438] ppid=3436 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3438/stat : 3438 (cp2_pre.sh) S 3436 3435 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271188787 9367552 277 33554432000 4194304 5064252 140733351460352 140733351459056 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3438/statm: 2287 277 234 213 0 72 0
[pid=3439] ppid=3438 vsize=269900 CPUtime=2.15 cores=0,2,4,6
/proc/3439/stat : 3439 (coprocessor) R 3438 3435 3390 0 -1 4202496 35439 0 0 0 206 9 0 0 20 0 1 0 271188788 276377600 65697 33554432000 4194304 6586260 140736499146800 140736499142952 4775781 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3439/statm: 67475 65697 175 584 0 66887 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 373640
[startup+6.30032 s]
/proc/loadavg: 1.15 1.03 1.17 3/181 3439
/proc/meminfo: memFree=29239216/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=85444 CPUtime=0.92 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 16520 0 0 0 77 15 0 0 20 0 1 0 271188694 87494656 20132 33554432000 4194304 5992684 140736626969056 140736626963504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3436/statm: 21361 20132 167 440 0 20917 0
[pid=3438] ppid=3436 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3438/stat : 3438 (cp2_pre.sh) S 3436 3435 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271188787 9367552 277 33554432000 4194304 5064252 140733351460352 140733351459056 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3438/statm: 2287 277 234 213 0 72 0
[pid=3439] ppid=3438 vsize=302564 CPUtime=5.35 cores=0,2,4,6
/proc/3439/stat : 3439 (coprocessor) R 3438 3435 3390 0 -1 4202496 39480 0 0 0 525 10 0 0 20 0 1 0 271188788 309825536 74337 33554432000 4194304 6586260 140736499146800 140736499142392 5599579 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3439/statm: 75641 74337 190 584 0 75053 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 406304
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.17 3/183 3441
/proc/meminfo: memFree=28437624/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=85444 CPUtime=0.92 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 16520 0 0 0 77 15 0 0 20 0 1 0 271188694 87494656 20132 33554432000 4194304 5992684 140736626969056 140736626963504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3436/statm: 21361 20132 167 440 0 20917 0
[pid=3438] ppid=3436 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3438/stat : 3438 (cp2_pre.sh) S 3436 3435 3390 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271188787 9367552 277 33554432000 4194304 5064252 140733351460352 140733351459056 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3438/statm: 2287 277 234 213 0 72 0
[pid=3439] ppid=3438 vsize=304016 CPUtime=11.75 cores=0,2,4,6
/proc/3439/stat : 3439 (coprocessor) R 3438 3435 3390 0 -1 4202496 39863 0 0 0 1165 10 0 0 20 0 1 0 271188788 311312384 74720 33554432000 4194304 6586260 140736499146800 140736499142392 5599454 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3439/statm: 76004 74720 190 584 0 75416 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 407756
[startup+25.5004 s]
/proc/loadavg: 1.41 1.10 1.19 3/182 3446
/proc/meminfo: memFree=27793812/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=703588 CPUtime=4.79 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 97757 0 0 0 453 26 0 0 20 0 1 0 271190763 720474112 147827 33554432000 4194304 5654031 140735104819136 140735104817032 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 175897 147827 140 357 0 175537 0
Current children cumulated CPU time (s) 23.87
Current children cumulated vsize (KiB) 808876
[startup+51.1004 s]
/proc/loadavg: 1.72 1.20 1.21 3/182 3446
/proc/meminfo: memFree=27579272/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=704196 CPUtime=30.39 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 97877 0 0 0 3013 26 0 0 20 0 1 0 271190763 721096704 148458 33554432000 4194304 5654031 140735104819136 140735104817032 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 176049 148458 141 357 0 175689 0
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (KiB) 809484
[startup+102.3 s]
/proc/loadavg: 2.02 1.36 1.27 3/183 3451
/proc/meminfo: memFree=27543972/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=704500 CPUtime=81.58 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 97961 0 0 0 8132 26 0 0 20 0 1 0 271190763 721408000 148542 33554432000 4194304 5654031 140735104819136 140735104816744 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 176125 148542 141 357 0 175765 0
Current children cumulated CPU time (s) 100.66
Current children cumulated vsize (KiB) 809788
[startup+162.3 s]
/proc/loadavg: 2.05 1.49 1.32 3/182 3458
/proc/meminfo: memFree=27542444/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=704500 CPUtime=141.57 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 97989 0 0 0 14131 26 0 0 20 0 1 0 271190763 721408000 148570 33554432000 4194304 5654031 140735104819136 140735104806952 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 176125 148570 141 357 0 175765 0
Current children cumulated CPU time (s) 160.65
Current children cumulated vsize (KiB) 809788
[startup+222.3 s]
/proc/loadavg: 2.10 1.61 1.37 3/183 3467
/proc/meminfo: memFree=27542508/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=27521200/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1281.38 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99256 0 0 0 128110 28 0 0 20 0 1 0 271190763 726503424 151746 33554432000 4194304 5654031 140735104819136 140735104816920 4236276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151746 142 357 0 177009 0
Current children cumulated CPU time (s) 1300.46
Current children cumulated vsize (KiB) 814764
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 1.83 3/183 3632
/proc/meminfo: memFree=27522392/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1341.37 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99260 0 0 0 134109 28 0 0 20 0 1 0 271190763 726503424 151750 33554432000 4194304 5654031 140735104819136 140735104816920 4214505 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151750 142 357 0 177009 0
Current children cumulated CPU time (s) 1360.45
Current children cumulated vsize (KiB) 814764
[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 1.84 3/183 3640
/proc/meminfo: memFree=27521720/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1401.36 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99265 0 0 0 140108 28 0 0 20 0 1 0 271190763 726503424 151755 33554432000 4194304 5654031 140735104819136 140735104816920 4209211 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151755 142 357 0 177009 0
Current children cumulated CPU time (s) 1420.44
Current children cumulated vsize (KiB) 814764
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 1.85 3/183 3647
/proc/meminfo: memFree=27520616/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1461.35 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99266 0 0 0 146107 28 0 0 20 0 1 0 271190763 726503424 151756 33554432000 4194304 5654031 140735104819136 140735104816920 4233344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151756 142 357 0 177009 0
Current children cumulated CPU time (s) 1480.43
Current children cumulated vsize (KiB) 814764
[startup+1543.75 s]
/proc/loadavg: 2.07 2.06 1.86 7/183 3654
/proc/meminfo: memFree=27521928/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1522.8 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99268 0 0 0 152252 28 0 0 20 0 1 0 271190763 726503424 151758 33554432000 4194304 5654031 140735104819136 140735104816920 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151758 142 357 0 177009 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 814764
[startup+1603.75 s]
/proc/loadavg: 2.08 2.06 1.87 3/184 3664
/proc/meminfo: memFree=27520940/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=709476 CPUtime=1582.78 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99269 0 0 0 158250 28 0 0 20 0 1 0 271190763 726503424 151759 33554432000 4194304 5654031 140735104819136 140735104816920 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177369 151759 142 357 0 177009 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 814764
[startup+1663.75 s]
/proc/loadavg: 2.07 2.06 1.89 5/183 3671
/proc/meminfo: memFree=27518604/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=710596 CPUtime=1642.78 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99464 0 0 0 164250 28 0 0 20 0 1 0 271190763 727650304 152465 33554432000 4194304 5654031 140735104819136 140735104817032 4232944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177649 152465 142 357 0 177289 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 815884
[startup+1722.62 s]
/proc/loadavg: 2.03 2.05 1.89 3/183 3678
/proc/meminfo: memFree=27524384/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=710596 CPUtime=1701.63 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99481 0 0 0 170135 28 0 0 20 0 1 0 271190763 727650304 152482 33554432000 4194304 5654031 140735104819136 140735104806952 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177649 152482 142 357 0 177289 0
Current children cumulated CPU time (s) 1720.71
Current children cumulated vsize (KiB) 815884
[startup+1783.75 s]
/proc/loadavg: 2.07 2.06 1.90 4/183 3686
/proc/meminfo: memFree=27525508/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=710596 CPUtime=1762.76 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99483 0 0 0 176248 28 0 0 20 0 1 0 271190763 727650304 152484 33554432000 4194304 5654031 140735104819136 140735104806952 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177649 152484 142 357 0 177289 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 815884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.75 s]
/proc/loadavg: 2.04 2.05 1.91 2/177 3689
/proc/meminfo: memFree=28439524/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=710596 CPUtime=1782.76 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99483 0 0 0 178248 28 0 0 20 0 1 0 271190763 727650304 152484 33554432000 4194304 5654031 140735104819136 140735104806952 4214494 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177649 152484 142 357 0 177289 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 815884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1803.75 s]
/proc/loadavg: 2.04 2.05 1.91 2/177 3689
/proc/meminfo: memFree=28439524/32873844 swapFree=7112/7112
[pid=3435] ppid=3433 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3435/stat : 3435 (npSolver-pbo-It) S 3433 3435 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271188694 9367552 275 33554432000 4194304 5064252 140737340169856 140737340168768 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3435/statm: 2287 275 233 213 0 72 0
[pid=3436] ppid=3435 vsize=96140 CPUtime=19.08 cores=0,2,4,6
/proc/3436/stat : 3436 (npSolver-pbo) S 3435 3435 3390 0 -1 4202496 32951 60840 0 2 437 113 1335 23 20 0 1 0 271188694 98447360 22870 33554432000 4194304 5992684 140736626969056 140736626954888 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/3436/statm: 24035 22870 199 440 0 23591 0
[pid=3446] ppid=3436 vsize=710596 CPUtime=1782.76 cores=0,2,4,6
/proc/3446/stat : 3446 (glucosInc) R 3436 3435 3390 0 -1 4202496 99483 0 0 0 178248 28 0 0 20 0 1 0 271190763 727650304 152484 33554432000 4194304 5654031 140735104819136 140735104806952 4214494 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3446/statm: 177649 152484 142 357 0 177289 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 815884
Child status: 0
Real time (s): 1803.77
CPU time (s): 1801.88
CPU user time (s): 1800.22
CPU system time (s): 1.66575
CPU usage (%): 99.8955
Max. virtual memory (cumulated for all children) (KiB): 1018164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.22
system time used= 1.66575
maximum resident set size= 770260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193654
page faults= 2
swaps= 0
block input operations= 240
block output operations= 620000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 964
involuntary context switches= 1880
runsolver used 3.3175 second user time and 12.3541 second system time
The end