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-3701782-1338077462/watcher-3701782-1338077462 -o /tmp/evaluation-result-3701782-1338077462/solver-3701782-1338077462 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701782-1338077462.opb 253689323 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.00 2.00 2.00 3/179 14721
/proc/meminfo: memFree=31422888/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0

[startup+0.0621289 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14721
/proc/meminfo: memFree=31422888/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14721
/proc/meminfo: memFree=31422888/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14721
/proc/meminfo: memFree=31422888/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14721
/proc/meminfo: memFree=31422888/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14742
/proc/meminfo: memFree=31418508/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=0.06 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 535 8190 0 0 0 0 5 1 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14741] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14741/stat : 14741 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273870806 9367552 266 33554432000 4194304 5064252 140734553882192 140734553881104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14741/statm: 2287 266 226 213 0 72 0
[pid=14742] ppid=14741 vsize=8012 CPUtime=1.4 cores=1,3,5,7
/proc/14742/stat : 14742 (glucose) R 14741 14721 11113 0 -1 4202496 2072 0 0 0 140 0 0 0 20 0 1 0 273870807 8204288 1420 33554432000 4194304 5208918 140734417572480 140734417570424 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14742/statm: 2003 1420 102 248 0 1752 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28860

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14742
/proc/meminfo: memFree=31412152/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=0.06 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 535 8190 0 0 0 0 5 1 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14741] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14741/stat : 14741 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273870806 9367552 266 33554432000 4194304 5064252 140734553882192 140734553881104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14741/statm: 2287 266 226 213 0 72 0
[pid=14742] ppid=14741 vsize=11496 CPUtime=3 cores=1,3,5,7
/proc/14742/stat : 14742 (glucose) R 14741 14721 11113 0 -1 4202496 2246 0 0 0 300 0 0 0 20 0 1 0 273870807 11771904 2104 33554432000 4194304 5208918 140734417572480 140734417570424 4229515 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14742/statm: 2874 2104 102 248 0 2623 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32344

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14742
/proc/meminfo: memFree=31403780/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=0.06 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 535 8190 0 0 0 0 5 1 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14741] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14741/stat : 14741 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273870806 9367552 266 33554432000 4194304 5064252 140734553882192 140734553881104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14741/statm: 2287 266 226 213 0 72 0
[pid=14742] ppid=14741 vsize=11496 CPUtime=6.2 cores=1,3,5,7
/proc/14742/stat : 14742 (glucose) R 14741 14721 11113 0 -1 4202496 2431 0 0 0 620 0 0 0 20 0 1 0 273870807 11771904 2283 33554432000 4194304 5208918 140734417572480 140734417570424 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14742/statm: 2874 2283 102 248 0 2623 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32344

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14742
/proc/meminfo: memFree=31387736/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=0.06 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 535 8190 0 0 0 0 5 1 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14741] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14741/stat : 14741 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273870806 9367552 266 33554432000 4194304 5064252 140734553882192 140734553881104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14741/statm: 2287 266 226 213 0 72 0
[pid=14742] ppid=14741 vsize=18568 CPUtime=12.59 cores=1,3,5,7
/proc/14742/stat : 14742 (glucose) R 14741 14721 11113 0 -1 4202496 3122 0 0 0 1259 0 0 0 20 0 1 0 273870807 19013632 4186 33554432000 4194304 5208918 140734417572480 140734417568856 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14742/statm: 4642 4186 102 248 0 4391 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 39416

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14742
/proc/meminfo: memFree=31372592/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=0.06 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 535 8190 0 0 0 0 5 1 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14741] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14741/stat : 14741 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273870806 9367552 266 33554432000 4194304 5064252 140734553882192 140734553881104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14741/statm: 2287 266 226 213 0 72 0
[pid=14742] ppid=14741 vsize=33648 CPUtime=25.4 cores=1,3,5,7
/proc/14742/stat : 14742 (glucose) R 14741 14721 11113 0 -1 4202496 5905 0 0 0 2539 1 0 0 20 0 1 0 273870807 34455552 7517 33554432000 4194304 5208918 140734417572480 140734417570472 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14742/statm: 8412 7517 102 248 0 8161 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54496

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14763
/proc/meminfo: memFree=31375768/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=37.72 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 874 27608 0 0 1 0 3764 7 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14762] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14762/stat : 14762 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273874572 9367552 266 33554432000 4194304 5064252 140734505048992 140734505047904 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14762/statm: 2287 266 226 213 0 72 0
[pid=14763] ppid=14762 vsize=19048 CPUtime=13.33 cores=1,3,5,7
/proc/14763/stat : 14763 (glucose) R 14762 14721 11113 0 -1 4202496 3651 0 0 0 1333 0 0 0 20 0 1 0 273874572 19505152 3506 33554432000 4194304 5208918 140734531938832 140734531936920 4240137 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14763/statm: 4762 3506 102 248 0 4511 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39896

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14770
/proc/meminfo: memFree=31356032/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=66.72 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 979 34691 0 0 1 0 6662 9 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14769] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14769/stat : 14769 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273877474 9367552 267 33554432000 4194304 5064252 140735293548944 140735293547856 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14769/statm: 2287 267 226 213 0 72 0
[pid=14770] ppid=14769 vsize=27044 CPUtime=35.52 cores=1,3,5,7
/proc/14770/stat : 14770 (glucose) R 14769 14721 11113 0 -1 4202496 4189 0 0 0 3550 2 0 0 20 0 1 0 273877474 27693056 5681 33554432000 4194304 5208918 140735438851040 140735438848984 4229532 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14770/statm: 6761 5681 102 248 0 6510 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 47892

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14777
/proc/meminfo: memFree=31344172/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=16828 CPUtime=15.22 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 3934 0 0 0 1522 0 0 0 20 0 1 0 273885504 17231872 3759 33554432000 4194304 5208918 140733665233840 140733665231704 4229745 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 4207 3759 102 248 0 3956 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 37676

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

