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-1783822-1241889641.cnf
0.00/0.00 c found header 'p cnf 2211 14710'
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.02 c
0.00/0.02 c original/binary fixed eliminated learned agility
0.00/0.02 c seconds variables equivalent conflicts height MB
0.00/0.02 c
0.00/0.02 c * 0.0 14710 2097 0 114 0 0 0 0.0 0 1
0.09/0.11 c s 0.1 14341 1833 14 121 243 0 0 0.0 0 1
0.09/0.11 c l 0.1 14341 1833 14 121 243 0 3511 0.0 0 1
0.09/0.13 c R 0.1 14359 1833 14 121 243 102 102 136.6 9 1
0.09/0.14 c R 0.1 14372 1833 14 121 243 203 202 101.3 10 1
0.19/0.21 c R 0.2 14389 1833 14 121 243 805 803 68.1 10 1
0.19/0.23 c B 0.2 14391 1833 14 121 243 1000 998 66.4 10 1
0.29/0.35 c B 0.4 14445 1833 14 121 243 2000 1993 55.2 10 2
0.29/0.37 c s 0.4 14445 1833 14 121 243 2076 2068 54.0 11 2
0.39/0.41 c R 0.4 14447 1833 14 121 243 2410 2401 52.1 10 2
0.49/0.57 c + 0.6 14461 1833 14 121 243 3512 3862 52.3 11 2
0.69/0.70 c s 0.7 14636 1833 14 121 243 4140 3872 51.1 9 2
0.69/0.74 c + 0.7 14636 1833 14 121 243 4392 4248 51.1 12 2
0.89/0.91 c + 0.9 14636 1833 14 121 243 5491 4672 48.9 11 2
1.00/1.06 c R 1.1 14638 1833 14 121 243 6419 4722 48.3 12 2
1.00/1.09 c s 1.1 14639 1833 14 121 243 6537 4684 47.9 10 2
1.10/1.14 c + 1.1 14640 1833 14 121 243 6860 5139 47.4 10 2
1.29/1.33 c B 1.3 14640 1833 14 121 243 8002 5158 49.4 11 2
1.39/1.44 c + 1.4 14651 1833 14 121 243 8575 5652 49.4 10 2
1.49/1.51 c
1.49/1.51 c original/binary fixed eliminated learned agility
1.49/1.51 c seconds variables equivalent conflicts height MB
1.49/1.51 c
1.49/1.51 c s 1.5 14651 1833 14 121 243 8903 5493 49.1 12 2
1.79/1.81 c + 1.8 14652 1833 14 121 243 10715 6217 48.6 12 2
1.89/1.94 c s 1.9 14654 1833 14 121 243 11282 6248 48.0 10 2
2.19/2.28 c + 2.3 14654 1833 14 121 243 13390 6838 47.4 10 3
2.39/2.41 c s 2.4 14655 1833 14 121 243 13982 6823 47.2 9 2
2.69/2.79 c R 2.8 14658 1833 14 121 243 16040 6868 45.6 11 3
2.79/2.89 c s 2.9 14658 1833 14 121 243 16466 6863 45.1 11 2
2.89/2.93 c + 2.9 14658 1833 14 121 243 16737 7521 45.1 12 2
3.69/3.70 c + 3.7 14658 1833 14 121 243 20920 8273 44.1 12 3
3.69/3.75 c s 3.7 14659 1833 14 121 243 21038 7679 44.1 11 3
4.19/4.25 c s 4.3 14664 1833 14 121 243 23621 8309 43.6 10 3
4.29/4.33 c B 4.3 14664 1833 14 121 243 24009 8289 43.7 10 3
4.69/4.74 c + 4.7 14673 1833 14 121 243 26150 9100 44.1 12 3
4.69/4.79 c s 4.8 14673 1833 14 121 243 26317 8474 44.1 10 3
5.89/5.95 c s 5.9 14675 1833 14 121 243 32077 9173 45.0 12 3
5.99/6.06 c + 6.1 14675 1833 14 121 243 32685 10010 44.9 13 3
7.09/7.19 c R 7.2 14675 1833 14 121 243 38483 10031 44.5 12 4
7.59/7.65 c + 7.6 14675 1833 14 121 243 40856 11011 43.7 12 4
9.28/9.30 c s 9.3 14676 1833 14 121 243 48100 11060 42.9 13 3
9.89/9.92 c
9.89/9.92 c original/binary fixed eliminated learned agility
9.89/9.92 c seconds variables equivalent conflicts height MB
9.89/9.92 c
9.89/9.92 c + 9.9 14676 1833 14 121 243 51072 12112 42.6 12 4
9.98/10.03 c s 10.0 14680 1833 14 121 243 51312 11296 42.7 12 3
10.68/10.72 c s 10.7 14681 1833 14 121 243 54331 12149 42.5 11 3
12.19/12.20 c s 12.2 14684 1833 14 121 243 60944 12156 42.7 11 3
12.79/12.83 c + 12.8 14684 1833 14 121 243 63842 13323 42.4 10 4
12.79/12.88 c B 12.9 14684 1833 14 121 243 64019 12330 42.4 11 4
14.39/14.46 c s 14.5 14688 1833 14 121 243 70561 13359 42.2 10 4
15.19/15.22 c s 15.2 14691 1833 14 121 243 73690 13358 42.0 10 3
15.89/15.99 c s 16.0 14693 1833 14 121 243 76960 13378 42.1 10 3
16.59/16.61 c + 16.6 14693 1833 14 121 243 79803 14655 42.2 13 4
18.89/18.93 c R 18.9 14693 1833 14 121 243 89787 14694 41.3 11 5
20.79/20.85 c s 20.8 14694 1833 14 121 243 97765 14712 40.8 11 4
21.29/21.30 c + 21.3 14695 1833 14 121 243 99750 16120 40.5 11 4
21.59/21.70 c s 21.7 14695 1833 14 121 243 101250 16151 40.3 12 4
23.19/23.26 c s 23.3 14698 1833 14 121 243 107208 16186 40.2 11 4
24.79/24.90 c s 24.9 14702 1833 14 121 243 113836 16177 40.5 11 4
27.49/27.59 c + 27.6 14702 1833 14 121 243 124686 17732 39.7 11 5
28.59/28.64 c s 28.6 14705 1833 14 121 243 128264 17788 39.6 12 4
31.98/32.07 c s 32.1 14709 1833 14 121 243 141082 17797 39.4 12 4
33.78/33.89 c
33.78/33.89 c original/binary fixed eliminated learned agility
33.78/33.89 c seconds variables equivalent conflicts height MB
33.78/33.89 c
33.78/33.89 c s 33.9 14710 1833 14 121 243 147981 17760 39.8 10 5
35.98/36.02 c + 36.0 14710 1833 14 121 243 155855 19505 39.9 12 6
36.29/36.34 c s 36.3 14712 1833 14 121 243 156700 18613 39.9 12 5
37.29/37.31 c B 37.3 14712 1833 14 121 243 160049 19537 39.9 10 6
41.88/41.94 c s 41.9 14713 1833 14 121 243 176044 19550 39.8 12 5
47.08/47.17 c + 47.2 14713 1833 14 121 243 194816 21455 39.3 13 6
47.98/48.09 c s 48.1 14714 1833 14 121 243 198207 21493 39.4 12 5
49.18/49.27 c s 49.3 14719 1833 14 121 243 202834 21528 39.1 12 6
49.98/50.00 c R 50.0 14719 1833 14 121 243 205155 21521 39.1 11 6
50.48/50.55 c s 50.5 14720 1833 14 121 243 206930 21498 39.1 11 6
57.27/57.39 c s 57.4 14721 1833 14 121 243 230021 26701 38.5 12 7
58.87/58.94 c s 58.9 14725 1833 14 121 243 234631 21514 38.6 10 6
60.67/60.70 c s 60.7 14726 1833 14 121 243 240227 21490 38.5 10 5
61.58/61.70 c + 61.7 14727 1833 14 121 243 243520 23600 38.5 11 6
61.87/61.99 c s 62.0 14727 1833 14 121 243 244291 22276 38.5 11 5
72.87/72.98 c s 73.0 14729 1833 14 121 243 278891 23650 38.7 10 6
78.77/78.80 c s 78.8 14730 1833 14 121 243 297508 23648 38.7 12 6
81.07/81.11 c + 81.1 14730 1833 14 121 243 304400 25960 38.7 13 7
96.36/96.41 c s 96.4 14731 1833 14 121 243 350517 25986 38.0 12 6
106.26/106.31 c
106.26/106.31 c original/binary fixed eliminated learned agility
106.26/106.31 c seconds variables equivalent conflicts height MB
106.26/106.31 c
106.26/106.31 c + 106.3 14731 1833 14 121 243 380501 28556 38.2 10 8
107.46/107.58 c B 107.6 14731 1833 14 121 243 384090 28627 38.3 13 8
115.05/115.16 c s 115.1 14732 1833 14 121 243 404959 28610 38.1 10 6
116.95/117.04 c s 117.0 14733 1833 14 121 243 409743 28573 38.1 10 6
136.26/136.33 c s 136.3 14734 1833 14 121 243 461397 22661 38.0 11 5
136.26/136.40 c R 136.4 14734 1833 14 121 243 461600 22864 38.0 11 6
137.55/137.64 c s 137.6 14743 1833 14 121 243 465726 26989 38.0 11 6
139.25/139.30 c s 139.3 14746 1833 14 121 243 470574 28632 38.0 11 6
140.85/140.93 c + 140.9 14746 1833 14 121 243 475627 31411 37.9 11 7
176.94/177.09 c s 177.0 14747 1833 14 121 243 570151 31463 37.8 11 7
179.93/180.00 c s 179.9 14748 1833 14 121 243 577698 31433 37.8 11 7
181.93/182.06 c s 182.0 14749 1833 14 121 243 582899 31435 37.8 11 7
185.93/186.01 c s 186.0 14751 1833 14 121 243 593018 31481 37.8 11 7
186.43/186.56 c + 186.5 14751 1833 14 121 243 594532 34552 37.8 11 8
227.12/227.20 c s 227.1 14754 1833 14 121 243 695626 34585 37.7 11 7
234.92/235.00 c s 234.9 14755 1833 14 121 243 717300 34672 37.5 12 8
237.12/237.27 c s 237.2 14756 1833 14 121 243 722776 34594 37.6 10 8
240.92/241.06 c s 241.0 14757 1833 14 121 243 733045 34637 37.5 14 8
243.12/243.20 c s 243.1 14758 1833 14 121 243 738703 34639 37.5 12 8
244.82/244.99 c
244.82/244.99 c original/binary fixed eliminated learned agility
244.82/244.99 c seconds variables equivalent conflicts height MB
244.82/244.99 c
244.82/244.99 c + 244.9 14758 1833 14 121 243 743165 38007 37.5 11 9
245.42/245.57 c s 245.5 14759 1833 14 121 243 744075 35549 37.5 10 8
311.00/311.15 c B 311.1 14759 1833 14 121 243 896218 38072 37.6 12 12
325.50/325.69 c + 325.6 14759 1833 14 121 243 928957 41807 37.7 11 12
371.59/371.71 c R 371.6 14759 1833 14 121 243 1025678 41905 37.9 11 15
436.76/436.98 c + 436.9 14759 1833 14 121 243 1161195 45987 36.7 12 13
470.35/470.59 c s 470.5 14760 1833 14 121 243 1230698 46040 36.7 11 10
579.32/579.52 c + 579.4 14760 1833 14 121 243 1451490 50585 36.7 11 14
585.22/585.49 c s 585.3 14762 1833 14 121 243 1461552 50636 36.7 10 11
674.99/675.25 c s 675.1 14763 1833 14 121 243 1639647 49633 36.4 11 14
679.39/679.64 c s 679.4 14765 1833 14 121 243 1646646 50638 36.4 12 14
770.66/770.92 c + 770.7 14765 1833 14 121 243 1814362 55643 36.6 12 15
778.85/779.12 c s 778.9 14766 1833 14 121 243 1828214 55671 36.6 12 12
899.02/899.30 c s 899.0 14767 1833 14 121 243 2031457 55685 37.1 11 12
909.72/910.06 c B 909.8 14767 1833 14 121 243 2048456 55690 37.1 10 14
1036.18/1036.57 c R 1036.3 14767 1833 14 121 243 2256258 55456 37.2 11 14
1043.48/1043.90 c + 1043.6 14767 1833 14 121 243 2267950 61207 37.2 11 15
1193.73/1194.11 c s 1193.8 14768 1833 14 121 243 2499559 61247 37.0 11 15
1198.83/1199.22 c s 1198.9 14769 1833 14 121 243 2508226 61270 37.0 11 14
1204.93/1205.31 c
1204.93/1205.31 c original/binary fixed eliminated learned agility
1204.93/1205.31 c seconds variables equivalent conflicts height MB
1204.93/1205.31 c
1204.93/1205.31 c s 1204.9 14771 1833 14 121 243 2516533 61268 37.0 11 14
1278.00/1278.41 c s 1278.0 14772 1833 14 121 243 2634216 61227 36.8 9 13
1398.87/1399.36 c + 1398.9 14772 1833 14 121 243 2834937 67327 36.8 11 17
1867.23/1867.88 c + 1867.3 14772 1833 14 121 243 3543670 74059 36.6 12 19
2291.81/2292.53 c s 2291.8 14776 1833 14 121 243 4127791 74103 36.4 11 16
2520.63/2521.45 c + 2520.7 14776 1833 14 121 243 4429588 81464 36.7 12 22
2664.39/2665.24 c B 2664.4 14776 1833 14 121 243 4608920 81529 36.7 10 25
2928.11/2929.09 c R 2928.2 14776 1833 14 121 243 4922223 91375 37.0 12 27
3242.11/3243.15 c s 3242.2 14777 1833 14 121 243 5279019 81494 36.9 11 19
3444.75/3445.83 c + 3444.8 14777 1833 14 121 243 5536985 89610 36.9 11 25
3445.25/3446.34 c s 3445.3 14778 1833 14 121 243 5537036 81567 36.9 10 18
3710.37/3711.59 c s 3710.5 14779 1833 14 121 243 5853964 89675 36.8 10 21
4348.08/4349.43 c s 4348.1 14780 1833 14 121 243 6571977 89678 36.6 11 19
4533.32/4534.71 c s 4533.4 14781 1833 14 121 243 6779459 89696 36.6 12 19
4657.99/4659.49 c + 4658.1 14781 1833 14 121 243 6921231 98571 36.5 13 24
5000.09/5001.61 c
5000.09/5001.61 c *** CAUGHT SIGNAL 15 ***
5000.09/5001.61 c
5000.09/5001.61 c 7283960 conflicts, 10023788 decisions, 403 random
5000.09/5001.61 c 0 iterations, 12023 restarts, 0 skipped
5000.09/5001.61 c 35 enlarged, 75 shrunken, 71268 rescored, 1533 rebiased
5000.09/5001.61 c 69 simplifications, 12 reductions
5000.09/5001.61 c
5000.09/5001.61 c vars: 14 fixed, 121 equiv, 243 elim, 121 merged
5000.09/5001.61 c elim: 46403 resolutions, 1 phases, 1 rounds
5000.09/5001.61 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.09/5001.61 c arty: 2.55 and 0.00 xor average arity
5000.09/5001.61 c prbe: 4862117 probed, 1325 phases, 1326 rounds
5000.09/5001.61 c prbe: 10 failed, 4 lifted, 2 merged
5000.09/5001.61 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.09/5001.61 c hash: 0 units, 119 merged
5000.09/5001.61 c mins: 364120078 learned, 35% deleted, 414 strong, 38 depth
5000.09/5001.61 c subs: 42 forward, 7 backward, 29 doms
5000.09/5001.61 c strs: 17 forward, 0 backward
5000.09/5001.61 c doms: 46 dominators, 29 high, 0 low
5000.09/5001.61 c prps: 2654740270 propagations, 0.53 megaprops
5000.09/5001.61 c
5000.09/5001.61 c 5000.1 seconds, 45 MB max, 1539 MB recycled
5000.09/5001.61 c
5000.09/5001.61 c *** CAUGHT SIGNAL 15 ***
5000.09/5001.61 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783822-1241889641/watcher-1783822-1241889641 -o /tmp/evaluation-result-1783822-1241889641/solver-1783822-1241889641 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783822-1241889641.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 1073
/proc/meminfo: memFree=1819640/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=1188 CPUtime=0
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 216992537 1216512 175 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 297 175 64 155 0 140 0
[startup+0.062818 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1073
/proc/meminfo: memFree=1819640/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=2188 CPUtime=0.05
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 529 0 0 0 5 0 0 0 18 0 1 0 216992537 2240512 452 1992294400 134512640 135151029 4294956240 18446744073709551615 134688678 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 547 452 79 155 0 390 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2188
[startup+0.102823 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1073
/proc/meminfo: memFree=1819640/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=2652 CPUtime=0.09
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 216992537 2715648 554 1992294400 134512640 135151029 4294956240 18446744073709551615 134526222 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 663 554 79 155 0 506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2652
[startup+0.302852 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1073
/proc/meminfo: memFree=1819640/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=2652 CPUtime=0.29
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 631 0 0 0 29 0 0 0 19 0 1 0 216992537 2715648 554 1992294400 134512640 135151029 4294956240 18446744073709551615 134581700 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 663 554 79 155 0 506 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2652
[startup+0.70191 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1073
/proc/meminfo: memFree=1819640/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=3276 CPUtime=0.69
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 784 0 0 0 69 0 0 0 22 0 1 0 216992537 3354624 707 1992294400 134512640 135151029 4294956240 18446744073709551615 134579924 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 819 707 79 155 0 662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3276
[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1817072/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=3548 CPUtime=1.49
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 864 0 0 0 149 0 0 0 25 0 1 0 216992537 3633152 787 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 887 787 79 155 0 730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3548
[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1816432/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=3832 CPUtime=3.09
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 947 0 0 0 309 0 0 0 25 0 1 0 216992537 3923968 870 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 958 870 79 155 0 801 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3832
[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1815728/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=4736 CPUtime=6.29
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 1149 0 0 0 629 0 0 0 25 0 1 0 216992537 4849664 1072 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 1184 1072 79 155 0 1027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4736
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1814192/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=5820 CPUtime=12.69
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 1420 0 0 0 1268 1 0 0 25 0 1 0 216992537 5959680 1343 1992294400 134512640 135151029 4294956240 18446744073709551615 134574155 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 1455 1343 79 155 0 1298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5820
[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1813616/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=6408 CPUtime=25.49
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 1567 0 0 0 2548 1 0 0 25 0 1 0 216992537 6561792 1490 1992294400 134512640 135151029 4294956240 18446744073709551615 134531018 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 1602 1490 79 155 0 1445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6408
[startup+51.1023 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1812144/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=7900 CPUtime=51.08
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 1993 0 0 0 5107 1 0 0 25 0 1 0 216992537 8089600 1863 1992294400 134512640 135151029 4294956240 18446744073709551615 134551595 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 1975 1863 79 155 0 1818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7900
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1810096/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=9584 CPUtime=102.26
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 2468 0 0 0 10225 1 0 0 25 0 1 0 216992537 9814016 2316 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 2396 2316 79 155 0 2239 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9584
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1805232/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=14504 CPUtime=162.24
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 3693 0 0 0 16221 3 0 0 25 0 1 0 216992537 14852096 3537 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 3626 3537 79 155 0 3469 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14504
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1805168/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=14444 CPUtime=222.22
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 3709 0 0 0 22219 3 0 0 25 0 1 0 216992537 14790656 3527 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 3611 3527 79 155 0 3454 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 14444
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1805168/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=14444 CPUtime=282.21
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 3709 0 0 0 28217 4 0 0 25 0 1 0 216992537 14790656 3527 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 3611 3527 79 155 0 3454 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 14444
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1803888/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=15804 CPUtime=342.18
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 4017 0 0 0 34214 4 0 0 25 0 1 0 216992537 16183296 3835 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 3951 3835 79 155 0 3794 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 15804
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1797616/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=22124 CPUtime=402.17
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 5578 0 0 0 40211 6 0 0 25 0 1 0 216992537 22654976 5396 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 5531 5396 79 155 0 5374 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22124
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1797552/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=22124 CPUtime=462.15
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 5583 0 0 0 46209 6 0 0 25 0 1 0 216992537 22654976 5401 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 5531 5401 79 155 0 5374 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 22124
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1797488/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=22124 CPUtime=522.13
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 5585 0 0 0 52207 6 0 0 25 0 1 0 216992537 22654976 5403 1992294400 134512640 135151029 4294956240 18446744073709551615 134554517 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 5531 5403 79 155 0 5374 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 22124
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1797424/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=22124 CPUtime=582.12
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 5586 0 0 0 58206 6 0 0 25 0 1 0 216992537 22654976 5404 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 5531 5404 79 155 0 5374 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 22124
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1074
/proc/meminfo: memFree=1797360/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=22124 CPUtime=642.1
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 5591 0 0 0 64204 6 0 0 25 0 1 0 216992537 22654976 5409 1992294400 134512640 135151029 4294956240 18446744073709551615 134574586 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 5531 5409 79 155 0 5374 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 22124
[startup+702.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770224/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4001.08
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12021 0 0 0 400089 19 0 0 25 0 1 0 216992537 48754688 11729 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11729 79 155 0 11746 0
Current children cumulated CPU time (s) 4001.08
Current children cumulated vsize (KiB) 47612
[startup+4062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770224/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4061.07
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12021 0 0 0 406088 19 0 0 25 0 1 0 216992537 48754688 11729 1992294400 134512640 135151029 4294956240 18446744073709551615 134580612 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11729 79 155 0 11746 0
Current children cumulated CPU time (s) 4061.07
Current children cumulated vsize (KiB) 47612
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770160/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4121.05
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12021 0 0 0 412086 19 0 0 25 0 1 0 216992537 48754688 11729 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11729 79 155 0 11746 0
Current children cumulated CPU time (s) 4121.05
Current children cumulated vsize (KiB) 47612
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770160/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4181.03
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12021 0 0 0 418084 19 0 0 25 0 1 0 216992537 48754688 11729 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11729 79 155 0 11746 0
Current children cumulated CPU time (s) 4181.03
Current children cumulated vsize (KiB) 47612
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770096/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4241.01
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 424082 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134574644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4241.01
Current children cumulated vsize (KiB) 47612
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770160/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4300.99
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 430080 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4300.99
Current children cumulated vsize (KiB) 47612
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770096/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4360.98
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 436079 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4360.98
Current children cumulated vsize (KiB) 47612
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770032/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4420.96
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 442077 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4420.96
Current children cumulated vsize (KiB) 47612
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1770032/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4480.94
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 448075 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4480.94
Current children cumulated vsize (KiB) 47612
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1769968/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4540.92
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 454073 19 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4540.92
Current children cumulated vsize (KiB) 47612
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1769904/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4600.91
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 460071 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134555088 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4600.91
Current children cumulated vsize (KiB) 47612
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1769968/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4660.89
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 466069 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4660.89
Current children cumulated vsize (KiB) 47612
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1083
/proc/meminfo: memFree=1769904/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4720.88
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 472068 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4720.88
Current children cumulated vsize (KiB) 47612
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1085
/proc/meminfo: memFree=1769648/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4780.85
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 478065 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4780.85
Current children cumulated vsize (KiB) 47612
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1085
/proc/meminfo: memFree=1769712/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4840.83
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 484063 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4840.83
Current children cumulated vsize (KiB) 47612
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1085
/proc/meminfo: memFree=1769712/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4900.81
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 490061 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4900.81
Current children cumulated vsize (KiB) 47612
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1085
/proc/meminfo: memFree=1769776/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=4960.79
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 496059 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 4960.79
Current children cumulated vsize (KiB) 47612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1085
/proc/meminfo: memFree=1769776/2055920 swapFree=4145892/4192956
[pid=1073] ppid=1071 vsize=47612 CPUtime=5000.09
/proc/1073/stat : 1073 (precosat) R 1071 1073 994 0 -1 4194304 12025 0 0 0 499989 20 0 0 25 0 1 0 216992537 48754688 11733 1992294400 134512640 135151029 4294956240 18446744073709551615 134581521 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1073/statm: 11903 11733 79 155 0 11746 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 47612
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): 5001.62
CPU time (s): 5000.11
CPU user time (s): 4999.89
CPU system time (s): 0.214967
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 47612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.89
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12025
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= 6870
runsolver used 3.9324 second user time and 11.0423 second system time
The end
Begin job on node39 at 2009-05-09 19:20:41
IDJOB=1783822
IDBENCH=24697
IDSOLVER=607
FILE ID=node39/1783822-1241889641
PBS_JOBID= 9264695
Free space on /tmp= 66344 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest03/others/bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783822-1241889641/watcher-1783822-1241889641 -o /tmp/evaluation-result-1783822-1241889641/solver-1783822-1241889641 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783822-1241889641.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cf535bf919bca60e7bcea01358de0b4c
RANDOM SEED=1838751720
node39.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.281
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.281
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: 1820056 kB
Buffers: 39908 kB
Cached: 91340 kB
SwapCached: 41064 kB
Active: 84716 kB
Inactive: 90012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1820056 kB
SwapTotal: 4192956 kB
SwapFree: 4145892 kB
Dirty: 916 kB
Writeback: 0 kB
Mapped: 14540 kB
Slab: 47168 kB
Committed_AS: 808128 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66344 MiB
End job on node39 at 2009-05-09 20:44:05