Trace number 3365605

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 2059.14 2059.09

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1376.76
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3365605-1305315334.cnf
0.00/0.00	c found header 'p cnf 69561 226787'
0.09/0.15	c finished parsing
0.09/0.15	c
0.09/0.15	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.15	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.15	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.15	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.15	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.15	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.15	c
0.09/0.15	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.15	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.09/0.15	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.09/0.15	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.09/0.15	c
0.09/0.15	c starting search after 0.2 seconds
0.09/0.15	c no decision limit
0.09/0.15	c
0.09/0.15	c       original/binary      fixed     eliminated      learned       agility
0.09/0.15	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.15	c
0.09/0.15	c *    0.2   226144   63994    257  5310      0       0      0    0.0   0   19
1.19/1.20	c s    1.2   164468   26149    418  5575  37419       0      0    0.0   0   17
1.19/1.20	c l    1.2   164468   26149    418  5575  37419       0 155223    0.0   0   17
1.49/1.58	c N    1.6   164470   26149    418  5575  37419     101    101   17.2  43   18
2.10/2.19	c N    2.2   166683   26074    432  5636  37419     201    201   16.9  41   20
4.49/4.57	c s    4.6   165010   25996    432  5636  37497     759    759   16.5  42   18
4.79/4.81	c N    4.8   165299   25957    434  5673  37497     801    801   16.4  44   20
5.50/5.58	c B    5.6   165665   25950    434  5680  37497    1001   1001   16.5  42   21
7.79/7.88	c s    7.9   165626   25947    434  5680  37500    1559   1559   16.4  43   19
9.39/9.47	c B    9.5   165656   25938    434  5689  37500    2001   2001   16.4  43   21
11.00/11.08	c s   11.1   165361   25937    434  5689  37501    2382   2382   16.3  41   19
11.19/11.23	c N   11.2   165396   25927    434  5699  37501    2402   2402   16.3  42   21
14.39/14.45	c s   14.5   164569   25886    434  5699  37542    3205   3205   16.3  44   20
17.69/17.74	c s   17.7   164520   25860    434  5725  37542    4029   4029   16.3  42   20
20.90/20.99	c s   21.0   164486   25847    434  5738  37542    4859   4859   16.2  44   21
24.39/24.41	c s   24.4   164137   25795    434  5747  37585    5691   5691   16.2  44   22
26.89/26.95	c N   27.0   164161   25767    434  5775  37585    6404   6404   16.2  44   25
27.69/27.79	c s   27.8   164068   25767    434  5775  37585    6528   6528   16.2  42   22
32.90/32.91	c B   32.9   164068   25767    434  5775  37585    8001   8001   16.1  43   26
85.59/85.69	c
85.59/85.69	c       original/binary      fixed     eliminated      learned       agility
85.59/85.69	c   seconds        variables     equivalent    conflicts       height       MB
85.59/85.69	c
85.59/85.69	c N   85.7   164068   25767    434  5775  37585   16006  16006   15.3  40   32
125.89/125.95	c s  126.0   164069   25767    434  5775  37585   20491  20490   15.8  47   29
129.29/129.38	c s  129.4   164071   25767    434  5775  37585   21406  21404   15.8  43   30
138.69/138.71	c B  138.7   164071   25767    434  5775  37585   24004  24002   15.7  41   35
196.39/196.40	c N  196.4   164071   25767    434  5775  37585   38432  38430   15.6  47   45
199.60/199.68	c s  199.7   164072   25767    434  5775  37585   39281  39278   26.6  44   41
335.89/335.97	c B  336.0   164072   25767    434  5775  37585   64019  64016   24.7  44   56
376.00/376.01	c s  376.0   164076   25767    434  5775  37585   72300  72297   26.3  24   52
381.40/381.41	c s  381.4   163963   25755    434  5776  37596   74489  74458   53.4  48   53
386.60/386.65	c s  386.7   164726   25735    436  5794  37596   75931  75900   52.8  45   54
391.90/391.94	c s  392.0   164195   25730    437  5794  37600   77202  77154   52.3  46   54
457.70/457.77	c N  457.8   164195   25730    437  5794  37600   89715  89667   48.0  43   66
535.20/535.22	c s  535.2   164211   25730    437  5794  37600  103118 103070   47.9  17   65
896.01/896.07	c +  896.1   164211   25730    437  5794  37600  155223 170745   39.5  46   84
900.21/900.25	c s  900.3   164212   25730    437  5794  37600  156251 156202   41.8  15   75
924.11/924.16	c B  924.2   164212   25730    437  5794  37600  160042 159993   43.7  48   81
1030.62/1030.64	c s 1030.7   164213   25730    437  5794  37600  176284 170756   45.8  48   73
1095.22/1095.24	c s 1095.3   164214   25730    437  5794  37600  185556 170767   47.1  38   68
1139.32/1139.34	c + 1139.4   164214   25730    437  5794  37600  194027 187819   46.3  41   72
1198.22/1198.29	c
1198.22/1198.29	c       original/binary      fixed     eliminated      learned       agility
1198.22/1198.29	c   seconds        variables     equivalent    conflicts       height       MB
1198.22/1198.29	c
1198.22/1198.29	c N 1198.3   164214   25730    437  5794  37600  205070 181807   44.7  48   77
1318.12/1318.10	c s 1318.1   164216   25730    437  5794  37600  231873 187824   46.8  11   56
1399.14/1399.15	c + 1399.2   164216   25730    437  5794  37600  242530 206600   45.5  47   63
1774.03/1774.01	c + 1774.1   164216   25730    437  5794  37600  303160 227260   39.5  44   58
1856.53/1856.51	c s 1856.6   164217   25730    437  5794  37600  319188 222641   38.2  43   45
1883.63/1883.65	c s 1883.7   164218   25730    437  5794  37600  323892 227286   37.8  40   46
1894.53/1894.54	c s 1894.6   164219   25730    437  5794  37600  325689 227286   37.7  46   45
1943.74/1943.79	c s 1943.8   164220   25730    437  5794  37600  333472 227267   37.1  46   44
1980.53/1980.50	c s 1980.5   163827   25716    437  5795  37613  339573 166288   36.6  47   37
1989.34/1989.31	c s 1989.4   163810   25708    437  5803  37613  341144 167858   36.5  37   37
1998.94/1998.96	c s 1999.0   163811   25708    437  5803  37613  342873 169587   36.4  20   37
2008.55/2008.52	c s 2008.6   163799   25706    437  5804  37614  344380 119345   36.3  46   31
2015.94/2015.92	c s 2016.0   163984   25705    437  5805  37614  345823 120788   36.2  47   31
2027.83/2027.85	c s 2027.9   163985   25705    437  5805  37614  347968 122932   36.0  48   31
2034.95/2034.99	c s 2035.0   163989   25705    437  5805  37614  349423 124387   35.9  46   31
2043.13/2043.18	c s 2043.2   163770   25700    437  5806  37618  350870 125815   35.8  47   31
2051.33/2051.36	c s 2051.4   167384   25690    440  5812  37619  352236  42132   35.7  39   23
2056.63/2056.61	c s 2056.7   166706   25679    443  5816  37623  353129  36672   35.6  48   22
2059.03/2059.08	c 0 2059.1   199277    8850  17178  5910  37623  353578  37090   35.6  44   28
2059.03/2059.08	c
2059.03/2059.08	s UNSATISFIABLE
2059.03/2059.08	c
2059.03/2059.08	c 353578 conflicts, 412274 decisions, 3 random
2059.03/2059.08	c 8 iterations, 31 restarts, 814 skipped
2059.03/2059.08	c 4 enlarged, 854 shrunken, 3452 rescored, 125 rebiased
2059.03/2059.08	c 35 simplifications, 0 reductions
2059.03/2059.08	c
2059.03/2059.08	c vars: 17178 fixed, 5910 equiv, 37623 elim, 6057 merged
2059.03/2059.08	c elim: 5725374 resolutions, 22 phases, 8 rounds
2059.03/2059.08	c sbst: 99% substituted, 0.1% nots, 76.3% ands, 23.5% xors, 0.0% ites
2059.03/2059.08	c arty: 2.00 and 2.00 xor average arity
2059.03/2059.08	c prbe: 3625191 probed, 67 phases, 69 rounds
2059.03/2059.08	c prbe: 93 failed, 111 lifted, 225 merged
2059.03/2059.08	c sccs: 7 non trivial, 0 fixed, 7 merged
2059.03/2059.08	c hash: 34 units, 5825 merged
2059.03/2059.08	c mins: 16661584 learned, 51% deleted, 4 strong, 775 depth
2059.03/2059.08	c subs: 1087 forward, 3157 backward, 11168 doms
2059.03/2059.08	c strs: 7504 forward, 264 backward
2059.03/2059.08	c doms: 13609 dominators, 9715 high, 128 low
2059.03/2059.08	c prps: 3381378702 propagations, 1.64 megaprops
2059.03/2059.08	c
2059.03/2059.08	c 2059.1 seconds, 86 MB max, 80 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-3365605-1305315334/watcher-3365605-1305315334 -o /tmp/evaluation-result-3365605-1305315334/solver-3365605-1305315334 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365605-1305315334.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.00 0.00 0.00 2/349 29764
/proc/meminfo: memFree=26692072/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=7488 CPUtime=0.01 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 1741 0 0 0 1 0 0 0 21 0 1 0 643136077 7667712 1699 33554432000 134512640 135151029 4288165616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 1872 1700 65 156 0 1715 0

