Trace number 3290761

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
CryptoMiniSat Strange-Night2-st? (TO) 1300.06 1300.03

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290761-1303782264.cnf'
0.00/0.00	c -- header says num vars:          13574
0.00/0.00	c -- header says num clauses:     1301188
0.59/0.64	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
0.59/0.64	c -- vars added      13574
0.59/0.64	c Parsing time:  0.60 s
0.59/0.64	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data
0.89/0.93	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 0.24
3.99/4.07	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T:  3.13
5.19/5.22	c Replacing       88 vars Replaced   886898 lits Time:     1.05 s 
5.59/5.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.59/5.64	c bin-w-bin subsume rem          764 bins  time:  0.00 s
6.60/6.61	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  0.97 s
6.60/6.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.01 s
6.60/6.65	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.02 s
149.20/149.26	c lits-rem:         0  cl-subs:    25458  v-elim:   1006  v-fix:    0  time: 142.60 s
149.20/149.27	c Finding binary XORs  T:     0.01 s  found:       1
149.30/149.31	c Replacing        1 vars Replaced        9 lits Time:     0.04 s 
165.20/165.20	c Finding non-binary XORs:    15.83 s (found:       0, avg size: nan)
165.20/165.20	c calculated reachability. Time: 0.00
165.20/165.25	c Calc default polars -  time:   0.05 s pos:     376 undec:    2150 neg:   11048
165.20/165.25	c =========================================================================================
165.20/165.25	c types(t): F = full restart, N = normal restart
165.20/165.25	c types(t): S = simplification begin/end, E = solution found
165.20/165.25	c restart types(rt): st = static, dy = dynamic
165.20/165.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
165.20/165.25	c  B st     0         0     11424   1231617     29678         0  10448561         0   no data   no data
166.89/166.99	c  N dy    20      4524     11421   1231617     29811      4333  10448561    178037     10.00     10.62
168.59/168.69	c  N dy    49      8657     11419   1231617     29899      8342  10448561    350194     10.54     11.13
169.89/169.95	c  N dy    69     13076     11417   1231617     30022     12596  10448561    535093     10.19     10.80
170.69/170.71	c Finding binary XORs  T:     0.01 s  found:       0
171.39/171.47	c  N dy    88     17079     11416   1231611     30052     16445  10448397    714438      9.94     10.65
172.89/172.91	c  N dy   112     21366     11416   1231611     30125     10973  10448396    247519      9.95     10.60
173.70/173.73	c  F st   126     25000     11416   1231611     30224     14495  10448396    385467      9.78   no data
174.09/174.15	c  N st   128     25630     11416   1231611     30237     15109  10448396    409801      9.78   no data
175.59/175.63	c  N dy   132     30001     11416   1231611     30361     19322  10448396    637654      9.78   no data
175.59/175.63	c  S st   132     30001     11416   1231611     30361     19322  10448396    637654      9.78   no data
176.79/176.86	c  S st   132     30502     11416   1231611     30395     19789  10448396    649377      9.78   no data
176.89/176.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
183.29/183.38	c Flit:     4 Blit:      1 bXBeca:    0 bXProp:    3 Bins: 507389 BRemL: 233020 BRemN:      0 P: 200.0M T:  6.47
183.49/183.50	c Replacing        3 vars Replaced     2510 lits Time:     0.12 s 
183.79/183.81	c blocked clauses removed:        0 vars:      0 tried:       11408 T: 0.00 s
183.79/183.84	c bin-w-bin subsume rem          162 bins  time:  0.03 s
184.99/185.03	c subs with bin:      767  lits-rem:     45630  v-fix:    0  time:  1.19 s
184.99/185.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2306 time:  0.04 s
185.09/185.10	c Removed useless bin:       2  fixed:     0  props:   1.40M  time:  0.02 s
313.30/313.31	c lits-rem:         0  cl-subs:    38787  v-elim:    201  v-fix:    0  time: 128.20 s
313.40/313.50	c subs with bin:      157  lits-rem:      3923  v-fix:    0  time:  0.17 s
440.40/440.46	c lits-rem:         0  cl-subs:      701  v-elim:      0  v-fix:    0  time: 126.73 s
440.60/440.67	c asymm  cl-useful: 0/4964/1192144 lits-rem:0 time: 0.21
440.70/440.73	c calculated reachability. Time: 0.01
440.70/440.73	c  N dy   132     30502     11207   1192144    284558     10961  10106049    734442      9.78   no data
440.70/440.75	c Finding binary XORs  T:     0.02 s  found:       0
442.00/442.03	c  N dy   156     34749     11205   1192144    284569     15173  10106049    942328      9.75     10.41
443.20/443.29	c  N dy   180     38845     11205   1192144    284581     19229  10106048   1108276      9.75     10.47
444.50/444.50	c  N dy   198     42908     11205   1192144    284585     12302  10106048    730245      9.69     10.21
445.30/445.34	c  S st   216     45753     11205   1192144    284594     15129  10106048    870749      9.71   no data
446.09/446.17	c  S st   216     46256     11205   1192144    284596     15630  10106048    886386      9.71   no data
446.19/446.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
452.50/452.55	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    2 Bins:  16517 BRemL: 235360 BRemN:     20 P: 200.0M T:  6.33
452.60/452.65	c Replacing        2 vars Replaced     1199 lits Time:     0.10 s 
452.90/452.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.90/452.96	c bin-w-bin subsume rem            8 bins  time:  0.01 s
453.00/453.02	c subs with bin:      285  lits-rem:      6925  v-fix:    0  time:  0.06 s
453.00/453.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    502 time:  0.02 s
453.00/453.06	c Removed useless bin:       3  fixed:     0  props:   1.56M  time:  0.01 s
578.50/578.50	c lits-rem:         6  cl-subs:     8045  v-elim:     12  v-fix:    0  time: 125.44 s
578.70/578.78	c subs with bin:       59  lits-rem:       583  v-fix:    0  time:  0.26 s
708.31/708.32	c lits-rem:         3  cl-subs:      277  v-elim:      0  v-fix:    0  time: 129.32 s
709.00/709.08	c vivif2 --  cl tried  1183800 cl shrink      122 lits rem        141 time: 0.76
709.10/709.10	c vivif2 --  cl tried    15090 cl shrink     1639 lits rem       5929 time: 0.03
709.41/709.43	c asymm  cl-useful: 0/6530/1183800 lits-rem:0 time: 0.32
709.41/709.48	c calculated reachability. Time: 0.01
709.41/709.48	c  N dy   216     46256     11189   1183800     65329     15087  10047335    422272      9.71   no data
709.41/709.50	c Finding binary XORs  T:     0.02 s  found:       0
711.41/711.46	c  N dy   240     50277     11188   1183800     65342     19073  10047334    621539      9.70     10.26
712.91/712.95	c  N dy   261     54278     11186   1183800     65346     23041  10047334    880100      9.72     10.34
714.30/714.37	c  N dy   290     58351     11186   1183800     65352     27090  10047334   1073615      9.80     10.40
715.80/715.89	c  N dy   312     62589     11185   1183800     65357     31294  10047334   1291103      9.80     10.42
717.11/717.13	c  N dy   337     66609     11185   1183800     65366     18984  10047334    434148      9.85     10.82
718.21/718.22	c  S st   358     69385     11185   1183800     65375     21740  10047334    574310      9.91      9.03
719.00/719.07	c  S st   358     69887     11185   1183800     65376     22241  10047334    592226      9.91   no data
719.10/719.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
725.50/725.50	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  18523 BRemL:  13002 BRemN:      3 P: 200.0M T:  6.39
725.60/725.61	c Replacing        4 vars Replaced      383 lits Time:     0.10 s 
725.91/725.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
725.91/725.92	c bin-w-bin subsume rem           10 bins  time:  0.01 s
726.20/726.25	c subs with bin:       76  lits-rem:     16784  v-fix:    0  time:  0.33 s
726.20/726.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    211 time:  0.02 s
726.20/726.28	c Removed useless bin:       7  fixed:     0  props:   1.37M  time:  0.01 s
851.20/851.24	c lits-rem:         0  cl-subs:    22550  v-elim:     11  v-fix:    0  time: 124.95 s
851.60/851.64	c subs with bin:       68  lits-rem:      1047  v-fix:    0  time:  0.38 s
977.81/977.85	c lits-rem:         0  cl-subs:      655  v-elim:      0  v-fix:    0  time: 126.00 s
978.60/978.62	c vivif2 --  cl tried  1160931 cl shrink       18 lits rem         18 time: 0.77
978.60/978.66	c vivif2 --  cl tried    21217 cl shrink     2201 lits rem      14919 time: 0.04
978.91/978.98	c asymm  cl-useful: 0/2427/1160929 lits-rem:0 time: 0.32
979.01/979.04	c calculated reachability. Time: 0.01
979.01/979.04	c  N dy   358     69887     11169   1160929     70049     21211   9834074    559973      9.91   no data
979.01/979.06	c Finding binary XORs  T:     0.02 s  found:       0
981.01/981.08	c  N dy   385     74530     11166   1160929     70063     25818   9834074    825816      9.90     10.56
982.41/982.42	c  N dy   411     79289     11166   1160929     70073     30533   9834074   1042818      9.91     16.52
984.31/984.39	c  N dy   447     84491     11164   1160929     70081     35691   9834074   1294432      9.95     10.49
985.81/985.87	c  F st   462     87501     11164   1160929     70083     19410   9834074    394237      9.95      8.73
987.01/987.09	c  N st   467     90796     11164   1160898     69329     22623   9833804    588032      9.95   no data
989.11/989.16	c  N dy   489     96670     11164   1160898     69330     28471   9833804    899340      9.97     10.52
991.11/991.16	c  N dy   537    103101     11164   1160898     69340     34865   9833804   1210355     10.06     10.71
991.61/991.63	c  S st   546    104831     11164   1160898     69341     36581   9833804   1284197     10.05     10.06
992.41/992.45	c  S st   546    105332     11164   1160898     69343     37080   9833804   1303612     10.05   no data
992.41/992.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
998.81/998.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   7302 BRemL:   8316 BRemN:      2 P: 200.0M T:  6.37
998.90/998.92	c Replacing        4 vars Replaced     1454 lits Time:     0.06 s 
999.20/999.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
999.20/999.23	c bin-w-bin subsume rem            4 bins  time:  0.01 s
999.20/999.27	c subs with bin:       47  lits-rem:      2083  v-fix:    0  time:  0.04 s
999.20/999.29	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:    274 time:  0.02 s
999.30/999.31	c Removed useless bin:       7  fixed:     0  props:   1.51M  time:  0.01 s
1120.41/1120.47	c lits-rem:         0  cl-subs:     2544  v-elim:     16  v-fix:    0  time: 121.16 s
1121.31/1121.38	c subs with bin:       57  lits-rem:      2805  v-fix:    0  time:  0.87 s
1270.71/1270.71	c lits-rem:        20  cl-subs:      748  v-elim:      0  v-fix:    0  time: 149.11 s
1271.51/1271.51	c vivif2 --  cl tried  1158291 cl shrink       67 lits rem         68 time: 0.80
1271.62/1271.61	c vivif2 --  cl tried    33621 cl shrink     4743 lits rem      30073 time: 0.10
1271.92/1271.95	c asymm  cl-useful: 19/4353/1158291 lits-rem:57 time: 0.34
1272.02/1272.01	c calculated reachability. Time: 0.01
1272.02/1272.01	c  N dy   546    105332     11144   1158272     67402     33618   9813897   1087896     10.05   no data
1272.02/1272.03	c Finding binary XORs  T:     0.02 s  found:       0
1276.31/1276.31	c  N dy   575    114168     11143   1158272     67407     22218   9813896    582460      9.98     11.07
1280.12/1280.10	c  N dy   602    121505     11143   1158272     67413     29518   9813896   1313010      9.96     15.45
1284.82/1284.85	c  N dy   627    129266     11141   1158272     67420     37222   9813896   2118700      9.90     10.43
1289.92/1289.93	c  N dy   653    137745     11140   1158272     67434     23098   9813896    450511      9.85     10.45
1294.12/1294.20	c  N dy   699    146884     11140   1158272     67444     32180   9813895    912775      9.84     10.56
1297.51/1297.55	c  N dy   756    156532     11140   1158272     67457     41748   9813894   1453426      9.89     10.63
1297.92/1297.99	c  S st   767    157999     11140   1158272     67461     43211   9813894   1526898      9.90   no data
1299.12/1299.15	c  S st   767    158501     11140   1158272     67463     43711   9813894   1547331      9.90   no data
1299.22/1299.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06

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-3290761-1303782264/watcher-3290761-1303782264 -o /tmp/evaluation-result-3290761-1303782264/solver-3290761-1303782264 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3290761-1303782264.cnf 

