Trace number 3365969

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) 5000.12 4999.97

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2417.94
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

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-3365969-1305321273.cnf
0.00/0.00	c found header 'p cnf 15364 2133873'
1.59/1.67	c finished parsing
1.59/1.67	c
1.59/1.67	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.59/1.67	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.59/1.67	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.59/1.67	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.59/1.67	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.59/1.67	c --random=1 --spread=2000 --seed=0 --skip=25
1.59/1.67	c
1.59/1.67	c sizeof     vars[0] = 16   alignment = 0       0 MB
1.59/1.67	c sizeof     orgs[0] =  8   alignment = 0       0 MB
1.59/1.67	c sizeof     occs[0] =  8   alignment = 0       0 MB
1.59/1.67	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
1.59/1.67	c
1.59/1.67	c starting search after 1.7 seconds
1.59/1.67	c no decision limit
1.69/1.73	c
1.69/1.73	c       original/binary      fixed     eliminated      learned       agility
1.69/1.73	c   seconds        variables     equivalent    conflicts       height       MB
1.69/1.73	c
1.69/1.73	c *    1.7  2133489   15256     16    92      0       0      0    0.0   0  169
4.89/4.90	c s    4.9  2132931   13612    512    92   1148       0      0    0.0   0  165
4.89/4.90	c l    4.9  2132931   13612    512    92   1148       0 2093790    0.0   0  165
4.89/4.91	c R    4.9  2132932   13612    512    92   1148     100    100  100.4   4  167
4.89/4.93	c R    4.9  2132975   13612    512    92   1148     200    199   85.6   2  168
4.99/5.01	c R    5.0  2133061   13612    512    92   1148     803    801  117.3   4  173
5.09/5.12	c B    5.1  2133140   13612    512    92   1148    1000    998  129.2   4  174
6.09/6.13	c B    6.1  2140675   13612    512    92   1148    2001   1995  106.1   7  183
6.19/6.22	c R    6.2  2140722   13612    512    92   1148    2409   2403   96.6   4  184
10.49/10.52	c B   10.5  2173362   13593    529    94   1148    8003   7988   81.1   4  222
11.19/11.22	c R   11.2  2173790   13593    529    94   1148   11274  11259   88.2   3  224
14.19/14.24	c R   14.2  2175339   13592    530    94   1148   20902  20879   79.3   3  228
14.99/15.07	c B   15.1  2175869   13591    531    94   1148   24008  23984   78.3   4  229
21.09/21.18	c R   21.2  2178371   13589    533    94   1148   43367  43334   79.4   4  238
29.40/29.48	c B   29.5  2182034   13580    541    95   1148   64024  63983   82.0   3  247
63.99/64.08	c s   64.1  2182468   13574    543    95   1152  127586  74100   82.2   3  189
77.90/77.97	c B   78.0  2187762   13545    571    96   1152  160057 106555   84.1   4  250
132.89/132.91	c s  132.9  2115426   13355    754   102   1153  255360 174563   85.9   3  219
132.89/132.91	c -  132.9  2115426   13355    754   102   1153  255360 2010039   85.9   3  219
138.19/138.27	c
138.19/138.27	c       original/binary      fixed     eliminated      learned       agility
138.19/138.27	c   seconds        variables     equivalent    conflicts       height       MB
138.19/138.27	c
138.19/138.27	c R  138.3  2115646   13350    758   103   1153  269092 188295   86.6   3  254
206.39/206.49	c B  206.5  2122319   13306    797   108   1153  384157 303350   85.8   4  337
210.30/210.36	c s  210.4  2116852   13306    797   108   1153  384959 302452   85.8   3  285
277.00/277.08	c R  277.1  2117737   13306    797   108   1153  483770 401262   85.2   4  391
313.90/313.95	c s  314.0  2117451   13285    817   108   1154  517677 382334   84.3   4  311
433.81/433.86	c s  433.9  2118053   13267    834   108   1155  652535 413858   83.5   4  307
554.81/554.89	c s  554.9  2113680   13244    857   108   1155  787951 549023   81.8   4  378
650.81/650.88	c B  650.9  2114196   13243    857   109   1155  896302 657374   83.3   3  505
693.51/693.54	c s  693.6  2114146   13242    857   109   1156  928966 576162   83.1   2  381
712.01/712.01	c R  712.0  2114147   13242    857   109   1156  958902 606098   83.5   5  451
845.21/845.26	c s  845.3  2114770   13240    858   109   1157 1077671 650011   84.3   2  411
1011.12/1011.16	c s 1011.2  2115765   13235    863   109   1157 1224144 796361   84.3   3  498
1221.23/1221.25	c s 1221.3  2117277   13231    866   109   1158 1372506 836501   84.2   3  498
1425.93/1425.96	c s 1426.0  2116122   13209    885   112   1158 1523928 983691   84.7   2  587
1673.05/1673.08	c s 1673.1  2117029   13207    886   112   1159 1682792 1027179   85.0   2  604
1933.15/1933.11	c s 1933.2  2117675   13205    888   112   1159 1845652 1190001   84.9   3  707
2139.75/2139.79	c + 2139.9  2117817   13205    888   112   1159 2010039 2211042   86.4   4  914
2194.95/2194.95	c s 2195.0  2117799   13204    888   112   1160 2032899 1163712   86.6   3  651
2214.15/2214.16	c B 2214.2  2117799   13204    888   112   1160 2048567 1179380   86.6   2  719
2459.27/2459.28	c
2459.27/2459.28	c       original/binary      fixed     eliminated      learned       agility
2459.27/2459.28	c   seconds        variables     equivalent    conflicts       height       MB
2459.27/2459.28	c
2459.27/2459.28	c s 2459.4  2118058   13200    892   112   1160 2198119 1328910   87.3   4  760
2782.68/2782.68	c s 2782.8  2118890   13200    892   112   1160 2374477 1505254   87.5   2  879
3055.08/3055.05	c + 3055.1  2119713   13196    896   112   1160 2512546 2432146   87.0   4 1071
3055.08/3055.05	c R 3055.1  2119713   13196    896   112   1160 2512556 1643326   87.0   4 1071
3179.28/3179.20	c s 3179.3  2119515   13195    896   112   1161 2562080 1643894   86.7   3  959
3605.49/3605.40	c s 3605.5  2109774   13134    957   112   1161 2760885 1837691   87.3   3 1099
4125.52/4125.45	c s 4125.6  2113551   13115    976   112   1161 2959219 2028750   87.2   3 1224
4606.32/4606.29	c + 4606.4  2114076   13115    976   112   1161 3140680 2675360   87.4   3 1473
4707.13/4707.09	c s 4707.2  2114120   13114    976   112   1162 3178642 2056456   87.4   4 1192
5000.05/4999.90	c
5000.05/4999.90	c *** CAUGHT SIGNAL 15 ***
5000.05/4999.90	c
5000.05/4999.91	c 3305857 conflicts, 7788865 decisions, 3904 random
5000.05/4999.91	c 12 iterations, 7112 restarts, 0 skipped
5000.05/4999.91	c 3 enlarged, 192 shrunken, 32326 rescored, 765 rebiased
5000.05/4999.91	c 21 simplifications, 0 reductions
5000.05/4999.91	c
5000.05/4999.91	c vars: 976 fixed, 112 equiv, 1162 elim, 120 merged
5000.05/4999.91	c elim: 12792725 resolutions, 21 phases, 0 rounds
5000.05/4999.91	c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.05/4999.91	c arty: 2.21 and 0.00 xor average arity
5000.05/4999.91	c prbe: 1885492 probed, 2143 phases, 71 rounds
5000.05/4999.91	c prbe: 182 failed, 9 lifted, 4 merged
5000.05/4999.91	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.05/4999.91	c hash: 4 units, 116 merged
5000.05/4999.91	c mins: 495593743 learned, 37% deleted, 136 strong, 60 depth
5000.05/4999.91	c subs: 3280 forward, 620 backward, 39693 doms
5000.05/4999.91	c strs: 0 forward, 0 backward
5000.05/4999.91	c doms: 40361 dominators, 37440 high, 133 low
5000.05/4999.91	c prps: 2495323367 propagations, 0.50 megaprops
5000.05/4999.91	c
5000.05/4999.91	c 5000.1 seconds, 1503 MB max, 937 MB recycled
5000.05/4999.91	c
5000.05/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.05/4999.91	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: 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-3365969-1305321273/watcher-3365969-1305321273 -o /tmp/evaluation-result-3365969-1305321273/solver-3365969-1305321273 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365969-1305321273.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: 2.05 2.04 2.00 2/250 7374
/proc/meminfo: memFree=15668460/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=2840 CPUtime=0 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 611 0 0 0 0 0 0 0 23 0 1 0 643725485 2908160 568 33554432000 134512640 135151029 4293376960 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 710 569 64 156 0 553 0

