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-1784630-1241956785.cnf
0.00/0.00 c found header 'p cnf 624 38944'
0.00/0.04 c finished parsing
0.00/0.04 c
0.00/0.04 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.04 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.04 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.04 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.04 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.04 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.04 c
0.00/0.04 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.04 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.04 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.04 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.04 c
0.00/0.04 c starting search after 0.0 seconds
0.00/0.04 c no decision limit
0.00/0.04 c
0.00/0.04 c original/binary fixed eliminated learned agility
0.00/0.04 c seconds variables equivalent conflicts height MB
0.00/0.04 c
0.00/0.04 c * 0.0 38944 624 0 0 0 0 0 0.0 0 3
0.59/0.63 c s 0.6 38320 600 0 0 24 0 0 0.0 0 3
0.59/0.63 c l 0.6 38320 600 0 0 24 0 2612 0.0 0 3
0.59/0.64 c R 0.6 38320 600 0 0 24 101 101 76.8 3 3
0.59/0.65 c R 0.7 38320 600 0 0 24 203 203 89.1 5 3
0.59/0.69 c R 0.7 38320 600 0 0 24 805 805 94.8 7 3
0.69/0.71 c B 0.7 38320 600 0 0 24 1001 1001 94.4 4 4
0.69/0.78 c B 0.8 38320 600 0 0 24 2002 2002 76.0 6 4
0.79/0.81 c R 0.8 38320 600 0 0 24 2412 2412 70.4 6 4
0.79/0.82 c + 0.8 38320 600 0 0 24 2612 2873 71.3 7 4
0.79/0.87 c + 0.9 38320 600 0 0 24 3266 3160 73.2 6 4
0.89/0.95 c + 1.0 38320 600 0 0 24 4080 3476 70.0 6 4
0.98/1.04 c + 1.0 38320 600 0 0 24 5100 3823 70.2 6 5
1.09/1.15 c + 1.2 38320 600 0 0 24 6375 4205 72.8 6 5
1.09/1.16 c R 1.2 38320 600 0 0 24 6420 3885 72.9 5 5
1.20/1.28 c + 1.3 38320 600 0 0 24 7966 4625 65.8 5 5
1.20/1.29 c B 1.3 38320 600 0 0 24 8003 4250 65.5 5 5
1.39/1.44 c + 1.4 38320 600 0 0 24 9957 5087 62.9 5 5
1.69/1.74 c + 1.7 38320 600 0 0 24 12446 5595 67.4 7 5
1.89/1.99 c
1.89/1.99 c original/binary fixed eliminated learned agility
1.89/1.99 c seconds variables equivalent conflicts height MB
1.89/1.99 c
1.89/1.99 c + 2.0 38320 600 0 0 24 15556 6154 62.7 5 6
1.99/2.04 c R 2.0 38320 600 0 0 24 16057 6098 61.8 5 6
2.20/2.28 c + 2.3 38320 600 0 0 24 19446 6769 56.3 6 6
2.69/2.72 c B 2.7 38320 600 0 0 24 24009 6772 53.6 6 6
2.69/2.74 c + 2.7 38320 600 0 0 24 24305 7445 53.5 6 6
3.09/3.18 c + 3.2 38320 600 0 0 24 30380 8189 49.5 8 6
3.79/3.81 c + 3.8 38320 600 0 0 24 37975 9007 47.2 7 7
3.79/3.86 c R 3.9 38320 600 0 0 24 38527 8751 46.9 8 7
4.69/4.74 c + 4.7 38320 600 0 0 24 47465 9907 45.1 6 7
5.69/5.75 c + 5.8 38320 600 0 0 24 59330 10897 44.9 7 7
6.19/6.21 c B 6.2 38320 600 0 0 24 64019 10916 44.3 7 7
7.29/7.39 c + 7.4 38320 600 0 0 24 74160 11986 46.1 6 7
9.18/9.29 c R 9.3 38320 600 0 0 24 89857 11995 45.1 7 10
9.68/9.74 c + 9.7 38320 600 0 0 24 92701 13184 44.8 6 10
12.59/12.64 c + 12.6 38320 600 0 0 24 115878 14502 43.6 6 9
16.09/16.10 c + 16.1 38320 600 0 0 24 144846 15952 43.4 6 10
18.09/18.15 c B 18.1 38320 600 0 0 24 160038 16104 44.7 8 11
20.28/20.30 c + 20.3 38320 600 0 0 24 181058 17547 43.8 6 11
23.18/23.27 c R 23.3 38320 600 0 0 24 205303 17552 43.5 7 16
25.89/25.95 c
25.89/25.95 c original/binary fixed eliminated learned agility
25.89/25.95 c seconds variables equivalent conflicts height MB
25.89/25.95 c
25.89/25.95 c + 25.9 38320 600 0 0 24 226322 19301 41.9 8 16
32.48/32.55 c + 32.5 38320 600 0 0 24 282901 21231 42.1 6 13
32.88/32.91 c s 32.9 38321 600 0 0 24 285658 21230 42.0 4 8
35.68/35.72 c s 35.7 38322 600 0 0 24 310927 21242 41.9 6 8
39.78/39.81 c s 39.8 38323 600 0 0 24 345168 21230 41.5 6 9
40.68/40.72 c + 40.7 38323 600 0 0 24 353626 23354 41.4 7 9
44.98/45.06 c B 45.0 38323 600 0 0 24 384105 23359 41.0 7 11
52.97/53.03 c s 53.0 38324 600 0 0 24 422210 23353 40.2 6 7
56.18/56.21 c + 56.2 38324 600 0 0 24 442032 25689 40.3 5 11
60.17/60.22 c R 60.2 38324 600 0 0 24 461797 30402 40.1 6 14
75.27/75.36 c + 75.3 38324 600 0 0 24 552540 28257 39.3 5 18
93.76/93.88 c + 93.9 38324 600 0 0 24 690676 31082 39.3 6 19
105.16/105.21 c s 105.2 38325 600 0 0 24 770295 31082 39.9 4 13
109.45/109.54 c s 109.5 38327 600 0 0 24 800217 31108 40.5 6 12
118.45/118.51 c + 118.5 38327 600 0 0 24 863345 34190 41.0 6 17
123.65/123.71 c B 123.7 38327 600 0 0 24 896230 34202 40.7 7 16
150.25/150.36 c R 150.3 38327 600 0 0 24 1025980 38015 40.2 7 22
160.84/160.97 c + 160.9 38327 600 0 0 24 1079180 37609 40.0 8 26
205.43/205.50 c s 205.5 38328 600 0 0 24 1302851 37610 40.9 5 15
212.73/212.85 c
212.73/212.85 c original/binary fixed eliminated learned agility
212.73/212.85 c seconds variables equivalent conflicts height MB
212.73/212.85 c
212.73/212.85 c + 212.8 38328 600 0 0 24 1348977 41369 40.5 8 23
274.93/275.02 c s 275.0 38329 600 0 0 24 1667049 41368 40.1 4 14
278.02/278.13 c + 278.1 38329 600 0 0 24 1686220 45505 40.2 4 17
280.72/280.86 c s 280.8 38331 600 0 0 24 1699669 45517 40.2 5 16
333.31/333.41 c s 333.3 38332 600 0 0 24 1977130 45505 40.8 6 14
350.20/350.35 c B 350.3 38332 600 0 0 24 2048488 45528 41.0 5 21
371.29/371.49 c + 371.4 38332 600 0 0 24 2107775 50055 42.5 7 28
438.59/438.72 c R 438.6 38332 600 0 0 24 2256807 50067 44.3 7 35
547.55/547.76 c s 547.6 38333 600 0 0 24 2502456 50054 45.3 5 19
566.55/566.71 c s 566.6 38334 600 0 0 24 2611189 50071 45.1 7 17
570.15/570.37 c + 570.2 38334 600 0 0 24 2634715 55060 45.2 8 20
639.14/639.37 c s 639.2 38335 600 0 0 24 2929323 55060 44.9 5 22
719.22/719.42 c + 719.3 38335 600 0 0 24 3293390 60566 45.5 7 33
732.81/733.09 c s 732.9 38336 600 0 0 24 3333205 60565 45.4 4 19
742.21/742.45 c s 742.3 38340 600 0 0 24 3376690 60574 45.3 5 20
820.59/820.81 c s 820.6 38341 600 0 0 24 3615498 60565 45.4 5 21
829.69/829.95 c s 829.8 38342 600 0 0 24 3658147 60585 45.4 7 20
948.76/949.06 c + 948.8 38342 600 0 0 24 4116736 66622 45.3 6 46
1142.21/1142.59 c B 1142.3 38342 600 0 0 24 4609046 66633 45.4 8 45
1148.12/1148.40 c
1148.12/1148.40 c original/binary fixed eliminated learned agility
1148.12/1148.40 c seconds variables equivalent conflicts height MB
1148.12/1148.40 c
1148.12/1148.40 c s 1148.1 38343 600 0 0 24 4623951 66635 45.3 4 22
1263.90/1264.26 c R 1264.0 38343 600 0 0 24 4923345 66685 46.9 5 44
1353.07/1353.49 c + 1353.2 38343 600 0 0 24 5145922 73284 47.9 6 53
1476.15/1476.52 c s 1476.2 38345 600 0 0 24 5422801 73300 48.1 7 25
1571.92/1572.37 c s 1572.0 38346 600 0 0 24 5795372 73283 47.8 5 28
1591.82/1592.24 c s 1591.9 38347 600 0 0 24 5862577 73283 47.6 5 34
1606.91/1607.35 c s 1607.0 38348 600 0 0 24 5909658 73307 47.7 5 27
1675.00/1675.47 c s 1675.1 38349 600 0 0 24 6128172 73287 47.5 5 20
1687.19/1687.62 c s 1687.2 38158 599 1 0 24 6171893 68218 47.4 5 19
1696.99/1697.41 c s 1697.0 38161 599 1 0 24 6218057 73299 47.4 6 23
1708.08/1708.57 c s 1708.2 38162 599 1 0 24 6265371 73287 47.3 6 23
1750.07/1750.57 c s 1750.2 38163 599 1 0 24 6417254 73295 47.3 5 32
1755.07/1755.52 c + 1755.1 38163 599 1 0 24 6432401 80612 47.3 8 34
1767.18/1767.64 c s 1767.2 38164 599 1 0 24 6471769 80616 47.3 6 29
1780.87/1781.35 c s 1780.9 38165 599 1 0 24 6519235 80617 47.3 6 25
1835.76/1836.29 c s 1835.9 38166 599 1 0 24 6686574 80618 47.2 6 39
1854.55/1855.03 c s 1854.6 37945 598 2 0 24 6739981 80609 47.3 6 31
1919.05/1919.54 c s 1919.1 37946 598 2 0 24 6931023 80611 47.4 5 33
2253.47/2254.02 c s 2253.5 37947 598 2 0 24 7485348 80612 48.6 4 29
2269.06/2269.68 c
2269.06/2269.68 c original/binary fixed eliminated learned agility
2269.06/2269.68 c seconds variables equivalent conflicts height MB
2269.06/2269.68 c
2269.06/2269.68 c s 2269.1 37753 597 3 0 24 7540427 80550 48.6 7 29
2303.55/2304.13 c s 2303.6 37754 597 3 0 24 7668179 80612 48.6 4 27
2323.75/2324.35 c s 2323.8 37755 597 3 0 24 7737906 80617 48.6 6 31
2457.61/2458.29 c + 2457.7 37755 597 3 0 24 8040500 88673 49.4 7 51
2479.00/2479.62 c s 2479.0 37756 597 3 0 24 8079242 88672 49.5 4 40
2510.71/2511.33 c s 2510.7 37757 597 3 0 24 8139039 88760 49.6 7 40
2543.99/2544.62 c s 2544.0 37760 597 3 0 24 8193590 88686 49.7 5 36
2566.59/2567.28 c s 2566.7 37764 597 3 0 24 8251015 88682 49.8 7 38
2811.33/2812.09 c s 2811.4 37765 597 3 0 24 8751647 88672 49.9 4 33
2828.53/2829.25 c s 2828.6 37600 596 4 0 24 8806660 84617 49.8 6 28
2828.53/2829.25 c - 2828.6 37600 596 4 0 24 8806660 86013 49.8 6 28
2857.12/2857.80 c s 2857.1 37601 596 4 0 24 8905766 86013 49.9 4 32
2875.31/2876.05 c s 2875.4 37351 595 5 0 24 8958664 81336 49.9 6 30
2892.21/2892.96 c s 2892.3 37142 594 6 0 24 9006356 84949 50.0 6 32
2912.30/2913.00 c s 2912.3 36955 593 7 0 24 9055192 79442 50.0 6 31
2974.89/2975.69 c s 2975.0 36956 593 7 0 24 9210524 86012 50.1 6 35
2993.89/2994.68 c s 2994.0 36958 593 7 0 24 9264682 86016 50.1 5 32
3176.44/3177.22 c + 3176.5 36958 593 7 0 24 9700000 94614 51.0 7 52
3722.01/3722.90 c B 3722.0 36958 593 7 0 24 10242104 94659 52.7 5 55
3769.20/3770.14 c
3769.20/3770.14 c original/binary fixed eliminated learned agility
3769.20/3770.14 c seconds variables equivalent conflicts height MB
3769.20/3770.14 c
3769.20/3770.14 c s 3769.3 36959 593 7 0 24 10338495 94613 52.6 6 29
4430.45/4431.58 c s 4430.5 36960 593 7 0 24 11302868 94615 53.1 4 39
4556.92/4558.04 c s 4557.0 36961 593 7 0 24 11503326 94613 52.7 6 49
4653.39/4654.59 c s 4653.5 36962 593 7 0 24 11764537 94617 52.8 4 36
4677.49/4678.67 c s 4677.6 36963 593 7 0 24 11828912 94615 52.7 6 32
4723.68/4724.89 c s 4723.8 36964 593 7 0 24 11974453 94616 52.7 7 33
4745.88/4747.10 c s 4746.0 36965 593 7 0 24 12034511 94616 52.7 5 38
4909.94/4911.17 c s 4910.0 36966 593 7 0 24 12304742 94617 53.0 5 39
4942.73/4943.91 c s 4942.8 36967 593 7 0 24 12405922 94616 52.9 4 34
5000.02/5001.20 c
5000.02/5001.20 c *** CAUGHT SIGNAL 15 ***
5000.02/5001.20 c
5000.02/5001.20 c 12577976 conflicts, 18235848 decisions, 9110 random
5000.02/5001.20 c 5 iterations, 21367 restarts, 0 skipped
5000.02/5001.20 c 38 enlarged, 62 shrunken, 122893 rescored, 2405 rebiased
5000.02/5001.20 c 58 simplifications, 9 reductions
5000.02/5001.20 c
5000.02/5001.20 c vars: 7 fixed, 0 equiv, 24 elim, 0 merged
5000.02/5001.20 c elim: 1277720 resolutions, 7 phases, 7 rounds
5000.02/5001.20 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.02/5001.20 c arty: 25.00 and 0.00 xor average arity
5000.02/5001.20 c prbe: 892478 probed, 747 phases, 747 rounds
5000.02/5001.20 c prbe: 0 failed, 1 lifted, 0 merged
5000.02/5001.20 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.02/5001.20 c hash: 1 units, 0 merged
5000.02/5001.20 c mins: 1017474578 learned, 34% deleted, 0 strong, 13 depth
5000.02/5001.20 c subs: 0 forward, 0 backward, 79 doms
5000.02/5001.20 c strs: 2790 forward, 0 backward
5000.02/5001.20 c doms: 79 dominators, 2 high, 55 low
5000.02/5001.20 c prps: 1150634780 propagations, 0.23 megaprops
5000.02/5001.20 c
5000.02/5001.20 c 5000.0 seconds, 91 MB max, 37 MB recycled
5000.02/5001.20 c
5000.02/5001.20 c *** CAUGHT SIGNAL 15 ***
5000.02/5001.20 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784630-1241956785/watcher-1784630-1241956785 -o /tmp/evaluation-result-1784630-1241956785/solver-1784630-1241956785 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784630-1241956785.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: 1.00 1.00 1.00 3/64 20521
/proc/meminfo: memFree=1673280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=1064 CPUtime=0
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 169 0 0 0 0 0 0 0 18 0 1 0 223704544 1089536 154 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 266 155 63 155 0 109 0
[startup+0.105073 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20521
/proc/meminfo: memFree=1673280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=4620 CPUtime=0.09
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 1498 0 0 0 9 0 0 0 18 0 1 0 223704544 4730880 1050 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1155 1050 79 155 0 998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4620
[startup+0.201082 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20521
/proc/meminfo: memFree=1673280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=5148 CPUtime=0.19
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 1639 0 0 0 19 0 0 0 18 0 1 0 223704544 5271552 1191 1992294400 134512640 135151029 4294956240 18446744073709551615 134545512 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1287 1192 79 155 0 1130 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5148
[startup+0.301089 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20521
/proc/meminfo: memFree=1673280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=5148 CPUtime=0.29
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 1640 0 0 0 29 0 0 0 19 0 1 0 223704544 5271552 1192 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1287 1192 79 155 0 1130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5148
[startup+0.701121 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20521
/proc/meminfo: memFree=1673280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=5460 CPUtime=0.69
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 1833 0 0 0 69 0 0 0 22 0 1 0 223704544 5591040 1256 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1365 1256 79 155 0 1208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5460
[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1667704/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=6780 CPUtime=1.49
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 2183 0 0 0 148 1 0 0 25 0 1 0 223704544 6942720 1606 1992294400 134512640 135151029 4294956240 18446744073709551615 134530961 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1695 1606 79 155 0 1538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6780
[startup+3.10131 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1666680/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=7444 CPUtime=3.09
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 2353 0 0 0 308 1 0 0 25 0 1 0 223704544 7622656 1776 1992294400 134512640 135151029 4294956240 18446744073709551615 134581645 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 1861 1776 79 155 0 1704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7444
[startup+6.30257 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1664568/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=9164 CPUtime=6.29
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 2776 0 0 0 628 1 0 0 25 0 1 0 223704544 9383936 2199 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 2291 2199 79 155 0 2134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9164
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1659584/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=14104 CPUtime=12.69
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 4127 0 0 0 1267 2 0 0 25 0 1 0 223704544 14442496 3421 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 3526 3421 79 155 0 3369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14104
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1655296/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=18536 CPUtime=25.49
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 5203 0 0 0 2546 3 0 0 25 0 1 0 223704544 18980864 4497 1992294400 134512640 135151029 4294956240 18446744073709551615 134551474 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 4634 4497 79 155 0 4477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18536
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20522
/proc/meminfo: memFree=1654912/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=18692 CPUtime=51.07
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 5641 0 0 0 5104 3 0 0 25 0 1 0 223704544 19140608 4548 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 4673 4548 79 155 0 4516 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18692
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1648448/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=25464 CPUtime=102.26
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 7270 0 0 0 10222 4 0 0 25 0 1 0 223704544 26075136 6177 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 6366 6177 79 155 0 6209 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25464
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1644224/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=30496 CPUtime=162.25
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 8750 0 0 0 16219 6 0 0 25 0 1 0 223704544 31227904 7374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 7624 7374 79 155 0 7467 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30496
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1638976/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=35660 CPUtime=222.23
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 10169 0 0 0 22216 7 0 0 25 0 1 0 223704544 36515840 8559 1992294400 134512640 135151029 4294956240 18446744073709551615 134578108 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 8915 8559 79 155 0 8758 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35660
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1638400/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=35660 CPUtime=282.22
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 10304 0 0 0 28214 8 0 0 25 0 1 0 223704544 36515840 8694 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 8915 8694 79 155 0 8758 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35660
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1638336/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=35660 CPUtime=342.2
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 10309 0 0 0 34212 8 0 0 25 0 1 0 223704544 36515840 8699 1992294400 134512640 135151029 4294956240 18446744073709551615 134551543 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 8915 8699 79 155 0 8758 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 35660
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1630016/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=44620 CPUtime=402.19
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 12402 0 0 0 40210 9 0 0 25 0 1 0 223704544 45690880 10792 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 11155 10792 79 155 0 10998 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 44620
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1625280/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=50508 CPUtime=462.17
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 13559 0 0 0 46207 10 0 0 25 0 1 0 223704544 51720192 11949 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 12627 11949 79 155 0 12470 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 50508
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1623936/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=52300 CPUtime=522.16
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 13876 0 0 0 52205 11 0 0 25 0 1 0 223704544 53555200 12266 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 13075 12266 79 155 0 12918 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 52300
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1631808/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=41484 CPUtime=582.15
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 14080 0 0 0 58203 12 0 0 25 0 1 0 223704544 42479616 10286 1992294400 134512640 135151029 4294956240 18446744073709551615 134554760 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 10371 10286 79 155 0 10214 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 41484
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20528
/proc/meminfo: memFree=1631808/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=41484 CPUtime=642.14
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 14081 0 0 0 64202 12 0 0 25 0 1 0 223704544 42479616 10287 1992294400 134512640 135151029 4294956240 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 10371 10287 79 155 0 10214 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 41484
[startup+702.302 s]
################
# More data... #
################
[startup+4062.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 20536
/proc/meminfo: memFree=1578304/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4061.33
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32354 0 0 0 406095 38 0 0 25 0 1 0 223704544 97218560 23491 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23491 79 155 0 23578 0
Current children cumulated CPU time (s) 4061.33
Current children cumulated vsize (KiB) 94940
[startup+4122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 20536
/proc/meminfo: memFree=1578304/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4121.31
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32354 0 0 0 412093 38 0 0 25 0 1 0 223704544 97218560 23491 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23491 79 155 0 23578 0
Current children cumulated CPU time (s) 4121.31
Current children cumulated vsize (KiB) 94940
[startup+4182.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20536
/proc/meminfo: memFree=1578240/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4181.3
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32362 0 0 0 418092 38 0 0 25 0 1 0 223704544 97218560 23499 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23499 79 155 0 23578 0
Current children cumulated CPU time (s) 4181.3
Current children cumulated vsize (KiB) 94940
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1578112/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4241.3
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32391 0 0 0 424091 39 0 0 25 0 1 0 223704544 97218560 23528 1992294400 134512640 135151029 4294956240 18446744073709551615 134575891 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23528 79 155 0 23578 0
Current children cumulated CPU time (s) 4241.3
Current children cumulated vsize (KiB) 94940
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577920/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4301.28
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32432 0 0 0 430089 39 0 0 25 0 1 0 223704544 97218560 23569 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23569 79 155 0 23578 0
Current children cumulated CPU time (s) 4301.28
Current children cumulated vsize (KiB) 94940
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577984/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94940 CPUtime=4361.27
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32433 0 0 0 436088 39 0 0 25 0 1 0 223704544 97218560 23570 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23735 23570 79 155 0 23578 0
Current children cumulated CPU time (s) 4361.27
Current children cumulated vsize (KiB) 94940
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577408/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=95928 CPUtime=4421.25
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32572 0 0 0 442086 39 0 0 25 0 1 0 223704544 98230272 23709 1992294400 134512640 135151029 4294956240 18446744073709551615 134575907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23982 23709 79 155 0 23825 0
Current children cumulated CPU time (s) 4421.25
Current children cumulated vsize (KiB) 95928
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577728/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4481.23
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32615 0 0 0 448084 39 0 0 25 0 1 0 223704544 97181696 23577 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23577 79 155 0 23569 0
Current children cumulated CPU time (s) 4481.23
Current children cumulated vsize (KiB) 94904
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4541.22
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32616 0 0 0 454083 39 0 0 25 0 1 0 223704544 97181696 23578 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23578 79 155 0 23569 0
Current children cumulated CPU time (s) 4541.22
Current children cumulated vsize (KiB) 94904
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4601.2
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32622 0 0 0 460081 39 0 0 25 0 1 0 223704544 97181696 23584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23584 79 155 0 23569 0
Current children cumulated CPU time (s) 4601.2
Current children cumulated vsize (KiB) 94904
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4661.19
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32622 0 0 0 466080 39 0 0 25 0 1 0 223704544 97181696 23584 1992294400 134512640 135151029 4294956240 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23584 79 155 0 23569 0
Current children cumulated CPU time (s) 4661.19
Current children cumulated vsize (KiB) 94904
[startup+4722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4721.19
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32622 0 0 0 472079 40 0 0 25 0 1 0 223704544 97181696 23584 1992294400 134512640 135151029 4294956240 18446744073709551615 134574563 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23584 79 155 0 23569 0
Current children cumulated CPU time (s) 4721.19
Current children cumulated vsize (KiB) 94904
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4781.17
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32622 0 0 0 478077 40 0 0 25 0 1 0 223704544 97181696 23584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23584 79 155 0 23569 0
Current children cumulated CPU time (s) 4781.17
Current children cumulated vsize (KiB) 94904
[startup+4842.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4841.16
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32622 0 0 0 484076 40 0 0 25 0 1 0 223704544 97181696 23584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23584 79 155 0 23569 0
Current children cumulated CPU time (s) 4841.16
Current children cumulated vsize (KiB) 94904
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4901.14
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32626 0 0 0 490074 40 0 0 25 0 1 0 223704544 97181696 23588 1992294400 134512640 135151029 4294956240 18446744073709551615 134554580 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23588 79 155 0 23569 0
Current children cumulated CPU time (s) 4901.14
Current children cumulated vsize (KiB) 94904
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577728/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=4961.12
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32626 0 0 0 496072 40 0 0 25 0 1 0 223704544 97181696 23588 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23588 79 155 0 23569 0
Current children cumulated CPU time (s) 4961.12
Current children cumulated vsize (KiB) 94904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=5000.02
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32626 0 0 0 499962 40 0 0 25 0 1 0 223704544 97181696 23588 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23588 79 155 0 23569 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 94904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20536
/proc/meminfo: memFree=1577792/2055920 swapFree=4113156/4192956
[pid=20521] ppid=20519 vsize=94904 CPUtime=5000.02
/proc/20521/stat : 20521 (precosat) R 20519 20521 20408 0 -1 4194304 32626 0 0 0 499962 40 0 0 25 0 1 0 223704544 97181696 23588 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20521/statm: 23726 23588 79 155 0 23569 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 94904
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.22
CPU time (s): 5000.05
CPU user time (s): 4999.62
CPU system time (s): 0.421935
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 98560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.62
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32626
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= 9712
runsolver used 3.85041 second user time and 10.4454 second system time
The end
Begin job on node69 at 2009-05-10 13:59:45
IDJOB=1784630
IDBENCH=71803
IDSOLVER=607
FILE ID=node69/1784630-1241956785
PBS_JOBID= 9265071
Free space on /tmp= 66236 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-26-243-24-70.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784630-1241956785/watcher-1784630-1241956785 -o /tmp/evaluation-result-1784630-1241956785/solver-1784630-1241956785 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784630-1241956785.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf3875bd851fbd5f3e19defeb88389d1
RANDOM SEED=1782778624
node69.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.231
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.231
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: 1673696 kB
Buffers: 60832 kB
Cached: 177352 kB
SwapCached: 74412 kB
Active: 144648 kB
Inactive: 169956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1673696 kB
SwapTotal: 4192956 kB
SwapFree: 4113156 kB
Dirty: 1152 kB
Writeback: 0 kB
Mapped: 14260 kB
Slab: 53520 kB
Committed_AS: 655036 kB
PageTables: 1464 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= 66236 MiB
End job on node69 at 2009-05-10 15:23:08