running on 2 cores: 1,3

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: 3.60 2.96 2.81 4/189 6571
/proc/meminfo: memFree=20299292/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=30348 CPUtime=0 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 915 0 0 0 0 0 0 0 23 0 1 0 489824610 31076352 854 33554432000 4194304 4627331 140733444306720 18446744073709551615 4507122 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 7587 855 321 106 0 2558 0

[startup+0.08143 s]
/proc/loadavg: 3.60 2.96 2.81 4/189 6571
/proc/meminfo: memFree=20299292/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=31780 CPUtime=0.07 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 2670 0 0 0 7 0 0 0 23 0 1 0 489824610 32542720 2609 33554432000 4194304 4627331 140733444306720 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 7945 2610 322 106 0 2916 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31780

[startup+0.100429 s]
/proc/loadavg: 3.60 2.96 2.81 4/189 6571
/proc/meminfo: memFree=20299292/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=33460 CPUtime=0.09 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 3428 0 0 0 9 0 0 0 23 0 1 0 489824610 34263040 3332 33554432000 4194304 4627331 140733444306720 18446744073709551615 4316528 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 8365 3333 324 106 0 3336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33460

[startup+0.300395 s]
/proc/loadavg: 3.60 2.96 2.81 4/189 6571
/proc/meminfo: memFree=20299292/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=86456 CPUtime=0.29 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 12798 0 0 0 27 2 0 0 25 0 1 0 489824610 88530944 12495 33554432000 4194304 4627331 140733444306720 18446744073709551615 4360952 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 21614 12496 324 106 0 16585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86456