[startup+0.0813139 s]
/proc/loadavg: 2.05 2.04 2.00 2/250 7374
/proc/meminfo: memFree=15668460/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=9244 CPUtime=0.07 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 2193 0 0 0 7 0 0 0 23 0 1 0 643725485 9465856 2150 33554432000 134512640 135151029 4293376960 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 2311 2150 64 156 0 2154 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9244

[startup+0.100308 s]
/proc/loadavg: 2.05 2.04 2.00 2/250 7374
/proc/meminfo: memFree=15668460/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=10864 CPUtime=0.09 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 2605 0 0 0 9 0 0 0 23 0 1 0 643725485 11124736 2562 33554432000 134512640 135151029 4293376960 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 2716 2562 64 156 0 2559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10864

[startup+0.300276 s]
/proc/loadavg: 2.05 2.04 2.00 2/250 7374
/proc/meminfo: memFree=15668460/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=34364 CPUtime=0.29 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 8504 0 0 0 28 1 0 0 25 0 1 0 643725485 35188736 8363 33554432000 134512640 135151029 4293376960 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 8591 8364 65 156 0 8434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34364

[startup+0.700201 s]
/proc/loadavg: 2.05 2.04 2.00 2/250 7374
/proc/meminfo: memFree=15668460/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=82712 CPUtime=0.69 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 20141 0 0 0 65 4 0 0 25 0 1 0 643725485 84697088 20000 33554432000 134512640 135151029 4293376960 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 20678 20002 65 156 0 20521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82712

