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-3755009-1339188506/watcher-3755009-1339188506 -o /tmp/evaluation-result-3755009-1339188506/solver-3755009-1339188506 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755009-1339188506.wbo 154583329 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: 2.00 2.00 1.95 3/179 31220
/proc/meminfo: memFree=31197504/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[startup+0.0872631 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31220
/proc/meminfo: memFree=31197504/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31220
/proc/meminfo: memFree=31197504/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31220
/proc/meminfo: memFree=31197504/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31220
/proc/meminfo: memFree=31197504/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31227
/proc/meminfo: memFree=31191480/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=3092 CPUtime=0.21 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 1949 2735 0 0 2 0 19 0 20 0 1 0 384976547 3166208 368 33554432000 4194304 6006132 140737093359424 140737093353616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31221/statm: 773 368 158 443 0 326 0
[pid=31226] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31226/stat : 31226 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976570 9367552 267 33554432000 4194304 5064252 140735001445120 140735001444032 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31226/statm: 2287 267 226 213 0 72 0
[pid=31227] ppid=31226 vsize=8568 CPUtime=1.25 cores=1,3,5,7
/proc/31227/stat : 31227 (glucose) R 31226 31220 28786 0 -1 4202496 2486 0 0 0 125 0 0 0 20 0 1 0 384976570 8773632 1655 33554432000 4194304 5208918 140734869707472 140734869705416 4229992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31227/statm: 2142 1655 96 248 0 1891 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29956
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31227
/proc/meminfo: memFree=31180392/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=3092 CPUtime=0.21 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 1949 2735 0 0 2 0 19 0 20 0 1 0 384976547 3166208 368 33554432000 4194304 6006132 140737093359424 140737093353616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31221/statm: 773 368 158 443 0 326 0
[pid=31226] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31226/stat : 31226 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976570 9367552 267 33554432000 4194304 5064252 140735001445120 140735001444032 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31226/statm: 2287 267 226 213 0 72 0
[pid=31227] ppid=31226 vsize=12920 CPUtime=2.85 cores=1,3,5,7
/proc/31227/stat : 31227 (glucose) R 31226 31220 28786 0 -1 4202496 2604 0 0 0 285 0 0 0 20 0 1 0 384976570 13230080 2792 33554432000 4194304 5208918 140734869707472 140734869705416 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31227/statm: 3230 2792 96 248 0 2979 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34308
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 31272
/proc/meminfo: memFree=31332064/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=3092 CPUtime=0.21 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 1949 2735 0 0 2 0 19 0 20 0 1 0 384976547 3166208 368 33554432000 4194304 6006132 140737093359424 140737093353616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31221/statm: 773 368 158 443 0 326 0
[pid=31226] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31226/stat : 31226 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384976570 9367552 267 33554432000 4194304 5064252 140735001445120 140735001444032 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31226/statm: 2287 267 226 213 0 72 0
[pid=31227] ppid=31226 vsize=22716 CPUtime=6.04 cores=1,3,5,7
/proc/31227/stat : 31227 (glucose) R 31226 31220 28786 0 -1 4202496 3772 0 0 0 604 0 0 0 20 0 1 0 384976570 23261184 4960 33554432000 4194304 5208918 140734869707472 140734869705464 4229471 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31227/statm: 5679 4960 96 248 0 5428 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 44104
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31286
/proc/meminfo: memFree=31293176/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=7.76 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 2967 9402 0 0 4 2 768 2 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31278] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31278/stat : 31278 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384977325 9367552 267 33554432000 4194304 5064252 140734597425536 140734597424448 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31278/statm: 2287 267 226 213 0 72 0
[pid=31279] ppid=31278 vsize=28840 CPUtime=4.91 cores=1,3,5,7
/proc/31279/stat : 31279 (glucose) R 31278 31220 28786 0 -1 4202496 6484 0 0 0 490 1 0 0 20 0 1 0 384977325 29532160 6726 33554432000 4194304 5208918 140735234019888 140735234017832 4229471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31279/statm: 7210 6726 96 248 0 6959 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 54200
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 31293
/proc/meminfo: memFree=31287076/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=23.65 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 3507 19851 0 0 5 2 2350 8 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31292] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31292/stat : 31292 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384978914 9367552 266 33554432000 4194304 5064252 140736003693776 140736003692688 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31292/statm: 2287 266 226 213 0 72 0
[pid=31293] ppid=31292 vsize=17832 CPUtime=1.81 cores=1,3,5,7
/proc/31293/stat : 31293 (glucose) R 31292 31220 28786 0 -1 4202496 4032 0 0 0 181 0 0 0 20 0 1 0 384978914 18259968 3268 33554432000 4194304 5208918 140734448260848 140734448258792 4232672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31293/statm: 4458 3268 96 248 0 4207 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43192
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 31314
/proc/meminfo: memFree=31313192/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=39.39 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 3880 29334 0 0 5 2 3921 11 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31306] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31306/stat : 31306 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384980489 9367552 266 33554432000 4194304 5064252 140733782737760 140733782736672 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31306/statm: 2287 266 226 213 0 72 0
[pid=31307] ppid=31306 vsize=24092 CPUtime=11.66 cores=1,3,5,7
/proc/31307/stat : 31307 (glucose) R 31306 31220 28786 0 -1 4202496 4490 0 0 0 1165 1 0 0 20 0 1 0 384980489 24670208 5593 33554432000 4194304 5208918 140734486949248 140734486947192 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31307/statm: 6023 5593 96 248 0 5772 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49452
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 31367
/proc/meminfo: memFree=31315700/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=80.06 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4244 52101 0 0 6 2 7981 17 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31349] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31349/stat : 31349 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384984557 9367552 266 33554432000 4194304 5064252 140734913051408 140734913050320 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31349/statm: 2287 266 226 213 0 72 0
[pid=31350] ppid=31349 vsize=22924 CPUtime=22.18 cores=1,3,5,7
/proc/31350/stat : 31350 (glucose) R 31349 31220 28786 0 -1 4202496 5593 0 0 0 2217 1 0 0 20 0 1 0 384984557 23474176 5292 33554432000 4194304 5208918 140736765050208 140736765048152 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31350/statm: 5731 5292 102 248 0 5480 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 48284
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31473
/proc/meminfo: memFree=31339564/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=10164 CPUtime=1.21 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 2376 0 0 0 121 0 0 0 20 0 1 0 384992655 10407936 1541 33554432000 4194304 5208918 140734781410992 140734781408936 4229734 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 2541 1541 96 248 0 2290 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 35524
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31473
/proc/meminfo: memFree=31314248/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=14692 CPUtime=5.2 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 3582 0 0 0 520 0 0 0 20 0 1 0 384992655 15044608 3113 33554432000 4194304 5208918 140734781410992 140734781409080 4229770 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 3673 3113 96 248 0 3422 0
Current children cumulated CPU time (s) 166.21
Current children cumulated vsize (KiB) 40052
[startup+172.707 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31473
/proc/meminfo: memFree=31307496/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=11.61 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4374 0 0 0 1161 0 0 0 20 0 1 0 384992655 22286336 4913 33554432000 4194304 5208918 140734781410992 140734781408936 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 4913 96 248 0 5190 0
Current children cumulated CPU time (s) 172.62
Current children cumulated vsize (KiB) 47124
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31480
/proc/meminfo: memFree=31319404/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=18 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4490 0 0 0 1800 0 0 0 20 0 1 0 384992655 22286336 5035 33554432000 4194304 5208918 140734781410992 140734781408936 4229770 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 5035 102 248 0 5190 0
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (KiB) 47124
[startup+182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31480
/proc/meminfo: memFree=31310968/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=21.2 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4490 0 0 0 2120 0 0 0 20 0 1 0 384992655 22286336 5035 33554432000 4194304 5208918 140734781410992 140734781408936 4228930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 5035 102 248 0 5190 0
Current children cumulated CPU time (s) 182.21
Current children cumulated vsize (KiB) 47124
[startup+183.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31480
/proc/meminfo: memFree=31316056/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=22 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4490 0 0 0 2200 0 0 0 20 0 1 0 384992655 22286336 5035 33554432000 4194304 5208918 140734781410992 140734781408936 4212980 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 5035 102 248 0 5190 0
Current children cumulated CPU time (s) 183.01
Current children cumulated vsize (KiB) 47124
[startup+183.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31480
/proc/meminfo: memFree=31314008/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=22.8 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4490 0 0 0 2280 0 0 0 20 0 1 0 384992655 22286336 5035 33554432000 4194304 5208918 140734781410992 140734781408936 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 5035 102 248 0 5190 0
Current children cumulated CPU time (s) 183.81
Current children cumulated vsize (KiB) 47124
[startup+184.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 31480
/proc/meminfo: memFree=31314008/32873648 swapFree=7376/7376
[pid=31220] ppid=31218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31220/stat : 31220 (npSolver-wbo.sh) S 31218 31220 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384976547 9367552 275 33554432000 4194304 5064252 140735937896592 140735937895504 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31220/statm: 2287 275 233 213 0 72 0
[pid=31221] ppid=31220 vsize=7064 CPUtime=161.01 cores=1,3,5,7
/proc/31221/stat : 31221 (npSolver-wbo) S 31220 31220 28786 0 -1 4202496 4798 82614 0 0 6 2 16068 25 20 0 1 0 384976547 7233536 1235 33554432000 4194304 6006132 140737093359424 140737093350832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31221/statm: 1766 1235 167 443 0 1319 0
[pid=31472] ppid=31221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31472/stat : 31472 (satsolver.sh) S 31221 31220 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992655 9367552 265 33554432000 4194304 5064252 140733477610368 140733477609280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31472/statm: 2287 265 226 213 0 72 0
[pid=31473] ppid=31472 vsize=21764 CPUtime=23 cores=1,3,5,7
/proc/31473/stat : 31473 (glucose) R 31472 31220 28786 0 -1 4202496 4490 0 0 0 2300 0 0 0 20 0 1 0 384992655 22286336 5035 33554432000 4194304 5208918 140734781410992 140734781408936 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31473/statm: 5441 5035 102 248 0 5190 0
Current children cumulated CPU time (s) 184.01
Current children cumulated vsize (KiB) 47124
Child status: 0
Real time (s): 184.123
CPU time (s): 184.075
CPU user time (s): 183.775
CPU system time (s): 0.299954
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 70320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.775
system time used= 0.299954
maximum resident set size= 41896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 325
runsolver used 0.317951 second user time and 0.777881 second system time
The end