[startup+0.70032 s]
/proc/loadavg: 3.60 2.96 2.81 4/189 6571
/proc/meminfo: memFree=20299292/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=244708 CPUtime=0.68 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 26979 0 0 0 64 4 0 0 25 0 1 0 489824610 250580992 26676 33554432000 4194304 4627331 140733444306720 18446744073709551615 228244046032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 61177 26678 341 106 0 56148 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 244708

[startup+1.50018 s]
/proc/loadavg: 3.60 2.96 2.81 5/190 6572
/proc/meminfo: memFree=20179512/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=264376 CPUtime=1.49 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 31445 0 0 0 144 5 0 0 25 0 1 0 489824610 270721024 31142 33554432000 4194304 4627331 140733444306720 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 66094 31142 346 106 0 61065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 264376

[startup+3.1009 s]
/proc/loadavg: 3.63 2.97 2.82 5/190 6573
/proc/meminfo: memFree=20174180/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=271144 CPUtime=3.09 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 33063 0 0 0 303 6 0 0 25 0 1 0 489824610 277651456 32760 33554432000 4194304 4627331 140733444306720 18446744073709551615 4309177 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 67786 32760 346 106 0 62757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 271144

[startup+6.30033 s]
/proc/loadavg: 3.63 2.97 2.82 5/190 6573
/proc/meminfo: memFree=20075652/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=574964 CPUtime=6.29 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 102684 0 0 0 616 13 0 0 25 0 1 0 489824610 588763136 102381 33554432000 4194304 4627331 140733444306720 18446744073709551615 4420176 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 143741 102381 358 106 0 138712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574964