[startup+1.50107 s]
/proc/loadavg: 2.05 2.04 2.00 3/251 7375
/proc/meminfo: memFree=15557108/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=163444 CPUtime=1.49 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 39319 0 0 0 141 8 0 0 25 0 1 0 643725485 167366656 39178 33554432000 134512640 135151029 4293376960 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 40861 39179 65 156 0 40704 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163444

[startup+3.10076 s]
/proc/loadavg: 2.05 2.04 2.00 3/251 7375
/proc/meminfo: memFree=15465968/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=287472 CPUtime=3.09 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 72004 0 0 0 296 13 0 0 25 0 1 0 643725485 294371328 66923 33554432000 134512640 135151029 4293376960 18446744073709551615 134578746 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 71868 66924 80 156 0 71711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 287472

[startup+6.30119 s]
/proc/loadavg: 2.05 2.04 2.00 3/251 7375
/proc/meminfo: memFree=15391984/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=293556 CPUtime=6.29 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 74386 0 0 0 616 13 0 0 25 0 1 0 643725485 300601344 69305 33554432000 134512640 135151029 4293376960 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 73389 69305 80 156 0 73232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 293556

[startup+12.701 s]
/proc/loadavg: 2.04 2.04 2.00 3/251 7375
/proc/meminfo: memFree=15389012/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=293556 CPUtime=12.69 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 75170 0 0 0 1256 13 0 0 25 0 1 0 643725485 300601344 70089 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 73389 70089 80 156 0 73232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 293556

