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-3695350-1338087182/watcher-3695350-1338087182 -o /tmp/evaluation-result-3695350-1338087182/solver-3695350-1338087182 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695350-1338087182.opb 1745860125 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: 1.04 1.64 1.86 4/171 10967
/proc/meminfo: memFree=29239012/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[startup+0.103327 s]
/proc/loadavg: 1.04 1.64 1.86 4/171 10967
/proc/meminfo: memFree=29239012/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200316 s]
/proc/loadavg: 1.04 1.64 1.86 4/171 10967
/proc/meminfo: memFree=29239012/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300334 s]
/proc/loadavg: 1.04 1.64 1.86 4/171 10967
/proc/meminfo: memFree=29239012/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700199 s]
/proc/loadavg: 1.04 1.64 1.86 4/171 10967
/proc/meminfo: memFree=29239012/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.04 1.64 1.86 3/181 10989
/proc/meminfo: memFree=29186784/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=12732 CPUtime=0.85 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 4460 6058 0 0 16 26 42 1 20 0 1 0 274843652 13037568 2879 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10970/statm: 3183 2879 175 410 0 2765 0
[pid=10988] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10988/stat : 10988 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274843738 9367552 267 33554432000 4194304 5064252 140734929516144 140734929515056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10988/statm: 2287 267 226 213 0 72 0
[pid=10989] ppid=10988 vsize=28552 CPUtime=0.62 cores=1,3,5,7
/proc/10989/stat : 10989 (glucose_static) R 10988 10966 10926 0 -1 4202496 6173 0 0 0 62 0 0 0 20 0 1 0 274843738 29237248 6342 33554432000 4194304 4896791 140733412756400 140733412753704 4224960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10989/statm: 7138 6342 78 172 0 6964 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 59580
[startup+3.10029 s]
/proc/loadavg: 1.04 1.64 1.86 3/181 10992
/proc/meminfo: memFree=29185724/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=12732 CPUtime=0.85 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 4460 6058 0 0 16 26 42 1 20 0 1 0 274843652 13037568 2879 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10970/statm: 3183 2879 175 410 0 2765 0
[pid=10988] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10988/stat : 10988 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274843738 9367552 267 33554432000 4194304 5064252 140734929516144 140734929515056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10988/statm: 2287 267 226 213 0 72 0
[pid=10989] ppid=10988 vsize=32064 CPUtime=2.22 cores=1,3,5,7
/proc/10989/stat : 10989 (glucose_static) R 10988 10966 10926 0 -1 4202496 6501 0 0 0 221 1 0 0 20 0 1 0 274843738 32833536 6664 33554432000 4194304 4896791 140733412756400 140733412753608 4224752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10989/statm: 8016 6664 78 172 0 7842 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 63092
[startup+6.30035 s]
/proc/loadavg: 1.20 1.66 1.87 3/181 10995
/proc/meminfo: memFree=29180308/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=14268 CPUtime=3.41 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 5558 13730 0 0 18 26 293 4 20 0 1 0 274843652 14610432 3269 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10970/statm: 3567 3269 175 410 0 3149 0
[pid=10994] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10994/stat : 10994 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 274843994 9367552 265 33554432000 4194304 5064252 140733772989296 140733772988208 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10994/statm: 2287 265 226 213 0 72 0
[pid=10995] ppid=10994 vsize=32200 CPUtime=2.86 cores=1,3,5,7
/proc/10995/stat : 10995 (glucose_static) R 10994 10966 10926 0 -1 4202496 6519 0 0 0 285 1 0 0 20 0 1 0 274843995 32972800 6729 33554432000 4194304 4896791 140735581832608 140735581829816 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10995/statm: 8050 6729 78 172 0 7876 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 64764
[startup+12.7004 s]
/proc/loadavg: 1.26 1.66 1.87 3/181 11001
/proc/meminfo: memFree=29183848/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=14268 CPUtime=10.31 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 6745 22419 0 0 20 26 979 6 20 0 1 0 274843652 14610432 3273 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3567 3273 175 410 0 3149 0
[pid=10997] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10997/stat : 10997 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274844685 9367552 267 33554432000 4194304 5064252 140733456475968 140733456474880 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10997/statm: 2287 267 226 213 0 72 0
[pid=10998] ppid=10997 vsize=31668 CPUtime=2.35 cores=1,3,5,7
/proc/10998/stat : 10998 (glucose_static) R 10997 10966 10926 0 -1 4202496 6377 0 0 0 234 1 0 0 20 0 1 0 274844686 32428032 6533 33554432000 4194304 4896791 140735310740912 140735310738120 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10998/statm: 7917 6533 78 172 0 7743 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64232
[startup+25.5004 s]
/proc/loadavg: 1.42 1.68 1.87 3/181 11001
/proc/meminfo: memFree=29169724/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=14268 CPUtime=10.31 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 6745 22419 0 0 20 26 979 6 20 0 1 0 274843652 14610432 3273 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3567 3273 175 410 0 3149 0
[pid=10997] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10997/stat : 10997 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274844685 9367552 267 33554432000 4194304 5064252 140733456475968 140733456474880 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10997/statm: 2287 267 226 213 0 72 0
[pid=10998] ppid=10997 vsize=34268 CPUtime=15.15 cores=1,3,5,7
/proc/10998/stat : 10998 (glucose_static) R 10997 10966 10926 0 -1 4202496 8529 0 0 0 1513 2 0 0 20 0 1 0 274844686 35090432 7696 33554432000 4194304 4896791 140735310740912 140735310738120 4203058 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10998/statm: 8567 7696 78 172 0 8393 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 66832
[startup+51.1004 s]
/proc/loadavg: 1.62 1.70 1.87 3/181 11004
/proc/meminfo: memFree=29155776/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=26.9 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 7972 32380 0 0 22 26 2632 10 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11003] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11003/stat : 11003 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274846345 9367552 266 33554432000 4194304 5064252 140735034094224 140735034093136 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11003/statm: 2287 266 226 213 0 72 0
[pid=11004] ppid=11003 vsize=40408 CPUtime=24.15 cores=1,3,5,7
/proc/11004/stat : 11004 (glucose_static) R 11003 10966 10926 0 -1 4202496 9197 0 0 0 2413 2 0 0 20 0 1 0 274846346 41377792 8318 33554432000 4194304 4896791 140733510958384 140733510955592 4203914 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11004/statm: 10102 8318 78 172 0 9928 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74020
[startup+102.3 s]
/proc/loadavg: 1.83 1.75 1.88 3/181 11007
/proc/meminfo: memFree=29165384/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=26.9 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 7972 32380 0 0 22 26 2632 10 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11003] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11003/stat : 11003 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274846345 9367552 266 33554432000 4194304 5064252 140735034094224 140735034093136 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11003/statm: 2287 266 226 213 0 72 0
[pid=11004] ppid=11003 vsize=45316 CPUtime=75.34 cores=1,3,5,7
/proc/11004/stat : 11004 (glucose_static) R 11003 10966 10926 0 -1 4202496 13666 0 0 0 7530 4 0 0 20 0 1 0 274846346 46403584 10503 33554432000 4194304 4896791 140733510958384 140733510954056 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11004/statm: 11329 10503 78 172 0 11155 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 78928
[startup+162.3 s]
/proc/loadavg: 1.94 1.79 1.89 3/181 11010
/proc/meminfo: memFree=29155492/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=102.47 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 9156 47194 0 0 24 26 10181 16 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11009] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 11058
/proc/meminfo: memFree=29033868/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=554.09 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 12705 103344 0 0 31 27 55304 47 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11051] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11051/stat : 11051 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274899077 9367552 267 33554432000 4194304 5064252 140733839118272 140733839117184 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11051/statm: 2287 267 226 213 0 72 0
[pid=11052] ppid=11051 vsize=97392 CPUtime=807.86 cores=1,3,5,7
/proc/11052/stat : 11052 (glucose_static) R 11051 10966 10926 0 -1 4202496 42161 0 0 0 80752 34 0 0 20 0 1 0 274899077 99729408 22278 33554432000 4194304 4896791 140733564955648 140733564952856 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11052/statm: 24348 22278 78 172 0 24174 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 131004
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 11058
/proc/meminfo: memFree=29054560/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=554.09 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 12705 103344 0 0 31 27 55304 47 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11051] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11051/stat : 11051 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274899077 9367552 267 33554432000 4194304 5064252 140733839118272 140733839117184 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11051/statm: 2287 267 226 213 0 72 0
[pid=11052] ppid=11051 vsize=99264 CPUtime=867.86 cores=1,3,5,7
/proc/11052/stat : 11052 (glucose_static) R 11051 10966 10926 0 -1 4202496 43445 0 0 0 86750 36 0 0 20 0 1 0 274899077 101646336 23286 33554432000 4194304 4896791 140733564955648 140733564952856 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11052/statm: 24816 23286 78 172 0 24642 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 132876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 11058
/proc/meminfo: memFree=29040900/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=554.09 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 12705 103344 0 0 31 27 55304 47 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11051] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11051/stat : 11051 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274899077 9367552 267 33554432000 4194304 5064252 140733839118272 140733839117184 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11051/statm: 2287 267 226 213 0 72 0
[pid=11052] ppid=11051 vsize=101188 CPUtime=927.84 cores=1,3,5,7
/proc/11052/stat : 11052 (glucose_static) R 11051 10966 10926 0 -1 4202496 44755 0 0 0 92746 38 0 0 20 0 1 0 274899077 103616512 24303 33554432000 4194304 4896791 140733564955648 140733564951384 4225417 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11052/statm: 25297 24303 78 172 0 25123 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 134800
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 11062
/proc/meminfo: memFree=29078900/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=42164 CPUtime=45.15 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 12689 0 0 0 4512 3 0 0 20 0 1 0 274993365 43175936 9421 33554432000 4194304 4896791 140735855990512 140735855987720 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 10541 9421 78 172 0 10367 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 75776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 11062
/proc/meminfo: memFree=29042640/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=54224 CPUtime=105.13 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 17733 0 0 0 10507 6 0 0 20 0 1 0 274993365 55525376 11788 33554432000 4194304 4896791 140735855990512 140735855987720 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 13556 11788 78 172 0 13382 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 87836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 11065
/proc/meminfo: memFree=29071208/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=57864 CPUtime=165.12 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 22214 0 0 0 16503 9 0 0 20 0 1 0 274993365 59252736 13670 33554432000 4194304 4896791 140735855990512 140735855987720 4225417 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 14466 13670 78 172 0 14292 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 91476
[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 1.97 3/181 11065
/proc/meminfo: memFree=29038052/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=72844 CPUtime=225.1 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 25823 0 0 0 22498 12 0 0 20 0 1 0 274993365 74592256 15671 33554432000 4194304 4896791 140735855990512 140735855987720 4223783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 18211 15671 78 172 0 18037 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 106456
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/181 11065
/proc/meminfo: memFree=29074276/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=75884 CPUtime=285.09 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 27837 0 0 0 28495 14 0 0 20 0 1 0 274993365 77705216 16322 33554432000 4194304 4896791 140735855990512 140735855987720 4223840 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 18971 16322 78 172 0 18797 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 109496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.02 1.97 3/180 11065
/proc/meminfo: memFree=29053860/32873624 swapFree=7104/7104
[pid=10966] ppid=10964 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10966/stat : 10966 (runPb2satCp2.sh) S 10964 10966 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 274 33554432000 4194304 5064252 140736982908736 140736982907648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10966/statm: 2287 274 233 213 0 72 0
[pid=10970] ppid=10966 vsize=15316 CPUtime=1496.77 cores=1,3,5,7
/proc/10970/stat : 10970 (pb2sat) S 10966 10966 10926 0 -1 4202496 13932 149851 0 0 33 27 149530 87 20 0 1 0 274843652 15683584 3403 33554432000 4194304 5873084 140735773607680 140735773601496 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10970/statm: 3829 3403 175 410 0 3411 0
[pid=11061] ppid=10970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 10970 10966 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274993365 9367552 267 33554432000 4194304 5064252 140735127000832 140735126999744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 267 226 213 0 72 0
[pid=11062] ppid=11061 vsize=65260 CPUtime=303.29 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose_static) R 11061 10966 10926 0 -1 4202496 28377 0 0 0 30314 15 0 0 20 0 1 0 274993365 66826240 15170 33554432000 4194304 4896791 140735855990512 140735855987720 4224617 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 16315 15170 78 172 0 16141 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 98872
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.79
CPU system time (s): 1.3148
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 183992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.3148
maximum resident set size= 140992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 90880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245
involuntary context switches= 1959
runsolver used 4.48032 second user time and 8.58469 second system time
The end