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-3750937-1339131275/watcher-3750937-1339131275 -o /tmp/evaluation-result-3750937-1339131275/solver-3750937-1339131275 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750937-1339131275.opb 2078555520 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.01 2.01 2.00 3/181 15359
/proc/meminfo: memFree=30725056/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0

[startup+0.0671541 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15359
/proc/meminfo: memFree=30725056/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100274 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15359
/proc/meminfo: memFree=30725056/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30022 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15359
/proc/meminfo: memFree=30725056/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700215 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15359
/proc/meminfo: memFree=30725056/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 15380
/proc/meminfo: memFree=30719792/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=0.1 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1548 8147 0 0 0 1 8 1 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15379] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15379/stat : 15379 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 23094487 9367552 267 33554432000 4194304 5064252 140734042454224 140734042453136 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15379/statm: 2287 267 226 213 0 72 0
[pid=15380] ppid=15379 vsize=9116 CPUtime=1.36 cores=0,2,4,6
/proc/15380/stat : 15380 (glucose) R 15379 15359 8372 0 -1 4202496 1950 0 0 0 136 0 0 0 20 0 1 0 23094487 9334784 1749 33554432000 4194304 5208918 140735366834368 140735366832312 4212856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15380/statm: 2279 1749 102 248 0 2028 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29984

[startup+3.10033 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 15380
/proc/meminfo: memFree=30716008/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=0.1 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1548 8147 0 0 0 1 8 1 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15379] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15379/stat : 15379 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 23094487 9367552 267 33554432000 4194304 5064252 140734042454224 140734042453136 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15379/statm: 2287 267 226 213 0 72 0
[pid=15380] ppid=15379 vsize=11792 CPUtime=2.96 cores=0,2,4,6
/proc/15380/stat : 15380 (glucose) R 15379 15359 8372 0 -1 4202496 2310 0 0 0 296 0 0 0 20 0 1 0 23094487 12075008 2099 33554432000 4194304 5208918 140735366834368 140735366832312 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15380/statm: 2948 2099 102 248 0 2697 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32660

[startup+6.30033 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 15380
/proc/meminfo: memFree=30713156/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=0.1 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1548 8147 0 0 0 1 8 1 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15379] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15379/stat : 15379 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 23094487 9367552 267 33554432000 4194304 5064252 140734042454224 140734042453136 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15379/statm: 2287 267 226 213 0 72 0
[pid=15380] ppid=15379 vsize=12596 CPUtime=6.16 cores=0,2,4,6
/proc/15380/stat : 15380 (glucose) R 15379 15359 8372 0 -1 4202496 2892 0 0 0 616 0 0 0 20 0 1 0 23094487 12898304 2673 33554432000 4194304 5208918 140735366834368 140735366832232 4212883 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15380/statm: 3149 2673 102 248 0 2898 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 33464

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 15380
/proc/meminfo: memFree=30707272/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=0.1 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1548 8147 0 0 0 1 8 1 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15379] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15379/stat : 15379 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 23094487 9367552 267 33554432000 4194304 5064252 140734042454224 140734042453136 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15379/statm: 2287 267 226 213 0 72 0
[pid=15380] ppid=15379 vsize=18020 CPUtime=12.55 cores=0,2,4,6
/proc/15380/stat : 15380 (glucose) R 15379 15359 8372 0 -1 4202496 3239 0 0 0 1255 0 0 0 20 0 1 0 23094487 18452480 3984 33554432000 4194304 5208918 140735366834368 140735366832312 4229745 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15380/statm: 4505 3984 102 248 0 4254 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 38888

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 15394
/proc/meminfo: memFree=30696728/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=19.39 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1790 20097 0 0 1 1 1933 4 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15393] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15393/stat : 15393 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23096417 9367552 267 33554432000 4194304 5064252 140736087303120 140736087302032 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15393/statm: 2287 267 226 213 0 72 0
[pid=15394] ppid=15393 vsize=14084 CPUtime=6.06 cores=0,2,4,6
/proc/15394/stat : 15394 (glucose) R 15393 15359 8372 0 -1 4202496 2536 0 0 0 606 0 0 0 20 0 1 0 23096417 14422016 2582 33554432000 4194304 5208918 140737053691120 140737053687496 4229354 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15394/statm: 3521 2582 102 248 0 3270 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 34952

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15401
/proc/meminfo: memFree=30688904/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=27.73 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 1905 25969 0 0 1 1 2765 6 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15400] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15400/stat : 15400 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 23097250 9367552 267 33554432000 4194304 5064252 140736521489808 140736521488720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15400/statm: 2287 267 226 213 0 72 0
[pid=15401] ppid=15400 vsize=22572 CPUtime=23.32 cores=0,2,4,6
/proc/15401/stat : 15401 (glucose) R 15400 15359 8372 0 -1 4202496 3406 0 0 0 2332 0 0 0 20 0 1 0 23097250 23113728 5132 33554432000 4194304 5208918 140734355974688 140734355971064 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15401/statm: 5643 5132 102 248 0 5392 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 43440

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30692136/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=21260 CPUtime=25.56 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 4380 0 0 0 2555 1 0 0 20 0 1 0 23102148 21770240 4627 33554432000 4194304 5208918 140735065378080 140735065376024 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 5315 4627 102 248 0 5064 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42128

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

