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-3714301-1338186600/watcher-3714301-1338186600 -o /tmp/evaluation-result-3714301-1338186600/solver-3714301-1338186600 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714301-1338186600.wbo 376044700 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.06 2.06 3/179 18860
/proc/meminfo: memFree=27715532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0

[startup+0.010685 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 18860
/proc/meminfo: memFree=27715532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100248 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 18860
/proc/meminfo: memFree=27715532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300242 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 18860
/proc/meminfo: memFree=27715532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700235 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 18860
/proc/meminfo: memFree=27715532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/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.00 2.06 2.06 3/182 18865
/proc/meminfo: memFree=27701220/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=34876 CPUtime=1.49 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) R 18860 18860 14026 0 -1 4202496 3095 0 0 0 148 1 0 0 20 0 1 0 284788541 35713024 4599 33554432000 4194304 5990268 140736305796896 140736305791752 4521673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18861/statm: 8719 4599 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024

[startup+3.10032 s]
/proc/loadavg: 2.00 2.06 2.06 3/182 18865
/proc/meminfo: memFree=27688536/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=67644 CPUtime=3.09 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) R 18860 18860 14026 0 -1 4202496 3633 0 0 0 307 2 0 0 20 0 1 0 284788541 69267456 9720 33554432000 4194304 5990268 140736305796896 140736305791752 4766487 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18861/statm: 16911 9720 137 439 0 16468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76792

[startup+6.30025 s]
/proc/loadavg: 2.00 2.06 2.06 3/182 18865
/proc/meminfo: memFree=27604516/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=133192 CPUtime=6.29 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) R 18860 18860 14026 0 -1 4202496 7386 0 0 0 622 7 0 0 20 0 1 0 284788541 136388608 27454 33554432000 4194304 5990268 140736305796896 140736305792776 4567988 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18861/statm: 33298 27454 145 439 0 32855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142340

[startup+12.7005 s]
/proc/loadavg: 2.00 2.06 2.06 3/184 18867
/proc/meminfo: memFree=27386532/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=133192 CPUtime=7.5 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 7841 0 0 0 733 17 0 0 20 0 1 0 284788541 136388608 28486 33554432000 4194304 5990268 140736305796896 140736305790048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/18861/statm: 33298 28486 153 439 0 32855 0
[pid=18866] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18866/stat : 18866 (cp2_pre.sh) S 18861 18860 14026 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284789293 9367552 277 33554432000 4194304 5064252 140736088989280 140736088987984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18866/statm: 2287 277 234 213 0 72 0
[pid=18867] ppid=18866 vsize=141028 CPUtime=5.16 cores=1,3,5,7
/proc/18867/stat : 18867 (coprocessor) R 18866 18860 14026 0 -1 4202496 30953 0 0 0 499 17 0 0 20 0 1 0 284789294 144412672 32995 33554432000 4194304 6586260 140735160209104 140735160204856 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/18867/statm: 35257 32995 200 584 0 34669 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 292516

[startup+25.5005 s]
/proc/loadavg: 2.00 2.06 2.06 3/184 18877
/proc/meminfo: memFree=27366396/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=16.67 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 10220 46139 0 0 767 127 734 39 20 0 1 0 284788541 154578944 32824 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32824 166 439 0 37296 0
[pid=18876] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (satsolver.sh) S 18861 18860 14026 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284790325 9367552 266 33554432000 4194304 5064252 140737173004128 140737173003040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18876/statm: 2287 266 226 213 0 72 0
[pid=18877] ppid=18876 vsize=127612 CPUtime=7.64 cores=1,3,5,7
/proc/18877/stat : 18877 (glucose) R 18876 18860 14026 0 -1 4202496 14503 0 0 0 760 4 0 0 20 0 1 0 284790325 130674688 23976 33554432000 4194304 5208918 140733201112288 140733201110184 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18877/statm: 31903 23976 103 248 0 31652 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 296864

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

[startup+25.6005 s]
/proc/loadavg: 2.00 2.06 2.06 3/184 18877
/proc/meminfo: memFree=27366396/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=16.67 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 10220 46139 0 0 767 127 734 39 20 0 1 0 284788541 154578944 32824 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32824 166 439 0 37296 0
[pid=18876] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (satsolver.sh) S 18861 18860 14026 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284790325 9367552 266 33554432000 4194304 5064252 140737173004128 140737173003040 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18876/statm: 2287 266 226 213 0 72 0
[pid=18877] ppid=18876 vsize=127612 CPUtime=7.74 cores=1,3,5,7
/proc/18877/stat : 18877 (glucose) R 18876 18860 14026 0 -1 4202496 14510 0 0 0 770 4 0 0 20 0 1 0 284790325 130674688 23983 33554432000 4194304 5208918 140733201112288 140733201110184 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18877/statm: 31903 23983 104 248 0 31652 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 296864

