Trace number 3365639

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 2663.29 2663.21

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1428.89
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-3365639-1307645385.cnf
0.00/0.00	c found header 'p cnf 258781 1372095'
1.29/1.31	c finished parsing
1.29/1.31	c
1.29/1.31	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.29/1.31	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.29/1.31	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.29/1.31	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.29/1.31	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.29/1.31	c --random=1 --spread=2000 --seed=0 --skip=25
1.29/1.31	c
1.29/1.31	c sizeof     vars[0] = 16   alignment = 0       4 MB
1.29/1.31	c sizeof     orgs[0] =  8   alignment = 0       2 MB
1.29/1.31	c sizeof     occs[0] =  8   alignment = 0       2 MB
1.29/1.31	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
1.29/1.31	c
1.29/1.31	c starting search after 1.3 seconds
1.29/1.31	c no decision limit
1.29/1.34	c
1.29/1.34	c       original/binary      fixed     eliminated      learned       agility
1.29/1.34	c   seconds        variables     equivalent    conflicts       height       MB
1.29/1.34	c
1.29/1.34	c *    1.3  1358076  243914  13149  1718      0       0      0    0.0   0  102
6.60/6.61	c s    6.6  1027676  130855  56883  2140  68903       0      0    0.0   0   92
6.60/6.61	c l    6.6  1027676  130855  56883  2140  68903       0 447288    0.0   0   92
6.69/6.70	c R    6.7  1032233  130855  56883  2140  68903     102    100  186.3   3   93
7.09/7.15	c R    7.2  1063763  129869  57855  2154  68903     445    426  219.9  12   96
7.79/7.83	c B    7.8  1109447  127044  60580  2254  68903    1000    956  272.0   0   99
10.09/10.17	c B   10.2  1411860  121614  65850  2414  68903    2000   1901  268.6   2  116
13.69/13.77	c s   13.8  1316576  118795  66971  2489  70526    2308   2001  294.6   5  108
13.69/13.77	c -   13.8  1316576  118795  66971  2489  70526    2308 407033  294.6   5  108
23.99/24.08	c s   24.1  1517313  107832  77262  2906  70781    6034   5445  329.0   0  129
23.99/24.08	c -   24.1  1517313  107832  77262  2906  70781    6034 362260  329.0   0  129
27.19/27.28	c B   27.3  1702857  105737  79198  3065  70781    8004   7365  349.9   3  141
42.70/42.73	c s   42.7  2135242   98713  83823  4453  71792   14649  13268  365.7   2  166
42.70/42.73	c -   42.7  2135242   98713  83823  4453  71792   14649 333280  365.7   2  166
42.80/42.82	c R   42.8  2135590   98713  83823  4453  71792   14813  13432  365.8   7  166
60.30/60.33	c B   60.3  2801323   95062  87110  4817  71792   24011  22405  398.4   0  228
69.99/70.01	c s   70.0  2753175   92117  88830  5781  72053   26461  23747  401.3   4  223
69.99/70.01	c -   70.0  2753175   92117  88830  5781  72053   26461 306618  401.3   4  223
107.00/107.07	c s  107.1  3790564   86710  92671  7154  72246   41672  32945  429.3   3  284
107.00/107.07	c
107.00/107.07	c       original/binary      fixed     eliminated      learned       agility
107.00/107.07	c   seconds        variables     equivalent    conflicts       height       MB
107.00/107.07	c
107.00/107.07	c -  107.1  3790564   86710  92671  7154  72246   41672 285155  429.3   3  284
109.20/109.23	c R  109.2  3854912   86585  92777  7173  72246   42642  33913  427.8   3  290
159.79/159.81	c s  159.8  4461550   80226  96926  8908  72721   61643  42859  430.6   1  327
159.79/159.81	c -  159.8  4461550   80226  96926  8908  72721   61643 250937  430.6   1  327
165.90/165.95	c B  166.0  4576470   79113  97957  8990  72721   64026  45227  431.1   8  370
222.80/222.84	c s  222.9  4632100   70683 103592 10563  73943   83497  41115  425.9   5  361
222.80/222.84	c -  222.9  4632100   70683 103592 10563  73943   83497 220825  425.9   5  361
291.90/291.96	c s  292.0  4844532   59526 109691 12398  77166  109073  43050  418.9   2  371
291.90/291.96	c -  292.0  4844532   59526 109691 12398  77166  109073 198743  418.9   2  371
310.70/310.74	c R  310.8  5244408   58790 110090 12735  77166  117864  51826  415.5   2  408
369.61/369.64	c s  369.7  5407215   58107 110356 12998  77320  142687  70229  405.3   1  435
403.00/403.01	c B  403.0  5675164   57218 111172 13071  77320  160053  87569  400.9   3  479
459.91/459.92	c s  459.9  5408959   56648 111696 13117  77320  182147 109175  394.6   0  492
459.91/459.92	c -  459.9  5408959   56648 111696 13117  77320  182147 178869  394.6   0  492
459.91/459.92	c +  459.9  5408959   56648 111696 13117  77320  182147 196755  394.6   0  492
561.51/561.52	c s  561.5  4454223   51647 112275 13691  81168  218606  36830  382.1  10  310
561.51/561.52	c -  561.5  4454223   51647 112275 13691  81168  218606 192820  382.1  10  310
569.21/569.27	c +  569.3  4500117   51572 112350 13691  81168  223127 212102  380.6   2  351
572.21/572.24	c R  572.3  4510883   51559 112363 13691  81168  224878  43095  380.2   7  355
633.71/633.80	c
633.71/633.80	c       original/binary      fixed     eliminated      learned       agility
633.71/633.80	c   seconds        variables     equivalent    conflicts       height       MB
633.71/633.80	c
633.71/633.80	c s  633.8  4536222   51316 112580 13701  81184  253074  71136  372.2   4  386
633.71/633.80	c -  633.8  4536222   51316 112580 13701  81184  253074 207860  372.2   4  386
674.22/674.24	c +  674.3  4599915   51035 112856 13706  81184  273327 228646  367.4   1  422
712.71/712.77	c s  712.8  4564038   50885 112975 13718  81203  286512 104449  363.6   3  430
712.71/712.77	c -  712.8  4564038   50885 112975 13718  81203  286512 224074  363.6   3  430
799.02/799.05	c s  799.1  4584120   50572 113272 13727  81210  318987 136798  355.4   3  473
799.02/799.05	c -  799.1  4584120   50572 113272 13727  81210  318987 221834  355.4   3  473
828.91/828.97	c +  829.0  4598488   50445 113398 13728  81210  331476 244017  352.5   2  496
886.92/886.99	c s  887.0  4521342   49933 113705 13736  81407  352846  90225  347.9   7  387
951.22/951.21	c B  951.2  4585819   49705 113925 13744  81407  384121 121489  341.0   3  431
962.52/962.56	c s  962.6  4524790   49443 113927 13831  81580  385197 121889  340.8   6  422
1028.72/1028.70	c + 1028.7  4594845   49401 113966 13834  81580  414347 268418  334.7   6  466
1043.32/1043.38	c s 1043.4  4549675   49299 113968 13834  81680  416559 151575  334.1   2  454
1129.12/1129.18	c s 1129.2  4586634   49035 113999 13958  81789  448502 181762  328.0   4  487
1184.33/1184.34	c R 1184.4  4605104   48910 114033 14049  81789  468880 202137  324.1   4  518
1227.23/1227.28	c s 1227.3  4556756   48723 114064 14069  81925  481350 170868  321.7   1  459
1319.83/1319.86	c s 1319.9  4517197   48486 114209 14073  82013  512515 199420  316.1   3  484
1333.63/1333.66	c + 1333.7  4521437   48471 114222 14075  82013  517930 295259  315.0   6  496
1414.04/1414.00	c s 1414.0  4524653   48383 114309 14076  82013  544269 231122  310.4   1  513
1513.84/1513.83	c
1513.84/1513.83	c       original/binary      fixed     eliminated      learned       agility
1513.84/1513.83	c   seconds        variables     equivalent    conflicts       height       MB
1513.84/1513.83	c
1513.84/1513.83	c s 1513.9  4579249   48354 114331 14076  82020  575572 251080  304.9   1  531
1612.34/1612.38	c s 1612.4  4628120   48294 114335 14077  82075  608934 227592  299.7   3  486
1704.34/1704.31	c s 1704.4  4642781   48262 114351 14081  82087  640442 253784  295.2   3  510
1724.64/1724.70	c + 1724.8  4646866   48256 114357 14081  82087  647412 324784  294.2   3  524
1809.25/1809.24	c s 1809.3  4654408   48238 114373 14082  82088  673757 287086  290.8   4  539
1918.24/1918.23	c s 1918.3  4655863   48198 114402 14086  82095  704880 276651  286.8   2  521
1929.65/1929.68	c R 1929.7  4656590   48197 114403 14086  82095  708958 280729  286.4   3  532
2021.65/2021.67	c s 2021.7  4646908   48113 114436 14086  82146  737253 216148  283.1   5  457
2119.66/2119.65	c s 2119.7  4626444   47970 114524 14091  82196  768848 245205  279.4   4  476
2215.96/2215.92	c s 2216.0  4617323   47856 114635 14093  82197  800323 275656  275.7   5  496
2215.96/2215.92	c - 2216.0  4617323   47856 114635 14093  82197  800323 321537  275.7   5  496
2218.36/2218.36	c + 2218.4  4621359   47851 114640 14093  82197  801173 353690  275.6   3  501
2313.06/2313.06	c s 2313.1  4612811   47726 114762 14093  82200  831248 306536  272.3   1  514
2313.06/2313.06	c - 2313.1  4612811   47726 114762 14093  82200  831248 350154  272.3   1  514
2412.46/2412.44	c s 2412.5  4571836   47481 114965 14093  82242  860623 287276  269.4   1  483
2412.46/2412.44	c - 2412.5  4571836   47481 114965 14093  82242  860623 343151  269.4   1  483
2506.17/2506.12	c s 2506.2  4517062   47247 115113 14093  82328  891048 317640  266.2   1  495
2520.77/2520.78	c B 2520.9  4517793   47245 115115 14093  82328  896274 322866  265.7   5  507
2601.07/2601.01	c s 2601.1  4514626   47235 115118 14095  82333  919325 342531  263.5   0  508
2663.08/2663.00	c
2663.08/2663.00	c       original/binary      fixed     eliminated      learned       agility
2663.08/2663.00	c   seconds        variables     equivalent    conflicts       height       MB
2663.08/2663.00	c
2663.08/2663.00	c s 2663.1  1435583   32585 127816 14119  84261  939451  10455  261.4   1  123
2663.08/2663.00	c - 2663.1  1435583   32585 127816 14119  84261  939451 192165  261.4   1  123
2663.08/2663.00	c + 2663.1  1435583   32585 127816 14119  84261  939451 211381  261.4   1  123
2663.18/2663.18	c 0 2663.3  1449693   19680 140719 14121  84261  939550  10548  261.4   4  124
2663.18/2663.18	c
2663.18/2663.18	s UNSATISFIABLE
2663.18/2663.18	c
2663.18/2663.18	c 939550 conflicts, 7994295 decisions, 3995 random
2663.18/2663.18	c 407 iterations, 3616 restarts, 0 skipped
2663.18/2663.18	c 9 enlarged, 42453 shrunken, 9189 rescored, 254 rebiased
2663.18/2663.18	c 35 simplifications, 0 reductions
2663.18/2663.18	c
2663.18/2663.18	c vars: 140719 fixed, 14121 equiv, 84261 elim, 16241 merged
2663.18/2663.18	c elim: 14726532 resolutions, 35 phases, 8 rounds
2663.18/2663.18	c sbst: 28% substituted, 28.9% nots, 71.1% ands, 0.0% xors, 0.0% ites
2663.18/2663.18	c arty: 2.20 and 0.00 xor average arity
2663.18/2663.18	c prbe: 539365 probed, 4965 phases, 5 rounds
2663.18/2663.18	c prbe: 8021 failed, 12675 lifted, 1992 merged
2663.18/2663.18	c sccs: 2935 non trivial, 0 fixed, 4151 merged
2663.18/2663.18	c hash: 847 units, 10098 merged
2663.18/2663.18	c mins: 227212066 learned, 43% deleted, 185 strong, 329 depth
2663.18/2663.18	c subs: 99970 forward, 148662 backward, 280931 doms
2663.18/2663.18	c strs: 58882 forward, 322 backward
2663.18/2663.18	c doms: 1105412 dominators, 448405 high, 2838 low
2663.18/2663.18	c prps: 5803210642 propagations, 2.18 megaprops
2663.18/2663.18	c
2663.18/2663.18	c 2663.3 seconds, 581 MB max, 1214 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: 977)

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-3365639-1307645385/watcher-3365639-1307645385 -o /tmp/evaluation-result-3365639-1307645385/solver-3365639-1307645385 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365639-1307645385.cnf 

