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 /var/tmp/evaluation-result-3496864-1307927193/watcher-3496864-1307927193 -o /var/tmp/evaluation-result-3496864-1307927193/solver-3496864-1307927193 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496864-1307927193.opb --verbosity=0 --format=opb --randomseed=1484745433
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.00 2.00 1.94 2/177 3029
/proc/meminfo: memFree=7453428/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=7680 CPUtime=0 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 373 0 0 0 0 0 0 0 25 0 1 0 904319002 7864320 326 33554432000 4194304 6957856 140735425173952 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 1920 326 227 675 0 1236 0
[startup+0.091317 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 3029
/proc/meminfo: memFree=7453428/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=15848 CPUtime=0.08 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 2582 0 0 0 8 0 0 0 25 0 1 0 904319002 16228352 2220 33554432000 4194304 6957856 140735425173952 18446744073709551615 4452937 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 3962 2220 252 675 0 3278 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15848
[startup+0.101319 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 3029
/proc/meminfo: memFree=7453428/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=16248 CPUtime=0.09 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 2705 0 0 0 9 0 0 0 25 0 1 0 904319002 16637952 2343 33554432000 4194304 6957856 140735425173952 18446744073709551615 5457405 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 4062 2343 252 675 0 3378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16248
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 3029
/proc/meminfo: memFree=7453428/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=27696 CPUtime=0.29 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 5428 0 0 0 29 0 0 0 25 0 1 0 904319002 28360704 5066 33554432000 4194304 6957856 140735425173952 18446744073709551615 5578117 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 6924 5066 252 675 0 6240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27696
[startup+0.701203 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 3029
/proc/meminfo: memFree=7453428/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=44504 CPUtime=0.69 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 9592 0 0 0 69 0 0 0 25 0 1 0 904319002 45572096 9230 33554432000 4194304 6957856 140735425173952 18446744073709551615 4236802 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 11126 9230 252 675 0 10442 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44504
[startup+1.50092 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3030
/proc/meminfo: memFree=7405564/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=84368 CPUtime=1.49 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 20367 0 0 0 147 2 0 0 25 0 1 0 904319002 86392832 19025 33554432000 4194304 6957856 140735425173952 18446744073709551615 5932588 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 21092 19028 272 675 0 20408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84368
[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3030
/proc/meminfo: memFree=7318764/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=256480 CPUtime=3.09 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 63403 0 0 0 302 7 0 0 25 0 1 0 904319002 262635520 62061 33554432000 4194304 6957856 140735425173952 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 64120 62062 272 675 0 63436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 256480
[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3030
/proc/meminfo: memFree=7149876/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=305780 CPUtime=6.29 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 75719 0 0 0 620 9 0 0 25 0 1 0 904319002 313118720 74377 33554432000 4194304 6957856 140735425173952 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 76445 74377 274 675 0 75761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 305780
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3030
/proc/meminfo: memFree=7146448/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=306668 CPUtime=12.69 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 76808 0 0 0 1260 9 0 0 25 0 1 0 904319002 314028032 75452 33554432000 4194304 6957856 140735425173952 18446744073709551615 5312991 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 76667 75452 288 675 0 75983 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 306668
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3030
/proc/meminfo: memFree=7132544/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=321312 CPUtime=25.49 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 82024 0 0 0 2538 11 0 0 25 0 1 0 904319002 329023488 78496 33554432000 4194304 6957856 140735425173952 18446744073709551615 4871286 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 80328 78496 288 675 0 79644 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 321312
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3031
/proc/meminfo: memFree=7124380/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=340752 CPUtime=51.09 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 87546 0 0 0 5097 12 0 0 25 0 1 0 904319002 348930048 80654 33554432000 4194304 6957856 140735425173952 18446744073709551615 5387657 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 85188 80654 290 675 0 84504 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 340752
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3032
/proc/meminfo: memFree=7099376/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=340752 CPUtime=102.3 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 89716 0 0 0 10218 12 0 0 25 0 1 0 904319002 348930048 82818 33554432000 4194304 6957856 140735425173952 18446744073709551615 5932630 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 85188 82818 290 675 0 84504 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 340752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3034
/proc/meminfo: memFree=7075776/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=340752 CPUtime=162.29 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 90453 0 0 0 16217 12 0 0 25 0 1 0 904319002 348930048 83539 33554432000 4194304 6957856 140735425173952 18446744073709551615 4863358 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 85188 83539 290 675 0 84504 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 340752
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3035
/proc/meminfo: memFree=7056264/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=222.3 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 101504 0 0 0 22215 15 0 0 25 0 1 0 904319002 368238592 88281 33554432000 4194304 6957856 140735425173952 18446744073709551615 5314160 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88281 290 675 0 89218 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 359608
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 3077
/proc/meminfo: memFree=7410072/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=282.3 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 113011 0 0 0 28213 17 0 0 25 0 1 0 904319002 368238592 88909 33554432000 4194304 6957856 140735425173952 18446744073709551615 5313102 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88909 290 675 0 89218 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 359608
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 3079
/proc/meminfo: memFree=7409792/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=342.3 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 113011 0 0 0 34213 17 0 0 25 0 1 0 904319002 368238592 88909 33554432000 4194304 6957856 140735425173952 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88909 290 675 0 89218 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 359608
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 3080
/proc/meminfo: memFree=7408128/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=402.3 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 113011 0 0 0 40213 17 0 0 25 0 1 0 904319002 368238592 88909 33554432000 4194304 6957856 140735425173952 18446744073709551615 5922134 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88909 290 675 0 89218 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 359608
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 3082
/proc/meminfo: memFree=7406224/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=462.31 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 113011 0 0 0 46214 17 0 0 25 0 1 0 904319002 368238592 88909 33554432000 4194304 6957856 140735425173952 18446744073709551615 5312975 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88909 290 675 0 89218 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 359608
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 3084
/proc/meminfo: memFree=7372944/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=408928 CPUtime=522.31 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 121581 0 0 0 52213 18 0 0 25 0 1 0 904319002 418742272 97469 33554432000 4194304 6957856 140735425173952 18446744073709551615 4852337 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 102232 97469 290 675 0 101548 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 408928
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 3086
/proc/meminfo: memFree=7372164/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=408928 CPUtime=582.32 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 139929 0 0 0 58211 21 0 0 25 0 1 0 904319002 418742272 97566 33554432000 4194304 6957856 140735425173952 18446744073709551615 4869738 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 102232 97566 290 675 0 101548 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 408928
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3092
/proc/meminfo: memFree=7374716/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=408928 CPUtime=822.32 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 251719 0 0 0 82191 41 0 0 25 0 1 0 904319002 418742272 96852 33554432000 4194304 6957856 140735425173952 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 102232 96852 290 675 0 101548 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 408928
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3094
/proc/meminfo: memFree=7342684/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=439748 CPUtime=882.32 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 284816 0 0 0 88185 47 0 0 25 0 1 0 904319002 450301952 104433 33554432000 4194304 6957856 140735425173952 18446744073709551615 5387557 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 109937 104433 290 675 0 109253 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 439748
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3096
/proc/meminfo: memFree=7360248/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=408928 CPUtime=942.33 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 312815 0 0 0 94180 53 0 0 25 0 1 0 904319002 418742272 99760 33554432000 4194304 6957856 140735425173952 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 102232 99760 290 675 0 101548 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 408928
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 3098
/proc/meminfo: memFree=7401364/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=359608 CPUtime=1002.32 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 332296 0 0 0 100176 56 0 0 25 0 1 0 904319002 368238592 88909 33554432000 4194304 6957856 140735425173952 18446744073709551615 5315745 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 89902 88909 290 675 0 89218 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 359608
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 3100
/proc/meminfo: memFree=7339196/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=439748 CPUtime=1062.33 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 364345 0 0 0 106171 62 0 0 25 0 1 0 904319002 450301952 104959 33554432000 4194304 6957856 140735425173952 18446744073709551615 5312950 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 109937 104959 290 675 0 109253 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 439748
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 3101
/proc/meminfo: memFree=7338536/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=452520 CPUtime=1122.34 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 401145 0 0 0 112164 70 0 0 25 0 1 0 904319002 463380480 104867 33554432000 4194304 6957856 140735425173952 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 113130 104867 290 675 0 112446 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 452520
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3103
/proc/meminfo: memFree=7388592/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=372380 CPUtime=1182.33 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 427221 0 0 0 118158 75 0 0 25 0 1 0 904319002 381317120 92103 33554432000 4194304 6957856 140735425173952 18446744073709551615 5312950 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 93095 92103 290 675 0 92411 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 372380
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3105
/proc/meminfo: memFree=7330012/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=452520 CPUtime=1242.34 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 463153 0 0 0 124153 81 0 0 25 0 1 0 904319002 463380480 107058 33554432000 4194304 6957856 140735425173952 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 113130 107058 290 675 0 112446 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 452520
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3106
/proc/meminfo: memFree=7302440/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=502608 CPUtime=1302.34 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 493796 0 0 0 130148 86 0 0 25 0 1 0 904319002 514670592 113718 33554432000 4194304 6957856 140735425173952 18446744073709551615 4869728 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 125652 113718 290 675 0 124968 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 502608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3108
/proc/meminfo: memFree=7336988/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=452520 CPUtime=1362.34 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 529201 0 0 0 136140 94 0 0 25 0 1 0 904319002 463380480 105271 33554432000 4194304 6957856 140735425173952 18446744073709551615 5934062 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 113130 105271 290 675 0 112446 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 452520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3109
/proc/meminfo: memFree=7317480/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=452656 CPUtime=1422.35 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 555985 0 0 0 142135 100 0 0 25 0 1 0 904319002 463519744 109980 33554432000 4194304 6957856 140735425173952 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 113164 109980 290 675 0 112480 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 452656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3113
/proc/meminfo: memFree=7388240/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=372516 CPUtime=1482.35 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 575099 0 0 0 148131 104 0 0 25 0 1 0 904319002 381456384 92136 33554432000 4194304 6957856 140735425173952 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 93129 92136 290 675 0 92445 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 372516
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3116
/proc/meminfo: memFree=7318260/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=452656 CPUtime=1542.35 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 609901 0 0 0 154125 110 0 0 25 0 1 0 904319002 463519744 109831 33554432000 4194304 6957856 140735425173952 18446744073709551615 5922598 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 113164 109831 290 675 0 112480 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 452656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3117
/proc/meminfo: memFree=7350084/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=421836 CPUtime=1602.35 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 639911 0 0 0 160120 115 0 0 25 0 1 0 904319002 431960064 101912 33554432000 4194304 6957856 140735425173952 18446744073709551615 5918143 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 105459 101912 290 675 0 104775 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 421836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3119
/proc/meminfo: memFree=7350056/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=421836 CPUtime=1662.36 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 663733 0 0 0 166117 119 0 0 25 0 1 0 904319002 431960064 101950 33554432000 4194304 6957856 140735425173952 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 105459 101950 290 675 0 104775 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 421836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3122
/proc/meminfo: memFree=7388196/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=372516 CPUtime=1722.36 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 690551 0 0 0 172112 124 0 0 25 0 1 0 904319002 381456384 92136 33554432000 4194304 6957856 140735425173952 18446744073709551615 4846744 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 93129 92136 290 675 0 92445 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 372516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3125
/proc/meminfo: memFree=7388152/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=372516 CPUtime=1782.36 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 715108 0 0 0 178108 128 0 0 25 0 1 0 904319002 381456384 92136 33554432000 4194304 6957856 140735425173952 18446744073709551615 5915102 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 93129 92136 290 675 0 92445 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 372516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3126
/proc/meminfo: memFree=7388128/32950928 swapFree=67055948/67111528
[pid=3029] ppid=3027 vsize=372516 CPUtime=1800.07 cores=0,2,4,6
/proc/3029/stat : 3029 (minisatid-gmp) R 3027 3029 2067 0 -1 4202496 726385 0 0 0 179877 130 0 0 25 0 1 0 904319002 381456384 92136 33554432000 4194304 6957856 140735425173952 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/3029/statm: 93129 92136 290 675 0 92445 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 372516
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.09
CPU user time (s): 1798.77
CPU system time (s): 1.3178
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 502608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.3178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 726390
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= 21841
runsolver used 2.6456 second user time and 5.54416 second system time
The end