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-3753664-1339187078/watcher-3753664-1339187078 -o /tmp/evaluation-result-3753664-1339187078/solver-3753664-1339187078 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753664-1339187078.wbo 588549122 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.00 2.00 3/179 5699
/proc/meminfo: memFree=30891592/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[startup+0.0400661 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5699
/proc/meminfo: memFree=30891592/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5699
/proc/meminfo: memFree=30891592/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300124 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5699
/proc/meminfo: memFree=30891592/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700157 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5699
/proc/meminfo: memFree=30891592/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5706
/proc/meminfo: memFree=30875504/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=3116 CPUtime=0.06 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 2471 2630 0 0 1 0 5 0 20 0 1 0 384833214 3190784 397 33554432000 4194304 6006132 140735364336608 140735364330800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5700/statm: 779 397 158 443 0 332 0
[pid=5705] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5705/stat : 5705 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384833223 9367552 267 33554432000 4194304 5064252 140734337169248 140734337168160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5705/statm: 2287 267 226 213 0 72 0
[pid=5706] ppid=5705 vsize=22496 CPUtime=1.4 cores=0,2,4,6
/proc/5706/stat : 5706 (glucose) R 5705 5699 16392 0 -1 4202496 4470 0 0 0 139 1 0 0 20 0 1 0 384833223 23035904 4252 33554432000 4194304 5208918 140733225108544 140733225106696 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5706/statm: 5624 4252 96 248 0 5373 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43908
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5706
/proc/meminfo: memFree=30864688/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=3116 CPUtime=0.06 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 2471 2630 0 0 1 0 5 0 20 0 1 0 384833214 3190784 397 33554432000 4194304 6006132 140735364336608 140735364330800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5700/statm: 779 397 158 443 0 332 0
[pid=5705] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5705/stat : 5705 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384833223 9367552 267 33554432000 4194304 5064252 140734337169248 140734337168160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5705/statm: 2287 267 226 213 0 72 0
[pid=5706] ppid=5705 vsize=64484 CPUtime=2.99 cores=0,2,4,6
/proc/5706/stat : 5706 (glucose) R 5705 5699 16392 0 -1 4202496 6468 0 0 0 297 2 0 0 20 0 1 0 384833223 66031616 13170 33554432000 4194304 5208918 140733225108544 140733225106488 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5706/statm: 16121 13170 96 248 0 15870 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 85896
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5720
/proc/meminfo: memFree=30853816/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=4.18 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 4109 11981 0 0 4 2 410 2 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5712] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5712/stat : 5712 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384833635 9367552 266 33554432000 4194304 5064252 140734559181712 140734559180624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5712/statm: 2287 266 226 213 0 72 0
[pid=5713] ppid=5712 vsize=30044 CPUtime=2.07 cores=0,2,4,6
/proc/5713/stat : 5713 (glucose) R 5712 5699 16392 0 -1 4202496 4801 0 0 0 207 0 0 0 20 0 1 0 384833635 30765056 6144 33554432000 4194304 5208918 140735978093616 140735978091768 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5713/statm: 7511 6144 95 248 0 7260 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 57376
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5727
/proc/meminfo: memFree=30834120/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=4.18 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 4109 11981 0 0 4 2 410 2 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5712] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5712/stat : 5712 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384833635 9367552 266 33554432000 4194304 5064252 140734559181712 140734559180624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5712/statm: 2287 266 226 213 0 72 0
[pid=5713] ppid=5712 vsize=37664 CPUtime=8.47 cores=0,2,4,6
/proc/5713/stat : 5713 (glucose) R 5712 5699 16392 0 -1 4202496 6805 0 0 0 846 1 0 0 20 0 1 0 384833635 38567936 6192 33554432000 4194304 5208918 140735978093616 140735978091704 4211897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5713/statm: 9416 6192 96 248 0 9165 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 64996
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5755
/proc/meminfo: memFree=30798800/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=4.18 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 4109 11981 0 0 4 2 410 2 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5712] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5712/stat : 5712 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384833635 9367552 266 33554432000 4194304 5064252 140734559181712 140734559180624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5712/statm: 2287 266 226 213 0 72 0
[pid=5713] ppid=5712 vsize=79636 CPUtime=21.26 cores=0,2,4,6
/proc/5713/stat : 5713 (glucose) R 5712 5699 16392 0 -1 4202496 8488 0 0 0 2124 2 0 0 20 0 1 0 384833635 81547264 16292 33554432000 4194304 5208918 140735978093616 140735978091560 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5713/statm: 19909 16292 96 248 0 19658 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 106968
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5762
/proc/meminfo: memFree=30798096/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=29.58 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 5076 23949 0 0 6 2 2939 11 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5761] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5761/stat : 5761 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384836176 9367552 266 33554432000 4194304 5064252 140737120207568 140737120206480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5761/statm: 2287 266 226 213 0 72 0
[pid=5762] ppid=5761 vsize=74448 CPUtime=21.46 cores=0,2,4,6
/proc/5762/stat : 5762 (glucose) R 5761 5699 16392 0 -1 4202496 6454 0 0 0 2144 2 0 0 20 0 1 0 384836176 76234752 15259 33554432000 4194304 5208918 140736485423984 140736485421928 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5762/statm: 18612 15259 96 248 0 18361 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 101780
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5783
/proc/meminfo: memFree=30826016/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=99.06 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 6788 55996 0 0 9 3 9867 27 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5782] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5782/stat : 5782 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384843125 9367552 267 33554432000 4194304 5064252 140734059697200 140734059696112 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5782/statm: 2287 267 226 213 0 72 0
[pid=5783] ppid=5782 vsize=17420 CPUtime=3.17 cores=0,2,4,6
/proc/5783/stat : 5783 (glucose) R 5782 5699 16392 0 -1 4202496 3552 0 0 0 317 0 0 0 20 0 1 0 384843125 17838080 3634 33554432000 4194304 5208918 140735277389760 140735277387912 4211623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5783/statm: 4355 3634 96 248 0 4104 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 44752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5784
/proc/meminfo: memFree=30748580/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=99.06 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 6788 55996 0 0 9 3 9867 27 20 0 1 0 384833214 9252864 1862 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1862 167 443 0 1812 0
[pid=5782] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 5836
/proc/meminfo: memFree=30680452/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=60204 CPUtime=159.76 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 15462 0 0 0 15953 23 0 0 20 0 1 0 384953463 61648896 14638 33554432000 4194304 5208918 140736404025280 140736404023368 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 15051 14638 104 248 0 14800 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 87536
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5836
/proc/meminfo: memFree=30635288/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=109524 CPUtime=219.76 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 19018 0 0 0 21944 32 0 0 20 0 1 0 384953463 112152576 26635 33554432000 4194304 5208918 140736404025280 140736404023272 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 27381 26635 104 248 0 27130 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 136856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5836
/proc/meminfo: memFree=30568224/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=190432 CPUtime=279.75 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 24994 0 0 0 27933 42 0 0 20 0 1 0 384953463 195002368 37153 33554432000 4194304 5208918 140736404025280 140736404023432 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 47608 37153 104 248 0 47357 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 217764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 5840
/proc/meminfo: memFree=30583748/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=140344 CPUtime=339.74 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 28881 0 0 0 33924 50 0 0 20 0 1 0 384953463 143712256 33268 33554432000 4194304 5208918 140736404025280 140736404023432 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 35086 33268 104 248 0 34835 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 167676
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5840
/proc/meminfo: memFree=30606656/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=140344 CPUtime=399.73 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 33597 0 0 0 39915 58 0 0 20 0 1 0 384953463 143712256 29172 33554432000 4194304 5208918 140736404025280 140736404023432 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 35086 29172 104 248 0 34835 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 167676
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5840
/proc/meminfo: memFree=30562648/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=190432 CPUtime=459.73 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 37579 0 0 0 45907 66 0 0 20 0 1 0 384953463 195002368 39713 33554432000 4194304 5208918 140736404025280 140736404023432 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 47608 39713 104 248 0 47357 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 217764
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 5840
/proc/meminfo: memFree=30564788/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=109524 CPUtime=519.71 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 40899 0 0 0 51897 74 0 0 20 0 1 0 384953463 112152576 23473 33554432000 4194304 5208918 140736404025280 140736404023432 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 27381 23473 104 248 0 27130 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 136856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5840
/proc/meminfo: memFree=30592432/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=140344 CPUtime=579.7 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 44651 0 0 0 57889 81 0 0 20 0 1 0 384953463 143712256 30708 33554432000 4194304 5208918 140736404025280 140736404023432 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 35086 30708 104 248 0 34835 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 167676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5880
/proc/meminfo: memFree=30782032/32873648 swapFree=7628/7628
[pid=5699] ppid=5697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5699/stat : 5699 (npSolver-wbo-It) S 5697 5699 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384833213 9367552 275 33554432000 4194304 5064252 140735692326784 140735692325696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5699/statm: 2287 275 233 213 0 72 0
[pid=5700] ppid=5699 vsize=9036 CPUtime=1202.23 cores=0,2,4,6
/proc/5700/stat : 5700 (npSolver-wbo) S 5699 5699 16392 0 -1 4202496 7645 172674 0 0 10 3 120032 178 20 0 1 0 384833214 9252864 1864 33554432000 4194304 6006132 140735364336608 140735364328000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5700/statm: 2259 1864 169 443 0 1812 0
[pid=5835] ppid=5700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5835/stat : 5835 (satsolver.sh) S 5700 5699 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384953463 9367552 266 33554432000 4194304 5064252 140734145229360 140734145228272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5835/statm: 2287 266 226 213 0 72 0
[pid=5836] ppid=5835 vsize=109524 CPUtime=597.8 cores=0,2,4,6
/proc/5836/stat : 5836 (glucose) R 5835 5699 16392 0 -1 4202496 45640 0 0 0 59697 83 0 0 20 0 1 0 384953463 112152576 25009 33554432000 4194304 5208918 140736404025280 140736404023368 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5836/statm: 27381 25009 104 248 0 27130 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 136856
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1797.41
CPU system time (s): 2.65859
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 354052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.41
system time used= 2.6586
maximum resident set size= 267436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467
involuntary context switches= 2106
runsolver used 2.85457 second user time and 7.47086 second system time
The end