[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14777
/proc/meminfo: memFree=31333312/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=32.02 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5826 0 0 0 3201 1 0 0 20 0 1 0 273885504 34295808 6339 33554432000 4194304 5208918 140733665233840 140733665230152 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 6339 102 248 0 8122 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 54340

[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14777
/proc/meminfo: memFree=31333444/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=44.82 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5826 0 0 0 4481 1 0 0 20 0 1 0 273885504 34295808 6339 33554432000 4194304 5208918 140733665233840 140733665230152 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 6339 102 248 0 8122 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 54340

[startup+204.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=57.62 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 5761 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230152 4229466 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 204.62
Current children cumulated vsize (KiB) 54340

[startup+211.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=64.02 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 6401 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230216 4229006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 211.02
Current children cumulated vsize (KiB) 54340

[startup+214.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=67.22 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 6721 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230216 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 214.22
Current children cumulated vsize (KiB) 54340

[startup+215.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=68.02 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 6801 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230216 4229032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 215.02
Current children cumulated vsize (KiB) 54340

[startup+215.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=68.82 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 6881 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230216 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 215.82
Current children cumulated vsize (KiB) 54340

[startup+216.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14778
/proc/meminfo: memFree=31327168/32873844 swapFree=6080/6080
[pid=14721] ppid=14719 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14721/stat : 14721 (npSolver-pbo.sh) S 14719 14721 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273870797 9367552 274 33554432000 4194304 5064252 140734071059344 140734071058256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14721/statm: 2287 274 233 213 0 72 0
[pid=14722] ppid=14721 vsize=2552 CPUtime=147 cores=1,3,5,7
/proc/14722/stat : 14722 (npSolver-pbo) S 14721 14721 11113 0 -1 4202496 1110 42925 0 0 1 0 14686 13 20 0 1 0 273870797 2613248 293 33554432000 4194304 5992684 140736696223696 140736696216016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14722/statm: 638 293 179 440 0 194 0
[pid=14776] ppid=14722 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14776/stat : 14776 (satsolver.sh) S 14722 14721 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273885503 9367552 266 33554432000 4194304 5064252 140736919597808 140736919596720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14776/statm: 2287 266 226 213 0 72 0
[pid=14777] ppid=14776 vsize=33492 CPUtime=69.22 cores=1,3,5,7
/proc/14777/stat : 14777 (glucose) R 14776 14721 11113 0 -1 4202496 5883 0 0 0 6921 1 0 0 20 0 1 0 273885504 34295808 7925 33554432000 4194304 5208918 140733665233840 140733665230216 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14777/statm: 8373 7925 102 248 0 8122 0
Current children cumulated CPU time (s) 216.22
Current children cumulated vsize (KiB) 54340

Child status: 0
Real time (s): 216.347
CPU time (s): 216.293
CPU user time (s): 216.126
CPU system time (s): 0.166974
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 54496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.126
system time used= 0.166974
maximum resident set size= 31704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177
involuntary context switches= 307

runsolver used 0.482926 second user time and 1.2948 second system time

The end