Trace number 3370660

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-Night-1-st (fixed)? (TO) 1300.15 1300.11

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
MD5SUMe44b288003a3eaf34673a2c0fb8c6f3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.02
Satisfiable
(Un)Satisfiability was proved
Number of variables131484
Number of clauses2120376
Sum of the clauses size4841016
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22046240
Number of clauses of size 35760
Number of clauses of size 426640
Number of clauses of size 511520
Number of clauses of size over 529520

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3370660-1305380471.cnf'
0.00/0.01	c -- header says num vars:         131484
0.00/0.01	c -- header says num clauses:     2120376
0.08/0.47	c -- clauses added:            0 learnts,      2120376 normals,            0 xors
0.08/0.47	c -- vars added     131484
1.68/1.73	c Parsing time:  0.42 s
1.68/1.73	c  N st     0         0    131484     61722   1684996         0   3992465         0   no data   no data  --
1.68/1.73	c asymm  cl-useful: 550/1122/51648 lits-rem:24294 time: 0.26
6.68/6.74	c Flit:   262 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  5.88
6.68/6.77	c Cleaning up after failed var search:     0.03 s 
6.78/6.82	c Replacing      503 vars Replaced    29208 lits Time:     0.04 s 
6.89/6.98	c bin-w-bin subsume rem          734 bins  time:  0.10 s
7.19/7.21	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.23 s
10.29/10.37	c Subs w/ non-existent bins:      0 l-rem:    303 v-fix:     0 done:  29502 time:  3.15 s
10.48/10.53	c Removed useless bin:    4124  fixed:     0  props:  20.00M  time:  0.16 s
10.78/10.86	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.33 s
11.39/11.41	c Finding binary XORs  T:     0.55 s  found:     195
11.39/11.46	c Replacing      195 vars Replaced     9322 lits Time:     0.04 s 
11.58/11.67	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
11.58/11.67	c calculated reachability. Time: 0.17
11.58/11.69	c Calc default polars -  time:   0.02 s pos:    2561 undec:   52218 neg:   76705
11.58/11.69	c =========================================================================================
11.58/11.69	c types(t): F = full restart, N = normal restart
11.58/11.69	c types(t): S = simplification begin/end, E = solution found
11.58/11.69	c restart types(rt): st = static, dy = dynamic
11.58/11.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.58/11.69	c  B st     0         0     79273     46662   1051369         0   2532385         0   no data   no data  --
20.59/20.69	c  N dy     9      4179     79273     46662   1051459      4077   2532385   4820772     24.11     25.46  --
29.08/29.17	c  N dy    29      8313     79272     46662   1051590      8069   2532385   9367177     24.61     27.06  --
39.68/39.74	c  N dy    42     12342     79271     46662   1051742     11938   2532385  14445368     22.56     49.89  --
49.68/49.79	c  N dy    54     16486     79269     46662   1051827     15987   2532385  19164545     20.93     22.22  --
59.38/59.47	c  N dy    71     20537     79267     46662   1051922     10224   2532385   2607230     21.37     22.95  --
68.39/68.42	c  N dy    90     24677     79267     46662   1051994     14282   2532385   8066795     21.15     22.46  --
69.09/69.12	c  F st    91     25000     79267     46662   1051997     14602   2532385   8501034     21.07     16.87  --
85.69/85.71	c  N dy    97     30001     79265     46662   1052025     19495   2532226  18418275     21.07   no data  --
85.69/85.71	c  S st    97     30001     79265     46662   1052025     19495   2532226  18418275     21.07   no data  --
86.39/86.46	c  S st    97     30502     79263     46662   1052061     19955   2532226  18496198     21.07   no data  --
86.49/86.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
86.49/86.56	c Cache  BProp: 7130 Set: 165 BXProp: 0 T: 0.03
105.28/105.31	c Flit:   413 Blit:   1793 bXBeca:    0 bXProp:  129 Bins: 147384 BRemL:      0 BRemN:    682 P: 200.0M T: 18.67
105.38/105.41	c Cleaning up after failed var search:     0.09 s 
105.89/105.95	c Replacing      130 vars Replaced    36670 lits Time:     0.53 s 
107.28/107.35	c bin-w-bin subsume rem          557 bins  time:  0.09 s
108.68/108.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.43 s
108.89/108.94	c Subs w/ non-existent bins:      1 l-rem:    320 v-fix:     0 done:    319 time:  0.16 s
109.09/109.18	c Removed useless bin:   50346  fixed:     0  props:  20.00M  time:  0.24 s
136.29/136.31	c lits-rem:       252  cl-subs:      535  v-elim:      6  v-fix:    0  time: 27.13 s
136.59/136.62	c asymm  cl-useful: 11/704/45591 lits-rem:22 time: 0.32
136.99/137.03	c calculated reachability. Time: 0.39
136.99/137.04	c  N dy    97     30502     76576     45591   1096805     19383   2334520  17975280     21.07   no data  --
138.09/138.17	c Finding binary XORs  T:     1.13 s  found:      57
148.69/148.70	c  N dy   107     36043     76571     45591   1097013     24705   2334520  23029662     19.64     20.88  --
158.19/158.24	c  N dy   126     40209     76565     45591   1097150     28720   2334520  27232484     19.58     22.33  --
165.29/165.37	c  N dy   139     44294     76559     45591   1097284     17688   2334520   4693484     19.13     20.39  --
167.78/167.81	c  S st   148     45753     76558     45591   1097318     19109   2334520   6023720     19.07     12.41  --
168.48/168.52	c  S st   148     46254     76558     45591   1097357     19570   2334520   6137323     19.07   no data  --
168.48/168.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
168.59/168.62	c Cache  BProp: 6723 Set: 4 BXProp: 0 T: 0.05
179.09/179.11	c Flit:   283 Blit:    181 bXBeca:    0 bXProp:   21 Bins:  85428 BRemL:      0 BRemN:    372 P: 200.1M T: 10.43
179.09/179.11	c Cleaning up after failed var search:     0.00 s 
179.29/179.34	c Replacing       79 vars Replaced    10226 lits Time:     0.22 s 
179.70/179.74	c bin-w-bin subsume rem          138 bins  time:  0.09 s
181.09/181.18	c subs with bin:       15  lits-rem:       333  v-fix:    0  time:  1.44 s
181.49/181.50	c Subs w/ non-existent bins:      7 l-rem:    451 v-fix:     0 done:   1331 time:  0.33 s
181.69/181.71	c Removed useless bin:    5777  fixed:     0  props:  20.00M  time:  0.20 s
183.69/183.73	c lits-rem:       117  cl-subs:      252  v-elim:      1  v-fix:    0  time:  2.02 s
183.79/183.82	c vivif2 --  cl tried    45347 cl shrink      280 lits rem       2513 time: 0.09
184.19/184.28	c vivif2 --  cl tried    19246 cl shrink     4817 lits rem     702789 time: 0.45
184.58/184.64	c asymm  cl-useful: 297/437/45311 lits-rem:4561 time: 0.36
185.09/185.15	c calculated reachability. Time: 0.50
185.09/185.16	c  N dy   148     46254     75999     45311   1166041     19054   2296755   5478993     19.07   no data  --
186.58/186.64	c Finding binary XORs  T:     1.44 s  found:      52
198.89/198.91	c  N dy   166     50363     75997     45311   1166124     23064   2296739  10483696     18.81     19.91  --
208.78/208.85	c  N dy   187     54379     75993     45311   1166185     27012   2296739  15458448     18.90     20.61  --
219.09/219.14	c  N dy   204     58481     75991     45311   1166277     31007   2296739  20525063     18.76     19.85  --
229.09/229.14	c  N dy   215     62550     75984     45311   1166404     34930   2296739  25325039     18.38     19.70  --
240.69/240.70	c  N dy   228     67341     75983     45311   1166490     21585   2296739   5706763     18.01     19.20  --
246.70/246.74	c  S st   239     69381     75983     45311   1166513     23599   2296739   8457457     18.01   no data  --
247.39/247.44	c  S st   239     69884     75982     45311   1166544     24070   2296739   8554846     18.01   no data  --
247.49/247.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
247.49/247.56	c Cache  BProp: 5902 Set: 0 BXProp: 0 T: 0.06
259.50/259.58	c Flit:   172 Blit:    161 bXBeca:    0 bXProp:   23 Bins: 100935 BRemL:      0 BRemN:    343 P: 200.0M T: 11.95
259.50/259.58	c Cleaning up after failed var search:     0.00 s 
259.90/259.93	c Replacing       75 vars Replaced    10801 lits Time:     0.34 s 
260.49/260.52	c bin-w-bin subsume rem          202 bins  time:  0.11 s
261.89/261.99	c subs with bin:        2  lits-rem:       647  v-fix:    0  time:  1.48 s
262.20/262.22	c Subs w/ non-existent bins:      0 l-rem:    444 v-fix:     0 done:    658 time:  0.22 s
262.39/262.42	c Removed useless bin:   13612  fixed:     0  props:  20.00M  time:  0.21 s
265.59/265.67	c lits-rem:       105  cl-subs:      297  v-elim:      0  v-fix:    0  time:  3.24 s
265.69/265.76	c vivif2 --  cl tried    45102 cl shrink       33 lits rem        380 time: 0.10
266.39/266.42	c vivif2 --  cl tried    23602 cl shrink     4684 lits rem    1124937 time: 0.65
266.69/266.72	c asymm  cl-useful: 0/869/45102 lits-rem:0 time: 0.30
267.29/267.35	c calculated reachability. Time: 0.60
267.29/267.35	c  N dy   239     69884     75537     45102   1241488     23405   2253994   7520921     18.01   no data  --
269.09/269.16	c Finding binary XORs  T:     1.77 s  found:      46
283.10/283.11	c  N dy   258     74461     75529     45102   1241598     27852   2253968  13498778     17.78     19.36  --
292.09/292.10	c  N dy   273     79306     75529     45102   1241753     32524   2253968  17762245     17.56     36.53  --
311.79/311.85	c  N dy   290     84399     75528     45102   1241844     37518   2253968  24104886     17.37     21.75  --
321.40/321.43	c  F st   309     87500     75527     45102   1241893     20573   2253968   1724076     17.45   no data  --
321.50/321.53	c Replacing       46 vars Replaced     5158 lits Time:     0.07 s 
402.90/403.00	c  N st   314     90796     75481     45098   1241565     23754   2253373   7749758     17.45   no data  --
423.80/423.87	c  N dy   334     96901     75481     45098   1241679     29737   2253373  17416593     17.32     18.65  --
440.30/440.31	c  N dy   359    103089     75478     45098   1241817     35761   2253373  24587020     17.24     22.77  --
463.90/463.99	c  S st   364    104826     75478     45098   1241833     37481   2253373  26866327     17.15   no data  --
464.80/464.88	c  S st   364    105329     75478     45098   1241875     37941   2253373  26955999     17.15   no data  --
464.90/464.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
465.00/465.03	c Cache  BProp: 2779 Set: 0 BXProp: 0 T: 0.06
475.79/475.86	c Flit:   101 Blit:     44 bXBeca:    0 bXProp:    0 Bins:  64583 BRemL:      0 BRemN:    366 P: 200.0M T: 10.72
475.79/475.87	c Cleaning up after failed var search:     0.00 s 
476.19/476.22	c Replacing        1 vars Replaced      643 lits Time:     0.35 s 
478.10/478.12	c bin-w-bin subsume rem          159 bins  time:  0.11 s
479.70/479.74	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  1.62 s
479.90/479.92	c Subs w/ non-existent bins:      1 l-rem:    337 v-fix:     0 done:    279 time:  0.18 s
480.10/480.17	c Removed useless bin:   20617  fixed:     0  props:  20.02M  time:  0.24 s
585.10/585.18	c lits-rem:         7  cl-subs:      579  v-elim:      2  v-fix:    0  time: 105.02 s
585.20/585.29	c vivif2 --  cl tried    45035 cl shrink       27 lits rem        191 time: 0.11
587.41/587.45	c vivif2 --  cl tried    37339 cl shrink     9281 lits rem    4925688 time: 2.13
587.82/587.82	c asymm  cl-useful: 3/369/45034 lits-rem:3 time: 0.38
588.60/588.65	c calculated reachability. Time: 0.80
588.60/588.65	c  N dy   364    105329     75324     45034   1283995     37067   2207060  21771094     17.15   no data  --
591.01/591.03	c Finding binary XORs  T:     2.31 s  found:       5
610.70/610.74	c  N dy   383    112135     75321     45030   1283842     22194   2206817   1983366     16.91     24.31  --
631.50/631.55	c  N dy   404    119437     75319     45030   1283978     29335   2206816   9460898     16.69     20.02  --
663.72/663.74	c  N dy   433    127234     75318     45030   1284192     36892   2206816  17121021     16.56     17.54  --
694.10/694.13	c  N dy   464    135528     75313     45030   1284349     44997   2206816  24825890     16.40     17.69  --
723.01/723.04	c  N dy   493    144275     75310     45030   1284550     33041   2206816  10800712     16.26     18.75  --
754.92/754.98	c  N dy   532    153646     75308     45030   1284724     42210   2206816  20552706     16.26     18.05  --
786.21/786.23	c  S st   543    157996     75306     45030   1284856     46417   2206816  24644277     16.20     13.09  --
786.93/786.99	c  S st   543    158496     75306     45030   1284891     46880   2206816  24697772     16.20   no data  --
787.02/787.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
787.12/787.15	c Cache  BProp: 2800 Set: 1 BXProp: 0 T: 0.07
797.62/797.69	c Flit:   154 Blit:     17 bXBeca:    0 bXProp:   14 Bins:  50712 BRemL:      0 BRemN:    283 P: 200.0M T: 10.51
797.62/797.69	c Cleaning up after failed var search:     0.00 s 
798.51/798.50	c Replacing       20 vars Replaced     8539 lits Time:     0.81 s 
800.13/800.15	c bin-w-bin subsume rem           82 bins  time:  0.12 s
801.82/801.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.70 s
802.01/802.07	c Subs w/ non-existent bins:      3 l-rem:    391 v-fix:     0 done:    577 time:  0.22 s
802.33/802.34	c Removed useless bin:   27728  fixed:     0  props:  20.01M  time:  0.26 s
915.42/915.46	c lits-rem:        63  cl-subs:      722  v-elim:      2  v-fix:    0  time: 113.12 s
915.53/915.58	c vivif2 --  cl tried    44885 cl shrink       12 lits rem        121 time: 0.12
917.61/917.66	c vivif2 --  cl tried    46078 cl shrink    12601 lits rem    5105297 time: 2.05
918.01/918.05	c asymm  cl-useful: 2/353/44885 lits-rem:2 time: 0.39
918.92/918.94	c calculated reachability. Time: 0.86
918.92/918.94	c  N dy   543    158496     75087     44885   1298822     45859   2141879  19334983     16.20   no data  --
921.41/921.45	c Finding binary XORs  T:     2.51 s  found:      44
961.91/961.91	c  N dy   584    168666     75083     44885   1299120     34353   2141879   7814792     16.09     17.87  --
1036.02/1036.06	c  N dy   616    179477     75078     44885   1299376     44879   2141879  18120953     15.89     17.13  --
1095.42/1095.43	c  N dy   665    191301     75073     44885   1299621     34401   2141879   2656755     15.81     17.01  --
1147.82/1147.80	c  N dy   718    203599     75070     44885   1299848     46454   2141879  12814375     15.68     40.40  --
1237.52/1237.55	c  N dy   767    217342     75068     44885   1300061     59955   2141879  25209069     15.57     17.29  --
1292.83/1292.88	c  N dy   809    231563     75068     44885   1300354     50459   2141879  12150511     15.39     16.20  --

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-3370660-1305380471/watcher-3370660-1305380471 -o /tmp/evaluation-result-3370660-1305380471/solver-3370660-1305380471 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370660-1305380471.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: 4.02 3.96 3.01 4/329 5123
/proc/meminfo: memFree=10585196/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=8508 CPUtime=0 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) S 5121 5123 4890 0 -1 4194304 97 0 0 0 0 0 0 0 21 0 1 0 649649634 8712192 53 33554432000 4194304 4650387 140735171571904 18446744073709551615 212431093383 0 2147483391 4096 0 18446744071699207358 0 0 17 1 0 0 0
/proc/5123/statm: 2127 53 41 112 0 44 0

