Trace number 3366081

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 1938.6 1938.64

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
MD5SUM953b9cb99bfd26cff0e1ac65be1241f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark552.98
Satisfiable
(Un)Satisfiability was proved
Number of variables569795
Number of clauses8562505
Sum of the clauses size24843745
Maximum clause length186
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27567948
Number of clauses of size 3724416
Number of clauses of size 49898
Number of clauses of size 560873
Number of clauses of size over 5199369

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-3366081-1305324817.cnf
0.00/0.00	c found header 'p cnf 569795 8562505'
9.19/9.26	c finished parsing
9.19/9.26	c
9.19/9.26	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
9.19/9.26	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
9.19/9.26	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
9.19/9.26	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
9.19/9.26	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
9.19/9.26	c --random=1 --spread=2000 --seed=0 --skip=25
9.19/9.26	c
9.19/9.26	c sizeof     vars[0] = 16   alignment = 0       9 MB
9.19/9.26	c sizeof     orgs[0] =  8   alignment = 0       4 MB
9.19/9.26	c sizeof     occs[0] =  8   alignment = 0       4 MB
9.19/9.26	c sizeof iirfs[0..1] =  8   alignment = 0       4 MB
9.19/9.26	c
9.19/9.26	c starting search after 9.3 seconds
9.19/9.26	c no decision limit
9.39/9.49	c
9.39/9.49	c       original/binary      fixed     eliminated      learned       agility
9.39/9.49	c   seconds        variables     equivalent    conflicts       height       MB
9.39/9.49	c
9.39/9.49	c *    9.5  8562504  569794      1     0      0       0      0    0.0   0  593
55.48/55.52	c s   55.5  6815124  366483  25811     1 177500       0      0    0.0   0  543
55.48/55.52	c l   55.5  6815124  366483  25811     1 177500       0 924029    0.0   0  543
56.18/56.21	c R   56.2  6865761  366483  25811     1 177500     100     98 1771.7   2  557
56.28/56.32	c R   56.3  6865840  366483  25811     1 177500     200    198  948.5   1  557
70.48/70.58	c s   70.6  6251302  352599  39669     1 177526     237    234  862.5   0  513
70.48/70.58	c -   70.6  6251302  352599  39669     1 177526     237 850107  862.5   0  513
71.78/71.89	c R   71.9  6320895  352436  39831     2 177526     803    798  643.8   1  520
85.39/85.44	c s   85.4  5868943  339934  52323     2 177536     929    921  612.9   0  491
85.39/85.44	c -   85.4  5868943  339934  52323     2 177536     929 790600  612.9   0  491
85.68/85.78	c B   85.8  5869215  339928  52329     2 177536    1001    993  598.5  15  492
95.08/95.11	c B   95.1  5913120  338661  53588    10 177536    2001   1987 2259.2   0  501
99.88/99.95	c R  100.0  5957526  336448  55800    11 177536    2406   2391 2330.2   0  506
124.99/125.03	c R  125.0  6261050  336338  55857    64 177536    6410   6389 2169.6   0  528
128.18/128.23	c B  128.2  6312484  336337  55857    65 177536    8003   7982 2137.6   1  532
154.74/154.86	c s  154.8  6216058  336328  55857    72 177538   13426  13377 2059.0   0  506
154.74/154.86	c -  154.8  6216058  336328  55857    72 177538   13426 672010 2059.0   0  506
171.41/171.59	c R  171.5  6256841  333641  55909  2707 177538   16036  15985 2022.1   3  516
191.61/191.79	c B  191.7  6412978  320559  55987 15711 177538   24006  23944 1987.9   3  532
215.41/215.55	c
215.41/215.55	c       original/binary      fixed     eliminated      learned       agility
215.41/215.55	c   seconds        variables     equivalent    conflicts       height       MB
215.41/215.55	c
215.41/215.55	c s  215.5  6316046  317960  56008 18243 177584   29068  28947 1876.1   0  514
215.41/215.55	c -  215.5  6316046  317960  56008 18243 177584   29068 598089 1876.1   0  514
236.41/236.60	c R  236.5  6367596  312902  56044 23265 177584   38486  38344 1871.1   1  531
279.42/279.59	c s  279.5  6374613  311512  56097 24602 177584   48728  48520 1881.8   0  526
279.42/279.59	c -  279.5  6374613  311512  56097 24602 177584   48728 586128 1881.8   0  526
316.32/316.45	c B  316.4  6459741  311454  56145 24612 177584   64016  63798 1843.7   0  549
345.41/345.55	c s  345.5  6503755  311399  56186 24626 177584   68017  67483 1839.1   0  542
345.41/345.55	c -  345.5  6503755  311399  56186 24626 177584   68017 580267 1839.1   0  542
386.51/386.63	c R  386.6  6641201  311305  56257 24649 177584   89811  89257 1891.5   0  576
413.72/413.83	c s  413.8  6673802  311280  56277 24654 177584   97022  96219 1867.1   0  566
481.62/481.76	c s  481.7  6699014  310892  56607 24712 177584  120247 118122 1850.0   0  578
563.72/563.83	c s  563.8  6776107  310508  56908 24795 177584  141630 139164 1812.7   0  592
598.32/598.43	c B  598.4  6816543  310276  57126 24809 177584  160054 157583 1856.4   1  617
652.53/652.65	c s  652.6  6848353  310097  57299 24815 177584  174034 171442 1833.6   0  612
723.44/723.56	c s  723.5  6928091  309690  57697 24824 177584  199543 196856 1874.7   0  631
802.63/802.79	c s  802.7  7003241  309161  58214 24836 177584  229164 226325 1913.4   0  652
878.73/878.83	c s  878.8  7095997  308822  58552 24837 177584  253663 250766 1884.8   0  670
955.73/955.86	c s  955.8  7190461  308344  59018 24849 177584  282499 279218 1861.9   0  692
1038.14/1038.24	c s 1038.2  7297686  307860  59468 24883 177584  306375 298853 1849.0   0  711
1122.23/1122.33	c
1122.23/1122.33	c       original/binary      fixed     eliminated      learned       agility
1122.23/1122.33	c   seconds        variables     equivalent    conflicts       height       MB
1122.23/1122.33	c
1122.23/1122.33	c s 1122.3  7478184  307562  59763 24886 177584  332107 324500 1833.8   0  736
1205.25/1205.39	c s 1205.3  7650694  307345  59962 24904 177584  367265 358822 1877.6   0  768
1237.24/1237.36	c B 1237.3  7697724  307283  60019 24909 177584  384108 375662 1892.7   1  799
1289.34/1289.44	c s 1289.4  7791146  307106  60194 24911 177584  401316 392818 1903.2   0  796
1371.44/1371.58	c s 1371.5  7931887  307014  60283 24914 177584  438117 429557 1942.7   0  825
1461.55/1461.62	c s 1461.6  7467748  305098  62116 24997 177584  467338 425536 1902.6   0  796
1461.55/1461.62	c - 1461.6  7467748  305098  62116 24997 177584  467338 533846 1902.6   0  796
1548.94/1549.00	c s 1549.0  7463997  304911  62261 25039 177584  496582 452232 1874.2   0  810
1634.45/1634.50	c s 1634.5  7548753  304843  62279 25089 177584  528518 473295 1872.7   0  829
1651.55/1651.68	c + 1651.6  7570227  304837  62283 25091 177584  533849 587230 1866.0   2  851
1730.75/1730.87	c s 1730.8  7031998  299293  65821 25251 179430  555524 406934 1851.5   0  757
1730.75/1730.87	c - 1730.8  7031998  299293  65821 25251 179430  555524 540252 1851.5   0  757
1815.35/1815.45	c s 1815.4  6876944  296683  68018 25420 179674  578270 385503 1833.8   0  731
1815.35/1815.45	c - 1815.4  6876944  296683  68018 25420 179674  578270 524045 1833.8   0  731
1860.55/1860.64	c + 1860.6  6915044  296460  68225 25436 179674  595510 576449 1825.8   0  759
1891.45/1891.56	c s 1891.5  6907991  296432  68225 25440 179698  602302 404297 1824.9   0  737
1938.45/1938.59	c 0 1938.6  6972799  282200  81396 26501 179698  620055 421984 1831.0   1  767
1938.45/1938.59	c
1938.45/1938.59	s UNSATISFIABLE
1938.45/1938.59	c
1938.45/1938.59	c 620055 conflicts, 31284402 decisions, 15513 random
1938.45/1938.59	c 29 iterations, 1956 restarts, 0 skipped
1938.45/1938.59	c 2 enlarged, 2131 shrunken, 6062 rescored, 189 rebiased
1938.45/1938.59	c 26 simplifications, 0 reductions
1938.45/1938.59	c
1938.45/1938.59	c vars: 81396 fixed, 26501 equiv, 179698 elim, 26559 merged
1938.45/1938.59	c elim: 32375378 resolutions, 26 phases, 1 rounds
1938.45/1938.59	c sbst: 30% substituted, 1.1% nots, 96.7% ands, 0.0% xors, 2.2% ites
1938.45/1938.59	c arty: 10.66 and 0.00 xor average arity
1938.45/1938.59	c prbe: 478573 probed, 4732 phases, 0 rounds
1938.45/1938.59	c prbe: 4193 failed, 55558 lifted, 479 merged
1938.45/1938.59	c sccs: 87 non trivial, 0 fixed, 209 merged
1938.45/1938.59	c hash: 357 units, 25871 merged
1938.45/1938.59	c mins: 79633840 learned, 32% deleted, 22 strong, 140 depth
1938.45/1938.59	c subs: 2788 forward, 6245 backward, 382166 doms
1938.45/1938.59	c strs: 40463 forward, 4584 backward
1938.45/1938.59	c doms: 692839 dominators, 243882 high, 1257 low
1938.45/1938.59	c prps: 6925426368 propagations, 3.57 megaprops
1938.45/1938.59	c
1938.45/1938.59	c 1938.6 seconds, 917 MB max, 369 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-3366081-1305324817/watcher-3366081-1305324817 -o /tmp/evaluation-result-3366081-1305324817/solver-3366081-1305324817 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3366081-1305324817.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: 2.00 2.00 2.00 2/312 9411
/proc/meminfo: memFree=27820196/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=14224 CPUtime=0 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 3378 0 0 0 0 0 0 0 23 0 1 0 644080855 14565376 3336 33554432000 134512640 135151029 4290171248 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9411/statm: 3556 3349 59 156 0 3399 0

