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-3695041-1338076434/watcher-3695041-1338076434 -o /tmp/evaluation-result-3695041-1338076434/solver-3695041-1338076434 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695041-1338076434.opb 1541043179 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: 1.92 1.98 1.99 3/179 10015
/proc/meminfo: memFree=29335988/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[startup+0.020381 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 10015
/proc/meminfo: memFree=29335988/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 10015
/proc/meminfo: memFree=29335988/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 10015
/proc/meminfo: memFree=29335988/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 10015
/proc/meminfo: memFree=29335988/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29242996/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=60796 CPUtime=0.67 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 14846 0 0 0 64 3 0 0 20 0 1 0 273768538 62255104 13844 33554432000 4194304 4896791 140736832340896 140736832338552 4224054 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 15199 13844 77 172 0 15025 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 123140
[startup+3.10041 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29227100/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=60980 CPUtime=2.26 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 15236 0 0 0 223 3 0 0 20 0 1 0 273768538 62443520 13956 33554432000 4194304 4896791 140736832340896 140736832338104 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 15245 13956 77 172 0 15071 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 123324
[startup+6.30035 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29225372/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=61112 CPUtime=5.46 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 15286 0 0 0 543 3 0 0 20 0 1 0 273768538 62578688 14001 33554432000 4194304 4896791 140736832340896 140736832338104 4224980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 15278 14001 77 172 0 15104 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 123456
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29224636/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=61356 CPUtime=11.86 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 15523 0 0 0 1183 3 0 0 20 0 1 0 273768538 62828544 14095 33554432000 4194304 4896791 140736832340896 140736832338216 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 15339 14095 77 172 0 15165 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 123700
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29222596/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=68952 CPUtime=24.67 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 15793 0 0 0 2463 4 0 0 20 0 1 0 273768538 70606848 14866 33554432000 4194304 4896791 140736832340896 140736832338040 4235424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 17238 14866 77 172 0 17064 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 131296
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 10022
/proc/meminfo: memFree=29222152/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=44048 CPUtime=0.8 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 6256 3975 0 0 59 17 3 1 20 0 1 0 273768456 45105152 7440 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10016/statm: 11012 7440 179 410 0 10594 0
[pid=10021] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10021/stat : 10021 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273768538 9367552 267 33554432000 4194304 5064252 140734762184928 140734762183840 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10021/statm: 2287 267 226 213 0 72 0
[pid=10022] ppid=10021 vsize=71308 CPUtime=50.26 cores=0,2,4,6
/proc/10022/stat : 10022 (glucose_static) R 10021 10015 7219 0 -1 4202496 16339 0 0 0 5022 4 0 0 20 0 1 0 273768538 73019392 15412 33554432000 4194304 4896791 140736832340896 140736832338104 4203772 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10022/statm: 17827 15412 77 172 0 17653 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 133652
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 10028
/proc/meminfo: memFree=29212432/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=81.37 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 10868 22563 0 0 97 21 8012 7 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10027] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10027/stat : 10027 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273776597 9367552 266 33554432000 4194304 5064252 140733399022864 140733399021776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10027/statm: 2287 266 226 213 0 72 0
[pid=10028] ppid=10027 vsize=69088 CPUtime=20.88 cores=0,2,4,6
/proc/10028/stat : 10028 (glucose_static) R 10027 10015 7219 0 -1 4202496 15211 0 0 0 2085 3 0 0 20 0 1 0 273776597 70746112 15302 33554432000 4194304 4896791 140736213661600 140736213658968 4224219 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10028/statm: 17272 15302 78 172 0 17098 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 162620
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 10034
/proc/meminfo: memFree=29217460/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=156.84 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 15398 40465 0 0 137 24 15511 12 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10033] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 10176
/proc/meminfo: memFree=29176492/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1374.59 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 75919 270030 0 0 652 70 136650 87 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10172] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10172/stat : 10172 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273905967 9367552 267 33554432000 4194304 5064252 140735437793440 140735437792352 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10172/statm: 2287 267 226 213 0 72 0
[pid=10173] ppid=10172 vsize=69472 CPUtime=47.18 cores=0,2,4,6
/proc/10173/stat : 10173 (glucose_static) R 10172 10015 7219 0 -1 4202496 14714 0 0 0 4714 4 0 0 20 0 1 0 273905967 71139328 15175 33554432000 4194304 4896791 140733317232480 140733317229688 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10173/statm: 17368 15175 78 172 0 17194 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 163004
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 10177
/proc/meminfo: memFree=29162504/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1374.59 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 75919 270030 0 0 652 70 136650 87 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10172] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10172/stat : 10172 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273905967 9367552 267 33554432000 4194304 5064252 140735437793440 140735437792352 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10172/statm: 2287 267 226 213 0 72 0
[pid=10173] ppid=10172 vsize=72744 CPUtime=107.16 cores=0,2,4,6
/proc/10173/stat : 10173 (glucose_static) R 10172 10015 7219 0 -1 4202496 16107 0 0 0 10712 4 0 0 20 0 1 0 273905967 74489856 16525 33554432000 4194304 4896791 140733317232480 140733317229688 4203853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10173/statm: 18186 16525 78 172 0 18012 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 166276
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 10180
/proc/meminfo: memFree=29139788/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1485.07 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 80451 287361 0 0 690 73 147651 93 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10179] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10179/stat : 10179 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273917018 9367552 267 33554432000 4194304 5064252 140736352577520 140736352576432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10179/statm: 2287 267 226 213 0 72 0
[pid=10180] ppid=10179 vsize=72696 CPUtime=56.66 cores=0,2,4,6
/proc/10180/stat : 10180 (glucose_static) R 10179 10015 7219 0 -1 4202496 15782 0 0 0 5662 4 0 0 20 0 1 0 273917018 74440704 16494 33554432000 4194304 4896791 140735934450016 140735934447224 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10180/statm: 18174 16494 78 172 0 18000 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 166228
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/184 10186
/proc/meminfo: memFree=29145608/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1560.97 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 85215 305282 0 0 728 77 155193 99 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10182] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10182/stat : 10182 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273924609 9367552 266 33554432000 4194304 5064252 140736316136576 140736316135488 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10182/statm: 2287 266 226 213 0 72 0
[pid=10183] ppid=10182 vsize=70268 CPUtime=40.76 cores=0,2,4,6
/proc/10183/stat : 10183 (glucose_static) R 10182 10015 7219 0 -1 4202496 14940 0 0 0 4072 4 0 0 20 0 1 0 273924609 71954432 15289 33554432000 4194304 4896791 140737012642128 140737012639672 4203013 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10183/statm: 17567 15289 77 172 0 17393 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 163800
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 10186
/proc/meminfo: memFree=29138956/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1560.97 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 85215 305282 0 0 728 77 155193 99 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10182] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10182/stat : 10182 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273924609 9367552 266 33554432000 4194304 5064252 140736316136576 140736316135488 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10182/statm: 2287 266 226 213 0 72 0
[pid=10183] ppid=10182 vsize=74120 CPUtime=100.74 cores=0,2,4,6
/proc/10183/stat : 10183 (glucose_static) R 10182 10015 7219 0 -1 4202496 16704 0 0 0 10070 4 0 0 20 0 1 0 273924609 75898880 17262 33554432000 4194304 4896791 140737012642128 140737012639224 4203889 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10183/statm: 18530 17262 77 172 0 18356 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 167652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10189
/proc/meminfo: memFree=29162584/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1683.55 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 89748 323720 0 0 766 80 167404 105 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10188] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273936870 9367552 267 33554432000 4194304 5064252 140734256140448 140734256139360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10188/statm: 2287 267 226 213 0 72 0
[pid=10189] ppid=10188 vsize=61300 CPUtime=38.14 cores=0,2,4,6
/proc/10189/stat : 10189 (glucose_static) R 10188 10015 7219 0 -1 4202496 13034 0 0 0 3812 2 0 0 20 0 1 0 273936871 62771200 14226 33554432000 4194304 4896791 140734631366464 140734631363512 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10189/statm: 15325 14226 77 172 0 15151 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 154832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10190
/proc/meminfo: memFree=29144444/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1683.55 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 89748 323720 0 0 766 80 167404 105 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10188] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273936870 9367552 267 33554432000 4194304 5064252 140734256140448 140734256139360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10188/statm: 2287 267 226 213 0 72 0
[pid=10189] ppid=10188 vsize=71660 CPUtime=98.13 cores=0,2,4,6
/proc/10189/stat : 10189 (glucose_static) R 10188 10015 7219 0 -1 4202496 14497 0 0 0 9811 2 0 0 20 0 1 0 273936871 73379840 16512 33554432000 4194304 4896791 140734631366464 140734631363608 4403988 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10189/statm: 17915 16512 77 172 0 17741 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 165192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10190
/proc/meminfo: memFree=29155092/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1683.55 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 89748 323720 0 0 766 80 167404 105 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10188] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273936870 9367552 267 33554432000 4194304 5064252 140734256140448 140734256139360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10188/statm: 2287 267 226 213 0 72 0
[pid=10189] ppid=10188 vsize=73784 CPUtime=116.54 cores=0,2,4,6
/proc/10189/stat : 10189 (glucose_static) R 10188 10015 7219 0 -1 4202496 15625 0 0 0 11651 3 0 0 20 0 1 0 273936871 75554816 16602 33554432000 4194304 4896791 140734631366464 140734631363992 4202982 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10189/statm: 18446 16602 77 172 0 18272 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 167316
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10190
/proc/meminfo: memFree=29155092/32873844 swapFree=7116/7116
[pid=10015] ppid=10013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10015/stat : 10015 (runPb2satCp2.sh) S 10013 10015 7219 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273768456 9367552 275 33554432000 4194304 5064252 140734419570752 140734419569664 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10015/statm: 2287 275 233 213 0 72 0
[pid=10016] ppid=10015 vsize=75236 CPUtime=1683.55 cores=0,2,4,6
/proc/10016/stat : 10016 (pb2sat) S 10015 10015 7219 0 -1 4202496 89748 323720 0 0 766 80 167404 105 20 0 1 0 273768456 77041664 15237 33554432000 4194304 5873084 140734878319936 140734878313752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/10016/statm: 18809 15237 179 410 0 18391 0
[pid=10188] ppid=10016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (satsolver.sh) S 10016 10015 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273936870 9367552 267 33554432000 4194304 5064252 140734256140448 140734256139360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10188/statm: 2287 267 226 213 0 72 0
[pid=10189] ppid=10188 vsize=73784 CPUtime=116.54 cores=0,2,4,6
/proc/10189/stat : 10189 (glucose_static) R 10188 10015 7219 0 -1 4202496 15625 0 0 0 11651 3 0 0 20 0 1 0 273936871 75554816 16602 33554432000 4194304 4896791 140734631366464 140734631363992 4202982 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10189/statm: 18446 16602 77 172 0 18272 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 167316
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1798.23
CPU system time (s): 1.90971
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 192528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 1.90971
maximum resident set size= 97780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430082
page faults= 0
swaps= 0
block input operations= 8
block output operations= 845608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 2272
runsolver used 2.66459 second user time and 7.17291 second system time
The end