[startup+0.051791 s]
/proc/loadavg: 4.02 3.96 3.01 4/329 5123
/proc/meminfo: memFree=10585196/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=35872 CPUtime=0.03 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 2414 0 0 0 3 0 0 0 21 0 1 0 649649634 36732928 1866 33554432000 4194304 4650387 140735171571904 18446744073709551615 4545840 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 8968 1866 330 112 0 3933 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 35872

[startup+0.100786 s]
/proc/loadavg: 4.02 3.96 3.01 4/329 5123
/proc/meminfo: memFree=10585196/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=44932 CPUtime=0.08 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 4656 0 0 0 7 1 0 0 21 0 1 0 649649634 46010368 3566 33554432000 4194304 4650387 140735171571904 18446744073709551615 4372455 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 11233 3566 330 112 0 6198 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 44932

[startup+0.623687 s]
/proc/loadavg: 4.02 3.96 3.01 4/329 5123
/proc/meminfo: memFree=10585196/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=114824 CPUtime=0.6 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 23924 0 0 0 56 4 0 0 23 0 1 0 649649634 117579776 19572 33554432000 4194304 4650387 140735171571904 18446744073709551615 4370617 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 28706 19572 347 112 0 23671 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 114824

[startup+0.70067 s]
/proc/loadavg: 4.02 3.96 3.01 4/329 5123
/proc/meminfo: memFree=10585196/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=114956 CPUtime=0.68 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 23956 0 0 0 64 4 0 0 23 0 1 0 649649634 117714944 19604 33554432000 4194304 4650387 140735171571904 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 28739 19604 347 112 0 23704 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114956

