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-3750899-1339131607/watcher-3750899-1339131607 -o /tmp/evaluation-result-3750899-1339131607/solver-3750899-1339131607 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750899-1339131607.opb 1522302714 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: 2.02 2.03 2.00 3/178 27795
/proc/meminfo: memFree=30921448/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0

[startup+0.0744281 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 27795
/proc/meminfo: memFree=30921448/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100197 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 27795
/proc/meminfo: memFree=30921448/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300244 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 27795
/proc/meminfo: memFree=30921448/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700223 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 27795
/proc/meminfo: memFree=30921448/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27816
/proc/meminfo: memFree=30916456/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=0.82 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1772 13081 0 0 2 3 73 4 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27815] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27815/stat : 27815 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379286252 9367552 267 33554432000 4194304 5064252 140734343379328 140734343378240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27815/statm: 2287 267 226 213 0 72 0
[pid=27816] ppid=27815 vsize=6724 CPUtime=0.65 cores=0,2,4,6
/proc/27816/stat : 27816 (glucose) R 27815 27795 22761 0 -1 4202496 1838 0 0 0 65 0 0 0 20 0 1 0 379286252 6885376 1249 33554432000 4194304 5208918 140734959774432 140734959772392 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27816/statm: 1681 1249 102 248 0 1430 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28400

[startup+3.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27816
/proc/meminfo: memFree=30912744/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=0.82 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1772 13081 0 0 2 3 73 4 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27815] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27815/stat : 27815 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379286252 9367552 267 33554432000 4194304 5064252 140734343379328 140734343378240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27815/statm: 2287 267 226 213 0 72 0
[pid=27816] ppid=27815 vsize=10000 CPUtime=2.25 cores=0,2,4,6
/proc/27816/stat : 27816 (glucose) R 27815 27795 22761 0 -1 4202496 2777 0 0 0 225 0 0 0 20 0 1 0 379286252 10240000 2106 33554432000 4194304 5208918 140734959774432 140734959772296 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27816/statm: 2500 2106 103 248 0 2249 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 31676

[startup+6.3004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27816
/proc/meminfo: memFree=30989784/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=0.82 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1772 13081 0 0 2 3 73 4 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27815] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27815/stat : 27815 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379286252 9367552 267 33554432000 4194304 5064252 140734343379328 140734343378240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27815/statm: 2287 267 226 213 0 72 0
[pid=27816] ppid=27815 vsize=13312 CPUtime=5.45 cores=0,2,4,6
/proc/27816/stat : 27816 (glucose) R 27815 27795 22761 0 -1 4202496 3140 0 0 0 545 0 0 0 20 0 1 0 379286252 13631488 2453 33554432000 4194304 5208918 140734959774432 140734959772376 4212227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27816/statm: 3328 2453 103 248 0 3077 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 34988

[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.01 3/182 27823
/proc/meminfo: memFree=30962196/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=11.71 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1841 20512 0 0 3 3 1160 5 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27822] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27822/stat : 27822 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379287341 9367552 267 33554432000 4194304 5064252 140736730842256 140736730841168 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27822/statm: 2287 267 226 213 0 72 0
[pid=27823] ppid=27822 vsize=7948 CPUtime=0.96 cores=0,2,4,6
/proc/27823/stat : 27823 (glucose) R 27822 27795 22761 0 -1 4202496 2107 0 0 0 96 0 0 0 20 0 1 0 379287341 8138752 1474 33554432000 4194304 5208918 140737324338720 140737324336872 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27823/statm: 1987 1474 103 248 0 1736 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29624

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.00 3/182 27823
/proc/meminfo: memFree=30935280/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=11.71 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1841 20512 0 0 3 3 1160 5 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27822] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27822/stat : 27822 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379287341 9367552 267 33554432000 4194304 5064252 140736730842256 140736730841168 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27822/statm: 2287 267 226 213 0 72 0
[pid=27823] ppid=27822 vsize=19000 CPUtime=13.75 cores=0,2,4,6
/proc/27823/stat : 27823 (glucose) R 27822 27795 22761 0 -1 4202496 4660 0 0 0 1375 0 0 0 20 0 1 0 379287341 19456000 4350 33554432000 4194304 5208918 140737324338720 140737324336584 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27823/statm: 4750 4350 103 248 0 4499 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40676

