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-3497371-1307919924/watcher-3497371-1307919924 -o /tmp/evaluation-result-3497371-1307919924/solver-3497371-1307919924 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497371-1307919924.opb --verbosity=0 --format=opb --randomseed=2052621654
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.71 0.70 0.25 2/172 5994
/proc/meminfo: memFree=28866568/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=8092 CPUtime=0 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 492 0 0 0 0 0 0 0 25 0 1 0 903592070 8286208 445 33554432000 4194304 6957856 140737161001584 18446744073709551615 4429446 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 2023 445 246 675 0 1339 0
[startup+0.00625595 s]
/proc/loadavg: 1.71 0.70 0.25 2/172 5994
/proc/meminfo: memFree=28866568/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=8092 CPUtime=0 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 497 0 0 0 0 0 0 0 25 0 1 0 903592070 8286208 450 33554432000 4194304 6957856 140737161001584 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 2023 450 247 675 0 1339 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8092
[startup+0.100277 s]
/proc/loadavg: 1.71 0.70 0.25 2/172 5994
/proc/meminfo: memFree=28866568/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=9560 CPUtime=0.09 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 896 0 0 0 9 0 0 0 25 0 1 0 903592070 9789440 848 33554432000 4194304 6957856 140737161001584 18446744073709551615 4645959 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 2390 848 280 675 0 1706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9560
[startup+0.300243 s]
/proc/loadavg: 1.71 0.70 0.25 2/172 5994
/proc/meminfo: memFree=28866568/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=9560 CPUtime=0.29 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 916 0 0 0 29 0 0 0 25 0 1 0 903592070 9789440 866 33554432000 4194304 6957856 140737161001584 18446744073709551615 4614533 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 2390 866 282 675 0 1706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9560
[startup+0.700186 s]
/proc/loadavg: 1.71 0.70 0.25 2/172 5994
/proc/meminfo: memFree=28866568/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=9560 CPUtime=0.69 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 947 0 0 0 69 0 0 0 25 0 1 0 903592070 9789440 895 33554432000 4194304 6957856 140737161001584 18446744073709551615 4613552 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 2390 895 282 675 0 1706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9560
[startup+1.50105 s]
/proc/loadavg: 1.71 0.70 0.25 3/173 5995
/proc/meminfo: memFree=28863628/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=5744 CPUtime=1.49 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1065 0 0 0 149 0 0 0 25 0 1 0 903592070 5881856 943 33554432000 4194304 6957856 140737161001584 18446744073709551615 4614363 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 1436 943 284 675 0 752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5744
[startup+3.10078 s]
/proc/loadavg: 1.71 0.70 0.25 3/173 5995
/proc/meminfo: memFree=28862884/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=6276 CPUtime=3.09 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1293 0 0 0 309 0 0 0 25 0 1 0 903592070 6426624 1101 33554432000 4194304 6957856 140737161001584 18446744073709551615 4652320 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 1569 1101 284 675 0 885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6276
[startup+6.30023 s]
/proc/loadavg: 1.73 0.72 0.26 3/173 5995
/proc/meminfo: memFree=28858912/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=16948 CPUtime=6.29 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 3027 0 0 0 629 0 0 0 25 0 1 0 903592070 17354752 2828 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 4237 2828 284 675 0 3553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16948
[startup+12.7002 s]
/proc/loadavg: 1.83 0.76 0.28 3/173 5995
/proc/meminfo: memFree=28846932/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=28164 CPUtime=12.69 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 10278 0 0 0 1268 1 0 0 25 0 1 0 903592070 28839936 5269 33554432000 4194304 6957856 140737161001584 18446744073709551615 4616826 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 7041 5269 284 675 0 6357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28164
[startup+25.501 s]
/proc/loadavg: 1.87 0.82 0.31 3/173 5995
/proc/meminfo: memFree=28836904/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=30504 CPUtime=25.49 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 15114 0 0 0 2547 2 0 0 25 0 1 0 903592070 31236096 7150 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 7626 7150 284 675 0 6942 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30504
[startup+51.1007 s]
/proc/loadavg: 1.91 0.91 0.35 3/173 6000
/proc/meminfo: memFree=28826792/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=57008 CPUtime=51.09 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 23530 0 0 0 5106 3 0 0 25 0 1 0 903592070 58376192 9607 33554432000 4194304 6957856 140737161001584 18446744073709551615 4616862 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 14252 9607 284 675 0 13568 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57008
[startup+102.306 s]
/proc/loadavg: 2.00 1.09 0.44 3/173 6000
/proc/meminfo: memFree=28787116/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=75864 CPUtime=102.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 45303 0 0 0 10224 6 0 0 25 0 1 0 903592070 77684736 18496 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638755 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 18966 18496 284 675 0 18282 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 75864
[startup+162.301 s]
/proc/loadavg: 2.00 1.25 0.53 3/173 6002
/proc/meminfo: memFree=28783760/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=77376 CPUtime=162.29 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 91320 0 0 0 16217 12 0 0 25 0 1 0 903592070 79233024 18874 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638744 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 19344 18874 284 675 0 18660 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77376
[startup+222.301 s]
/proc/loadavg: 2.04 1.40 0.63 3/173 6118
/proc/meminfo: memFree=28135100/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=88980 CPUtime=222.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 120569 0 0 0 22213 17 0 0 25 0 1 0 903592070 91115520 21775 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 22245 21775 284 675 0 21561 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 88980
[startup+282.301 s]
/proc/loadavg: 2.01 1.51 0.71 3/173 6120
/proc/meminfo: memFree=28126420/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=119732 CPUtime=282.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 143941 0 0 0 28210 20 0 0 25 0 1 0 903592070 122605568 24020 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 29933 24020 284 675 0 29249 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 119732
[startup+342.301 s]
/proc/loadavg: 2.00 1.59 0.79 3/173 6122
/proc/meminfo: memFree=28122436/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=119732 CPUtime=342.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 152463 0 0 0 34209 21 0 0 25 0 1 0 903592070 122605568 24793 33554432000 4194304 6957856 140737161001584 18446744073709551615 4616910 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 29933 24793 284 675 0 29249 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119732
[startup+402.3 s]
/proc/loadavg: 2.00 1.67 0.86 3/173 6122
/proc/meminfo: memFree=28087084/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=169052 CPUtime=402.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 225445 0 0 0 40198 32 0 0 25 0 1 0 903592070 173109248 34470 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 42263 34470 284 675 0 41579 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 169052
[startup+462.3 s]
/proc/loadavg: 2.00 1.72 0.93 3/173 6124
/proc/meminfo: memFree=28122536/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=119732 CPUtime=462.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 274191 0 0 0 46192 38 0 0 25 0 1 0 903592070 122605568 24797 33554432000 4194304 6957856 140737161001584 18446744073709551615 5918214 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 29933 24797 284 675 0 29249 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 119732
[startup+522.3 s]
/proc/loadavg: 2.00 1.77 0.99 3/173 6126
/proc/meminfo: memFree=28062132/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=169052 CPUtime=522.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 298524 0 0 0 52188 42 0 0 25 0 1 0 903592070 173109248 40977 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638780 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 42263 40977 284 675 0 41579 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 169052
[startup+582.301 s]
/proc/loadavg: 2.00 1.81 1.05 3/173 6128
/proc/meminfo: memFree=28054928/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=199872 CPUtime=582.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 354988 0 0 0 58179 51 0 0 25 0 1 0 903592070 204668928 42100 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 49968 42100 284 675 0 49284 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 199872
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.91 1.26 3/173 6134
/proc/meminfo: memFree=28092084/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=131352 CPUtime=822.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 508156 0 0 0 82161 69 0 0 25 0 1 0 903592070 134504448 32370 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 32838 32370 284 675 0 32154 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 131352
[startup+882.301 s]
/proc/loadavg: 2.00 1.92 1.30 3/173 6136
/proc/meminfo: memFree=28092320/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=131352 CPUtime=882.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 578878 0 0 0 88152 78 0 0 25 0 1 0 903592070 134504448 32370 33554432000 4194304 6957856 140737161001584 18446744073709551615 4632591 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 32838 32370 284 675 0 32154 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 131352
[startup+942.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/173 6138
/proc/meminfo: memFree=28092184/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=132044 CPUtime=942.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 703833 0 0 0 94137 94 0 0 25 0 1 0 903592070 135213056 32543 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638780 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 33011 32543 284 675 0 32327 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 132044
[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/173 6138
/proc/meminfo: memFree=28091552/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=132044 CPUtime=1002.3 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 819758 0 0 0 100121 109 0 0 25 0 1 0 903592070 135213056 32543 33554432000 4194304 6957856 140737161001584 18446744073709551615 4639053 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 33011 32543 284 675 0 32327 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 132044
[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/173 6140
/proc/meminfo: memFree=28071576/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1062.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 908220 0 0 0 106111 120 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 152208
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.45 3/173 6142
/proc/meminfo: memFree=28041684/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1122.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1024924 0 0 0 112097 134 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4632632 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 152208
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/173 6144
/proc/meminfo: memFree=28071556/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1182.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1119881 0 0 0 118084 147 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 152208
[startup+1242.3 s]
/proc/loadavg: 2.08 1.98 1.52 3/173 6146
/proc/meminfo: memFree=28071664/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1242.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1156808 0 0 0 124080 151 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638755 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 152208
[startup+1302.3 s]
/proc/loadavg: 2.03 1.98 1.55 3/173 6146
/proc/meminfo: memFree=28071652/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1302.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1278157 0 0 0 130065 167 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638772 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 152208
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.57 3/173 6148
/proc/meminfo: memFree=28071764/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1362.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1404860 0 0 0 136048 183 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638755 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 152208
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.60 3/173 6150
/proc/meminfo: memFree=28038768/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=201528 CPUtime=1422.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1505590 0 0 0 142035 197 0 0 25 0 1 0 903592070 206364672 45931 33554432000 4194304 6957856 140737161001584 18446744073709551615 4643923 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 50382 45931 284 675 0 49698 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 201528
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.62 3/173 6152
/proc/meminfo: memFree=28071492/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1482.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1631719 0 0 0 148018 214 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 152208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/173 6154
/proc/meminfo: memFree=28071356/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1542.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1772039 0 0 0 153999 232 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 152208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/173 6154
/proc/meminfo: memFree=28071468/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=152208 CPUtime=1602.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1851318 0 0 0 159991 241 0 0 25 0 1 0 903592070 155860992 37584 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638764 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 38052 37584 284 675 0 37368 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 152208
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/173 6156
/proc/meminfo: memFree=28040584/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=183316 CPUtime=1662.31 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1918679 0 0 0 165981 250 0 0 25 0 1 0 903592070 187715584 45350 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638744 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 45829 45350 284 675 0 45145 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 183316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/173 6158
/proc/meminfo: memFree=28040696/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=183316 CPUtime=1722.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 1971379 0 0 0 171976 256 0 0 25 0 1 0 903592070 187715584 45350 33554432000 4194304 6957856 140737161001584 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 45829 45350 284 675 0 45145 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 183316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/173 6160
/proc/meminfo: memFree=28040560/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=183316 CPUtime=1782.32 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 2040019 0 0 0 177969 263 0 0 25 0 1 0 903592070 187715584 45350 33554432000 4194304 6957856 140737161001584 18446744073709551615 4639084 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 45829 45350 284 675 0 45145 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 183316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.72 3/173 6160
/proc/meminfo: memFree=28040680/32951132 swapFree=67061148/67111528
[pid=5994] ppid=5992 vsize=183316 CPUtime=1800.03 cores=1,3,5,7
/proc/5994/stat : 5994 (minisatid-gmp) R 5992 5994 5716 0 -1 4202496 2057214 0 0 0 179738 265 0 0 25 0 1 0 903592070 187715584 45350 33554432000 4194304 6957856 140737161001584 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/5994/statm: 45829 45350 284 675 0 45145 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 183316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.04
CPU user time (s): 1797.38
CPU system time (s): 2.66059
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 232636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.38
system time used= 2.66059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2057219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4288
runsolver used 2.38164 second user time and 5.81012 second system time
The end