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-3694377-1338094939/watcher-3694377-1338094939 -o /tmp/evaluation-result-3694377-1338094939/solver-3694377-1338094939 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694377-1338094939.opb 1609015048 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.01 2.01 2.00 2/179 7120
/proc/meminfo: memFree=27980528/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[startup+0.0371979 s]
/proc/loadavg: 2.01 2.01 2.00 2/179 7120
/proc/meminfo: memFree=27980528/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100236 s]
/proc/loadavg: 2.01 2.01 2.00 2/179 7120
/proc/meminfo: memFree=27980528/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 2/179 7120
/proc/meminfo: memFree=27980528/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70016 s]
/proc/loadavg: 2.01 2.01 2.00 2/179 7120
/proc/meminfo: memFree=27980528/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 7124
/proc/meminfo: memFree=27919396/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=54180 CPUtime=1.47 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) R 7120 7120 6267 0 -1 4202496 8364 19525 0 0 57 55 31 4 20 0 1 0 275620881 55480320 9684 33554432000 4194304 5873084 140734992656448 140734992651880 5127520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7121/statm: 13545 9684 170 410 0 13127 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 63328
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 7124
/proc/meminfo: memFree=27905880/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=189436 CPUtime=3.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) R 7120 7120 6267 0 -1 4202496 19956 20038 0 0 144 125 31 7 20 0 1 0 275620881 193982464 37901 33554432000 4194304 5873084 140734992656448 140734992650536 4664146 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7121/statm: 47359 37901 179 410 0 46941 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 198584
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 7125
/proc/meminfo: memFree=27621624/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=648188 CPUtime=6.27 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) R 7120 7120 6267 0 -1 4202496 21824 20038 0 0 455 134 31 7 20 0 1 0 275620881 663744512 94733 33554432000 4194304 5873084 140734992656448 140734992650840 4708416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7121/statm: 162047 94733 179 410 0 161629 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 657336
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7127
/proc/meminfo: memFree=26390560/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=969992 CPUtime=4.56 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 109199 0 0 0 423 33 0 0 20 0 1 0 275621694 993271808 216600 33554432000 4194304 4896791 140737422462496 140737421411288 4401607 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7127/statm: 242498 216600 58 172 0 242324 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 1587588
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 7127
/proc/meminfo: memFree=26276660/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=919984 CPUtime=17.35 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 132419 0 0 0 1694 41 0 0 20 0 1 0 275621694 942063616 219030 33554432000 4194304 4896791 140737422462496 140737422459704 4225029 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/7127/statm: 229996 219030 78 172 0 229822 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 1537580
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 7127
/proc/meminfo: memFree=26268904/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=920176 CPUtime=42.94 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 132432 0 0 0 4253 41 0 0 20 0 1 0 275621694 942260224 219043 33554432000 4194304 4896791 140737422462496 140737422459816 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 230044 219043 78 172 0 229870 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 1537772
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7128
/proc/meminfo: memFree=26265464/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=920176 CPUtime=94.13 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 132435 0 0 0 9372 41 0 0 20 0 1 0 275621694 942260224 219557 33554432000 4194304 4896791 140737422462496 140737422459816 4202992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 230044 219557 78 172 0 229870 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 1537772
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7128
/proc/meminfo: memFree=26243544/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1060176 CPUtime=154.13 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 136376 0 0 0 15371 42 0 0 20 0 1 0 275621694 1085620224 223026 33554432000 4194304 4896791 140737422462496 140737422460024 4203799 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 265044 223026 78 172 0 264870 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1677772
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7128
/proc/meminfo: memFree=26232716/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 146043 0 0 0 135344 45 0 0 20 0 1 0 275621694 1105031168 233649 33554432000 4194304 4896791 140737422462496 140737422459704 4224722 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 269783 233649 78 172 0 269609 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1696728
[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7138
/proc/meminfo: memFree=26156792/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1079536 CPUtime=1413.88 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 146134 0 0 0 141343 45 0 0 20 0 1 0 275621694 1105444864 234251 33554432000 4194304 4896791 140737422462496 140737422459720 4204079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 269884 234251 78 172 0 269710 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1697132
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7138
/proc/meminfo: memFree=26146852/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1080060 CPUtime=1473.87 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 146287 0 0 0 147342 45 0 0 20 0 1 0 275621694 1105981440 234915 33554432000 4194304 4896791 140737422462496 140737422458232 4203806 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 270015 234915 78 172 0 269841 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1697656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7138
/proc/meminfo: memFree=26139592/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1081236 CPUtime=1533.86 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 146591 0 0 0 153341 45 0 0 20 0 1 0 275621694 1107185664 235730 33554432000 4194304 4896791 140737422462496 140737422459640 4204079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 270309 235730 78 172 0 270135 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1698832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7139
/proc/meminfo: memFree=26162000/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1082956 CPUtime=1593.86 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 147052 0 0 0 159340 46 0 0 20 0 1 0 275621694 1108946944 236191 33554432000 4194304 4896791 140737422462496 140737422459720 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 270739 236191 78 172 0 270565 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1700552
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7139
/proc/meminfo: memFree=26157532/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1083088 CPUtime=1653.85 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 147078 0 0 0 165339 46 0 0 20 0 1 0 275621694 1109082112 236217 33554432000 4194304 4896791 140737422462496 140737422459704 4224706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 270772 236217 78 172 0 270598 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1700684
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 7187
/proc/meminfo: memFree=26606944/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1083352 CPUtime=1713.84 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 147153 0 0 0 171338 46 0 0 20 0 1 0 275621694 1109352448 236292 33554432000 4194304 4896791 140737422462496 140737422459704 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 270838 236292 78 172 0 270664 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1700948
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7187
/proc/meminfo: memFree=26594504/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1084424 CPUtime=1773.84 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 147392 0 0 0 177338 46 0 0 20 0 1 0 275621694 1110450176 237042 33554432000 4194304 4896791 140737422462496 140737422459720 4203877 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 271106 237042 78 172 0 270932 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1702020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7187
/proc/meminfo: memFree=26594364/32873844 swapFree=7100/7100
[pid=7120] ppid=7118 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (runPb2satCp2.sh) S 7118 7120 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275620881 9367552 274 33554432000 4194304 5064252 140734621089424 140734621088336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7120/statm: 2287 274 233 213 0 72 0
[pid=7121] ppid=7120 vsize=599300 CPUtime=8.07 cores=0,2,4,6
/proc/7121/stat : 7121 (pb2sat) S 7120 7120 6267 0 -1 4202496 23000 20038 0 0 582 187 31 7 20 0 1 0 275620881 613683200 105580 33554432000 4194304 5873084 140734992656448 140734992650264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/7121/statm: 149825 105580 179 410 0 149407 0
[pid=7126] ppid=7121 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7126/stat : 7126 (satsolver.sh) S 7121 7120 6267 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 275621693 9367552 267 33554432000 4194304 5064252 140735671506080 140735671504992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7126/statm: 2287 267 226 213 0 72 0
[pid=7127] ppid=7126 vsize=1084424 CPUtime=1791.94 cores=0,2,4,6
/proc/7127/stat : 7127 (glucose_static) R 7126 7120 6267 0 -1 4202496 147412 0 0 0 179148 46 0 0 20 0 1 0 275621694 1110450176 237062 33554432000 4194304 4896791 140737422462496 140737422459720 4204062 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7127/statm: 271106 237062 78 172 0 270932 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1702020
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7120 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=142066
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=957702
# CPU time returned by wait4() is 8.09977
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.01
CPU user time (s): 1797.61
CPU system time (s): 2.4
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1852668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.14207
system time used= 1.9577
maximum resident set size= 784536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44017
page faults= 0
swaps= 0
block input operations= 16
block output operations= 828712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 24
runsolver used 2.47862 second user time and 7.39188 second system time
The end