[startup+12.7002 s]
/proc/loadavg: 3.69 3.01 2.83 5/190 6573
/proc/meminfo: memFree=19850724/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=612636 CPUtime=12.69 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 110212 0 0 0 1255 14 0 0 25 0 1 0 489824610 627339264 109909 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 153159 109909 363 106 0 148130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 612636

[startup+25.5009 s]
/proc/loadavg: 3.74 3.04 2.84 5/190 6573
/proc/meminfo: memFree=19846436/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=612636 CPUtime=25.49 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 110212 0 0 0 2535 14 0 0 25 0 1 0 489824610 627339264 109909 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467911 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 153159 109909 363 106 0 148130 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 612636

[startup+51.1004 s]
/proc/loadavg: 3.82 3.11 2.87 5/190 6574
/proc/meminfo: memFree=19883744/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=612636 CPUtime=51.09 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 110212 0 0 0 5095 14 0 0 25 0 1 0 489824610 627339264 109909 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 153159 109909 363 106 0 148130 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 612636

[startup+102.307 s]
/proc/loadavg: 3.93 3.26 2.94 5/190 6575
/proc/meminfo: memFree=19842136/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=612636 CPUtime=102.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 110212 0 0 0 10216 14 0 0 25 0 1 0 489824610 627339264 109909 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 153159 109909 363 106 0 148130 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 612636

