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-3490531-1307760313/watcher-3490531-1307760313 -o /tmp/evaluation-result-3490531-1307760313/solver-3490531-1307760313 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490531-1307760313.opb --verbosity=0 --format=opb --randomseed=2067476354
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.99 2.98 2.99 3/178 19988
/proc/meminfo: memFree=31706636/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=7444 CPUtime=0 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 373 0 0 0 0 0 0 0 25 0 1 0 887630118 7622656 326 33554432000 4194304 6720400 140734523563856 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 1861 326 232 617 0 1235 0
[startup+0.0766609 s]
/proc/loadavg: 2.99 2.98 2.99 3/178 19988
/proc/meminfo: memFree=31706636/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=8636 CPUtime=0.07 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 1077 0 0 0 7 0 0 0 25 0 1 0 887630118 8843264 1030 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 2159 1030 265 617 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8636
[startup+0.100656 s]
/proc/loadavg: 2.99 2.98 2.99 3/178 19988
/proc/meminfo: memFree=31706636/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=8636 CPUtime=0.09 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 1213 0 0 0 9 0 0 0 25 0 1 0 887630118 8843264 1166 33554432000 4194304 6720400 140734523563856 18446744073709551615 4804216 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 2159 1166 265 617 0 1533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8636
[startup+0.300679 s]
/proc/loadavg: 2.99 2.98 2.99 3/178 19988
/proc/meminfo: memFree=31706636/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=11484 CPUtime=0.29 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 2309 0 0 0 29 0 0 0 25 0 1 0 887630118 11759616 2259 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 2871 2259 265 617 0 2245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11484
[startup+0.700618 s]
/proc/loadavg: 2.99 2.98 2.99 3/178 19988
/proc/meminfo: memFree=31706636/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=23220 CPUtime=0.69 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 4254 0 0 0 69 0 0 0 25 0 1 0 887630118 23777280 4196 33554432000 4194304 6720400 140734523563856 18446744073709551615 4431779 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 5805 4196 265 617 0 5179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23220
[startup+1.50041 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19989
/proc/meminfo: memFree=31684464/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=35148 CPUtime=1.49 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 8371 0 0 0 148 1 0 0 25 0 1 0 887630118 35991552 8288 33554432000 4194304 6720400 140734523563856 18446744073709551615 4817035 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 8787 8288 265 617 0 8161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35148
[startup+3.10012 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19989
/proc/meminfo: memFree=31691776/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=16680 CPUtime=3.09 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 19306 0 0 0 307 2 0 0 25 0 1 0 887630118 17080320 3645 33554432000 4194304 6720400 140734523563856 18446744073709551615 5718784 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 4170 3645 265 617 0 3544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16680
[startup+6.30055 s]
/proc/loadavg: 3.07 3.00 3.00 4/179 19989
/proc/meminfo: memFree=31660532/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=66084 CPUtime=6.29 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 42755 0 0 0 625 4 0 0 25 0 1 0 887630118 67670016 11426 33554432000 4194304 6720400 140734523563856 18446744073709551615 4812550 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 16521 11426 265 617 0 15895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66084
[startup+12.7005 s]
/proc/loadavg: 3.07 3.00 3.00 4/179 19989
/proc/meminfo: memFree=31607300/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=66084 CPUtime=12.69 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 83235 0 0 0 1260 9 0 0 25 0 1 0 887630118 67670016 16094 33554432000 4194304 6720400 140734523563856 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 16521 16094 265 617 0 15895 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66084
[startup+25.5003 s]
/proc/loadavg: 3.05 3.00 3.00 4/179 19989
/proc/meminfo: memFree=31602936/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=66084 CPUtime=25.49 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 163900 0 0 0 2531 18 0 0 25 0 1 0 887630118 67670016 16095 33554432000 4194304 6720400 140734523563856 18446744073709551615 4812713 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 16521 16095 265 617 0 15895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66084
[startup+51.1006 s]
/proc/loadavg: 3.03 3.00 3.00 4/179 19990
/proc/meminfo: memFree=31599748/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=66084 CPUtime=51.1 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 316814 0 0 0 5071 39 0 0 25 0 1 0 887630118 67670016 16095 33554432000 4194304 6720400 140734523563856 18446744073709551615 5732721 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 16521 16095 265 617 0 15895 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 66084
[startup+102.306 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 19991
/proc/meminfo: memFree=31598716/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=116276 CPUtime=102.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 615683 0 0 0 10148 82 0 0 25 0 1 0 887630118 119066624 27421 33554432000 4194304 6720400 140734523563856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 29069 27421 265 617 0 28443 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 116276
[startup+162.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19993
/proc/meminfo: memFree=31588872/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=147096 CPUtime=162.29 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 945385 0 0 0 16099 130 0 0 25 0 1 0 887630118 150626304 32824 33554432000 4194304 6720400 140734523563856 18446744073709551615 4625545 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 36774 32824 265 617 0 36148 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147096
[startup+222.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19995
/proc/meminfo: memFree=31596136/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=116276 CPUtime=222.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 1224793 0 0 0 22057 173 0 0 25 0 1 0 887630118 119066624 28555 33554432000 4194304 6720400 140734523563856 18446744073709551615 4815175 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 29069 28555 265 617 0 28443 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 116276
[startup+282.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19996
/proc/meminfo: memFree=31593868/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=147096 CPUtime=282.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 1542991 0 0 0 28004 226 0 0 25 0 1 0 887630118 150626304 31076 33554432000 4194304 6720400 140734523563856 18446744073709551615 4817245 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 36774 31076 265 617 0 36148 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 147096
[startup+342.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19998
/proc/meminfo: memFree=31569396/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=147096 CPUtime=342.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 1864932 0 0 0 33954 276 0 0 25 0 1 0 887630118 150626304 34995 33554432000 4194304 6720400 140734523563856 18446744073709551615 4805646 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 36774 34995 265 617 0 36148 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 147096
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19999
/proc/meminfo: memFree=31536240/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=227932 CPUtime=402.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 2193372 0 0 0 39905 325 0 0 25 0 1 0 887630118 233402368 44956 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 56983 44956 265 617 0 56357 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 227932
[startup+462.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20001
/proc/meminfo: memFree=31568684/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=147024 CPUtime=462.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 2432003 0 0 0 45868 362 0 0 25 0 1 0 887630118 150552576 35015 33554432000 4194304 6720400 140734523563856 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 36756 35015 265 617 0 36130 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 147024
[startup+522.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20003
/proc/meminfo: memFree=31548816/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=177844 CPUtime=522.3 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 2726734 0 0 0 51822 408 0 0 25 0 1 0 887630118 182112256 42352 33554432000 4194304 6720400 140734523563856 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 44461 42352 265 617 0 43835 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 177844
[startup+582.301 s]
/proc/loadavg: 3.06 3.02 3.00 4/179 20004
/proc/meminfo: memFree=31562664/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=177844 CPUtime=582.31 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 3026639 0 0 0 57774 457 0 0 25 0 1 0 887630118 182112256 37433 33554432000 4194304 6720400 140734523563856 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 44461 37433 265 617 0 43835 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 177844
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20011
/proc/meminfo: memFree=31537472/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=227932 CPUtime=822.31 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 4230176 0 0 0 81590 641 0 0 25 0 1 0 887630118 233402368 44250 33554432000 4194304 6720400 140734523563856 18446744073709551615 4815483 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 56983 44250 265 617 0 56357 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 227932
[startup+882.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20012
/proc/meminfo: memFree=31593600/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=158516 CPUtime=882.31 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 4543085 0 0 0 87547 684 0 0 25 0 1 0 887630118 162320384 35340 33554432000 4194304 6720400 140734523563856 18446744073709551615 4811665 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 39629 35340 265 617 0 39003 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 158516
[startup+942.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20014
/proc/meminfo: memFree=31560444/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=189336 CPUtime=942.31 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 4891245 0 0 0 93501 730 0 0 25 0 1 0 887630118 193880064 39274 33554432000 4194304 6720400 140734523563856 18446744073709551615 4813203 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 47334 39274 265 617 0 46708 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 189336
[startup+1002.3 s]
/proc/loadavg: 3.07 3.02 3.00 4/179 20024
/proc/meminfo: memFree=31562160/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=158516 CPUtime=1002.31 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 5221496 0 0 0 99453 778 0 0 25 0 1 0 887630118 162320384 35834 33554432000 4194304 6720400 140734523563856 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 39629 35834 265 617 0 39003 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 158516
[startup+1062.3 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 20026
/proc/meminfo: memFree=31531984/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=189336 CPUtime=1062.32 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 5499018 0 0 0 105412 820 0 0 25 0 1 0 887630118 193880064 46149 33554432000 4194304 6720400 140734523563856 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 47334 46149 265 617 0 46708 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 189336
[startup+1122.3 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 20028
/proc/meminfo: memFree=31593564/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=158516 CPUtime=1122.32 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 5829372 0 0 0 111362 870 0 0 25 0 1 0 887630118 162320384 35171 33554432000 4194304 6720400 140734523563856 18446744073709551615 5734080 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 39629 35172 265 617 0 39003 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 158516
[startup+1182.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 20032
/proc/meminfo: memFree=31592924/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=158516 CPUtime=1182.32 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 6127212 0 0 0 117314 918 0 0 25 0 1 0 887630118 162320384 38382 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 39629 38382 265 617 0 39003 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 158516
[startup+1242.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 20034
/proc/meminfo: memFree=31526784/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=189336 CPUtime=1242.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 6445709 0 0 0 123268 965 0 0 25 0 1 0 887630118 193880064 45393 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 47334 45393 265 617 0 46708 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 189336
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20035
/proc/meminfo: memFree=31544096/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=189336 CPUtime=1302.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 6706562 0 0 0 129227 1006 0 0 25 0 1 0 887630118 193880064 39268 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 47334 39268 265 617 0 46708 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 189336
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20037
/proc/meminfo: memFree=31593152/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=158516 CPUtime=1362.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 7000005 0 0 0 135182 1051 0 0 25 0 1 0 887630118 162320384 35071 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 39629 35071 265 617 0 39003 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 158516
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20039
/proc/meminfo: memFree=31522064/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=189336 CPUtime=1422.34 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 7297369 0 0 0 141136 1098 0 0 25 0 1 0 887630118 193880064 45256 33554432000 4194304 6720400 140734523563856 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 47334 45257 265 617 0 46708 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 189336
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20040
/proc/meminfo: memFree=31572608/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=129600 CPUtime=1482.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 7613322 0 0 0 147084 1149 0 0 25 0 1 0 887630118 132710400 31974 33554432000 4194304 6720400 140734523563856 18446744073709551615 4805858 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 32400 31974 265 617 0 31774 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 129600
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20042
/proc/meminfo: memFree=31572680/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=178920 CPUtime=1542.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 7889242 0 0 0 153041 1192 0 0 25 0 1 0 887630118 183214080 39698 33554432000 4194304 6720400 140734523563856 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 44730 39698 265 617 0 44104 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 178920
[startup+1602.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 20043
/proc/meminfo: memFree=31515356/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=209740 CPUtime=1602.33 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 8186697 0 0 0 158998 1235 0 0 25 0 1 0 887630118 214773760 50206 33554432000 4194304 6720400 140734523563856 18446744073709551615 4611614 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 52435 50206 265 617 0 51809 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 209740
[startup+1662.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 20084
/proc/meminfo: memFree=30736124/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=129600 CPUtime=1662.34 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 8479025 0 0 0 164947 1287 0 0 25 0 1 0 887630118 132710400 31974 33554432000 4194304 6720400 140734523563856 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 32400 31974 265 617 0 31774 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 129600
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20086
/proc/meminfo: memFree=30665976/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=259828 CPUtime=1722.34 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 8783983 0 0 0 170902 1332 0 0 25 0 1 0 887630118 266063872 53374 33554432000 4194304 6720400 140734523563856 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 64957 53374 265 617 0 64331 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 259828
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20087
/proc/meminfo: memFree=30683424/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=209740 CPUtime=1782.34 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 9023552 0 0 0 176865 1369 0 0 25 0 1 0 887630118 214773760 47045 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 52435 47045 265 617 0 51809 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 209740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 20088
/proc/meminfo: memFree=30691472/32950928 swapFree=67048868/67111528
[pid=19988] ppid=19986 vsize=178920 CPUtime=1800.05 cores=0,2,4,6
/proc/19988/stat : 19988 (minisatid) R 19986 19988 17848 0 -1 4202496 9101737 0 0 0 178623 1382 0 0 25 0 1 0 887630118 183214080 43213 33554432000 4194304 6720400 140734523563856 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19988/statm: 44730 43213 265 617 0 44104 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 178920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1786.23
CPU system time (s): 13.8289
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 259828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.23
system time used= 13.8289
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9101743
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= 4
involuntary context switches= 4231
runsolver used 2.51862 second user time and 5.68214 second system time
The end