[startup+38.4004 s]
/proc/loadavg: 2.00 2.05 2.06 3/183 18891
/proc/meminfo: memFree=27321192/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=36.89 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 15947 111177 0 0 789 129 2654 117 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
Current children cumulated CPU time (s) 36.89
Current children cumulated vsize (KiB) 160104

[startup+41.6004 s]
/proc/loadavg: 2.00 2.05 2.06 2/182 18903
/proc/meminfo: memFree=27463328/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=39.57 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 16272 127695 0 0 790 129 2902 136 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
Current children cumulated CPU time (s) 39.57
Current children cumulated vsize (KiB) 160104

[startup+43.2005 s]
/proc/loadavg: 2.00 2.05 2.06 3/184 18913
/proc/meminfo: memFree=27392160/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=40.47 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 16433 141608 0 0 790 129 2975 153 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
[pid=18912] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18912/stat : 18912 (satsolver.sh) S 18861 18860 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792741 9367552 267 33554432000 4194304 5064252 140734687329920 140734687328832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18912/statm: 2287 267 226 213 0 72 0
[pid=18913] ppid=18912 vsize=83060 CPUtime=1.18 cores=1,3,5,7
/proc/18913/stat : 18913 (glucose) R 18912 18860 14026 0 -1 4202496 10345 0 0 0 114 4 0 0 20 0 1 0 284792741 85053440 19316 33554432000 4194304 5208918 140735639111648 140735638061288 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18913/statm: 20765 19316 95 248 0 20514 0
Current children cumulated CPU time (s) 41.65
Current children cumulated vsize (KiB) 252312

[startup+44.0004 s]
/proc/loadavg: 2.00 2.05 2.06 3/184 18920
/proc/meminfo: memFree=27395540/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=41.82 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 16559 155830 0 0 790 129 3093 170 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
[pid=18919] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18919/stat : 18919 (satsolver.sh) S 18861 18860 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792876 9367552 267 33554432000 4194304 5064252 140734341368272 140734341367184 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18919/statm: 2287 267 226 213 0 72 0
[pid=18920] ppid=18919 vsize=77572 CPUtime=0.64 cores=1,3,5,7
/proc/18920/stat : 18920 (glucose) R 18919 18860 14026 0 -1 4202496 8732 0 0 0 61 3 0 0 20 0 1 0 284792876 79433728 18246 33554432000 4194304 5208918 140737347408288 140734341367208 4229773 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18920/statm: 19393 18247 95 248 0 19142 0
Current children cumulated CPU time (s) 42.46
Current children cumulated vsize (KiB) 246824

[startup+44.4005 s]
/proc/loadavg: 2.00 2.05 2.06 3/184 18920
/proc/meminfo: memFree=27395540/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=41.82 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 16559 155830 0 0 790 129 3093 170 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
[pid=18919] ppid=18861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18919/stat : 18919 (satsolver.sh) S 18861 18860 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792876 9367552 267 33554432000 4194304 5064252 140734341368272 140734341367184 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18919/statm: 2287 267 226 213 0 72 0
[pid=18920] ppid=18919 vsize=83056 CPUtime=1.03 cores=1,3,5,7
/proc/18920/stat : 18920 (glucose) R 18919 18860 14026 0 -1 4202496 9980 0 0 0 100 3 0 0 20 0 1 0 284792876 85049344 19479 33554432000 4194304 5208918 140737347408288 140737347406136 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18920/statm: 20764 19479 101 248 0 20513 0
Current children cumulated CPU time (s) 42.85
Current children cumulated vsize (KiB) 252308

[startup+44.6005 s]
/proc/loadavg: 2.00 2.05 2.06 3/184 18920
/proc/meminfo: memFree=27395540/32873844 swapFree=7620/7620
[pid=18860] ppid=18858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18860/stat : 18860 (npSolver-wbo-I.) S 18858 18860 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284788541 9367552 275 33554432000 4194304 5064252 140736521998960 140736521997872 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18860/statm: 2287 275 233 213 0 72 0
[pid=18861] ppid=18860 vsize=150956 CPUtime=42.98 cores=1,3,5,7
/proc/18861/stat : 18861 (npSolver-wbo) S 18860 18860 14026 0 -1 4202496 16586 168495 0 0 790 129 3204 175 20 0 1 0 284788541 154578944 32826 33554432000 4194304 5990268 140736305796896 140736305788912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/18861/statm: 37739 32826 166 439 0 37296 0
Current children cumulated CPU time (s) 42.98
Current children cumulated vsize (KiB) 160104

Child status: 0
Real time (s): 44.6442
CPU time (s): 43.1354
CPU user time (s): 39.9549
CPU system time (s): 3.18052
CPU usage (%): 96.6204
Max. virtual memory (cumulated for all children) (KiB): 346144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9549
system time used= 3.18052
maximum resident set size= 176556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186437
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1301384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 733
involuntary context switches= 164

runsolver used 0.131979 second user time and 0.275958 second system time

The end