[startup+162.301 s]
/proc/loadavg: 3.97 3.38 3.00 5/190 6577
/proc/meminfo: memFree=19839348/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=622916 CPUtime=162.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 117663 0 0 0 16215 15 0 0 25 0 1 0 489824610 637865984 110016 33554432000 4194304 4627331 140733444306720 18446744073709551615 4324296 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 155729 110016 366 106 0 150700 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 622916

[startup+222.301 s]
/proc/loadavg: 3.99 3.50 3.06 5/190 6605
/proc/meminfo: memFree=19800204/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=660484 CPUtime=222.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 124067 0 0 0 22214 16 0 0 25 0 1 0 489824610 676335616 116420 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 165121 116420 379 106 0 160092 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 660484

[startup+282.301 s]
/proc/loadavg: 3.99 3.58 3.11 5/190 6607
/proc/meminfo: memFree=19759224/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=660484 CPUtime=282.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 124067 0 0 0 28214 16 0 0 25 0 1 0 489824610 676335616 116420 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 165121 116420 379 106 0 160092 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 660484

[startup+342.301 s]
/proc/loadavg: 3.99 3.66 3.17 5/190 6609
/proc/meminfo: memFree=19761400/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=663032 CPUtime=342.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 140066 0 0 0 34212 18 0 0 25 0 1 0 489824610 678944768 116342 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467964 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 165758 116342 386 106 0 160729 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 663032

[startup+402.3 s]
/proc/loadavg: 3.99 3.71 3.21 5/190 6610
/proc/meminfo: memFree=19763468/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=663032 CPUtime=402.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 140066 0 0 0 40212 18 0 0 25 0 1 0 489824610 678944768 116342 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467775 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 165758 116342 386 106 0 160729 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 663032

[startup+462.301 s]
/proc/loadavg: 4.06 3.78 3.27 5/190 6612
/proc/meminfo: memFree=19709648/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=462.29 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 149364 0 0 0 46210 19 0 0 25 0 1 0 489824610 675778560 118714 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 118714 379 106 0 159956 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 659940

[startup+522.3 s]
/proc/loadavg: 4.07 3.83 3.31 5/190 6613
/proc/meminfo: memFree=19739128/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=522.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 149364 0 0 0 52211 19 0 0 25 0 1 0 489824610 675778560 118714 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 118714 379 106 0 159956 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 659940

[startup+582.301 s]
/proc/loadavg: 4.02 3.86 3.35 5/190 6615
/proc/meminfo: memFree=19731420/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=582.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 149425 0 0 0 58211 19 0 0 25 0 1 0 489824610 675778560 118775 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 118775 379 106 0 159956 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 659940

[startup+642.301 s]
/proc/loadavg: 4.01 3.89 3.39 5/190 6617
/proc/meminfo: memFree=19652404/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=642.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 149425 0 0 0 64212 19 0 0 25 0 1 0 489824610 675778560 118775 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 118775 379 106 0 159956 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 659940

[startup+702.3 s]
/proc/loadavg: 4.00 3.90 3.43 5/190 6618
/proc/meminfo: memFree=19631800/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=702.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 149425 0 0 0 70211 19 0 0 25 0 1 0 489824610 675778560 118775 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 118775 379 106 0 159956 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 659940

[startup+762.307 s]
/proc/loadavg: 4.00 3.92 3.46 5/190 6620
/proc/meminfo: memFree=19612316/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=762.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 152131 0 0 0 76211 20 0 0 25 0 1 0 489824610 675778560 121481 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 121481 379 106 0 159956 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 659940