[startup+25.5007 s]
/proc/loadavg: 2.03 2.04 2.00 3/251 7375
/proc/meminfo: memFree=15386176/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=293556 CPUtime=25.5 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 75952 0 0 0 2536 14 0 0 25 0 1 0 643725485 300601344 70871 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 73389 70871 80 156 0 73232 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 293556

[startup+51.101 s]
/proc/loadavg: 2.09 2.05 2.00 3/251 7376
/proc/meminfo: memFree=15376764/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=293556 CPUtime=51.09 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 77680 0 0 0 5095 14 0 0 25 0 1 0 643725485 300601344 72599 33554432000 134512640 135151029 4293376960 18446744073709551615 134554837 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 73389 72599 80 156 0 73232 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 293556

[startup+102.31 s]
/proc/loadavg: 2.04 2.04 2.00 3/251 7377
/proc/meminfo: memFree=15365744/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=300228 CPUtime=102.31 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 89900 0 0 0 10215 16 0 0 25 0 1 0 643725485 307433472 74863 33554432000 134512640 135151029 4293376960 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 75057 74863 80 156 0 74900 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 300228

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/251 7379
/proc/meminfo: memFree=15340976/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=323916 CPUtime=162.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 105434 0 0 0 16211 19 0 0 25 0 1 0 643725485 331689984 80874 33554432000 134512640 135151029 4293376960 18446744073709551615 134520160 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 80979 80874 80 156 0 80822 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 323916

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/251 7381
/proc/meminfo: memFree=15299932/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=364560 CPUtime=222.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 126666 0 0 0 22206 24 0 0 25 0 1 0 643725485 373309440 90991 33554432000 134512640 135151029 4293376960 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 91140 90991 80 156 0 90983 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 364560

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/251 7382
/proc/meminfo: memFree=15250836/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=422640 CPUtime=282.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 139242 0 0 0 28202 28 0 0 25 0 1 0 643725485 432783360 103567 33554432000 134512640 135151029 4293376960 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 105660 103567 80 156 0 105503 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 422640

[startup+342.301 s]
/proc/loadavg: 2.21 2.06 2.01 3/251 7384
/proc/meminfo: memFree=15225936/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=439076 CPUtime=342.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 155426 0 0 0 34200 30 0 0 25 0 1 0 643725485 449613824 109529 33554432000 134512640 135151029 4293376960 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 109769 109529 80 156 0 109612 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 439076

