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-3490644-1307760399/watcher-3490644-1307760399 -o /tmp/evaluation-result-3490644-1307760399/solver-3490644-1307760399 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490644-1307760399.opb --verbosity=0 --format=opb --randomseed=1215779618
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.24 2.86 3.21 2/178 20327
/proc/meminfo: memFree=31781532/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=7444 CPUtime=0 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 374 0 0 0 0 0 0 0 22 0 1 0 887638100 7622656 327 33554432000 4194304 6720400 140737049125184 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 1861 327 232 617 0 1235 0
[startup+0.096973 s]
/proc/loadavg: 2.24 2.86 3.21 2/178 20327
/proc/meminfo: memFree=31781532/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=8636 CPUtime=0.09 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 1171 0 0 0 9 0 0 0 22 0 1 0 887638100 8843264 1121 33554432000 4194304 6720400 140737049125184 18446744073709551615 4820717 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 2159 1121 265 617 0 1533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8636
[startup+0.100973 s]
/proc/loadavg: 2.24 2.86 3.21 2/178 20327
/proc/meminfo: memFree=31781532/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=8636 CPUtime=0.09 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 1193 0 0 0 9 0 0 0 22 0 1 0 887638100 8843264 1142 33554432000 4194304 6720400 140737049125184 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 2159 1142 265 617 0 1533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8636
[startup+0.300937 s]
/proc/loadavg: 2.24 2.86 3.21 2/178 20327
/proc/meminfo: memFree=31781532/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=11476 CPUtime=0.29 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 2312 0 0 0 29 0 0 0 23 0 1 0 887638100 11751424 2253 33554432000 4194304 6720400 140737049125184 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 2869 2253 265 617 0 2243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11476
[startup+0.700875 s]
/proc/loadavg: 2.24 2.86 3.21 2/178 20327
/proc/meminfo: memFree=31781532/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=23200 CPUtime=0.69 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 4521 0 0 0 69 0 0 0 25 0 1 0 887638100 23756800 4446 33554432000 4194304 6720400 140737049125184 18446744073709551615 4803251 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 5800 4446 265 617 0 5174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23200
[startup+1.50073 s]
/proc/loadavg: 2.24 2.86 3.21 3/179 20328
/proc/meminfo: memFree=31736412/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=53972 CPUtime=1.49 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 8887 0 0 0 148 1 0 0 25 0 1 0 887638100 55267328 8789 33554432000 4194304 6720400 140737049125184 18446744073709551615 4816987 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 13493 8789 265 617 0 12867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53972
[startup+3.10044 s]
/proc/loadavg: 2.24 2.86 3.21 4/179 20328
/proc/meminfo: memFree=31754764/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=16620 CPUtime=3.09 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 19757 0 0 0 306 3 0 0 25 0 1 0 887638100 17018880 3132 33554432000 4194304 6720400 140737049125184 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 4155 3132 265 617 0 3529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16620
[startup+6.30085 s]
/proc/loadavg: 2.22 2.85 3.21 3/179 20328
/proc/meminfo: memFree=31693888/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66012 CPUtime=6.3 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 43342 0 0 0 624 6 0 0 25 0 1 0 887638100 67596288 11401 33554432000 4194304 6720400 140737049125184 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16503 11401 265 617 0 15877 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 66012
[startup+12.7007 s]
/proc/loadavg: 2.20 2.83 3.20 3/179 20328
/proc/meminfo: memFree=31675256/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66012 CPUtime=12.69 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 82571 0 0 0 1258 11 0 0 25 0 1 0 887638100 67596288 16069 33554432000 4194304 6720400 140737049125184 18446744073709551615 4817076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16503 16069 265 617 0 15877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66012
[startup+25.5004 s]
/proc/loadavg: 2.16 2.79 3.18 3/179 20329
/proc/meminfo: memFree=31600268/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66012 CPUtime=25.49 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 166603 0 0 0 2527 22 0 0 25 0 1 0 887638100 67596288 16070 33554432000 4194304 6720400 140737049125184 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16503 16070 265 617 0 15877 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66012
[startup+51.1007 s]
/proc/loadavg: 2.10 2.73 3.15 3/179 20329
/proc/meminfo: memFree=31631704/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=115332 CPUtime=51.09 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 335142 0 0 0 5065 44 0 0 25 0 1 0 887638100 118099968 25478 33554432000 4194304 6720400 140737049125184 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 28833 25478 265 617 0 28207 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115332
[startup+102.306 s]
/proc/loadavg: 2.04 2.61 3.08 3/179 20331
/proc/meminfo: memFree=31655864/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66296 CPUtime=102.29 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 632119 0 0 0 10142 87 0 0 25 0 1 0 887638100 67887104 16144 33554432000 4194304 6720400 140737049125184 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16574 16144 265 617 0 15948 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 66296
[startup+162.3 s]
/proc/loadavg: 2.01 2.50 3.01 3/179 20332
/proc/meminfo: memFree=31557628/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66296 CPUtime=162.3 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 991554 0 0 0 16092 138 0 0 25 0 1 0 887638100 67887104 16146 33554432000 4194304 6720400 140737049125184 18446744073709551615 4812769 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16574 16146 265 617 0 15948 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66296
[startup+222.3 s]
/proc/loadavg: 2.00 2.41 2.95 3/179 20334
/proc/meminfo: memFree=31590836/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=115616 CPUtime=222.29 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 1327631 0 0 0 22040 189 0 0 25 0 1 0 887638100 118390784 24998 33554432000 4194304 6720400 140737049125184 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 28904 24999 265 617 0 28278 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 115616
[startup+282.301 s]
/proc/loadavg: 2.00 2.33 2.88 3/179 20335
/proc/meminfo: memFree=31546288/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=196524 CPUtime=282.3 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 1666321 0 0 0 27987 243 0 0 25 0 1 0 887638100 201240576 38231 33554432000 4194304 6720400 140737049125184 18446744073709551615 4813168 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 49131 38231 265 617 0 48505 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 196524
[startup+342.301 s]
/proc/loadavg: 2.00 2.27 2.83 3/179 20337
/proc/meminfo: memFree=31512168/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=66296 CPUtime=342.3 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 2000653 0 0 0 33933 297 0 0 25 0 1 0 887638100 67887104 16146 33554432000 4194304 6720400 140737049125184 18446744073709551615 4805715 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 16574 16146 265 617 0 15948 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 66296
[startup+402.301 s]
/proc/loadavg: 2.07 2.23 2.78 3/179 20339
/proc/meminfo: memFree=31451004/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=96768 CPUtime=402.31 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 2303083 0 0 0 39887 344 0 0 25 0 1 0 887638100 99090432 23759 33554432000 4194304 6720400 140737049125184 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 24192 23759 265 617 0 23566 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 96768
[startup+462.301 s]
/proc/loadavg: 2.08 2.20 2.73 3/179 20340
/proc/meminfo: memFree=31594940/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=96768 CPUtime=462.3 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 2616333 0 0 0 45838 392 0 0 25 0 1 0 887638100 99090432 23760 33554432000 4194304 6720400 140737049125184 18446744073709551615 4803241 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 24192 23760 265 617 0 23566 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 96768
[startup+522.301 s]
/proc/loadavg: 2.10 2.19 2.69 3/179 20342
/proc/meminfo: memFree=31557712/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=146088 CPUtime=522.31 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 2942239 0 0 0 51782 449 0 0 25 0 1 0 887638100 149594112 33793 33554432000 4194304 6720400 140737049125184 18446744073709551615 4593600 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 36522 33793 265 617 0 35896 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 146088
[startup+582.301 s]
/proc/loadavg: 2.08 2.17 2.65 3/179 20343
/proc/meminfo: memFree=31486388/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=226996 CPUtime=582.31 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 3275116 0 0 0 57727 504 0 0 25 0 1 0 887638100 232443904 45029 33554432000 4194304 6720400 140737049125184 18446744073709551615 4805837 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 56749 45029 265 617 0 56123 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 226996
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.08 2.50 3/179 20350
/proc/meminfo: memFree=31461480/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=226996 CPUtime=822.31 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 4492257 0 0 0 81527 704 0 0 25 0 1 0 887638100 232443904 46488 33554432000 4194304 6720400 140737049125184 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 56749 46488 265 617 0 56123 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 226996
[startup+882.3 s]
/proc/loadavg: 2.00 2.06 2.46 3/179 20360
/proc/meminfo: memFree=31560928/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=146088 CPUtime=882.32 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 4787861 0 0 0 87482 750 0 0 25 0 1 0 887638100 149594112 33205 33554432000 4194304 6720400 140737049125184 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 36522 33205 265 617 0 35896 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 146088
[startup+942.3 s]
/proc/loadavg: 2.07 2.06 2.44 3/179 20362
/proc/meminfo: memFree=31425004/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=226996 CPUtime=942.31 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 5020896 0 0 0 93440 791 0 0 25 0 1 0 887638100 232443904 48626 33554432000 4194304 6720400 140737049125184 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 56749 48626 265 617 0 56123 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 226996
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.41 3/179 20364
/proc/meminfo: memFree=31474316/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=176908 CPUtime=1002.32 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 5330297 0 0 0 99387 845 0 0 25 0 1 0 887638100 181153792 41338 33554432000 4194304 6720400 140737049125184 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 44227 41339 265 617 0 43601 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 176908
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.38 3/179 20367
/proc/meminfo: memFree=31483348/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=96768 CPUtime=1062.32 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 5647156 0 0 0 105334 898 0 0 25 0 1 0 887638100 99090432 23763 33554432000 4194304 6720400 140737049125184 18446744073709551615 4610484 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 24192 23763 265 617 0 23566 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 96768
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.35 3/179 20370
/proc/meminfo: memFree=31519672/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=226996 CPUtime=1122.32 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 5972492 0 0 0 111276 956 0 0 25 0 1 0 887638100 232443904 44570 33554432000 4194304 6720400 140737049125184 18446744073709551615 4805952 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 56749 44570 265 617 0 56123 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 226996
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.33 3/179 20371
/proc/meminfo: memFree=31374928/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=96768 CPUtime=1182.33 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 6263534 0 0 0 117228 1005 0 0 25 0 1 0 887638100 99090432 23763 33554432000 4194304 6720400 140737049125184 18446744073709551615 4812816 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 24192 23763 265 617 0 23566 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 96768
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.31 3/179 20373
/proc/meminfo: memFree=31481040/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=96768 CPUtime=1242.33 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 6568391 0 0 0 123180 1053 0 0 25 0 1 0 887638100 99090432 23763 33554432000 4194304 6720400 140737049125184 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 24192 23763 265 617 0 23566 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 96768
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.29 3/179 20375
/proc/meminfo: memFree=31458564/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=195776 CPUtime=1302.33 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 6884126 0 0 0 129129 1104 0 0 25 0 1 0 887638100 200474624 41311 33554432000 4194304 6720400 140737049125184 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 48944 41311 265 617 0 48318 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 195776
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.27 3/179 20376
/proc/meminfo: memFree=31480972/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=245864 CPUtime=1362.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 7166911 0 0 0 135083 1151 0 0 25 0 1 0 887638100 251764736 45661 33554432000 4194304 6720400 140737049125184 18446744073709551615 4616681 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 61466 45661 265 617 0 60840 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 245864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.25 3/179 20378
/proc/meminfo: memFree=31521880/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=195776 CPUtime=1422.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 7438073 0 0 0 141040 1194 0 0 25 0 1 0 887638100 200474624 41990 33554432000 4194304 6720400 140737049125184 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 48944 41990 265 617 0 48318 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 195776
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/179 20379
/proc/meminfo: memFree=31411852/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=245864 CPUtime=1482.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 7758680 0 0 0 146983 1251 0 0 25 0 1 0 887638100 251764736 48930 33554432000 4194304 6720400 140737049125184 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 61466 48930 265 617 0 60840 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 245864
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.22 3/179 20381
/proc/meminfo: memFree=31376352/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=245864 CPUtime=1542.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 8075723 0 0 0 152928 1306 0 0 25 0 1 0 887638100 251764736 49859 33554432000 4194304 6720400 140737049125184 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 61466 49859 265 617 0 60840 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 245864
[startup+1602.3 s]
/proc/loadavg: 2.21 2.07 2.22 3/179 20383
/proc/meminfo: memFree=31481108/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=245864 CPUtime=1602.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 8341280 0 0 0 158885 1349 0 0 25 0 1 0 887638100 251764736 53092 33554432000 4194304 6720400 140737049125184 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 61466 53092 265 617 0 60840 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 245864
[startup+1662.3 s]
/proc/loadavg: 2.23 2.09 2.21 3/179 20384
/proc/meminfo: memFree=31407928/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=195776 CPUtime=1662.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 8670546 0 0 0 164830 1404 0 0 25 0 1 0 887638100 200474624 42016 33554432000 4194304 6720400 140737049125184 18446744073709551615 4812089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 48944 42016 265 617 0 48318 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 195776
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.20 3/179 20386
/proc/meminfo: memFree=31450932/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=164956 CPUtime=1722.34 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 8980110 0 0 0 170785 1449 0 0 25 0 1 0 887638100 168914944 32658 33554432000 4194304 6720400 140737049125184 18446744073709551615 5806741 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 41239 32677 265 617 0 40613 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 164956
[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.19 3/179 20387
/proc/meminfo: memFree=31368696/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=327252 CPUtime=1782.35 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 9288453 0 0 0 176734 1501 0 0 25 0 1 0 887638100 335106048 61500 33554432000 4194304 6720400 140737049125184 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 81813 61500 265 617 0 81187 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 327252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.08 2.18 2/178 20389
/proc/meminfo: memFree=31621784/32951124 swapFree=67063556/67111528
[pid=20327] ppid=20325 vsize=195776 CPUtime=1800.05 cores=1,3,5,7
/proc/20327/stat : 20327 (minisatid) R 20325 20327 20281 0 -1 4202496 9375263 0 0 0 178490 1515 0 0 25 0 1 0 887638100 200474624 40454 33554432000 4194304 6720400 140737049125184 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20327/statm: 48944 40454 265 617 0 48318 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 195776
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.07
CPU user time (s): 1784.91
CPU system time (s): 15.1597
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 327252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.91
system time used= 15.1597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9375269
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= 3
involuntary context switches= 2395
runsolver used 2.49862 second user time and 5.85111 second system time
The end