[startup+822.3 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19601496/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=659940 CPUtime=822.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 152131 0 0 0 82210 20 0 0 25 0 1 0 489824610 675778560 121481 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 164985 121481 379 106 0 159956 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 659940

[startup+882.301 s]
/proc/loadavg: 4.00 3.94 3.52 5/190 6650
/proc/meminfo: memFree=19828888/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=678336 CPUtime=882.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 152739 0 0 0 88210 20 0 0 25 0 1 0 489824610 694616064 122089 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 169584 122089 379 106 0 164555 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 678336

[startup+942.301 s]
/proc/loadavg: 4.00 3.95 3.55 5/190 6652
/proc/meminfo: memFree=19833668/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=678336 CPUtime=942.3 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 152739 0 0 0 94210 20 0 0 25 0 1 0 489824610 694616064 122089 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 169584 122089 379 106 0 164555 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 678336

[startup+1002.3 s]
/proc/loadavg: 4.00 3.95 3.57 5/190 6662
/proc/meminfo: memFree=19784480/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=570316 CPUtime=1002.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 177542 0 0 0 100206 25 0 0 25 0 1 0 489824610 584003584 118348 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 142579 118348 379 106 0 137550 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 570316

[startup+1062.3 s]
/proc/loadavg: 4.25 4.02 3.62 5/195 7084
/proc/meminfo: memFree=19770636/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=570316 CPUtime=1062.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 177542 0 0 0 106206 25 0 0 25 0 1 0 489824610 584003584 118348 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 142579 118348 379 106 0 137550 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 570316

[startup+1122.3 s]
/proc/loadavg: 4.11 4.03 3.64 5/190 7138
/proc/meminfo: memFree=20004236/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=591584 CPUtime=1122.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 180337 0 0 0 112206 25 0 0 25 0 1 0 489824610 605782016 121143 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 147896 121143 379 106 0 142867 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 591584

[startup+1182.3 s]
/proc/loadavg: 4.13 4.05 3.67 5/190 7221
/proc/meminfo: memFree=19441936/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=591584 CPUtime=1182.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 180337 0 0 0 118206 25 0 0 25 0 1 0 489824610 605782016 121143 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 147896 121143 379 106 0 142867 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 591584

[startup+1242.3 s]
/proc/loadavg: 4.01 4.03 3.68 5/190 7254
/proc/meminfo: memFree=18674160/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=591584 CPUtime=1242.31 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 180337 0 0 0 124206 25 0 0 25 0 1 0 489824610 605782016 121143 33554432000 4194304 4627331 140733444306720 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 147896 121143 379 106 0 142867 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 591584



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.02 3.70 5/190 7255
/proc/meminfo: memFree=18682812/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=801180 CPUtime=1300.02 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 185608 0 0 0 129972 30 0 0 25 0 1 0 489824610 820408320 118277 33554432000 4194304 4627331 140733444306720 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 200295 118277 379 106 0 195266 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 801180

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

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

[startup+1300 s]
/proc/loadavg: 4.00 4.02 3.70 5/190 7255
/proc/meminfo: memFree=18682812/32951124 swapFree=67111464/67111528
[pid=6571] ppid=6569 vsize=801180 CPUtime=1300.02 cores=1,3
/proc/6571/stat : 6571 (strangenight2-s) R 6569 6571 6373 0 -1 4202496 185608 0 0 0 129972 30 0 0 25 0 1 0 489824610 820408320 118277 33554432000 4194304 4627331 140733444306720 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6571/statm: 200295 118277 379 106 0 195266 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 801180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1300.06
CPU user time (s): 1299.73
CPU system time (s): 0.32795
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 801180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.73
system time used= 0.32795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185608
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= 12
involuntary context switches= 2013

runsolver used 1.9907 second user time and 5.11522 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-26 03:44:26
IDJOB=3290761
IDBENCH=83447
IDSOLVER=1587
FILE ID=node136/3290761-1303782264
RUNJOBID= node136-1303782152-6393
PBS_JOBID= 13157229
Free space on /tmp= 72096 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290761-1303782264/watcher-3290761-1303782264 -o /tmp/evaluation-result-3290761-1303782264/solver-3290761-1303782264 -C 2400 -W 1300 -M 7680  ./strangenight2-st HOME/instance-3290761-1303782264.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1078874871

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20299572 kB
Buffers:       1715576 kB
Cached:        9956448 kB
SwapCached:         60 kB
Active:        5152484 kB
Inactive:      6919732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20299572 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           73732 kB
Writeback:           0 kB
AnonPages:      399568 kB
Mapped:          16284 kB
Slab:           514560 kB
PageTables:       6092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   633932 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= 72160 MiB
End job on node136 at 2011-04-26 04:06:08