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-3696461-1338061978/watcher-3696461-1338061978 -o /tmp/evaluation-result-3696461-1338061978/solver-3696461-1338061978 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696461-1338061978.opb 300385377 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.00 2.00 2.00 2/177 2037
/proc/meminfo: memFree=28989664/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[startup+0.0470141 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2037
/proc/meminfo: memFree=28989664/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2037
/proc/meminfo: memFree=28989664/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300143 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2037
/proc/meminfo: memFree=28989664/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700162 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2037
/proc/meminfo: memFree=28989664/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2047
/proc/meminfo: memFree=28967636/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=6716 CPUtime=0.91 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 2609 7451 0 0 17 6 67 1 20 0 1 0 272326390 6877184 1148 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1679 1148 172 410 0 1261 0
[pid=2046] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2046/stat : 2046 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272326483 9367552 267 33554432000 4194304 5064252 140736459587360 140736459586272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2046/statm: 2287 267 226 213 0 72 0
[pid=2047] ppid=2046 vsize=18348 CPUtime=0.55 cores=0,2,4,6
/proc/2047/stat : 2047 (glucose_static) R 2046 2037 1205 0 -1 4202496 4417 0 0 0 55 0 0 0 20 0 1 0 272326484 18788352 3873 33554432000 4194304 4896791 140733998778176 140733998775688 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2047/statm: 4587 3873 76 172 0 4413 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43360
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2047
/proc/meminfo: memFree=28965328/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=6716 CPUtime=2.26 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 3472 14243 0 0 19 6 198 3 20 0 1 0 272326390 6877184 1148 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1679 1148 172 410 0 1261 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 15864
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2102
/proc/meminfo: memFree=28956548/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=6716 CPUtime=4.33 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 4336 21835 0 0 21 6 402 4 20 0 1 0 272326390 6877184 1148 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1679 1148 172 410 0 1261 0
[pid=2098] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2098/stat : 2098 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272326827 9367552 267 33554432000 4194304 5064252 140737452095904 140737452094816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2098/statm: 2287 267 226 213 0 72 0
[pid=2099] ppid=2098 vsize=18712 CPUtime=1.91 cores=0,2,4,6
/proc/2099/stat : 2099 (glucose_static) R 2098 2037 1205 0 -1 4202496 6073 0 0 0 190 1 0 0 20 0 1 0 272326828 19161088 4220 33554432000 4194304 4896791 140734533449568 140734533447080 4203064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2099/statm: 4678 4220 78 172 0 4504 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 43724
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2120
/proc/meminfo: memFree=28955092/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=8.34 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 6513 34557 0 0 30 7 789 8 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2113] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2113/stat : 2113 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272327260 9367552 267 33554432000 4194304 5064252 140736617766224 140736617765136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2113/statm: 2287 267 226 213 0 72 0
[pid=2114] ppid=2113 vsize=17648 CPUtime=3.98 cores=0,2,4,6
/proc/2114/stat : 2114 (glucose_static) R 2113 2037 1205 0 -1 4202496 8080 0 0 0 397 1 0 0 20 0 1 0 272327260 18071552 3934 33554432000 4194304 4896791 140736906400704 140736906398104 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2114/statm: 4412 3934 78 172 0 4238 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 43308
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2133
/proc/meminfo: memFree=28955952/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=22.11 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 8531 55833 0 0 39 8 2149 15 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2129] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2129/stat : 2129 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328638 9367552 267 33554432000 4194304 5064252 140734301668640 140734301667552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2129/statm: 2287 267 226 213 0 72 0
[pid=2130] ppid=2129 vsize=19084 CPUtime=3.01 cores=0,2,4,6
/proc/2130/stat : 2130 (glucose_static) R 2129 2037 1205 0 -1 4202496 6649 0 0 0 300 1 0 0 20 0 1 0 272328638 19542016 3993 33554432000 4194304 4896791 140734461197328 140734461194728 4225445 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2130/statm: 4771 3993 78 172 0 4597 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 44744
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2133
/proc/meminfo: memFree=28937380/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=22.11 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 8531 55833 0 0 39 8 2149 15 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2129] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2129/stat : 2129 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328638 9367552 267 33554432000 4194304 5064252 140734301668640 140734301667552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2129/statm: 2287 267 226 213 0 72 0
[pid=2130] ppid=2129 vsize=30196 CPUtime=28.59 cores=0,2,4,6
/proc/2130/stat : 2130 (glucose_static) R 2129 2037 1205 0 -1 4202496 21096 0 0 0 2855 4 0 0 20 0 1 0 272328638 30920704 6089 33554432000 4194304 4896791 140734461197328 140734461194536 4224640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2130/statm: 7549 6089 78 172 0 7375 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 55856
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2136
/proc/meminfo: memFree=28931016/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=22.11 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 8531 55833 0 0 39 8 2149 15 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2129] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2129/stat : 2129 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328638 9367552 267 33554432000 4194304 5064252 140734301668640 140734301667552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2129/statm: 2287 267 226 213 0 72 0
[pid=2130] ppid=2129 vsize=34612 CPUtime=79.78 cores=0,2,4,6
/proc/2130/stat : 2130 (glucose_static) R 2129 2037 1205 0 -1 4202496 36584 0 0 0 7968 10 0 0 20 0 1 0 272328638 35442688 7155 33554432000 4194304 4896791 140734461197328 140734461194904 4230803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2130/statm: 8653 7155 78 172 0 8479 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 60272
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2136
/proc/meminfo: memFree=28918052/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=22.11 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 8531 55833 0 0 39 8 2149 15 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2129] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2129/stat : 2129 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328638 9367552 267 33554432000 4194304 5064252 140734301668640 140734301667552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2129/statm: 2287 267 226 213 0 72 0
[pid=2130] ppid=2129 vsize=45288 CPUtime=139.76 cores=0,2,4,6
/proc/2130/stat : 2130 (glucose_static) R 2129 2037 1205 0 -1 4202496 49289 0 0 0 13962 14 0 0 20 0 1 0 272328638 46374912 10191 33554432000 4194304 4896791 140734461197328 140734461194536 4225439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2130/statm: 11322 10191 78 172 0 11148 0
################
# More data... #
################
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=181.22 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 9686 109376 0 0 45 8 18037 32 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2138] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272344556 9367552 267 33554432000 4194304 5064252 140733239906112 140733239905024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2138/statm: 2287 267 226 213 0 72 0
[pid=2139] ppid=2138 vsize=85060 CPUtime=580.5 cores=0,2,4,6
/proc/2139/stat : 2139 (glucose_static) R 2138 2037 1205 0 -1 4202496 86054 0 0 0 58010 40 0 0 20 0 1 0 272344556 87101440 16868 33554432000 4194304 4896791 140735880773136 140735880770344 4224992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2139/statm: 21265 16868 78 172 0 21091 0
Current children cumulated CPU time (s) 761.72
Current children cumulated vsize (KiB) 110720
[startup+822.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/181 2170
/proc/meminfo: memFree=28869820/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=181.22 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 9686 109376 0 0 45 8 18037 32 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2138] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272344556 9367552 267 33554432000 4194304 5064252 140733239906112 140733239905024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2138/statm: 2287 267 226 213 0 72 0
[pid=2139] ppid=2138 vsize=67324 CPUtime=640.49 cores=0,2,4,6
/proc/2139/stat : 2139 (glucose_static) R 2138 2037 1205 0 -1 4202496 88302 0 0 0 64006 43 0 0 20 0 1 0 272344556 68939776 16062 33554432000 4194304 4896791 140735880773136 140735880770344 4225361 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2139/statm: 16831 16062 78 172 0 16657 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 92984
[startup+882.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/181 2170
/proc/meminfo: memFree=28866916/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=181.22 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 9686 109376 0 0 45 8 18037 32 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2138] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272344556 9367552 267 33554432000 4194304 5064252 140733239906112 140733239905024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2138/statm: 2287 267 226 213 0 72 0
[pid=2139] ppid=2138 vsize=68292 CPUtime=700.48 cores=0,2,4,6
/proc/2139/stat : 2139 (glucose_static) R 2138 2037 1205 0 -1 4202496 91216 0 0 0 70002 46 0 0 20 0 1 0 272344556 69931008 14894 33554432000 4194304 4896791 140735880773136 140735880770664 4224960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2139/statm: 17073 14894 78 172 0 16899 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 93952
Solver just ended. Dumping a history of the last processes samples
[startup+883.1 s]
/proc/loadavg: 2.07 2.04 2.01 3/181 2170
/proc/meminfo: memFree=28866916/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=181.22 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 9686 109376 0 0 45 8 18037 32 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2138] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272344556 9367552 267 33554432000 4194304 5064252 140733239906112 140733239905024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2138/statm: 2287 267 226 213 0 72 0
[pid=2139] ppid=2138 vsize=68292 CPUtime=701.28 cores=0,2,4,6
/proc/2139/stat : 2139 (glucose_static) R 2138 2037 1205 0 -1 4202496 91216 0 0 0 70082 46 0 0 20 0 1 0 272344556 69931008 14894 33554432000 4194304 4896791 140735880773136 140735880768872 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2139/statm: 17073 14894 78 172 0 16899 0
Current children cumulated CPU time (s) 882.5
Current children cumulated vsize (KiB) 93952
[startup+895.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 2170
/proc/meminfo: memFree=28864856/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=181.22 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 9686 109376 0 0 45 8 18037 32 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2138] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272344556 9367552 267 33554432000 4194304 5064252 140733239906112 140733239905024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2138/statm: 2287 267 226 213 0 72 0
[pid=2139] ppid=2138 vsize=87420 CPUtime=714.07 cores=0,2,4,6
/proc/2139/stat : 2139 (glucose_static) R 2138 2037 1205 0 -1 4202496 91703 0 0 0 71361 46 0 0 20 0 1 0 272344556 89518080 16903 33554432000 4194304 4896791 140735880773136 140735880770664 4225148 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2139/statm: 21855 16903 78 172 0 21681 0
Current children cumulated CPU time (s) 895.29
Current children cumulated vsize (KiB) 113080
[startup+899.1 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 2170
/proc/meminfo: memFree=28928988/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=898.07 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 10916 202318 0 0 52 8 89667 80 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
Current children cumulated CPU time (s) 898.07
Current children cumulated vsize (KiB) 16512
[startup+902.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 2173
/proc/meminfo: memFree=28913112/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=898.07 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 10916 202318 0 0 52 8 89667 80 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2172] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2172/stat : 2172 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272416255 9367552 267 33554432000 4194304 5064252 140734781331200 140734781330112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2172/statm: 2287 267 226 213 0 72 0
[pid=2173] ppid=2172 vsize=19052 CPUtime=3.63 cores=0,2,4,6
/proc/2173/stat : 2173 (glucose_static) R 2172 2037 1205 0 -1 4202496 6758 0 0 0 361 2 0 0 20 0 1 0 272416256 19509248 3971 33554432000 4194304 4896791 140733922776448 140733922773976 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 4763 3971 78 172 0 4589 0
Current children cumulated CPU time (s) 901.7
Current children cumulated vsize (KiB) 44712
[startup+903.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 2173
/proc/meminfo: memFree=28912800/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=898.07 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 10916 202318 0 0 52 8 89667 80 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2172] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2172/stat : 2172 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272416255 9367552 267 33554432000 4194304 5064252 140734781331200 140734781330112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2172/statm: 2287 267 226 213 0 72 0
[pid=2173] ppid=2172 vsize=19484 CPUtime=5.23 cores=0,2,4,6
/proc/2173/stat : 2173 (glucose_static) R 2172 2037 1205 0 -1 4202496 7404 0 0 0 521 2 0 0 20 0 1 0 272416256 19951616 4235 33554432000 4194304 4896791 140733922776448 140733922773848 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 4871 4235 78 172 0 4697 0
Current children cumulated CPU time (s) 903.3
Current children cumulated vsize (KiB) 45144
[startup+904.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 2173
/proc/meminfo: memFree=28910008/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=898.07 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 10916 202318 0 0 52 8 89667 80 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2172] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2172/stat : 2172 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272416255 9367552 267 33554432000 4194304 5064252 140734781331200 140734781330112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2172/statm: 2287 267 226 213 0 72 0
[pid=2173] ppid=2172 vsize=19668 CPUtime=5.62 cores=0,2,4,6
/proc/2173/stat : 2173 (glucose_static) R 2172 2037 1205 0 -1 4202496 7550 0 0 0 560 2 0 0 20 0 1 0 272416256 20140032 4375 33554432000 4194304 4896791 140733922776448 140733922773848 4225108 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 4917 4375 78 172 0 4743 0
Current children cumulated CPU time (s) 903.69
Current children cumulated vsize (KiB) 45328
[startup+904.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 2173
/proc/meminfo: memFree=28910008/32873844 swapFree=7104/7104
[pid=2037] ppid=2035 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2037/stat : 2037 (runPb2sat.sh) S 2035 2037 1205 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272326390 9367552 274 33554432000 4194304 5064252 140736835882720 140736835881632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2037/statm: 2287 274 233 213 0 72 0
[pid=2038] ppid=2037 vsize=7364 CPUtime=898.07 cores=0,2,4,6
/proc/2038/stat : 2038 (pb2sat) S 2037 2037 1205 0 -1 4202496 10916 202318 0 0 52 8 89667 80 20 0 1 0 272326390 7540736 1311 33554432000 4194304 5873084 140734043969040 140734043962856 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2038/statm: 1841 1311 172 410 0 1423 0
[pid=2172] ppid=2038 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2172/stat : 2172 (satsolver.sh) S 2038 2037 1205 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272416255 9367552 267 33554432000 4194304 5064252 140734781331200 140734781330112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2172/statm: 2287 267 226 213 0 72 0
[pid=2173] ppid=2172 vsize=17992 CPUtime=5.82 cores=0,2,4,6
/proc/2173/stat : 2173 (glucose_static) R 2172 2037 1205 0 -1 4202496 7679 0 0 0 580 2 0 0 20 0 1 0 272416256 18423808 4021 33554432000 4194304 4896791 140733922776448 140733922773848 4225445 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 4498 4021 78 172 0 4324 0
Current children cumulated CPU time (s) 903.89
Current children cumulated vsize (KiB) 43652
Child status: 0
Real time (s): 904.556
CPU time (s): 903.979
CPU user time (s): 903.055
CPU system time (s): 0.923859
CPU usage (%): 99.9361
Max. virtual memory (cumulated for all children) (KiB): 130312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 903.055
system time used= 0.923859
maximum resident set size= 89524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 1196
runsolver used 2.02269 second user time and 4.82427 second system time
The end