[startup+115.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30684132/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=23936 CPUtime=38.35 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5324 0 0 0 3834 1 0 0 20 0 1 0 23102148 24510464 5536 33554432000 4194304 5208918 140735065378080 140735065375944 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 5984 5536 102 248 0 5733 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 44804

[startup+121.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30669548/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=44.75 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 4474 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229520 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (KiB) 49116

[startup+124.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30665452/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=47.95 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 4794 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229556 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 124.64
Current children cumulated vsize (KiB) 49116

[startup+127.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30662536/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=51.15 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 5114 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 49116

[startup+129.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30660488/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=52.74 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 5273 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 129.43
Current children cumulated vsize (KiB) 49116

[startup+130.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30660488/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=53.54 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 5353 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 130.23
Current children cumulated vsize (KiB) 49116

[startup+130.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30660488/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=53.94 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 5393 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229072 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 130.63
Current children cumulated vsize (KiB) 49116

[startup+130.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15423
/proc/meminfo: memFree=30658440/32873844 swapFree=7120/7120
[pid=15359] ppid=15357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (npSolver-pbo.sh) S 15357 15359 8372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 23094474 9367552 275 33554432000 4194304 5064252 140735883408448 140735883407360 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 2287 275 233 213 0 72 0
[pid=15360] ppid=15359 vsize=2572 CPUtime=76.69 cores=0,2,4,6
/proc/15360/stat : 15360 (npSolver-pbo) S 15359 15359 8372 0 -1 4202496 2166 39386 0 0 1 1 7658 9 20 0 1 0 23094474 2633728 306 33554432000 4194304 6004724 140735725769920 140735725762272 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15360/statm: 643 306 172 442 0 197 0
[pid=15421] ppid=15360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15421/stat : 15421 (satsolver.sh) S 15360 15359 8372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 23102148 9367552 267 33554432000 4194304 5064252 140735895417904 140735895416816 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15421/statm: 2287 267 226 213 0 72 0
[pid=15422] ppid=15421 vsize=28248 CPUtime=54.05 cores=0,2,4,6
/proc/15422/stat : 15422 (glucose) R 15421 15359 8372 0 -1 4202496 5920 0 0 0 5404 1 0 0 20 0 1 0 23102148 28925952 6614 33554432000 4194304 5208918 140735065378080 140735065375944 4229049 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15422/statm: 7062 6614 102 248 0 6811 0
Current children cumulated CPU time (s) 130.74
Current children cumulated vsize (KiB) 49116

Child status: 0
Real time (s): 130.882
CPU time (s): 130.845
CPU user time (s): 130.709
CPU system time (s): 0.135979
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 49116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.709
system time used= 0.135979
maximum resident set size= 29316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 220

runsolver used 0.26296 second user time and 0.764883 second system time

The end