running on 4 cores: 0,2,4,6

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: 1.93 2.00 1.99 3/174 3254
/proc/meminfo: memFree=32432312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=10984 CPUtime=0 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2212 0 0 0 0 0 0 0 24 0 1 0 876138969 11247616 2169 33554432000 134512640 135151029 4288509296 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3254/statm: 2746 2169 60 156 0 2589 0

[startup+0.0902999 s]
/proc/loadavg: 1.93 2.00 1.99 3/174 3254
/proc/meminfo: memFree=32432312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=29076 CPUtime=0.08 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 7384 0 0 0 8 0 0 0 24 0 1 0 876138969 29773824 7147 33554432000 134512640 135151029 4288509296 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 7269 7148 64 156 0 7112 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29076

[startup+0.10028 s]
/proc/loadavg: 1.93 2.00 1.99 3/174 3254
/proc/meminfo: memFree=32432312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=30132 CPUtime=0.09 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 7634 0 0 0 9 0 0 0 24 0 1 0 876138969 30855168 7397 33554432000 134512640 135151029 4288509296 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 7533 7398 64 156 0 7376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30132

[startup+0.30025 s]
/proc/loadavg: 1.93 2.00 1.99 3/174 3254
/proc/meminfo: memFree=32432312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=46140 CPUtime=0.29 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 12395 0 0 0 28 1 0 0 25 0 1 0 876138969 47247360 11388 33554432000 134512640 135151029 4288509296 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 11535 11389 64 156 0 11378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46140

