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-3753268-1339208364/watcher-3753268-1339208364 -o /tmp/evaluation-result-3753268-1339208364/solver-3753268-1339208364 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753268-1339208364.wbo 1484914179 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.02 2.00 4/175 2167
/proc/meminfo: memFree=26214928/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[startup+0.0917689 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 2167
/proc/meminfo: memFree=26214928/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100183 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 2167
/proc/meminfo: memFree=26214928/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 2167
/proc/meminfo: memFree=26214928/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 2.00 2.02 2.00 4/175 2167
/proc/meminfo: memFree=26214928/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 2181
/proc/meminfo: memFree=26205020/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 1958 2706 0 0 2 0 14 0 20 0 1 0 386961852 3166208 378 33554432000 4194304 6006132 140735152669968 140735152664160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 773 378 158 443 0 326 0
[pid=2179] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2179/stat : 2179 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961870 9367552 266 33554432000 4194304 5064252 140735612660928 140735612659840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2179/statm: 2287 266 226 213 0 72 0
[pid=2181] ppid=2179 vsize=12788 CPUtime=1.3 cores=1,3,5,7
/proc/2181/stat : 2181 (glucose) R 2179 2165 1637 0 -1 4202496 2876 0 0 0 130 0 0 0 20 0 1 0 386961871 13094912 2243 33554432000 4194304 5208918 140735549997120 140735549995064 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 3197 2243 96 248 0 2946 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34176
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 2181
/proc/meminfo: memFree=26192244/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 1958 2706 0 0 2 0 14 0 20 0 1 0 386961852 3166208 378 33554432000 4194304 6006132 140735152669968 140735152664160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 773 378 158 443 0 326 0
[pid=2179] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2179/stat : 2179 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961870 9367552 266 33554432000 4194304 5064252 140735612660928 140735612659840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2179/statm: 2287 266 226 213 0 72 0
[pid=2181] ppid=2179 vsize=12788 CPUtime=2.9 cores=1,3,5,7
/proc/2181/stat : 2181 (glucose) R 2179 2165 1637 0 -1 4202496 3414 0 0 0 290 0 0 0 20 0 1 0 386961871 13094912 2776 33554432000 4194304 5208918 140735549997120 140735549995064 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 3197 2776 96 248 0 2946 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34176
[startup+6.30039 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 2181
/proc/meminfo: memFree=26181656/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 1958 2706 0 0 2 0 14 0 20 0 1 0 386961852 3166208 378 33554432000 4194304 6006132 140735152669968 140735152664160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 773 378 158 443 0 326 0
[pid=2179] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2179/stat : 2179 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961870 9367552 266 33554432000 4194304 5064252 140735612660928 140735612659840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2179/statm: 2287 266 226 213 0 72 0
[pid=2181] ppid=2179 vsize=22584 CPUtime=6.1 cores=1,3,5,7
/proc/2181/stat : 2181 (glucose) R 2179 2165 1637 0 -1 4202496 3699 0 0 0 610 0 0 0 20 0 1 0 386961871 23126016 5097 33554432000 4194304 5208918 140735549997120 140735549995112 4213763 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 5646 5097 96 248 0 5395 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43972
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 2181
/proc/meminfo: memFree=26165720/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 1958 2706 0 0 2 0 14 0 20 0 1 0 386961852 3166208 378 33554432000 4194304 6006132 140735152669968 140735152664160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 773 378 158 443 0 326 0
[pid=2179] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2179/stat : 2179 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961870 9367552 266 33554432000 4194304 5064252 140735612660928 140735612659840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2179/statm: 2287 266 226 213 0 72 0
[pid=2181] ppid=2179 vsize=31488 CPUtime=12.5 cores=1,3,5,7
/proc/2181/stat : 2181 (glucose) R 2179 2165 1637 0 -1 4202496 5041 0 0 0 1249 1 0 0 20 0 1 0 386961871 32243712 6013 33554432000 4194304 5208918 140735549997120 140735549995064 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 7872 6013 96 248 0 7621 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52876
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 2188
/proc/meminfo: memFree=26155012/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 1958 2706 0 0 2 0 14 0 20 0 1 0 386961852 3166208 378 33554432000 4194304 6006132 140735152669968 140735152664160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 773 378 158 443 0 326 0
[pid=2179] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2179/stat : 2179 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961870 9367552 266 33554432000 4194304 5064252 140735612660928 140735612659840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2179/statm: 2287 266 226 213 0 72 0
[pid=2181] ppid=2179 vsize=35952 CPUtime=25.3 cores=1,3,5,7
/proc/2181/stat : 2181 (glucose) R 2179 2165 1637 0 -1 4202496 5131 0 0 0 2529 1 0 0 20 0 1 0 386961871 36814848 7639 33554432000 4194304 5208918 140735549997120 140735549994984 4229354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 8988 7639 96 248 0 8737 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57340
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 2206
/proc/meminfo: memFree=26142172/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=26.75 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 2893 11235 0 0 4 2 2666 3 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2194] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2194/stat : 2194 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386964529 9367552 267 33554432000 4194304 5064252 140734459432704 140734459431616 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2194/statm: 2287 267 226 213 0 72 0
[pid=2195] ppid=2194 vsize=42316 CPUtime=24.3 cores=1,3,5,7
/proc/2195/stat : 2195 (glucose) R 2194 2165 1637 0 -1 4202496 6133 0 0 0 2429 1 0 0 20 0 1 0 386964530 43331584 9479 33554432000 4194304 5208918 140736033792080 140736033790072 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2195/statm: 10579 9479 96 248 0 10328 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 67676
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 4/183 2227
/proc/meminfo: memFree=26156436/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=98.62 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 3816 21746 0 0 5 2 9846 9 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2226] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2226/stat : 2226 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386971719 9367552 267 33554432000 4194304 5064252 140735074765472 140735074764384 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2226/statm: 2287 267 226 213 0 72 0
[pid=2227] ppid=2226 vsize=26212 CPUtime=3.62 cores=1,3,5,7
/proc/2227/stat : 2227 (glucose) R 2226 2165 1637 0 -1 4202496 4811 0 0 0 362 0 0 0 20 0 1 0 386971719 26841088 6063 33554432000 4194304 5208918 140737436496368 140737436494360 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2227/statm: 6553 6063 96 248 0 6302 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 51572
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2241
/proc/meminfo: memFree=26133876/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=98.62 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 3816 21746 0 0 5 2 9846 9 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2226] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2722
/proc/meminfo: memFree=26155128/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1387.7 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 11743 224829 0 0 35 5 138623 107 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2707] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2707/stat : 2707 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387100656 9367552 267 33554432000 4194304 5064252 140733741247136 140733741246048 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2707/statm: 2287 267 226 213 0 72 0
[pid=2708] ppid=2707 vsize=56640 CPUtime=34.25 cores=1,3,5,7
/proc/2708/stat : 2708 (glucose) R 2707 2165 1637 0 -1 4202496 7802 0 0 0 3423 2 0 0 20 0 1 0 387100656 57999360 9812 33554432000 4194304 5208918 140733325508096 140733325506040 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2708/statm: 14160 9812 96 248 0 13909 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 82000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2743
/proc/meminfo: memFree=26153320/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1459.54 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 12155 236706 0 0 37 6 145799 112 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2735] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2735/stat : 2735 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387107841 9367552 266 33554432000 4194304 5064252 140735294119936 140735294118848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2735/statm: 2287 266 226 213 0 72 0
[pid=2736] ppid=2735 vsize=30824 CPUtime=22.39 cores=1,3,5,7
/proc/2736/stat : 2736 (glucose) R 2735 2165 1637 0 -1 4202496 5629 0 0 0 2238 1 0 0 20 0 1 0 387107841 31563776 7330 33554432000 4194304 5208918 140734100521424 140734100519288 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2736/statm: 7706 7330 96 248 0 7455 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 56184
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2764
/proc/meminfo: memFree=26149068/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1530.99 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 12567 247298 0 0 39 6 152936 118 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2763] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2763/stat : 2763 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387114987 9367552 267 33554432000 4194304 5064252 140734257160880 140734257159792 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2763/statm: 2287 267 226 213 0 72 0
[pid=2764] ppid=2763 vsize=30628 CPUtime=10.94 cores=1,3,5,7
/proc/2764/stat : 2764 (glucose) R 2763 2165 1637 0 -1 4202496 6746 0 0 0 1093 1 0 0 20 0 1 0 387114987 31363072 7157 33554432000 4194304 5208918 140734190283648 140734190281512 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2764/statm: 7657 7157 96 248 0 7406 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 55988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2779
/proc/meminfo: memFree=26123100/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1530.99 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 12567 247298 0 0 39 6 152936 118 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2763] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2763/stat : 2763 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387114987 9367552 267 33554432000 4194304 5064252 140734257160880 140734257159792 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2763/statm: 2287 267 226 213 0 72 0
[pid=2764] ppid=2763 vsize=56636 CPUtime=70.92 cores=1,3,5,7
/proc/2764/stat : 2764 (glucose) R 2763 2165 1637 0 -1 4202496 8155 0 0 0 7090 2 0 0 20 0 1 0 387114987 57995264 13760 33554432000 4194304 5208918 140734190283648 140734190281592 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2764/statm: 14159 13760 96 248 0 13908 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 81996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2807
/proc/meminfo: memFree=26144164/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1602.9 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 12979 258647 0 0 40 6 160119 125 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2785] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2785/stat : 2785 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387122180 9367552 266 33554432000 4194304 5064252 140736018418608 140736018417520 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2785/statm: 2287 266 226 213 0 72 0
[pid=2786] ppid=2785 vsize=56636 CPUtime=58.99 cores=1,3,5,7
/proc/2786/stat : 2786 (glucose) R 2785 2165 1637 0 -1 4202496 8343 0 0 0 5898 1 0 0 20 0 1 0 387122180 57995264 10777 33554432000 4194304 5208918 140733916985552 140733916983496 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2786/statm: 14159 10777 96 248 0 13908 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 81996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2828
/proc/meminfo: memFree=26133436/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1674.68 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 13391 270610 0 0 42 6 167290 130 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2813] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2813/stat : 2813 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387129359 9367552 267 33554432000 4194304 5064252 140736647653296 140736647652208 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2813/statm: 2287 267 226 213 0 72 0
[pid=2814] ppid=2813 vsize=56636 CPUtime=47.21 cores=1,3,5,7
/proc/2814/stat : 2814 (glucose) R 2813 2165 1637 0 -1 4202496 8190 0 0 0 4719 2 0 0 20 0 1 0 387129359 57995264 11230 33554432000 4194304 5208918 140734203490384 140734203488328 4229717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2814/statm: 14159 11230 96 248 0 13908 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 81996
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/183 2849
/proc/meminfo: memFree=26134828/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1746.91 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 13803 282491 0 0 44 6 174505 136 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2841] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2841/stat : 2841 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387136584 9367552 266 33554432000 4194304 5064252 140736507321584 140736507320496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2841/statm: 2287 266 226 213 0 72 0
[pid=2842] ppid=2841 vsize=56636 CPUtime=34.95 cores=1,3,5,7
/proc/2842/stat : 2842 (glucose) R 2841 2165 1637 0 -1 4202496 7603 0 0 0 3494 1 0 0 20 0 1 0 387136585 57995264 10148 33554432000 4194304 5208918 140733749807104 140733749805048 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2842/statm: 14159 10148 96 248 0 13908 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 81996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2856
/proc/meminfo: memFree=26135424/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1746.91 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 13803 282491 0 0 44 6 174505 136 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2841] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2841/stat : 2841 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387136584 9367552 266 33554432000 4194304 5064252 140736507321584 140736507320496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2841/statm: 2287 266 226 213 0 72 0
[pid=2842] ppid=2841 vsize=56636 CPUtime=53.15 cores=1,3,5,7
/proc/2842/stat : 2842 (glucose) R 2841 2165 1637 0 -1 4202496 7604 0 0 0 5314 1 0 0 20 0 1 0 387136585 57995264 10660 33554432000 4194304 5208918 140733749807104 140733749805048 4212816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2842/statm: 14159 10660 96 248 0 13908 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 81996
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2856
/proc/meminfo: memFree=26135424/32873648 swapFree=7116/7116
[pid=2165] ppid=2162 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2165/stat : 2165 (npSolver-wbo-It) S 2162 2165 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961852 9367552 275 33554432000 4194304 5064252 140734759151744 140734759150656 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2165/statm: 2287 275 233 213 0 72 0
[pid=2169] ppid=2165 vsize=7064 CPUtime=1746.91 cores=1,3,5,7
/proc/2169/stat : 2169 (npSolver-wbo) S 2165 2165 1637 0 -1 4202496 13803 282491 0 0 44 6 174505 136 20 0 1 0 386961852 7233536 1168 33554432000 4194304 6006132 140735152669968 140735152661328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2169/statm: 1766 1168 177 443 0 1319 0
[pid=2841] ppid=2169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2841/stat : 2841 (satsolver.sh) S 2169 2165 1637 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387136584 9367552 266 33554432000 4194304 5064252 140736507321584 140736507320496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2841/statm: 2287 266 226 213 0 72 0
[pid=2842] ppid=2841 vsize=56636 CPUtime=53.15 cores=1,3,5,7
/proc/2842/stat : 2842 (glucose) R 2841 2165 1637 0 -1 4202496 7604 0 0 0 5314 1 0 0 20 0 1 0 387136585 57995264 10660 33554432000 4194304 5208918 140733749807104 140733749805048 4212816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2842/statm: 14159 10660 96 248 0 13908 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 81996
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1798.65
CPU system time (s): 1.45278
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 82004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.45278
maximum resident set size= 55284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1710
involuntary context switches= 2138
runsolver used 3.33049 second user time and 9.26059 second system time
The end