runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3464832-1307387923/watcher-3464832-1307387923 -o /tmp/evaluation-result-3464832-1307387923/solver-3464832-1307387923 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3464832-1307387923.opb --verbosity=0 --format=opb
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.01 2.05 2.00 2/554 32308
/proc/meminfo: memFree=23836152/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=8972 CPUtime=0.01 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 815 0 0 0 1 0 0 0 25 0 1 0 850389368 9187328 767 33554432000 4194304 6539028 140735231546848 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 2243 768 236 573 0 1661 0
[startup+0.0781869 s]
/proc/loadavg: 2.01 2.05 2.00 2/554 32308
/proc/meminfo: memFree=23836152/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=10028 CPUtime=0.07 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 1312 0 0 0 7 0 0 0 25 0 1 0 850389368 10268672 1260 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 2507 1260 261 573 0 1925 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10028
[startup+0.101191 s]
/proc/loadavg: 2.01 2.05 2.00 2/554 32308
/proc/meminfo: memFree=23836152/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=10028 CPUtime=0.09 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 1487 0 0 0 9 0 0 0 25 0 1 0 850389368 10268672 1435 33554432000 4194304 6539028 140735231546848 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 2507 1435 261 573 0 1925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10028
[startup+0.301146 s]
/proc/loadavg: 2.01 2.05 2.00 2/554 32308
/proc/meminfo: memFree=23836152/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=17168 CPUtime=0.29 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 2961 0 0 0 29 0 0 0 25 0 1 0 850389368 17580032 2907 33554432000 4194304 6539028 140735231546848 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 4292 2908 270 573 0 3710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17168
[startup+0.701075 s]
/proc/loadavg: 2.01 2.05 2.00 2/554 32308
/proc/meminfo: memFree=23836152/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=36076 CPUtime=0.69 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 5865 0 0 0 69 0 0 0 25 0 1 0 850389368 36941824 5809 33554432000 4194304 6539028 140735231546848 18446744073709551615 4701592 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 9019 5810 270 573 0 8437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36076
[startup+1.50093 s]
/proc/loadavg: 2.01 2.05 2.00 3/555 32309
/proc/meminfo: memFree=23822124/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=36288 CPUtime=1.49 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 12727 0 0 0 148 1 0 0 25 0 1 0 850389368 37158912 7079 33554432000 4194304 6539028 140735231546848 18446744073709551615 4698682 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 9072 7079 271 573 0 8490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36288
[startup+3.10062 s]
/proc/loadavg: 2.01 2.05 2.00 3/555 32309
/proc/meminfo: memFree=23788768/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66460 CPUtime=3.09 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 26055 0 0 0 306 3 0 0 25 0 1 0 850389368 68055040 14298 33554432000 4194304 6539028 140735231546848 18446744073709551615 5643630 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 16615 14298 271 573 0 16033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66460
[startup+6.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/555 32309
/proc/meminfo: memFree=23806952/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66436 CPUtime=6.29 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 46415 0 0 0 624 5 0 0 25 0 1 0 850389368 68030464 14842 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/32308/statm: 16609 14842 271 573 0 16027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66436
[startup+12.7007 s]
/proc/loadavg: 2.01 2.05 2.00 3/555 32309
/proc/meminfo: memFree=23738508/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66436 CPUtime=12.69 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 65583 0 0 0 1261 8 0 0 25 0 1 0 850389368 68030464 16231 33554432000 4194304 6539028 140735231546848 18446744073709551615 4702314 0 0 4096 17571 0 0 0 17 6 0 0 0
/proc/32308/statm: 16609 16231 271 573 0 16027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66436
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.00 3/555 32309
/proc/meminfo: memFree=23768636/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=115756 CPUtime=25.45 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 173328 0 0 0 2522 23 0 0 25 0 1 0 850389368 118534144 24987 33554432000 4194304 6539028 140735231546848 18446744073709551615 4700272 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 28939 24988 271 573 0 28357 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 115756
[startup+51.1004 s]
/proc/loadavg: 2.00 2.04 2.00 3/555 32310
/proc/meminfo: memFree=23723908/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66436 CPUtime=51.05 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 399708 0 0 0 5051 54 0 0 25 0 1 0 850389368 68030464 16231 33554432000 4194304 6539028 140735231546848 18446744073709551615 4503212 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 16609 16231 271 573 0 16027 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66436
[startup+102.321 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 32312
/proc/meminfo: memFree=23722284/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146576 CPUtime=102.27 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 867158 0 0 0 10106 121 0 0 25 0 1 0 850389368 150093824 28683 33554432000 4194304 6539028 140735231546848 18446744073709551615 4707328 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36644 28683 271 573 0 36062 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 146576
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 32313
/proc/meminfo: memFree=23719656/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66436 CPUtime=162.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 1392381 0 0 0 16028 197 0 0 25 0 1 0 850389368 68030464 16243 33554432000 4194304 6539028 140735231546848 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 16609 16243 271 573 0 16027 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66436
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 32315
/proc/meminfo: memFree=23737112/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=115756 CPUtime=222.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 1926699 0 0 0 21949 276 0 0 25 0 1 0 850389368 118534144 25494 33554432000 4194304 6539028 140735231546848 18446744073709551615 4702270 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 28939 25496 271 573 0 28357 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 115756
[startup+282.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 32316
/proc/meminfo: memFree=23721464/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=66436 CPUtime=282.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 2449692 0 0 0 27871 354 0 0 25 0 1 0 850389368 68030464 16243 33554432000 4194304 6539028 140735231546848 18446744073709551615 5638070 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 16609 16243 271 573 0 16027 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 66436
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 32318
/proc/meminfo: memFree=23734344/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=115756 CPUtime=342.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 2987664 0 0 0 33795 430 0 0 25 0 1 0 850389368 118534144 26806 33554432000 4194304 6539028 140735231546848 18446744073709551615 4282111 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 28939 26806 271 573 0 28357 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 115756
[startup+402.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/555 32320
/proc/meminfo: memFree=23715104/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=115756 CPUtime=402.26 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 3515720 0 0 0 39713 513 0 0 25 0 1 0 850389368 118534144 19157 33554432000 4194304 6539028 140735231546848 18446744073709551615 5685013 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 28939 19180 271 573 0 28357 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 115756
[startup+462.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 32321
/proc/meminfo: memFree=23675404/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=462.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 4037605 0 0 0 45628 597 0 0 25 0 1 0 850389368 181436416 42294 33554432000 4194304 6539028 140735231546848 18446744073709551615 4700402 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 42295 271 573 0 43714 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 177184
[startup+522.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 32323
/proc/meminfo: memFree=23704772/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=522.26 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 4570710 0 0 0 51547 679 0 0 25 0 1 0 850389368 181436416 38619 33554432000 4194304 6539028 140735231546848 18446744073709551615 4284208 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 38619 271 573 0 43714 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 177184
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 32324
/proc/meminfo: memFree=23703520/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=582.26 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 5095395 0 0 0 57470 756 0 0 25 0 1 0 850389368 149876736 35869 33554432000 4194304 6539028 140735231546848 18446744073709551615 4704241 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 35869 271 573 0 36009 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 146364
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/555 32332
/proc/meminfo: memFree=23671768/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=882.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 7711866 0 0 0 87067 1158 0 0 25 0 1 0 850389368 181436416 41988 33554432000 4194304 6539028 140735231546848 18446744073709551615 4700451 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 41988 271 573 0 43714 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 177184
[startup+942.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/555 32334
/proc/meminfo: memFree=23667040/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=942.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 8240001 0 0 0 92990 1235 0 0 25 0 1 0 850389368 149876736 33372 33554432000 4194304 6539028 140735231546848 18446744073709551615 4707328 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 33372 271 573 0 36009 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 146364
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 32336
/proc/meminfo: memFree=23670608/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=1002.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 8756015 0 0 0 98907 1318 0 0 25 0 1 0 850389368 181436416 42635 33554432000 4194304 6539028 140735231546848 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 42636 271 573 0 43714 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 177184
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 32337
/proc/meminfo: memFree=23658184/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=1062.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 9282674 0 0 0 104823 1402 0 0 25 0 1 0 850389368 149876736 35384 33554432000 4194304 6539028 140735231546848 18446744073709551615 4707620 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 35384 271 573 0 36009 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 146364
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 32339
/proc/meminfo: memFree=23709496/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=1122.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 9797031 0 0 0 110741 1484 0 0 25 0 1 0 850389368 149876736 33960 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 33960 271 573 0 36009 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 146364
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 32340
/proc/meminfo: memFree=23686028/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=1182.24 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 10316169 0 0 0 116657 1567 0 0 25 0 1 0 850389368 181436416 43287 33554432000 4194304 6539028 140735231546848 18446744073709551615 4700396 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 43288 271 573 0 43714 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 177184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 32342
/proc/meminfo: memFree=23689860/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=1242.24 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 10848295 0 0 0 122570 1654 0 0 25 0 1 0 850389368 181436416 39137 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 39137 271 573 0 43714 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 177184
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 32344
/proc/meminfo: memFree=23707320/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=1302.25 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 11375642 0 0 0 128489 1736 0 0 25 0 1 0 850389368 149876736 31826 33554432000 4194304 6539028 140735231546848 18446744073709551615 4717216 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 31826 271 573 0 36009 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 146364
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/555 32345
/proc/meminfo: memFree=23704200/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=1362.23 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 11893233 0 0 0 134409 1814 0 0 25 0 1 0 850389368 181436416 36511 33554432000 4194304 6539028 140735231546848 18446744073709551615 4504160 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 36511 271 573 0 43714 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 177184
[startup+1422.32 s]
/proc/loadavg: 2.16 2.05 2.01 3/555 32347
/proc/meminfo: memFree=23671180/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=177184 CPUtime=1422.26 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 12419594 0 0 0 140330 1896 0 0 25 0 1 0 850389368 181436416 41702 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44296 41702 271 573 0 43714 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 177184
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/555 32348
/proc/meminfo: memFree=23659376/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=146364 CPUtime=1482.24 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 12955899 0 0 0 146245 1979 0 0 25 0 1 0 850389368 149876736 32608 33554432000 4194304 6539028 140735231546848 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 36591 32608 271 573 0 36009 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 146364
[startup+1542.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/555 32378
/proc/meminfo: memFree=24540308/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=257872 CPUtime=1542.24 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 13488933 0 0 0 152159 2065 0 0 25 0 1 0 850389368 264060928 51916 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 64468 51916 271 573 0 63886 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 257872
[startup+1602.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/555 32380
/proc/meminfo: memFree=24558440/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=207784 CPUtime=1602.23 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 14021874 0 0 0 158071 2152 0 0 25 0 1 0 850389368 212770816 50859 33554432000 4194304 6539028 140735231546848 18446744073709551615 4701836 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 51946 50859 271 573 0 51364 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 207784
[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/555 32381
/proc/meminfo: memFree=24541796/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=257872 CPUtime=1662.22 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 14545001 0 0 0 163990 2232 0 0 25 0 1 0 850389368 264060928 51933 33554432000 4194304 6539028 140735231546848 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 64468 51935 271 573 0 63886 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 257872
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/555 32383
/proc/meminfo: memFree=24544252/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=176964 CPUtime=1722.23 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 15078932 0 0 0 169905 2318 0 0 25 0 1 0 850389368 181211136 39616 33554432000 4194304 6539028 140735231546848 18446744073709551615 4504202 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 44241 39616 271 573 0 43659 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 176964
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 32384
/proc/meminfo: memFree=24553416/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=207784 CPUtime=1782.22 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 15591484 0 0 0 175825 2397 0 0 25 0 1 0 850389368 212770816 49064 33554432000 4194304 6539028 140735231546848 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 51946 49064 271 573 0 51364 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 207784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 32385
/proc/meminfo: memFree=24528852/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=257872 CPUtime=1800.04 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 15737843 0 0 0 177585 2419 0 0 25 0 1 0 850389368 264060928 53121 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 64468 53121 271 573 0 63886 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 257872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 32385
/proc/meminfo: memFree=24528852/32950928 swapFree=67056580/67111528
[pid=32308] ppid=32306 vsize=257872 CPUtime=1800.04 cores=0,2,4,6
/proc/32308/stat : 32308 (minisatid) R 32306 32308 31578 0 -1 4202496 15737843 0 0 0 177585 2419 0 0 25 0 1 0 850389368 264060928 53121 33554432000 4194304 6539028 140735231546848 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/32308/statm: 64468 53121 271 573 0 63886 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 257872
Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.06
CPU user time (s): 1775.85
CPU system time (s): 24.2093
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 307192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.85
system time used= 24.2093
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15737849
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= 2899
runsolver used 10.4814 second user time and 22.2736 second system time
The end