[startup+0.0369941 s]
/proc/loadavg: 0.00 0.00 0.00 2/349 29764
/proc/meminfo: memFree=26692072/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=10520 CPUtime=0.03 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 2504 0 0 0 3 0 0 0 21 0 1 0 643136077 10772480 2429 33554432000 134512640 135151029 4288165616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 2630 2430 65 156 0 2473 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10520

[startup+0.100975 s]
/proc/loadavg: 0.00 0.00 0.00 2/349 29764
/proc/meminfo: memFree=26692072/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=17360 CPUtime=0.09 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 4407 0 0 0 9 0 0 0 21 0 1 0 643136077 17776640 4138 33554432000 134512640 135151029 4288165616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 4340 4139 65 156 0 4183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17360

[startup+0.300952 s]
/proc/loadavg: 0.00 0.00 0.00 2/349 29764
/proc/meminfo: memFree=26692072/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=26552 CPUtime=0.29 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 6959 0 0 0 29 0 0 0 22 0 1 0 643136077 27189248 6417 33554432000 134512640 135151029 4288165616 18446744073709551615 134678810 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 6638 6417 80 156 0 6481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26552

[startup+0.700871 s]
/proc/loadavg: 0.00 0.00 0.00 2/349 29764
/proc/meminfo: memFree=26692072/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33992 CPUtime=0.69 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 9947 0 0 0 68 1 0 0 23 0 1 0 643136077 34807808 8234 33554432000 134512640 135151029 4288165616 18446744073709551615 134519217 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8498 8234 80 156 0 8341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33992

