0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 3.0.0
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3250450-1303543692.cnf'
0.00/0.00 c -- header says num vars: 4230
0.00/0.00 c -- header says num clauses: 100443
0.03/0.04 c -- clauses added: 0 learnts, 100443 normals, 0 xors
0.03/0.04 c -- vars added 4230
0.03/0.04 c Parsing time: 0.03 s
0.03/0.04 c N st 0 0 4230 100443 0 0 411786 0 no data no data
0.39/0.42 c asymm cl-useful: 0/82574/100443 lits-rem:0 time: 0.38
0.39/0.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02
0.39/0.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.39/0.47 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.39/0.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.39/0.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4230 time: 0.00 s
0.39/0.47 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
0.49/0.58 c lits-rem: 0 cl-subs: 0 v-elim: 9 v-fix: 0 time: 0.10 s
0.49/0.58 c Finding binary XORs T: 0.00 s found: 0
0.59/0.62 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
0.59/0.62 c calculated reachability. Time: 0.00
0.59/0.63 c Calc default polars - time: 0.00 s pos: 4221 undec: 9 neg: 0
0.59/0.63 c =========================================================================================
0.59/0.63 c types(t): F = full restart, N = normal restart
0.59/0.63 c types(t): S = simplification begin/end, E = solution found
0.59/0.63 c restart types(rt): st = static, dy = dynamic
0.59/0.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.59/0.63 c B st 0 0 4221 100378 0 0 412451 0 no data no data
0.69/0.71 c Decided on static restart strategy
0.79/0.85 c N st 8 4919 4221 100378 0 4857 412451 329984 no data no data
1.19/1.21 c N st 10 11301 4221 100378 0 11166 412451 760366 no data no data
1.58/1.65 c N st 11 17044 4221 100378 0 16845 412451 1152410 no data no data
2.20/2.26 c F st 12 25000 4221 100378 0 14806 412451 751883 no data no data
2.20/2.28 c Found part 1 vars: 2122 clauses: 51365 lits size: 211081
2.20/2.28 c Found part 9 vars: 2099 clauses: 49013 lits size: 201370
2.20/2.28 c Found parts: 2 time: 0.02 s
2.20/2.28 c Solving part 9
2.29/2.31 c N st 0 0 2099 49013 0 0 201370 0 no data no data
2.39/2.45 c asymm cl-useful: 0/49013/49013 lits-rem:0 time: 0.14
2.39/2.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
2.39/2.46 c Finding binary XORs T: 0.00 s found: 0
2.39/2.48 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
2.39/2.48 c calculated reachability. Time: 0.00
2.39/2.48 c Calc default polars - time: 0.00 s pos: 2099 undec: 2131 neg: 0
2.39/2.48 c =========================================================================================
2.39/2.48 c types(t): F = full restart, N = normal restart
2.39/2.48 c types(t): S = simplification begin/end, E = solution found
2.39/2.48 c restart types(rt): st = static, dy = dynamic
2.39/2.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.39/2.48 c B st 0 0 2099 49013 0 0 201370 0 no data no data
2.49/2.56 c Decided on static restart strategy
2.59/2.69 c N st 8 4913 2099 49013 0 4844 201370 324577 no data no data
2.99/3.05 c N st 10 11296 2099 49013 0 7099 201370 370046 no data no data
3.39/3.43 c N st 11 17041 2099 49013 0 12737 201370 764412 no data no data
3.99/4.00 c F st 12 25000 2099 49013 0 14025 201370 806900 no data no data
3.99/4.00 c N st 12 25000 2099 49013 0 14025 201370 806900 no data no data
4.29/4.32 c Decided on static restart strategy
4.29/4.32 c N st 18 30195 2099 49013 0 10882 201370 520013 no data no data
4.69/4.77 c N st 20 37307 2099 49013 0 17918 201370 1047972 no data no data
5.29/5.40 c N st 21 43708 2099 49013 0 14686 201370 1062858 no data no data
6.29/6.30 c N st 22 53308 2099 49013 0 13321 201370 825615 no data no data
8.09/8.14 c N st 23 67707 2099 49013 0 15723 201370 1200943 no data no data
9.79/9.85 c F st 24 87501 2099 49013 0 22354 201370 1396718 no data no data
9.79/9.85 c N st 24 87501 2099 49013 0 22354 201370 1396718 no data no data
10.18/10.23 c Decided on static restart strategy
10.39/10.43 c N st 31 95544 2099 49013 0 16222 201370 697446 no data no data
11.19/11.27 c N st 33 106210 2099 49013 0 26690 201370 1449471 no data no data
11.89/11.99 c N st 34 115811 2099 49013 0 21220 201370 1032334 no data no data
13.59/13.65 c N st 35 130208 2099 49013 0 19568 201370 1116848 no data no data
16.50/16.57 c N st 36 151805 2099 49013 0 24055 201370 1661523 no data no data
21.19/21.24 c N st 37 184199 2099 49013 0 19089 201370 784809 no data no data
30.19/30.26 c N st 38 232787 2099 49013 0 26366 201370 1507373 no data no data
38.89/38.94 c N st 39 305670 2099 49013 0 29571 201370 1288463 no data no data
38.89/38.98 c F st 40 306250 2099 49013 0 30147 201370 1327124 no data no data
39.29/39.35 c Decided on static restart strategy
41.28/41.38 c N st 50 334554 2099 49013 0 33103 201370 1389502 no data no data
45.49/45.51 c N st 52 370548 2099 49013 0 42648 201370 2074690 no data no data
49.28/49.38 c N st 53 402940 2099 49013 0 47668 201370 2377774 no data no data
56.09/56.13 c N st 54 451528 2099 49013 0 39102 201370 1679486 no data no data
67.09/67.16 c N st 55 524410 2099 49013 0 50309 201370 2386603 no data no data
93.49/93.54 c N st 56 633734 2099 49013 0 61034 201370 5849069 no data no data
126.79/126.87 c N st 57 797719 2099 49013 0 39134 201370 1130123 no data no data
197.89/197.95 c N st 58 1043696 2099 49013 0 74408 201370 5980435 no data no data
201.59/201.61 c F st 59 1071877 2099 49013 0 57346 201370 2895320 no data no data
201.59/201.61 c N st 59 1071877 2099 49013 0 57346 201370 2895320 no data no data
201.89/201.93 c Decided on static restart strategy
204.08/204.13 c N st 69 1100180 2099 49013 0 85212 201370 5001036 no data no data
208.78/208.89 c N st 71 1136174 2099 49013 0 75106 201370 4179376 no data no data
213.98/214.02 c N st 72 1168568 2099 49013 0 60505 201370 3361116 no data no data
222.39/222.49 c N st 73 1217158 2099 49013 0 60949 201370 3488835 no data no data
235.59/235.70 c N st 74 1290040 2099 49013 0 84500 201370 4696028 no data no data
264.89/264.90 c N st 75 1399365 2099 49013 0 92783 201370 8562861 no data no data
307.89/307.99 c N st 76 1563350 2099 49013 0 97269 201370 8096619 no data no data
394.30/394.33 c N st 77 1809327 2099 49013 0 116433 201370 10981669 no data no data
466.30/466.31 c N st 78 2178291 2099 49013 0 114632 201370 10282039 no data no data
640.50/640.55 c N st 79 2731738 2099 49013 0 118632 201370 9527649 no data no data
952.01/952.04 c N st 80 3561909 2099 49013 0 89014 201370 3574784 no data no data
1019.11/1019.16 c F st 81 3751564 2099 49013 0 109531 201370 5953257 no data no data
1019.11/1019.16 c N st 81 3751564 2099 49013 0 109531 201370 5953257 no data no data
1021.11/1021.14 c N dy 145 3771814 2099 49013 0 129605 201370 7262300 44.57 47.39
1023.32/1023.34 c N dy 252 3792010 2099 49013 0 149676 201370 8472700 44.54 46.90
1026.41/1026.40 c N dy 340 3812106 2099 49013 0 169619 201370 9679034 44.41 46.98
1029.01/1029.04 c N dy 448 3832183 2099 49013 0 104084 201370 2739195 44.45 50.48
1032.21/1032.27 c N dy 551 3853275 2099 49013 0 125012 201370 3988188 44.41 46.83
1036.22/1036.26 c N dy 655 3873375 2099 49013 0 144965 201370 5181582 44.42 50.61
1041.11/1041.12 c N dy 755 3893670 2099 49013 0 165114 201370 6372670 44.41 47.60
1044.92/1045.00 c N dy 845 3913745 2099 49013 0 98523 201370 2117433 44.27 46.76
1047.71/1047.75 c N dy 955 3933819 2099 49013 0 118448 201370 3314949 44.34 47.41
1051.62/1051.62 c N dy 1049 3954156 2099 49013 0 138616 201370 4530409 44.32 46.69
1056.31/1056.32 c N dy 1139 3974188 2099 49013 0 158500 201370 5729433 44.31 47.34
1061.61/1061.67 c N dy 1244 3994237 2099 49013 0 90909 201370 1491530 44.34 46.83
1064.82/1064.81 c N dy 1354 4014300 2099 49013 0 110846 201370 2694593 44.37 46.96
1068.72/1068.75 c N dy 1451 4034572 2099 49013 0 130952 201370 3896566 44.37 47.42
1073.62/1073.67 c N dy 1548 4054573 2099 49013 0 150763 201370 5068678 44.35 46.79
1078.31/1078.39 c N dy 1654 4074613 2099 49013 0 170663 201370 6272627 44.35 47.60
1082.61/1082.66 c N dy 1745 4094620 2099 49013 0 102053 201370 2018952 44.33 47.01
1086.91/1086.92 c N dy 1834 4114703 2099 49013 0 121964 201370 3198303 44.30 46.81
1091.52/1091.55 c N dy 1937 4134943 2099 49013 0 142039 201370 4417703 44.34 47.04
1097.01/1097.03 c N dy 2035 4155201 2099 49013 0 162127 201370 5608849 44.34 47.44
1103.01/1103.06 c N dy 2140 4175274 2099 49013 0 92608 201370 1345378 44.34 46.99
1106.41/1106.43 c N dy 2232 4195324 2099 49013 0 112502 201370 2550113 44.32 46.69
1110.61/1110.69 c N dy 2321 4215470 2099 49013 0 132468 201370 3736620 44.32 46.75
1116.12/1116.10 c N dy 2460 4235535 2099 49013 0 152396 201370 4946696 44.38 47.21
1122.32/1122.30 c N dy 2559 4256121 2099 49013 0 172771 201370 6145104 44.37 47.18
1127.22/1127.29 c N dy 2661 4276179 2099 49013 0 102230 201370 1822776 44.37 46.74
1131.32/1131.31 c N dy 2765 4296199 2099 49013 0 122074 201370 3015199 44.39 47.21
1135.82/1135.88 c N dy 2859 4316271 2099 49013 0 141990 201370 4217862 44.39 46.87
1142.12/1142.10 c N dy 2975 4337632 2099 49013 0 163196 201370 5496186 44.40 46.81
1148.42/1148.47 c N dy 3061 4357642 2099 49013 0 91626 201370 1104984 44.37 47.05
1152.02/1152.07 c N dy 3164 4377677 2099 49013 0 111500 201370 2302541 44.38 49.45
1156.12/1156.10 c N dy 3278 4397715 2099 49013 0 131396 201370 3521995 44.40 51.82
1161.31/1161.35 c N dy 3364 4418304 2099 49013 0 151789 201370 4733691 44.38 46.92
1167.52/1167.52 c N dy 3470 4438552 2099 49013 0 171851 201370 5943617 44.39 46.95
1173.31/1173.35 c N dy 3577 4458598 2099 49013 0 99334 201370 1485074 44.41 46.79
1177.61/1177.69 c N dy 3689 4478669 2099 49013 0 119231 201370 2686970 44.42 47.52
1182.81/1182.85 c N dy 3790 4498738 2099 49013 0 139116 201370 3877632 44.42 46.77
1188.42/1188.48 c N dy 3889 4519037 2099 49013 0 159247 201370 5083130 44.42 46.91
1195.21/1195.29 c N dy 4001 4539236 2099 49013 0 179279 201370 6297011 44.43 46.80
1200.62/1200.67 c N dy 4128 4559375 2099 49013 0 105889 201370 1816624 44.46 46.94
1204.43/1204.47 c N dy 4234 4579381 2099 49013 0 125761 201370 3017628 44.47 47.65
1209.81/1209.80 c N dy 4357 4599972 2099 49013 0 146209 201370 4260372 44.49 47.03
1215.62/1215.64 c N dy 4465 4619978 2099 49013 0 166046 201370 5455534 44.50 47.12
1222.42/1222.45 c N dy 4591 4640129 2099 49013 0 186047 201370 6669851 44.52 46.95
1226.62/1226.63 c N dy 4686 4660158 2099 49013 0 111497 201370 2075132 44.51 47.03
1230.92/1230.90 c N dy 4772 4680192 2099 49013 0 131361 201370 3291935 44.51 47.07
1236.02/1236.08 c N dy 4868 4700267 2099 49013 0 151258 201370 4493660 44.51 46.93
1242.52/1242.59 c N dy 4981 4721459 2099 49013 0 172272 201370 5763100 44.51 46.92
1249.32/1249.33 c N dy 5071 4741460 2099 49013 0 96711 201370 1107699 44.50 47.12
1253.12/1253.19 c N dy 5163 4761498 2099 49013 0 116540 201370 2303268 44.50 47.48
1258.12/1258.11 c N dy 5270 4782450 2099 49013 0 137318 201370 3551984 44.50 46.96
1263.93/1263.93 c N dy 5386 4802547 2099 49013 0 157263 201370 4772637 44.52 47.78
1269.32/1269.37 c N dy 5518 4822581 2099 49013 0 177140 201370 6002659 44.56 54.14
1276.03/1276.06 c N dy 5631 4844132 2099 49013 0 102157 201370 1391913 44.56 47.60
1278.72/1278.73 c N dy 5743 4864477 2099 49013 0 122361 201370 2667002 44.60 47.05
1283.02/1283.05 c N dy 5832 4884550 2099 49013 0 142219 201370 3871219 44.60 50.68
1288.52/1288.55 c N dy 5952 4904598 2099 49013 0 162098 201370 5079045 44.61 48.54
1293.42/1293.46 c N dy 6064 4924627 2099 49013 0 181986 201370 6307502 44.64 47.33
1299.13/1299.18 c N dy 6161 4944773 2099 49013 0 104605 201370 1460741 44.63 47.13
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-3250450-1303543692/watcher-3250450-1303543692 -o /tmp/evaluation-result-3250450-1303543692/solver-3250450-1303543692 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3250450-1303543692.cnf
running on 2 cores: 0,2
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: 3.41 3.85 3.66 5/179 12241
/proc/meminfo: memFree=13968120/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=30116 CPUtime=0 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 544599882 30838784 775 33554432000 4194304 4627331 140736049297056 18446744073709551615 4316528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 7529 777 320 106 0 2500 0
[startup+0.038861 s]
/proc/loadavg: 3.41 3.85 3.66 5/179 12241
/proc/meminfo: memFree=13968120/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=34096 CPUtime=0.03 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 2416 0 0 0 3 0 0 0 20 0 1 0 544599882 34914304 2289 33554432000 4194304 4627331 140736049297056 18446744073709551615 4507122 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 8524 2290 322 106 0 3495 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34096
[startup+0.100848 s]
/proc/loadavg: 3.41 3.85 3.66 5/179 12241
/proc/meminfo: memFree=13968120/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=36084 CPUtime=0.08 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 2873 0 0 0 8 0 0 0 20 0 1 0 544599882 36950016 2746 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 9021 2746 341 106 0 3992 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36084
[startup+0.300875 s]
/proc/loadavg: 3.41 3.85 3.66 5/179 12241
/proc/meminfo: memFree=13968120/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=36216 CPUtime=0.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 2928 0 0 0 29 0 0 0 21 0 1 0 544599882 37085184 2801 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309045 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 9054 2801 341 106 0 4025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36216
[startup+0.700796 s]
/proc/loadavg: 3.41 3.85 3.66 5/179 12241
/proc/meminfo: memFree=13968120/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=52232 CPUtime=0.69 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 7848 0 0 0 68 1 0 0 22 0 1 0 544599882 53485568 6447 33554432000 4194304 4627331 140736049297056 18446744073709551615 4330914 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 13058 6447 372 106 0 8029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52232
[startup+1.50065 s]
/proc/loadavg: 3.41 3.85 3.66 6/190 12258
/proc/meminfo: memFree=13902932/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=52232 CPUtime=1.49 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 8796 0 0 0 148 1 0 0 25 0 1 0 544599882 53485568 7395 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 13058 7395 372 106 0 8029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52232
[startup+3.10035 s]
/proc/loadavg: 3.41 3.85 3.66 6/190 12258
/proc/meminfo: memFree=13892648/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=81032 CPUtime=3.09 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 13421 0 0 0 307 2 0 0 25 0 1 0 544599882 82976768 9842 33554432000 4194304 4627331 140736049297056 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 20258 9842 374 106 0 15229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81032
[startup+6.30076 s]
/proc/loadavg: 3.45 3.85 3.66 6/190 12258
/proc/meminfo: memFree=13863112/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=82636 CPUtime=6.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 20152 0 0 0 626 3 0 0 25 0 1 0 544599882 84619264 10242 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309536 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 20659 10242 374 106 0 15630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82636
[startup+12.7006 s]
/proc/loadavg: 3.50 3.85 3.66 6/190 12258
/proc/meminfo: memFree=13846436/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=95724 CPUtime=12.69 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 30910 0 0 0 1263 6 0 0 25 0 1 0 544599882 98021376 13468 33554432000 4194304 4627331 140736049297056 18446744073709551615 4324640 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 23931 13468 374 106 0 18902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95724
[startup+25.5012 s]
/proc/loadavg: 3.61 3.86 3.67 6/190 12259
/proc/meminfo: memFree=13826452/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=109364 CPUtime=25.49 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 43451 0 0 0 2542 7 0 0 25 0 1 0 544599882 111988736 16950 33554432000 4194304 4627331 140736049297056 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 27341 16950 375 106 0 22312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109364
[startup+51.1004 s]
/proc/loadavg: 3.74 3.87 3.67 6/190 12259
/proc/meminfo: memFree=13806012/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=98316 CPUtime=51.08 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 51329 0 0 0 5099 9 0 0 25 0 1 0 544599882 100675584 17061 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 24579 17061 375 106 0 19550 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98316
[startup+102.307 s]
/proc/loadavg: 3.89 3.89 3.69 6/190 12261
/proc/meminfo: memFree=13743996/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=172452 CPUtime=102.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 85764 0 0 0 10212 17 0 0 25 0 1 0 544599882 176590848 24300 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309540 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 43113 24300 375 106 0 38084 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 172452
[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.70 7/190 12262
/proc/meminfo: memFree=13713224/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=114364 CPUtime=162.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 126486 0 0 0 16201 28 0 0 25 0 1 0 544599882 117108736 19133 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 28591 19133 375 106 0 23562 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 114364
[startup+222.301 s]
/proc/loadavg: 3.98 3.92 3.72 6/190 12264
/proc/meminfo: memFree=13705872/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=126520 CPUtime=222.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 174005 0 0 0 22190 39 0 0 25 0 1 0 544599882 129556480 23936 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309280 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 31630 23936 375 106 0 26601 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 126520
[startup+282.301 s]
/proc/loadavg: 3.99 3.93 3.74 6/190 12265
/proc/meminfo: memFree=13702512/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=127040 CPUtime=282.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 214858 0 0 0 28181 48 0 0 25 0 1 0 544599882 130088960 22867 33554432000 4194304 4627331 140736049297056 18446744073709551615 4332657 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 31760 22867 375 106 0 26731 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 127040
[startup+342.3 s]
/proc/loadavg: 4.06 3.96 3.75 5/190 12294
/proc/meminfo: memFree=13687972/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=196908 CPUtime=342.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 250582 0 0 0 34172 57 0 0 25 0 1 0 544599882 201633792 28324 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309210 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 49227 28324 375 106 0 44198 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 196908
[startup+402.301 s]
/proc/loadavg: 4.02 3.96 3.77 5/190 12323
/proc/meminfo: memFree=13713744/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=199572 CPUtime=402.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 282615 0 0 0 40163 66 0 0 25 0 1 0 544599882 204361728 26899 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309332 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 49893 26899 375 106 0 44864 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 199572
[startup+462.301 s]
/proc/loadavg: 4.01 3.97 3.78 5/190 12324
/proc/meminfo: memFree=13682692/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=202796 CPUtime=462.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 322780 0 0 0 46153 76 0 0 25 0 1 0 544599882 207663104 28834 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 50699 28834 375 106 0 45670 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 202796
[startup+522.301 s]
/proc/loadavg: 4.08 4.00 3.80 5/190 12326
/proc/meminfo: memFree=13656508/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=205248 CPUtime=522.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 361873 0 0 0 52142 87 0 0 25 0 1 0 544599882 210173952 29940 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309234 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 51312 29940 375 106 0 46283 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 205248
[startup+582.301 s]
/proc/loadavg: 4.03 4.00 3.81 5/190 12327
/proc/meminfo: memFree=13654372/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=207456 CPUtime=582.29 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 397981 0 0 0 58134 95 0 0 25 0 1 0 544599882 212434944 27037 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 51864 27037 375 106 0 46835 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 207456
[startup+642.301 s]
/proc/loadavg: 4.01 4.00 3.82 5/190 12331
/proc/meminfo: memFree=13632788/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=209480 CPUtime=642.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 430531 0 0 0 64128 103 0 0 25 0 1 0 544599882 214507520 31679 33554432000 4194304 4627331 140736049297056 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 52370 31679 375 106 0 47341 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 209480
[startup+702.3 s]
/proc/loadavg: 4.03 4.01 3.83 5/190 12334
/proc/meminfo: memFree=13598236/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=212032 CPUtime=702.3 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 463810 0 0 0 70119 111 0 0 25 0 1 0 544599882 217120768 35687 33554432000 4194304 4627331 140736049297056 18446744073709551615 4507152 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 53008 35687 375 106 0 47979 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 212032
[startup+762.307 s]
/proc/loadavg: 4.01 4.01 3.84 5/190 12335
/proc/meminfo: memFree=13643604/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=132392 CPUtime=762.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 498814 0 0 0 76113 118 0 0 25 0 1 0 544599882 135569408 23607 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 33098 23607 375 106 0 28069 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 132392
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.84 5/190 12337
/proc/meminfo: memFree=13570916/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=217440 CPUtime=822.3 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 527233 0 0 0 82105 125 0 0 25 0 1 0 544599882 222658560 35591 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 54360 35591 375 106 0 49331 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 217440
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 12338
/proc/meminfo: memFree=13581200/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=220132 CPUtime=882.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 558080 0 0 0 88098 133 0 0 25 0 1 0 544599882 225415168 32150 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 55033 32150 375 106 0 50004 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 220132
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.86 5/190 12340
/proc/meminfo: memFree=13567420/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=222588 CPUtime=942.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 590626 0 0 0 94090 141 0 0 25 0 1 0 544599882 227930112 33472 33554432000 4194304 4627331 140736049297056 18446744073709551615 4321688 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 55647 33472 375 106 0 50618 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 222588
[startup+1002.3 s]
/proc/loadavg: 4.08 4.02 3.87 5/190 12342
/proc/meminfo: memFree=13547928/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=224428 CPUtime=1002.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 621775 0 0 0 100081 150 0 0 25 0 1 0 544599882 229814272 31903 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309280 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 56107 31903 375 106 0 51078 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 224428
[startup+1062.3 s]
/proc/loadavg: 4.08 4.03 3.88 5/190 12343
/proc/meminfo: memFree=13565760/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=147092 CPUtime=1062.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 651715 0 0 0 106075 156 0 0 25 0 1 0 544599882 150622208 29410 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309210 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 36773 29410 375 106 0 31744 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 147092
[startup+1122.3 s]
/proc/loadavg: 4.03 4.02 3.88 5/190 12345
/proc/meminfo: memFree=13545496/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=213128 CPUtime=1122.32 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 660659 0 0 0 112072 160 0 0 25 0 1 0 544599882 218243072 32130 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 53282 32130 375 106 0 48253 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 213128
[startup+1182.3 s]
/proc/loadavg: 4.01 4.02 3.89 5/190 12346
/proc/meminfo: memFree=13559628/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=211644 CPUtime=1182.31 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 668246 0 0 0 118069 162 0 0 25 0 1 0 544599882 216723456 29781 33554432000 4194304 4627331 140736049297056 18446744073709551615 4332657 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 52911 29781 375 106 0 47882 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 211644
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.90 5/190 12348
/proc/meminfo: memFree=13543972/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=211256 CPUtime=1242.32 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 677245 0 0 0 124066 166 0 0 25 0 1 0 544599882 216326144 31799 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 52814 31799 375 106 0 47785 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 211256
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 12350
/proc/meminfo: memFree=13540848/32950928 swapFree=67111528/67111528
[pid=12241] ppid=12237 vsize=147092 CPUtime=1300.03 cores=0,2
/proc/12241/stat : 12241 (strangenight2-s) R 12237 12241 11250 0 -1 4202496 686001 0 0 0 129834 169 0 0 25 0 1 0 544599882 150622208 29410 33554432000 4194304 4627331 140736049297056 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12241/statm: 36773 29410 375 106 0 31744 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 147092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1298.35
CPU system time (s): 1.69774
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 243308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.35
system time used= 1.69774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686001
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= 8
involuntary context switches= 16325
runsolver used 2.25166 second user time and 4.85526 second system time
The end
Begin job on node113 at 2011-04-23 09:28:12
IDJOB=3250450
IDBENCH=83254
IDSOLVER=1587
FILE ID=node113/3250450-1303543692
RUNJOBID= node113-1303543692-12215
PBS_JOBID= 13143125
Free space on /tmp= 70804 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250450-1303543692/watcher-3250450-1303543692 -o /tmp/evaluation-result-3250450-1303543692/solver-3250450-1303543692 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3250450-1303543692.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=1782590711
node113.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.846
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.69
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.846
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 : 5332.76
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.846
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.74
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.846
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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: 13968664 kB
Buffers: 1837948 kB
Cached: 16494432 kB
SwapCached: 0 kB
Active: 10529112 kB
Inactive: 7866912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13968664 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13832 kB
Writeback: 0 kB
AnonPages: 63800 kB
Mapped: 14484 kB
Slab: 522024 kB
PageTables: 5476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 190392 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= 70780 MiB
End job on node113 at 2011-04-23 09:49:54