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-3695362-1338082529/watcher-3695362-1338082529 -o /tmp/evaluation-result-3695362-1338082529/solver-3695362-1338082529 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695362-1338082529.opb 995989465 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15375
/proc/meminfo: memFree=28167016/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[startup+0.0904369 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15375
/proc/meminfo: memFree=28167016/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15375
/proc/meminfo: memFree=28167016/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15375
/proc/meminfo: memFree=28167016/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15375
/proc/meminfo: memFree=28167016/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15379
/proc/meminfo: memFree=28129112/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=33188 CPUtime=1.3 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 7459 11513 0 0 44 61 21 4 20 0 1 0 274377196 33984512 5771 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 8297 5771 174 410 0 7879 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 42336
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15382
/proc/meminfo: memFree=28073732/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=2.4 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 9706 26694 0 0 50 62 119 9 20 0 1 0 274377196 37183488 6552 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6552 174 410 0 8660 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 45460
heavy processes:
[startup+6.341 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15385
/proc/meminfo: memFree=28067084/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=2.4 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 9706 26694 0 0 50 62 119 9 20 0 1 0 274377196 37183488 6552 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6552 174 410 0 8660 0
[pid=15384] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15384/stat : 15384 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274377439 9367552 267 33554432000 4194304 5064252 140733543491248 140733543490160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 2287 267 226 213 0 72 0
[pid=15385] ppid=15384 vsize=51808 CPUtime=3.89 cores=1,3,5,7
/proc/15385/stat : 15385 (glucose_static) R 15384 15375 10094 0 -1 4202496 13291 0 0 0 385 4 0 0 20 0 1 0 274377439 53051392 11917 33554432000 4194304 4896791 140734269334480 140734269331688 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15385/statm: 12952 11917 76 172 0 12778 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106416
[startup+13.4091 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15385
/proc/meminfo: memFree=28064052/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=2.4 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 9706 26694 0 0 50 62 119 9 20 0 1 0 274377196 37183488 6552 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6552 174 410 0 8660 0
[pid=15384] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15384/stat : 15384 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274377439 9367552 267 33554432000 4194304 5064252 140733543491248 140733543490160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 2287 267 226 213 0 72 0
[pid=15385] ppid=15384 vsize=56492 CPUtime=10.96 cores=1,3,5,7
/proc/15385/stat : 15385 (glucose_static) R 15384 15375 10094 0 -1 4202496 13644 0 0 0 1091 5 0 0 20 0 1 0 274377439 57847808 12269 33554432000 4194304 4896791 140734269334480 140734269331688 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15385/statm: 14123 12269 76 172 0 13949 0
Current children cumulated CPU time (s) 13.36
Current children cumulated vsize (KiB) 111100
[startup+26.3589 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 15385
/proc/meminfo: memFree=28071248/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=2.4 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 9706 26694 0 0 50 62 119 9 20 0 1 0 274377196 37183488 6552 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6552 174 410 0 8660 0
[pid=15384] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15384/stat : 15384 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274377439 9367552 267 33554432000 4194304 5064252 140733543491248 140733543490160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 2287 267 226 213 0 72 0
[pid=15385] ppid=15384 vsize=57020 CPUtime=23.91 cores=1,3,5,7
/proc/15385/stat : 15385 (glucose_static) R 15384 15375 10094 0 -1 4202496 13828 0 0 0 2386 5 0 0 20 0 1 0 274377439 58388480 12964 33554432000 4194304 4896791 140734269334480 140734269331688 4205040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15385/statm: 14255 12964 76 172 0 14081 0
Current children cumulated CPU time (s) 26.31
Current children cumulated vsize (KiB) 111628
[startup+51.118 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 15385
/proc/meminfo: memFree=28071416/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=2.4 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 9706 26694 0 0 50 62 119 9 20 0 1 0 274377196 37183488 6552 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6552 174 410 0 8660 0
[pid=15384] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15384/stat : 15384 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274377439 9367552 267 33554432000 4194304 5064252 140733543491248 140733543490160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15384/statm: 2287 267 226 213 0 72 0
[pid=15385] ppid=15384 vsize=57812 CPUtime=48.65 cores=1,3,5,7
/proc/15385/stat : 15385 (glucose_static) R 15384 15375 10094 0 -1 4202496 15523 0 0 0 4859 6 0 0 20 0 1 0 274377439 59199488 13162 33554432000 4194304 4896791 140734269334480 140734269331688 4224983 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15385/statm: 14453 13162 76 172 0 14279 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 112420
[startup+102.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/183 15388
/proc/meminfo: memFree=28067892/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=56.24 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 12236 43445 0 0 56 62 5487 19 20 0 1 0 274377196 37183488 6692 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6692 174 410 0 8660 0
[pid=15387] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15387/stat : 15387 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274382824 9367552 266 33554432000 4194304 5064252 140736575328304 140736575327216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15387/statm: 2287 266 226 213 0 72 0
[pid=15388] ppid=15387 vsize=57944 CPUtime=45.65 cores=1,3,5,7
/proc/15388/stat : 15388 (glucose_static) R 15387 15375 10094 0 -1 4202496 14540 0 0 0 4560 5 0 0 20 0 1 0 274382824 59334656 13292 33554432000 4194304 4896791 140733278746704 140733278743912 4224983 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/15388/statm: 14486 13292 76 172 0 14312 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 112552
[startup+189.929 s]
/proc/loadavg: 2.04 2.04 2.01 4/183 15394
/proc/meminfo: memFree=28049236/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=189.41 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 18886 89607 0 0 74 64 18760 43 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650840 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
Current children cumulated CPU time (s) 189.41
Current children cumulated vsize (KiB) 45460
[startup+222.3 s]
/proc/loadavg: 3.22 2.35 2.11 3/183 15397
/proc/meminfo: memFree=28048044/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=189.44 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 19801 90120 0 0 75 64 18760 45 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.13 3/183 15411
/proc/meminfo: memFree=27865848/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=199744 CPUtime=1061.47 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 69350 0 0 0 106082 65 0 0 20 0 1 0 274413254 204537856 42367 33554432000 4194304 4896791 140735831047648 140735831045176 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 49936 42367 78 172 0 49762 0
Current children cumulated CPU time (s) 1420.89
Current children cumulated vsize (KiB) 254352
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/184 15465
/proc/meminfo: memFree=28004044/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=200276 CPUtime=1121.46 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 71114 0 0 0 112078 68 0 0 20 0 1 0 274413254 205082624 38842 33554432000 4194304 4896791 140735831047648 140735831045176 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 50069 38842 78 172 0 49895 0
Current children cumulated CPU time (s) 1480.88
Current children cumulated vsize (KiB) 254884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/184 15501
/proc/meminfo: memFree=28011600/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=150740 CPUtime=1181.45 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 72448 0 0 0 118074 71 0 0 20 0 1 0 274413254 154357760 34500 33554432000 4194304 4896791 140735831047648 140735831045176 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 37685 34500 78 172 0 37511 0
Current children cumulated CPU time (s) 1540.87
Current children cumulated vsize (KiB) 205348
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/183 15501
/proc/meminfo: memFree=28006200/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=120496 CPUtime=1241.43 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 73649 0 0 0 124070 73 0 0 20 0 1 0 274413254 123387904 27348 33554432000 4194304 4896791 140735831047648 140735831045176 4224960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 30124 27348 78 172 0 29950 0
Current children cumulated CPU time (s) 1600.85
Current children cumulated vsize (KiB) 175104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 15501
/proc/meminfo: memFree=27952108/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=201656 CPUtime=1301.42 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 74752 0 0 0 130066 76 0 0 20 0 1 0 274413254 206495744 44795 33554432000 4194304 4896791 140735831047648 140735831044856 4224921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 50414 44795 78 172 0 50240 0
Current children cumulated CPU time (s) 1660.84
Current children cumulated vsize (KiB) 256264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 15501
/proc/meminfo: memFree=27966048/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=201844 CPUtime=1361.4 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 76523 0 0 0 136061 79 0 0 20 0 1 0 274413254 206688256 39824 33554432000 4194304 4896791 140735831047648 140735831045176 4225134 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 50461 39824 78 172 0 50287 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 256452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 15501
/proc/meminfo: memFree=27925056/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=151756 CPUtime=1421.4 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 77634 0 0 0 142059 81 0 0 20 0 1 0 274413254 155398144 31045 33554432000 4194304 4896791 140735831047648 140735831045176 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 37939 31045 78 172 0 37765 0
Current children cumulated CPU time (s) 1780.82
Current children cumulated vsize (KiB) 206364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 15502
/proc/meminfo: memFree=27960384/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=151920 CPUtime=1440.6 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 77666 0 0 0 143979 81 0 0 20 0 1 0 274413254 155566080 36697 33554432000 4194304 4896791 140735831047648 140735831044856 4225376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 37980 36697 78 172 0 37806 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 206528
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 15502
/proc/meminfo: memFree=27960384/32873844 swapFree=7616/7616
[pid=15375] ppid=15373 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (runPb2satCp2.sh) S 15373 15375 10094 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274377195 9367552 274 33554432000 4194304 5064252 140733249461168 140733249460080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15375/statm: 2287 274 233 213 0 72 0
[pid=15376] ppid=15375 vsize=36312 CPUtime=359.42 cores=1,3,5,7
/proc/15376/stat : 15376 (pb2sat) S 15375 15375 10094 0 -1 4202496 22309 123614 0 0 82 64 35727 69 20 0 1 0 274377196 37183488 6787 33554432000 4194304 5873084 140737088656528 140737088650344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15376/statm: 9078 6787 174 410 0 8660 0
[pid=15404] ppid=15376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15404/stat : 15404 (satsolver.sh) S 15376 15375 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274413254 9367552 266 33554432000 4194304 5064252 140734838313232 140734838312144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15404/statm: 2287 266 226 213 0 72 0
[pid=15405] ppid=15404 vsize=151920 CPUtime=1440.6 cores=1,3,5,7
/proc/15405/stat : 15405 (glucose_static) R 15404 15375 10094 0 -1 4202496 77666 0 0 0 143979 81 0 0 20 0 1 0 274413254 155566080 36697 33554432000 4194304 4896791 140735831047648 140735831044856 4225376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15405/statm: 37980 36697 78 172 0 37806 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 206528
Child status: 0
Real time (s): 1801.51
CPU time (s): 1800.06
CPU user time (s): 1797.89
CPU system time (s): 2.16467
CPU usage (%): 99.9193
Max. virtual memory (cumulated for all children) (KiB): 286804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.16467
maximum resident set size= 218844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 177280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 3332
runsolver used 3.16752 second user time and 7.98079 second system time
The end