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-3752953-1339198464/watcher-3752953-1339198464 -o /tmp/evaluation-result-3752953-1339198464/solver-3752953-1339198464 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752953-1339198464.wbo 1298530331 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: 1.78 1.50 1.54 3/179 26829
/proc/meminfo: memFree=30979464/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[startup+0.098313 s]
/proc/loadavg: 1.78 1.50 1.54 3/179 26829
/proc/meminfo: memFree=30979464/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100307 s]
/proc/loadavg: 1.78 1.50 1.54 3/179 26829
/proc/meminfo: memFree=30979464/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 1.78 1.50 1.54 3/179 26829
/proc/meminfo: memFree=30979464/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.78 1.50 1.54 3/179 26829
/proc/meminfo: memFree=30979464/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.78 1.50 1.54 3/183 26836
/proc/meminfo: memFree=30964424/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=3096 CPUtime=0.22 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 1960 2204 0 0 2 0 20 0 20 0 1 0 385970961 3170304 380 33554432000 4194304 6006132 140737053860464 140737053854656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26830/statm: 774 380 158 443 0 327 0
[pid=26835] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26835/stat : 26835 (satsolver.sh) S 26830 26829 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385971001 9367552 265 33554432000 4194304 5064252 140733293065008 140733293063920 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26835/statm: 2287 265 226 213 0 72 0
[pid=26836] ppid=26835 vsize=9428 CPUtime=1.09 cores=1,3,5,7
/proc/26836/stat : 26836 (glucose) R 26835 26829 643 0 -1 4202496 1887 0 0 0 109 0 0 0 20 0 1 0 385971001 9654272 1793 33554432000 4194304 5208918 140734964486432 140734964484584 4212619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 2357 1793 96 248 0 2106 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 30820
[startup+3.10034 s]
/proc/loadavg: 1.80 1.51 1.54 3/183 26843
/proc/meminfo: memFree=30971624/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=3096 CPUtime=0.22 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 1960 2204 0 0 2 0 20 0 20 0 1 0 385970961 3170304 380 33554432000 4194304 6006132 140737053860464 140737053854656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26830/statm: 774 380 158 443 0 327 0
[pid=26835] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26835/stat : 26835 (satsolver.sh) S 26830 26829 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385971001 9367552 265 33554432000 4194304 5064252 140733293065008 140733293063920 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26835/statm: 2287 265 226 213 0 72 0
[pid=26836] ppid=26835 vsize=11100 CPUtime=2.69 cores=1,3,5,7
/proc/26836/stat : 26836 (glucose) R 26835 26829 643 0 -1 4202496 2315 0 0 0 269 0 0 0 20 0 1 0 385971001 11366400 2206 33554432000 4194304 5208918 140734964486432 140734964484296 4228992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 2775 2206 96 248 0 2524 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 32492
[startup+6.30034 s]
/proc/loadavg: 1.80 1.51 1.54 3/183 26850
/proc/meminfo: memFree=30970880/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=3096 CPUtime=0.22 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 1960 2204 0 0 2 0 20 0 20 0 1 0 385970961 3170304 380 33554432000 4194304 6006132 140737053860464 140737053854656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26830/statm: 774 380 158 443 0 327 0
[pid=26835] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26835/stat : 26835 (satsolver.sh) S 26830 26829 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385971001 9367552 265 33554432000 4194304 5064252 140733293065008 140733293063920 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26835/statm: 2287 265 226 213 0 72 0
[pid=26836] ppid=26835 vsize=19356 CPUtime=5.88 cores=1,3,5,7
/proc/26836/stat : 26836 (glucose) R 26835 26829 643 0 -1 4202496 3048 0 0 0 588 0 0 0 20 0 1 0 385971001 19820544 3292 33554432000 4194304 5208918 140734964486432 140734964484376 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 4839 3292 96 248 0 4588 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 40748
[startup+12.7003 s]
/proc/loadavg: 1.81 1.52 1.55 3/183 26871
/proc/meminfo: memFree=30962764/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=7.32 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 2366 8688 0 0 3 1 726 2 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=26856] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26856/stat : 26856 (satsolver.sh) S 26830 26829 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385971711 9367552 267 33554432000 4194304 5064252 140736645759728 140736645758640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26856/statm: 2287 267 226 213 0 72 0
[pid=26857] ppid=26856 vsize=17916 CPUtime=5.18 cores=1,3,5,7
/proc/26857/stat : 26857 (glucose) R 26856 26829 643 0 -1 4202496 4122 0 0 0 518 0 0 0 20 0 1 0 385971711 18345984 4078 33554432000 4194304 5208918 140733860694768 140733860692632 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26857/statm: 4479 4078 96 248 0 4228 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 40412
[startup+25.5003 s]
/proc/loadavg: 1.92 1.56 1.56 3/183 26944
/proc/meminfo: memFree=30955600/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=16.41 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 2759 16396 0 0 4 2 1630 5 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=26891] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26891/stat : 26891 (satsolver.sh) S 26830 26829 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385972618 9367552 267 33554432000 4194304 5064252 140733355365696 140733355364608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26891/statm: 2287 267 226 213 0 72 0
[pid=26892] ppid=26891 vsize=24044 CPUtime=8.91 cores=1,3,5,7
/proc/26892/stat : 26892 (glucose) R 26891 26829 643 0 -1 4202496 4679 0 0 0 890 1 0 0 20 0 1 0 385972618 24621056 4764 33554432000 4194304 5208918 140735547857456 140735547855400 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26892/statm: 6011 4764 96 248 0 5760 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 46540
[startup+51.1004 s]
/proc/loadavg: 1.95 1.59 1.57 3/183 26979
/proc/meminfo: memFree=30947492/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=43.81 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 3932 39469 0 0 5 2 4361 13 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=26978] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26978/stat : 26978 (satsolver.sh) S 26830 26829 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385975360 9367552 266 33554432000 4194304 5064252 140733862719360 140733862718272 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26978/statm: 2287 266 226 213 0 72 0
[pid=26979] ppid=26978 vsize=17916 CPUtime=7.1 cores=1,3,5,7
/proc/26979/stat : 26979 (glucose) R 26978 26829 643 0 -1 4202496 4157 0 0 0 709 1 0 0 20 0 1 0 385975360 18345984 4088 33554432000 4194304 5208918 140735574349840 140735574347928 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26979/statm: 4479 4088 96 248 0 4228 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 40412
[startup+102.3 s]
/proc/loadavg: 2.02 1.67 1.59 3/183 27049
/proc/meminfo: memFree=30952704/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=98.59 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 6278 85886 0 0 8 2 9819 30 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=27048] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27048/stat : 27048 (satsolver.sh) S 26830 26829 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385980840 9367552 265 33554432000 4194304 5064252 140735272682320 140735272681232 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27048/statm: 2287 265 226 213 0 72 0
[pid=27049] ppid=27048 vsize=15200 CPUtime=3.51 cores=1,3,5,7
/proc/27049/stat : 27049 (glucose) R 27048 26829 643 0 -1 4202496 4071 0 0 0 351 0 0 0 20 0 1 0 385980840 15564800 3409 33554432000 4194304 5208918 140736922951072 140736922949016 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27049/statm: 3800 3409 96 248 0 3549 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 37696
[startup+162.3 s]
/proc/loadavg: 2.10 1.75 1.63 3/183 27126
/proc/meminfo: memFree=30950908/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=153.18 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 8624 131418 0 0 11 3 15258 46 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=27118] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=28788] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28788/stat : 28788 (satsolver.sh) S 26830 26829 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386112691 9367552 267 33554432000 4194304 5064252 140735599350944 140735599349856 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28788/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 1416.8
Current children cumulated vsize (KiB) 22496
#
############
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/183 28866
/proc/meminfo: memFree=30955548/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1480.62 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 65710 1267870 0 0 87 18 147515 442 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=28865] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28865/stat : 28865 (satsolver.sh) S 26830 26829 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386119075 9367552 267 33554432000 4194304 5064252 140733484949184 140733484948096 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28865/statm: 2287 267 226 213 0 72 0
[pid=28866] ppid=28865 vsize=10844 CPUtime=1.15 cores=1,3,5,7
/proc/28866/stat : 28866 (glucose) R 28865 26829 643 0 -1 4202496 2604 0 0 0 115 0 0 0 20 0 1 0 386119076 11104256 2345 33554432000 4194304 5208918 140735487274944 140735487273032 4229725 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28866/statm: 2711 2345 96 248 0 2460 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 33340
[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.88 3/184 28946
/proc/meminfo: memFree=30944252/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1535.36 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 68056 1314696 0 0 90 18 152970 458 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=28942] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28942/stat : 28942 (satsolver.sh) S 26830 26829 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386124552 9367552 265 33554432000 4194304 5064252 140735470699408 140735470698320 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28942/statm: 2287 265 226 213 0 72 0
[pid=28943] ppid=28942 vsize=25000 CPUtime=6.38 cores=1,3,5,7
/proc/28943/stat : 28943 (glucose) R 28942 26829 643 0 -1 4202496 4307 0 0 0 638 0 0 0 20 0 1 0 386124552 25600000 5634 33554432000 4194304 5208918 140733606413968 140733606411960 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28943/statm: 6250 5634 96 248 0 5999 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 47496
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/184 29053
/proc/meminfo: memFree=30958000/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1598.95 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 70793 1369253 0 0 94 19 159303 479 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29052] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29052/stat : 29052 (satsolver.sh) S 26830 26829 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386130911 9367552 267 33554432000 4194304 5064252 140736902393600 140736902392512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29052/statm: 2287 267 226 213 0 72 0
[pid=29053] ppid=29052 vsize=15200 CPUtime=2.79 cores=1,3,5,7
/proc/29053/stat : 29053 (glucose) R 29052 26829 643 0 -1 4202496 4067 0 0 0 278 1 0 0 20 0 1 0 386130911 15564800 3408 33554432000 4194304 5208918 140733340990480 140733340988424 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29053/statm: 3800 3408 96 248 0 3549 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 37696
[startup+1662.3 s]
/proc/loadavg: 2.03 1.99 1.90 3/183 29123
/proc/meminfo: memFree=30943044/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1653.68 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 73139 1416079 0 0 97 20 164755 496 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29122] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29122/stat : 29122 (satsolver.sh) S 26830 26829 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386136385 9367552 267 33554432000 4194304 5064252 140735557494784 140735557493696 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29122/statm: 2287 267 226 213 0 72 0
[pid=29123] ppid=29122 vsize=24044 CPUtime=8.04 cores=1,3,5,7
/proc/29123/stat : 29123 (glucose) R 29122 26829 643 0 -1 4202496 4314 0 0 0 803 1 0 0 20 0 1 0 386136385 24621056 4603 33554432000 4194304 5208918 140737462605648 140737462603592 4229166 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29123/statm: 6011 4603 96 248 0 5760 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 46540
[startup+1722.3 s]
/proc/loadavg: 1.95 1.97 1.90 3/183 29208
/proc/meminfo: memFree=30953964/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1717.25 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 75876 1470684 0 0 100 20 171088 517 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29206] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29206/stat : 29206 (satsolver.sh) S 26830 26829 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386142746 9367552 267 33554432000 4194304 5064252 140735082505264 140735082504176 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29206/statm: 2287 267 226 213 0 72 0
[pid=29207] ppid=29206 vsize=15200 CPUtime=4.44 cores=1,3,5,7
/proc/29207/stat : 29207 (glucose) R 29206 26829 643 0 -1 4202496 4057 0 0 0 444 0 0 0 20 0 1 0 386142746 15564800 3410 33554432000 4194304 5208918 140734870338880 140734870336824 4215258 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29207/statm: 3800 3410 96 248 0 3549 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 37696
[startup+1782.3 s]
/proc/loadavg: 1.98 1.97 1.90 3/183 29292
/proc/meminfo: memFree=30966864/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1781 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 78613 1526097 0 0 104 21 177437 538 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29291] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29291/stat : 29291 (satsolver.sh) S 26830 26829 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386149120 9367552 267 33554432000 4194304 5064252 140736956191904 140736956190816 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29291/statm: 2287 267 226 213 0 72 0
[pid=29292] ppid=29291 vsize=9000 CPUtime=0.7 cores=1,3,5,7
/proc/29292/stat : 29292 (glucose) R 29291 26829 643 0 -1 4202496 1965 0 0 0 70 0 0 0 20 0 1 0 386149120 9216000 1750 33554432000 4194304 5208918 140735823712464 140735823710424 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29292/statm: 2250 1750 96 248 0 1999 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 31496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 1.98 1.97 1.90 3/183 29299
/proc/meminfo: memFree=30956940/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1790.18 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 79004 1533424 0 0 105 21 178351 541 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29298] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29298/stat : 29298 (satsolver.sh) S 26830 26829 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386150038 9367552 267 33554432000 4194304 5064252 140735966185552 140735966184464 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29298/statm: 2287 267 226 213 0 72 0
[pid=29299] ppid=29298 vsize=8116 CPUtime=0.82 cores=1,3,5,7
/proc/29299/stat : 29299 (glucose) R 29298 26829 643 0 -1 4202496 2702 0 0 0 82 0 0 0 20 0 1 0 386150038 8310784 1565 33554432000 4194304 5208918 140736637349232 140736637347384 4231478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29299/statm: 2029 1565 96 248 0 1778 0
Current children cumulated CPU time (s) 1791
Current children cumulated vsize (KiB) 30612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1791.6 s]
/proc/loadavg: 1.98 1.97 1.90 3/183 29299
/proc/meminfo: memFree=30956940/32873844 swapFree=9160/9160
[pid=26829] ppid=26827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26829/stat : 26829 (npSolver-wbo-It) S 26827 26829 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385970961 9367552 274 33554432000 4194304 5064252 140735507391312 140735507390224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26829/statm: 2287 274 233 213 0 72 0
[pid=26830] ppid=26829 vsize=4200 CPUtime=1790.18 cores=1,3,5,7
/proc/26830/stat : 26830 (npSolver-wbo) S 26829 26829 643 0 -1 4202496 79004 1533424 0 0 105 21 178351 541 20 0 1 0 385970961 4300800 631 33554432000 4194304 6006132 140737053860464 140737053851824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26830/statm: 1050 631 177 443 0 603 0
[pid=29298] ppid=26830 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29298/stat : 29298 (satsolver.sh) S 26830 26829 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386150038 9367552 267 33554432000 4194304 5064252 140735966185552 140735966184464 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29298/statm: 2287 267 226 213 0 72 0
[pid=29299] ppid=29298 vsize=8116 CPUtime=0.82 cores=1,3,5,7
/proc/29299/stat : 29299 (glucose) R 29298 26829 643 0 -1 4202496 2702 0 0 0 82 0 0 0 20 0 1 0 386150038 8310784 1565 33554432000 4194304 5208918 140736637349232 140736637347384 4231478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29299/statm: 2029 1565 96 248 0 1778 0
Current children cumulated CPU time (s) 1791
Current children cumulated vsize (KiB) 30612
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 9.07996
# lost CPU user time (s): 9.07996
# lost CPU system time (s): 0
Real time (s): 1791.61
CPU time (s): 1800.13
CPU user time (s): 1794.48
CPU system time (s): 5.64914
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 47496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.4
system time used= 5.64914
maximum resident set size= 29880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1616121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 250000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4432
involuntary context switches= 4024
runsolver used 3.36149 second user time and 9.08862 second system time
The end