0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1784626-1241956664.cnf
0.00/0.00 c found header 'p cnf 399 18184'
0.00/0.02 c finished parsing
0.00/0.02 c
0.00/0.02 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.02 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.02 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.02 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.02 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.02 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.02 c
0.00/0.02 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.02 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.02 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.02 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.02 c
0.00/0.02 c starting search after 0.0 seconds
0.00/0.02 c no decision limit
0.00/0.02 c
0.00/0.02 c original/binary fixed eliminated learned agility
0.00/0.02 c seconds variables equivalent conflicts height MB
0.00/0.02 c
0.00/0.02 c * 0.0 18184 399 0 0 0 0 0 0.0 0 1
0.10/0.18 c s 0.2 17785 380 0 0 19 0 0 0.0 0 1
0.10/0.18 c l 0.2 17785 380 0 0 19 0 1179 0.0 0 1
0.10/0.19 c R 0.2 17785 380 0 0 19 100 100 52.4 3 1
0.10/0.19 c R 0.2 17785 380 0 0 19 201 201 60.9 5 1
0.19/0.22 c R 0.2 17785 380 0 0 19 803 803 54.1 6 2
0.19/0.23 c B 0.2 17785 380 0 0 19 1000 1000 52.5 6 2
0.19/0.24 c + 0.2 17785 380 0 0 19 1180 1296 52.7 7 2
0.19/0.25 c + 0.3 17785 380 0 0 19 1475 1425 57.0 7 2
0.19/0.28 c + 0.3 17785 380 0 0 19 1843 1567 61.8 8 2
0.19/0.29 c B 0.3 17785 380 0 0 19 2003 1569 62.3 8 2
0.29/0.30 c + 0.3 17785 380 0 0 19 2302 1723 59.2 10 2
0.29/0.31 c R 0.3 17785 380 0 0 19 2404 1670 58.5 9 2
0.29/0.34 c + 0.3 17785 380 0 0 19 2878 1895 60.4 9 2
0.29/0.39 c + 0.4 17785 380 0 0 19 3597 2084 62.7 8 2
0.39/0.44 c + 0.4 17785 380 0 0 19 4495 2292 59.6 7 2
0.49/0.50 c + 0.5 17785 380 0 0 19 5615 2521 59.6 7 2
0.49/0.54 c R 0.5 17785 380 0 0 19 6419 2529 56.6 7 2
0.49/0.58 c + 0.6 17785 380 0 0 19 7016 2773 56.1 9 2
0.59/0.65 c
0.59/0.65 c original/binary fixed eliminated learned agility
0.59/0.65 c seconds variables equivalent conflicts height MB
0.59/0.65 c
0.59/0.65 c B 0.6 17785 380 0 0 19 8007 2775 55.5 9 3
0.59/0.69 c + 0.7 17785 380 0 0 19 8772 3050 53.6 8 3
0.79/0.84 c + 0.8 17785 380 0 0 19 10965 3355 50.3 8 3
0.99/1.00 c + 1.0 17785 380 0 0 19 13707 3690 50.1 9 3
1.10/1.14 c R 1.1 17785 380 0 0 19 16054 3700 49.3 8 3
1.20/1.22 c + 1.2 17785 380 0 0 19 17130 4059 48.0 8 3
1.49/1.58 c + 1.6 17785 380 0 0 19 21411 4464 45.7 7 4
1.69/1.76 c B 1.8 17785 380 0 0 19 24014 4466 44.2 8 3
1.89/1.94 c + 1.9 17785 380 0 0 19 26760 4910 45.3 7 3
2.39/2.42 c + 2.4 17785 380 0 0 19 33450 5401 45.0 7 4
2.69/2.77 c R 2.8 17785 380 0 0 19 38531 5408 42.8 10 5
2.99/3.07 c + 3.1 17785 380 0 0 19 41810 5941 42.4 7 5
3.99/4.08 c + 4.1 17785 380 0 0 19 52261 6535 43.6 8 5
4.89/4.94 c B 4.9 17785 380 0 0 19 64029 8359 46.3 8 6
4.99/5.04 c + 5.0 17785 380 0 0 19 65325 7188 46.5 7 5
6.39/6.50 c + 6.5 17785 380 0 0 19 81657 7906 45.3 9 6
7.19/7.25 c R 7.2 17785 380 0 0 19 89858 7911 44.3 7 7
8.69/8.71 c + 8.7 17785 380 0 0 19 102072 8696 42.9 7 8
11.19/11.29 c + 11.3 17785 380 0 0 19 127595 9565 43.3 7 8
14.78/14.80 c
14.78/14.80 c original/binary fixed eliminated learned agility
14.78/14.80 c seconds variables equivalent conflicts height MB
14.78/14.80 c
14.78/14.80 c + 14.8 17785 380 0 0 19 159492 10521 47.4 6 7
14.78/14.89 c B 14.9 17785 380 0 0 19 160059 10158 47.4 7 8
19.08/19.15 c + 19.2 17785 380 0 0 19 199365 11573 47.9 8 10
19.79/19.82 c R 19.8 17785 380 0 0 19 205342 11585 47.9 10 11
25.79/25.81 c + 25.8 17785 380 0 0 19 249206 12730 47.7 7 10
32.78/32.89 c + 32.9 17785 380 0 0 19 311507 14003 47.8 8 10
42.68/42.73 c B 42.7 17785 380 0 0 19 384125 17946 47.3 7 12
43.18/43.27 c + 43.3 17785 380 0 0 19 389380 15403 47.4 8 12
53.77/53.81 c R 53.8 17785 380 0 0 19 461833 15409 46.8 7 12
56.98/57.10 c + 57.1 17785 380 0 0 19 486725 16943 46.2 9 16
76.37/76.48 c + 76.5 17785 380 0 0 19 608408 18637 48.0 9 18
100.97/101.02 c + 101.0 17785 380 0 0 19 760510 20500 49.9 7 17
128.26/128.34 c B 128.3 17785 380 0 0 19 896242 20085 51.9 5 10
136.65/136.70 c + 136.7 17785 380 0 0 19 950638 22550 51.2 7 12
150.85/150.97 c R 150.9 17785 380 0 0 19 1025966 22557 50.1 7 14
151.15/151.27 c s 151.2 17792 380 0 0 19 1025966 22557 50.1 7 7
189.04/189.18 c + 189.1 17792 380 0 0 19 1188295 24805 49.6 6 17
243.92/244.01 c + 243.9 17792 380 0 0 19 1485367 27285 49.7 7 21
262.52/262.61 c s 262.5 17793 380 0 0 19 1603693 27286 49.2 8 13
297.50/297.68 c
297.50/297.68 c original/binary fixed eliminated learned agility
297.50/297.68 c seconds variables equivalent conflicts height MB
297.50/297.68 c
297.50/297.68 c s 297.6 17794 380 0 0 19 1744034 27290 49.6 8 12
322.50/322.63 c + 322.5 17794 380 0 0 19 1856709 30013 50.9 7 20
379.49/379.67 c B 379.6 17794 380 0 0 19 2048517 30020 50.7 5 18
404.78/404.92 c s 404.8 17795 380 0 0 19 2154430 30047 50.3 7 9
420.28/420.44 c s 420.3 17796 380 0 0 19 2200031 30013 50.0 7 9
425.58/425.77 c s 425.7 17682 379 1 0 19 2229411 29373 49.8 7 7
431.77/431.93 c s 431.8 17683 379 1 0 19 2259175 30022 49.5 6 8
447.57/447.80 c + 447.7 17683 379 1 0 19 2320885 33014 49.2 9 13
513.75/513.91 c s 513.8 17684 379 1 0 19 2661898 33019 48.6 7 11
571.24/571.45 c + 571.3 17684 379 1 0 19 2901106 36315 49.2 8 23
693.31/693.50 c s 693.3 17685 379 1 0 19 3307475 36316 50.5 9 18
797.18/797.50 c + 797.3 17685 379 1 0 19 3626380 39946 52.0 7 27
1093.79/1094.10 c R 1093.8 17685 379 1 0 19 4456931 39966 54.2 8 44
1115.79/1116.16 c + 1115.9 17685 379 1 0 19 4532975 43940 54.6 8 42
1137.49/1137.84 c B 1137.5 17685 379 1 0 19 4609053 43951 55.1 7 46
1440.21/1440.68 c s 1440.3 17688 379 1 0 19 5123752 43944 55.9 7 11
1523.38/1523.83 c s 1523.4 17689 379 1 0 19 5390114 43965 55.9 6 16
1544.38/1544.83 c s 1544.4 17690 379 1 0 19 5448028 43940 56.1 7 18
1613.06/1613.54 c s 1613.1 17691 379 1 0 19 5609816 43940 56.3 8 17
1629.95/1630.49 c
1629.95/1630.49 c original/binary fixed eliminated learned agility
1629.95/1630.49 c seconds variables equivalent conflicts height MB
1629.95/1630.49 c
1629.95/1630.49 c + 1630.1 17691 379 1 0 19 5666218 48334 56.4 7 27
1637.45/1637.94 c s 1637.5 17692 379 1 0 19 5681227 48374 56.3 7 20
1682.04/1682.54 c s 1682.1 17693 379 1 0 19 5790424 48338 55.9 7 23
1802.42/1802.90 c s 1802.4 17694 379 1 0 19 6066377 48339 56.4 6 12
1880.59/1881.11 c s 1880.6 17695 379 1 0 19 6221502 48333 56.6 7 17
1950.07/1950.63 c s 1950.1 17696 379 1 0 19 6393396 48342 56.4 8 19
2162.92/2163.58 c s 2163.0 17697 379 1 0 19 6881164 48342 56.5 8 23
2256.79/2257.43 c + 2256.8 17697 379 1 0 19 7082770 53167 56.2 9 38
2276.18/2276.85 c R 2276.2 17697 379 1 0 19 7123831 53197 56.2 8 43
2523.32/2524.03 c s 2523.4 17698 379 1 0 19 7568752 53179 55.8 8 22
2587.49/2588.20 c s 2587.5 17701 379 1 0 19 7702715 53184 55.9 7 22
2649.98/2650.71 c s 2650.0 17710 379 1 0 19 7825358 53198 56.2 7 24
2860.22/2861.07 c 1 2860.3 17710 379 1 0 19 8270929 61353 56.6 8 45
2860.22/2861.07 c
2860.22/2861.07 s SATISFIABLE
2860.22/2861.07 v 1 -2 -3 -4 -5 -6 -7
2860.22/2861.07 v -8 -9 -10 -11 -12 -13 -14 -15
2860.22/2861.07 v -16 -17 -18 -19 -20 -21 -22 23
2860.22/2861.07 v -24 -25 -26 -27 -28 -29 -30 -31
2860.22/2861.07 v -32 -33 -34 -35 -36 -37 -38 -39
2860.22/2861.07 v -40 -41 -42 -43 -44 45 -46 -47
2860.22/2861.07 v -48 -49 -50 -51 -52 -53 -54 -55
2860.22/2861.07 v -56 -57 -58 -59 -60 -61 -62 -63
2860.22/2861.07 v -64 -65 -66 67 -68 -69 -70 -71
2860.22/2861.07 v -72 -73 -74 -75 -76 -77 -78 -79
2860.22/2861.07 v -80 -81 -82 -83 -84 -85 -86 -87
2860.22/2861.07 v -88 89 -90 -91 -92 -93 -94 -95
2860.22/2861.07 v -96 -97 -98 -99 -100 -101 -102 -103
2860.22/2861.07 v -104 -105 -106 -107 -108 -109 -110 111
2860.22/2861.07 v -112 -113 -114 -115 -116 -117 -118 -119
2860.22/2861.07 v -120 -121 -122 -123 -124 -125 -126 -127
2860.22/2861.07 v -128 -129 -130 -131 -132 -133 -134 -135
2860.22/2861.07 v -136 -137 -138 -139 -140 -141 -142 -143
2860.22/2861.07 v -144 -145 -146 147 -148 -149 -150 -151
2860.22/2861.07 v -152 -153 -154 155 -156 -157 -158 -159
2860.22/2861.07 v -160 -161 -162 -163 -164 -165 -166 -167
2860.22/2861.07 v -168 -169 -170 -171 -172 -173 -174 -175
2860.22/2861.07 v -176 177 -178 -179 -180 -181 -182 -183
2860.22/2861.07 v -184 -185 -186 -187 -188 -189 -190 -191
2860.22/2861.07 v -192 -193 -194 -195 -196 -197 -198 199
2860.22/2861.07 v -200 -201 -202 -203 -204 -205 -206 -207
2860.22/2861.07 v -208 -209 -210 -211 -212 -213 -214 -215
2860.22/2861.07 v -216 -217 -218 -219 -220 221 -222 -223
2860.22/2861.07 v -224 -225 -226 -227 -228 -229 -230 -231
2860.22/2861.07 v -232 -233 -234 -235 -236 -237 -238 -239
2860.22/2861.07 v -240 -241 -242 243 -244 -245 -246 -247
2860.22/2861.07 v -248 -249 -250 -251 -252 -253 -254 -255
2860.22/2861.07 v -256 -257 -258 -259 -260 -261 -262 -263
2860.22/2861.07 v -264 265 -266 -267 -268 -269 -270 -271
2860.22/2861.07 v -272 -273 -274 -275 -276 -277 -278 -279
2860.22/2861.07 v -280 -281 -282 -283 -284 -285 -286 287
2860.22/2861.07 v -288 -289 -290 -291 -292 -293 -294 -295
2860.22/2861.07 v -296 -297 -298 -299 -300 -301 -302 -303
2860.22/2861.07 v -304 -305 -306 -307 -308 309 -310 -311
2860.22/2861.07 v -312 -313 -314 -315 -316 -317 -318 -319
2860.22/2861.07 v -320 -321 -322 -323 -324 -325 -326 -327
2860.22/2861.07 v -328 -329 -330 331 -332 -333 -334 -335
2860.22/2861.07 v -336 -337 -338 -339 -340 -341 -342 -343
2860.22/2861.07 v -344 -345 -346 -347 -348 -349 -350 -351
2860.22/2861.07 v -352 353 -354 -355 -356 -357 -358 -359
2860.22/2861.07 v -360 -361 -362 -363 -364 -365 -366 -367
2860.22/2861.07 v -368 -369 -370 -371 -372 -373 -374 375
2860.22/2861.07 v -376 -377 -378 -379 -380 -381 -382 -383
2860.22/2861.07 v -384 385 -386 -387 -388 -389 -390 -391
2860.22/2861.07 v -392 -393 -394 -395 -396 -397 -398 -399
2860.22/2861.07 v 0
2860.22/2861.07 c
2860.22/2861.07 c 8270929 conflicts, 11813948 decisions, 5855 random
2860.22/2861.07 c 1 iterations, 13817 restarts, 0 skipped
2860.22/2861.07 c 40 enlarged, 23 shrunken, 80762 rescored, 1787 rebiased
2860.22/2861.07 c 23 simplifications, 4 reductions
2860.22/2861.07 c
2860.22/2861.07 c vars: 1 fixed, 0 equiv, 19 elim, 0 merged
2860.22/2861.07 c elim: 148592 resolutions, 2 phases, 2 rounds
2860.22/2861.07 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
2860.22/2861.07 c arty: 20.00 and 0.00 xor average arity
2860.22/2861.07 c prbe: 272368 probed, 359 phases, 359 rounds
2860.22/2861.07 c prbe: 0 failed, 0 lifted, 0 merged
2860.22/2861.07 c sccs: 0 non trivial, 0 fixed, 0 merged
2860.22/2861.07 c hash: 0 units, 0 merged
2860.22/2861.07 c mins: 719122408 learned, 19% deleted, 0 strong, 13 depth
2860.22/2861.07 c subs: 0 forward, 0 backward, 10 doms
2860.22/2861.07 c strs: 2772 forward, 0 backward
2860.22/2861.07 c doms: 10 dominators, 0 high, 5 low
2860.22/2861.07 c prps: 507406366 propagations, 0.18 megaprops
2860.22/2861.07 c
2860.22/2861.07 c 2860.3 seconds, 55 MB max, 2910 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784626-1241956664/watcher-1784626-1241956664 -o /tmp/evaluation-result-1784626-1241956664/solver-1784626-1241956664 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784626-1241956664.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 28877
/proc/meminfo: memFree=1666232/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=1192 CPUtime=0
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 223700357 1220608 170 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 298 173 63 155 0 141 0
[startup+0.103308 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 28877
/proc/meminfo: memFree=1666232/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=2788 CPUtime=0.1
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 786 0 0 0 10 0 0 0 18 0 1 0 223700357 2854912 592 1992294400 134512640 135151029 4294956240 18446744073709551615 134548075 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 697 592 79 155 0 540 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2788
[startup+0.201319 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 28877
/proc/meminfo: memFree=1666232/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=2788 CPUtime=0.19
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 786 0 0 0 19 0 0 0 19 0 1 0 223700357 2854912 592 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 697 592 79 155 0 540 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2788
[startup+0.301329 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 28877
/proc/meminfo: memFree=1666232/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=3052 CPUtime=0.29
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 849 0 0 0 29 0 0 0 19 0 1 0 223700357 3125248 655 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 763 655 79 155 0 606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3052
[startup+0.701374 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 28877
/proc/meminfo: memFree=1666232/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=3712 CPUtime=0.69
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 1041 0 0 0 69 0 0 0 23 0 1 0 223700357 3801088 847 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 928 847 79 155 0 771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3712
[startup+1.50146 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 28878
/proc/meminfo: memFree=1662832/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=5036 CPUtime=1.49
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 1357 0 0 0 149 0 0 0 25 0 1 0 223700357 5156864 1163 1992294400 134512640 135151029 4294956240 18446744073709551615 134554872 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 1259 1163 79 155 0 1102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5036
[startup+3.10164 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 28878
/proc/meminfo: memFree=1661616/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=6232 CPUtime=3.09
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 1655 0 0 0 309 0 0 0 25 0 1 0 223700357 6381568 1461 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 1558 1461 79 155 0 1401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6232
[startup+6.302 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 28878
/proc/meminfo: memFree=1659312/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=7444 CPUtime=6.29
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 1949 0 0 0 628 1 0 0 25 0 1 0 223700357 7622656 1755 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 1861 1755 79 155 0 1704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7444
[startup+12.7017 s]
/proc/loadavg: 0.87 0.95 0.98 2/65 28878
/proc/meminfo: memFree=1657080/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=9644 CPUtime=12.69
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 2457 0 0 0 1268 1 0 0 25 0 1 0 223700357 9875456 2263 1992294400 134512640 135151029 4294956240 18446744073709551615 134575991 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 2411 2263 79 155 0 2254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9644
[startup+25.5011 s]
/proc/loadavg: 0.89 0.95 0.98 3/65 28878
/proc/meminfo: memFree=1653752/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=13344 CPUtime=25.49
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 3289 0 0 0 2547 2 0 0 25 0 1 0 223700357 13664256 3095 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 3336 3095 79 155 0 3179 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13344
[startup+51.102 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 28878
/proc/meminfo: memFree=1651256/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=16320 CPUtime=51.07
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 3933 0 0 0 5105 2 0 0 25 0 1 0 223700357 16711680 3739 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 4080 3739 79 155 0 3923 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16320
[startup+102.302 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 28878
/proc/meminfo: memFree=1645432/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=22472 CPUtime=102.27
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 5382 0 0 0 10223 4 0 0 25 0 1 0 223700357 23011328 5188 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 5618 5188 79 155 0 5461 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22472
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28878
/proc/meminfo: memFree=1643576/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=23696 CPUtime=162.25
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 5827 0 0 0 16221 4 0 0 25 0 1 0 223700357 24264704 5633 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 5924 5633 79 155 0 5767 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23696
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1640696/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=26092 CPUtime=222.23
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 6511 0 0 0 22219 4 0 0 25 0 1 0 223700357 26718208 6317 1992294400 134512640 135151029 4294956240 18446744073709551615 134555119 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 6523 6317 79 155 0 6366 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 26092
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1637880/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=29236 CPUtime=282.21
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7210 0 0 0 28216 5 0 0 25 0 1 0 223700357 29937664 7016 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7309 7016 79 155 0 7152 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29236
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1637816/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=29236 CPUtime=342.2
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7227 0 0 0 34214 6 0 0 25 0 1 0 223700357 29937664 7033 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7309 7033 79 155 0 7152 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29236
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1636216/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=30760 CPUtime=402.18
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7619 0 0 0 40212 6 0 0 25 0 1 0 223700357 31498240 7425 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7690 7425 79 155 0 7533 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 30760
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1637240/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=29092 CPUtime=462.16
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7670 0 0 0 46210 6 0 0 25 0 1 0 223700357 29790208 7168 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7273 7168 79 155 0 7116 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 29092
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1637240/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=29092 CPUtime=522.14
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7676 0 0 0 52208 6 0 0 25 0 1 0 223700357 29790208 7174 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7273 7174 79 155 0 7116 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 29092
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1637240/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=29092 CPUtime=582.14
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 7686 0 0 0 58207 7 0 0 25 0 1 0 223700357 29790208 7184 1992294400 134512640 135151029 4294956240 18446744073709551615 134575907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 7273 7184 79 155 0 7116 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 29092
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1633592/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=33524 CPUtime=642.12
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 8632 0 0 0 64204 8 0 0 25 0 1 0 223700357 34328576 8130 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 8381 8130 79 155 0 8224 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 33524
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1610104/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58716 CPUtime=2201.71
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 14390 0 0 0 220155 16 0 0 25 0 1 0 223700357 60125184 13888 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14679 13888 79 155 0 14522 0
Current children cumulated CPU time (s) 2201.71
Current children cumulated vsize (KiB) 58716
[startup+2262.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1610104/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58716 CPUtime=2261.69
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 14390 0 0 0 226153 16 0 0 25 0 1 0 223700357 60125184 13888 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14679 13888 79 155 0 14522 0
Current children cumulated CPU time (s) 2261.69
Current children cumulated vsize (KiB) 58716
[startup+2322.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1609912/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58716 CPUtime=2321.67
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 14431 0 0 0 232151 16 0 0 25 0 1 0 223700357 60125184 13929 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14679 13929 79 155 0 14522 0
Current children cumulated CPU time (s) 2321.67
Current children cumulated vsize (KiB) 58716
[startup+2382.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1609016/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58716 CPUtime=2381.65
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 14650 0 0 0 238149 16 0 0 25 0 1 0 223700357 60125184 14148 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14679 14148 79 155 0 14522 0
Current children cumulated CPU time (s) 2381.65
Current children cumulated vsize (KiB) 58716
[startup+2442.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1608568/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58716 CPUtime=2441.63
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 14769 0 0 0 244147 16 0 0 25 0 1 0 223700357 60125184 14267 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14679 14267 79 155 0 14522 0
Current children cumulated CPU time (s) 2441.63
Current children cumulated vsize (KiB) 58716
[startup+2502.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1606072/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=61424 CPUtime=2501.62
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15380 0 0 0 250145 17 0 0 25 0 1 0 223700357 62898176 14878 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 15356 14878 79 155 0 15199 0
Current children cumulated CPU time (s) 2501.62
Current children cumulated vsize (KiB) 61424
[startup+2562.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28884
/proc/meminfo: memFree=1607992/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2561.6
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15425 0 0 0 256143 17 0 0 25 0 1 0 223700357 59752448 14367 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14367 79 155 0 14431 0
Current children cumulated CPU time (s) 2561.6
Current children cumulated vsize (KiB) 58352
[startup+2622.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1607928/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2621.58
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15426 0 0 0 262141 17 0 0 25 0 1 0 223700357 59752448 14368 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14368 79 155 0 14431 0
Current children cumulated CPU time (s) 2621.58
Current children cumulated vsize (KiB) 58352
[startup+2682.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1607992/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2681.58
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15431 0 0 0 268140 18 0 0 25 0 1 0 223700357 59752448 14373 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14373 79 155 0 14431 0
Current children cumulated CPU time (s) 2681.58
Current children cumulated vsize (KiB) 58352
[startup+2742.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2741.56
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15431 0 0 0 274138 18 0 0 25 0 1 0 223700357 59752448 14373 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14373 79 155 0 14431 0
Current children cumulated CPU time (s) 2741.56
Current children cumulated vsize (KiB) 58352
[startup+2802.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1607992/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2801.54
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 280136 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2801.54
Current children cumulated vsize (KiB) 58352
Solver just ended. Dumping a history of the last processes samples
[startup+2816 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1607992/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2815.24
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 281506 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2815.24
Current children cumulated vsize (KiB) 58352
[startup+2841.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1607992/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2840.83
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 284065 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2840.83
Current children cumulated vsize (KiB) 58352
[startup+2854.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2853.63
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 285345 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2853.63
Current children cumulated vsize (KiB) 58352
[startup+2857.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2856.83
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 285665 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2856.83
Current children cumulated vsize (KiB) 58352
[startup+2859.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2858.42
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 285824 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2858.42
Current children cumulated vsize (KiB) 58352
[startup+2860 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2859.23
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 285905 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2859.23
Current children cumulated vsize (KiB) 58352
[startup+2860.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2860.02
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15432 0 0 0 285984 18 0 0 25 0 1 0 223700357 59752448 14374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14374 79 155 0 14431 0
Current children cumulated CPU time (s) 2860.02
Current children cumulated vsize (KiB) 58352
[startup+2861 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 28886
/proc/meminfo: memFree=1608056/2055920 swapFree=4168740/4192956
[pid=28877] ppid=28875 vsize=58352 CPUtime=2860.22
/proc/28877/stat : 28877 (precosat) R 28875 28877 28840 0 -1 4194304 15442 0 0 0 286004 18 0 0 25 0 1 0 223700357 59752448 14384 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28877/statm: 14588 14384 79 155 0 14431 0
Current children cumulated CPU time (s) 2860.22
Current children cumulated vsize (KiB) 58352
Child status: 10
Real time (s): 2861.09
CPU time (s): 2860.32
CPU user time (s): 2860.12
CPU system time (s): 0.198969
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 61680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2860.12
system time used= 0.198969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15446
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= 2
involuntary context switches= 4904
runsolver used 2.36464 second user time and 5.62115 second system time
The end
Begin job on node5 at 2009-05-10 13:57:44
IDJOB=1784626
IDBENCH=71802
IDSOLVER=607
FILE ID=node5/1784626-1241956664
PBS_JOBID= 9265122
Free space on /tmp= 66344 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-21-168-19-90.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784626-1241956664/watcher-1784626-1241956664 -o /tmp/evaluation-result-1784626-1241956664/solver-1784626-1241956664 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784626-1241956664.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3286758d58a4fc3caa90b96d61beac86
RANDOM SEED=1068738832
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1666648 kB
Buffers: 66448 kB
Cached: 235228 kB
SwapCached: 19012 kB
Active: 95572 kB
Inactive: 226496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1666648 kB
SwapTotal: 4192956 kB
SwapFree: 4168740 kB
Dirty: 1100 kB
Writeback: 0 kB
Mapped: 13396 kB
Slab: 53240 kB
Committed_AS: 763068 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66344 MiB
End job on node5 at 2009-05-10 14:45:25