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-3714235-1338185674/watcher-3714235-1338185674 -o /tmp/evaluation-result-3714235-1338185674/solver-3714235-1338185674 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714235-1338185674.wbo 149057898 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 18271
/proc/meminfo: memFree=27979180/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[startup+0.098419 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 18271
/proc/meminfo: memFree=27979180/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.25423 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 18271
/proc/meminfo: memFree=27979180/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300254 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 18271
/proc/meminfo: memFree=27979180/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700315 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 18271
/proc/meminfo: memFree=27979180/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 18288
/proc/meminfo: memFree=27956804/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=1.3 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 3776 24824 0 0 16 3 92 19 20 0 1 0 284695920 11567104 2437 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2437 160 439 0 2381 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 20444
[startup+3.10032 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 18299
/proc/meminfo: memFree=27961788/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=2.51 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4613 44371 0 0 18 3 199 31 20 0 1 0 284695920 11567104 2437 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2437 160 439 0 2381 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 20444
[startup+6.30478 s]
/proc/loadavg: 2.15 2.06 2.01 3/183 18320
/proc/meminfo: memFree=27982840/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=6.17 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4712 52292 0 0 18 3 563 33 20 0 1 0 284695920 11567104 2437 33554432000 4194304 5990268 140736264743008 140736264733936 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2437 160 439 0 2381 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 20444
[startup+12.7004 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 18334
/proc/meminfo: memFree=27977148/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=11896 CPUtime=4.67 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 3132 0 0 0 466 1 0 0 20 0 1 0 284696722 12181504 2533 33554432000 4194304 5208918 140733885117312 140733885115176 4212435 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 2974 2533 102 248 0 2723 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 41488
[startup+25.5003 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27966672/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=14640 CPUtime=17.47 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 3560 0 0 0 1746 1 0 0 20 0 1 0 284696722 14991360 3224 33554432000 4194304 5208918 140733885117312 140733885115400 4215136 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 3660 3224 102 248 0 3409 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 44232
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27966672/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=14640 CPUtime=17.57 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 3560 0 0 0 1756 1 0 0 20 0 1 0 284696722 14991360 3224 33554432000 4194304 5208918 140733885117312 140733885115400 4229299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 3660 3224 102 248 0 3409 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44232
[startup+28.8004 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27964128/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=14640 CPUtime=20.76 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 3561 0 0 0 2075 1 0 0 20 0 1 0 284696722 14991360 3225 33554432000 4194304 5208918 140733885117312 140733885115400 4205249 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 3660 3225 103 248 0 3409 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 44232
[startup+32.0066 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27959040/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=18992 CPUtime=23.97 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 4032 0 0 0 2396 1 0 0 20 0 1 0 284696722 19447808 4183 33554432000 4194304 5208918 140733885117312 140733885115160 4229244 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 4748 4183 103 248 0 4497 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 48584
[startup+33.6004 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27958792/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=18992 CPUtime=25.56 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 4033 0 0 0 2555 1 0 0 20 0 1 0 284696722 19447808 4184 33554432000 4194304 5208918 140733885117312 140733885115160 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 33.45
Current children cumulated vsize (KiB) 48584
[startup+34.4003 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27958916/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=18992 CPUtime=26.36 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 4033 0 0 0 2635 1 0 0 20 0 1 0 284696722 19447808 4184 33554432000 4194304 5208918 140733885117312 140733885115160 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 34.25
Current children cumulated vsize (KiB) 48584
[startup+34.8004 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 18334
/proc/meminfo: memFree=27958916/32873844 swapFree=7620/7620
[pid=18271] ppid=18269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (npSolver-wbo-I.) S 18269 18271 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284695920 9367552 275 33554432000 4194304 5064252 140736553449280 140736553448192 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 2287 275 233 213 0 72 0
[pid=18272] ppid=18271 vsize=11296 CPUtime=7.89 cores=0,2,4,6
/proc/18272/stat : 18272 (npSolver-wbo) S 18271 18271 14026 0 -1 4202496 4882 60045 0 0 18 3 733 35 20 0 1 0 284695920 11567104 2438 33554432000 4194304 5990268 140736264743008 140736264734448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18272/statm: 2824 2438 161 439 0 2381 0
[pid=18333] ppid=18272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18333/stat : 18333 (satsolver.sh) S 18272 18271 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284696722 9367552 267 33554432000 4194304 5064252 140733243472016 140733243470928 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18333/statm: 2287 267 226 213 0 72 0
[pid=18334] ppid=18333 vsize=18992 CPUtime=26.76 cores=0,2,4,6
/proc/18334/stat : 18334 (glucose) R 18333 18271 14026 0 -1 4202496 4033 0 0 0 2675 1 0 0 20 0 1 0 284696722 19447808 4184 33554432000 4194304 5208918 140733885117312 140733885115160 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18334/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 34.65
Current children cumulated vsize (KiB) 48584
Child status: 0
Real time (s): 34.8956
CPU time (s): 34.7807
CPU user time (s): 34.3698
CPU system time (s): 0.410937
CPU usage (%): 99.6706
Max. virtual memory (cumulated for all children) (KiB): 51308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3698
system time used= 0.410937
maximum resident set size= 52120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72780
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 601
involuntary context switches= 149
runsolver used 0.053991 second user time and 0.146977 second system time
The end