0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3293569-1303790902.cnf'
0.00/0.00 c -- header says num vars: 569795
0.00/0.00 c -- header says num clauses: 8562505
1.49/2.54 c -- clauses added: 0 learnts, 8562505 normals, 0 xors
1.49/2.54 c -- vars added 569795
4.09/4.15 c Parsing time: 2.35 s
4.09/4.15 c N st 0 0 569795 994556 7567948 0 24843744 0 no data no data --
4.09/4.15 c asymm cl-useful: 76/80/994498 lits-rem:1704 time: 0.46
12.09/12.16 c Flit: 301 Blit: 61462 bXBeca: 0 bXProp: 236 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.84
12.59/12.68 c Cleaning up after failed var search: 0.51 s
12.99/13.03 c Replacing 236 vars Replaced 234762 lits Time: 0.33 s
14.09/14.19 c bin-w-bin subsume rem 56 bins time: 0.54 s
15.69/15.75 c subs with bin: 75426 lits-rem: 74489 v-fix: 0 time: 1.56 s
18.39/18.43 c Subs w/ non-existent bins: 2711 l-rem: 2534 v-fix: 1044 done: 63977 time: 2.68 s
18.69/18.77 c Removed useless bin: 795 fixed: 0 props: 20.00M time: 0.32 s
23.19/23.23 c lits-rem: 365 cl-subs: 41630 v-elim: 18051 v-fix: 0 time: 4.44 s
24.39/24.45 c Finding binary XORs T: 1.23 s found: 2448
24.69/24.72 c Replacing 2448 vars Replaced 70802 lits Time: 0.26 s
25.79/25.82 c Finding non-binary XORs: 0.65 s (found: 0, avg size: nan)
25.79/25.82 c calculated reachability. Time: 0.33
25.89/25.93 c Calc default polars - time: 0.11 s pos: 35558 undec: 83843 neg: 450394
25.89/25.93 c =========================================================================================
25.89/25.93 c types(t): F = full restart, N = normal restart
25.89/25.93 c types(t): S = simplification begin/end, E = solution found
25.89/25.93 c restart types(rt): st = static, dy = dynamic
25.89/25.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
25.89/25.93 c B st 0 0 486056 586312 5360727 0 17349341 0 no data no data --
43.38/43.47 c N dy 16 4068 486052 586312 5361471 3240 17349324 178651 10.50 23.56 --
63.19/63.26 c N dy 35 8127 486037 586312 5362823 5861 17349312 296572 9.61 10.18 --
82.79/82.84 c N dy 48 13164 486020 586312 5363690 9896 17349304 519703 8.92 9.76 --
108.29/108.39 c N dy 67 17374 486018 586312 5365182 12583 17349295 663474 9.09 9.97 --
129.70/129.75 c N dy 99 21378 485878 586312 5365906 8543 17349288 321101 10.58 11.15 --
147.50/147.60 c F st 119 25000 485878 586312 5366624 11408 17349280 471316 10.52 10.79 --
151.79/151.80 c N st 121 25625 485878 584543 5345878 11534 17275473 472258 10.52 no data --
174.00/174.00 c N dy 125 30003 485878 584543 5347034 14746 17275463 664626 10.52 no data --
174.00/174.01 c S st 125 30003 485878 584543 5347034 14746 17275463 664626 10.52 no data --
176.29/176.33 c S st 125 30504 485875 584543 5347357 14917 17275463 666378 10.52 no data --
176.49/176.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
176.49/176.55 c Cache BProp: 449 Set: 10 BXProp: 12 T: 0.01
639.00/639.02 c Flit: 284 Blit: 5 bXBeca: 0 bXProp: 935 Bins: 48006 BRemL: 0 BRemN: 53 P: 200.0M T: 462.25
639.00/639.03 c Cleaning up after failed var search: 0.00 s
639.40/639.46 c Replacing 948 vars Replaced 72760 lits Time: 0.40 s
640.50/640.54 c bin-w-bin subsume rem 1431 bins time: 0.62 s
642.00/642.00 c subs with bin: 479 lits-rem: 15367 v-fix: 0 time: 1.46 s
646.00/646.05 c Subs w/ non-existent bins: 159 l-rem: 218 v-fix: 0 done: 42943 time: 4.06 s
646.40/646.42 c Removed useless bin: 658 fixed: 0 props: 20.00M time: 0.37 s
649.70/649.75 c lits-rem: 441 cl-subs: 1550 v-elim: 11738 v-fix: 0 time: 3.31 s
650.20/650.20 c asymm cl-useful: 82/101/569622 lits-rem:5379 time: 0.46
651.30/651.37 c calculated reachability. Time: 1.05
651.30/651.38 c N dy 125 30504 472796 569622 5363846 12911 17313527 664371 10.52 no data --
654.80/654.82 c Finding binary XORs T: 3.44 s found: 475
677.31/677.32 c N dy 149 34557 472656 569622 5364808 15956 17313517 887209 10.75 11.36 --
697.71/697.72 c N dy 172 39356 472643 569622 5365602 19906 17313505 1165670 10.75 11.45 --
716.21/716.26 c N dy 200 43405 472639 569622 5366243 11950 17313487 348703 11.04 12.26 --
729.21/729.26 c S st 216 45760 472632 569622 5366744 13779 17313476 441110 11.04 4.66 --
732.11/732.11 c S st 216 46260 472629 569622 5366992 14027 17313476 446030 11.04 no data --
732.31/732.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
732.31/732.35 c Cache BProp: 156 Set: 144 BXProp: 1 T: 0.04
784.10/784.17 c Flit: 585 Blit: 210 bXBeca: 0 bXProp: 429 Bins: 15282 BRemL: 0 BRemN: 42 P: 200.1M T: 51.70
784.10/784.19 c Cleaning up after failed var search: 0.00 s
784.51/784.59 c Replacing 909 vars Replaced 76439 lits Time: 0.38 s
785.61/785.64 c bin-w-bin subsume rem 1880 bins time: 0.61 s
787.10/787.15 c subs with bin: 15312 lits-rem: 35747 v-fix: 0 time: 1.51 s
789.00/789.00 c Subs w/ non-existent bins: 1489 l-rem: 1636 v-fix: 0 done: 48323 time: 1.85 s
789.91/789.94 c Removed useless bin: 466 fixed: 0 props: 20.00M time: 0.41 s
795.31/795.34 c lits-rem: 12852 cl-subs: 6781 v-elim: 37155 v-fix: 0 time: 5.37 s
796.21/796.28 c vivif2 -- cl tried 287605 cl shrink 6841 lits rem 7198 time: 0.95
796.41/796.45 c vivif2 -- cl tried 8320 cl shrink 929 lits rem 6229 time: 0.17
796.91/796.92 c asymm cl-useful: 48/400/527416 lits-rem:1067 time: 0.46
798.31/798.34 c calculated reachability. Time: 1.31
798.31/798.36 c N dy 216 46260 433610 527416 5284852 8252 17578616 210162 11.04 no data --
802.91/802.93 c Finding binary XORs T: 4.57 s found: 2056
817.81/817.80 c N dy 237 50289 433603 527416 5285171 11896 17578595 390087 10.99 11.93 --
828.61/828.64 c N dy 261 54573 432862 527416 5285410 15877 17578585 656810 11.21 12.13 --
841.61/841.65 c N dy 287 58813 432859 527416 5285664 19817 17578580 897023 11.35 12.13 --
855.21/855.21 c N dy 319 62890 432849 527416 5285902 23598 17578469 1097830 11.71 12.46 --
867.41/867.40 c N dy 349 67069 432848 527416 5286106 27514 17578456 1335468 11.99 12.82 --
874.81/874.89 c S st 368 69394 432848 527416 5286246 29675 17578448 1458722 12.20 no data --
879.01/879.04 c S st 368 69894 432844 527416 5286487 15042 17578446 377346 12.20 no data --
879.21/879.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.22
879.31/879.30 c Cache BProp: 15 Set: 13 BXProp: 0 T: 0.04
1042.52/1042.56 c Flit: 360 Blit: 684 bXBeca: 0 bXProp: 622 Bins: 7567 BRemL: 0 BRemN: 12 P: 200.0M T: 163.10
1042.52/1042.57 c Cleaning up after failed var search: 0.00 s
1043.02/1043.01 c Replacing 2678 vars Replaced 125128 lits Time: 0.42 s
1044.02/1044.07 c bin-w-bin subsume rem 8320 bins time: 0.60 s
1045.42/1045.47 c subs with bin: 554 lits-rem: 7980 v-fix: 0 time: 1.39 s
1047.02/1047.03 c Subs w/ non-existent bins: 3660 l-rem: 4002 v-fix: 0 done: 44886 time: 1.56 s
1047.32/1047.36 c Removed useless bin: 500 fixed: 0 props: 20.01M time: 0.33 s
1052.82/1052.82 c lits-rem: 5142 cl-subs: 2306 v-elim: 53391 v-fix: 0 time: 5.45 s
1053.92/1053.92 c vivif2 -- cl tried 209846 cl shrink 3383 lits rem 3993 time: 1.10
1054.21/1054.24 c vivif2 -- cl tried 11408 cl shrink 553 lits rem 8526 time: 0.32
1054.71/1054.75 c asymm cl-useful: 87/443/460801 lits-rem:1777 time: 0.50
1056.31/1056.36 c calculated reachability. Time: 1.50
1056.31/1056.38 c N dy 368 69894 375696 460801 5172726 11350 17120570 209984 12.20 no data --
1061.91/1061.90 c Finding binary XORs T: 5.53 s found: 3743
1075.92/1075.97 c N dy 400 74916 375411 460801 5173049 15967 17120555 451982 12.27 13.02 --
1089.12/1089.17 c N dy 424 79925 375410 460801 5173287 20690 17120483 745875 12.41 13.12 --
1104.41/1104.49 c N dy 457 85078 375410 460801 5173603 25444 17120467 990153 12.67 13.38 --
1112.01/1112.03 c F st 476 87500 375410 460801 5173775 27673 17120458 1108523 12.83 8.04 --
1112.42/1112.41 c Replacing 3743 vars Replaced 45757 lits Time: 0.25 s
1121.72/1121.74 c N st 481 90798 371676 459724 5159682 30427 17075763 1311892 12.83 no data --
1137.52/1137.52 c N dy 508 96589 371675 459724 5159921 18847 17075733 409900 12.93 13.71 --
1156.72/1156.72 c N dy 554 102841 371669 459724 5160290 24678 17075714 715616 13.17 27.49 --
1162.32/1162.31 c S st 566 104845 371668 459724 5160370 26570 17075712 819618 13.25 no data --
1166.02/1166.01 c S st 566 105345 371662 459724 5160600 26833 17075712 824538 13.25 no data --
1166.22/1166.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.22
1166.22/1166.28 c Cache BProp: 900 Set: 669 BXProp: 21 T: 0.04
1184.32/1184.34 c Flit: 66 Blit: 258 bXBeca: 0 bXProp: 3735 Bins: 6070 BRemL: 0 BRemN: 5 P: 200.0M T: 17.94
1184.32/1184.35 c Cleaning up after failed var search: 0.00 s
1184.82/1184.81 c Replacing 3757 vars Replaced 154703 lits Time: 0.44 s
1185.82/1185.86 c bin-w-bin subsume rem 2895 bins time: 0.59 s
1187.22/1187.21 c subs with bin: 1227 lits-rem: 23160 v-fix: 0 time: 1.34 s
1189.22/1189.30 c Subs w/ non-existent bins: 16 l-rem: 803 v-fix: 0 done: 55852 time: 2.09 s
1189.72/1189.70 c Removed useless bin: 367 fixed: 0 props: 20.02M time: 0.40 s
1197.62/1197.67 c lits-rem: 19428 cl-subs: 10273 v-elim: 39677 v-fix: 0 time: 7.96 s
1200.92/1200.98 c vivif2 -- cl tried 365620 cl shrink 29749 lits rem 99030 time: 3.31
1201.52/1201.54 c vivif2 -- cl tried 16194 cl shrink 2585 lits rem 34871 time: 0.55
1201.92/1201.94 c asymm cl-useful: 104/531/475645 lits-rem:6445 time: 0.41
1203.32/1203.38 c calculated reachability. Time: 1.33
1203.32/1203.39 c N dy 566 105345 326935 475622 4979478 16042 16919434 418603 13.25 no data --
1208.82/1208.83 c Finding binary XORs T: 5.44 s found: 60
1225.32/1225.33 c N dy 600 112089 326929 475622 4979763 22371 16919420 662316 13.23 22.15 --
1245.22/1245.21 c N dy 658 119559 326824 475622 4980041 29466 16919414 1020272 13.58 14.52 --
1264.32/1264.32 c N dy 718 127690 326823 475622 4980337 37197 16919408 1402799 13.91 15.03 --
1287.43/1287.47 c N dy 781 135849 326822 475622 4980788 26144 16919397 686452 14.22 15.92 --
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3293569-1303790902/watcher-3293569-1303790902 -o /tmp/evaluation-result-3293569-1303790902/solver-3293569-1303790902 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3293569-1303790902.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.94 3.90 5/189 1751
/proc/meminfo: memFree=11224672/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=8508 CPUtime=0 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4194304 98 0 0 0 0 0 0 0 22 0 1 0 569321060 8712192 53 33554432000 4194304 4650387 140736469240560 18446744073709551615 256410467975 0 2147483391 4096 0 0 0 0 17 4 0 0 0
/proc/1751/statm: 2127 53 41 112 0 44 0
[startup+0.037045 s]
/proc/loadavg: 4.01 3.94 3.90 5/189 1751
/proc/meminfo: memFree=11224672/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=35432 CPUtime=0.03 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 2382 0 0 0 3 0 0 0 22 0 1 0 569321060 36282368 2112 33554432000 4194304 4650387 140736469240560 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 8858 2114 329 112 0 3823 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 35432
[startup+0.101027 s]
/proc/loadavg: 4.01 3.94 3.90 5/189 1751
/proc/meminfo: memFree=11224672/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=46440 CPUtime=0.09 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 5484 0 0 0 9 0 0 0 22 0 1 0 569321060 47554560 4921 33554432000 4194304 4650387 140736469240560 18446744073709551615 4373864 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 11610 4921 329 112 0 6575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46440
[startup+0.300999 s]
/proc/loadavg: 4.01 3.94 3.90 5/189 1751
/proc/meminfo: memFree=11224672/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=78964 CPUtime=0.28 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 15369 0 0 0 27 1 0 0 23 0 1 0 569321060 80859136 13159 33554432000 4194304 4650387 140736469240560 18446744073709551615 4556538 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 19741 13160 329 112 0 14706 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 78964
[startup+0.700916 s]
/proc/loadavg: 4.01 3.94 3.90 5/189 1751
/proc/meminfo: memFree=11224672/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=172188 CPUtime=0.68 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 33375 0 0 0 64 4 0 0 25 0 1 0 569321060 176320512 28916 33554432000 4194304 4650387 140736469240560 18446744073709551615 256415050783 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 43047 28916 329 112 0 38012 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 172188
[startup+1.50077 s]
/proc/loadavg: 4.01 3.94 3.90 5/190 1752
/proc/meminfo: memFree=11085788/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=292740 CPUtime=1.49 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 68160 0 0 0 138 11 0 0 25 0 1 0 569321060 299765760 59232 33554432000 4194304 4650387 140736469240560 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 73185 59235 329 112 0 68150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 292740
[startup+3.10046 s]
/proc/loadavg: 4.01 3.94 3.90 5/190 1752
/proc/meminfo: memFree=11085788/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=655968 CPUtime=3.08 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 128918 0 0 0 288 20 0 0 25 0 1 0 569321060 671711232 111435 33554432000 4194304 4650387 140736469240560 18446744073709551615 4516590 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 163992 111443 349 112 0 158957 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 655968
[startup+6.30086 s]
/proc/loadavg: 4.25 3.99 3.92 6/190 1752
/proc/meminfo: memFree=10749420/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=688108 CPUtime=6.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 162409 0 0 0 605 24 0 0 25 0 1 0 569321060 704622592 132515 33554432000 4194304 4650387 140736469240560 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 172027 132515 353 112 0 166992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 688108
[startup+12.7006 s]
/proc/loadavg: 4.23 3.99 3.92 6/190 1752
/proc/meminfo: memFree=10465312/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=993804 CPUtime=12.69 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 225072 0 0 0 1236 33 0 0 25 0 1 0 569321060 1017655296 195178 33554432000 4194304 4650387 140736469240560 18446744073709551615 4223237 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 248451 195178 357 112 0 243416 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 993804
[startup+25.5062 s]
/proc/loadavg: 4.18 3.99 3.92 6/190 1753
/proc/meminfo: memFree=10238516/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1231052 CPUtime=25.49 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 282115 0 0 0 2509 40 0 0 25 0 1 0 569321060 1260597248 252218 33554432000 4194304 4650387 140736469240560 18446744073709551615 4302576 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 307763 252218 377 112 0 302728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1231052
[startup+51.1004 s]
/proc/loadavg: 4.23 4.02 3.93 6/190 1779
/proc/meminfo: memFree=9451964/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1231052 CPUtime=51.08 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 282384 0 0 0 5068 40 0 0 25 0 1 0 569321060 1260597248 252487 33554432000 4194304 4650387 140736469240560 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 307763 252487 380 112 0 302728 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1231052
[startup+102.301 s]
/proc/loadavg: 4.10 4.02 3.93 6/190 1807
/proc/meminfo: memFree=8515596/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1231052 CPUtime=102.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 282840 0 0 0 10188 41 0 0 25 0 1 0 569321060 1260597248 252943 33554432000 4194304 4650387 140736469240560 18446744073709551615 4364293 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 307763 252943 380 112 0 302728 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1231052
[startup+162.3 s]
/proc/loadavg: 4.03 4.01 3.93 6/190 1808
/proc/meminfo: memFree=7658396/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1204628 CPUtime=162.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 295302 0 0 0 16186 43 0 0 25 0 1 0 569321060 1233539072 250983 33554432000 4194304 4650387 140736469240560 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 301157 250983 382 112 0 296122 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1204628
[startup+222.301 s]
/proc/loadavg: 4.01 4.01 3.93 6/190 1810
/proc/meminfo: memFree=6891532/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=222.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 22183 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230798 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1322512
[startup+282.301 s]
/proc/loadavg: 4.06 4.02 3.93 6/190 1811
/proc/meminfo: memFree=6633848/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=282.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 28183 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230671 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1322512
[startup+342.307 s]
/proc/loadavg: 4.02 4.01 3.93 6/190 1813
/proc/meminfo: memFree=6122132/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=342.3 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 34184 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230684 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1322512
[startup+402.301 s]
/proc/loadavg: 4.01 4.01 3.93 6/190 1815
/proc/meminfo: memFree=5490628/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=402.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 40183 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1322512
[startup+462.301 s]
/proc/loadavg: 4.07 4.02 3.94 6/190 1816
/proc/meminfo: memFree=4658340/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=462.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 46183 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4236868 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1322512
[startup+522.3 s]
/proc/loadavg: 4.02 4.01 3.94 6/190 1818
/proc/meminfo: memFree=4484360/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=522.29 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 52183 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1322512
[startup+582.301 s]
/proc/loadavg: 4.01 4.00 3.94 6/190 1819
/proc/meminfo: memFree=3551516/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1322512 CPUtime=582.3 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 323832 0 0 0 58184 46 0 0 25 0 1 0 569321060 1354252288 279513 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 330628 279513 383 112 0 325593 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1322512
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.94 6/190 1821
/proc/meminfo: memFree=2939968/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=1977236 CPUtime=642.3 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 453635 0 0 0 64164 66 0 0 25 0 1 0 569321060 2024689664 409316 33554432000 4194304 4650387 140736469240560 18446744073709551615 4241220 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 494309 409316 383 112 0 489274 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1977236
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.94 6/190 1823
/proc/meminfo: memFree=2576848/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2000000 CPUtime=702.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 460143 0 0 0 70163 68 0 0 25 0 1 0 569321060 2048000000 415824 33554432000 4194304 4650387 140736469240560 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 500000 415824 383 112 0 494965 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2000000
[startup+762.301 s]
/proc/loadavg: 4.00 4.00 3.94 6/190 1824
/proc/meminfo: memFree=2339740/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2053872 CPUtime=762.3 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 474713 0 0 0 76161 69 0 0 25 0 1 0 569321060 2103164928 430394 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230671 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 513468 430394 383 112 0 508433 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 2053872
[startup+822.301 s]
/proc/loadavg: 4.10 4.03 3.95 6/190 1826
/proc/meminfo: memFree=1520268/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2505348 CPUtime=822.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 567961 0 0 0 82148 83 0 0 25 0 1 0 569321060 2565476352 523642 33554432000 4194304 4650387 140736469240560 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 626337 523642 383 112 0 621302 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2505348
[startup+882.3 s]
/proc/loadavg: 4.04 4.02 3.95 6/190 1827
/proc/meminfo: memFree=1076620/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2600060 CPUtime=882.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 604795 0 0 0 88142 89 0 0 25 0 1 0 569321060 2662461440 545896 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 650015 545896 383 112 0 644980 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2600060
[startup+942.301 s]
/proc/loadavg: 4.01 4.02 3.95 6/190 1829
/proc/meminfo: memFree=1036100/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2600060 CPUtime=942.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 604795 0 0 0 94142 89 0 0 25 0 1 0 569321060 2662461440 545896 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 650015 545896 383 112 0 644980 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2600060
[startup+1002.31 s]
/proc/loadavg: 4.00 4.01 3.95 6/190 1831
/proc/meminfo: memFree=882252/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=2708324 CPUtime=1002.32 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 632856 0 0 0 100140 92 0 0 25 0 1 0 569321060 2773323776 573957 33554432000 4194304 4650387 140736469240560 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 677081 573957 383 112 0 672046 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2708324
[startup+1062.3 s]
/proc/loadavg: 4.07 4.03 3.96 6/190 1832
/proc/meminfo: memFree=148520/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=3079248 CPUtime=1062.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 717319 0 0 0 106128 103 0 0 25 0 1 0 569321060 3153149952 632757 33554432000 4194304 4650387 140736469240560 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 769812 632757 383 112 0 764777 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3079248
[startup+1122.3 s]
/proc/loadavg: 4.02 4.03 3.96 6/190 1834
/proc/meminfo: memFree=139152/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=3079248 CPUtime=1122.32 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 719108 0 0 0 112128 104 0 0 25 0 1 0 569321060 3153149952 634546 33554432000 4194304 4650387 140736469240560 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 769812 634546 383 112 0 764777 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3079248
[startup+1182.3 s]
/proc/loadavg: 4.01 4.02 3.96 6/190 1835
/proc/meminfo: memFree=98896/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=3496048 CPUtime=1182.31 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 805139 0 0 0 118116 115 0 0 25 0 1 0 569321060 3579953152 720577 33554432000 4194304 4650387 140736469240560 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 874012 720577 383 112 0 868977 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3496048
[startup+1242.3 s]
/proc/loadavg: 3.40 3.85 3.90 4/184 1855
/proc/meminfo: memFree=3889780/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=3683184 CPUtime=1242.32 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 832906 0 0 0 124112 120 0 0 25 0 1 0 569321060 3771580416 748344 33554432000 4194304 4650387 140736469240560 18446744073709551615 4367270 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 920796 748344 383 112 0 915761 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3683184
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.14 3.69 3.84 4/184 1857
/proc/meminfo: memFree=3836576/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=3615996 CPUtime=1300.03 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4202496 842841 0 0 0 129881 122 0 0 25 0 1 0 569321060 3702779904 743420 33554432000 4194304 4650387 140736469240560 18446744073709551615 4328243 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1751/statm: 903999 743420 383 112 0 898964 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 3615996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.14 3.69 3.84 4/184 1857
/proc/meminfo: memFree=3836576/32950928 swapFree=67111524/67111528
[pid=1751] ppid=1749 vsize=0 CPUtime=1300.13 cores=4,6
/proc/1751/stat : 1751 (strangenight1-s) R 1749 1751 32153 0 -1 4203524 842841 0 0 0 129881 132 0 0 25 0 1 0 569321060 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1751/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.12
CPU time (s): 1300.15
CPU user time (s): 1298.82
CPU system time (s): 1.3308
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3733564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.82
system time used= 1.3308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842841
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= 13
involuntary context switches= 1386
runsolver used 2.28165 second user time and 4.79927 second system time
The end
Begin job on node115 at 2011-04-26 06:08:24
IDJOB=3293569
IDBENCH=88159
IDSOLVER=1589
FILE ID=node115/3293569-1303790902
RUNJOBID= node115-1303790779-1604
PBS_JOBID= 13157231
Free space on /tmp= 72732 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293569-1303790902/watcher-3293569-1303790902 -o /tmp/evaluation-result-3293569-1303790902/solver-3293569-1303790902 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3293569-1303790902.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=799810269
node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.62
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 11224952 kB
Buffers: 2295904 kB
Cached: 17310712 kB
SwapCached: 4 kB
Active: 9026112 kB
Inactive: 12136112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 11224952 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 408156 kB
Writeback: 0 kB
AnonPages: 1554220 kB
Mapped: 16364 kB
Slab: 496792 kB
PageTables: 8544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2039648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72788 MiB
End job on node115 at 2011-04-26 06:30:06