Trace number 3308347

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 236? (TO) 1299.98 1300.01

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

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-3308347-1303983197.cnf
0.00/0.00	c found header 'p cnf 106701 374254'
0.29/0.30	c finished parsing
0.29/0.30	c
0.29/0.30	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.29/0.30	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.29/0.30	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.29/0.30	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.29/0.30	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.29/0.30	c --random=1 --spread=2000 --seed=0 --skip=25
0.29/0.30	c
0.29/0.30	c sizeof     vars[0] = 16   alignment = 0       2 MB
0.29/0.30	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.29/0.30	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.29/0.30	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.29/0.30	c
0.29/0.30	c starting search after 0.3 seconds
0.29/0.30	c no decision limit
0.29/0.31	c
0.29/0.31	c       original/binary      fixed     eliminated      learned       agility
0.29/0.31	c   seconds        variables     equivalent    conflicts       height       MB
0.29/0.31	c
0.29/0.31	c *    0.3   373870  106258    128   315      0       0      0    0.0   0   33
4.19/4.28	c s    4.3   205192   17347    129   923  88302       0      0    0.0   0   27
4.19/4.28	c l    4.3   205192   17347    129   923  88302       0 124407    0.0   0   27
4.29/4.33	c R    4.3   208452   17345    129   925  88302     102     99  156.4   4   29
4.29/4.36	c R    4.4   214777   17345    129   925  88302     206    201  140.4  11   30
4.79/4.86	c B    4.9   331102   14976    149  3274  88302    1000    974   82.4   9   37
5.29/5.35	c B    5.4   386104   14904    164  3331  88302    2000   1962   73.8   5   40
5.69/5.78	c R    5.8   428895   14740    196  3463  88302    2858   2815   73.4   2   45
7.70/7.73	c s    7.7   443056   12587    224  4226  89664    4182   2535   70.1   7   43
7.70/7.73	c -    7.7   443056   12587    224  4226  89664    4182  98282   70.1   7   43
8.29/8.36	c R    8.4   475513   12452    228  4357  89664    5690   4037   67.8  17   46
9.49/9.53	c B    9.5   567600   12096    239  4702  89664    8006   6344   68.3   9   51
10.19/10.28	c R   10.3   624419   11873    239  4925  89664    9703   8040   67.5   9   54
14.19/14.25	c s   14.3   692231   11532    239  5256  89674   15937  13822   68.0  10   57
14.19/14.25	c -   14.3   692231   11532    239  5256  89674   15937  85506   68.0  10   57
17.19/17.24	c B   17.2   702723   11495    240  5292  89674   24017  21882   66.8  13   61
20.29/20.34	c R   20.3   727752   11454    240  5333  89674   32119  29977   65.2  11   68
24.39/24.42	c s   24.4   735924   11442    240  5345  89674   38913  36721   63.7   9   67
24.39/24.42	c -   24.4   735924   11442    240  5345  89674   38913  82941   63.7   9   67
30.69/30.74	c
30.69/30.74	c       original/binary      fixed     eliminated      learned       agility
30.69/30.74	c   seconds        variables     equivalent    conflicts       height       MB
30.69/30.74	c
30.69/30.74	c R   30.7   743850   11442    240  5345  89674   54612  52408   62.0  17   72
36.19/36.25	c s   36.3   743452   11442    240  5345  89674   63692  61480   61.0   4   71
36.39/36.41	c B   36.4   743457   11442    240  5345  89674   64034  61822   61.1  11   72
45.09/45.18	c +   45.2   746323   11442    240  5345  89674   82942  91235   59.1  15   78
48.48/48.54	c s   48.5   746539   11442    240  5345  89674   88688  86464   58.1   4   75
55.68/55.70	c +   55.7   746678   11442    240  5345  89674  103677 100358   56.6   7   80
56.68/56.74	c R   56.7   746679   11442    240  5345  89674  105913  93682   56.2  10   80
62.38/62.49	c s   62.5   747027   11442    240  5345  89674  114417 100397   56.1   3   78
70.08/70.12	c +   70.1   747664   11442    240  5345  89674  129600 110393   55.4  13   82
76.68/76.70	c s   76.7   747727   11442    240  5345  89674  141780 110494   54.7   6   79
85.68/85.73	c B   85.7   747821   11442    240  5345  89674  160073 110746   53.8  10   84
86.57/86.61	c +   86.6   747857   11442    240  5345  89674  162000 121432   53.7   9   84
90.28/90.32	c s   90.3   747896   11442    240  5345  89674  167815 116533   53.5  18   80
104.58/104.66	c s  104.6   747981   11442    240  5345  89674  192353 121560   52.8   3   81
110.08/110.10	c +  110.1   747992   11442    240  5345  89674  202500 133575   52.3   8   85
119.98/120.07	c s  120.1   748089   11442    240  5345  89674  218147 133664   51.7   7   83
121.88/121.94	c R  121.9   748089   11442    240  5345  89674  221357 133747   51.5   8   85
136.47/136.53	c s  136.5   748092   11442    240  5345  89674  247310 133733   50.5   4   84
139.87/139.93	c +  139.9   748124   11442    240  5345  89674  253125 146932   50.4  16   88
151.86/151.96	c
151.86/151.96	c       original/binary      fixed     eliminated      learned       agility
151.86/151.96	c   seconds        variables     equivalent    conflicts       height       MB
151.86/151.96	c
151.86/151.96	c s  151.9   748241   11442    240  5345  89674  273348 147112   49.9  13   86
168.17/168.22	c s  168.2   748285   11442    240  5345  89674  301556 147171   49.3   8   86
177.16/177.24	c +  177.2   748302   11442    240  5345  89674  316405 161625   48.9   7   91
184.67/184.70	c s  184.7   748326   11442    240  5345  89674  327890 158627   48.6   6   88
200.67/200.73	c s  200.7   748357   11442    240  5345  89674  352113 161723   48.3   7   88
217.16/217.20	c s  217.2   749008   11442    240  5345  89674  379215 161823   47.9   3   87
219.76/219.81	c B  219.8   749442   11442    240  5345  89674  384145 161897   47.9   5   91
225.36/225.45	c +  225.4   750112   11442    240  5345  89674  395505 177787   47.9   8   92
233.07/233.15	c s  233.1   750115   11442    240  5345  89674  406154 172488   47.7   5   89
249.57/249.60	c s  249.6   750185   11442    240  5345  89674  433640 178080   47.5   5   90
267.46/267.55	c s  267.5   750191   11442    240  5345  89674  458269 177865   47.1  10   90
281.16/281.29	c R  281.3   750199   11442    240  5345  89674  477889 178003   46.6   5   95
285.87/285.94	c s  285.9   750199   11442    240  5345  89674  484962 177824   46.5  11   90
292.47/292.52	c +  292.5   750199   11442    240  5345  89674  494380 195565   46.2   9   94
320.16/320.26	c s  320.2   750200   11442    240  5345  89674  536146 195941   45.4   9   92
338.67/338.79	c s  338.8   750218   11442    240  5345  89674  564842 195667   45.1  10   92
356.76/356.81	c s  356.8   750231   11442    240  5345  89674  592296 195676   44.8   8   92
372.17/372.29	c +  372.3   750253   11442    240  5345  89674  617975 215121   44.7   6   98
373.86/373.98	c s  374.0   750251   11442    240  5345  89674  619966 197600   44.7   4   91
391.76/391.86	c
391.76/391.86	c       original/binary      fixed     eliminated      learned       agility
391.76/391.86	c   seconds        variables     equivalent    conflicts       height       MB
391.76/391.86	c
391.76/391.86	c s  391.8   750315   11442    240  5345  89674  648043 215226   44.6  12   95
410.97/411.04	c s  411.0   750327   11442    240  5345  89674  676174 215307   44.3   6   95
430.86/430.94	c s  430.9   750401   11442    240  5345  89674  705018 215305   44.2   5   95
449.56/449.65	c s  449.6   750420   11442    240  5345  89674  735141 215204   44.0   7   95
469.44/469.50	c s  469.5   750431   11442    240  5345  89674  762952 215273   43.8   6   95
476.44/476.52	c +  476.5   750432   11442    240  5345  89674  772465 236633   43.8  12  102
489.54/489.68	c s  489.6   750437   11442    240  5345  89674  789737 232507   43.7   8   98
509.74/509.87	c s  509.8   750441   11442    240  5345  89674  818764 236707   43.5  11   99
530.05/530.15	c s  530.1   750449   11442    240  5345  89674  846471 236821   43.4  11   99
549.54/549.65	c s  549.6   750458   11442    240  5345  89674  874959 237088   43.2  10   99
563.84/563.93	c B  563.9   750514   11442    240  5345  89674  896263 236860   43.1  11  106
569.74/569.85	c s  569.8   750590   11442    240  5345  89674  902726 236787   43.1   5   99
589.74/589.81	c s  589.8   750607   11442    240  5345  89674  930726 236899   43.0  15   99
608.84/608.94	c s  608.9   750610   11442    240  5345  89674  959618 237077   43.1   8   99
612.54/612.62	c +  612.6   750610   11442    240  5345  89674  965582 260296   43.0  21  104
627.15/627.21	c s  627.2   750616   11442    240  5345  89674  986651 258111   43.0   5  103
666.35/666.44	c R  666.4   750616   11442    240  5345  89674 1042078 260478   42.9  10  112
694.35/694.46	c s  694.4   750617   11442    240  5345  89674 1078344 260569   42.7  16  105
717.35/717.44	c s  717.4   750620   11442    240  5345  89674 1104156 260469   42.8   7  107
739.75/739.81	c
739.75/739.81	c       original/binary      fixed     eliminated      learned       agility
739.75/739.81	c   seconds        variables     equivalent    conflicts       height       MB
739.75/739.81	c
739.75/739.81	c s  739.8   750638   11442    240  5345  89674 1133638 260409   42.5   8  107
762.15/762.25	c s  762.2   750640   11442    240  5345  89674 1162525 260376   42.4   9  106
783.65/783.79	c s  783.8   750650   11442    240  5345  89674 1192619 260541   42.3  14  106
794.04/794.18	c +  794.1   750651   11442    240  5345  89674 1206976 286325   42.3   7  113
805.84/805.93	c s  805.9   750654   11442    240  5345  89674 1220371 273854   42.3   8  108
829.14/829.22	c s  829.2   750660   11442    240  5345  89674 1248670 286443   42.1   7  109
852.85/852.98	c s  852.9   750665   11442    240  5345  89674 1277247 286412   42.0   9  108
875.76/875.88	c s  875.8   750666   11442    240  5345  89674 1307838 286547   41.9  12  108
900.34/900.46	c s  900.4   750669   11442    240  5345  89674 1337605 286403   41.8   6  107
924.05/924.11	c s  924.1   750671   11442    240  5345  89674 1366820 286459   41.7  10  107
947.95/948.03	c s  948.0   750673   11442    240  5345  89674 1395598 286667   41.7  15  107
974.55/974.64	c s  974.6   750674   11442    240  5345  89674 1431991 286632   41.6   7  107
1031.75/1031.83	c + 1031.8   750674   11442    240  5345  89674 1508721 314957   41.4   7  118
1050.15/1050.29	c s 1050.3   750677   11442    240  5345  89674 1531508 309356   41.3   7  111
1075.25/1075.39	c s 1075.4   750678   11442    240  5345  89674 1561243 315058   41.2   5  112
1186.16/1186.21	c s 1186.2   750679   11442    240  5345  89674 1694264 315194   40.7   5  111
1212.15/1212.20	c s 1212.2   750684   11442    240  5345  89674 1726701 315240   40.6   4  111
1237.16/1237.24	c s 1237.2   750685   11442    240  5345  89674 1757745 315058   40.5  14  111
1263.55/1263.62	c s 1263.6   750697   11442    240  5345  89674 1788273 315081   40.4   7  111
1288.85/1288.94	c
1288.85/1288.94	c       original/binary      fixed     eliminated      learned       agility
1288.85/1288.94	c   seconds        variables     equivalent    conflicts       height       MB
1288.85/1288.94	c
1288.85/1288.94	c s 1288.9   750705   11442    240  5345  89674 1819437 315173   40.3  13  111
1299.96/1300.00	c
1299.96/1300.00	c *** CAUGHT SIGNAL 15 ***
1299.96/1300.00	c
1299.96/1300.00	c 1834375 conflicts, 2864823 decisions, 904 random
1299.96/1300.00	c 16 iterations, 3631 restarts, 3 skipped
1299.96/1300.00	c 14 enlarged, 14608 shrunken, 17938 rescored, 507 rebiased
1299.96/1300.00	c 58 simplifications, 0 reductions
1299.96/1300.00	c
1299.96/1300.00	c vars: 240 fixed, 5345 equiv, 89674 elim, 5345 merged
1299.96/1300.00	c elim: 3244966 resolutions, 5 phases, 2 rounds
1299.96/1300.00	c sbst: 77% substituted, 0.1% nots, 99.9% ands, 0.0% xors, 0.0% ites
1299.96/1300.00	c arty: 2.03 and 2.00 xor average arity
1299.96/1300.00	c prbe: 991834 probed, 2015 phases, 43 rounds
1299.96/1300.00	c prbe: 47 failed, 1 lifted, 1049 merged
1299.96/1300.00	c sccs: 33 non trivial, 0 fixed, 113 merged
1299.96/1300.00	c hash: 6 units, 4183 merged
1299.96/1300.00	c mins: 64599448 learned, 35% deleted, 272 strong, 65 depth
1299.96/1300.00	c subs: 13248 forward, 41208 backward, 35097 doms
1299.96/1300.00	c strs: 20440 forward, 1785 backward
1299.96/1300.00	c doms: 45233 dominators, 23233 high, 33 low
1299.96/1300.00	c prps: 2537849667 propagations, 1.95 megaprops
1299.96/1300.00	c
1299.96/1300.00	c 1300.0 seconds, 125 MB max, 277 MB recycled
1299.96/1300.00	c
1299.96/1300.00	c *** CAUGHT SIGNAL 15 ***
1299.96/1300.00	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3308347-1303983197/watcher-3308347-1303983197 -o /tmp/evaluation-result-3308347-1303983197/solver-3308347-1303983197 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308347-1303983197.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=7232 CPUtime=0 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 1520 0 0 0 0 0 0 0 21 0 1 0 509918338 7405568 1476 33554432000 134512640 135151029 4287991072 18446744073709551615 134534799 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2994/statm: 1808 1489 60 156 0 1651 0