[startup+1.50074 s]
/proc/loadavg: 0.00 0.00 0.00 3/350 29765
/proc/meminfo: memFree=26653764/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33380 CPUtime=1.49 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 10853 0 0 0 148 1 0 0 25 0 1 0 643136077 34181120 8067 33554432000 134512640 135151029 4288165616 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8345 8067 80 156 0 8188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33380

[startup+3.10044 s]
/proc/loadavg: 0.00 0.00 0.00 3/350 29765
/proc/meminfo: memFree=26654136/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33380 CPUtime=3.09 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 10853 0 0 0 308 1 0 0 25 0 1 0 643136077 34181120 8067 33554432000 134512640 135151029 4288165616 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8345 8067 80 156 0 8188 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33380

[startup+6.30089 s]
/proc/loadavg: 0.16 0.03 0.01 3/350 29765
/proc/meminfo: memFree=26650184/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33380 CPUtime=6.29 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 11806 0 0 0 628 1 0 0 25 0 1 0 643136077 34181120 8068 33554432000 134512640 135151029 4288165616 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8345 8068 80 156 0 8188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33380

[startup+12.7007 s]
/proc/loadavg: 0.31 0.07 0.02 3/350 29766
/proc/meminfo: memFree=26643868/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33380 CPUtime=12.69 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 13710 0 0 0 1268 1 0 0 25 0 1 0 643136077 34181120 8068 33554432000 134512640 135151029 4288165616 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8345 8068 80 156 0 8188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33380

[startup+25.5005 s]
/proc/loadavg: 0.68 0.16 0.05 3/350 29766
/proc/meminfo: memFree=26637792/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=33380 CPUtime=25.49 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 17533 0 0 0 2547 2 0 0 25 0 1 0 643136077 34181120 8083 33554432000 134512640 135151029 4288165616 18446744073709551615 134555092 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 8345 8083 80 156 0 8188 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33380

[startup+51.101 s]
/proc/loadavg: 1.13 0.31 0.10 3/350 29767
/proc/meminfo: memFree=26632240/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=37356 CPUtime=51.1 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 19602 0 0 0 5107 3 0 0 25 0 1 0 643136077 38252544 9064 33554432000 134512640 135151029 4288165616 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 9339 9064 80 156 0 9182 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 37356

