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-3701823-1338072623/watcher-3701823-1338072623 -o /tmp/evaluation-result-3701823-1338072623/solver-3701823-1338072623 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701823-1338072623.opb 2028059730 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.04 2.01 2.00 3/180 15124
/proc/meminfo: memFree=28851240/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[startup+0.102301 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 15124
/proc/meminfo: memFree=28851240/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20026 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 15124
/proc/meminfo: memFree=28851240/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 15124
/proc/meminfo: memFree=28851240/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 15124
/proc/meminfo: memFree=28851240/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 15126
/proc/meminfo: memFree=28827892/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=34888 CPUtime=1.48 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) R 15124 15124 10843 0 -1 4202496 3200 0 0 0 148 0 0 0 20 0 1 0 273386792 35725312 7770 33554432000 4194304 5992684 140736701539744 140736701534920 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15125/statm: 8722 7770 146 440 0 8278 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44036
[startup+3.10027 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 15126
/proc/meminfo: memFree=28804984/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=67656 CPUtime=3.09 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) R 15124 15124 10843 0 -1 4202496 3741 0 0 0 308 1 0 0 20 0 1 0 273386792 69279744 14938 33554432000 4194304 5992684 140736701539744 140736701535272 4375282 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15125/statm: 16914 14938 146 440 0 16470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76804
[startup+6.30027 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 15126
/proc/meminfo: memFree=28741268/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=133192 CPUtime=6.29 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) R 15124 15124 10843 0 -1 4202496 4314 0 0 0 626 3 0 0 20 0 1 0 273386792 136388608 30298 33554432000 4194304 5992684 140736701539744 140736701534920 4809307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15125/statm: 33298 30298 146 440 0 32854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142340
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 15128
/proc/meminfo: memFree=28185892/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315524 CPUtime=9.12 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 12902 0 0 0 879 33 0 0 20 0 1 0 273386792 323096576 56415 33554432000 4194304 5992684 140736701539744 140736701533776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78881 56415 164 440 0 78437 0
[pid=15127] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15127/stat : 15127 (cp2_pre.sh) S 15125 15124 10843 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273387707 9367552 277 33554432000 4194304 5064252 140736885906720 140736885905424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15127/statm: 2287 277 234 213 0 72 0
[pid=15128] ppid=15127 vsize=436816 CPUtime=3.53 cores=1,3,5,7
/proc/15128/stat : 15128 (coprocessor) R 15127 15124 10843 0 -1 4202496 72648 0 0 0 337 16 0 0 20 0 1 0 273387708 447299584 103370 33554432000 4194304 6586260 140733406201264 140733406198008 4496489 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15128/statm: 109204 103370 166 584 0 108616 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 770636
[startup+25.5004 s]
/proc/loadavg: 2.09 2.03 2.00 3/184 15128
/proc/meminfo: memFree=27739008/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315524 CPUtime=9.12 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 12902 0 0 0 879 33 0 0 20 0 1 0 273386792 323096576 56415 33554432000 4194304 5992684 140736701539744 140736701533776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78881 56415 164 440 0 78437 0
[pid=15127] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15127/stat : 15127 (cp2_pre.sh) S 15125 15124 10843 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273387707 9367552 277 33554432000 4194304 5064252 140736885906720 140736885905424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15127/statm: 2287 277 234 213 0 72 0
[pid=15128] ppid=15127 vsize=695732 CPUtime=16.33 cores=1,3,5,7
/proc/15128/stat : 15128 (coprocessor) R 15127 15124 10843 0 -1 4202496 106207 0 0 0 1595 38 0 0 20 0 1 0 273387708 712429568 167078 33554432000 4194304 6586260 140733406201264 140733406197016 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15128/statm: 173933 167078 195 584 0 173345 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1029552
[startup+51.1004 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 15131
/proc/meminfo: memFree=28168144/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315524 CPUtime=29.46 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 12911 107110 0 0 879 33 1970 64 20 0 1 0 273386792 323096576 56415 33554432000 4194304 5992684 140736701539744 140736701534864 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78881 56415 164 440 0 78437 0
[pid=15130] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15130/stat : 15130 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273389755 9367552 267 33554432000 4194304 5064252 140736456665248 140736456664160 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15130/statm: 2287 267 226 213 0 72 0
[pid=15131] ppid=15130 vsize=342336 CPUtime=21.45 cores=1,3,5,7
/proc/15131/stat : 15131 (glucose) R 15130 15124 10843 0 -1 4202496 30484 0 0 0 2133 12 0 0 20 0 1 0 273389756 350552064 79781 33554432000 4194304 5208918 140735902253344 140735902251192 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15131/statm: 85584 79781 94 248 0 85333 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 676156
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 15138
/proc/meminfo: memFree=28226576/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315524 CPUtime=29.46 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 12911 107110 0 0 879 33 1970 64 20 0 1 0 273386792 323096576 56415 33554432000 4194304 5992684 140736701539744 140736701534864 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78881 56415 164 440 0 78437 0
[pid=15130] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15130/stat : 15130 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273389755 9367552 267 33554432000 4194304 5064252 140736456665248 140736456664160 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15130/statm: 2287 267 226 213 0 72 0
[pid=15131] ppid=15130 vsize=343016 CPUtime=72.64 cores=1,3,5,7
/proc/15131/stat : 15131 (glucose) R 15130 15124 10843 0 -1 4202496 30703 0 0 0 7252 12 0 0 20 0 1 0 273389756 351248384 80000 33554432000 4194304 5208918 140735902253344 140735902251016 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15131/statm: 85754 80000 103 248 0 85503 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 676836
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 15145
/proc/meminfo: memFree=27899268/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=111.58 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 13321 159950 0 0 968 433 9646 111 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15144] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15144/stat : 15144 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273397967 9367552 266 33554432000 4194304 5064252 140733918974096 140733918973008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15144/statm: 2287 266 226 213 0 72 0
[pid=15145] ppid=15144 vsize=458868 CPUtime=50.52 cores=1,3,5,7
/proc/15145/stat : 15145 (glucose) R 15144 15124 10843 0 -1 4202496 52426 0 0 0 5035 17 0 0 20 0 1 0 273397968 469880832 104849 33554432000 4194304 5208918 140736366441904 140736366439752 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15145/statm: 114717 104849 103 248 0 114466 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 792692
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15146
/proc/meminfo: memFree=27865000/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=111.58 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 13321 159950 0 0 968 433 9646 111 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15144] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+582.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 15178
/proc/meminfo: memFree=27815304/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=639464 CPUtime=270.31 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 64038 0 0 0 27004 27 0 0 20 0 1 0 273417985 654811136 124960 33554432000 4194304 5208918 140734620222288 140734620220344 4229328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 159866 124960 103 248 0 159615 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 973288
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 15201
/proc/meminfo: memFree=27756704/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=646900 CPUtime=330.29 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 65209 0 0 0 33002 27 0 0 20 0 1 0 273417985 662425600 128175 33554432000 4194304 5208918 140734620222288 140734620220136 4229296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 161725 128175 103 248 0 161474 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 980724
Solver just ended. Dumping a history of the last processes samples
[startup+665.907 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 15201
/proc/meminfo: memFree=27758552/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=651400 CPUtime=353.89 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 66068 0 0 0 35362 27 0 0 20 0 1 0 273417985 667033600 130056 33554432000 4194304 5208918 140734620222288 140734620220344 4229460 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 162850 130056 103 248 0 162599 0
Current children cumulated CPU time (s) 665.61
Current children cumulated vsize (KiB) 985224
[startup+678.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 15201
/proc/meminfo: memFree=27750584/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=651400 CPUtime=366.68 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 66068 0 0 0 36641 27 0 0 20 0 1 0 273417985 667033600 130056 33554432000 4194304 5208918 140734620222288 140734620220344 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 162850 130056 103 248 0 162599 0
Current children cumulated CPU time (s) 678.4
Current children cumulated vsize (KiB) 985224
[startup+685.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 15201
/proc/meminfo: memFree=27746428/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=653564 CPUtime=373.09 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 66608 0 0 0 37281 28 0 0 20 0 1 0 273417985 669249536 130596 33554432000 4194304 5208918 140734620222288 140734620220184 4229296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 163391 130596 103 248 0 163140 0
Current children cumulated CPU time (s) 684.81
Current children cumulated vsize (KiB) 987388
[startup+691.5 s]
/proc/loadavg: 1.92 1.99 1.99 3/184 15208
/proc/meminfo: memFree=27998316/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=439916 CPUtime=379.48 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 67141 0 0 0 37918 30 0 0 20 0 1 0 273417985 450473984 95094 33554432000 4194304 5208918 140734620222288 140734620220360 4229251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 109979 95094 104 248 0 109728 0
Current children cumulated CPU time (s) 691.2
Current children cumulated vsize (KiB) 773740
[startup+694.7 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 15208
/proc/meminfo: memFree=27993228/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=439916 CPUtime=382.68 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 67142 0 0 0 38238 30 0 0 20 0 1 0 273417985 450473984 95606 33554432000 4194304 5208918 140734620222288 140734620220360 4229512 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 109979 95606 104 248 0 109728 0
Current children cumulated CPU time (s) 694.4
Current children cumulated vsize (KiB) 773740
[startup+695.5 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 15208
/proc/meminfo: memFree=28066024/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=311.72 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14388 314014 0 0 972 434 29512 254 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
[pid=15166] ppid=15125 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15166/stat : 15166 (satsolver.sh) S 15125 15124 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273417984 9367552 266 33554432000 4194304 5064252 140737150455216 140737150454128 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15166/statm: 2287 266 226 213 0 72 0
[pid=15167] ppid=15166 vsize=359008 CPUtime=383.49 cores=1,3,5,7
/proc/15167/stat : 15167 (glucose) R 15166 15124 10843 0 -1 4202496 67381 0 0 0 38318 31 0 0 20 0 1 0 273417985 367624192 77457 33554432000 4194304 5208918 140734620222288 140734620220360 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15167/statm: 89752 77457 104 248 0 89501 0
Current children cumulated CPU time (s) 695.21
Current children cumulated vsize (KiB) 692832
[startup+696.3 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 15208
/proc/meminfo: memFree=28066024/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=695.96 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14410 384719 0 0 972 434 67902 288 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
Current children cumulated CPU time (s) 695.96
Current children cumulated vsize (KiB) 324676
[startup+696.5 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 15208
/proc/meminfo: memFree=28066024/32873648 swapFree=6604/6604
[pid=15124] ppid=15122 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15124/stat : 15124 (npSolver-pbo.sh) S 15122 15124 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273386792 9367552 275 33554432000 4194304 5064252 140733621493056 140733621491968 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15124/statm: 2287 275 233 213 0 72 0
[pid=15125] ppid=15124 vsize=315528 CPUtime=695.96 cores=1,3,5,7
/proc/15125/stat : 15125 (npSolver-pbo) S 15124 15124 10843 0 -1 4202496 14410 384719 0 0 972 434 67902 288 20 0 1 0 273386792 323100672 56427 33554432000 4194304 5992684 140736701539744 140736701532640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/15125/statm: 78882 56427 175 440 0 78438 0
Current children cumulated CPU time (s) 695.96
Current children cumulated vsize (KiB) 324676
Child status: 0
Real time (s): 696.553
CPU time (s): 696.286
CPU user time (s): 688.747
CPU system time (s): 7.53885
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 1117616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 688.747
system time used= 7.53885
maximum resident set size= 668320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400480
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2765840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1735
involuntary context switches= 1031
runsolver used 1.22581 second user time and 3.22651 second system time
The end