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-3714252-1338184865/watcher-3714252-1338184865 -o /tmp/evaluation-result-3714252-1338184865/solver-3714252-1338184865 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714252-1338184865.wbo 1439501794 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/180 10184
/proc/meminfo: memFree=31268940/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[startup+0.0307439 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10184
/proc/meminfo: memFree=31268940/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10184
/proc/meminfo: memFree=31268940/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10184
/proc/meminfo: memFree=31268940/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10184
/proc/meminfo: memFree=31268940/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10191
/proc/meminfo: memFree=31263848/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=3708 CPUtime=0.45 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 1098 2888 0 0 5 0 38 2 20 0 1 0 284612016 3796992 477 33554432000 4194304 5990268 140736859875952 140736859870192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10185/statm: 927 477 154 439 0 484 0
[pid=10190] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10190/stat : 10190 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284612062 9367552 267 33554432000 4194304 5064252 140734866094368 140734866093280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10190/statm: 2287 267 226 213 0 72 0
[pid=10191] ppid=10190 vsize=7080 CPUtime=1.03 cores=1,3,5,7
/proc/10191/stat : 10191 (glucose) R 10190 10184 6342 0 -1 4202496 2051 0 0 0 103 0 0 0 20 0 1 0 284612063 7249920 1339 33554432000 4194304 5208918 140734277976192 140734277974040 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10191/statm: 1770 1339 102 248 0 1519 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29084
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10191
/proc/meminfo: memFree=31260244/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=3708 CPUtime=0.45 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 1098 2888 0 0 5 0 38 2 20 0 1 0 284612016 3796992 477 33554432000 4194304 5990268 140736859875952 140736859870192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10185/statm: 927 477 154 439 0 484 0
[pid=10190] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10190/stat : 10190 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284612062 9367552 267 33554432000 4194304 5064252 140734866094368 140734866093280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10190/statm: 2287 267 226 213 0 72 0
[pid=10191] ppid=10190 vsize=9760 CPUtime=2.63 cores=1,3,5,7
/proc/10191/stat : 10191 (glucose) R 10190 10184 6342 0 -1 4202496 2701 0 0 0 263 0 0 0 20 0 1 0 284612063 9994240 1954 33554432000 4194304 5208918 140734277976192 140734277974136 4205207 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10191/statm: 2440 1954 103 248 0 2189 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31764
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10198
/proc/meminfo: memFree=31247108/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=5.7 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 2572 17199 0 0 7 3 553 7 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 13928
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10205
/proc/meminfo: memFree=31220068/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=5.7 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 2572 17199 0 0 7 3 553 7 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10204] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10204/stat : 10204 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284612588 9367552 267 33554432000 4194304 5064252 140735868819328 140735868818240 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10204/statm: 2287 267 226 213 0 72 0
[pid=10205] ppid=10204 vsize=16776 CPUtime=6.97 cores=1,3,5,7
/proc/10205/stat : 10205 (glucose) R 10204 10184 6342 0 -1 4202496 4578 0 0 0 697 0 0 0 20 0 1 0 284612588 17178624 3794 33554432000 4194304 5208918 140733761235728 140733761232104 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10205/statm: 4194 3794 105 248 0 3943 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39852
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10219
/proc/meminfo: memFree=31218548/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=21.33 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 2903 33035 0 0 7 3 2111 12 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10218] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10218/stat : 10218 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284614152 9367552 267 33554432000 4194304 5064252 140733647347296 140733647346208 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10218/statm: 2287 267 226 213 0 72 0
[pid=10219] ppid=10218 vsize=11828 CPUtime=4.13 cores=1,3,5,7
/proc/10219/stat : 10219 (glucose) R 10218 10184 6342 0 -1 4202496 3431 0 0 0 413 0 0 0 20 0 1 0 284614152 12111872 2611 33554432000 4194304 5208918 140737118621504 140737118617880 4229354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10219/statm: 2957 2611 105 248 0 2706 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34904
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10247
/proc/meminfo: memFree=31258976/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=47.79 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3414 61991 0 0 8 3 4748 20 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10246] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284616797 9367552 266 33554432000 4194304 5064252 140734691000048 140734690998960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10246/statm: 2287 266 226 213 0 72 0
[pid=10247] ppid=10246 vsize=10452 CPUtime=3.27 cores=1,3,5,7
/proc/10247/stat : 10247 (glucose) R 10246 10184 6342 0 -1 4202496 3071 0 0 0 327 0 0 0 20 0 1 0 284616798 10702848 2249 33554432000 4194304 5208918 140737191334992 140737191332856 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10247/statm: 2613 2249 105 248 0 2362 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 33528
Solver just ended. Dumping a history of the last processes samples
[startup+54.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10247
/proc/meminfo: memFree=31224532/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=47.79 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3414 61991 0 0 8 3 4748 20 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10246] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284616797 9367552 266 33554432000 4194304 5064252 140734691000048 140734690998960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10246/statm: 2287 266 226 213 0 72 0
[pid=10247] ppid=10246 vsize=13360 CPUtime=6.47 cores=1,3,5,7
/proc/10247/stat : 10247 (glucose) R 10246 10184 6342 0 -1 4202496 3534 0 0 0 647 0 0 0 20 0 1 0 284616798 13680640 2706 33554432000 4194304 5208918 140737191334992 140737191331368 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10247/statm: 3340 2706 105 248 0 3089 0
Current children cumulated CPU time (s) 54.26
Current children cumulated vsize (KiB) 36436
[startup+57.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10254
/proc/meminfo: memFree=31224112/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=55.01 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3538 68709 0 0 8 3 5469 21 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10253] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10253/stat : 10253 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284617520 9367552 267 33554432000 4194304 5064252 140737485782944 140737485781856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10253/statm: 2287 267 226 213 0 72 0
[pid=10254] ppid=10253 vsize=11248 CPUtime=2.45 cores=1,3,5,7
/proc/10254/stat : 10254 (glucose) R 10253 10184 6342 0 -1 4202496 3230 0 0 0 245 0 0 0 20 0 1 0 284617520 11517952 2383 33554432000 4194304 5208918 140737112364992 140737112362856 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10254/statm: 2812 2383 105 248 0 2561 0
Current children cumulated CPU time (s) 57.46
Current children cumulated vsize (KiB) 34324
[startup+59.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10254
/proc/meminfo: memFree=31223740/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=55.01 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3538 68709 0 0 8 3 5469 21 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10253] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10253/stat : 10253 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284617520 9367552 267 33554432000 4194304 5064252 140737485782944 140737485781856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10253/statm: 2287 267 226 213 0 72 0
[pid=10254] ppid=10253 vsize=12920 CPUtime=4.05 cores=1,3,5,7
/proc/10254/stat : 10254 (glucose) R 10253 10184 6342 0 -1 4202496 3763 0 0 0 405 0 0 0 20 0 1 0 284617520 13230080 2871 33554432000 4194304 5208918 140737112364992 140737112362856 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10254/statm: 3230 2871 105 248 0 2979 0
Current children cumulated CPU time (s) 59.06
Current children cumulated vsize (KiB) 35996
[startup+59.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10254
/proc/meminfo: memFree=31221880/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=55.01 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3538 68709 0 0 8 3 5469 21 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10253] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10253/stat : 10253 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284617520 9367552 267 33554432000 4194304 5064252 140737485782944 140737485781856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10253/statm: 2287 267 226 213 0 72 0
[pid=10254] ppid=10253 vsize=12920 CPUtime=4.85 cores=1,3,5,7
/proc/10254/stat : 10254 (glucose) R 10253 10184 6342 0 -1 4202496 3763 0 0 0 485 0 0 0 20 0 1 0 284617520 13230080 2871 33554432000 4194304 5208918 140737112364992 140737112362856 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10254/statm: 3230 2871 105 248 0 2979 0
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (KiB) 35996
[startup+60.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10254
/proc/meminfo: memFree=31221880/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=55.01 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3538 68709 0 0 8 3 5469 21 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10253] ppid=10185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10253/stat : 10253 (satsolver.sh) S 10185 10184 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284617520 9367552 267 33554432000 4194304 5064252 140737485782944 140737485781856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10253/statm: 2287 267 226 213 0 72 0
[pid=10254] ppid=10253 vsize=13952 CPUtime=5.25 cores=1,3,5,7
/proc/10254/stat : 10254 (glucose) R 10253 10184 6342 0 -1 4202496 3819 0 0 0 525 0 0 0 20 0 1 0 284617520 14286848 2924 33554432000 4194304 5208918 140737112364992 140737112362856 4229383 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10254/statm: 3488 2924 105 248 0 3237 0
Current children cumulated CPU time (s) 60.26
Current children cumulated vsize (KiB) 37028
[startup+60.4003 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 10259
/proc/meminfo: memFree=31232292/32873648 swapFree=7116/7116
[pid=10184] ppid=10182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10184/stat : 10184 (npSolver-wbo-I.) S 10182 10184 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284612016 9367552 275 33554432000 4194304 5064252 140736408596496 140736408595408 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10184/statm: 2287 275 233 213 0 72 0
[pid=10185] ppid=10184 vsize=4780 CPUtime=60.34 cores=1,3,5,7
/proc/10185/stat : 10185 (npSolver-wbo) S 10184 10184 6342 0 -1 4202496 3604 75637 0 0 8 3 6000 23 20 0 1 0 284612016 4894720 693 33554432000 4194304 5990268 140736859875952 140736859867968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 1195 693 160 439 0 752 0
[pid=10259] ppid=10185 vsize=16712 CPUtime=0 cores=1,3,5,7
/proc/10259/stat : 10259 (cp) D 10185 10184 6342 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 284618053 17113088 187 33554432000 4194304 4305796 140735088159984 140735088157928 260190323600 0 0 4096 0 18446744071580543392 0 0 17 7 0 0 2 0 0
/proc/10259/statm: 4178 187 154 28 0 74 0
Current children cumulated CPU time (s) 60.34
Current children cumulated vsize (KiB) 30640
Child status: 0
Real time (s): 60.4211
CPU time (s): 60.3658
CPU user time (s): 60.0919
CPU system time (s): 0.273958
CPU usage (%): 99.9085
Max. virtual memory (cumulated for all children) (KiB): 46400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.0919
system time used= 0.273958
maximum resident set size= 20316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 179
runsolver used 0.091986 second user time and 0.26196 second system time
The end