Trace number 3365559

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver:precosat 236UNSAT 3636.04 3635.95

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark380.915
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

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-3365559-1305315248.cnf
0.00/0.00	c found header 'p cnf 154309 3230738'
2.49/2.56	c finished parsing
2.49/2.56	c
2.49/2.56	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.49/2.56	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.49/2.56	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.49/2.56	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.49/2.56	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.49/2.56	c --random=1 --spread=2000 --seed=0 --skip=25
2.49/2.56	c
2.49/2.56	c sizeof     vars[0] = 16   alignment = 0       2 MB
2.49/2.56	c sizeof     orgs[0] =  8   alignment = 0       1 MB
2.49/2.56	c sizeof     occs[0] =  8   alignment = 0       1 MB
2.49/2.56	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
2.49/2.56	c
2.49/2.56	c starting search after 2.6 seconds
2.49/2.56	c no decision limit
2.59/2.64	c
2.59/2.64	c       original/binary      fixed     eliminated      learned       agility
2.59/2.64	c   seconds        variables     equivalent    conflicts       height       MB
2.59/2.64	c
2.59/2.64	c *    2.6  3230737  154308      1     0      0       0      0    0.0   0  208
39.99/40.08	c s   40.1  3140995  133979   3032     2  17296       0      0    0.0   0  210
39.99/40.08	c l   40.1  3140995  133979   3032     2  17296       0 1279478    0.0   0  210
40.09/40.14	c R   40.1  3141488  133979   3032     2  17296     100     99  216.3   1  212
40.19/40.26	c R   40.3  3142242  133979   3032     2  17296     201    200 3596.5   2  217
40.79/40.84	c R   40.8  3150725  133535   3475     3  17296     806    801 3564.7   1  219
41.09/41.16	c B   41.2  3152812  133180   3830     3  17296    1001    996 3389.0   1  220
41.81/41.84	c B   41.8  3158856  132826   4182     5  17296    2001   1995 3163.6   2  222
41.99/42.01	c R   42.0  3159362  132826   4182     5  17296    2410   2403 3176.0   3  222
44.09/44.14	c R   44.1  3189821  130326   6513   174  17296    6417   6401 2874.7   1  228
44.59/44.66	c B   44.7  3196209  130293   6513   207  17296    8002   7986 2804.8   8  229
47.89/47.99	c R   48.0  3233816  129914   6844   255  17296   16041  15995 2645.5   2  235
52.59/52.61	c B   52.6  3272869  129628   7080   305  17296   24007  23927 2576.9   2  239
70.69/70.79	c s   70.8  2946783  116451  18067   318  19473   37418  36215 2437.0   1  212
70.69/70.79	c -   70.8  2946783  116451  18067   318  19473   37418 1266684 2437.0   1  212
82.50/82.57	c B   82.6  2972857  116386  18117   333  19473   64022  62768 2427.6   3  231
87.49/87.57	c R   87.6  3001699  116371  18120   345  19473   75934  74678 2480.2   1  237
103.00/103.02	c s  103.0  3028571  116289  18149   393  19478   94821  91783 2423.4   0  234
130.59/130.62	c s  130.6  2803813  101422  32945   451  19491  136608 132648 2333.6   0  235
130.59/130.62	c
130.59/130.62	c       original/binary      fixed     eliminated      learned       agility
130.59/130.62	c   seconds        variables     equivalent    conflicts       height       MB
130.59/130.62	c
130.59/130.62	c -  130.6  2803813  101422  32945   451  19491  136608 1254018 2333.6   0  235
142.49/142.50	c B  142.5  2872367  101337  33017   464  19491  160041 156046 2347.7   5  259
163.50/163.51	c s  163.5  2926733  101033  33297   480  19499  190199 185135 2347.3   1  259
183.10/183.19	c R  183.2  2963331  100862  33441   507  19499  226331 221217 2318.8   3  288
287.00/287.11	c s  287.1  2955836   99286  33550   509  20964  251599 246096 2290.8   2  287
346.90/346.90	c s  346.9  2971339   98102  34507   721  20979  294966 289338 2268.6   0  306
415.10/415.16	c s  415.2  2988535   97044  35343   940  20982  346374 340173 2230.1   6  341
434.60/434.61	c B  434.6  3010333   96213  35845  1269  20982  384095 377872 2232.1   1  370
802.61/802.66	c s  802.7  2964997   94145  36478  1298  22388  412392 405864 2230.0   0  362
813.81/813.86	c R  813.9  2981807   93438  37046  1437  22388  436960 430423 2217.8   2  386
866.21/866.25	c s  866.3  2991844   93198  37259  1462  22390  487454 480569 2190.9   1  400
919.81/919.80	c s  919.8  2942069   91382  38395  2122  22410  543449 522025 2175.7   0  404
1065.22/1065.21	c s 1065.2  2923715   87886  39227  2617  24579  612800 591057 2145.5   6  450
1121.32/1121.35	c s 1121.4  2817128   82629  43103  3529  25048  665143 643001 2143.7   1  451
1190.12/1190.20	c s 1190.2  2808733   80432  44477  4349  25051  725435 702505 2135.3   1  449
1327.92/1327.94	c s 1328.0  2838405   79016  45392  4847  25054  796378 771748 2109.9   1  474
1408.93/1409.01	c s 1409.0  2876820   77551  46413  5287  25058  879994 854829 2105.8   2  505
1421.43/1421.45	c B 1421.5  2890419   77223  46578  5450  25058  896176 871009 2107.5   3  531
1476.72/1476.71	c s 1476.8  2903883   75730  47352  6169  25058  976916 951246 2090.9   3  540
1551.73/1551.78	c
1551.73/1551.78	c       original/binary      fixed     eliminated      learned       agility
1551.73/1551.78	c   seconds        variables     equivalent    conflicts       height       MB
1551.73/1551.78	c
1551.73/1551.78	c s 1551.8  2892389   72083  49312  7229  25685 1056471 1030726 2076.1   1  570
1644.55/1644.54	c s 1644.6  2875852   69991  51211  7422  25685 1139689 1113395 2048.6   1  597
1737.83/1737.91	c + 1738.0  2886376   69680  51492  7452  25685 1254018 1379419 2027.4   2  690
1771.14/1771.15	c s 1771.2  2800270   69658  51496  7469  25686 1279948 1252445 2018.3   1  644
1900.24/1900.21	c s 1900.3  2781446   69412  51669  7542  25686 1437038 1379787 1979.1   4  682
2019.66/2019.63	c + 2019.7  2787531   69275  51766  7582  25686 1567520 1517360 1952.4   1  737
2056.14/2056.11	c s 2056.2  2760177   69263  51777  7583  25686 1590959 1399675 1946.5   1  681
2216.45/2216.48	c s 2216.5  2768312   69212  51812  7599  25686 1744441 1517590 1916.4   1  720
2374.96/2374.96	c s 2375.0  2777181   69175  51831  7617  25686 1898734 1517189 1888.1   2  707
2417.64/2417.64	c + 2417.7  2784554   69172  51831  7620  25686 1959400 1669096 1872.5   2  739
2435.35/2435.37	c R 2435.4  2786513   69172  51831  7620  25686 1989904 1548144 1865.1   1  746
2470.34/2470.34	c B 2470.4  2791796   69167  51832  7624  25686 2048345 1606584 1852.3   1  766
2497.65/2497.66	c s 2497.7  2747521   68195  51837  7627  26650 2073567 1570728 1846.9   0  690
2625.45/2625.42	c s 2625.5  2767557   68118  51892  7633  26666 2253047 1669083 1816.3   1  701
2820.76/2820.78	c s 2820.8  2779944   68004  51958  7657  26690 2428687 1666533 1778.5   1  689
2844.26/2844.21	c + 2844.3  2781193   67990  51972  7657  26690 2449250 1836005 1774.4   1  732
2941.96/2941.94	c R 2942.0  2790439   67931  52031  7657  26690 2553710 1773728 1756.8   2  781
3015.66/3015.64	c s 3015.7  2784979   67835  52116  7664  26694 2621601 1829890 1744.2   1  730
3211.07/3211.05	c s 3211.1  2635153   65042  53958  8268  27041 2812674 1260569 1710.0   4  518
3211.07/3211.05	c
3211.07/3211.05	c       original/binary      fixed     eliminated      learned       agility
3211.07/3211.05	c   seconds        variables     equivalent    conflicts       height       MB
3211.07/3211.05	c
3211.07/3211.05	c - 3211.1  2635153   65042  53958  8268  27041 2812674 1817645 1710.0   4  518
3355.17/3355.10	c s 3355.2  2493096   63736  55075  8435  27063 2963070 1402614 1684.8   3  540
3422.57/3422.51	c + 3422.6  2509577   62713  55768  8765  27063 3030945 1999409 1674.3   2  605
3508.17/3508.16	c s 3508.2  2531099   62071  56110  9009  27119 3121117 942638 1660.6   1  410
3594.78/3594.77	c s 3594.9  2547457   61659  56158  9369  27123 3253056 932506 1643.4   2  400
3635.88/3635.87	c s 3636.0  1889212   42956  67424 12699  31230 3313681  42267 1634.1   1  135
3635.88/3635.87	c - 3636.0  1889212   42956  67424 12699  31230 3313681 1899439 1634.1   1  135
3635.98/3635.91	c 0 3636.0  1889399   39247  71133 12699  31230 3313726  42304 1634.1   1  136
3635.98/3635.91	c
3635.98/3635.91	s UNSATISFIABLE
3635.98/3635.91	c
3635.98/3635.91	c 3313726 conflicts, 84599132 decisions, 42517 random
3635.98/3635.91	c 31 iterations, 7806 restarts, 0 skipped
3635.98/3635.91	c 5 enlarged, 2211 shrunken, 32352 rescored, 765 rebiased
3635.98/3635.91	c 33 simplifications, 0 reductions
3635.98/3635.91	c
3635.98/3635.91	c vars: 71133 fixed, 12699 equiv, 31230 elim, 13469 merged
3635.98/3635.91	c elim: 20149706 resolutions, 33 phases, 1 rounds
3635.98/3635.91	c sbst: 91% substituted, 4.3% nots, 90.1% ands, 0.0% xors, 5.6% ites
3635.98/3635.91	c arty: 11.58 and 0.00 xor average arity
3635.98/3635.91	c prbe: 358119 probed, 3407 phases, 2 rounds
3635.98/3635.91	c prbe: 14783 failed, 13257 lifted, 232 merged
3635.98/3635.91	c sccs: 167 non trivial, 2 fixed, 266 merged
3635.98/3635.91	c hash: 338 units, 12971 merged
3635.98/3635.91	c mins: 221877129 learned, 47% deleted, 48 strong, 106 depth
3635.98/3635.91	c subs: 12830 forward, 9795 backward, 598433 doms
3635.98/3635.91	c strs: 71572 forward, 852458 backward
3635.98/3635.91	c doms: 620646 dominators, 579511 high, 3250 low
3635.98/3635.91	c prps: 4613369018 propagations, 1.27 megaprops
3635.98/3635.91	c
3635.98/3635.91	c 3636.0 seconds, 805 MB max, 1180 MB recycled

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365559-1305315248/watcher-3365559-1305315248 -o /tmp/evaluation-result-3365559-1305315248/solver-3365559-1305315248 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365559-1305315248.cnf 

