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-3701631-1338103663/watcher-3701631-1338103663 -o /tmp/evaluation-result-3701631-1338103663/solver-3701631-1338103663 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701631-1338103663.opb 1542130578 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.00 2.01 2.02 3/179 21221
/proc/meminfo: memFree=28772916/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[startup+0.0895709 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 21221
/proc/meminfo: memFree=28772916/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 21221
/proc/meminfo: memFree=28772916/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 21221
/proc/meminfo: memFree=28772916/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 21221
/proc/meminfo: memFree=28772916/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/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: 2.00 2.01 2.02 3/183 21228
/proc/meminfo: memFree=28790568/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=12056 CPUtime=1.45 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 2772 0 0 0 145 0 0 0 20 0 1 0 276490644 12345344 2465 33554432000 4194304 5208918 140735786854560 140735786852504 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 3014 2465 96 248 0 2763 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32620
[startup+3.10039 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 21228
/proc/meminfo: memFree=28785800/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=14776 CPUtime=3.05 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 3034 0 0 0 305 0 0 0 20 0 1 0 276490644 15130624 3232 33554432000 4194304 5208918 140735786854560 140735786852504 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 3694 3232 96 248 0 3443 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35340
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 21228
/proc/meminfo: memFree=28776936/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=21008 CPUtime=6.25 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 3504 0 0 0 625 0 0 0 20 0 1 0 276490644 21512192 3612 33554432000 4194304 5208918 140735786854560 140735786852504 4229403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 5252 3612 96 248 0 5001 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 41572
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 21228
/proc/meminfo: memFree=28759516/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=25428 CPUtime=12.65 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 4245 0 0 0 1265 0 0 0 20 0 1 0 276490644 26038272 5353 33554432000 4194304 5208918 140735786854560 140735786852424 4229157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 6357 5353 96 248 0 6106 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 45992
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 21228
/proc/meminfo: memFree=28737372/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=35488 CPUtime=25.45 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 4871 0 0 0 2544 1 0 0 20 0 1 0 276490644 36339712 6824 33554432000 4194304 5208918 140735786854560 140735786852504 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 8872 6824 96 248 0 8621 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56052
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 21228
/proc/meminfo: memFree=28755900/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=42672 CPUtime=51.05 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 5655 0 0 0 5104 1 0 0 20 0 1 0 276490644 43696128 9617 33554432000 4194304 5208918 140735786854560 140735786852424 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 10668 9617 96 248 0 10417 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63236
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 21228
/proc/meminfo: memFree=28719128/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 295 2307 0 0 0 0 1 0 20 0 1 0 276490641 2322432 237 33554432000 4194304 5992684 140734739032768 140734739027888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21222/statm: 567 237 168 440 0 123 0
[pid=21227] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21227/stat : 21227 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276490644 9367552 266 33554432000 4194304 5064252 140734662831280 140734662830192 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21227/statm: 2287 266 226 213 0 72 0
[pid=21228] ppid=21227 vsize=86424 CPUtime=102.25 cores=0,2,4,6
/proc/21228/stat : 21228 (glucose) R 21227 21221 16531 0 -1 4202496 7262 0 0 0 10223 2 0 0 20 0 1 0 276490644 88498176 15527 33554432000 4194304 5208918 140735786854560 140735786852504 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21228/statm: 21606 15527 96 248 0 21355 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106988
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21238
/proc/meminfo: memFree=28679492/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=6760 CPUtime=122.49 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 2059 12964 0 0 5 1 12240 3 20 0 1 0 276490641 6922240 1288 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 1690 1288 186 440 0 1246 0
[pid=21234] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=277.1 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 13043 89923 0 0 39 6 27617 48 20 0 1 0 276490641 11141120 2265 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2265 187 440 0 2276 0
[pid=21287] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21287/stat : 21287 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276518357 9367552 267 33554432000 4194304 5064252 140736849992112 140736849991024 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21287/statm: 2287 267 226 213 0 72 0
[pid=21288] ppid=21287 vsize=25860 CPUtime=5.12 cores=0,2,4,6
/proc/21288/stat : 21288 (glucose) R 21287 21221 16531 0 -1 4202496 5508 0 0 0 511 1 0 0 20 0 1 0 276518358 26480640 5413 33554432000 4194304 5208918 140734585261792 140734585259624 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21288/statm: 6465 5413 102 248 0 6214 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 55036
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 21295
/proc/meminfo: memFree=28708952/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=299.83 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 14611 100004 0 0 43 7 29882 51 20 0 1 0 276490641 11141120 2266 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2266 187 440 0 2276 0
[pid=21294] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21294/stat : 21294 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 276520630 9367552 267 33554432000 4194304 5064252 140734985262544 140734985261456 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21294/statm: 2287 267 226 213 0 72 0
[pid=21295] ppid=21294 vsize=39204 CPUtime=42.39 cores=0,2,4,6
/proc/21295/stat : 21295 (glucose) R 21294 21221 16531 0 -1 4202496 8016 0 0 0 4237 2 0 0 20 0 1 0 276520630 40144896 9399 33554432000 4194304 5208918 140733344722112 140733344718424 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21295/statm: 9801 9399 103 248 0 9550 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 68380
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 21296
/proc/meminfo: memFree=28712564/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=401.43 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 16180 112793 0 0 47 7 40034 55 20 0 1 0 276490641 11141120 2267 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2267 187 440 0 2276 0
Current children cumulated CPU time (s) 401.43
Current children cumulated vsize (KiB) 20028
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21317
/proc/meminfo: memFree=28719312/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=28716 CPUtime=7.14 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 6069 0 0 0 713 1 0 0 20 0 1 0 276536155 29405184 6399 33554432000 4194304 5208918 140734409789600 140734409787448 4212445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 7179 6399 101 248 0 6928 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 57892
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21317
/proc/meminfo: memFree=28722560/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40812 CPUtime=67.13 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 8320 0 0 0 6711 2 0 0 20 0 1 0 276536155 41791488 9267 33554432000 4194304 5208918 140734409789600 140734409785912 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10203 9267 103 248 0 9952 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 69988
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21318
/proc/meminfo: memFree=28688124/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40780 CPUtime=127.12 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 10097 0 0 0 12709 3 0 0 20 0 1 0 276536155 41758720 8422 33554432000 4194304 5208918 140734409789600 140734409787544 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10195 8422 103 248 0 9944 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 69956
Solver just ended. Dumping a history of the last processes samples
[startup+583.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21318
/proc/meminfo: memFree=28686076/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40780 CPUtime=128.72 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 10105 0 0 0 12869 3 0 0 20 0 1 0 276536155 41758720 9452 33554432000 4194304 5208918 140734409789600 140734409787544 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10195 9452 103 248 0 9944 0
Current children cumulated CPU time (s) 583.76
Current children cumulated vsize (KiB) 69956
[startup+585.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21318
/proc/meminfo: memFree=28679312/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40780 CPUtime=130.32 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 10105 0 0 0 13029 3 0 0 20 0 1 0 276536155 41758720 9452 33554432000 4194304 5208918 140734409789600 140734409785912 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10195 9452 103 248 0 9944 0
Current children cumulated CPU time (s) 585.36
Current children cumulated vsize (KiB) 69956
[startup+585.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21318
/proc/meminfo: memFree=28679312/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40780 CPUtime=130.72 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 10105 0 0 0 13069 3 0 0 20 0 1 0 276536155 41758720 9452 33554432000 4194304 5208918 140734409789600 140734409785912 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10195 9452 103 248 0 9944 0
Current children cumulated CPU time (s) 585.76
Current children cumulated vsize (KiB) 69956
[startup+586.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21318
/proc/meminfo: memFree=28676396/32873844 swapFree=7612/7612
[pid=21221] ppid=21219 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (npSolver-pbo.sh) S 21219 21221 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276490641 9367552 275 33554432000 4194304 5064252 140733666469520 140733666468432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21221/statm: 2287 275 233 213 0 72 0
[pid=21222] ppid=21221 vsize=10880 CPUtime=455.04 cores=0,2,4,6
/proc/21222/stat : 21222 (npSolver-pbo) S 21221 21221 16531 0 -1 4202496 19368 137338 0 0 56 8 45367 73 20 0 1 0 276490641 11141120 2268 33554432000 4194304 5992684 140734739032768 140734739025088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21222/statm: 2720 2268 187 440 0 2276 0
[pid=21316] ppid=21222 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21316/stat : 21316 (satsolver.sh) S 21222 21221 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276536155 9367552 266 33554432000 4194304 5064252 140734261734368 140734261733280 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21316/statm: 2287 266 226 213 0 72 0
[pid=21317] ppid=21316 vsize=40780 CPUtime=131.13 cores=0,2,4,6
/proc/21317/stat : 21317 (glucose) R 21316 21221 16531 0 -1 4202496 10105 0 0 0 13110 3 0 0 20 0 1 0 276536155 41758720 9452 33554432000 4194304 5208918 140734409789600 140734409785912 4229023 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21317/statm: 10195 9452 103 248 0 9944 0
Current children cumulated CPU time (s) 586.17
Current children cumulated vsize (KiB) 69956
Child status: 0
Real time (s): 586.386
CPU time (s): 586.273
CPU user time (s): 585.411
CPU system time (s): 0.861868
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 121884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.411
system time used= 0.861868
maximum resident set size= 95180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1090
involuntary context switches= 760
runsolver used 1.57076 second user time and 3.08453 second system time
The end