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-3755000-1339188823/watcher-3755000-1339188823 -o /tmp/evaluation-result-3755000-1339188823/solver-3755000-1339188823 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755000-1339188823.wbo 1860447685 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: 1.99 1.99 1.99 3/177 14754
/proc/meminfo: memFree=29964740/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[startup+0.0519701 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14754
/proc/meminfo: memFree=29964740/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14754
/proc/meminfo: memFree=29964740/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14754
/proc/meminfo: memFree=29964740/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14754
/proc/meminfo: memFree=29964740/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14768
/proc/meminfo: memFree=29925932/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20652 CPUtime=0.22 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 4405 6409 0 0 12 3 6 1 20 0 1 0 385010773 21147648 4039 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5163 4039 179 443 0 4716 0
[pid=14767] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14767/stat : 14767 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385010797 9367552 266 33554432000 4194304 5064252 140734477452192 140734477451104 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14767/statm: 2287 266 226 213 0 72 0
[pid=14768] ppid=14767 vsize=19580 CPUtime=1.25 cores=0,2,4,6
/proc/14768/stat : 14768 (glucose) R 14767 14754 12876 0 -1 4202496 4855 0 0 0 125 0 0 0 20 0 1 0 385010797 20049920 4377 33554432000 4194304 5208918 140734023102976 140734023100936 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14768/statm: 4895 4377 104 248 0 4644 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 58528
[startup+3.10039 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14775
/proc/meminfo: memFree=29926124/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20652 CPUtime=3.07 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) R 14754 14754 12876 0 -1 4202496 8057 22928 0 0 23 3 273 8 20 0 1 0 385010773 21147648 4040 33554432000 4194304 6006132 140737031490144 140737031482128 4583817 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5163 4040 180 443 0 4716 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29800
[startup+6.30028 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14782
/proc/meminfo: memFree=29877752/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.2 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 8587 36241 0 0 30 4 575 11 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 29948
[startup+12.7003 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14789
/proc/meminfo: memFree=29914128/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=22572 CPUtime=6.14 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 5205 0 0 0 613 1 0 0 20 0 1 0 385011428 23113728 4641 33554432000 4194304 5208918 140737178437856 140737178435704 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 5643 4641 96 248 0 5392 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 61668
[startup+25.5004 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14789
/proc/meminfo: memFree=29901236/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=34268 CPUtime=18.93 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 6824 0 0 0 1892 1 0 0 20 0 1 0 385011428 35090432 7540 33554432000 4194304 5208918 140737178437856 140737178435720 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 8567 7540 96 248 0 8316 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 73364
[startup+51.1004 s]
/proc/loadavg: 1.99 1.99 1.99 3/182 14857
/proc/meminfo: memFree=29873472/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=38688 CPUtime=44.53 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 7489 0 0 0 4451 2 0 0 20 0 1 0 385011428 39616512 8839 33554432000 4194304 5208918 140737178437856 140737178435720 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 9672 8839 96 248 0 9421 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77784
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14875
/proc/meminfo: memFree=29849836/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=34272 CPUtime=95.73 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 8379 0 0 0 9570 3 0 0 20 0 1 0 385011428 35094528 7645 33554432000 4194304 5208918 140737178437856 140737178435800 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 8568 7645 96 248 0 8317 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73368
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14875
/proc/meminfo: memFree=29827680/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=53016 CPUtime=155.71 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 9072 0 0 0 15568 3 0 0 20 0 1 0 385011428 54288384 12421 33554432000 4194304 5208918 140737178437856 140737178435800 4229427 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 13254 12421 96 248 0 13003 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 92112
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14875
/proc/meminfo: memFree=29820664/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=53016 CPUtime=172.51 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 9072 0 0 0 17248 3 0 0 20 0 1 0 385011428 54288384 12421 33554432000 4194304 5208918 140737178437856 140737178435800 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 13254 12421 96 248 0 13003 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 92112
[startup+191.9 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14875
/proc/meminfo: memFree=29820412/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=6.52 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9701 40390 0 0 33 5 594 20 20 0 1 0 385010773 21299200 4559 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4559 180 443 0 4753 0
[pid=14788] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14788/stat : 14788 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 267 33554432000 4194304 5064252 140737153381984 140737153380896 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14788/statm: 2287 267 226 213 0 72 0
[pid=14789] ppid=14788 vsize=53016 CPUtime=185.3 cores=0,2,4,6
/proc/14789/stat : 14789 (glucose) R 14788 14754 12876 0 -1 4202496 9072 0 0 0 18527 3 0 0 20 0 1 0 385011428 54288384 12421 33554432000 4194304 5208918 140737178437856 140737178435800 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14789/statm: 13254 12421 96 248 0 13003 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 92112
[startup+204.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29914604/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=11964 CPUtime=2.49 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 2159 0 0 0 249 0 0 0 20 0 1 0 385030993 12251136 2012 33554432000 4194304 5208918 140733554588416 140733554586360 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 2991 2012 102 248 0 2740 0
Current children cumulated CPU time (s) 204.63
Current children cumulated vsize (KiB) 51060
[startup+211.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29904800/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=14704 CPUtime=8.9 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 3412 0 0 0 889 1 0 0 20 0 1 0 385030993 15056896 3217 33554432000 4194304 5208918 140733554588416 140733554586280 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 3676 3217 102 248 0 3425 0
Current children cumulated CPU time (s) 211.04
Current children cumulated vsize (KiB) 53800
[startup+212.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29899960/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=17424 CPUtime=10.49 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 3610 0 0 0 1048 1 0 0 20 0 1 0 385030993 17842176 3920 33554432000 4194304 5208918 140733554588416 140733554586280 4229725 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 4356 3920 102 248 0 4105 0
Current children cumulated CPU time (s) 212.63
Current children cumulated vsize (KiB) 56520
[startup+214.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29898968/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=17424 CPUtime=12.09 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 3610 0 0 0 1208 1 0 0 20 0 1 0 385030993 17842176 3920 33554432000 4194304 5208918 140733554588416 140733554586280 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 4356 3920 102 248 0 4105 0
Current children cumulated CPU time (s) 214.23
Current children cumulated vsize (KiB) 56520
[startup+214.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29896424/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=17424 CPUtime=12.49 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 3610 0 0 0 1248 1 0 0 20 0 1 0 385030993 17842176 3920 33554432000 4194304 5208918 140733554588416 140733554586280 4212829 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 4356 3920 102 248 0 4105 0
Current children cumulated CPU time (s) 214.63
Current children cumulated vsize (KiB) 56520
[startup+214.9 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 14896
/proc/meminfo: memFree=29896424/32873844 swapFree=7124/7124
[pid=14754] ppid=14752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (npSolver-wbo.sh) S 14752 14754 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385010773 9367552 275 33554432000 4194304 5064252 140734857221872 140734857220784 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14754/statm: 2287 275 233 213 0 72 0
[pid=14755] ppid=14754 vsize=20800 CPUtime=202.14 cores=0,2,4,6
/proc/14755/stat : 14755 (npSolver-wbo) S 14754 14754 12876 0 -1 4202496 9805 53347 0 0 33 5 20149 27 20 0 1 0 385010773 21299200 4560 33554432000 4194304 6006132 140737031490144 140737031481552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14755/statm: 5200 4560 181 443 0 4753 0
[pid=14895] ppid=14755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (satsolver.sh) S 14755 14754 12876 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385030993 9367552 266 33554432000 4194304 5064252 140735956214208 140735956213120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14895/statm: 2287 266 226 213 0 72 0
[pid=14896] ppid=14895 vsize=17424 CPUtime=12.69 cores=0,2,4,6
/proc/14896/stat : 14896 (glucose) R 14895 14754 12876 0 -1 4202496 3610 0 0 0 1268 1 0 0 20 0 1 0 385030993 17842176 3920 33554432000 4194304 5208918 140733554588416 140733554586280 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14896/statm: 4356 3920 102 248 0 4105 0
Current children cumulated CPU time (s) 214.83
Current children cumulated vsize (KiB) 56520
Child status: 0
Real time (s): 214.973
CPU time (s): 214.934
CPU user time (s): 214.584
CPU system time (s): 0.349946
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 122464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.584
system time used= 0.349946
maximum resident set size= 70152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 600
involuntary context switches= 365
runsolver used 0.78488 second user time and 2.12968 second system time
The end