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-3750938-1339130376/watcher-3750938-1339130376 -o /tmp/evaluation-result-3750938-1339130376/solver-3750938-1339130376 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750938-1339130376.opb 1769816318 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 2/177 14757
/proc/meminfo: memFree=31618048/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0

[startup+0.0430471 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14757
/proc/meminfo: memFree=31618048/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100301 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14757
/proc/meminfo: memFree=31618048/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14757
/proc/meminfo: memFree=31618048/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 14757
/proc/meminfo: memFree=31618048/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14778
/proc/meminfo: memFree=31613296/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=0.09 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2570 8660 0 0 0 1 6 2 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14777] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14777/stat : 14777 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379163111 9367552 267 33554432000 4194304 5064252 140735798978736 140735798977648 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14777/statm: 2287 267 226 213 0 72 0
[pid=14778] ppid=14777 vsize=9108 CPUtime=1.37 cores=1,3,5,7
/proc/14778/stat : 14778 (glucose) R 14777 14757 7832 0 -1 4202496 2343 0 0 0 137 0 0 0 20 0 1 0 379163111 9326592 1592 33554432000 4194304 5208918 140734143294720 140734143292568 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14778/statm: 2277 1592 102 248 0 2026 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29976

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14785
/proc/meminfo: memFree=31614536/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=2.97 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2817 18989 0 0 0 1 292 4 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 11720

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14792
/proc/meminfo: memFree=31609140/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=2.97 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2817 18989 0 0 0 1 292 4 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14791] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14791/stat : 14791 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379163400 9367552 267 33554432000 4194304 5064252 140735437592688 140735437591600 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14791/statm: 2287 267 226 213 0 72 0
[pid=14792] ppid=14791 vsize=8788 CPUtime=3.28 cores=1,3,5,7
/proc/14792/stat : 14792 (glucose) R 14791 14757 7832 0 -1 4202496 2192 0 0 0 328 0 0 0 20 0 1 0 379163400 8998912 1712 33554432000 4194304 5208918 140737395617712 140737395615656 4229006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14792/statm: 2197 1712 102 248 0 1946 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 29656

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14792
/proc/meminfo: memFree=31600340/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=2.97 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2817 18989 0 0 0 1 292 4 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14791] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14791/stat : 14791 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379163400 9367552 267 33554432000 4194304 5064252 140735437592688 140735437591600 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14791/statm: 2287 267 226 213 0 72 0
[pid=14792] ppid=14791 vsize=13140 CPUtime=9.68 cores=1,3,5,7
/proc/14792/stat : 14792 (glucose) R 14791 14757 7832 0 -1 4202496 2659 0 0 0 968 0 0 0 20 0 1 0 379163400 13455360 2675 33554432000 4194304 5208918 140737395617712 140737395614088 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14792/statm: 3285 2675 102 248 0 3034 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 34008

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14802
/proc/meminfo: memFree=31591520/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=12.75 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2936 24479 0 0 0 1 1268 6 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14798] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14798/stat : 14798 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379164377 9367552 267 33554432000 4194304 5064252 140734447769360 140734447768272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14798/statm: 2287 267 226 213 0 72 0
[pid=14799] ppid=14798 vsize=14764 CPUtime=12.71 cores=1,3,5,7
/proc/14799/stat : 14799 (glucose) R 14798 14757 7832 0 -1 4202496 3086 0 0 0 1271 0 0 0 20 0 1 0 379164377 15118336 3243 33554432000 4194304 5208918 140734082860848 140734082858936 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14799/statm: 3691 3243 102 248 0 3440 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35632

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14802
/proc/meminfo: memFree=31596068/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=12.75 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 2936 24479 0 0 0 1 1268 6 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14798] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14798/stat : 14798 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379164377 9367552 267 33554432000 4194304 5064252 140734447769360 140734447768272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14798/statm: 2287 267 226 213 0 72 0
[pid=14799] ppid=14798 vsize=24556 CPUtime=38.3 cores=1,3,5,7
/proc/14799/stat : 14799 (glucose) R 14798 14757 7832 0 -1 4202496 3597 0 0 0 3830 0 0 0 20 0 1 0 379164377 25145344 5265 33554432000 4194304 5208918 140734082860848 140734082857224 4229361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14799/statm: 6139 5265 102 248 0 5888 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 45424

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14809
/proc/meminfo: memFree=31625484/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=54.35 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3055 31022 0 0 1 1 5426 7 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14808] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14808/stat : 14808 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379168538 9367552 266 33554432000 4194304 5064252 140735029805232 140735029804144 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14808/statm: 2287 266 226 213 0 72 0
[pid=14809] ppid=14808 vsize=26836 CPUtime=47.89 cores=1,3,5,7
/proc/14809/stat : 14809 (glucose) R 14808 14757 7832 0 -1 4202496 4196 0 0 0 4788 1 0 0 20 0 1 0 379168538 27480064 6261 33554432000 4194304 5208918 140733564048576 140733564044952 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14809/statm: 6709 6261 102 248 0 6458 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 47704

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 14816
/proc/meminfo: memFree=31606192/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=18928 CPUtime=9.19 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 3577 0 0 0 918 1 0 0 20 0 1 0 379178409 19382272 3046 33554432000 4194304 5208918 140736962249328 140736962245704 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 4732 3046 102 248 0 4481 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 39796

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 14816
/proc/meminfo: memFree=31584792/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=69.18 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 6916 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 54172

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