[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 27823
/proc/meminfo: memFree=30909032/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=11.71 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1841 20512 0 0 3 3 1160 5 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27822] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27822/stat : 27822 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379287341 9367552 267 33554432000 4194304 5064252 140736730842256 140736730841168 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27822/statm: 2287 267 226 213 0 72 0
[pid=27823] ppid=27822 vsize=23944 CPUtime=39.35 cores=0,2,4,6
/proc/27823/stat : 27823 (glucose) R 27822 27795 22761 0 -1 4202496 5441 0 0 0 3935 0 0 0 20 0 1 0 379287341 24518656 5531 33554432000 4194304 5208918 140737324338720 140737324336664 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27823/statm: 5986 5531 103 248 0 5735 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45620

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 27845
/proc/meminfo: memFree=30917664/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=11.71 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 1841 20512 0 0 3 3 1160 5 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27822] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27822/stat : 27822 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379287341 9367552 267 33554432000 4194304 5064252 140736730842256 140736730841168 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27822/statm: 2287 267 226 213 0 72 0
[pid=27823] ppid=27822 vsize=39860 CPUtime=90.54 cores=0,2,4,6
/proc/27823/stat : 27823 (glucose) R 27822 27795 22761 0 -1 4202496 6923 0 0 0 9053 1 0 0 20 0 1 0 379287341 40816640 9115 33554432000 4194304 5208918 140737324338720 140737324336568 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27823/statm: 9965 9115 103 248 0 9714 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 61536

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 27866
/proc/meminfo: memFree=30970052/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=29332 CPUtime=48.71 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 6201 0 0 0 4870 1 0 0 20 0 1 0 379297525 30035968 6927 33554432000 4194304 5208918 140735128945712 140735128942024 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 7333 6927 103 248 0 7082 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 51008

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30874464/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=108.7 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 10868 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942088 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 77416

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30888500/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=168.69 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 16867 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942088 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 77416

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

[startup+284.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30886452/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=171.09 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 17107 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942088 4229403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 284.6
Current children cumulated vsize (KiB) 77416

[startup+286.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30886700/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=172.69 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 17267 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942024 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 286.2
Current children cumulated vsize (KiB) 77416

[startup+287.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30884652/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=174.29 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 17427 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942024 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 287.8
Current children cumulated vsize (KiB) 77416

[startup+288.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30884652/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=175.09 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 17507 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942024 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 288.6
Current children cumulated vsize (KiB) 77416

[startup+289.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27867
/proc/meminfo: memFree=30884652/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=113.51 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2164 42989 0 0 3 3 11335 10 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984915264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27865] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27865/stat : 27865 (satsolver.sh) S 27796 27795 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379297524 9367552 267 33554432000 4194304 5064252 140734892849312 140734892848224 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27865/statm: 2287 267 226 213 0 72 0
[pid=27866] ppid=27865 vsize=55740 CPUtime=175.49 cores=0,2,4,6
/proc/27866/stat : 27866 (glucose) R 27865 27795 22761 0 -1 4202496 8644 0 0 0 17547 2 0 0 20 0 1 0 379297525 57077760 13545 33554432000 4194304 5208918 140735128945712 140735128942024 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27866/statm: 13935 13545 103 248 0 13684 0
Current children cumulated CPU time (s) 289
Current children cumulated vsize (KiB) 77416

[startup+289.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27870
/proc/meminfo: memFree=30932368/32873852 swapFree=7632/7632
[pid=27795] ppid=27793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27795/stat : 27795 (npSolver-pbo.sh) S 27793 27795 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379286168 9367552 274 33554432000 4194304 5064252 140736586451920 140736586450832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27795/statm: 2287 274 233 213 0 72 0
[pid=27796] ppid=27795 vsize=3380 CPUtime=289.1 cores=0,2,4,6
/proc/27796/stat : 27796 (npSolver-pbo) S 27795 27795 22761 0 -1 4202496 2170 52239 0 0 3 3 28891 13 20 0 1 0 379286168 3461120 471 33554432000 4194304 6004724 140735984922912 140735984914752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27796/statm: 845 471 174 442 0 399 0
[pid=27868] ppid=27796 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27868/stat : 27868 (cp2_post.sh) S 27796 27795 22761 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 379315087 9367552 265 33554432000 4194304 5064252 140736184189616 140736184187904 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27868/statm: 2287 265 225 213 0 72 0
[pid=27869] ppid=27868 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/27869/stat : 27869 (cat) S 27868 27795 22761 0 -1 4202496 217 0 0 0 0 0 0 0 20 0 1 0 379315087 4100096 123 33554432000 4194304 4236627 140735948375712 140735948374808 252263089632 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27869/statm: 1001 123 97 11 0 67 0
[pid=27870] ppid=27868 vsize=6980 CPUtime=0 cores=0,2,4,6
/proc/27870/stat : 27870 (coprocessor) R 27868 27795 22761 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 379315087 7147520 1208 33554432000 4194304 6586260 140736248048480 140736248044376 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/27870/statm: 1745 1208 148 584 0 1157 0
Current children cumulated CPU time (s) 289.1
Current children cumulated vsize (KiB) 32660

Child status: 0
Real time (s): 289.218
CPU time (s): 289.149
CPU user time (s): 288.966
CPU system time (s): 0.182972
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 77416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.966
system time used= 0.182972
maximum resident set size= 54184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 378

runsolver used 1.04084 second user time and 2.94255 second system time

The end