[startup+0.701191 s]
/proc/loadavg: 1.93 2.00 1.99 3/174 3254
/proc/meminfo: memFree=32432312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=73732 CPUtime=0.69 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 20339 0 0 0 67 2 0 0 25 0 1 0 876138969 75501568 18307 33554432000 134512640 135151029 4288509296 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 18433 18308 64 156 0 18276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73732

[startup+1.50103 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 3255
/proc/meminfo: memFree=32336972/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=126668 CPUtime=1.49 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 33504 0 0 0 144 5 0 0 25 0 1 0 876138969 129708032 31471 33554432000 134512640 135151029 4288509296 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 31667 31471 80 156 0 31510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126668

[startup+3.10074 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 3255
/proc/meminfo: memFree=32285016/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=139984 CPUtime=3.09 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 48419 0 0 0 302 7 0 0 25 0 1 0 876138969 143343616 34790 33554432000 134512640 135151029 4288509296 18446744073709551615 134579043 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 34996 34790 80 156 0 34839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139984

[startup+6.30116 s]
/proc/loadavg: 1.94 2.00 1.99 3/175 3256
/proc/meminfo: memFree=32278804/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=139708 CPUtime=6.29 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 54963 0 0 0 621 8 0 0 25 0 1 0 876138969 143060992 34233 33554432000 134512640 135151029 4288509296 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 34927 34233 80 156 0 34770 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139708

[startup+12.701 s]
/proc/loadavg: 1.94 2.00 1.99 3/175 3256
/proc/meminfo: memFree=32280576/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=150304 CPUtime=12.69 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 66881 0 0 0 1259 10 0 0 25 0 1 0 876138969 153911296 36810 33554432000 134512640 135151029 4288509296 18446744073709551615 134519076 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 37576 36810 80 156 0 37419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150304

[startup+25.5007 s]
/proc/loadavg: 1.96 2.00 1.99 3/175 3256
/proc/meminfo: memFree=32265664/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=165240 CPUtime=25.49 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 100731 0 0 0 2535 14 0 0 25 0 1 0 876138969 169205760 40568 33554432000 134512640 135151029 4288509296 18446744073709551615 134542716 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 41310 40568 80 156 0 41153 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165240

[startup+51.101 s]
/proc/loadavg: 1.97 2.00 1.99 3/175 3257
/proc/meminfo: memFree=32214944/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=218020 CPUtime=51.09 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 135954 0 0 0 5089 20 0 0 25 0 1 0 876138969 223252480 53682 33554432000 134512640 135151029 4288509296 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 54505 53682 80 156 0 54348 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 218020

[startup+102.307 s]
/proc/loadavg: 1.98 2.00 1.99 3/175 3258
/proc/meminfo: memFree=32104128/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=331208 CPUtime=102.3 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 216672 0 0 0 10197 33 0 0 25 0 1 0 876138969 339156992 81625 33554432000 134512640 135151029 4288509296 18446744073709551615 134681566 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 82802 81625 80 156 0 82645 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 331208

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 3260
/proc/meminfo: memFree=31968992/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=431204 CPUtime=162.29 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 325147 0 0 0 16180 49 0 0 25 0 1 0 876138969 441552896 106828 33554432000 134512640 135151029 4288509296 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 107801 106828 80 156 0 107644 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 431204

[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 3261
/proc/meminfo: memFree=31815008/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=540608 CPUtime=222.29 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 423856 0 0 0 22166 63 0 0 25 0 1 0 876138969 553582592 134272 33554432000 134512640 135151029 4288509296 18446744073709551615 134572486 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 135152 134272 80 156 0 134995 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 540608

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3263
/proc/meminfo: memFree=31840868/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=516100 CPUtime=282.3 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 425955 0 0 0 28166 64 0 0 25 0 1 0 876138969 528486400 128178 33554432000 134512640 135151029 4288509296 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 129025 128178 80 156 0 128868 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 516100

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3265
/proc/meminfo: memFree=31831020/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=522164 CPUtime=342.3 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 497710 0 0 0 34156 74 0 0 25 0 1 0 876138969 534695936 129693 33554432000 134512640 135151029 4288509296 18446744073709551615 134554586 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 130541 129693 80 156 0 130384 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 522164

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 3266
/proc/meminfo: memFree=31810612/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=541828 CPUtime=402.3 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 572879 0 0 0 40146 84 0 0 25 0 1 0 876138969 554831872 134542 33554432000 134512640 135151029 4288509296 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 135457 134542 80 156 0 135300 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 541828

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3268
/proc/meminfo: memFree=31754720/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=598228 CPUtime=462.31 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 657099 0 0 0 46133 98 0 0 25 0 1 0 876138969 612585472 148442 33554432000 134512640 135151029 4288509296 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 149557 148442 80 156 0 149400 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 598228

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3269
/proc/meminfo: memFree=31730116/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=623416 CPUtime=522.31 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 663573 0 0 0 52131 100 0 0 25 0 1 0 876138969 638377984 154916 33554432000 134512640 135151029 4288509296 18446744073709551615 134555066 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 155854 154916 80 156 0 155697 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 623416

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3271
/proc/meminfo: memFree=31707980/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=644204 CPUtime=582.31 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 739205 0 0 0 58120 111 0 0 25 0 1 0 876138969 659664896 160137 33554432000 134512640 135151029 4288509296 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 161051 160137 80 156 0 160894 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 644204

[startup+642.301 s]

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

/proc/meminfo: memFree=31369776/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=657368 CPUtime=2082.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 1862610 0 0 0 207973 263 0 0 25 0 1 0 876138969 673144832 163640 33554432000 134512640 135151029 4288509296 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164342 163640 80 156 0 164185 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 657368

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3326
/proc/meminfo: memFree=31356312/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=657368 CPUtime=2142.35 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 1932603 0 0 0 213963 272 0 0 25 0 1 0 876138969 673144832 163651 33554432000 134512640 135151029 4288509296 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164342 163651 80 156 0 164185 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 657368

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3328
/proc/meminfo: memFree=31312228/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=657748 CPUtime=2202.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 1932650 0 0 0 219964 272 0 0 25 0 1 0 876138969 673533952 163698 33554432000 134512640 135151029 4288509296 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164437 163698 80 156 0 164280 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 657748

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3330
/proc/meminfo: memFree=31274072/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=657748 CPUtime=2262.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2002963 0 0 0 225955 281 0 0 25 0 1 0 876138969 673533952 163691 33554432000 134512640 135151029 4288509296 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164437 163691 80 156 0 164280 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 657748

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3331
/proc/meminfo: memFree=31235576/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=657492 CPUtime=2322.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2073348 0 0 0 231946 290 0 0 25 0 1 0 876138969 673271808 163602 33554432000 134512640 135151029 4288509296 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164373 163602 80 156 0 164216 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 657492

[startup+2382.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 3333
/proc/meminfo: memFree=31199448/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=660440 CPUtime=2382.37 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2073861 0 0 0 237946 291 0 0 25 0 1 0 876138969 676290560 164115 33554432000 134512640 135151029 4288509296 18446744073709551615 134542608 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 165110 164115 80 156 0 164953 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 660440

[startup+2442.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3335
/proc/meminfo: memFree=31168124/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=658644 CPUtime=2442.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2144503 0 0 0 243935 301 0 0 25 0 1 0 876138969 674451456 163769 33554432000 134512640 135151029 4288509296 18446744073709551615 134542713 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164661 163769 80 156 0 164504 0
Current children cumulated CPU time (s) 2442.36
Current children cumulated vsize (KiB) 658644

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3336
/proc/meminfo: memFree=31195692/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=591820 CPUtime=2502.36 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2182159 0 0 0 249930 306 0 0 25 0 1 0 876138969 606023680 147266 33554432000 134512640 135151029 4288509296 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 147955 147266 80 156 0 147798 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 591820

[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3338
/proc/meminfo: memFree=31123944/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659284 CPUtime=2562.37 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2214964 0 0 0 255927 310 0 0 25 0 1 0 876138969 675106816 163937 33554432000 134512640 135151029 4288509296 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164821 163937 80 156 0 164664 0
Current children cumulated CPU time (s) 2562.37
Current children cumulated vsize (KiB) 659284

[startup+2622.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 3339
/proc/meminfo: memFree=31122124/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659284 CPUtime=2622.37 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2285585 0 0 0 261917 320 0 0 25 0 1 0 876138969 675106816 163983 33554432000 134512640 135151029 4288509296 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164821 163983 80 156 0 164664 0
Current children cumulated CPU time (s) 2622.37
Current children cumulated vsize (KiB) 659284

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

[startup+2636.71 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31121992/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659284 CPUtime=2636.77 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2285597 0 0 0 263357 320 0 0 25 0 1 0 876138969 675106816 163995 33554432000 134512640 135151029 4288509296 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164821 163995 80 156 0 164664 0
Current children cumulated CPU time (s) 2636.77
Current children cumulated vsize (KiB) 659284

[startup+2649.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31121612/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659800 CPUtime=2649.57 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2285664 0 0 0 264637 320 0 0 25 0 1 0 876138969 675635200 164062 33554432000 134512640 135151029 4288509296 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164950 164062 80 156 0 164793 0
Current children cumulated CPU time (s) 2649.57
Current children cumulated vsize (KiB) 659800

[startup+2655.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31121724/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659800 CPUtime=2655.97 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2285666 0 0 0 265277 320 0 0 25 0 1 0 876138969 675635200 164064 33554432000 134512640 135151029 4288509296 18446744073709551615 134578161 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164950 164064 80 156 0 164793 0
Current children cumulated CPU time (s) 2655.97
Current children cumulated vsize (KiB) 659800

[startup+2659.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31121600/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=659800 CPUtime=2659.17 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2285668 0 0 0 265597 320 0 0 25 0 1 0 876138969 675635200 164066 33554432000 134512640 135151029 4288509296 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 164950 164066 80 156 0 164793 0
Current children cumulated CPU time (s) 2659.17
Current children cumulated vsize (KiB) 659800

[startup+2660.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31188796/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=593748 CPUtime=2660.77 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2287616 0 0 0 265756 321 0 0 25 0 1 0 876138969 607997952 147721 33554432000 134512640 135151029 4288509296 18446744073709551615 134578625 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 148437 147721 80 156 0 148280 0
Current children cumulated CPU time (s) 2660.77
Current children cumulated vsize (KiB) 593748

[startup+2662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31175776/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=593748 CPUtime=2662.37 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2298894 0 0 0 265914 323 0 0 25 0 1 0 876138969 607997952 147767 33554432000 134512640 135151029 4288509296 18446744073709551615 134578560 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 148437 147767 80 156 0 148280 0
Current children cumulated CPU time (s) 2662.37
Current children cumulated vsize (KiB) 593748

[startup+2662.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31175776/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=616280 CPUtime=2662.77 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2306065 0 0 0 265953 324 0 0 25 0 1 0 876138969 631070720 153400 33554432000 134512640 135151029 4288509296 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 154070 153400 80 156 0 153913 0
Current children cumulated CPU time (s) 2662.77
Current children cumulated vsize (KiB) 616280

[startup+2663.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31171932/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=608084 CPUtime=2663.18 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202496 2306065 0 0 0 265994 324 0 0 25 0 1 0 876138969 622678016 151351 33554432000 134512640 135151029 4288509296 18446744073709551615 134580839 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3254/statm: 152021 151351 80 156 0 151864 0
Current children cumulated CPU time (s) 2663.18
Current children cumulated vsize (KiB) 608084

[startup+2663.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3340
/proc/meminfo: memFree=31171932/32951124 swapFree=67060628/67111528
[pid=3254] ppid=3252 vsize=0 CPUtime=2663.27 cores=0,2,4,6
/proc/3254/stat : 3254 (precosat) R 3252 3254 787 0 -1 4202500 2306066 0 0 0 266002 325 0 0 25 0 1 0 876138969 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3254/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2663.27
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2663.21
CPU time (s): 2663.29
CPU user time (s): 2660.02
CPU system time (s): 3.2675
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 690140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2660.02
system time used= 3.2675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2306066
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= 4604

runsolver used 4.02139 second user time and 8.35773 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-09 20:49:46
IDJOB=3365639
IDBENCH=71036
IDSOLVER=1843
FILE ID=node106/3365639-1307645385
RUNJOBID= node106-1307645047-3128
PBS_JOBID= 13549385
Free space on /tmp= 74096 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365639-1307645385/watcher-3365639-1307645385 -o /tmp/evaluation-result-3365639-1307645385/solver-3365639-1307645385 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365639-1307645385.cnf

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=1291251586

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
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.75
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.830
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.830
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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32432856 kB
Buffers:         42992 kB
Cached:         178192 kB
SwapCached:      12404 kB
Active:         230556 kB
Inactive:       133932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32432856 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:           26796 kB
Writeback:           0 kB
AnonPages:      141372 kB
Mapped:          10540 kB
Slab:            90208 kB
PageTables:       4372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   303720 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= 74096 MiB
End job on node106 at 2011-06-09 21:34:09