running on 4 cores: 1,3,5,7

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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/410 2723
/proc/meminfo: memFree=6343196/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=7164 CPUtime=0 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 1473 0 0 0 0 0 0 0 21 0 1 0 721755786 7335936 1431 33554432000 134512640 135151029 4290140608 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2723/statm: 1791 1432 60 156 0 1634 0

[startup+0.0653449 s]
/proc/loadavg: 0.08 0.02 0.01 2/410 2723
/proc/meminfo: memFree=6343196/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=20872 CPUtime=0.06 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 5135 0 0 0 6 0 0 0 21 0 1 0 721755786 21372928 4995 33554432000 134512640 135151029 4290140608 18446744073709551615 134572600 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 5218 4995 64 156 0 5061 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20872

[startup+0.100338 s]
/proc/loadavg: 0.08 0.02 0.01 2/410 2723
/proc/meminfo: memFree=6343196/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=23848 CPUtime=0.09 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 5983 0 0 0 9 0 0 0 21 0 1 0 721755786 24420352 5714 33554432000 134512640 135151029 4290140608 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 5962 5715 64 156 0 5805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23848

[startup+0.300301 s]
/proc/loadavg: 0.08 0.02 0.01 2/410 2723
/proc/meminfo: memFree=6343196/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=42132 CPUtime=0.29 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 11301 0 0 0 28 1 0 0 22 0 1 0 721755786 43143168 10262 33554432000 134512640 135151029 4290140608 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 10533 10263 64 156 0 10376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42132