[startup+223.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31582744/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=70.78 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 7076 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 223.82
Current children cumulated vsize (KiB) 54172

[startup+230.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31580696/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=77.18 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 7716 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 54172

[startup+233.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31578648/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=80.38 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 8036 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 233.42
Current children cumulated vsize (KiB) 54172

[startup+234.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31578648/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=81.18 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 8116 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 234.22
Current children cumulated vsize (KiB) 54172

[startup+235.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31578648/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=81.98 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 8196 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 235.02
Current children cumulated vsize (KiB) 54172

[startup+235.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14816
/proc/meminfo: memFree=31578648/32873852 swapFree=6864/6864
[pid=14757] ppid=14755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14757/stat : 14757 (npSolver-pbo.sh) S 14755 14757 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379163099 9367552 275 33554432000 4194304 5064252 140734163855488 140734163854400 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14757/statm: 2287 275 233 213 0 72 0
[pid=14758] ppid=14757 vsize=2572 CPUtime=153.04 cores=1,3,5,7
/proc/14758/stat : 14758 (npSolver-pbo) S 14757 14757 7832 0 -1 4202496 3202 39588 0 0 1 1 15291 11 20 0 1 0 379163100 2633728 306 33554432000 4194304 6004724 140736742074704 140736742067056 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14758/statm: 643 306 172 442 0 197 0
[pid=14815] ppid=14758 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14815/stat : 14815 (satsolver.sh) S 14758 14757 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379178409 9367552 266 33554432000 4194304 5064252 140735203511328 140735203510240 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14815/statm: 2287 266 226 213 0 72 0
[pid=14816] ppid=14815 vsize=33304 CPUtime=82.18 cores=1,3,5,7
/proc/14816/stat : 14816 (glucose) R 14815 14757 7832 0 -1 4202496 5364 0 0 0 8216 2 0 0 20 0 1 0 379178409 34103296 7879 33554432000 4194304 5208918 140736962249328 140736962245640 4229493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14816/statm: 8326 7879 102 248 0 8075 0
Current children cumulated CPU time (s) 235.22
Current children cumulated vsize (KiB) 54172

Child status: 0
Real time (s): 235.349
CPU time (s): 235.291
CPU user time (s): 235.125
CPU system time (s): 0.165974
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 73520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.125
system time used= 0.165974
maximum resident set size= 44632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 328

runsolver used 0.399939 second user time and 0.98285 second system time

The end