[startup+0.0339051 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=12596 CPUtime=0.03 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 3089 0 0 0 3 0 0 0 21 0 1 0 509918338 12898304 3012 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 3149 3012 65 156 0 2992 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12596

[startup+0.100886 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=20096 CPUtime=0.09 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 5138 0 0 0 9 0 0 0 21 0 1 0 509918338 20578304 4867 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 5024 4868 65 156 0 4867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096

[startup+0.30086 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=37960 CPUtime=0.29 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 10390 0 0 0 28 1 0 0 22 0 1 0 509918338 38871040 9349 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 9490 9350 65 156 0 9333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37960

[startup+0.700779 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=46668 CPUtime=0.69 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 14819 0 0 0 67 2 0 0 24 0 1 0 509918338 47788032 11436 33554432000 134512640 135151029 4287991072 18446744073709551615 134681534 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 11667 11436 80 156 0 11510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46668

[startup+1.50064 s]
/proc/loadavg: 0.00 0.00 0.00 5/182 3014
/proc/meminfo: memFree=23416900/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=60344 CPUtime=1.49 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 20220 0 0 0 146 3 0 0 25 0 1 0 509918338 61792256 14913 33554432000 134512640 135151029 4287991072 18446744073709551615 134575279 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 15086 14913 80 156 0 14929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60344

[startup+3.10037 s]
/proc/loadavg: 0.00 0.00 0.00 5/188 3026
/proc/meminfo: memFree=23121976/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=66584 CPUtime=3.09 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 21376 0 0 0 306 3 0 0 25 0 1 0 509918338 68182016 16069 33554432000 134512640 135151029 4287991072 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 16646 16069 80 156 0 16489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66584

[startup+6.30082 s]
/proc/loadavg: 0.32 0.07 0.02 5/188 3026
/proc/meminfo: memFree=22909140/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=60156 CPUtime=6.29 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 23316 0 0 0 626 3 0 0 25 0 1 0 509918338 61599744 14440 33554432000 134512640 135151029 4287991072 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 15039 14440 80 156 0 14882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60156

[startup+12.7007 s]
/proc/loadavg: 0.93 0.20 0.06 6/188 3026
/proc/meminfo: memFree=22859828/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=73524 CPUtime=12.69 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 33376 0 0 0 1265 4 0 0 25 0 1 0 509918338 75288576 17829 33554432000 134512640 135151029 4287991072 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 18381 17829 80 156 0 18224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73524

[startup+25.5005 s]
/proc/loadavg: 1.97 0.46 0.15 5/188 3027
/proc/meminfo: memFree=22844884/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=79720 CPUtime=25.49 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 51942 0 0 0 2541 8 0 0 25 0 1 0 509918338 81633280 19346 33554432000 134512640 135151029 4287991072 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 19930 19346 80 156 0 19773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79720

[startup+51.1011 s]
/proc/loadavg: 2.66 0.75 0.25 5/188 3027
/proc/meminfo: memFree=22712380/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=89796 CPUtime=51.08 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 68018 0 0 0 5097 11 0 0 25 0 1 0 509918338 91951104 21884 33554432000 134512640 135151029 4287991072 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 22449 21884 80 156 0 22292 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89796

[startup+102.306 s]
/proc/loadavg: 3.56 1.29 0.46 5/188 3057
/proc/meminfo: memFree=21930216/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=97076 CPUtime=102.28 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 82826 0 0 0 10214 14 0 0 25 0 1 0 509918338 99405824 23651 33554432000 134512640 135151029 4287991072 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 24269 23651 80 156 0 24112 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 97076

[startup+162.301 s]
/proc/loadavg: 3.84 1.78 0.68 5/188 3058
/proc/meminfo: memFree=21059316/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=103320 CPUtime=162.27 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 102033 0 0 0 16209 18 0 0 25 0 1 0 509918338 105799680 25238 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 25830 25238 80 156 0 25673 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 103320

[startup+222.301 s]
/proc/loadavg: 3.94 2.18 0.89 5/188 3060
/proc/meminfo: memFree=20677440/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=104880 CPUtime=222.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 120573 0 0 0 22205 21 0 0 25 0 1 0 509918338 107397120 25673 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 26220 25673 80 156 0 26063 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 104880

[startup+282.3 s]
/proc/loadavg: 3.98 2.51 1.08 5/188 3061
/proc/meminfo: memFree=19909596/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=108152 CPUtime=282.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 134486 0 0 0 28202 24 0 0 25 0 1 0 509918338 110747648 26444 33554432000 134512640 135151029 4287991072 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 27038 26444 80 156 0 26881 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 108152

[startup+342.301 s]
/proc/loadavg: 3.99 2.78 1.26 5/188 3063
/proc/meminfo: memFree=19393472/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=109304 CPUtime=342.27 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 149133 0 0 0 34200 27 0 0 25 0 1 0 509918338 111927296 26764 33554432000 134512640 135151029 4287991072 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 27326 26764 80 156 0 27169 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 109304

[startup+402.301 s]
/proc/loadavg: 4.76 3.16 1.48 4/184 3088
/proc/meminfo: memFree=19097320/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=113784 CPUtime=402.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 164227 0 0 0 40195 31 0 0 25 0 1 0 509918338 116514816 27811 33554432000 134512640 135151029 4287991072 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 28446 27811 80 156 0 28289 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 113784

[startup+462.3 s]
/proc/loadavg: 5.63 3.73 1.78 5/184 3114
/proc/meminfo: memFree=18264780/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=114588 CPUtime=462.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 177972 0 0 0 46189 35 0 0 25 0 1 0 509918338 117338112 28057 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 28647 28057 80 156 0 28490 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 114588

[startup+522.301 s]
/proc/loadavg: 7.50 4.61 2.20 4/184 3117
/proc/meminfo: memFree=18422436/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=119076 CPUtime=522.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 192091 0 0 0 52173 51 0 0 25 0 1 0 509918338 121933824 29136 33554432000 134512640 135151029 4287991072 18446744073709551615 134542684 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 29769 29136 80 156 0 29612 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 119076

[startup+582.301 s]
/proc/loadavg: 8.43 5.39 2.62 4/184 3118
/proc/meminfo: memFree=18593268/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=119228 CPUtime=582.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 205692 0 0 0 58157 67 0 0 25 0 1 0 509918338 122089472 29164 33554432000 134512640 135151029 4287991072 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 29807 29164 80 156 0 29650 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 119228

[startup+642.3 s]
/proc/loadavg: 8.73 6.06 3.02 5/184 3120
/proc/meminfo: memFree=18803620/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=122036 CPUtime=642.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 219844 0 0 0 64148 77 0 0 25 0 1 0 509918338 124964864 29931 33554432000 134512640 135151029 4287991072 18446744073709551615 134554562 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 30509 29931 80 156 0 30352 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 122036

[startup+702.301 s]
/proc/loadavg: 8.39 6.46 3.35 4/186 3125
/proc/meminfo: memFree=18992996/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=125364 CPUtime=702.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 225643 0 0 0 70134 90 0 0 25 0 1 0 509918338 128372736 30756 33554432000 134512640 135151029 4287991072 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 31341 30756 80 156 0 31184 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 125364

[startup+762.301 s]
/proc/loadavg: 8.03 6.70 3.62 5/186 3126
/proc/meminfo: memFree=19178272/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=125712 CPUtime=762.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 240230 0 0 0 76127 98 0 0 25 0 1 0 509918338 128729088 30851 33554432000 134512640 135151029 4287991072 18446744073709551615 134580527 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 31428 30851 80 156 0 31271 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 125712

[startup+822.3 s]
/proc/loadavg: 7.79 6.88 3.88 5/186 3128
/proc/meminfo: memFree=19328200/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=131120 CPUtime=822.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 250577 0 0 0 82118 107 0 0 25 0 1 0 509918338 134266880 32113 33554432000 134512640 135151029 4287991072 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32780 32113 80 156 0 32623 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 131120

[startup+882.301 s]
/proc/loadavg: 7.90 7.09 4.14 4/186 3129
/proc/meminfo: memFree=19422388/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=130688 CPUtime=882.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 264353 0 0 0 88109 116 0 0 25 0 1 0 509918338 133824512 32124 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32672 32124 80 156 0 32515 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 130688

[startup+942.301 s]
/proc/loadavg: 8.21 7.32 4.40 5/186 3131
/proc/meminfo: memFree=19622128/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=130688 CPUtime=942.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 273275 0 0 0 94099 126 0 0 25 0 1 0 509918338 133824512 32127 33554432000 134512640 135151029 4287991072 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32672 32127 80 156 0 32515 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 130688

[startup+1002.31 s]
/proc/loadavg: 7.94 7.41 4.61 6/186 3133
/proc/meminfo: memFree=19788808/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=131632 CPUtime=1002.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 282253 0 0 0 100087 139 0 0 25 0 1 0 509918338 134791168 32274 33554432000 134512640 135151029 4287991072 18446744073709551615 134551385 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32908 32274 80 156 0 32751 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 131632

[startup+1062.3 s]
/proc/loadavg: 8.35 7.67 4.88 4/186 3162
/proc/meminfo: memFree=20913660/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135044 CPUtime=1062.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 287146 0 0 0 106077 148 0 0 25 0 1 0 509918338 138285056 33163 33554432000 134512640 135151029 4287991072 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33761 33163 80 156 0 33604 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 135044

[startup+1122.3 s]
/proc/loadavg: 8.27 7.77 5.08 5/186 3164
/proc/meminfo: memFree=20610464/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=136800 CPUtime=1122.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 291501 0 0 0 112069 156 0 0 25 0 1 0 509918338 140083200 33514 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 34200 33514 80 156 0 34043 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 136800

[startup+1182.3 s]
/proc/loadavg: 8.20 7.83 5.27 4/186 3165
/proc/meminfo: memFree=20693164/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=139004 CPUtime=1182.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 291896 0 0 0 118060 165 0 0 25 0 1 0 509918338 142340096 33909 33554432000 134512640 135151029 4287991072 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 34751 33909 80 156 0 34594 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 139004

[startup+1242.3 s]
/proc/loadavg: 7.78 7.77 5.41 4/186 3167
/proc/meminfo: memFree=20600672/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135216 CPUtime=1242.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 304082 0 0 0 124047 178 0 0 25 0 1 0 509918338 138461184 33244 33554432000 134512640 135151029 4287991072 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33804 33244 80 156 0 33647 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 135216



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.00 7.85 5.58 4/186 3168
/proc/meminfo: memFree=20732396/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135368 CPUtime=1299.96 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 312185 0 0 0 129808 188 0 0 25 0 1 0 509918338 138616832 33269 33554432000 134512640 135151029 4287991072 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33842 33269 80 156 0 33685 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 135368

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1299.98
CPU user time (s): 1298.09
CPU system time (s): 1.88671
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 140672

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

runsolver used 2.03869 second user time and 5.09422 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-28 11:33:17
IDJOB=3308347
IDBENCH=20406
IDSOLVER=1690
FILE ID=node128/3308347-1303983197
RUNJOBID= node128-1303983196-2985
PBS_JOBID= 13168698
Free space on /tmp= 66968 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308347-1303983197/watcher-3308347-1303983197 -o /tmp/evaluation-result-3308347-1303983197/solver-3308347-1303983197 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308347-1303983197.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=306077417

node128.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.852
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.70
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.852
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.852
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.82
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      23563056 kB
Buffers:       1349012 kB
Cached:        7351396 kB
SwapCached:        160 kB
Active:        1821792 kB
Inactive:      6943424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      23563056 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7164 kB
Writeback:           8 kB
AnonPages:       64216 kB
Mapped:          14748 kB
Slab:           559408 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   184904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 63068 MiB
End job on node128 at 2011-04-28 11:54:59