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-3490705-1307762201/watcher-3490705-1307762201 -o /tmp/evaluation-result-3490705-1307762201/solver-3490705-1307762201 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490705-1307762201.opb --verbosity=0 --format=opb --randomseed=690823698
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.11 2.08 2.18 3/176 20460
/proc/meminfo: memFree=31785084/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=7740 CPUtime=0 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 463 0 0 0 0 0 0 0 24 0 1 0 887818314 7925760 416 33554432000 4194304 6720400 140734647403168 18446744073709551615 5885696 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 1935 416 232 617 0 1309 0
[startup+0.0425579 s]
/proc/loadavg: 2.11 2.08 2.18 3/176 20460
/proc/meminfo: memFree=31785084/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=10044 CPUtime=0.03 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 1072 0 0 0 3 0 0 0 24 0 1 0 887818314 10285056 1021 33554432000 4194304 6720400 140734647403168 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 2511 1021 257 617 0 1885 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10044
[startup+0.100534 s]
/proc/loadavg: 2.11 2.08 2.18 3/176 20460
/proc/meminfo: memFree=31785084/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=10200 CPUtime=0.09 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 1426 0 0 0 9 0 0 0 24 0 1 0 887818314 10444800 1375 33554432000 4194304 6720400 140734647403168 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 2550 1376 257 617 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10200
[startup+0.300498 s]
/proc/loadavg: 2.11 2.08 2.18 3/176 20460
/proc/meminfo: memFree=31785084/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=12920 CPUtime=0.29 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 2647 0 0 0 29 0 0 0 25 0 1 0 887818314 13230080 2595 33554432000 4194304 6720400 140734647403168 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 3230 2595 265 617 0 2604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12920
[startup+0.700425 s]
/proc/loadavg: 2.11 2.08 2.18 3/176 20460
/proc/meminfo: memFree=31785084/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=24544 CPUtime=0.69 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 5057 0 0 0 69 0 0 0 25 0 1 0 887818314 25133056 4999 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 6136 4999 265 617 0 5510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24544
[startup+1.50028 s]
/proc/loadavg: 2.10 2.08 2.18 3/179 20466
/proc/meminfo: memFree=31734616/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=55280 CPUtime=1.49 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 9800 0 0 0 148 1 0 0 25 0 1 0 887818314 56606720 9740 33554432000 4194304 6720400 140734647403168 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 13820 9740 265 617 0 13194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55280
[startup+3.10098 s]
/proc/loadavg: 2.10 2.08 2.18 3/179 20466
/proc/meminfo: memFree=31683504/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=86472 CPUtime=3.09 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 19090 0 0 0 307 2 0 0 25 0 1 0 887818314 88547328 19023 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 21618 19023 265 617 0 20992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86472
[startup+6.3004 s]
/proc/loadavg: 2.10 2.08 2.18 3/179 20466
/proc/meminfo: memFree=31536760/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=218380 CPUtime=6.29 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 37560 0 0 0 625 4 0 0 25 0 1 0 887818314 223621120 37479 33554432000 4194304 6720400 140734647403168 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 54595 37479 265 617 0 53969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218380
[startup+12.7002 s]
/proc/loadavg: 2.25 2.11 2.19 3/179 20466
/proc/meminfo: memFree=31650756/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=87900 CPUtime=12.68 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 93434 0 0 0 1255 13 0 0 25 0 1 0 887818314 90009600 17871 33554432000 4194304 6720400 140734647403168 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 21975 17871 265 617 0 21349 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87900
[startup+25.5009 s]
/proc/loadavg: 2.21 2.10 2.19 3/179 20467
/proc/meminfo: memFree=31525900/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=221216 CPUtime=25.49 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 190986 0 0 0 2523 26 0 0 25 0 1 0 887818314 226525184 40893 33554432000 4194304 6720400 140734647403168 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 55304 40893 265 617 0 54678 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 221216
[startup+51.1002 s]
/proc/loadavg: 2.14 2.09 2.18 3/179 20467
/proc/meminfo: memFree=31478636/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=224220 CPUtime=51.09 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 405730 0 0 0 5055 54 0 0 25 0 1 0 887818314 229601280 42268 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 56055 42268 265 617 0 55429 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 224220
[startup+102.307 s]
/proc/loadavg: 2.05 2.08 2.17 3/179 20469
/proc/meminfo: memFree=31563684/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=149724 CPUtime=102.3 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 821363 0 0 0 10111 119 0 0 25 0 1 0 887818314 153317376 35864 33554432000 4194304 6720400 140734647403168 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 37431 35864 265 617 0 36805 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149724
[startup+162.301 s]
/proc/loadavg: 2.02 2.06 2.16 3/179 20470
/proc/meminfo: memFree=31379512/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=237464 CPUtime=162.29 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 1268711 0 0 0 16045 184 0 0 25 0 1 0 887818314 243163136 45376 33554432000 4194304 6720400 140734647403168 18446744073709551615 4592891 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 59366 45376 265 617 0 58740 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 237464
[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.15 3/179 20472
/proc/meminfo: memFree=31299012/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=242116 CPUtime=222.29 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 1699831 0 0 0 21982 247 0 0 25 0 1 0 887818314 247926784 54409 33554432000 4194304 6720400 140734647403168 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 60529 54410 265 617 0 59903 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 242116
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.14 3/179 20473
/proc/meminfo: memFree=31431532/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=165840 CPUtime=282.29 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 2131650 0 0 0 27916 313 0 0 25 0 1 0 887818314 169820160 29897 33554432000 4194304 6720400 140734647403168 18446744073709551615 4803152 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 41460 29897 265 617 0 40834 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 165840
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.13 3/179 20475
/proc/meminfo: memFree=31400140/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=251144 CPUtime=342.3 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 2547000 0 0 0 33858 372 0 0 25 0 1 0 887818314 257171456 59486 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 62786 59486 265 617 0 62160 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 251144
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.12 3/179 20477
/proc/meminfo: memFree=31342316/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=387824 CPUtime=402.3 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 2960244 0 0 0 39801 429 0 0 25 0 1 0 887818314 397131776 67886 33554432000 4194304 6720400 140734647403168 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 96956 67886 265 617 0 96330 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 387824
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 20478
/proc/meminfo: memFree=31263300/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=392764 CPUtime=462.31 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 3352386 0 0 0 45743 488 0 0 25 0 1 0 887818314 402190336 96131 33554432000 4194304 6720400 140734647403168 18446744073709551615 4803072 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 98191 96131 265 617 0 97565 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 392764
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/179 20480
/proc/meminfo: memFree=31366796/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=263984 CPUtime=522.31 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 3762417 0 0 0 51680 551 0 0 25 0 1 0 887818314 270319616 62018 33554432000 4194304 6720400 140734647403168 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 65996 62018 265 617 0 65370 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 263984
[startup+582.3 s]
/proc/loadavg: 2.13 2.04 2.10 3/179 20481
/proc/meminfo: memFree=31321640/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=186988 CPUtime=582.3 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 4170495 0 0 0 57617 613 0 0 25 0 1 0 887818314 191475712 37227 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 46747 37227 265 617 0 46121 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 186988
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 20488
/proc/meminfo: memFree=31224320/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=413744 CPUtime=822.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 5714173 0 0 0 81379 853 0 0 25 0 1 0 887818314 423673856 85739 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 103436 85739 265 617 0 102810 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 413744
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 20489
/proc/meminfo: memFree=31112196/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=416736 CPUtime=882.31 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 6108991 0 0 0 87321 910 0 0 25 0 1 0 887818314 426737664 96403 33554432000 4194304 6720400 140734647403168 18446744073709551615 4610358 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 104184 96403 265 617 0 103558 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 416736
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/179 20491
/proc/meminfo: memFree=31404080/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=288376 CPUtime=942.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 6505194 0 0 0 93256 976 0 0 25 0 1 0 887818314 295297024 58904 33554432000 4194304 6720400 140734647403168 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 72094 58904 265 617 0 71468 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 288376
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 20493
/proc/meminfo: memFree=30909288/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=638060 CPUtime=1002.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 6886119 0 0 0 99203 1029 0 0 25 0 1 0 887818314 653373440 120747 33554432000 4194304 6720400 140734647403168 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 159515 120747 265 617 0 158889 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 638060
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 20494
/proc/meminfo: memFree=31177600/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=293244 CPUtime=1062.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 7274924 0 0 0 105146 1086 0 0 25 0 1 0 887818314 300281856 62256 33554432000 4194304 6720400 140734647403168 18446744073709551615 4805794 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 73311 62256 265 617 0 72685 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 293244
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 20496
/proc/meminfo: memFree=31088408/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=643584 CPUtime=1122.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 7651966 0 0 0 111088 1144 0 0 25 0 1 0 887818314 659030016 112209 33554432000 4194304 6720400 140734647403168 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 160896 112209 265 617 0 160270 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 643584
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/179 20497
/proc/meminfo: memFree=31056764/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=298092 CPUtime=1182.32 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 8052387 0 0 0 117023 1209 0 0 25 0 1 0 887818314 305246208 71914 33554432000 4194304 6720400 140734647403168 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 74523 71914 265 617 0 73897 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 298092
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/179 20499
/proc/meminfo: memFree=31011096/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=648988 CPUtime=1242.33 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 8427513 0 0 0 122959 1274 0 0 25 0 1 0 887818314 664563712 117066 33554432000 4194304 6720400 140734647403168 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 162247 117066 265 617 0 161621 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 648988
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.04 3/179 20501
/proc/meminfo: memFree=31332604/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=304968 CPUtime=1302.33 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 8823852 0 0 0 128902 1331 0 0 25 0 1 0 887818314 312287232 64391 33554432000 4194304 6720400 140734647403168 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 76242 64391 265 617 0 75616 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 304968
[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.05 3/179 20502
/proc/meminfo: memFree=31164428/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=440652 CPUtime=1362.33 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 9199461 0 0 0 134843 1390 0 0 25 0 1 0 887818314 451227648 77370 33554432000 4194304 6720400 140734647403168 18446744073709551615 4612500 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 110163 77370 265 617 0 109537 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 440652
[startup+1422.31 s]
/proc/loadavg: 2.14 2.06 2.05 3/179 20504
/proc/meminfo: memFree=31039416/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=309980 CPUtime=1422.34 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 9575613 0 0 0 140788 1446 0 0 25 0 1 0 887818314 317419520 72906 33554432000 4194304 6720400 140734647403168 18446744073709551615 4811988 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 77495 72906 265 617 0 76869 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 309980
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 20505
/proc/meminfo: memFree=31299788/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=312620 CPUtime=1482.33 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 9950628 0 0 0 146730 1503 0 0 25 0 1 0 887818314 320122880 67459 33554432000 4194304 6720400 140734647403168 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 78155 67459 265 617 0 77529 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 312620
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 20507
/proc/meminfo: memFree=31179736/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=313464 CPUtime=1542.33 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 10329450 0 0 0 152673 1560 0 0 25 0 1 0 887818314 320987136 74866 33554432000 4194304 6720400 140734647403168 18446744073709551615 4714370 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 78366 74866 265 617 0 77740 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 313464
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/179 20509
/proc/meminfo: memFree=31045168/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=448804 CPUtime=1602.34 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 10711102 0 0 0 158617 1617 0 0 25 0 1 0 887818314 459575296 92316 33554432000 4194304 6720400 140734647403168 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 112201 92316 265 617 0 111575 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 448804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 20510
/proc/meminfo: memFree=31140860/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=664728 CPUtime=1662.34 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 11091982 0 0 0 164558 1676 0 0 25 0 1 0 887818314 680681472 122126 33554432000 4194304 6720400 140734647403168 18446744073709551615 4814463 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 166182 122126 265 617 0 165556 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 664728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/179 20512
/proc/meminfo: memFree=31156080/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=450884 CPUtime=1722.34 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 11430442 0 0 0 170508 1726 0 0 25 0 1 0 887818314 461705216 106225 33554432000 4194304 6720400 140734647403168 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 112721 106226 265 617 0 112095 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 450884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/179 20513
/proc/meminfo: memFree=31117484/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=453996 CPUtime=1782.34 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 11795492 0 0 0 176456 1778 0 0 25 0 1 0 887818314 464891904 83510 33554432000 4194304 6720400 140734647403168 18446744073709551615 4432274 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 113499 83510 265 617 0 112873 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 453996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.02 3/179 20514
/proc/meminfo: memFree=31172532/32951124 swapFree=67063556/67111528
[pid=20460] ppid=20458 vsize=322044 CPUtime=1800.04 cores=0,2,4,6
/proc/20460/stat : 20460 (minisatid) R 20458 20460 20281 0 -1 4202496 11909699 0 0 0 178209 1795 0 0 25 0 1 0 887818314 329773056 71751 33554432000 4194304 6720400 140734647403168 18446744073709551615 4624851 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20460/statm: 80511 71752 265 617 0 79885 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 322044
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.02
CPU time (s): 1800.07
CPU user time (s): 1782.1
CPU system time (s): 17.9713
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 749368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.1
system time used= 17.9713
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11909707
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= 1022
runsolver used 3.03854 second user time and 6.77197 second system time
The end