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-3751040-1339112314/watcher-3751040-1339112314 -o /tmp/evaluation-result-3751040-1339112314/solver-3751040-1339112314 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751040-1339112314.opb 1751435568 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.00 1.00 1.23 3/175 27922
/proc/meminfo: memFree=31269300/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0

[startup+0.068887 s]
/proc/loadavg: 1.00 1.00 1.23 3/175 27922
/proc/meminfo: memFree=31269300/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100313 s]
/proc/loadavg: 1.00 1.00 1.23 3/175 27922
/proc/meminfo: memFree=31269300/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 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.00 1.00 1.23 3/175 27922
/proc/meminfo: memFree=31269300/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700279 s]
/proc/loadavg: 1.00 1.00 1.23 3/175 27922
/proc/meminfo: memFree=31269300/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/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: 1.08 1.02 1.24 4/179 27926
/proc/meminfo: memFree=30960708/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=184456 CPUtime=1.49 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) R 27922 27922 26405 0 -1 4202496 27736 0 0 0 140 9 0 0 20 0 1 0 377358444 188882944 42901 33554432000 4194304 6004724 140735550724928 140735550721736 4617968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 46114 42901 154 442 0 45668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193604

[startup+3.10035 s]
/proc/loadavg: 1.08 1.02 1.24 4/179 27926
/proc/meminfo: memFree=30838556/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=403868 CPUtime=3.08 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) R 27922 27922 26405 0 -1 4202496 29514 0 0 0 286 22 0 0 20 0 1 0 377358444 413560832 98286 33554432000 4194304 6004724 140735550724928 140735550719528 5193835 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 100967 98286 157 442 0 100521 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 413016

[startup+6.3004 s]
/proc/loadavg: 1.23 1.05 1.25 4/183 27930
/proc/meminfo: memFree=29635520/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=3.2 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29521 0 0 0 286 34 0 0 20 0 1 0 377358444 289583104 68024 33554432000 4194304 6004724 140735550724928 140735550719392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68024 163 442 0 70253 0
[pid=27929] ppid=27924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27929/stat : 27929 (cp2_pre.sh) S 27924 27922 26405 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377358765 9367552 276 33554432000 4194304 5064252 140735843277536 140735843276240 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 2287 276 234 213 0 72 0
[pid=27930] ppid=27929 vsize=536632 CPUtime=3.07 cores=1,3,5,7
/proc/27930/stat : 27930 (coprocessor) R 27929 27922 26405 0 -1 4202496 58249 0 0 0 290 17 0 0 20 0 1 0 377358765 549511168 121251 33554432000 4194304 6586260 140736942331600 140736942327864 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 134158 121252 163 584 0 133570 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 837724

[startup+12.7004 s]
/proc/loadavg: 1.29 1.06 1.25 4/182 27932
/proc/meminfo: memFree=29898192/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=3.2 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29521 0 0 0 286 34 0 0 20 0 1 0 377358444 289583104 68024 33554432000 4194304 6004724 140735550724928 140735550719392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68024 163 442 0 70253 0
[pid=27929] ppid=27924 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27929/stat : 27929 (cp2_pre.sh) S 27924 27922 26405 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377358765 9367552 276 33554432000 4194304 5064252 140735843277536 140735843276240 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27929/statm: 2287 276 234 213 0 72 0
[pid=27930] ppid=27929 vsize=629248 CPUtime=9.47 cores=1,3,5,7
/proc/27930/stat : 27930 (coprocessor) R 27929 27922 26405 0 -1 4202496 72616 0 0 0 907 40 0 0 20 0 1 0 377358765 644349952 152048 33554432000 4194304 6586260 140736942331600 140736942327352 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 157312 152048 198 584 0 156724 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 930340

[startup+25.5004 s]
/proc/loadavg: 1.40 1.10 1.26 4/181 27934
/proc/meminfo: memFree=30166524/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=13.4 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29540 73517 0 0 286 34 973 47 20 0 1 0 377358444 289583104 68028 33554432000 4194304 6004724 140735550724928 140735550711208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68028 167 442 0 70253 0
[pid=27934] ppid=27924 vsize=244284 CPUtime=12.05 cores=1,3,5,7
/proc/27934/stat : 27934 (glucosInc) R 27924 27922 26405 0 -1 4202496 44574 0 0 0 1194 11 0 0 20 0 1 0 377359787 250146816 56883 33554432000 4194304 5654031 140736005832240 140736005820056 4232403 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 61071 56883 140 357 0 60711 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 536228

Solver just ended. Dumping a history of the last processes samples

