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-3755025-1339188785/watcher-3755025-1339188785 -o /tmp/evaluation-result-3755025-1339188785/solver-3755025-1339188785 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755025-1339188785.wbo 1304166762 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.08 2.05 2.00 3/179 20175
/proc/meminfo: memFree=31591404/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[startup+0.031743 s]
/proc/loadavg: 2.08 2.05 2.00 3/179 20175
/proc/meminfo: memFree=31591404/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10025 s]
/proc/loadavg: 2.08 2.05 2.00 3/179 20175
/proc/meminfo: memFree=31591404/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.08 2.05 2.00 3/179 20175
/proc/meminfo: memFree=31591404/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700248 s]
/proc/loadavg: 2.08 2.05 2.00 3/179 20175
/proc/meminfo: memFree=31591404/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/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.08 2.05 2.00 3/183 20182
/proc/meminfo: memFree=31586636/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 1449 2691 0 0 2 0 14 0 20 0 1 0 385004071 3166208 377 33554432000 4194304 6006132 140736034866480 140736034860672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20176/statm: 773 377 158 443 0 326 0
[pid=20181] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20181/stat : 20181 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385004089 9367552 267 33554432000 4194304 5064252 140735219136912 140735219135824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20181/statm: 2287 267 226 213 0 72 0
[pid=20182] ppid=20181 vsize=8436 CPUtime=1.3 cores=0,2,4,6
/proc/20182/stat : 20182 (glucose) R 20181 20175 17372 0 -1 4202496 2677 0 0 0 130 0 0 0 20 0 1 0 385004089 8638464 1686 33554432000 4194304 5208918 140736529862896 140736529860840 4229335 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20182/statm: 2109 1686 96 248 0 1858 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29824
[startup+3.10035 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 20189
/proc/meminfo: memFree=31593256/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 1449 2691 0 0 2 0 14 0 20 0 1 0 385004071 3166208 377 33554432000 4194304 6006132 140736034866480 140736034860672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20176/statm: 773 377 158 443 0 326 0
[pid=20181] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20181/stat : 20181 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385004089 9367552 267 33554432000 4194304 5064252 140735219136912 140735219135824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20181/statm: 2287 267 226 213 0 72 0
[pid=20182] ppid=20181 vsize=12788 CPUtime=2.91 cores=0,2,4,6
/proc/20182/stat : 20182 (glucose) R 20181 20175 17372 0 -1 4202496 2745 0 0 0 290 1 0 0 20 0 1 0 385004089 13094912 2775 33554432000 4194304 5208918 140736529862896 140736529860840 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20182/statm: 3197 2775 96 248 0 2946 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34176
[startup+6.30036 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 20189
/proc/meminfo: memFree=31584900/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 1449 2691 0 0 2 0 14 0 20 0 1 0 385004071 3166208 377 33554432000 4194304 6006132 140736034866480 140736034860672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20176/statm: 773 377 158 443 0 326 0
[pid=20181] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20181/stat : 20181 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385004089 9367552 267 33554432000 4194304 5064252 140735219136912 140735219135824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20181/statm: 2287 267 226 213 0 72 0
[pid=20182] ppid=20181 vsize=22792 CPUtime=6.1 cores=0,2,4,6
/proc/20182/stat : 20182 (glucose) R 20181 20175 17372 0 -1 4202496 3521 0 0 0 609 1 0 0 20 0 1 0 385004089 23339008 5056 33554432000 4194304 5208918 140736529862896 140736529860760 4230008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20182/statm: 5698 5056 96 248 0 5447 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44180
[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 20189
/proc/meminfo: memFree=31572876/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=12.05 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 2580 10057 0 0 5 2 1195 3 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 16212
[startup+25.5004 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 20203
/proc/meminfo: memFree=31549020/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=12.05 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 2580 10057 0 0 5 2 1195 3 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
[pid=20195] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20195/stat : 20195 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385005277 9367552 266 33554432000 4194304 5064252 140735327666560 140735327665472 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20195/statm: 2287 266 226 213 0 72 0
[pid=20196] ppid=20195 vsize=37204 CPUtime=13.42 cores=0,2,4,6
/proc/20196/stat : 20196 (glucose) R 20195 20175 17372 0 -1 4202496 8206 0 0 0 1341 1 0 0 20 0 1 0 385005278 38096896 8866 33554432000 4194304 5208918 140734339639328 140734339637192 4228975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20196/statm: 9301 8866 96 248 0 9050 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 62564
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 20210
/proc/meminfo: memFree=31540004/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=12.05 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 2580 10057 0 0 5 2 1195 3 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
[pid=20195] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20195/stat : 20195 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385005277 9367552 266 33554432000 4194304 5064252 140735327666560 140735327665472 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20195/statm: 2287 266 226 213 0 72 0
[pid=20196] ppid=20195 vsize=63220 CPUtime=39 cores=0,2,4,6
/proc/20196/stat : 20196 (glucose) R 20195 20175 17372 0 -1 4202496 9929 0 0 0 3899 1 0 0 20 0 1 0 385005278 64737280 11362 33554432000 4194304 5208918 140734339639328 140734339637272 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20196/statm: 15805 11362 96 248 0 15554 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 88580
[startup+102.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20303
/proc/meminfo: memFree=31513232/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=90.4 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 3823 33412 0 0 7 2 9017 14 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
[pid=20245] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20245/stat : 20245 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385013116 9367552 266 33554432000 4194304 5064252 140733486870656 140733486869568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20245/statm: 2287 266 226 213 0 72 0
[pid=20246] ppid=20245 vsize=24676 CPUtime=11.83 cores=0,2,4,6
/proc/20246/stat : 20246 (glucose) R 20245 20175 17372 0 -1 4202496 5651 0 0 0 1183 0 0 0 20 0 1 0 385013116 25268224 5653 33554432000 4194304 5208918 140735003421408 140735003419272 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20246/statm: 6169 5653 96 248 0 5918 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 50036
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20338
/proc/meminfo: memFree=31502280/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=152.84 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4177 57388 0 0 7 3 15254 20 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
[pid=20337] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20337/stat : 20337 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019361 9367552 267 33554432000 4194304 5064252 140733963695760 140733963694672 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20337/statm: 2287 267 226 213 0 72 0
[pid=20338] ppid=20337 vsize=21084 CPUtime=9.38 cores=0,2,4,6
/proc/20338/stat : 20338 (glucose) R 20337 20175 17372 0 -1 4202496 3948 0 0 0 938 0 0 0 20 0 1 0 385019361 21590016 3851 33554432000 4194304 5208918 140733559013264 140733559011208 4228992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20338/statm: 5271 3851 96 248 0 5020 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 46444
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20345
/proc/meminfo: memFree=31493724/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=167.93 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4255 64682 0 0 7 3 16761 22 20 0 1 0 385004071 7233536 1343 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1343 167 443 0 1319 0
[pid=20344] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20344/stat : 20344 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385020869 9367552 267 33554432000 4194304 5064252 140735292041440 140735292040352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20344/statm: 2287 267 226 213 0 72 0
[pid=20345] ppid=20344 vsize=20932 CPUtime=11.1 cores=0,2,4,6
/proc/20345/stat : 20345 (glucose) R 20344 20175 17372 0 -1 4202496 4300 0 0 0 1109 1 0 0 20 0 1 0 385020869 21434368 4776 33554432000 4194304 5208918 140735084865840 140735084863784 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20345/statm: 5233 4776 102 248 0 4982 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 46292
[startup+191.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20352
/proc/meminfo: memFree=31505500/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=186.58 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4309 71864 0 0 7 3 18624 24 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20351] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20351/stat : 20351 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385022736 9367552 266 33554432000 4194304 5064252 140733858840704 140733858839616 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20351/statm: 2287 266 226 213 0 72 0
[pid=20352] ppid=20351 vsize=13840 CPUtime=5.23 cores=0,2,4,6
/proc/20352/stat : 20352 (glucose) R 20351 20175 17372 0 -1 4202496 3072 0 0 0 523 0 0 0 20 0 1 0 385022736 14172160 2995 33554432000 4194304 5208918 140734850330544 140734850328488 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20352/statm: 3460 2995 96 248 0 3209 0
Current children cumulated CPU time (s) 191.81
Current children cumulated vsize (KiB) 39200
[startup+204.7 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31503764/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=14632 CPUtime=5.49 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202496 3528 0 0 0 549 0 0 0 20 0 1 0 385023990 14983168 3168 33554432000 4194304 5208918 140734130218272 140734130216136 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 3658 3168 96 248 0 3407 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 39992
[startup+211.1 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31486948/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=17352 CPUtime=11.89 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202496 4303 0 0 0 1189 0 0 0 20 0 1 0 385023990 17768448 3915 33554432000 4194304 5208918 140734130218272 140734130216136 4229377 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 4338 3915 102 248 0 4087 0
Current children cumulated CPU time (s) 211.01
Current children cumulated vsize (KiB) 42712
[startup+214.3 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31486948/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=24428 CPUtime=15.08 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202496 4555 0 0 0 1508 0 0 0 20 0 1 0 385023990 25014272 5189 33554432000 4194304 5208918 140734130218272 140734130216136 4229728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 6107 5189 102 248 0 5856 0
Current children cumulated CPU time (s) 214.2
Current children cumulated vsize (KiB) 49788
[startup+215.1 s]
/proc/loadavg: 1.94 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31481860/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=24428 CPUtime=15.88 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202496 4599 0 0 0 1588 0 0 0 20 0 1 0 385023990 25014272 5231 33554432000 4194304 5208918 140734130218272 140734130216264 4229414 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 6107 5231 102 248 0 5856 0
Current children cumulated CPU time (s) 215
Current children cumulated vsize (KiB) 49788
[startup+215.5 s]
/proc/loadavg: 1.94 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31486204/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=17352 CPUtime=16.29 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202496 4610 0 0 0 1629 0 0 0 20 0 1 0 385023990 17768448 3915 33554432000 4194304 5208918 140734130218272 140734130216264 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 4338 3915 102 248 0 4087 0
Current children cumulated CPU time (s) 215.41
Current children cumulated vsize (KiB) 42712
[startup+215.7 s]
/proc/loadavg: 1.94 2.00 1.99 3/183 20359
/proc/meminfo: memFree=31486204/32873844 swapFree=7632/7632
[pid=20175] ppid=20173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20175/stat : 20175 (npSolver-wbo.sh) S 20173 20175 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385004070 9367552 275 33554432000 4194304 5064252 140733198540752 140733198539664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20175/statm: 2287 275 233 213 0 72 0
[pid=20176] ppid=20175 vsize=7064 CPUtime=199.12 cores=0,2,4,6
/proc/20176/stat : 20176 (npSolver-wbo) S 20175 20175 17372 0 -1 4202496 4388 78531 0 0 7 3 19877 25 20 0 1 0 385004071 7233536 1344 33554432000 4194304 6006132 140736034866480 140736034857888 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20176/statm: 1766 1344 168 443 0 1319 0
[pid=20358] ppid=20176 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (satsolver.sh) S 20176 20175 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023990 9367552 267 33554432000 4194304 5064252 140734822849136 140734822848048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20358/statm: 2287 267 226 213 0 72 0
[pid=20359] ppid=20358 vsize=0 CPUtime=16.48 cores=0,2,4,6
/proc/20359/stat : 20359 (glucose) R 20358 20175 17372 0 -1 4202500 4611 0 0 0 1648 0 0 0 20 0 1 0 385023990 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20359/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 215.6
Current children cumulated vsize (KiB) 25360
Child status: 0
Real time (s): 215.713
CPU time (s): 215.663
CPU user time (s): 215.349
CPU system time (s): 0.313952
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 88580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.349
system time used= 0.313952
maximum resident set size= 47992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320
involuntary context switches= 347
runsolver used 0.376942 second user time and 0.830873 second system time
The end