[startup+1.51252 s]
/proc/loadavg: 4.02 3.96 3.01 5/330 5124
/proc/meminfo: memFree=10361252/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=172472 CPUtime=1.5 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 34907 0 0 0 144 6 0 0 25 0 1 0 649649634 176611328 29756 33554432000 4194304 4650387 140735171571904 18446744073709551615 4369116 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 43118 29756 353 112 0 38083 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 172472

[startup+3.10022 s]
/proc/loadavg: 4.18 4.00 3.03 5/330 5124
/proc/meminfo: memFree=10264036/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=271368 CPUtime=3.08 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 52717 0 0 0 299 9 0 0 25 0 1 0 649649634 277880832 47566 33554432000 4194304 4650387 140735171571904 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 67842 47566 353 112 0 62807 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 271368

[startup+6.30062 s]
/proc/loadavg: 4.18 4.00 3.03 5/330 5124
/proc/meminfo: memFree=9846544/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=512024 CPUtime=6.28 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 98666 0 0 0 614 14 0 0 25 0 1 0 649649634 524312576 93515 33554432000 4194304 4650387 140735171571904 18446744073709551615 4369028 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 128006 93515 353 112 0 122971 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 512024

[startup+12.7004 s]
/proc/loadavg: 4.15 4.00 3.04 5/330 5124
/proc/meminfo: memFree=9578608/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=568236 CPUtime=12.68 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 112113 0 0 0 1253 15 0 0 25 0 1 0 649649634 581873664 106962 33554432000 4194304 4650387 140735171571904 18446744073709551615 4333751 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 142059 106962 379 112 0 137024 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 568236