[startup+26.0004 s]
/proc/loadavg: 1.45 1.11 1.26 4/181 27934
/proc/meminfo: memFree=30165780/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=13.4 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29540 73517 0 0 286 34 973 47 20 0 1 0 377358444 289583104 68028 33554432000 4194304 6004724 140735550724928 140735550711208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68028 167 442 0 70253 0
[pid=27934] ppid=27924 vsize=247780 CPUtime=12.55 cores=1,3,5,7
/proc/27934/stat : 27934 (glucosInc) R 27924 27922 26405 0 -1 4202496 44790 0 0 0 1244 11 0 0 20 0 1 0 377359787 253726720 57099 33554432000 4194304 5654031 140736005832240 140736005820056 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 61945 57099 140 357 0 61585 0
Current children cumulated CPU time (s) 25.95
Current children cumulated vsize (KiB) 539724

[startup+27.6004 s]
/proc/loadavg: 1.45 1.11 1.26 4/181 27934
/proc/meminfo: memFree=30165656/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=13.4 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29540 73517 0 0 286 34 973 47 20 0 1 0 377358444 289583104 68028 33554432000 4194304 6004724 140735550724928 140735550711208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68028 167 442 0 70253 0
[pid=27934] ppid=27924 vsize=247780 CPUtime=14.15 cores=1,3,5,7
/proc/27934/stat : 27934 (glucosInc) R 27924 27922 26405 0 -1 4202496 44847 0 0 0 1404 11 0 0 20 0 1 0 377359787 253726720 57667 33554432000 4194304 5654031 140736005832240 140736005820056 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 61945 57667 140 357 0 61585 0
Current children cumulated CPU time (s) 27.55
Current children cumulated vsize (KiB) 539724

[startup+29.2004 s]
/proc/loadavg: 1.45 1.11 1.26 4/181 27934
/proc/meminfo: memFree=30163360/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=13.4 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) S 27922 27922 26405 0 -1 4202496 29540 73517 0 0 286 34 973 47 20 0 1 0 377358444 289583104 68028 33554432000 4194304 6004724 140735550724928 140735550711208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68028 167 442 0 70253 0
[pid=27934] ppid=27924 vsize=247780 CPUtime=15.75 cores=1,3,5,7
/proc/27934/stat : 27934 (glucosInc) R 27924 27922 26405 0 -1 4202496 44847 0 0 0 1564 11 0 0 20 0 1 0 377359787 253726720 57667 33554432000 4194304 5654031 140736005832240 140736005820056 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 61945 57667 140 357 0 61585 0
Current children cumulated CPU time (s) 29.15
Current children cumulated vsize (KiB) 539724

[startup+29.6004 s]
/proc/loadavg: 1.45 1.11 1.26 4/181 27934
/proc/meminfo: memFree=30163360/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282796 CPUtime=13.58 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) R 27922 27922 26405 0 -1 4202496 34947 73517 0 0 303 35 973 47 20 0 1 0 377358444 289583104 68034 33554432000 4194304 6004724 140735550724928 140735550711208 5190736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70699 68034 173 442 0 70253 0
[pid=27934] ppid=27924 vsize=247788 CPUtime=15.99 cores=1,3,5,7
/proc/27934/stat : 27934 (glucosInc) S 27924 27922 26405 0 -1 4202496 44944 0 0 0 1588 11 0 0 20 0 1 0 377359787 253734912 57764 33554432000 4194304 5654031 140736005832240 140736005830552 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 61947 57764 146 357 0 61587 0
Current children cumulated CPU time (s) 29.57
Current children cumulated vsize (KiB) 539732

[startup+30.0003 s]
/proc/loadavg: 1.45 1.11 1.26 4/181 27934
/proc/meminfo: memFree=30163360/32873844 swapFree=7116/7116
[pid=27922] ppid=27918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27922/stat : 27922 (npSolver-pbo-It) S 27918 27922 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377358444 9367552 275 33554432000 4194304 5064252 140736410500848 140736410499760 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27922/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27922 vsize=282800 CPUtime=29.99 cores=1,3,5,7
/proc/27924/stat : 27924 (npSolver-pbo) R 27922 27922 26405 0 -1 4202496 46019 118468 0 0 341 36 2562 60 20 0 1 0 377358444 289587200 68036 33554432000 4194304 6004724 140735550724928 140735550721008 4959420 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27924/statm: 70700 68036 174 442 0 70254 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (KiB) 291948

Child status: 0
Real time (s): 30.0167
CPU time (s): 30.0204
CPU user time (s): 29.0406
CPU system time (s): 0.979851
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 946376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0406
system time used= 0.979851
maximum resident set size= 624220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 341616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1281
involuntary context switches= 95

runsolver used 0.06099 second user time and 0.137979 second system time

The end