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-3753633-1339188506/watcher-3753633-1339188506 -o /tmp/evaluation-result-3753633-1339188506/solver-3753633-1339188506 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753633-1339188506.wbo 1805386368 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.00 2.01 2.00 3/179 5828
/proc/meminfo: memFree=28772552/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[startup+0.0418191 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5828
/proc/meminfo: memFree=28772552/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5828
/proc/meminfo: memFree=28772552/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30018 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5828
/proc/meminfo: memFree=28772552/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5828
/proc/meminfo: memFree=28772552/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5835
/proc/meminfo: memFree=28765216/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=3092 CPUtime=0.21 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 1445 2191 0 0 2 0 19 0 20 0 1 0 384976653 3166208 377 33554432000 4194304 6006132 140737316629072 140737316623264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5829/statm: 773 377 158 443 0 326 0
[pid=5834] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5834/stat : 5834 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976676 9367552 267 33554432000 4194304 5064252 140736554169376 140736554168288 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5834/statm: 2287 267 226 213 0 72 0
[pid=5835] ppid=5834 vsize=9408 CPUtime=1.26 cores=0,2,4,6
/proc/5835/stat : 5835 (glucose) R 5834 5828 3785 0 -1 4202496 2303 0 0 0 126 0 0 0 20 0 1 0 384976676 9633792 1934 33554432000 4194304 5208918 140735631908752 140735631906696 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5835/statm: 2352 1934 96 248 0 2101 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30796
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5835
/proc/meminfo: memFree=28759704/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=3092 CPUtime=0.21 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 1445 2191 0 0 2 0 19 0 20 0 1 0 384976653 3166208 377 33554432000 4194304 6006132 140737316629072 140737316623264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5829/statm: 773 377 158 443 0 326 0
[pid=5834] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5834/stat : 5834 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976676 9367552 267 33554432000 4194304 5064252 140736554169376 140736554168288 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5834/statm: 2287 267 226 213 0 72 0
[pid=5835] ppid=5834 vsize=11080 CPUtime=2.86 cores=0,2,4,6
/proc/5835/stat : 5835 (glucose) R 5834 5828 3785 0 -1 4202496 2737 0 0 0 286 0 0 0 20 0 1 0 384976676 11345920 2347 33554432000 4194304 5208918 140735631908752 140735631906616 4205227 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5835/statm: 2770 2347 96 248 0 2519 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32468
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5880
/proc/meminfo: memFree=28921092/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=3092 CPUtime=0.21 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 1445 2191 0 0 2 0 19 0 20 0 1 0 384976653 3166208 377 33554432000 4194304 6006132 140737316629072 140737316623264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5829/statm: 773 377 158 443 0 326 0
[pid=5834] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5834/stat : 5834 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976676 9367552 267 33554432000 4194304 5064252 140736554169376 140736554168288 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5834/statm: 2287 267 226 213 0 72 0
[pid=5835] ppid=5834 vsize=19208 CPUtime=6.06 cores=0,2,4,6
/proc/5835/stat : 5835 (glucose) R 5834 5828 3785 0 -1 4202496 3202 0 0 0 606 0 0 0 20 0 1 0 384976676 19668992 3251 33554432000 4194304 5208918 140735631908752 140735631906696 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5835/statm: 4802 3251 96 248 0 4551 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40596
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5880
/proc/meminfo: memFree=28907272/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=3092 CPUtime=0.21 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 1445 2191 0 0 2 0 19 0 20 0 1 0 384976653 3166208 377 33554432000 4194304 6006132 140737316629072 140737316623264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5829/statm: 773 377 158 443 0 326 0
[pid=5834] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5834/stat : 5834 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976676 9367552 267 33554432000 4194304 5064252 140736554169376 140736554168288 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5834/statm: 2287 267 226 213 0 72 0
[pid=5835] ppid=5834 vsize=19208 CPUtime=12.45 cores=0,2,4,6
/proc/5835/stat : 5835 (glucose) R 5834 5828 3785 0 -1 4202496 3829 0 0 0 1245 0 0 0 20 0 1 0 384976676 19668992 4381 33554432000 4194304 5208918 140735631908752 140735631906696 4211608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5835/statm: 4802 4381 96 248 0 4551 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 40596
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5901
/proc/meminfo: memFree=28880244/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=22.59 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 3021 9542 0 0 5 3 2249 2 20 0 1 0 384976653 11526144 2301 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2301 167 443 0 2367 0
[pid=5893] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5893/stat : 5893 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384978915 9367552 267 33554432000 4194304 5064252 140734566725952 140734566724864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5893/statm: 2287 267 226 213 0 72 0
[pid=5894] ppid=5893 vsize=32944 CPUtime=2.86 cores=0,2,4,6
/proc/5894/stat : 5894 (glucose) R 5893 5828 3785 0 -1 4202496 7729 0 0 0 285 1 0 0 20 0 1 0 384978915 33734656 7459 33554432000 4194304 5208918 140737183445120 140737183443064 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5894/statm: 8236 7459 96 248 0 7985 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 62496
[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 5979
/proc/meminfo: memFree=28865796/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=41.83 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 4747 32094 0 0 9 3 4158 13 20 0 1 0 384976653 11526144 2301 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2301 167 443 0 2367 0
[pid=5971] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5971/stat : 5971 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384980839 9367552 266 33554432000 4194304 5064252 140733295206544 140733295205456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5971/statm: 2287 266 226 213 0 72 0
[pid=5972] ppid=5971 vsize=25080 CPUtime=9.23 cores=0,2,4,6
/proc/5972/stat : 5972 (glucose) R 5971 5828 3785 0 -1 4202496 5668 0 0 0 922 1 0 0 20 0 1 0 384980839 25681920 5908 33554432000 4194304 5208918 140737177548816 140737177546680 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5972/statm: 6270 5908 104 248 0 6019 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54632
[startup+102.306 s]
/proc/loadavg: 2.12 2.04 2.01 3/184 6059
/proc/meminfo: memFree=28866944/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=98.71 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 9201 89063 0 0 17 4 9814 36 20 0 1 0 384976653 11526144 2301 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2301 167 443 0 2367 0
[pid=6058] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6058/stat : 6058 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384986529 9367552 266 33554432000 4194304 5064252 140735158653328 140735158652240 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6058/statm: 2287 266 226 213 0 72 0
[pid=6059] ppid=6058 vsize=20436 CPUtime=3.53 cores=0,2,4,6
/proc/6059/stat : 6059 (glucose) R 6058 5828 3785 0 -1 4202496 5505 0 0 0 352 1 0 0 20 0 1 0 384986529 20926464 4753 33554432000 4194304 5208918 140737281410672 140737281408536 4229259 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6059/statm: 5109 4753 96 248 0 4858 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 49988
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 6143
/proc/meminfo: memFree=28870420/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=156.03 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 12058 140959 0 0 22 6 15520 55 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6142] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=220.1 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 14372 195600 0 0 25 7 21906 72 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6233] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6233/stat : 6233 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384998672 9367552 267 33554432000 4194304 5064252 140737392927360 140737392926272 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6233/statm: 2287 267 226 213 0 72 0
[pid=6234] ppid=6233 vsize=14912 CPUtime=2.1 cores=0,2,4,6
/proc/6234/stat : 6234 (glucose) R 6233 5828 3785 0 -1 4202496 2878 0 0 0 210 0 0 0 20 0 1 0 384998672 15269888 2886 33554432000 4194304 5208918 140735032547712 140735032545656 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6234/statm: 3728 2886 96 248 0 3477 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 44464
[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/183 6318
/proc/meminfo: memFree=28879732/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=274.22 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 15632 238967 0 0 27 7 27304 84 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6317] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6317/stat : 6317 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385004087 9367552 267 33554432000 4194304 5064252 140734182664496 140734182663408 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6317/statm: 2287 267 226 213 0 72 0
[pid=6318] ppid=6317 vsize=17044 CPUtime=7.94 cores=0,2,4,6
/proc/6318/stat : 6318 (glucose) R 6317 5828 3785 0 -1 4202496 4794 0 0 0 794 0 0 0 20 0 1 0 385004087 17453056 3860 33554432000 4194304 5208918 140735645815312 140735645813400 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6318/statm: 4261 3860 103 248 0 4010 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 46596
[startup+342.3 s]
/proc/loadavg: 1.98 2.03 2.00 3/183 6417
/proc/meminfo: memFree=28892836/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=337.14 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 16955 291585 0 0 29 8 33577 100 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6409] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6409/stat : 6409 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385010380 9367552 267 33554432000 4194304 5064252 140736734047760 140736734046672 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6409/statm: 2287 267 226 213 0 72 0
[pid=6410] ppid=6409 vsize=13252 CPUtime=5.02 cores=0,2,4,6
/proc/6410/stat : 6410 (glucose) R 6409 5828 3785 0 -1 4202496 4223 0 0 0 501 1 0 0 20 0 1 0 385010380 13570048 2867 33554432000 4194304 5208918 140736481480304 140736481478392 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6410/statm: 3313 2867 96 248 0 3062 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 42804
Solver just ended. Dumping a history of the last processes samples
[startup+358.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6438
/proc/meminfo: memFree=28886872/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=353.33 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17296 306205 0 0 29 8 35193 103 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6437] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6437/stat : 6437 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012001 9367552 266 33554432000 4194304 5064252 140734007193040 140734007191952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6437/statm: 2287 266 226 213 0 72 0
[pid=6438] ppid=6437 vsize=13280 CPUtime=4.8 cores=0,2,4,6
/proc/6438/stat : 6438 (glucose) R 6437 5828 3785 0 -1 4202496 3544 0 0 0 480 0 0 0 20 0 1 0 385012002 13598720 2856 33554432000 4194304 5208918 140737119216608 140737119214696 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6438/statm: 3320 2856 96 248 0 3069 0
Current children cumulated CPU time (s) 358.13
Current children cumulated vsize (KiB) 42832
[startup+371.1 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28892244/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=361.24 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17456 313348 0 0 30 8 35981 105 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6451] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012791 9367552 266 33554432000 4194304 5064252 140734925791040 140734925789952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6451/statm: 2287 266 226 213 0 72 0
[pid=6452] ppid=6451 vsize=19656 CPUtime=9.7 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 5828 3785 0 -1 4202496 4161 0 0 0 970 0 0 0 20 0 1 0 385012792 20127744 4396 33554432000 4194304 5208918 140735609009680 140735609007624 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6452/statm: 4914 4396 104 248 0 4663 0
Current children cumulated CPU time (s) 370.94
Current children cumulated vsize (KiB) 49208
[startup+374.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28880316/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=361.24 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17456 313348 0 0 30 8 35981 105 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6451] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012791 9367552 266 33554432000 4194304 5064252 140734925791040 140734925789952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6451/statm: 2287 266 226 213 0 72 0
[pid=6452] ppid=6451 vsize=19656 CPUtime=12.89 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 5828 3785 0 -1 4202496 4164 0 0 0 1289 0 0 0 20 0 1 0 385012792 20127744 4396 33554432000 4194304 5208918 140735609009680 140735609007624 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6452/statm: 4914 4396 104 248 0 4663 0
Current children cumulated CPU time (s) 374.13
Current children cumulated vsize (KiB) 49208
[startup+377.5 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28875532/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=361.24 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17456 313348 0 0 30 8 35981 105 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6451] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012791 9367552 266 33554432000 4194304 5064252 140734925791040 140734925789952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6451/statm: 2287 266 226 213 0 72 0
[pid=6452] ppid=6451 vsize=22592 CPUtime=16.09 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 5828 3785 0 -1 4202496 4389 0 0 0 1609 0 0 0 20 0 1 0 385012792 23134208 5123 33554432000 4194304 5208918 140735609009680 140735609007624 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6452/statm: 5648 5123 104 248 0 5397 0
Current children cumulated CPU time (s) 377.33
Current children cumulated vsize (KiB) 52144
[startup+378.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28875656/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=361.24 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17456 313348 0 0 30 8 35981 105 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6451] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012791 9367552 266 33554432000 4194304 5064252 140734925791040 140734925789952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6451/statm: 2287 266 226 213 0 72 0
[pid=6452] ppid=6451 vsize=22592 CPUtime=16.9 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 5828 3785 0 -1 4202496 4389 0 0 0 1690 0 0 0 20 0 1 0 385012792 23134208 5123 33554432000 4194304 5208918 140735609009680 140735609007624 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6452/statm: 5648 5123 104 248 0 5397 0
Current children cumulated CPU time (s) 378.14
Current children cumulated vsize (KiB) 52144
[startup+379.1 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28875656/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=361.24 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17456 313348 0 0 30 8 35981 105 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316620464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
[pid=6451] ppid=5829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 5829 5828 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385012791 9367552 266 33554432000 4194304 5064252 140734925791040 140734925789952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6451/statm: 2287 266 226 213 0 72 0
[pid=6452] ppid=6451 vsize=22592 CPUtime=17.69 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 5828 3785 0 -1 4202496 4513 0 0 0 1769 0 0 0 20 0 1 0 385012792 23134208 5240 33554432000 4194304 5208918 140735609009680 140735609007624 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6452/statm: 5648 5240 104 248 0 5397 0
Current children cumulated CPU time (s) 378.93
Current children cumulated vsize (KiB) 52144
[startup+379.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6459
/proc/meminfo: memFree=28875656/32873648 swapFree=6860/6860
[pid=5828] ppid=5826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5828/stat : 5828 (npSolver-wbo-It) S 5826 5828 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976653 9367552 275 33554432000 4194304 5064252 140734546209296 140734546208208 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5828/statm: 2287 275 233 213 0 72 0
[pid=5829] ppid=5828 vsize=11256 CPUtime=379.15 cores=0,2,4,6
/proc/5829/stat : 5829 (npSolver-wbo) S 5828 5828 3785 0 -1 4202496 17465 318467 0 0 30 8 37771 106 20 0 1 0 384976653 11526144 2302 33554432000 4194304 6006132 140737316629072 140737316619952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5829/statm: 2814 2302 168 443 0 2367 0
Current children cumulated CPU time (s) 379.15
Current children cumulated vsize (KiB) 20404
Child status: 0
Real time (s): 379.311
CPU time (s): 379.178
CPU user time (s): 378.023
CPU system time (s): 1.15582
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 73988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.023
system time used= 1.15582
maximum resident set size= 42504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1169
involuntary context switches= 890
runsolver used 0.953854 second user time and 2.40363 second system time
The end