[startup+25.501 s]
/proc/loadavg: 4.13 4.00 3.05 5/327 5145
/proc/meminfo: memFree=9984260/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=626160 CPUtime=25.48 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 121737 0 0 0 2531 17 0 0 25 0 1 0 649649634 641187840 116586 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 156540 116586 379 112 0 151505 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 626160

[startup+51.1012 s]
/proc/loadavg: 4.08 4.00 3.07 5/330 5152
/proc/meminfo: memFree=9256832/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=715748 CPUtime=51.08 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 139489 0 0 0 5088 20 0 0 25 0 1 0 649649634 732925952 134338 33554432000 4194304 4650387 140735171571904 18446744073709551615 4331857 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 178937 134338 379 112 0 173902 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 715748

[startup+102.3 s]
/proc/loadavg: 4.03 4.00 3.12 5/330 5154
/proc/meminfo: memFree=8274492/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1045644 CPUtime=102.28 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 235154 0 0 0 10195 33 0 0 25 0 1 0 649649634 1070739456 205947 33554432000 4194304 4650387 140735171571904 18446744073709551615 4370996 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 261411 205947 383 112 0 256376 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1045644

[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.17 5/330 5182
/proc/meminfo: memFree=8279324/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1412852 CPUtime=162.28 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 352518 0 0 0 16180 48 0 0 25 0 1 0 649649634 1446760448 294765 33554432000 4194304 4650387 140735171571904 18446744073709551615 4314982 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 353213 294765 383 112 0 348178 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1412852

[startup+222.301 s]
/proc/loadavg: 4.08 4.01 3.22 5/330 5184
/proc/meminfo: memFree=7631856/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1774040 CPUtime=222.29 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 421077 0 0 0 22170 59 0 0 25 0 1 0 649649634 1816616960 363324 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315212 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 443510 363324 383 112 0 438475 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1774040

[startup+282.3 s]
/proc/loadavg: 4.06 4.02 3.28 5/330 5185
/proc/meminfo: memFree=7429444/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1971656 CPUtime=282.29 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 500279 0 0 0 28158 71 0 0 25 0 1 0 649649634 2018975744 411278 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 492914 411278 383 112 0 487879 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1971656

[startup+342.301 s]
/proc/loadavg: 4.15 4.05 3.33 5/330 5187
/proc/meminfo: memFree=7070496/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1984128 CPUtime=342.29 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 519345 0 0 0 34154 75 0 0 25 0 1 0 649649634 2031747072 401086 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315022 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 496032 401086 383 112 0 490997 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1984128

[startup+402.301 s]
/proc/loadavg: 4.05 4.04 3.37 5/330 5189
/proc/meminfo: memFree=7005440/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=1984128 CPUtime=402.29 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 522978 0 0 0 40153 76 0 0 25 0 1 0 649649634 2031747072 404719 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 496032 404719 383 112 0 490997 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1984128

[startup+462.3 s]
/proc/loadavg: 4.02 4.03 3.41 5/330 5190
/proc/meminfo: memFree=6577832/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2049672 CPUtime=462.3 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 541112 0 0 0 46149 81 0 0 25 0 1 0 649649634 2098864128 422853 33554432000 4194304 4650387 140735171571904 18446744073709551615 4314821 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 512418 422853 383 112 0 507383 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2049672

[startup+522.301 s]
/proc/loadavg: 4.00 4.02 3.44 5/330 5192
/proc/meminfo: memFree=6122204/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2648964 CPUtime=522.3 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 669646 0 0 0 52130 100 0 0 25 0 1 0 649649634 2712539136 551387 33554432000 4194304 4650387 140735171571904 18446744073709551615 4476490 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 662241 551387 383 112 0 657206 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2648964

[startup+582.313 s]
/proc/loadavg: 4.05 4.03 3.48 5/330 5193
/proc/meminfo: memFree=6103180/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2648964 CPUtime=582.31 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 669646 0 0 0 58131 100 0 0 25 0 1 0 649649634 2712539136 551387 33554432000 4194304 4650387 140735171571904 18446744073709551615 4476172 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 662241 551387 383 112 0 657206 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2648964

[startup+642.3 s]
/proc/loadavg: 4.02 4.02 3.51 5/330 5195
/proc/meminfo: memFree=5771432/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2598572 CPUtime=642.3 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 704699 0 0 0 64122 108 0 0 25 0 1 0 649649634 2660937728 539099 33554432000 4194304 4650387 140735171571904 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 649643 539099 383 112 0 644608 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 2598572

[startup+702.301 s]
/proc/loadavg: 4.00 4.02 3.54 5/330 5197
/proc/meminfo: memFree=5717692/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2616080 CPUtime=702.31 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 723859 0 0 0 70116 115 0 0 25 0 1 0 649649634 2678865920 536544 33554432000 4194304 4650387 140735171571904 18446744073709551615 4363736 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 654020 536544 383 112 0 648985 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2616080

[startup+762.301 s]
/proc/loadavg: 4.13 4.06 3.58 5/330 5198
/proc/meminfo: memFree=5715424/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2681624 CPUtime=762.31 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 741021 0 0 0 76112 119 0 0 25 0 1 0 649649634 2745982976 553706 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315053 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 670406 553706 383 112 0 665371 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 2681624

[startup+822.3 s]
/proc/loadavg: 4.05 4.04 3.60 5/330 5200
/proc/meminfo: memFree=5560496/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2837124 CPUtime=822.32 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 776532 0 0 0 82106 126 0 0 25 0 1 0 649649634 2905214976 589217 33554432000 4194304 4650387 140735171571904 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 709281 589217 383 112 0 704246 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2837124

[startup+882.301 s]
/proc/loadavg: 3.57 3.91 3.58 4/324 5219
/proc/meminfo: memFree=5823660/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2837124 CPUtime=882.32 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 776532 0 0 0 88106 126 0 0 25 0 1 0 649649634 2905214976 589217 33554432000 4194304 4650387 140735171571904 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 709281 589217 383 112 0 704246 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2837124

[startup+942.301 s]
/proc/loadavg: 3.21 3.74 3.54 4/324 5221
/proc/meminfo: memFree=5567932/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2723288 CPUtime=942.32 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 798345 0 0 0 94101 131 0 0 25 0 1 0 649649634 2788646912 570567 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 680822 570567 383 112 0 675787 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2723288

[startup+1002.3 s]
/proc/loadavg: 3.07 3.60 3.51 4/324 5223
/proc/meminfo: memFree=5466820/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2787812 CPUtime=1002.32 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 808573 0 0 0 100099 133 0 0 25 0 1 0 649649634 2854719488 580795 33554432000 4194304 4650387 140735171571904 18446744073709551615 4314842 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 696953 580795 383 112 0 691918 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2787812

[startup+1062.3 s]
/proc/loadavg: 3.02 3.49 3.47 4/324 5224
/proc/meminfo: memFree=5428064/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2853356 CPUtime=1062.32 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 819260 0 0 0 106096 136 0 0 25 0 1 0 649649634 2921836544 591482 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315087 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 713339 591482 383 112 0 708304 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2853356

[startup+1122.3 s]
/proc/loadavg: 3.01 3.40 3.44 4/324 5226
/proc/meminfo: memFree=5483188/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2804476 CPUtime=1122.33 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 830153 0 0 0 112093 140 0 0 25 0 1 0 649649634 2871783424 578939 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 701119 578939 383 112 0 696084 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2804476

[startup+1182.3 s]
/proc/loadavg: 3.00 3.32 3.41 4/324 5227
/proc/meminfo: memFree=5450032/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2804476 CPUtime=1182.33 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 840263 0 0 0 118089 144 0 0 25 0 1 0 649649634 2871783424 589049 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 701119 589049 383 112 0 696084 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2804476

[startup+1242.31 s]
/proc/loadavg: 3.00 3.26 3.38 4/324 5238
/proc/meminfo: memFree=5514612/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2756372 CPUtime=1242.33 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 851745 0 0 0 124086 147 0 0 25 0 1 0 649649634 2822524928 579098 33554432000 4194304 4650387 140735171571904 18446744073709551615 4315164 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 689093 579098 383 112 0 684058 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2756372



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.13 3.25 3.36 3/322 5240
/proc/meminfo: memFree=8570408/32951124 swapFree=67093864/67111528
[pid=5123] ppid=5121 vsize=2821916 CPUtime=1300.04 cores=1,3
/proc/5123/stat : 5123 (strangenight1-s) R 5121 5123 4890 0 -1 4202496 862865 0 0 0 129852 152 0 0 25 0 1 0 649649634 2889641984 590218 33554432000 4194304 4650387 140735171571904 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5123/statm: 705479 590218 383 112 0 700444 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 2821916

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.11
CPU time (s): 1300.15
CPU user time (s): 1298.53
CPU system time (s): 1.62175
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2902668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.53
system time used= 1.62175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 862867
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= 6
involuntary context switches= 2938

runsolver used 3.74943 second user time and 9.26959 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 15:41:13
IDJOB=3370660
IDBENCH=82366
IDSOLVER=1847
FILE ID=node102/3370660-1305380471
RUNJOBID= node102-1305379161-4910
PBS_JOBID= 13324400
Free space on /tmp= 73400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370660-1305380471/watcher-3370660-1305380471 -o /tmp/evaluation-result-3370660-1305380471/solver-3370660-1305380471 -C 2400 -W 1300 -M 7680  ./strangenight1-st HOME/instance-3370660-1305380471.cnf

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

MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=455614653

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.828
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.828
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.828
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.828
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.828
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:      10585972 kB
Buffers:        235580 kB
Cached:        2885076 kB
SwapCached:       1128 kB
Active:       20126832 kB
Inactive:      1939916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10585972 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:          134316 kB
Writeback:           0 kB
AnonPages:    18945004 kB
Mapped:          27252 kB
Slab:           180696 kB
PageTables:      54900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59714516 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= 73488 MiB
End job on node102 at 2011-05-14 16:02:55