[startup+0.0580391 s]
/proc/loadavg: 2.00 2.00 2.00 2/312 9411
/proc/meminfo: memFree=27820196/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=46152 CPUtime=0.04 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 9337 0 0 0 4 0 0 0 23 0 1 0 644080855 47259648 9294 33554432000 134512640 135151029 4290171248 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9411/statm: 11538 9319 60 156 0 11381 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46152

[startup+0.101029 s]
/proc/loadavg: 2.00 2.00 2.00 2/312 9411
/proc/meminfo: memFree=27820196/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=55096 CPUtime=0.09 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 13317 0 0 0 8 1 0 0 23 0 1 0 644080855 56418304 13176 33554432000 134512640 135151029 4290171248 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 13774 13177 64 156 0 13617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55096

[startup+0.300995 s]
/proc/loadavg: 2.00 2.00 2.00 2/312 9411
/proc/meminfo: memFree=27820196/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=76984 CPUtime=0.29 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 19182 0 0 0 27 2 0 0 25 0 1 0 644080855 78831616 18655 33554432000 134512640 135151029 4290171248 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 19246 18655 64 156 0 19089 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76984

[startup+0.700923 s]
/proc/loadavg: 2.00 2.00 2.00 2/312 9411
/proc/meminfo: memFree=27820196/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=107852 CPUtime=0.69 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 28396 0 0 0 66 3 0 0 25 0 1 0 644080855 110440448 26331 33554432000 134512640 135151029 4290171248 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 26963 26332 64 156 0 26806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107852

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9418
/proc/meminfo: memFree=27555164/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=167108 CPUtime=1.49 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 45252 0 0 0 143 6 0 0 25 0 1 0 644080855 171118592 41138 33554432000 134512640 135151029 4290171248 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 41777 41138 64 156 0 41620 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167108