[startup+0.700234 s]
/proc/loadavg: 0.08 0.02 0.01 2/410 2723
/proc/meminfo: memFree=6343196/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=74812 CPUtime=0.69 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 20436 0 0 0 66 3 0 0 23 0 1 0 721755786 76607488 18372 33554432000 134512640 135151029 4290140608 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 18703 18373 64 156 0 18546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74812

[startup+1.50109 s]
/proc/loadavg: 0.08 0.02 0.01 3/411 2724
/proc/meminfo: memFree=6205584/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=135512 CPUtime=1.49 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 37262 0 0 0 143 6 0 0 25 0 1 0 721755786 138764288 33149 33554432000 134512640 135151029 4290140608 18446744073709551615 134570712 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 33878 33149 64 156 0 33721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135512

[startup+3.10088 s]
/proc/loadavg: 0.08 0.02 0.01 3/411 2724
/proc/meminfo: memFree=6078148/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=227768 CPUtime=3.09 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 64882 0 0 0 297 12 0 0 25 0 1 0 721755786 233234432 55811 33554432000 134512640 135151029 4290140608 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 56942 55811 80 156 0 56785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227768

[startup+6.30025 s]
/proc/loadavg: 0.23 0.05 0.02 3/411 2724
/proc/meminfo: memFree=5807696/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=321668 CPUtime=6.29 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 99756 0 0 0 613 16 0 0 25 0 1 0 721755786 329388032 79157 33554432000 134512640 135151029 4290140608 18446744073709551615 134575498 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 80417 79157 80 156 0 80260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 321668

