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-3490647-1307758322/watcher-3490647-1307758322 -o /tmp/evaluation-result-3490647-1307758322/solver-3490647-1307758322 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490647-1307758322.opb --verbosity=0 --format=opb --randomseed=2067476354
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: 2.93 2.98 2.99 3/178 19818
/proc/meminfo: memFree=31358364/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=7184 CPUtime=0 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 328 0 0 0 0 0 0 0 25 0 1 0 887431021 7356416 281 33554432000 4194304 6720400 140735168412896 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 1796 281 232 617 0 1170 0
[startup+0.00872996 s]
/proc/loadavg: 2.93 2.98 2.99 3/178 19818
/proc/meminfo: memFree=31358364/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=7444 CPUtime=0 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 392 0 0 0 0 0 0 0 25 0 1 0 887431021 7622656 345 33554432000 4194304 6720400 140735168412896 18446744073709551615 5734156 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 1861 347 245 617 0 1235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7444
[startup+0.100713 s]
/proc/loadavg: 2.93 2.98 2.99 3/178 19818
/proc/meminfo: memFree=31358364/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=8240 CPUtime=0.09 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 930 0 0 0 9 0 0 0 25 0 1 0 887431021 8437760 877 33554432000 4194304 6720400 140735168412896 18446744073709551615 5718101 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 2060 877 264 617 0 1434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8240
[startup+0.300679 s]
/proc/loadavg: 2.93 2.98 2.99 3/178 19818
/proc/meminfo: memFree=31358364/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=11096 CPUtime=0.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 1779 0 0 0 29 0 0 0 25 0 1 0 887431021 11362304 1708 33554432000 4194304 6720400 140735168412896 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 2774 1708 265 617 0 2148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11096
[startup+0.700607 s]
/proc/loadavg: 2.93 2.98 2.99 3/178 19818
/proc/meminfo: memFree=31358364/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=6776 CPUtime=0.69 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 3567 0 0 0 69 0 0 0 25 0 1 0 887431021 6938624 976 33554432000 4194304 6720400 140735168412896 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 1694 976 265 617 0 1068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6776
[startup+1.50046 s]
/proc/loadavg: 2.93 2.98 2.99 4/179 19819
/proc/meminfo: memFree=31348956/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=24332 CPUtime=1.49 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 6809 0 0 0 148 1 0 0 25 0 1 0 887431021 24915968 4159 33554432000 4194304 6720400 140735168412896 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 6083 4159 265 617 0 5457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24332
[startup+3.10018 s]
/proc/loadavg: 2.93 2.98 2.99 4/179 19819
/proc/meminfo: memFree=31339640/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=24332 CPUtime=3.09 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 7598 0 0 0 308 1 0 0 25 0 1 0 887431021 24915968 4929 33554432000 4194304 6720400 140735168412896 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 6083 4929 265 617 0 5457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24332
[startup+6.30061 s]
/proc/loadavg: 2.93 2.98 2.99 4/179 19819
/proc/meminfo: memFree=31347384/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=14864 CPUtime=6.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 9300 0 0 0 628 1 0 0 25 0 1 0 887431021 15220736 3219 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803159 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 3716 3219 265 617 0 3090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14864
[startup+12.7005 s]
/proc/loadavg: 2.94 2.98 2.99 4/179 19819
/proc/meminfo: memFree=31335152/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=36248 CPUtime=12.68 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 12076 0 0 0 1267 1 0 0 25 0 1 0 887431021 37117952 5941 33554432000 4194304 6720400 140735168412896 18446744073709551615 4591748 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 9062 5941 265 617 0 8436 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36248
[startup+25.5002 s]
/proc/loadavg: 2.95 2.98 2.99 4/179 19819
/proc/meminfo: memFree=31333304/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=36248 CPUtime=25.49 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 12609 0 0 0 2547 2 0 0 25 0 1 0 887431021 37117952 6463 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 9062 6463 265 617 0 8436 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36248
[startup+51.1006 s]
/proc/loadavg: 2.97 2.98 2.99 4/179 19820
/proc/meminfo: memFree=31331388/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=36248 CPUtime=51.09 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 13158 0 0 0 5107 2 0 0 25 0 1 0 887431021 37117952 6995 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 9062 6995 265 617 0 8436 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36248
[startup+102.307 s]
/proc/loadavg: 2.98 2.98 2.99 4/179 19821
/proc/meminfo: memFree=31312380/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=47884 CPUtime=102.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 20839 0 0 0 10226 4 0 0 25 0 1 0 887431021 49033216 11548 33554432000 4194304 6720400 140735168412896 18446744073709551615 4805584 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 11971 11548 265 617 0 11345 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 47884
[startup+162.301 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19823
/proc/meminfo: memFree=31293980/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=66952 CPUtime=162.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30578 0 0 0 16224 5 0 0 25 0 1 0 887431021 68558848 16042 33554432000 4194304 6720400 140735168412896 18446744073709551615 4816800 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 16738 16042 265 617 0 16112 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66952
[startup+222.3 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19864
/proc/meminfo: memFree=31642924/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=222.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 22224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 4819080 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 85840
[startup+282.3 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19865
/proc/meminfo: memFree=31642492/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=282.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 28224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 4819872 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 85840
[startup+342.301 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19867
/proc/meminfo: memFree=31641832/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=342.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 34224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 5718127 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 85840
[startup+402.3 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19868
/proc/meminfo: memFree=31630012/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=402.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 40224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 4820128 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 85840
[startup+462.3 s]
/proc/loadavg: 2.99 2.98 2.99 4/179 19870
/proc/meminfo: memFree=31629860/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=462.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 46224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 85840
[startup+522.301 s]
/proc/loadavg: 3.04 3.00 3.00 4/179 19872
/proc/meminfo: memFree=31629816/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=522.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 30680 0 0 0 52224 5 0 0 25 0 1 0 887431021 87900160 16141 33554432000 4194304 6720400 140735168412896 18446744073709551615 4610484 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 16141 265 617 0 20834 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 85840
[startup+582.3 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 19873
/proc/meminfo: memFree=31611292/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=582.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35438 0 0 0 58223 6 0 0 25 0 1 0 887431021 87900160 20809 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 20809 265 617 0 20834 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 85840
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19880
/proc/meminfo: memFree=31574560/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=822.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 82223 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4815968 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 85840
[startup+882.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19881
/proc/meminfo: memFree=31574760/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=882.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 88223 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4617388 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 85840
[startup+942.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19883
/proc/meminfo: memFree=31609816/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=942.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 94224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 85840
[startup+1002.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19884
/proc/meminfo: memFree=31557940/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1002.29 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 100223 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 5734190 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 85840
[startup+1062.3 s]
/proc/loadavg: 3.06 3.01 3.00 4/179 19886
/proc/meminfo: memFree=31609868/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1062.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 106224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4819054 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 85840
[startup+1122.3 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 19888
/proc/meminfo: memFree=31591084/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1122.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 112224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4812025 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 85840
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19889
/proc/meminfo: memFree=31555944/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1182.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 118224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803170 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 85840
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19891
/proc/meminfo: memFree=31590752/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1242.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 124224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616656 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 85840
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19892
/proc/meminfo: memFree=31560080/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1302.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 130225 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 85840
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19894
/proc/meminfo: memFree=31560036/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1362.3 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 136224 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 85840
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19896
/proc/meminfo: memFree=31549204/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1422.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 142225 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 85840
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19897
/proc/meminfo: memFree=31590072/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=85840 CPUtime=1482.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 35675 0 0 0 148225 6 0 0 25 0 1 0 887431021 87900160 21037 33554432000 4194304 6720400 140735168412896 18446744073709551615 4820147 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21460 21037 265 617 0 20834 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 85840
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19899
/proc/meminfo: memFree=31556552/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=86584 CPUtime=1542.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 44820 0 0 0 154223 8 0 0 25 0 1 0 887431021 88662016 18401 33554432000 4194304 6720400 140735168412896 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 21646 18401 265 617 0 21020 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 86584
[startup+1602.3 s]
/proc/loadavg: 3.08 3.02 3.01 4/179 19900
/proc/meminfo: memFree=31551684/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=105448 CPUtime=1602.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 46754 0 0 0 160223 8 0 0 25 0 1 0 887431021 107978752 20275 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 26362 20275 265 617 0 25736 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 105448
[startup+1662.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 19902
/proc/meminfo: memFree=31539612/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=105448 CPUtime=1662.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 46754 0 0 0 166223 8 0 0 25 0 1 0 887431021 107978752 20275 33554432000 4194304 6720400 140735168412896 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 26362 20275 265 617 0 25736 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 105448
[startup+1722.3 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 19904
/proc/meminfo: memFree=31537080/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=105448 CPUtime=1722.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 46754 0 0 0 172223 8 0 0 25 0 1 0 887431021 107978752 20275 33554432000 4194304 6720400 140735168412896 18446744073709551615 4811722 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 26362 20275 265 617 0 25736 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 105448
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19905
/proc/meminfo: memFree=31579816/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=105448 CPUtime=1782.31 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 46754 0 0 0 178223 8 0 0 25 0 1 0 887431021 107978752 20275 33554432000 4194304 6720400 140735168412896 18446744073709551615 5722149 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 26362 20275 265 617 0 25736 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 105448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19906
/proc/meminfo: memFree=31579808/32950928 swapFree=67048868/67111528
[pid=19818] ppid=19816 vsize=105448 CPUtime=1800.02 cores=1,3,5,7
/proc/19818/stat : 19818 (minisatid) R 19816 19818 17848 0 -1 4202496 46754 0 0 0 179994 8 0 0 25 0 1 0 887431021 107978752 20275 33554432000 4194304 6720400 140735168412896 18446744073709551615 4820727 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19818/statm: 26362 20275 265 617 0 25736 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 105448
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.03
CPU user time (s): 1799.94
CPU system time (s): 0.088986
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 116076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46759
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= 3202
runsolver used 2.40363 second user time and 5.9031 second system time
The end