[startup+102.313 s]
/proc/loadavg: 1.62 0.56 0.20 3/350 29795
/proc/meminfo: memFree=26599332/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=40032 CPUtime=102.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 20254 0 0 0 10227 3 0 0 25 0 1 0 643136077 40992768 9716 33554432000 134512640 135151029 4288165616 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 10008 9716 80 156 0 9851 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40032

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/350 29824
/proc/meminfo: memFree=24220496/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=48676 CPUtime=162.29 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 23744 0 0 0 16219 10 0 0 25 0 1 0 643136077 49844224 11846 33554432000 134512640 135151029 4288165616 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 12169 11846 80 156 0 12012 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 48676

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/350 29825
/proc/meminfo: memFree=22469244/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=55388 CPUtime=222.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 25678 0 0 0 22219 11 0 0 25 0 1 0 643136077 56717312 13508 33554432000 134512640 135151029 4288165616 18446744073709551615 134542703 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 13847 13508 80 156 0 13690 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 55388

[startup+282.301 s]
/proc/loadavg: 3.20 1.53 0.62 2/346 29844
/proc/meminfo: memFree=25765676/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=59724 CPUtime=282.29 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 26712 0 0 0 28218 11 0 0 25 0 1 0 643136077 61157376 14542 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 14931 14542 80 156 0 14774 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 59724

[startup+342.301 s]
/proc/loadavg: 2.47 1.63 0.71 3/350 29856
/proc/meminfo: memFree=26333252/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=63996 CPUtime=342.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 27757 0 0 0 34218 12 0 0 25 0 1 0 643136077 65531904 15587 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 15999 15587 80 156 0 15842 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 63996

[startup+402.301 s]
/proc/loadavg: 2.17 1.69 0.79 3/350 29858
/proc/meminfo: memFree=26335340/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=67912 CPUtime=402.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 32418 0 0 0 40217 13 0 0 25 0 1 0 643136077 69541888 16656 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 16978 16656 80 156 0 16821 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 67912

[startup+462.3 s]
/proc/loadavg: 2.06 1.75 0.86 3/350 29968
/proc/meminfo: memFree=26411420/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=74360 CPUtime=462.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 33898 0 0 0 46217 13 0 0 25 0 1 0 643136077 76144640 18136 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 18590 18136 80 156 0 18433 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74360

[startup+522.301 s]
/proc/loadavg: 2.02 1.79 0.93 3/350 29969
/proc/meminfo: memFree=26341920/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=77508 CPUtime=522.3 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 34658 0 0 0 52217 13 0 0 25 0 1 0 643136077 79368192 18896 33554432000 134512640 135151029 4288165616 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 19377 18896 80 156 0 19220 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 77508

[startup+582.301 s]
/proc/loadavg: 2.01 1.83 0.99 3/350 29971
/proc/meminfo: memFree=26283124/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=80584 CPUtime=582.31 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 35747 0 0 0 58217 14 0 0 25 0 1 0 643136077 82518016 19660 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 20146 19660 80 156 0 19989 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 80584

[startup+642.301 s]

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

/proc/meminfo: memFree=26122808/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92772 CPUtime=1422.34 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 40991 0 0 0 142218 16 0 0 25 0 1 0 643136077 94998528 22808 33554432000 134512640 135151029 4288165616 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23193 22808 80 156 0 23036 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 92772

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.62 3/350 29995
/proc/meminfo: memFree=26119432/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=94312 CPUtime=1482.32 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41250 0 0 0 148216 16 0 0 25 0 1 0 643136077 96575488 23067 33554432000 134512640 135151029 4288165616 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23578 23067 80 156 0 23421 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 94312

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.64 3/350 30005
/proc/meminfo: memFree=26095156/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=95600 CPUtime=1542.32 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41468 0 0 0 154216 16 0 0 25 0 1 0 643136077 97894400 23285 33554432000 134512640 135151029 4288165616 18446744073709551615 134552547 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23900 23285 80 156 0 23743 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 95600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.66 3/350 30007
/proc/meminfo: memFree=26092760/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=96632 CPUtime=1602.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41620 0 0 0 160217 16 0 0 25 0 1 0 643136077 98951168 23437 33554432000 134512640 135151029 4288165616 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 24158 23437 80 156 0 24001 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 96632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.67 3/350 30009
/proc/meminfo: memFree=26089640/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=96632 CPUtime=1662.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41634 0 0 0 166217 16 0 0 25 0 1 0 643136077 98951168 23451 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 24158 23451 80 156 0 24001 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 96632

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.70 3/350 30013
/proc/meminfo: memFree=26082364/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=97148 CPUtime=1722.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41728 0 0 0 172217 16 0 0 25 0 1 0 643136077 99479552 23545 33554432000 134512640 135151029 4288165616 18446744073709551615 134575984 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 24287 23545 80 156 0 24130 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 97148

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.72 3/350 30015
/proc/meminfo: memFree=26080704/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=97404 CPUtime=1782.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41776 0 0 0 178217 16 0 0 25 0 1 0 643136077 99741696 23593 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 24351 23593 80 156 0 24194 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 97404

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/350 30016
/proc/meminfo: memFree=26080300/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=98176 CPUtime=1842.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 41903 0 0 0 184217 16 0 0 25 0 1 0 643136077 100532224 23720 33554432000 134512640 135151029 4288165616 18446744073709551615 134580760 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 24544 23720 80 156 0 24387 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 98176

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/350 30045
/proc/meminfo: memFree=26005812/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=1902.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 43195 0 0 0 190217 16 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134542809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 92260

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/350 30047
/proc/meminfo: memFree=25848188/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=94324 CPUtime=1962.34 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 43962 0 0 0 196218 16 0 0 25 0 1 0 643136077 96587776 23083 33554432000 134512640 135151029 4288165616 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23581 23083 80 156 0 23424 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 94324