[startup+12.7001 s]
/proc/loadavg: 0.45 0.10 0.03 3/414 2730
/proc/meminfo: memFree=5352620/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=328448 CPUtime=12.69 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 101402 0 0 0 1253 16 0 0 25 0 1 0 721755786 336330752 80803 33554432000 134512640 135151029 4290140608 18446744073709551615 134548557 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 82112 80803 80 156 0 81955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328448

[startup+25.5009 s]
/proc/loadavg: 0.80 0.19 0.06 3/414 2730
/proc/meminfo: memFree=4832812/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=328604 CPUtime=25.49 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 101419 0 0 0 2533 16 0 0 25 0 1 0 721755786 336490496 80820 33554432000 134512640 135151029 4290140608 18446744073709551615 134548047 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 82151 80820 80 156 0 81994 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 328604

[startup+51.1004 s]
/proc/loadavg: 1.21 0.33 0.11 3/414 2731
/proc/meminfo: memFree=4418068/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=321364 CPUtime=51.09 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 108810 0 0 0 5092 17 0 0 25 0 1 0 721755786 329076736 79230 33554432000 134512640 135151029 4290140608 18446744073709551615 134554734 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 80341 79230 80 156 0 80184 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 321364

[startup+102.315 s]
/proc/loadavg: 1.65 0.59 0.21 3/414 2732
/proc/meminfo: memFree=4414316/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=320128 CPUtime=102.31 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 150158 0 0 0 10209 22 0 0 25 0 1 0 721755786 327811072 79420 33554432000 134512640 135151029 4290140608 18446744073709551615 134680174 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 80032 79420 80 156 0 79875 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 320128