[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/251 7385
/proc/meminfo: memFree=15206268/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=452308 CPUtime=402.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 158410 0 0 0 40199 31 0 0 25 0 1 0 643725485 463163392 112513 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 113077 112513 80 156 0 112920 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 452308

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/251 7387
/proc/meminfo: memFree=15158736/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=468940 CPUtime=462.31 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 173166 0 0 0 46196 35 0 0 25 0 1 0 643725485 480194560 117075 33554432000 134512640 135151029 4293376960 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 117235 117075 80 156 0 117078 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 468940

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/251 7389
/proc/meminfo: memFree=15148248/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=470348 CPUtime=522.31 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 173359 0 0 0 52196 35 0 0 25 0 1 0 643725485 481636352 117268 33554432000 134512640 135151029 4293376960 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 117587 117268 80 156 0 117430 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 470348

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/251 7390
/proc/meminfo: memFree=15137472/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=484664 CPUtime=582.3 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 185269 0 0 0 58194 36 0 0 25 0 1 0 643725485 496295936 120324 33554432000 134512640 135151029 4293376960 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 121166 120324 80 156 0 121009 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 484664

[startup+642.3 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.51 1.91 1.96 2/245 7513
/proc/meminfo: memFree=14452076/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1390608 CPUtime=4062.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 459850 0 0 0 406113 129 0 0 25 0 1 0 643725485 1423982592 343781 33554432000 134512640 135151029 4293376960 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 347652 343781 80 156 0 347495 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 1390608

[startup+4122.3 s]
/proc/loadavg: 1.25 1.75 1.90 2/245 7515
/proc/meminfo: memFree=14435316/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1397700 CPUtime=4122.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 464996 0 0 0 412111 131 0 0 25 0 1 0 643725485 1431244800 348043 33554432000 134512640 135151029 4293376960 18446744073709551615 134521818 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 349425 348043 80 156 0 349268 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 1397700

[startup+4182.3 s]
/proc/loadavg: 1.09 1.61 1.84 2/245 7516
/proc/meminfo: memFree=14433432/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1397700 CPUtime=4182.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 465470 0 0 0 418111 131 0 0 25 0 1 0 643725485 1431244800 348517 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 349425 348517 80 156 0 349268 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 1397700

[startup+4242.3 s]
/proc/loadavg: 1.08 1.52 1.79 2/245 7518
/proc/meminfo: memFree=14420132/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1415632 CPUtime=4242.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 468781 0 0 0 424110 132 0 0 25 0 1 0 643725485 1449607168 351828 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 353908 351828 80 156 0 353751 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 1415632

[startup+4302.3 s]
/proc/loadavg: 1.03 1.42 1.74 2/245 7519
/proc/meminfo: memFree=14397292/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1442040 CPUtime=4302.41 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 474551 0 0 0 430107 134 0 0 25 0 1 0 643725485 1476648960 357598 33554432000 134512640 135151029 4293376960 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 360510 357598 80 156 0 360353 0
Current children cumulated CPU time (s) 4302.41
Current children cumulated vsize (KiB) 1442040

[startup+4362.3 s]
/proc/loadavg: 1.04 1.35 1.69 2/245 7521
/proc/meminfo: memFree=14383008/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1457268 CPUtime=4362.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 478172 0 0 0 436105 137 0 0 25 0 1 0 643725485 1492242432 361219 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 364317 361219 80 156 0 364160 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 1457268

[startup+4422.3 s]
/proc/loadavg: 1.01 1.29 1.65 2/245 7523
/proc/meminfo: memFree=14366740/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1474728 CPUtime=4422.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 482205 0 0 0 442103 139 0 0 25 0 1 0 643725485 1510121472 365252 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 368682 365252 80 156 0 368525 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 1474728

[startup+4482.3 s]
/proc/loadavg: 1.04 1.25 1.61 2/245 7524
/proc/meminfo: memFree=14351584/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1491836 CPUtime=4482.43 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 486072 0 0 0 448102 141 0 0 25 0 1 0 643725485 1527640064 369119 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 372959 369119 80 156 0 372802 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 1491836

[startup+4542.3 s]
/proc/loadavg: 1.01 1.20 1.57 2/245 7526
/proc/meminfo: memFree=14331092/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1513672 CPUtime=4542.43 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 491134 0 0 0 454100 143 0 0 25 0 1 0 643725485 1550000128 374181 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 378418 374181 80 156 0 378261 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 1513672

[startup+4602.3 s]
/proc/loadavg: 1.06 1.17 1.53 2/245 7527
/proc/meminfo: memFree=14308128/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1537016 CPUtime=4602.43 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 496716 0 0 0 460098 145 0 0 25 0 1 0 643725485 1573904384 379763 33554432000 134512640 135151029 4293376960 18446744073709551615 134578124 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 384254 379763 80 156 0 384097 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 1537016

[startup+4662.3 s]
/proc/loadavg: 1.17 1.17 1.51 2/245 7529
/proc/meminfo: memFree=14285160/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1561128 CPUtime=4662.42 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 502545 0 0 0 466094 148 0 0 25 0 1 0 643725485 1598595072 385592 33554432000 134512640 135151029 4293376960 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390282 385592 80 156 0 390125 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 1561128

[startup+4722.31 s]
/proc/loadavg: 1.06 1.14 1.47 2/245 7531
/proc/meminfo: memFree=14271624/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563208 CPUtime=4722.44 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 506855 0 0 0 472094 150 0 0 25 0 1 0 643725485 1600724992 388993 33554432000 134512640 135151029 4293376960 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390802 388993 80 156 0 390645 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 1563208

[startup+4782.3 s]
/proc/loadavg: 1.06 1.13 1.45 2/245 7532
/proc/meminfo: memFree=14270740/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563208 CPUtime=4782.43 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507091 0 0 0 478093 150 0 0 25 0 1 0 643725485 1600724992 389229 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390802 389229 80 156 0 390645 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 1563208

[startup+4842.3 s]
/proc/loadavg: 1.06 1.11 1.42 2/245 7534
/proc/meminfo: memFree=14270340/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563208 CPUtime=4842.44 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507188 0 0 0 484094 150 0 0 25 0 1 0 643725485 1600724992 389326 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390802 389326 80 156 0 390645 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 1563208

[startup+4902.3 s]
/proc/loadavg: 1.02 1.09 1.39 2/245 7535
/proc/meminfo: memFree=14269824/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563208 CPUtime=4902.44 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507373 0 0 0 490094 150 0 0 25 0 1 0 643725485 1600724992 389511 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390802 389511 80 156 0 390645 0
Current children cumulated CPU time (s) 4902.44
Current children cumulated vsize (KiB) 1563208

[startup+4962.3 s]
/proc/loadavg: 1.05 1.09 1.37 2/245 7537
/proc/meminfo: memFree=14269540/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563208 CPUtime=4962.44 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507438 0 0 0 496094 150 0 0 25 0 1 0 643725485 1600724992 389576 33554432000 134512640 135151029 4293376960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390802 389576 80 156 0 390645 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 1563208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.03 1.07 1.35 2/245 7538
/proc/meminfo: memFree=14269152/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563352 CPUtime=5000.05 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507584 0 0 0 499855 150 0 0 25 0 1 0 643725485 1600872448 389722 33554432000 134512640 135151029 4293376960 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390838 389722 80 156 0 390681 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 1563352

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

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

[startup+4999.9 s]
/proc/loadavg: 1.03 1.07 1.35 2/245 7538
/proc/meminfo: memFree=14269152/32951124 swapFree=67056788/67111528
[pid=7374] ppid=7372 vsize=1563352 CPUtime=5000.05 cores=1,3,5,7
/proc/7374/stat : 7374 (precosat) R 7372 7374 6879 0 -1 4202496 507584 0 0 0 499855 150 0 0 25 0 1 0 643725485 1600872448 389722 33554432000 134512640 135151029 4293376960 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/7374/statm: 390838 389722 80 156 0 390681 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 1563352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.97
CPU time (s): 5000.12
CPU user time (s): 4998.56
CPU system time (s): 1.56076
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1569108

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

runsolver used 10.1415 second user time and 26.289 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-13 23:14:36
IDJOB=3365969
IDBENCH=83463
IDSOLVER=1843
FILE ID=node133/3365969-1305321273
RUNJOBID= node133-1305315243-6898
PBS_JOBID= 13324299
Free space on /tmp= 42996 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365969-1305321273/watcher-3365969-1305321273 -o /tmp/evaluation-result-3365969-1305321273/solver-3365969-1305321273 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365969-1305321273.cnf

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1017359973

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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.834
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	: 6741.12
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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.83
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.834
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.74
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.834
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:      15668492 kB
Buffers:        225416 kB
Cached:        9089476 kB
SwapCached:       8724 kB
Active:        8568868 kB
Inactive:      8328704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15668492 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:          101592 kB
Writeback:           0 kB
AnonPages:     7579944 kB
Mapped:          21556 kB
Slab:           298800 kB
PageTables:      23832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19372100 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 42996 MiB
End job on node133 at 2011-05-14 00:37:58