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-1773051-1241193806.cnf
0.00/0.00 c found header 'p cnf 2010 6802'
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 6799 2007 3 0 0 0 0 0.0 0 1
0.07/0.08 c s 0.1 6196 1221 16 9 764 0 0 0.0 0 1
0.07/0.08 c l 0.1 6196 1221 16 9 764 0 4521 0.0 0 1
0.07/0.09 c N 0.1 6207 1220 17 9 764 115 112 112.6 33 1
0.09/0.10 c N 0.1 6207 1220 17 9 764 217 214 99.9 39 1
0.19/0.20 c N 0.2 6217 1220 17 9 764 820 817 60.7 39 1
0.19/0.22 c B 0.2 6220 1220 17 9 764 1000 997 55.7 38 1
0.19/0.24 c s 0.2 6209 1220 17 9 764 1095 1089 53.4 39 1
0.29/0.37 c B 0.4 6214 1220 17 9 764 2002 1996 46.3 45 1
0.39/0.43 c s 0.4 6214 1220 17 9 764 2253 2247 44.7 42 1
0.39/0.45 c N 0.5 6214 1220 17 9 764 2426 2420 43.3 39 1
0.59/0.67 c s 0.7 6229 1220 17 9 764 4271 4264 35.0 38 1
0.69/0.72 c + 0.7 6231 1220 17 9 764 4521 4973 34.6 41 2
0.89/0.92 c + 0.9 6343 1220 17 9 764 5651 5470 34.4 31 2
1.00/1.01 c s 1.0 6343 1220 17 9 764 6045 5381 34.5 45 2
1.00/1.05 c N 1.0 6343 1220 17 9 764 6433 5487 34.1 38 2
1.10/1.17 c + 1.2 6343 1220 17 9 764 7061 6017 33.3 38 2
1.29/1.38 c B 1.4 6343 1220 17 9 764 8004 6035 32.1 45 2
1.39/1.43 c s 1.4 6344 1220 17 9 764 8180 6041 31.9 40 2
1.49/1.54 c
1.49/1.54 c original/binary fixed eliminated learned agility
1.49/1.54 c seconds variables equivalent conflicts height MB
1.49/1.54 c
1.49/1.54 c + 1.5 6344 1220 17 9 764 8828 6618 31.6 40 2
1.89/1.94 c + 1.9 6344 1220 17 9 764 11035 7279 31.1 42 2
2.49/2.53 c + 2.5 6344 1220 17 9 764 13790 8006 30.1 40 2
2.99/3.07 c N 3.1 6344 1220 17 9 764 16060 8034 29.2 37 3
3.30/3.30 c + 3.3 6344 1220 17 9 764 17235 8806 28.8 39 3
4.19/4.24 c + 4.2 6344 1220 17 9 764 21541 9686 27.8 42 3
4.79/4.82 c B 4.8 6344 1220 17 9 764 24007 9830 27.2 42 3
5.40/5.43 c + 5.4 6344 1220 17 9 764 26925 10654 26.6 43 3
6.89/6.91 c s 6.9 6319 1215 17 9 769 33517 10693 25.9 40 2
6.89/6.95 c + 7.0 6319 1215 17 9 769 33657 11719 25.9 44 3
7.89/8.00 c N 8.0 6319 1215 17 9 769 38500 11733 26.0 36 3
8.89/8.93 c + 8.9 6319 1215 17 9 769 42071 12890 25.9 41 4
11.69/11.74 c + 11.7 6319 1215 17 9 769 52587 14179 26.1 38 4
14.89/14.93 c B 14.9 6319 1215 17 9 769 64017 14190 25.9 37 5
15.29/15.37 c + 15.4 6319 1215 17 9 769 65730 15596 25.9 34 5
19.98/20.04 c + 20.0 6319 1215 17 9 769 82163 17155 25.3 37 5
22.18/22.21 c N 22.2 6319 1215 17 9 769 89776 17187 25.0 44 6
26.29/26.31 c + 26.3 6319 1215 17 9 769 102700 18870 24.6 40 6
34.08/34.17 c + 34.2 6319 1215 17 9 769 128377 20757 24.2 41 10
41.48/41.54 c
41.48/41.54 c original/binary fixed eliminated learned agility
41.48/41.54 c seconds variables equivalent conflicts height MB
41.48/41.54 c
41.48/41.54 c s 41.5 6320 1215 17 9 769 149772 20787 23.8 30 5
44.28/44.34 c B 44.3 6320 1215 17 9 769 160033 20790 24.1 41 6
44.38/44.48 c + 44.5 6320 1215 17 9 769 160470 22832 24.1 39 6
53.58/53.60 c s 53.6 6324 1215 17 9 769 191755 22880 24.4 41 5
54.68/54.78 c s 54.8 6326 1215 17 9 769 196640 22852 24.5 40 5
55.58/55.66 c + 55.6 6327 1215 17 9 769 200587 25115 24.5 42 6
56.18/56.24 c s 56.2 6327 1215 17 9 769 202927 25183 24.4 39 6
56.68/56.73 c N 56.7 6327 1215 17 9 769 205154 25165 24.4 35 6
59.47/59.53 c s 59.5 6328 1215 17 9 769 214588 25170 24.4 36 6
61.07/61.16 c s 61.1 6329 1215 17 9 769 220738 25269 24.5 38 6
62.58/62.67 c s 62.7 6336 1215 17 9 769 227448 25179 24.5 43 6
69.77/69.82 c + 69.8 6336 1215 17 9 769 250731 27626 24.2 38 7
85.37/85.43 c s 85.4 6337 1215 17 9 769 293517 27723 24.0 38 5
87.17/87.25 c s 87.2 6348 1215 17 9 769 299991 27664 24.0 43 6
90.07/90.20 c + 90.2 6348 1215 17 9 769 313410 30388 24.1 42 7
111.96/112.06 c B 112.0 6348 1215 17 9 769 384083 30469 24.4 42 9
114.65/114.76 c + 114.7 6348 1215 17 9 769 391761 33426 24.4 35 9
145.85/145.94 c N 145.9 6348 1215 17 9 769 461497 33635 24.7 35 11
158.45/158.52 c + 158.5 6348 1215 17 9 769 489700 36768 24.6 39 12
173.34/173.42 c
173.34/173.42 c original/binary fixed eliminated learned agility
173.34/173.42 c seconds variables equivalent conflicts height MB
173.34/173.42 c
173.34/173.42 c s 173.4 6349 1215 17 9 769 522343 30531 24.5 40 8
203.33/203.44 c s 203.4 6350 1215 17 9 769 572909 27635 24.2 47 7
217.22/217.31 c + 217.2 6350 1215 17 9 769 612126 40444 23.9 37 8
289.51/289.69 c + 289.6 6350 1215 17 9 769 765155 44488 22.5 44 11
355.99/356.16 c s 356.1 6351 1215 17 9 769 891691 45673 22.4 41 8
357.29/357.43 c B 357.3 6359 1215 17 9 769 896178 44565 22.5 44 9
358.99/359.16 c s 359.1 6359 1215 17 9 769 900975 44543 22.5 38 8
384.38/384.50 c + 384.4 6359 1215 17 9 769 956440 48936 22.5 31 11
398.87/399.04 c s 398.9 6360 1215 17 9 769 984866 49020 22.5 41 9
418.17/418.36 c N 418.2 6360 1215 17 9 769 1025387 49159 22.5 37 11
502.84/503.03 c + 502.9 6360 1215 17 9 769 1195550 53829 22.3 41 16
580.22/580.48 c s 580.3 6365 1215 17 9 769 1332692 40433 22.3 33 9
609.22/609.47 c s 609.3 6366 1215 17 9 769 1406002 53887 22.3 37 15
658.20/658.44 c + 658.3 6366 1215 17 9 769 1494435 59211 22.3 37 15
671.49/671.75 c s 671.6 6367 1215 17 9 769 1515217 59223 22.3 32 13
676.49/676.79 c s 676.6 6372 1215 17 9 769 1527759 59254 22.3 37 12
878.34/878.60 c + 878.3 6372 1215 17 9 769 1868041 65132 22.3 39 17
995.40/995.76 c B 995.5 6372 1215 17 9 769 2048353 65202 22.3 34 18
1085.38/1085.77 c s 1085.5 6378 1213 18 9 770 2201407 48979 22.2 44 8
1085.38/1085.77 c
1085.38/1085.77 c original/binary fixed eliminated learned agility
1085.38/1085.77 c seconds variables equivalent conflicts height MB
1085.38/1085.77 c
1085.38/1085.77 c - 1085.5 6378 1213 18 9 770 2201407 63830 22.2 44 8
1100.07/1100.41 c s 1100.1 6379 1213 18 9 770 2250355 63937 22.2 48 14
1101.17/1101.59 c N 1101.3 6379 1213 18 9 770 2255570 63869 22.2 34 15
1112.47/1112.80 c s 1112.5 6380 1213 18 9 770 2281911 63918 22.4 43 15
1115.37/1115.72 c + 1115.4 6382 1213 18 9 770 2288350 70213 22.4 42 17
1117.96/1118.39 c s 1118.1 6382 1213 18 9 770 2295412 70308 22.4 43 17
1207.13/1207.51 c s 1207.2 6383 1213 18 9 770 2406343 70231 22.6 30 12
1213.43/1213.86 c s 1213.5 6392 1213 18 9 770 2419421 70283 22.6 43 13
1219.94/1220.38 c s 1220.0 6389 1212 19 9 770 2435326 68527 22.6 36 13
1437.28/1437.79 c s 1437.4 6390 1212 19 9 770 2777488 70331 22.6 24 15
1442.57/1443.06 c s 1442.6 6391 1212 19 9 770 2792535 70234 22.6 37 14
1450.27/1450.72 c s 1450.3 6392 1212 19 9 770 2812382 70320 22.6 42 14
1476.36/1476.86 c + 1476.4 6392 1212 19 9 770 2860435 77234 22.7 40 16
1510.55/1511.02 c s 1510.6 6393 1212 19 9 770 2906278 57962 22.7 43 10
1515.35/1515.88 c s 1515.4 6394 1212 19 9 770 2932900 77253 22.6 31 13
1523.85/1524.31 c s 1523.9 6396 1212 19 9 770 2945862 77364 22.6 45 13
1532.25/1532.71 c s 1532.3 6397 1212 19 9 770 2960859 77296 22.7 40 13
1619.32/1619.84 c s 1619.4 6398 1212 19 9 770 3070084 57990 22.9 43 12
1968.02/1968.69 c + 1968.1 6398 1212 19 9 770 3575541 84957 22.5 35 23
2723.80/2724.65 c
2723.80/2724.65 c original/binary fixed eliminated learned agility
2723.80/2724.65 c seconds variables equivalent conflicts height MB
2723.80/2724.65 c
2723.80/2724.65 c + 2723.9 6398 1212 19 9 770 4469426 93452 22.1 40 28
2843.17/2844.00 c B 2843.2 6398 1212 19 9 770 4608719 93711 22.0 33 30
3679.21/3680.39 c + 3679.3 6398 1212 19 9 770 5586781 102797 21.7 43 28
4463.09/4464.45 c s 4463.2 6403 1212 19 9 770 6522379 103111 21.3 24 22
4840.88/4842.33 c + 4840.9 6403 1212 19 9 770 6983475 113076 21.3 44 32
4883.27/4884.75 c s 4883.3 6404 1212 19 9 770 7022935 113189 21.2 34 23
4895.56/4897.05 c s 4895.6 6405 1212 19 9 770 7042492 113130 21.3 39 23
5146.99/5148.57 c N 5147.1 6405 1212 19 9 770 7342164 113136 21.3 37 25
5474.59/5476.22 c s 5474.6 6416 1212 19 9 770 7619441 84873 21.3 37 16
5479.98/5481.60 c s 5480.0 6418 1212 19 9 770 7644264 109694 21.3 32 18
6528.88/6530.81 c + 6528.9 6418 1212 19 9 770 8729340 124383 21.2 37 46
8356.95/8359.46 c B 8357.0 6418 1212 19 9 770 10241434 155753 21.4 43 42
8558.38/8560.96 c s 8558.5 6419 1212 19 9 770 10468021 107406 21.4 40 32
9802.62/9805.51 c s 9802.6 6420 1212 19 9 770 11592478 130475 21.1 28 20
9821.42/9824.34 c s 9821.5 6421 1212 19 9 770 11616224 124462 21.1 36 21
9842.52/9845.48 c s 9842.6 6422 1212 19 9 770 11638145 124418 21.1 35 22
9861.31/9864.25 c s 9861.4 6439 1212 19 9 770 11658707 124461 21.1 41 22
10000.07/10003.00 c
10000.07/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.07/10003.00 c
10000.07/10003.00 c 11834332 conflicts, 15034110 decisions, 1 random
10000.07/10003.00 c 2 iterations, 6 restarts, 19443 skipped
10000.07/10003.00 c 35 enlarged, 65 shrunken, 115659 rescored, 2226 rebiased
10000.07/10003.00 c 50 simplifications, 21 reductions
10000.07/10003.00 c
10000.07/10003.00 c vars: 19 fixed, 9 equiv, 770 elim, 10 merged
10000.07/10003.00 c elim: 87061 resolutions, 4 phases, 4 rounds
10000.07/10003.00 c sbst: 100% substituted, 0.0% nots, 92.1% ands, 7.9% xors, 0.0% ites
10000.07/10003.00 c arty: 2.02 and 2.00 xor average arity
10000.07/10003.00 c prbe: 164824 probed, 63 phases, 66 rounds
10000.07/10003.00 c prbe: 5 failed, 0 lifted, 0 merged
10000.07/10003.00 c sccs: 0 non trivial, 0 fixed, 0 merged
10000.07/10003.00 c hash: 0 units, 10 merged
10000.07/10003.00 c mins: 541938919 learned, 51% deleted, 1170 strong, 68 depth
10000.07/10003.00 c subs: 223 forward, 17 backward, 82 doms
10000.07/10003.00 c strs: 258 forward, 3 backward
10000.07/10003.00 c doms: 166 dominators, 43 high, 1 low
10000.07/10003.00 c prps: 2765604567 propagations, 0.28 megaprops
10000.07/10003.00 c
10000.07/10003.00 c 10000.1 seconds, 69 MB max, 2319 MB recycled
10000.07/10003.00 c
10000.07/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.07/10003.00 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773051-1241193806/watcher-1773051-1241193806 -o /tmp/evaluation-result-1773051-1241193806/solver-1773051-1241193806 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773051-1241193806.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.85 0.97 0.92 2/65 28471
/proc/meminfo: memFree=1724528/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=1336 CPUtime=0
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 147413722 1368064 222 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 334 223 64 155 0 177 0
[startup+0.075093 s]
/proc/loadavg: 0.85 0.97 0.92 2/65 28471
/proc/meminfo: memFree=1724528/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=1884 CPUtime=0.07
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 394 0 0 0 7 0 0 0 18 0 1 0 147413722 1929216 378 1992294400 134512640 135151029 4294956240 18446744073709551615 134562314 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 471 378 79 155 0 314 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1884
[startup+0.101095 s]
/proc/loadavg: 0.85 0.97 0.92 2/65 28471
/proc/meminfo: memFree=1724528/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=1884 CPUtime=0.09
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 394 0 0 0 9 0 0 0 18 0 1 0 147413722 1929216 378 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 471 378 79 155 0 314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1884
[startup+0.301118 s]
/proc/loadavg: 0.85 0.97 0.92 2/65 28471
/proc/meminfo: memFree=1724528/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=1884 CPUtime=0.29
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 394 0 0 0 29 0 0 0 19 0 1 0 147413722 1929216 378 1992294400 134512640 135151029 4294956240 18446744073709551615 134553852 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 471 378 79 155 0 314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1884
[startup+0.701163 s]
/proc/loadavg: 0.85 0.97 0.92 2/65 28471
/proc/meminfo: memFree=1724528/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=2544 CPUtime=0.69
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 564 0 0 0 69 0 0 0 22 0 1 0 147413722 2605056 548 1992294400 134512640 135151029 4294956240 18446744073709551615 134551331 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 636 548 79 155 0 479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2544
[startup+1.50125 s]
/proc/loadavg: 0.85 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1722536/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=3068 CPUtime=1.49
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 682 0 0 0 149 0 0 0 25 0 1 0 147413722 3141632 666 1992294400 134512640 135151029 4294956240 18446744073709551615 134530797 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 767 666 79 155 0 610 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3068
[startup+3.10244 s]
/proc/loadavg: 0.85 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1721960/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=3728 CPUtime=3.09
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 853 0 0 0 309 0 0 0 25 0 1 0 147413722 3817472 837 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 932 837 79 155 0 775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3728
[startup+6.3018 s]
/proc/loadavg: 0.86 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1721136/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=4256 CPUtime=6.29
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 998 0 0 0 629 0 0 0 25 0 1 0 147413722 4358144 982 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 1064 982 79 155 0 907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4256
[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1719472/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=5792 CPUtime=12.69
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 1375 0 0 0 1269 0 0 0 25 0 1 0 147413722 5931008 1359 1992294400 134512640 135151029 4294956240 18446744073709551615 134574193 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 1448 1359 79 155 0 1291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5792
[startup+25.502 s]
/proc/loadavg: 0.90 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1717680/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=7548 CPUtime=25.49
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 1784 0 0 0 2548 1 0 0 25 0 1 0 147413722 7729152 1768 1992294400 134512640 135151029 4294956240 18446744073709551615 134551388 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 1887 1768 79 155 0 1730 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7548
[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1712624/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=12572 CPUtime=51.08
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 3037 0 0 0 5106 2 0 0 25 0 1 0 147413722 12873728 3021 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 3143 3021 79 155 0 2986 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12572
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1711536/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=13500 CPUtime=102.26
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 3299 0 0 0 10224 2 0 0 25 0 1 0 147413722 13824000 3283 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 3375 3283 79 155 0 3218 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13500
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1710128/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=15296 CPUtime=162.24
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 3668 0 0 0 16221 3 0 0 25 0 1 0 147413722 15663104 3652 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 3824 3652 79 155 0 3667 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 15296
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1704176/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=222.22
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5110 0 0 0 22218 4 0 0 25 0 1 0 147413722 21553152 5094 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5094 79 155 0 5105 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21048
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1704112/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=282.21
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5116 0 0 0 28216 5 0 0 25 0 1 0 147413722 21553152 5100 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5100 79 155 0 5105 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21048
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1704048/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=342.19
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5143 0 0 0 34214 5 0 0 25 0 1 0 147413722 21553152 5127 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5127 79 155 0 5105 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21048
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1703984/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=402.17
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5152 0 0 0 40211 6 0 0 25 0 1 0 147413722 21553152 5136 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5136 79 155 0 5105 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 21048
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1703984/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=462.15
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5159 0 0 0 46209 6 0 0 25 0 1 0 147413722 21553152 5143 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5143 79 155 0 5105 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 21048
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1703856/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=21048 CPUtime=522.13
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 5168 0 0 0 52207 6 0 0 25 0 1 0 147413722 21553152 5152 1992294400 134512640 135151029 4294956240 18446744073709551615 134520403 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 5262 5152 79 155 0 5105 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 21048
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1699184/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=25776 CPUtime=582.12
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 6359 0 0 0 58204 8 0 0 25 0 1 0 147413722 26394624 6287 1992294400 134512640 135151029 4294956240 18446744073709551615 134578140 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 6444 6287 79 155 0 6287 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 25776
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 28472
/proc/meminfo: memFree=1699184/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=25776 CPUtime=642.11
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 6370 0 0 0 64203 8 0 0 25 0 1 0 147413722 26394624 6298 1992294400 134512640 135151029 4294956240 18446744073709551615 134554558 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 6444 6298 79 155 0 6287 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 25776
[startup+702.302 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1648560/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=75176 CPUtime=9039.65
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 22714 0 0 0 903910 55 0 0 25 0 1 0 147413722 76980224 18497 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18794 18497 79 155 0 18637 0
Current children cumulated CPU time (s) 9039.65
Current children cumulated vsize (KiB) 75176
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1648176/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=75624 CPUtime=9099.63
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 22808 0 0 0 909908 55 0 0 25 0 1 0 147413722 77438976 18591 1992294400 134512640 135151029 4294956240 18446744073709551615 134554517 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18906 18591 79 155 0 18749 0
Current children cumulated CPU time (s) 9099.63
Current children cumulated vsize (KiB) 75624
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1647920/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=75880 CPUtime=9159.61
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 22887 0 0 0 915906 55 0 0 25 0 1 0 147413722 77701120 18670 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18970 18670 79 155 0 18813 0
Current children cumulated CPU time (s) 9159.61
Current children cumulated vsize (KiB) 75880
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1647280/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=76652 CPUtime=9219.6
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23032 0 0 0 921905 55 0 0 25 0 1 0 147413722 78491648 18815 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19163 18815 79 155 0 19006 0
Current children cumulated CPU time (s) 9219.6
Current children cumulated vsize (KiB) 76652
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1646896/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=77292 CPUtime=9279.57
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23136 0 0 0 927902 55 0 0 25 0 1 0 147413722 79147008 18919 1992294400 134512640 135151029 4294956240 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19323 18919 79 155 0 19166 0
Current children cumulated CPU time (s) 9279.57
Current children cumulated vsize (KiB) 77292
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28488
/proc/meminfo: memFree=1646256/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=78192 CPUtime=9339.56
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23277 0 0 0 933900 56 0 0 25 0 1 0 147413722 80068608 19060 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19548 19060 79 155 0 19391 0
Current children cumulated CPU time (s) 9339.56
Current children cumulated vsize (KiB) 78192
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1646064/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=78448 CPUtime=9399.54
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23327 0 0 0 939898 56 0 0 25 0 1 0 147413722 80330752 19110 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19612 19110 79 155 0 19455 0
Current children cumulated CPU time (s) 9399.54
Current children cumulated vsize (KiB) 78448
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1645744/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=78964 CPUtime=9459.53
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23417 0 0 0 945896 57 0 0 25 0 1 0 147413722 80859136 19200 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19741 19200 79 155 0 19584 0
Current children cumulated CPU time (s) 9459.53
Current children cumulated vsize (KiB) 78964
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1645552/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=79348 CPUtime=9519.51
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23458 0 0 0 951894 57 0 0 25 0 1 0 147413722 81252352 19241 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19837 19241 79 155 0 19680 0
Current children cumulated CPU time (s) 9519.51
Current children cumulated vsize (KiB) 79348
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1645168/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=79864 CPUtime=9579.49
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23553 0 0 0 957892 57 0 0 25 0 1 0 147413722 81780736 19336 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 19966 19336 79 155 0 19809 0
Current children cumulated CPU time (s) 9579.49
Current children cumulated vsize (KiB) 79864
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1645040/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=80120 CPUtime=9639.48
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23590 0 0 0 963891 57 0 0 25 0 1 0 147413722 82042880 19373 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 20030 19373 79 155 0 19873 0
Current children cumulated CPU time (s) 9639.48
Current children cumulated vsize (KiB) 80120
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1644784/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=80376 CPUtime=9699.46
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23649 0 0 0 969889 57 0 0 25 0 1 0 147413722 82305024 19432 1992294400 134512640 135151029 4294956240 18446744073709551615 134580469 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 20094 19432 79 155 0 19937 0
Current children cumulated CPU time (s) 9699.46
Current children cumulated vsize (KiB) 80376
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1644464/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=80632 CPUtime=9759.44
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23714 0 0 0 975887 57 0 0 25 0 1 0 147413722 82567168 19497 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 20158 19497 79 155 0 20001 0
Current children cumulated CPU time (s) 9759.44
Current children cumulated vsize (KiB) 80632
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1649264/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=73512 CPUtime=9819.42
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23793 0 0 0 981885 57 0 0 25 0 1 0 147413722 75276288 18251 1992294400 134512640 135151029 4294956240 18446744073709551615 134554922 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18378 18251 79 155 0 18221 0
Current children cumulated CPU time (s) 9819.42
Current children cumulated vsize (KiB) 73512
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1649264/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=73512 CPUtime=9879.41
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23793 0 0 0 987883 58 0 0 25 0 1 0 147413722 75276288 18251 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18378 18251 79 155 0 18221 0
Current children cumulated CPU time (s) 9879.41
Current children cumulated vsize (KiB) 73512
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1649264/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=73512 CPUtime=9939.39
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23793 0 0 0 993881 58 0 0 25 0 1 0 147413722 75276288 18251 1992294400 134512640 135151029 4294956240 18446744073709551615 134574619 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18378 18251 79 155 0 18221 0
Current children cumulated CPU time (s) 9939.39
Current children cumulated vsize (KiB) 73512
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1649264/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=73512 CPUtime=9999.37
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23794 0 0 0 999879 58 0 0 25 0 1 0 147413722 75276288 18252 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18378 18252 79 155 0 18221 0
Current children cumulated CPU time (s) 9999.37
Current children cumulated vsize (KiB) 73512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28490
/proc/meminfo: memFree=1649264/2055920 swapFree=4178560/4192956
[pid=28471] ppid=28469 vsize=73512 CPUtime=10000.1
/proc/28471/stat : 28471 (precosat) R 28469 28471 28434 0 -1 4194304 23794 0 0 0 999949 58 0 0 25 0 1 0 147413722 75276288 18252 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28471/statm: 18378 18252 79 155 0 18221 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 73512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9999.5
CPU system time (s): 0.599908
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 81148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.5
system time used= 0.599908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23794
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= 12886
runsolver used 11.5982 second user time and 23.7544 second system time
The end
Begin job on node32 at 2009-05-01 18:03:26
IDJOB=1773051
IDBENCH=20470
IDSOLVER=607
FILE ID=node32/1773051-1241193806
PBS_JOBID= 9224642
Free space on /tmp= 66408 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773051-1241193806/watcher-1773051-1241193806 -o /tmp/evaluation-result-1773051-1241193806/solver-1773051-1241193806 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773051-1241193806.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8ca1246723b65c8e0ae1eddb535ce13f
RANDOM SEED=666550736
node32.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.216
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.216
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: 1725200 kB
Buffers: 56476 kB
Cached: 191260 kB
SwapCached: 7332 kB
Active: 23480 kB
Inactive: 232828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725200 kB
SwapTotal: 4192956 kB
SwapFree: 4178560 kB
Dirty: 1004 kB
Writeback: 0 kB
Mapped: 14100 kB
Slab: 60132 kB
Committed_AS: 683208 kB
PageTables: 1488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66404 MiB
End job on node32 at 2009-05-01 20:50:11