[startup+162.301 s]
/proc/loadavg: 1.87 0.84 0.32 3/414 2734
/proc/meminfo: memFree=4382536/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=331976 CPUtime=162.29 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 196061 0 0 0 16201 28 0 0 25 0 1 0 721755786 339943424 82297 33554432000 134512640 135151029 4290140608 18446744073709551615 134521538 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 82994 82297 80 156 0 82837 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 331976

[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.42 3/414 2735
/proc/meminfo: memFree=4423216/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=381928 CPUtime=222.29 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 223006 0 0 0 22198 31 0 0 25 0 1 0 721755786 391094272 94772 33554432000 134512640 135151029 4290140608 18446744073709551615 134575498 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 95482 94772 80 156 0 95325 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 381928

[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.52 3/414 2739
/proc/meminfo: memFree=4416888/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=387836 CPUtime=282.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 224246 0 0 0 28198 32 0 0 25 0 1 0 721755786 397144064 96012 33554432000 134512640 135151029 4290140608 18446744073709551615 134548072 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 96959 96012 80 156 0 96802 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 387836

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.61 3/411 2748
/proc/meminfo: memFree=5692516/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=400728 CPUtime=342.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 240107 0 0 0 34196 34 0 0 25 0 1 0 721755786 410345472 99280 33554432000 134512640 135151029 4290140608 18446744073709551615 134575498 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 100182 99280 80 156 0 100025 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 400728

[startup+402.301 s]
/proc/loadavg: 2.23 1.55 0.72 3/414 2805
/proc/meminfo: memFree=5673788/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=446256 CPUtime=402.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 265786 0 0 0 40193 37 0 0 25 0 1 0 721755786 456966144 110619 33554432000 134512640 135151029 4290140608 18446744073709551615 134573879 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 111564 110619 80 156 0 111407 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 446256

[startup+462.3 s]
/proc/loadavg: 2.17 1.66 0.80 3/414 2807
/proc/meminfo: memFree=5547968/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=468324 CPUtime=462.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 284372 0 0 0 46190 40 0 0 25 0 1 0 721755786 479563776 116310 33554432000 134512640 135151029 4290140608 18446744073709551615 134548557 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 117081 116310 80 156 0 116924 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 468324

[startup+522.301 s]
/proc/loadavg: 2.06 1.72 0.88 3/414 2808
/proc/meminfo: memFree=5397656/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=478940 CPUtime=522.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 286911 0 0 0 52190 40 0 0 25 0 1 0 721755786 490434560 118849 33554432000 134512640 135151029 4290140608 18446744073709551615 134575448 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 119735 118849 80 156 0 119578 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 478940

[startup+582.3 s]
/proc/loadavg: 2.02 1.77 0.94 3/414 2810
/proc/meminfo: memFree=5334144/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=478940 CPUtime=582.3 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 286911 0 0 0 58190 40 0 0 25 0 1 0 721755786 490434560 118849 33554432000 134512640 135151029 4290140608 18446744073709551615 134575720 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 119735 118849 80 156 0 119578 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 478940

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=4904868/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=838040 CPUtime=3042.36 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 728335 0 0 0 304125 111 0 0 25 0 1 0 721755786 858152960 207593 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 209510 207593 80 156 0 209353 0
Current children cumulated CPU time (s) 3042.36
Current children cumulated vsize (KiB) 838040

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/414 2924
/proc/meminfo: memFree=4796064/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=848828 CPUtime=3102.36 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 730310 0 0 0 310124 112 0 0 25 0 1 0 721755786 869199872 209568 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 212207 209568 80 156 0 212050 0
Current children cumulated CPU time (s) 3102.36
Current children cumulated vsize (KiB) 848828

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/414 2926
/proc/meminfo: memFree=4789468/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=862136 CPUtime=3162.36 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 732040 0 0 0 316123 113 0 0 25 0 1 0 721755786 882827264 211298 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 215534 211298 80 156 0 215377 0
Current children cumulated CPU time (s) 3162.36
Current children cumulated vsize (KiB) 862136

[startup+3222.3 s]
/proc/loadavg: 2.12 2.03 1.92 4/414 2927
/proc/meminfo: memFree=4795756/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=835936 CPUtime=3222.36 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 755045 0 0 0 322120 116 0 0 25 0 1 0 721755786 855998464 207269 33554432000 134512640 135151029 4290140608 18446744073709551615 134574563 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 208984 207269 80 156 0 208827 0
Current children cumulated CPU time (s) 3222.36
Current children cumulated vsize (KiB) 835936

[startup+3282.3 s]
/proc/loadavg: 2.09 2.04 1.93 3/414 2931
/proc/meminfo: memFree=4781844/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=844156 CPUtime=3282.37 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 756565 0 0 0 328120 117 0 0 25 0 1 0 721755786 864415744 208789 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 211039 208789 80 156 0 210882 0
Current children cumulated CPU time (s) 3282.37
Current children cumulated vsize (KiB) 844156

[startup+3342.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/414 2933
/proc/meminfo: memFree=4786924/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=847748 CPUtime=3342.37 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 757151 0 0 0 334120 117 0 0 25 0 1 0 721755786 868093952 209375 33554432000 134512640 135151029 4290140608 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 211937 209375 80 156 0 211780 0
Current children cumulated CPU time (s) 3342.37
Current children cumulated vsize (KiB) 847748

[startup+3402.32 s]
/proc/loadavg: 2.12 2.05 1.94 3/414 2934
/proc/meminfo: memFree=4784900/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=847748 CPUtime=3402.38 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 781370 0 0 0 340118 120 0 0 25 0 1 0 721755786 868093952 209490 33554432000 134512640 135151029 4290140608 18446744073709551615 134542642 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 211937 209490 80 156 0 211780 0
Current children cumulated CPU time (s) 3402.38
Current children cumulated vsize (KiB) 847748

[startup+3462.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/414 2936
/proc/meminfo: memFree=4782132/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=850828 CPUtime=3462.37 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 782069 0 0 0 346117 120 0 0 25 0 1 0 721755786 871247872 210189 33554432000 134512640 135151029 4290140608 18446744073709551615 134574555 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 212707 210189 80 156 0 212550 0
Current children cumulated CPU time (s) 3462.37
Current children cumulated vsize (KiB) 850828

[startup+3522.3 s]
/proc/loadavg: 2.01 2.03 1.94 3/414 2937
/proc/meminfo: memFree=4763992/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=826692 CPUtime=3522.37 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 802660 0 0 0 352114 123 0 0 25 0 1 0 721755786 846532608 205948 33554432000 134512640 135151029 4290140608 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 206673 205948 80 156 0 206516 0
Current children cumulated CPU time (s) 3522.37
Current children cumulated vsize (KiB) 826692

[startup+3582.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2939
/proc/meminfo: memFree=4744992/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=833880 CPUtime=3582.38 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 803927 0 0 0 358114 124 0 0 25 0 1 0 721755786 853893120 207215 33554432000 134512640 135151029 4290140608 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 208470 207215 80 156 0 208313 0
Current children cumulated CPU time (s) 3582.38
Current children cumulated vsize (KiB) 833880

Solver just ended. Dumping a history of the last processes samples

[startup+3583.9 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2939
/proc/meminfo: memFree=4744744/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=834904 CPUtime=3583.98 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 803981 0 0 0 358274 124 0 0 25 0 1 0 721755786 854941696 207269 33554432000 134512640 135151029 4290140608 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 208726 207269 80 156 0 208569 0
Current children cumulated CPU time (s) 3583.98
Current children cumulated vsize (KiB) 834904

[startup+3609.5 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4756384/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=829772 CPUtime=3609.58 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 825358 0 0 0 360832 126 0 0 25 0 1 0 721755786 849686528 206432 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 207443 206432 80 156 0 207286 0
Current children cumulated CPU time (s) 3609.58
Current children cumulated vsize (KiB) 829772

[startup+3622.32 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4754268/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=832848 CPUtime=3622.39 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 825880 0 0 0 362113 126 0 0 25 0 1 0 721755786 852836352 206954 33554432000 134512640 135151029 4290140608 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 208212 206954 80 156 0 208055 0
Current children cumulated CPU time (s) 3622.39
Current children cumulated vsize (KiB) 832848

[startup+3628.7 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4756124/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=832848 CPUtime=3628.77 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 825920 0 0 0 362751 126 0 0 25 0 1 0 721755786 852836352 206994 33554432000 134512640 135151029 4290140608 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 208212 206994 80 156 0 208055 0
Current children cumulated CPU time (s) 3628.77
Current children cumulated vsize (KiB) 832848

[startup+3631.9 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4756120/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=807636 CPUtime=3631.97 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 826528 0 0 0 363071 126 0 0 25 0 1 0 721755786 827019264 201344 33554432000 134512640 135151029 4290140608 18446744073709551615 134677465 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 201909 201344 80 156 0 201752 0
Current children cumulated CPU time (s) 3631.97
Current children cumulated vsize (KiB) 807636

[startup+3633.5 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4769140/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=816564 CPUtime=3633.57 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 832350 0 0 0 363230 127 0 0 25 0 1 0 721755786 836161536 203579 33554432000 134512640 135151029 4290140608 18446744073709551615 134519011 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 204141 203579 80 156 0 203984 0
Current children cumulated CPU time (s) 3633.57
Current children cumulated vsize (KiB) 816564

[startup+3635.1 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2940
/proc/meminfo: memFree=4768888/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=816564 CPUtime=3635.17 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 832428 0 0 0 363390 127 0 0 25 0 1 0 721755786 836161536 203657 33554432000 134512640 135151029 4290140608 18446744073709551615 134575216 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 204141 203657 80 156 0 203984 0
Current children cumulated CPU time (s) 3635.17
Current children cumulated vsize (KiB) 816564

[startup+3635.52 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2941
/proc/meminfo: memFree=4777444/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=807636 CPUtime=3635.59 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 832428 0 0 0 363432 127 0 0 25 0 1 0 721755786 827019264 201425 33554432000 134512640 135151029 4290140608 18446744073709551615 134516157 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 201909 201425 80 156 0 201752 0
Current children cumulated CPU time (s) 3635.59
Current children cumulated vsize (KiB) 807636

[startup+3635.9 s]
/proc/loadavg: 2.00 2.02 1.94 3/414 2941
/proc/meminfo: memFree=4777444/32950940 swapFree=67111356/67111528
[pid=2723] ppid=2721 vsize=811736 CPUtime=3635.98 cores=1,3,5,7
/proc/2723/stat : 2723 (precosat) R 2721 2723 2690 0 -1 4202496 833453 0 0 0 363470 128 0 0 25 0 1 0 721755786 831217664 202450 33554432000 134512640 135151029 4290140608 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/2723/statm: 202934 202450 80 156 0 202777 0
Current children cumulated CPU time (s) 3635.98
Current children cumulated vsize (KiB) 811736

Child status: 20
Real time (s): 3635.95
CPU time (s): 3636.04
CPU user time (s): 3634.72
CPU system time (s): 1.3118
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 870440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3634.72
system time used= 1.3118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833454
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= 5
involuntary context switches= 4927

runsolver used 14.2778 second user time and 35.0737 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-13 21:34:10
IDJOB=3365559
IDBENCH=69571
IDSOLVER=1843
FILE ID=node117/3365559-1305315248
RUNJOBID= node117-1305315246-2709
PBS_JOBID= 13324315
Free space on /tmp= 37600 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365559-1305315248/watcher-3365559-1305315248 -o /tmp/evaluation-result-3365559-1305315248/solver-3365559-1305315248 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365559-1305315248.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=729255872

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       6343468 kB
Buffers:        255420 kB
Cached:       17797804 kB
SwapCached:          0 kB
Active:       13995292 kB
Inactive:     11940220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       6343468 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:          163604 kB
Writeback:           0 kB
AnonPages:     7882000 kB
Mapped:          31564 kB
Slab:           560896 kB
PageTables:      44308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100412056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 37672 MiB
End job on node117 at 2011-05-13 22:34:46