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-3755331-1339194024/watcher-3755331-1339194024 -o /tmp/evaluation-result-3755331-1339194024/solver-3755331-1339194024 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755331-1339194024.wbo 595359180 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.02 2.02 2.00 2/180 24688
/proc/meminfo: memFree=30412840/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[startup+0.0659881 s]
/proc/loadavg: 2.02 2.02 2.00 2/180 24688
/proc/meminfo: memFree=30412840/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 2.02 2.02 2.00 2/180 24688
/proc/meminfo: memFree=30412840/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 2.02 2.02 2.00 2/180 24688
/proc/meminfo: memFree=30412840/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.02 2.02 2.00 2/180 24688
/proc/meminfo: memFree=30412840/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 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.02 2.02 2.00 3/184 24695
/proc/meminfo: memFree=30419948/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=3088 CPUtime=0.15 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 1956 2177 0 0 2 0 13 0 20 0 1 0 385531019 3162112 375 33554432000 4194304 6006132 140733418320992 140733418315184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24689/statm: 772 375 158 443 0 325 0
[pid=24694] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24694/stat : 24694 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385531037 9367552 266 33554432000 4194304 5064252 140737272213744 140737272212656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24694/statm: 2287 266 226 213 0 72 0
[pid=24695] ppid=24694 vsize=9388 CPUtime=1.31 cores=0,2,4,6
/proc/24695/stat : 24695 (glucose) R 24694 24688 22170 0 -1 4202496 2671 0 0 0 131 0 0 0 20 0 1 0 385531037 9613312 1539 33554432000 4194304 5208918 140735994393104 140735994391048 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24695/statm: 2347 1539 96 248 0 2096 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30772
[startup+3.10037 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24695
/proc/meminfo: memFree=30415236/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=3088 CPUtime=0.15 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 1956 2177 0 0 2 0 13 0 20 0 1 0 385531019 3162112 375 33554432000 4194304 6006132 140733418320992 140733418315184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24689/statm: 772 375 158 443 0 325 0
[pid=24694] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24694/stat : 24694 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385531037 9367552 266 33554432000 4194304 5064252 140737272213744 140737272212656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24694/statm: 2287 266 226 213 0 72 0
[pid=24695] ppid=24694 vsize=18784 CPUtime=2.91 cores=0,2,4,6
/proc/24695/stat : 24695 (glucose) R 24694 24688 22170 0 -1 4202496 3910 0 0 0 291 0 0 0 20 0 1 0 385531037 19234816 3781 33554432000 4194304 5208918 140735994393104 140735994391048 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24695/statm: 4696 3781 96 248 0 4445 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40168
[startup+6.30034 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24695
/proc/meminfo: memFree=30394820/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=3088 CPUtime=0.15 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 1956 2177 0 0 2 0 13 0 20 0 1 0 385531019 3162112 375 33554432000 4194304 6006132 140733418320992 140733418315184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24689/statm: 772 375 158 443 0 325 0
[pid=24694] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24694/stat : 24694 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385531037 9367552 266 33554432000 4194304 5064252 140737272213744 140737272212656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24694/statm: 2287 266 226 213 0 72 0
[pid=24695] ppid=24694 vsize=18780 CPUtime=6.11 cores=0,2,4,6
/proc/24695/stat : 24695 (glucose) R 24694 24688 22170 0 -1 4202496 4171 0 0 0 610 1 0 0 20 0 1 0 385531037 19230720 4273 33554432000 4194304 5208918 140735994393104 140735994391048 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24695/statm: 4695 4273 96 248 0 4444 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40164
[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.00 3/184 24702
/proc/meminfo: memFree=30391344/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=10.16 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 3261 9928 0 0 6 2 1006 2 20 0 1 0 385531019 11522048 2034 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2034 167 443 0 2366 0
[pid=24701] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24701/stat : 24701 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385532038 9367552 267 33554432000 4194304 5064252 140734730209296 140734730208208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24701/statm: 2287 267 226 213 0 72 0
[pid=24702] ppid=24701 vsize=25344 CPUtime=2.5 cores=0,2,4,6
/proc/24702/stat : 24702 (glucose) R 24701 24688 22170 0 -1 4202496 6749 0 0 0 249 1 0 0 20 0 1 0 385532039 25952256 5764 33554432000 4194304 5208918 140733507950112 140733507948200 4229532 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24702/statm: 6336 5764 96 248 0 6085 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54892
[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.00 3/184 24702
/proc/meminfo: memFree=30351800/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=10.16 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 3261 9928 0 0 6 2 1006 2 20 0 1 0 385531019 11522048 2034 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2034 167 443 0 2366 0
[pid=24701] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24701/stat : 24701 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385532038 9367552 267 33554432000 4194304 5064252 140734730209296 140734730208208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24701/statm: 2287 267 226 213 0 72 0
[pid=24702] ppid=24701 vsize=43976 CPUtime=15.29 cores=0,2,4,6
/proc/24702/stat : 24702 (glucose) R 24701 24688 22170 0 -1 4202496 8994 0 0 0 1528 1 0 0 20 0 1 0 385532039 45031424 10505 33554432000 4194304 5208918 140733507950112 140733507947976 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24702/statm: 10994 10505 96 248 0 10743 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 73524
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24709
/proc/meminfo: memFree=30387360/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=10.16 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 3261 9928 0 0 6 2 1006 2 20 0 1 0 385531019 11522048 2034 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2034 167 443 0 2366 0
[pid=24701] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24701/stat : 24701 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385532038 9367552 267 33554432000 4194304 5064252 140734730209296 140734730208208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24701/statm: 2287 267 226 213 0 72 0
[pid=24702] ppid=24701 vsize=55580 CPUtime=40.88 cores=0,2,4,6
/proc/24702/stat : 24702 (glucose) R 24701 24688 22170 0 -1 4202496 10093 0 0 0 4086 2 0 0 20 0 1 0 385532039 56913920 12910 33554432000 4194304 5208918 140733507950112 140733507948056 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24702/statm: 13895 12910 96 248 0 13644 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 85128
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24724
/proc/meminfo: memFree=30385664/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=98.92 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 4665 33986 0 0 9 2 9864 17 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24722] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24722/stat : 24722 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385540917 9367552 266 33554432000 4194304 5064252 140734711561936 140734711560848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24722/statm: 2287 266 226 213 0 72 0
[pid=24723] ppid=24722 vsize=16620 CPUtime=3.32 cores=0,2,4,6
/proc/24723/stat : 24723 (glucose) R 24722 24688 22170 0 -1 4202496 4284 0 0 0 332 0 0 0 20 0 1 0 385540917 17018880 3572 33554432000 4194304 5208918 140733575485696 140733575483640 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24723/statm: 4155 3572 96 248 0 3904 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 46168
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24738
/proc/meminfo: memFree=30406072/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=149.77 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 4844 43808 0 0 9 3 14945 20 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24737] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24737/stat : 24737 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385546003 9367552 267 33554432000 4194304 5064252 140733606835408 140733606834320 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24737/statm: 2287 267 226 213 0 72 0
[pid=24738] ppid=24737 vsize=22796 CPUtime=12.45 cores=0,2,4,6
/proc/24738/stat : 24738 (glucose) R 24737 24688 22170 0 -1 4202496 4624 0 0 0 1244 1 0 0 20 0 1 0 385546003 23343104 4571 33554432000 4194304 5208918 140736055148736 140736055146680 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24738/statm: 5699 4571 96 248 0 5448 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 52344
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24787
/proc/meminfo: memFree=30434424/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=212.5 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5164 73968 0 0 9 3 21209 29 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24779] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24779/stat : 24779 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385552278 9367552 267 33554432000 4194304 5064252 140733365741136 140733365740048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24779/statm: 2287 267 226 213 0 72 0
[pid=24780] ppid=24779 vsize=17592 CPUtime=9.7 cores=0,2,4,6
/proc/24780/stat : 24780 (glucose) R 24779 24688 22170 0 -1 4202496 3576 0 0 0 969 1 0 0 20 0 1 0 385552278 18014208 3975 33554432000 4194304 5208918 140737274006432 140737274004296 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24780/statm: 4398 3975 102 248 0 4147 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 47140
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30445648/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=6728 CPUtime=0.91 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 1935 0 0 0 91 0 0 0 20 0 1 0 385553317 6889472 1146 33554432000 4194304 5208918 140736871209904 140736871207752 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 1682 1146 96 248 0 1431 0
Current children cumulated CPU time (s) 223.79
Current children cumulated vsize (KiB) 36276
[startup+230.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30423084/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=17592 CPUtime=7.31 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4263 0 0 0 731 0 0 0 20 0 1 0 385553317 18014208 3902 33554432000 4194304 5208918 140736871209904 140736871207768 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 4398 3902 102 248 0 4147 0
Current children cumulated CPU time (s) 230.19
Current children cumulated vsize (KiB) 47140
[startup+231.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30420156/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=17592 CPUtime=8.91 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4340 0 0 0 891 0 0 0 20 0 1 0 385553317 18014208 3977 33554432000 4194304 5208918 140736871209904 140736871207768 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 4398 3977 102 248 0 4147 0
Current children cumulated CPU time (s) 231.79
Current children cumulated vsize (KiB) 47140
[startup+232.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30420156/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=17592 CPUtime=9.71 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4340 0 0 0 971 0 0 0 20 0 1 0 385553317 18014208 3977 33554432000 4194304 5208918 140736871209904 140736871207768 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 4398 3977 102 248 0 4147 0
Current children cumulated CPU time (s) 232.59
Current children cumulated vsize (KiB) 47140
[startup+233.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30420156/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=17592 CPUtime=10.11 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4340 0 0 0 1011 0 0 0 20 0 1 0 385553317 18014208 3977 33554432000 4194304 5208918 140736871209904 140736871207768 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 4398 3977 102 248 0 4147 0
Current children cumulated CPU time (s) 232.99
Current children cumulated vsize (KiB) 47140
[startup+233.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30420156/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=17592 CPUtime=10.31 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4340 0 0 0 1031 0 0 0 20 0 1 0 385553317 18014208 3977 33554432000 4194304 5208918 140736871209904 140736871207768 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 4398 3977 102 248 0 4147 0
Current children cumulated CPU time (s) 233.19
Current children cumulated vsize (KiB) 47140
[startup+233.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24794
/proc/meminfo: memFree=30420156/32873844 swapFree=7636/7636
[pid=24688] ppid=24686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24688/stat : 24688 (npSolver-wbo.sh) S 24686 24688 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385531019 9367552 274 33554432000 4194304 5064252 140734010864528 140734010863440 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24688/statm: 2287 274 233 213 0 72 0
[pid=24689] ppid=24688 vsize=11252 CPUtime=222.88 cores=0,2,4,6
/proc/24689/stat : 24689 (npSolver-wbo) S 24688 24688 22170 0 -1 4202496 5217 80965 0 0 9 3 22245 31 20 0 1 0 385531019 11522048 2035 33554432000 4194304 6006132 140733418320992 140733418312400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24689/statm: 2813 2035 168 443 0 2366 0
[pid=24793] ppid=24689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24793/stat : 24793 (satsolver.sh) S 24689 24688 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385553317 9367552 267 33554432000 4194304 5064252 140735358249264 140735358248176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24793/statm: 2287 267 226 213 0 72 0
[pid=24794] ppid=24793 vsize=7840 CPUtime=10.41 cores=0,2,4,6
/proc/24794/stat : 24794 (glucose) R 24793 24688 22170 0 -1 4202496 4340 0 0 0 1041 0 0 0 20 0 1 0 385553317 8028160 1580 33554432000 4194304 5208918 140736871209904 140736871207768 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24794/statm: 1960 1580 102 248 0 1709 0
Current children cumulated CPU time (s) 233.29
Current children cumulated vsize (KiB) 37388
Child status: 0
Real time (s): 233.441
CPU time (s): 233.363
CPU user time (s): 232.994
CPU system time (s): 0.368943
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 85128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.994
system time used= 0.368943
maximum resident set size= 53732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 363
involuntary context switches= 366
runsolver used 0.352946 second user time and 0.928858 second system time
The end