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-1783630-1241861834.cnf
0.00/0.00 c found header 'p cnf 1184 14216'
0.00/0.01 c finished parsing
0.00/0.01 c
0.00/0.01 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.01 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.01 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.01 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.01 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.01 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.01 c
0.00/0.01 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.01 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.01 c
0.00/0.01 c starting search after 0.0 seconds
0.00/0.01 c no decision limit
0.00/0.01 c
0.00/0.01 c original/binary fixed eliminated learned agility
0.00/0.01 c seconds variables equivalent conflicts height MB
0.00/0.01 c
0.00/0.01 c * 0.0 14216 1184 0 0 0 0 0 0.0 0 1
0.09/0.13 c s 0.1 13920 888 0 0 296 0 0 0.0 0 1
0.09/0.13 c l 0.1 13920 888 0 0 296 0 13920 0.0 0 1
0.09/0.14 c R 0.1 13920 888 0 0 296 100 100 157.0 14 1
0.09/0.14 c N 0.1 13920 888 0 0 296 200 200 130.2 31 1
0.19/0.21 c N 0.2 13920 888 0 0 296 801 801 88.8 38 1
0.19/0.24 c B 0.2 13920 888 0 0 296 1002 1002 82.1 39 1
0.29/0.36 c B 0.4 13921 888 0 0 296 2003 2002 65.6 39 1
0.39/0.40 c N 0.4 13921 888 0 0 296 2407 2406 62.2 34 2
0.49/0.58 c s 0.6 13922 888 0 0 296 3615 3613 56.1 36 2
0.89/0.93 c N 0.9 13929 888 0 0 296 6421 6412 48.0 36 2
1.09/1.16 c B 1.2 13930 888 0 0 296 8007 7997 46.0 37 3
1.19/1.26 c s 1.3 13930 888 0 0 296 8436 8426 45.5 37 3
2.00/2.03 c + 2.0 13933 888 0 0 296 13920 15312 45.3 38 4
2.10/2.18 c s 2.2 13933 888 0 0 296 14645 14632 45.4 36 4
2.29/2.36 c N 2.4 13933 888 0 0 296 16043 15329 45.2 36 4
2.49/2.56 c + 2.6 13933 888 0 0 296 17402 16843 44.9 37 4
3.30/3.39 c + 3.4 13934 888 0 0 296 21751 18527 44.1 37 4
3.49/3.51 c s 3.5 13934 888 0 0 296 22174 17302 44.0 34 4
3.69/3.77 c
3.69/3.77 c original/binary fixed eliminated learned agility
3.69/3.77 c seconds variables equivalent conflicts height MB
3.69/3.77 c
3.69/3.77 c B 3.8 13935 888 0 0 296 24015 18548 43.9 38 5
4.19/4.25 c + 4.3 13935 888 0 0 296 27185 20379 43.8 35 5
4.89/4.92 c s 4.9 13937 888 0 0 296 30801 20413 43.9 36 5
5.40/5.45 c + 5.5 13942 888 0 0 296 33981 22416 42.8 37 5
6.09/6.19 c N 6.2 13943 888 0 0 296 38488 22457 41.5 38 6
6.50/6.56 c s 6.6 13943 888 0 0 296 40228 22467 41.1 38 5
6.89/6.94 c + 6.9 13946 888 0 0 296 42476 24657 41.0 38 6
8.49/8.51 c s 8.5 13946 888 0 0 296 50085 24693 41.1 36 6
8.99/9.00 c + 9.0 13948 888 0 0 296 53097 27122 40.8 40 6
10.49/10.55 c s 10.6 13951 888 0 0 296 61317 27148 39.7 37 6
11.09/11.12 c B 11.1 13952 888 0 0 296 64030 27149 39.9 38 6
11.59/11.63 c + 11.6 13952 888 0 0 296 66370 29834 40.0 37 7
12.59/12.67 c s 12.7 13952 888 0 0 296 70406 29870 40.1 37 7
14.79/14.83 c s 14.8 13956 888 0 0 296 79419 29869 40.3 38 7
15.49/15.51 c + 15.5 13958 888 0 0 296 82960 32817 40.2 40 8
16.68/16.72 c N 16.7 13959 888 0 0 296 89760 32872 40.0 38 9
17.08/17.17 c s 17.2 13959 888 0 0 296 91650 32840 40.0 37 8
19.48/19.56 c + 19.6 13963 888 0 0 296 103703 36098 40.0 36 9
20.09/20.17 c s 20.2 13964 888 0 0 296 106027 35172 39.9 38 8
22.99/23.09 c
22.99/23.09 c original/binary fixed eliminated learned agility
22.99/23.09 c seconds variables equivalent conflicts height MB
22.99/23.09 c
22.99/23.09 c s 23.1 13970 888 0 0 296 118727 36129 39.7 39 8
25.49/25.51 c + 25.5 13971 888 0 0 296 129625 39707 39.7 39 9
26.39/26.44 c s 26.4 13971 888 0 0 296 132873 39365 39.7 38 9
29.49/29.56 c s 29.6 13973 888 0 0 296 145708 39742 39.2 36 9
32.39/32.47 c B 32.5 13973 888 0 0 296 160051 39735 39.7 38 9
32.89/32.95 c + 32.9 13973 888 0 0 296 162030 43677 39.7 38 9
41.98/42.02 c s 42.0 13974 888 0 0 296 189220 43709 39.8 38 10
45.38/45.48 c s 45.5 13975 888 0 0 296 201141 43700 39.7 36 10
45.68/45.80 c + 45.8 13977 888 0 0 296 202535 48044 39.7 37 10
46.28/46.33 c N 46.3 13979 888 0 0 296 205134 46297 39.7 37 11
49.18/49.28 c s 49.3 13982 888 0 0 296 216600 48078 39.7 39 10
53.18/53.20 c s 53.2 13984 888 0 0 296 232764 48110 39.2 37 10
57.88/57.95 c s 57.9 13985 888 0 0 296 251105 48076 39.1 40 10
58.38/58.47 c + 58.5 13985 888 0 0 296 253165 52848 39.1 37 11
62.08/62.17 c s 62.2 13986 888 0 0 296 264975 52878 39.1 38 11
66.38/66.43 c s 66.4 13991 888 0 0 296 280332 52903 38.9 38 12
71.28/71.38 c s 71.4 13995 888 0 0 296 296290 52890 38.8 37 12
76.67/76.72 c s 76.7 13999 888 0 0 296 314827 52870 39.1 40 12
77.07/77.19 c + 77.2 14000 887 0 1 296 316455 58132 39.1 37 12
82.37/82.49 c
82.37/82.49 c original/binary fixed eliminated learned agility
82.37/82.49 c seconds variables equivalent conflicts height MB
82.37/82.49 c
82.37/82.49 c s 82.5 13995 887 0 1 296 333097 58167 38.5 37 12
87.67/87.71 c s 87.7 13996 887 0 1 296 347600 58170 38.5 33 12
93.17/93.29 c s 93.3 13998 887 0 1 296 365548 58171 38.2 39 11
98.47/98.51 c B 98.5 13998 887 0 1 296 384102 58189 37.9 38 13
102.27/102.35 c s 102.3 13999 887 0 1 296 392704 58144 37.8 36 12
103.07/103.14 c + 103.1 14000 887 0 1 296 395567 63945 37.8 39 13
107.37/107.46 c s 107.4 14000 887 0 1 296 408916 63994 37.9 38 14
128.46/128.59 c s 128.6 14001 887 0 1 296 450695 63959 37.4 37 14
132.36/132.44 c N 132.4 14002 887 0 1 296 461495 63995 37.4 39 15
134.55/134.63 c s 134.6 14002 887 0 1 296 466614 63970 37.4 38 13
145.36/145.45 c + 145.4 14002 887 0 1 296 494455 70339 37.1 39 16
154.55/154.63 c s 154.6 14003 887 0 1 296 515180 70376 36.9 40 16
176.74/176.81 c s 176.8 14004 887 0 1 296 568747 52802 36.3 39 13
181.64/181.70 c s 181.7 14007 887 0 1 296 586239 70291 36.3 40 16
189.74/189.85 c s 189.8 14008 887 0 1 296 610347 70369 36.3 37 15
191.84/191.99 c + 191.9 14012 887 0 1 296 618066 77372 36.3 37 16
196.44/196.57 c s 196.5 14015 887 0 1 296 631206 77406 36.2 38 16
205.74/205.83 c s 205.8 14017 887 0 1 296 654836 77409 35.9 39 15
213.83/213.96 c s 213.9 14018 887 0 1 296 680147 77430 36.0 37 16
223.23/223.34 c
223.23/223.34 c original/binary fixed eliminated learned agility
223.23/223.34 c seconds variables equivalent conflicts height MB
223.23/223.34 c
223.23/223.34 c s 223.3 14020 887 0 1 296 707647 77414 36.2 40 16
230.83/230.97 c s 230.9 14021 887 0 1 296 730890 77412 36.2 38 17
240.12/240.24 c s 240.2 14022 887 0 1 296 756469 77412 36.3 38 16
246.63/246.78 c + 246.7 14023 887 0 1 296 772581 85109 36.2 38 18
249.03/249.16 c s 249.1 14023 887 0 1 296 777482 82294 36.2 38 17
304.82/304.90 c B 304.8 14023 887 0 1 296 896194 85189 35.9 39 23
310.61/310.76 c s 310.7 14024 887 0 1 296 903686 85179 35.8 35 18
320.41/320.57 c s 320.5 14027 887 0 1 296 930607 85161 35.8 36 18
329.51/329.69 c s 329.6 14030 887 0 1 296 952372 85141 35.6 38 17
334.80/334.98 c + 334.9 14030 887 0 1 296 965727 93619 35.5 38 18
340.20/340.39 c s 340.3 14031 887 0 1 296 976216 93657 35.4 38 18
353.60/353.78 c s 353.7 14032 887 0 1 296 1001062 93650 35.1 39 17
366.20/366.36 c N 366.3 14033 887 0 1 296 1025451 93651 34.9 37 19
366.89/367.09 c s 367.0 14033 887 0 1 296 1026419 93637 34.9 38 17
380.69/380.87 c s 380.8 14035 887 0 1 296 1054586 93647 34.9 37 17
390.80/390.93 c s 390.8 14036 887 0 1 296 1079199 93703 35.0 37 19
402.89/403.03 c s 402.9 14038 887 0 1 296 1108896 93646 35.0 39 19
414.09/414.26 c s 414.2 14041 887 0 1 296 1136431 93663 35.0 35 20
425.79/425.92 c s 425.8 14042 887 0 1 296 1164118 93645 34.9 37 19
445.98/446.20 c
445.98/446.20 c original/binary fixed eliminated learned agility
445.98/446.20 c seconds variables equivalent conflicts height MB
445.98/446.20 c
445.98/446.20 c + 446.1 14042 887 0 1 296 1207155 102980 34.9 39 22
563.44/563.66 c s 563.5 14043 887 0 1 296 1340825 103031 34.4 38 20
576.15/576.40 c s 576.3 14046 887 0 1 296 1367366 103020 34.6 39 21
588.15/588.35 c s 588.2 14047 887 0 1 296 1393773 103029 34.7 39 22
603.74/603.97 c s 603.8 14048 887 0 1 296 1421245 103009 34.6 34 22
615.84/616.09 c s 615.9 14050 887 0 1 296 1450862 103042 34.7 38 23
633.43/633.64 c s 633.5 14051 887 0 1 296 1482608 103017 34.6 38 21
645.83/646.07 c + 645.9 14051 887 0 1 296 1508940 113278 34.7 38 24
650.73/650.92 c s 650.8 14052 887 0 1 296 1516780 110871 34.7 38 24
667.02/667.29 c s 667.1 14057 887 0 1 296 1541608 113321 34.7 40 24
688.02/688.28 c s 688.1 14058 887 0 1 296 1577924 113305 34.6 36 24
703.02/703.24 c s 703.1 14059 887 0 1 296 1608598 113352 34.6 39 24
892.56/892.84 c s 892.6 14060 887 0 1 296 1862066 113313 34.5 38 24
902.66/902.99 c + 902.8 14061 887 0 1 296 1886175 124605 34.5 40 25
904.56/904.84 c s 904.6 14061 887 0 1 296 1889496 116647 34.4 37 24
996.24/996.54 c s 996.3 14062 887 0 1 296 2006026 124626 34.0 36 23
1011.53/1011.87 c s 1011.6 14064 887 0 1 296 2039136 124651 34.0 38 24
1016.14/1016.41 c B 1016.2 14065 887 0 1 296 2048395 124667 34.0 38 26
1030.33/1030.69 c s 1030.4 14065 887 0 1 296 2072845 124630 34.0 37 25
1185.49/1185.83 c
1185.49/1185.83 c original/binary fixed eliminated learned agility
1185.49/1185.83 c seconds variables equivalent conflicts height MB
1185.49/1185.83 c
1185.49/1185.83 c N 1185.5 14065 887 0 1 296 2255671 124632 34.2 36 33
1210.98/1211.36 c s 1211.1 14066 887 0 1 296 2281628 124640 34.2 37 25
1237.57/1237.97 c s 1237.7 14067 887 0 1 296 2320785 124632 34.1 38 24
1255.17/1255.57 c + 1255.3 14067 887 0 1 296 2357715 137065 34.1 39 29
1322.55/1322.93 c s 1322.6 14068 887 0 1 296 2452509 137207 34.1 42 36
1355.44/1355.83 c s 1355.5 14069 887 0 1 296 2506046 137094 34.0 38 32
1381.25/1381.62 c s 1381.3 14070 887 0 1 296 2545852 137090 34.1 37 30
1541.39/1541.83 c s 1541.4 14071 887 0 1 296 2713960 137098 33.9 38 26
1762.34/1762.89 c + 1762.4 14071 887 0 1 296 2947140 150771 33.9 37 38
2562.24/2562.94 c + 2562.3 14071 887 0 1 296 3683925 165848 33.8 39 46
3655.66/3656.68 c + 3655.8 14071 887 0 1 296 4604907 182432 33.5 38 55
3659.26/3660.29 c B 3659.4 14071 887 0 1 296 4608764 169787 33.5 36 55
4068.96/4070.09 c N 4069.1 14071 887 0 1 296 4921120 182638 33.5 39 60
5000.03/5001.30 c
5000.03/5001.30 c *** CAUGHT SIGNAL 15 ***
5000.03/5001.30 c
5000.03/5001.30 c 5595914 conflicts, 6246301 decisions, 1 random
5000.03/5001.30 c 0 iterations, 1 restarts, 8825 skipped
5000.03/5001.30 c 27 enlarged, 78 shrunken, 54673 rescored, 1164 rebiased
5000.03/5001.30 c 75 simplifications, 2 reductions
5000.03/5001.30 c
5000.03/5001.30 c vars: 0 fixed, 1 equiv, 296 elim, 1 merged
5000.03/5001.30 c elim: 126559 resolutions, 2 phases, 2 rounds
5000.03/5001.30 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.03/5001.30 c arty: 0.00 and 0.00 xor average arity
5000.03/5001.30 c prbe: 131914 probed, 74 phases, 74 rounds
5000.03/5001.30 c prbe: 0 failed, 0 lifted, 0 merged
5000.03/5001.30 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.03/5001.30 c hash: 0 units, 1 merged
5000.03/5001.30 c mins: 248724774 learned, 35% deleted, 627 strong, 42 depth
5000.03/5001.30 c subs: 4 forward, 4 backward, 2 doms
5000.03/5001.30 c strs: 15188 forward, 1 backward
5000.03/5001.30 c doms: 2 dominators, 1 high, 0 low
5000.03/5001.30 c prps: 1002674454 propagations, 0.20 megaprops
5000.03/5001.30 c
5000.03/5001.30 c 5000.0 seconds, 75 MB max, 1043 MB recycled
5000.03/5001.30 c
5000.03/5001.30 c *** CAUGHT SIGNAL 15 ***
5000.03/5001.30 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783630-1241861834/watcher-1783630-1241861834 -o /tmp/evaluation-result-1783630-1241861834/solver-1783630-1241861834 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783630-1241861834.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.49 0.12 0.04 3/64 20486
/proc/meminfo: memFree=1931872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=1052 CPUtime=0
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 214216836 1077248 160 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 263 160 63 155 0 106 0
[startup+0.0853109 s]
/proc/loadavg: 0.49 0.12 0.04 3/64 20486
/proc/meminfo: memFree=1931872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=2468 CPUtime=0.07
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 553 0 0 0 7 0 0 0 18 0 1 0 214216836 2527232 508 1992294400 134512640 135151029 4294956240 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 617 508 79 155 0 460 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2468
[startup+0.101312 s]
/proc/loadavg: 0.49 0.12 0.04 3/64 20486
/proc/meminfo: memFree=1931872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=2468 CPUtime=0.09
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 569 0 0 0 9 0 0 0 18 0 1 0 214216836 2527232 524 1992294400 134512640 135151029 4294956240 18446744073709551615 134526460 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 617 524 79 155 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2468
[startup+0.301332 s]
/proc/loadavg: 0.49 0.12 0.04 3/64 20486
/proc/meminfo: memFree=1931872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=2468 CPUtime=0.29
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 569 0 0 0 29 0 0 0 19 0 1 0 214216836 2527232 524 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 617 524 79 155 0 460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2468
[startup+0.701372 s]
/proc/loadavg: 0.49 0.12 0.04 3/64 20486
/proc/meminfo: memFree=1931872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=2988 CPUtime=0.69
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 690 0 0 0 69 0 0 0 23 0 1 0 214216836 3059712 645 1992294400 134512640 135151029 4294956240 18446744073709551615 134567846 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 747 645 79 155 0 590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2988
[startup+1.50145 s]
/proc/loadavg: 0.49 0.12 0.04 2/65 20487
/proc/meminfo: memFree=1929112/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=4176 CPUtime=1.49
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 999 0 0 0 149 0 0 0 25 0 1 0 214216836 4276224 954 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 1044 954 79 155 0 887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4176
[startup+3.10161 s]
/proc/loadavg: 0.49 0.12 0.04 2/65 20487
/proc/meminfo: memFree=1927384/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=5500 CPUtime=3.09
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 1342 0 0 0 308 1 0 0 25 0 1 0 214216836 5632000 1297 1992294400 134512640 135151029 4294956240 18446744073709551615 134574660 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 1375 1297 79 155 0 1218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5500
[startup+6.30194 s]
/proc/loadavg: 0.53 0.14 0.04 2/65 20487
/proc/meminfo: memFree=1925784/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=6960 CPUtime=6.29
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 1698 0 0 0 628 1 0 0 25 0 1 0 214216836 7127040 1653 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 1740 1653 79 155 0 1583 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6960
[startup+12.7026 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 20487
/proc/meminfo: memFree=1924120/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=8580 CPUtime=12.69
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 2105 0 0 0 1268 1 0 0 25 0 1 0 214216836 8785920 2060 1992294400 134512640 135151029 4294956240 18446744073709551615 134578345 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 2145 2060 79 155 0 1988 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8580
[startup+25.5019 s]
/proc/loadavg: 0.66 0.19 0.06 2/65 20487
/proc/meminfo: memFree=1921624/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=10692 CPUtime=25.49
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 2632 0 0 0 2547 2 0 0 25 0 1 0 214216836 10948608 2587 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 2673 2587 79 155 0 2516 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10692
[startup+51.1014 s]
/proc/loadavg: 0.77 0.26 0.09 2/65 20487
/proc/meminfo: memFree=1919000/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=13440 CPUtime=51.08
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 3321 0 0 0 5105 3 0 0 25 0 1 0 214216836 13762560 3256 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 3360 3256 79 155 0 3203 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13440
[startup+102.306 s]
/proc/loadavg: 0.90 0.37 0.13 2/65 20487
/proc/meminfo: memFree=1916760/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=15272 CPUtime=102.27
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 4084 0 0 0 10223 4 0 0 25 0 1 0 214216836 15638528 3740 1992294400 134512640 135151029 4294956240 18446744073709551615 134578659 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 3818 3740 79 155 0 3661 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15272
[startup+162.302 s]
/proc/loadavg: 0.96 0.48 0.19 2/65 20487
/proc/meminfo: memFree=1911128/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=21264 CPUtime=162.25
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 5767 0 0 0 16220 5 0 0 25 0 1 0 214216836 21774336 5192 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 5316 5192 79 155 0 5159 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21264
[startup+222.302 s]
/proc/loadavg: 0.98 0.57 0.23 2/65 20489
/proc/meminfo: memFree=1902872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29216 CPUtime=222.23
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 7716 0 0 0 22217 6 0 0 25 0 1 0 214216836 29917184 7141 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7304 7141 79 155 0 7147 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29216
[startup+282.302 s]
/proc/loadavg: 0.99 0.65 0.28 2/65 20489
/proc/meminfo: memFree=1902936/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29216 CPUtime=282.22
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 7727 0 0 0 28215 7 0 0 25 0 1 0 214216836 29917184 7152 1992294400 134512640 135151029 4294956240 18446744073709551615 134580448 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7304 7152 79 155 0 7147 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29216
[startup+342.302 s]
/proc/loadavg: 0.99 0.71 0.32 2/65 20489
/proc/meminfo: memFree=1902872/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29216 CPUtime=342.2
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 7756 0 0 0 34213 7 0 0 25 0 1 0 214216836 29917184 7181 1992294400 134512640 135151029 4294956240 18446744073709551615 134575991 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7304 7181 79 155 0 7147 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29216
[startup+402.302 s]
/proc/loadavg: 0.99 0.76 0.36 2/65 20489
/proc/meminfo: memFree=1902808/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29216 CPUtime=402.19
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 7761 0 0 0 40211 8 0 0 25 0 1 0 214216836 29917184 7186 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7304 7186 79 155 0 7147 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 29216
[startup+462.302 s]
/proc/loadavg: 0.99 0.80 0.40 2/65 20489
/proc/meminfo: memFree=1902744/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29216 CPUtime=462.18
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 7770 0 0 0 46210 8 0 0 25 0 1 0 214216836 29917184 7195 1992294400 134512640 135151029 4294956240 18446744073709551615 134554843 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7304 7195 79 155 0 7147 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 29216
[startup+522.302 s]
/proc/loadavg: 0.99 0.83 0.43 2/65 20489
/proc/meminfo: memFree=1901400/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=30996 CPUtime=522.16
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 8106 0 0 0 52208 8 0 0 25 0 1 0 214216836 31739904 7531 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7749 7531 79 155 0 7592 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 30996
[startup+582.302 s]
/proc/loadavg: 0.99 0.86 0.46 2/65 20489
/proc/meminfo: memFree=1902296/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29340 CPUtime=582.15
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 8240 0 0 0 58206 9 0 0 25 0 1 0 214216836 30044160 7249 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7335 7249 79 155 0 7178 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 29340
[startup+642.302 s]
/proc/loadavg: 0.99 0.88 0.49 2/65 20489
/proc/meminfo: memFree=1902296/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=29340 CPUtime=642.13
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 8243 0 0 0 64204 9 0 0 25 0 1 0 214216836 30044160 7252 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 7335 7252 79 155 0 7178 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 29340
[startup+702.302 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860952/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=71784 CPUtime=4061.27
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20628 0 0 0 406095 32 0 0 25 0 1 0 214216836 73506816 17065 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 17946 17065 79 155 0 17789 0
Current children cumulated CPU time (s) 4061.27
Current children cumulated vsize (KiB) 71784
[startup+4122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860888/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=71784 CPUtime=4121.25
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20641 0 0 0 412093 32 0 0 25 0 1 0 214216836 73506816 17078 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 17946 17078 79 155 0 17789 0
Current children cumulated CPU time (s) 4121.25
Current children cumulated vsize (KiB) 71784
[startup+4182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860568/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=72300 CPUtime=4181.23
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20712 0 0 0 418091 32 0 0 25 0 1 0 214216836 74035200 17149 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18075 17149 79 155 0 17918 0
Current children cumulated CPU time (s) 4181.23
Current children cumulated vsize (KiB) 72300
[startup+4242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860568/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=72300 CPUtime=4241.21
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20717 0 0 0 424089 32 0 0 25 0 1 0 214216836 74035200 17154 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18075 17154 79 155 0 17918 0
Current children cumulated CPU time (s) 4241.21
Current children cumulated vsize (KiB) 72300
[startup+4302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860504/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=72300 CPUtime=4301.2
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20719 0 0 0 430088 32 0 0 25 0 1 0 214216836 74035200 17156 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18075 17156 79 155 0 17918 0
Current children cumulated CPU time (s) 4301.2
Current children cumulated vsize (KiB) 72300
[startup+4362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860184/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=72816 CPUtime=4361.18
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20793 0 0 0 436086 32 0 0 25 0 1 0 214216836 74563584 17230 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18204 17230 79 155 0 18047 0
Current children cumulated CPU time (s) 4361.18
Current children cumulated vsize (KiB) 72816
[startup+4422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1860056/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=72816 CPUtime=4421.17
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 20818 0 0 0 442084 33 0 0 25 0 1 0 214216836 74563584 17255 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18204 17255 79 155 0 18047 0
Current children cumulated CPU time (s) 4421.17
Current children cumulated vsize (KiB) 72816
[startup+4482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1857432/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=75444 CPUtime=4481.15
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 21491 0 0 0 448082 33 0 0 25 0 1 0 214216836 77254656 17928 1992294400 134512640 135151029 4294956240 18446744073709551615 134551579 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 18861 17928 79 155 0 18704 0
Current children cumulated CPU time (s) 4481.15
Current children cumulated vsize (KiB) 75444
[startup+4542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 20497
/proc/meminfo: memFree=1852952/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80456 CPUtime=4541.14
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22573 0 0 0 454079 35 0 0 25 0 1 0 214216836 82386944 19010 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20114 19010 79 155 0 19957 0
Current children cumulated CPU time (s) 4541.14
Current children cumulated vsize (KiB) 80456
[startup+4602.3 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 20497
/proc/meminfo: memFree=1852888/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80456 CPUtime=4601.13
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22573 0 0 0 460078 35 0 0 25 0 1 0 214216836 82386944 19010 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20114 19010 79 155 0 19957 0
Current children cumulated CPU time (s) 4601.13
Current children cumulated vsize (KiB) 80456
[startup+4662.3 s]
/proc/loadavg: 1.05 1.00 0.92 2/65 20497
/proc/meminfo: memFree=1852824/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80712 CPUtime=4661.11
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22609 0 0 0 466076 35 0 0 25 0 1 0 214216836 82649088 19046 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20178 19046 79 155 0 20021 0
Current children cumulated CPU time (s) 4661.11
Current children cumulated vsize (KiB) 80712
[startup+4722.31 s]
/proc/loadavg: 1.13 1.03 0.93 2/65 20497
/proc/meminfo: memFree=1852568/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80712 CPUtime=4721.1
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22635 0 0 0 472075 35 0 0 25 0 1 0 214216836 82649088 19072 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20178 19072 79 155 0 20021 0
Current children cumulated CPU time (s) 4721.1
Current children cumulated vsize (KiB) 80712
[startup+4782.3 s]
/proc/loadavg: 1.17 1.05 0.94 2/65 20497
/proc/meminfo: memFree=1852568/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80712 CPUtime=4781.08
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22644 0 0 0 478073 35 0 0 25 0 1 0 214216836 82649088 19081 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20178 19081 79 155 0 20021 0
Current children cumulated CPU time (s) 4781.08
Current children cumulated vsize (KiB) 80712
[startup+4842.3 s]
/proc/loadavg: 1.06 1.04 0.94 2/65 20497
/proc/meminfo: memFree=1852504/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80712 CPUtime=4841.06
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22644 0 0 0 484071 35 0 0 25 0 1 0 214216836 82649088 19081 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20178 19081 79 155 0 20021 0
Current children cumulated CPU time (s) 4841.06
Current children cumulated vsize (KiB) 80712
[startup+4902.3 s]
/proc/loadavg: 1.02 1.03 0.94 2/65 20497
/proc/meminfo: memFree=1852312/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80968 CPUtime=4901.04
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22677 0 0 0 490069 35 0 0 25 0 1 0 214216836 82911232 19114 1992294400 134512640 135151029 4294956240 18446744073709551615 134554920 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20242 19114 79 155 0 20085 0
Current children cumulated CPU time (s) 4901.04
Current children cumulated vsize (KiB) 80968
[startup+4962.3 s]
/proc/loadavg: 1.01 1.02 0.94 2/65 20497
/proc/meminfo: memFree=1852248/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80968 CPUtime=4961.03
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22696 0 0 0 496067 36 0 0 25 0 1 0 214216836 82911232 19133 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20242 19133 79 155 0 20085 0
Current children cumulated CPU time (s) 4961.03
Current children cumulated vsize (KiB) 80968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 20497
/proc/meminfo: memFree=1852184/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80968 CPUtime=5000.03
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22701 0 0 0 499967 36 0 0 25 0 1 0 214216836 82911232 19138 1992294400 134512640 135151029 4294956240 18446744073709551615 134578033 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20242 19138 79 155 0 20085 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 80968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 20497
/proc/meminfo: memFree=1852184/2055920 swapFree=4176540/4192956
[pid=20486] ppid=20484 vsize=80968 CPUtime=5000.03
/proc/20486/stat : 20486 (precosat) R 20484 20486 20418 0 -1 4194304 22701 0 0 0 499967 36 0 0 25 0 1 0 214216836 82911232 19138 1992294400 134512640 135151029 4294956240 18446744073709551615 134578033 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20486/statm: 20242 19138 79 155 0 20085 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 80968
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.32
CPU time (s): 5000.05
CPU user time (s): 4999.67
CPU system time (s): 0.374943
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 80968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.67
system time used= 0.374943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22701
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= 6343
runsolver used 3.62845 second user time and 10.4134 second system time
The end
Begin job on node17 at 2009-05-09 11:37:15
IDJOB=1783630
IDBENCH=24621
IDSOLVER=607
FILE ID=node17/1783630-1241861834
PBS_JOBID= 9264595
Free space on /tmp= 66148 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783630-1241861834/watcher-1783630-1241861834 -o /tmp/evaluation-result-1783630-1241861834/solver-1783630-1241861834 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783630-1241861834.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e8bf7f81ddac4f189ec204bc856c8406
RANDOM SEED=1043943663
node17.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.234
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.234
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: 1932352 kB
Buffers: 21488 kB
Cached: 51056 kB
SwapCached: 11164 kB
Active: 54824 kB
Inactive: 30904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1932352 kB
SwapTotal: 4192956 kB
SwapFree: 4176540 kB
Dirty: 976 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 23812 kB
Committed_AS: 716900 kB
PageTables: 1452 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= 66148 MiB
End job on node17 at 2009-05-09 13:00:38