runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490667-1307762875/watcher-3490667-1307762875 -o /tmp/evaluation-result-3490667-1307762875/solver-3490667-1307762875 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490667-1307762875.opb --verbosity=0 --format=opb --randomseed=1592529509
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.04 2.01 2.00 3/175 16685
/proc/meminfo: memFree=30737528/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=7880 CPUtime=0 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 484 0 0 0 0 0 0 0 25 0 1 0 887886198 8069120 436 33554432000 4194304 6720400 140735799350000 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 1970 437 232 617 0 1344 0
[startup+0.0292871 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 16685
/proc/meminfo: memFree=30737528/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=10136 CPUtime=0.02 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 1069 0 0 0 2 0 0 0 25 0 1 0 887886198 10379264 1017 33554432000 4194304 6720400 140735799350000 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 2512 1017 256 617 0 1886 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10136
[startup+0.100311 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 16685
/proc/meminfo: memFree=30737528/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=10128 CPUtime=0.09 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 1435 0 0 0 9 0 0 0 25 0 1 0 887886198 10371072 1383 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 2532 1383 257 617 0 1906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10128
[startup+0.300263 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 16685
/proc/meminfo: memFree=30737528/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=12924 CPUtime=0.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 2607 0 0 0 29 0 0 0 25 0 1 0 887886198 13234176 2552 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 3231 2552 265 617 0 2605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12924
[startup+0.700205 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 16685
/proc/meminfo: memFree=30737528/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=24564 CPUtime=0.69 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 4906 0 0 0 69 0 0 0 25 0 1 0 887886198 25153536 4849 33554432000 4194304 6720400 140735799350000 18446744073709551615 4811689 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 6141 4849 265 617 0 5515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24564
[startup+1.50106 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30712120/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=55328 CPUtime=1.49 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 9342 0 0 0 149 0 0 0 25 0 1 0 887886198 56655872 9284 33554432000 4194304 6720400 140735799350000 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 13832 9284 265 617 0 13206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55328
[startup+3.10079 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30687192/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=86420 CPUtime=3.09 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 18399 0 0 0 307 2 0 0 25 0 1 0 887886198 88494080 18332 33554432000 4194304 6720400 140735799350000 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 21605 18332 265 617 0 20979 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86420
[startup+6.30023 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30599876/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=218472 CPUtime=6.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 36178 0 0 0 625 4 0 0 25 0 1 0 887886198 223715328 36095 33554432000 4194304 6720400 140735799350000 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 54618 36095 265 617 0 53992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218472
[startup+12.7061 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30682620/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=88036 CPUtime=12.7 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 92077 0 0 0 1257 13 0 0 25 0 1 0 887886198 90148864 14361 33554432000 4194304 6720400 140735799350000 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 22009 14361 265 617 0 21383 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 88036
[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30614664/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=220992 CPUtime=25.49 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 188621 0 0 0 2521 28 0 0 25 0 1 0 887886198 226295808 35254 33554432000 4194304 6720400 140735799350000 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 55248 35254 265 617 0 54622 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 220992
[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16686
/proc/meminfo: memFree=30608148/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=142876 CPUtime=51.09 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 400993 0 0 0 5048 61 0 0 25 0 1 0 887886198 146305024 32400 33554432000 4194304 6720400 140735799350000 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 35719 32400 265 617 0 35093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142876
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16688
/proc/meminfo: memFree=30505564/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=361988 CPUtime=102.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 797825 0 0 0 10111 118 0 0 25 0 1 0 887886198 370675712 61178 33554432000 4194304 6720400 140735799350000 18446744073709551615 4819054 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 90497 61178 265 617 0 89871 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 361988
[startup+162.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16690
/proc/meminfo: memFree=30560712/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=235012 CPUtime=162.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 1265266 0 0 0 16035 195 0 0 25 0 1 0 887886198 240652288 44715 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 58753 44715 265 617 0 58127 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 235012
[startup+222.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16692
/proc/meminfo: memFree=30631000/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=158640 CPUtime=222.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 1719853 0 0 0 21963 266 0 0 25 0 1 0 887886198 162447360 30286 33554432000 4194304 6720400 140735799350000 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 39660 30286 265 617 0 39034 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 158640
[startup+282.307 s]
/proc/loadavg: 2.09 2.04 2.01 3/176 16731
/proc/meminfo: memFree=31189792/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=375896 CPUtime=282.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 2132988 0 0 0 27901 329 0 0 25 0 1 0 887886198 384917504 70723 33554432000 4194304 6720400 140735799350000 18446744073709551615 4611776 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 93974 70723 265 617 0 93348 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 375896
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 16733
/proc/meminfo: memFree=31252892/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=379372 CPUtime=342.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 2543765 0 0 0 33839 390 0 0 25 0 1 0 887886198 388476928 73908 33554432000 4194304 6720400 140735799350000 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 94843 73908 265 617 0 94217 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 379372
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 16735
/proc/meminfo: memFree=31238860/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=383824 CPUtime=402.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 2954167 0 0 0 39775 455 0 0 25 0 1 0 887886198 393035776 71336 33554432000 4194304 6720400 140735799350000 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 95956 71336 265 617 0 95330 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 383824
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 16737
/proc/meminfo: memFree=31114084/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=387808 CPUtime=462.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 3338482 0 0 0 45715 515 0 0 25 0 1 0 887886198 397115392 91983 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 96952 91984 265 617 0 96326 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 387808
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 16739
/proc/meminfo: memFree=31040900/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=391192 CPUtime=522.29 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 3749559 0 0 0 51652 577 0 0 25 0 1 0 887886198 400580608 68954 33554432000 4194304 6720400 140735799350000 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 97798 68954 265 617 0 97172 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 391192
[startup+582.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 16739
/proc/meminfo: memFree=31294696/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=262536 CPUtime=582.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 4160541 0 0 0 57592 638 0 0 25 0 1 0 887886198 268836864 54861 33554432000 4194304 6720400 140735799350000 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 65634 54861 265 617 0 65008 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 262536
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16747
/proc/meminfo: memFree=31068552/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=278508 CPUtime=882.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 6158725 0 0 0 87299 931 0 0 25 0 1 0 887886198 285192192 51103 33554432000 4194304 6720400 140735799350000 18446744073709551615 5718203 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 69627 51103 265 617 0 69001 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 278508
[startup+942.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 16749
/proc/meminfo: memFree=30813352/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=628108 CPUtime=942.31 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 6536885 0 0 0 93244 987 0 0 25 0 1 0 887886198 643182592 103657 33554432000 4194304 6720400 140735799350000 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 157027 103658 265 617 0 156401 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 628108
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16751
/proc/meminfo: memFree=31237664/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=283496 CPUtime=1002.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 6932138 0 0 0 99182 1048 0 0 25 0 1 0 887886198 290299904 65916 33554432000 4194304 6720400 140735799350000 18446744073709551615 4816976 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 70874 65918 265 617 0 70248 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 283496
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16753
/proc/meminfo: memFree=30993368/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=632688 CPUtime=1062.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 7306612 0 0 0 105130 1100 0 0 25 0 1 0 887886198 647872512 115079 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 158172 115079 265 617 0 157546 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 632688
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16755
/proc/meminfo: memFree=30883988/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=420848 CPUtime=1122.31 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 7702232 0 0 0 111068 1163 0 0 25 0 1 0 887886198 430948352 81826 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 105212 81826 265 617 0 104586 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 420848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16755
/proc/meminfo: memFree=31220004/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=209372 CPUtime=1182.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 8090216 0 0 0 117008 1222 0 0 25 0 1 0 887886198 214396928 42254 33554432000 4194304 6720400 140735799350000 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 52343 42254 265 617 0 51717 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 209372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16757
/proc/meminfo: memFree=30890284/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=425544 CPUtime=1242.31 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 8465270 0 0 0 122949 1282 0 0 25 0 1 0 887886198 435757056 89650 33554432000 4194304 6720400 140735799350000 18446744073709551615 4812025 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 106386 89650 265 617 0 105760 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 425544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16759
/proc/meminfo: memFree=31127852/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=297688 CPUtime=1302.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 8865491 0 0 0 128887 1343 0 0 25 0 1 0 887886198 304832512 56692 33554432000 4194304 6720400 140735799350000 18446744073709551615 4819066 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 74422 56692 265 617 0 73796 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 297688
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16761
/proc/meminfo: memFree=31161064/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=300044 CPUtime=1362.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 9246890 0 0 0 134829 1401 0 0 25 0 1 0 887886198 307245056 71091 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 75011 71091 265 617 0 74385 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 300044
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16763
/proc/meminfo: memFree=31059500/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=433792 CPUtime=1422.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 9631664 0 0 0 140768 1462 0 0 25 0 1 0 887886198 444203008 95521 33554432000 4194304 6720400 140735799350000 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 108448 95521 265 617 0 107822 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 433792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16763
/proc/meminfo: memFree=30751104/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=649484 CPUtime=1482.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 10009472 0 0 0 146710 1520 0 0 25 0 1 0 887886198 665071616 113430 33554432000 4194304 6720400 140735799350000 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 162371 113430 265 617 0 161745 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 649484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16765
/proc/meminfo: memFree=30868628/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=651056 CPUtime=1542.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 10386907 0 0 0 152652 1578 0 0 25 0 1 0 887886198 666681344 135823 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 162764 135823 265 617 0 162138 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 651056
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16767
/proc/meminfo: memFree=31239872/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=225252 CPUtime=1602.31 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 10781397 0 0 0 158589 1642 0 0 25 0 1 0 887886198 230658048 47351 33554432000 4194304 6720400 140735799350000 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 56313 47351 265 617 0 55687 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 225252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16769
/proc/meminfo: memFree=31230928/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=308484 CPUtime=1662.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 11160316 0 0 0 164530 1700 0 0 25 0 1 0 887886198 315887616 56831 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 77121 56832 265 617 0 76495 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 308484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16771
/proc/meminfo: memFree=31088200/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=443440 CPUtime=1722.31 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 11540334 0 0 0 170474 1757 0 0 25 0 1 0 887886198 454082560 86244 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 110860 86244 265 617 0 110234 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 443440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16771
/proc/meminfo: memFree=30988248/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=444872 CPUtime=1782.3 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 11918092 0 0 0 176415 1815 0 0 25 0 1 0 887886198 455548928 103353 33554432000 4194304 6720400 140735799350000 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 111218 103353 265 617 0 110592 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 444872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 16773
/proc/meminfo: memFree=31010184/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=445368 CPUtime=1800.01 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 12030602 0 0 0 178170 1831 0 0 25 0 1 0 887886198 456056832 94509 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 111342 94509 265 617 0 110716 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 445368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 16773
/proc/meminfo: memFree=31010184/32951132 swapFree=67052544/67111528
[pid=16685] ppid=16683 vsize=445368 CPUtime=1800.01 cores=0,2,4,6
/proc/16685/stat : 16685 (minisatid) R 16683 16685 16337 0 -1 4202496 12030602 0 0 0 178170 1831 0 0 25 0 1 0 887886198 456056832 94509 33554432000 4194304 6720400 140735799350000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16685/statm: 111342 94509 265 617 0 110716 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 445368
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.04
CPU user time (s): 1781.7
CPU system time (s): 18.3342
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 739936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.7
system time used= 18.3342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12030609
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= 1146
runsolver used 3.03054 second user time and 6.08207 second system time
The end