[startup+3.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9418
/proc/meminfo: memFree=27402768/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=276288 CPUtime=3.09 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 76602 0 0 0 298 11 0 0 25 0 1 0 644080855 282918912 68392 33554432000 134512640 135151029 4290171248 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 69072 68392 64 156 0 68915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 276288

[startup+6.31204 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9418
/proc/meminfo: memFree=26855212/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=494212 CPUtime=6.3 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 137929 0 0 0 609 21 0 0 25 0 1 0 644080855 506073088 121525 33554432000 134512640 135151029 4290171248 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 123553 121525 64 156 0 123396 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 494212

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9418
/proc/meminfo: memFree=26368516/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=722000 CPUtime=12.69 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 220476 0 0 0 1232 37 0 0 25 0 1 0 644080855 739328000 177390 33554432000 134512640 135151029 4290171248 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 180500 177390 80 156 0 180343 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 722000

[startup+25.5006 s]
/proc/loadavg: 2.07 2.02 2.00 3/318 9418
/proc/meminfo: memFree=25900928/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=847432 CPUtime=25.49 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 291409 0 0 0 2502 47 0 0 25 0 1 0 644080855 867770368 207868 33554432000 134512640 135151029 4290171248 18446744073709551615 134575488 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 211858 207868 80 156 0 211701 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 847432

[startup+51.1011 s]
/proc/loadavg: 2.05 2.01 2.00 3/318 9419
/proc/meminfo: memFree=25761780/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=898068 CPUtime=51.09 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 303155 0 0 0 5061 48 0 0 25 0 1 0 644080855 919621632 219614 33554432000 134512640 135151029 4290171248 18446744073709551615 134564406 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 224517 219614 80 156 0 224360 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 898068

[startup+102.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/318 9420
/proc/meminfo: memFree=25868252/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=102.28 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 533480 0 0 0 10150 78 0 0 25 0 1 0 644080855 877699072 211061 33554432000 134512640 135151029 4290171248 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9411/statm: 214282 211061 80 156 0 214125 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 857128

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9422
/proc/meminfo: memFree=25877400/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=162.23 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 632355 0 0 0 16133 90 0 0 25 0 1 0 644080855 877699072 211086 33554432000 134512640 135151029 4290171248 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/9411/statm: 214282 211086 80 156 0 214125 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 857128

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9423
/proc/meminfo: memFree=25877968/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=222.21 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 731271 0 0 0 22119 102 0 0 25 0 1 0 644080855 877699072 211152 33554432000 134512640 135151029 4290171248 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 214282 211152 80 156 0 214125 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 857128

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9425
/proc/meminfo: memFree=25877664/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=282.22 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 830122 0 0 0 28107 115 0 0 25 0 1 0 644080855 877699072 211153 33554432000 134512640 135151029 4290171248 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 214282 211153 80 156 0 214125 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 857128

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9427
/proc/meminfo: memFree=25877752/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=791588 CPUtime=342.22 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 898253 0 0 0 34099 123 0 0 25 0 1 0 644080855 810586112 194773 33554432000 134512640 135151029 4290171248 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 197897 194773 80 156 0 197740 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 791588

[startup+402.311 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9428
/proc/meminfo: memFree=25943436/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=791588 CPUtime=402.23 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 931203 0 0 0 40096 127 0 0 25 0 1 0 644080855 810586112 194773 33554432000 134512640 135151029 4290171248 18446744073709551615 134522076 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 197897 194773 80 156 0 197740 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 791588

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9430
/proc/meminfo: memFree=25877808/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=462.22 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 1027828 0 0 0 46083 139 0 0 25 0 1 0 644080855 877699072 211159 33554432000 134512640 135151029 4290171248 18446744073709551615 134554596 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 214282 211159 80 156 0 214125 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 857128

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/318 9431
/proc/meminfo: memFree=25877892/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=522.22 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 1126678 0 0 0 52070 152 0 0 25 0 1 0 644080855 877699072 211159 33554432000 134512640 135151029 4290171248 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 214282 211159 80 156 0 214125 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 857128

[startup+582.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/318 9433
/proc/meminfo: memFree=25911340/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=857128 CPUtime=582.22 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 1225530 0 0 0 58058 164 0 0 25 0 1 0 644080855 877699072 211161 33554432000 134512640 135151029 4290171248 18446744073709551615 134567893 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 214282 211161 80 156 0 214125 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 857128

[startup+642.301 s]

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

/proc/meminfo: memFree=25817892/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=914212 CPUtime=1302.24 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2204679 0 0 0 129939 285 0 0 25 0 1 0 644080855 936153088 225914 33554432000 134512640 135151029 4290171248 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 228553 225914 80 156 0 228396 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 914212

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9454
/proc/meminfo: memFree=25775824/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=1006244 CPUtime=1362.24 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2286457 0 0 0 135929 295 0 0 25 0 1 0 644080855 1030393856 248621 33554432000 134512640 135151029 4290171248 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 251561 248621 80 156 0 251404 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 1006244

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9455
/proc/meminfo: memFree=25757660/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=973696 CPUtime=1422.24 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2327036 0 0 0 141923 301 0 0 25 0 1 0 644080855 997064704 240757 33554432000 134512640 135151029 4290171248 18446744073709551615 134581772 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 243424 240757 80 156 0 243267 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 973696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9457
/proc/meminfo: memFree=25753640/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=977532 CPUtime=1482.24 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2436159 0 0 0 147909 315 0 0 25 0 1 0 644080855 1000992768 241569 33554432000 134512640 135151029 4290171248 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244383 241569 80 156 0 244226 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 977532

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9459
/proc/meminfo: memFree=25656516/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=1008996 CPUtime=1542.24 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2511952 0 0 0 153899 325 0 0 25 0 1 0 644080855 1033211904 249608 33554432000 134512640 135151029 4290171248 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 252249 249608 80 156 0 252092 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 1008996

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 9460
/proc/meminfo: memFree=25687108/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=977532 CPUtime=1602.25 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2544939 0 0 0 159896 329 0 0 25 0 1 0 644080855 1000992768 241609 33554432000 134512640 135151029 4290171248 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244383 241609 80 156 0 244226 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 977532

[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/318 9462
/proc/meminfo: memFree=25719548/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=977788 CPUtime=1662.25 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2655757 0 0 0 165883 342 0 0 25 0 1 0 644080855 1001254912 241708 33554432000 134512640 135151029 4290171248 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244447 241708 80 156 0 244290 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 977788

[startup+1722.31 s]
/proc/loadavg: 2.09 2.04 2.01 3/318 9463
/proc/meminfo: memFree=25660340/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=1002444 CPUtime=1722.26 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2730112 0 0 0 171875 351 0 0 25 0 1 0 644080855 1026502656 247980 33554432000 134512640 135151029 4290171248 18446744073709551615 134578749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 250611 247980 80 156 0 250454 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 1002444

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/318 9465
/proc/meminfo: memFree=25684360/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1782.25 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2763273 0 0 0 177869 356 0 0 25 0 1 0 644080855 1002303488 241815 33554432000 134512640 135151029 4290171248 18446744073709551615 134678230 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241815 80 156 0 244546 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 978812

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/318 9467
/proc/meminfo: memFree=25684332/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1842.26 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2870742 0 0 0 183857 369 0 0 25 0 1 0 644080855 1002303488 241788 33554432000 134512640 135151029 4290171248 18446744073709551615 134567706 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241788 80 156 0 244546 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 978812

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/318 9468
/proc/meminfo: memFree=25683920/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1902.25 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978094 0 0 0 189843 382 0 0 25 0 1 0 644080855 1002303488 241805 33554432000 134512640 135151029 4290171248 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241805 80 156 0 244546 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 978812

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

[startup+1920.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25683904/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1920.65 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 191683 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1920.65
Current children cumulated vsize (KiB) 978812

[startup+1927.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25683284/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1927.05 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 192323 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1927.05
Current children cumulated vsize (KiB) 978812

[startup+1933.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25680308/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1933.47 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 192965 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1933.47
Current children cumulated vsize (KiB) 978812

[startup+1936.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25679064/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1936.66 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 193284 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1936.66
Current children cumulated vsize (KiB) 978812

[startup+1937.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25679064/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1937.46 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 193364 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134542916 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1937.46
Current children cumulated vsize (KiB) 978812

[startup+1938.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25677948/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1938.25 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 193443 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1938.25
Current children cumulated vsize (KiB) 978812

[startup+1938.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25677948/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=978812 CPUtime=1938.45 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202496 2978120 0 0 0 193463 382 0 0 25 0 1 0 644080855 1002303488 241831 33554432000 134512640 135151029 4290171248 18446744073709551615 134554560 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9411/statm: 244703 241831 80 156 0 244546 0
Current children cumulated CPU time (s) 1938.45
Current children cumulated vsize (KiB) 978812

[startup+1938.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 9469
/proc/meminfo: memFree=25677948/32950928 swapFree=60199044/67111528
[pid=9411] ppid=9409 vsize=0 CPUtime=1938.55 cores=0,2,4,6
/proc/9411/stat : 9411 (precosat) R 9409 9411 8869 0 -1 4202500 2978121 0 0 0 193473 382 0 0 25 0 1 0 644080855 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/9411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1938.55
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1938.64
CPU time (s): 1938.6
CPU user time (s): 1934.74
CPU system time (s): 3.86241
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 1035344

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

runsolver used 5.87211 second user time and 13.4939 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 00:13:41
IDJOB=3366081
IDBENCH=88159
IDSOLVER=1843
FILE ID=node122/3366081-1305324817
RUNJOBID= node122-1305315246-8887
PBS_JOBID= 13324310
Free space on /tmp= 43484 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366081-1305324817/watcher-3366081-1305324817 -o /tmp/evaluation-result-3366081-1305324817/solver-3366081-1305324817 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3366081-1305324817.cnf

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

MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=972420767

node122.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.820
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.64
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.820
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.820
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.820
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.83
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.820
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27820352 kB
Buffers:        221952 kB
Cached:        3581224 kB
SwapCached:      50104 kB
Active:        1186892 kB
Inactive:      3718696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27820352 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:          419332 kB
Writeback:           0 kB
AnonPages:     1063480 kB
Mapped:          13432 kB
Slab:           129840 kB
PageTables:      31948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52523956 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= 43480 MiB
End job on node122 at 2011-05-14 00:45:59