[startup+2022.3 s]
/proc/loadavg: 2.04 2.01 1.77 3/350 30048
/proc/meminfo: memFree=25612560/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2022.34 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 48795 0 0 0 202217 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 92260

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

[startup+2035.1 s]
/proc/loadavg: 2.10 2.03 1.78 3/350 30048
/proc/meminfo: memFree=25565200/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2035.13 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 50019 0 0 0 203496 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134574583 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2035.13
Current children cumulated vsize (KiB) 92260

[startup+2047.9 s]
/proc/loadavg: 2.08 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25565200/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92776 CPUtime=2047.93 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 51100 0 0 0 204776 17 0 0 25 0 1 0 643136077 95002624 22935 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23194 22935 80 156 0 23037 0
Current children cumulated CPU time (s) 2047.93
Current children cumulated vsize (KiB) 92776

[startup+2054.3 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25564576/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2054.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 52309 0 0 0 205416 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134580608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2054.33
Current children cumulated vsize (KiB) 92260

[startup+2057.5 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25556512/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2057.53 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 53261 0 0 0 205736 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2057.53
Current children cumulated vsize (KiB) 92260

[startup+2058.3 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25553164/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2058.33 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 53261 0 0 0 205816 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2058.33
Current children cumulated vsize (KiB) 92260

[startup+2058.7 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25553164/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2058.73 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 53261 0 0 0 205856 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2058.73
Current children cumulated vsize (KiB) 92260

[startup+2058.9 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25553164/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2058.93 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 53261 0 0 0 205876 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2058.93
Current children cumulated vsize (KiB) 92260

[startup+2059 s]
/proc/loadavg: 2.07 2.03 1.78 3/350 30049
/proc/meminfo: memFree=25553164/32951124 swapFree=53501236/67111528
[pid=29764] ppid=29762 vsize=92260 CPUtime=2059.03 cores=1,3,5,7
/proc/29764/stat : 29764 (precosat) R 29762 29764 29726 0 -1 4202496 53261 0 0 0 205886 17 0 0 25 0 1 0 643136077 94474240 22806 33554432000 134512640 135151029 4288165616 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/29764/statm: 23065 22806 80 156 0 22908 0
Current children cumulated CPU time (s) 2059.03
Current children cumulated vsize (KiB) 92260

Child status: 20
Real time (s): 2059.09
CPU time (s): 2059.14
CPU user time (s): 2058.95
CPU system time (s): 0.180972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 98176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2058.95
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53262
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= 4
involuntary context switches= 3247

runsolver used 6.42102 second user time and 16.0686 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-13 21:35:35
IDJOB=3365605
IDBENCH=70830
IDSOLVER=1843
FILE ID=node103/3365605-1305315334
RUNJOBID= node103-1305315334-29745
PBS_JOBID= 13324329
Free space on /tmp= 48416 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365605-1305315334/watcher-3365605-1305315334 -o /tmp/evaluation-result-3365605-1305315334/solver-3365605-1305315334 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365605-1305315334.cnf

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

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=1880192455

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26692352 kB
Buffers:        243464 kB
Cached:        3483664 kB
SwapCached:     340160 kB
Active:        1216836 kB
Inactive:      4783208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26692352 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5820 kB
Writeback:           0 kB
AnonPages:     1943296 kB
Mapped:          11024 kB
Slab:           140000 kB
PageTables:      53632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78314968 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= 48384 MiB
End job on node103 at 2011-05-13 22:09:54