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-3713582-1338179113/watcher-3713582-1338179113 -o /tmp/evaluation-result-3713582-1338179113/solver-3713582-1338179113 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713582-1338179113.wbo 1326089127 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.02 2.01 2.00 3/179 29034
/proc/meminfo: memFree=29184552/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[startup+0.0242461 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29034
/proc/meminfo: memFree=29184552/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100247 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29034
/proc/meminfo: memFree=29184552/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29034
/proc/meminfo: memFree=29184552/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700256 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29034
/proc/meminfo: memFree=29184552/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29048
/proc/meminfo: memFree=29161820/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=1.4 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 2858 18236 0 0 7 1 124 8 20 0 1 0 284038661 5513216 831 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 831 164 439 0 903 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 14532
[startup+3.10039 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29055
/proc/meminfo: memFree=29169252/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=1.4 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 2858 18236 0 0 7 1 124 8 20 0 1 0 284038661 5513216 831 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 831 164 439 0 903 0
[pid=29054] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29054/stat : 29054 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284038804 9367552 267 33554432000 4194304 5064252 140735335298048 140735335296960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29054/statm: 2287 267 226 213 0 72 0
[pid=29055] ppid=29054 vsize=18348 CPUtime=1.66 cores=1,3,5,7
/proc/29055/stat : 29055 (glucose) R 29054 29034 26029 0 -1 4202496 3530 0 0 0 166 0 0 0 20 0 1 0 284038804 18788352 3677 33554432000 4194304 5208918 140733650904736 140733650902680 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29055/statm: 4587 3677 104 248 0 4336 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42028
[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29055
/proc/meminfo: memFree=29154880/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=1.4 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 2858 18236 0 0 7 1 124 8 20 0 1 0 284038661 5513216 831 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 831 164 439 0 903 0
[pid=29054] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29054/stat : 29054 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284038804 9367552 267 33554432000 4194304 5064252 140735335298048 140735335296960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29054/statm: 2287 267 226 213 0 72 0
[pid=29055] ppid=29054 vsize=18352 CPUtime=4.86 cores=1,3,5,7
/proc/29055/stat : 29055 (glucose) R 29054 29034 26029 0 -1 4202496 4470 0 0 0 486 0 0 0 20 0 1 0 284038804 18792448 3787 33554432000 4194304 5208918 140733650904736 140733650902680 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29055/statm: 4588 3787 104 248 0 4337 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42032
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29055
/proc/meminfo: memFree=29143788/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=1.4 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 2858 18236 0 0 7 1 124 8 20 0 1 0 284038661 5513216 831 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 831 164 439 0 903 0
[pid=29054] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29054/stat : 29054 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284038804 9367552 267 33554432000 4194304 5064252 140735335298048 140735335296960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29054/statm: 2287 267 226 213 0 72 0
[pid=29055] ppid=29054 vsize=25568 CPUtime=11.27 cores=1,3,5,7
/proc/29055/stat : 29055 (glucose) R 29054 29034 26029 0 -1 4202496 6115 0 0 0 1126 1 0 0 20 0 1 0 284038804 26181632 5716 33554432000 4194304 5208918 140733650904736 140733650902680 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29055/statm: 6392 5716 104 248 0 6141 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49248
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 29076
/proc/meminfo: memFree=29145312/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=23.36 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3236 41851 0 0 7 1 2313 15 20 0 1 0 284038661 5513216 831 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 831 164 439 0 903 0
[pid=29075] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284041001 9367552 266 33554432000 4194304 5064252 140735663140992 140735663139904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29075/statm: 2287 266 226 213 0 72 0
[pid=29076] ppid=29075 vsize=10488 CPUtime=2.09 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 29034 26029 0 -1 4202496 2809 0 0 0 209 0 0 0 20 0 1 0 284041001 10739712 2079 33554432000 4194304 5208918 140737252933856 140737252931800 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29076/statm: 2622 2079 105 248 0 2371 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 34168
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 29083
/proc/meminfo: memFree=29139944/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=32124 CPUtime=16.6 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 4751 0 0 0 1660 0 0 0 20 0 1 0 284042110 32894976 6862 33554432000 4194304 5208918 140734618297248 140734618295192 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 8031 6862 105 248 0 7780 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55804
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29084
/proc/meminfo: memFree=29080828/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=63756 CPUtime=67.8 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 8423 0 0 0 6777 3 0 0 20 0 1 0 284042110 65286144 15451 33554432000 4194304 5208918 140734618297248 140734618293064 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 15939 15451 105 248 0 15688 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87436
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29084
/proc/meminfo: memFree=29076296/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=111432 CPUtime=127.78 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 10108 0 0 0 12774 4 0 0 20 0 1 0 284042110 114106368 22223 33554432000 4194304 5208918 140734618297248 140734618293624 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 27858 22223 105 248 0 27607 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29167
/proc/meminfo: memFree=28935912/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=258712 CPUtime=1327.59 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 44837 0 0 0 132678 81 0 0 20 0 1 0 284042110 264921088 52583 33554432000 4194304 5208918 140734618297248 140734618295400 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 64678 52583 105 248 0 64427 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 282392
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29167
/proc/meminfo: memFree=28933968/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=208624 CPUtime=1387.58 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 47023 0 0 0 138672 86 0 0 20 0 1 0 284042110 213630976 43971 33554432000 4194304 5208918 140734618297248 140734618295336 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 52156 43971 105 248 0 51905 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 232304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29168
/proc/meminfo: memFree=28921496/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=216144 CPUtime=1447.57 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 49063 0 0 0 144667 90 0 0 20 0 1 0 284042110 221331456 48504 33554432000 4194304 5208918 140734618297248 140734618295400 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 54036 48504 105 248 0 53785 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 239824
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 29171
/proc/meminfo: memFree=28926144/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=216144 CPUtime=1507.55 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 50653 0 0 0 150662 93 0 0 20 0 1 0 284042110 221331456 50040 33554432000 4194304 5208918 140734618297248 140734618295400 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 54036 50040 105 248 0 53785 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 239824
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 29171
/proc/meminfo: memFree=28876128/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=217392 CPUtime=1567.55 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 52504 0 0 0 156658 97 0 0 20 0 1 0 284042110 222609408 52339 33554432000 4194304 5208918 140734618297248 140734618295096 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 54348 52339 105 248 0 54097 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 241072
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29171
/proc/meminfo: memFree=28904556/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=268656 CPUtime=1627.54 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 55208 0 0 0 162654 100 0 0 20 0 1 0 284042110 275103744 55467 33554432000 4194304 5208918 140734618297248 140734618295096 4211682 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 67164 55467 105 248 0 66913 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 292336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29171
/proc/meminfo: memFree=28864280/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=270260 CPUtime=1687.53 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 57128 0 0 0 168650 103 0 0 20 0 1 0 284042110 276746240 56801 33554432000 4194304 5208918 140734618297248 140734618295096 4229476 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 67565 56801 105 248 0 67314 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 293940
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 29172
/proc/meminfo: memFree=28841564/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=272436 CPUtime=1747.51 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 58604 0 0 0 174646 105 0 0 20 0 1 0 284042110 278974464 58413 33554432000 4194304 5208918 140734618297248 140734618295096 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 68109 58413 105 248 0 67858 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 296116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 29172
/proc/meminfo: memFree=28884680/32873648 swapFree=7116/7116
[pid=29034] ppid=29032 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29034/stat : 29034 (npSolver-wbo.sh) S 29032 29034 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284038661 9367552 274 33554432000 4194304 5064252 140735780698992 140735780697904 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29034/statm: 2287 274 233 213 0 72 0
[pid=29035] ppid=29034 vsize=5384 CPUtime=34.45 cores=1,3,5,7
/proc/29035/stat : 29035 (npSolver-wbo) S 29034 29034 26029 0 -1 4202496 3358 49869 0 0 7 1 3420 17 20 0 1 0 284038661 5513216 832 33554432000 4194304 5990268 140735402395168 140735402386608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29035/statm: 1346 832 165 439 0 903 0
[pid=29082] ppid=29035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29082/stat : 29082 (satsolver.sh) S 29035 29034 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284042110 9367552 266 33554432000 4194304 5064252 140733261635808 140733261634720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29082/statm: 2287 266 226 213 0 72 0
[pid=29083] ppid=29082 vsize=222728 CPUtime=1765.62 cores=1,3,5,7
/proc/29083/stat : 29083 (glucose) R 29082 29034 26029 0 -1 4202496 58861 0 0 0 176455 107 0 0 20 0 1 0 284042110 228073472 50507 33554432000 4194304 5208918 140734618297248 140734618295336 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29083/statm: 55682 50507 105 248 0 55431 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 246408
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1798.84
CPU system time (s): 1.27081
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 376636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.27081
maximum resident set size= 299996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277
involuntary context switches= 1987
runsolver used 3.40948 second user time and 8.45971 second system time
The end