Trace number 3369062

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-mt (fixed)? (TO) 4800.22 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf
MD5SUM85fc90ad26a12d6925b177503ad87394
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.074988
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
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-3369062-1305411188.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	c -- header says num clauses:        8010
0.00/0.11	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.11	c -- vars added         90
0.00/0.11	c Parsing time:  0.02 s
0.00/0.11	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.23	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.23	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.23	c calculated reachability. Time: 0.00
0.77/0.23	c Calc default polars -  time:   0.00 s pos:      47 undec:       0 neg:      43
0.77/0.23	c =========================================================================================
0.77/0.23	c types(t): F = full restart, N = normal restart
0.77/0.23	c types(t): S = simplification begin/end, E = solution found
0.77/0.23	c restart types(rt): st = static, dy = dynamic
0.77/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.23	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.16/0.38	c  N dy     8      4687        90      8010         0      4369     56070    133077     26.53     27.97  --
1.96/0.56	c  N dy    11      9411        90      8010         0      6383     56070    178113     25.63     27.18  --
2.77/0.72	c  N dy    20     13448        90      8010         0      6216     56070    156508     25.31     26.79  --
3.57/0.91	c  N dy    31     17623        90      8010         0     10063     56070    269597     25.29     26.82  --
4.38/1.11	c  N dy    45     21967        90      8010         0      8878     56070    216883     25.33     26.67  --
4.80/1.27	c  F st    63     25000        90      8010         0     11700     56070    301008     25.49     25.93  --
5.16/1.35	c  N st    66     26187        90      8010         0      6492     56070    128479     25.49   no data  --
5.96/1.52	c  S st    69     30000        90      8010         0     10050     56070    234190     25.49   no data  --
5.96/1.55	c  S st    69     30503        90      8010         0     10532     56070    248649     25.49   no data  --
5.96/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.75/2.74	c lits-rem:      1482  cl-subs:      745  v-elim:      0  v-fix:    0  time:  4.67 s
12.34/3.11	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.49
12.34/3.11	c calculated reachability. Time: 0.00
12.34/3.11	c  N dy    69     30503        90      8010         0      9787     56070    223045     25.49   no data  --
13.58/3.44	c  N dy    73     35722        90      8010         0     14639     56070    366052     25.40     26.86  --
14.33/3.67	c  N dy    89     39993        90      8010         0     11286     56070    252761     25.49     27.01  --
15.93/4.02	c  N dy    95     45754        90      8010         0      8312     56070    146833     25.39     25.97  --
15.93/4.02	c  S st    95     45754        90      8010         0      8312     56070    146833     25.39     25.97  --
15.93/4.05	c  S st    95     46256        90      8010         0      8786     56070    161077     25.39   no data  --
15.93/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.53/4.92	c lits-rem:       203  cl-subs:       36  v-elim:      0  v-fix:    0  time:  3.43 s
19.53/4.92	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.53/4.92	c vivif2 --  cl tried     8750 cl shrink        0 lits rem          0 time: 0.00
20.72/5.23	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.20
20.72/5.23	c calculated reachability. Time: 0.00
20.72/5.23	c  N dy    95     46256        90      8010         0      8750     56070    159528     25.39   no data  --
21.52/5.48	c  N dy   109     50667        90      8010         0     12854     56070    280876     25.44     26.93  --
22.72/5.77	c  N dy   126     55213        90      8010         0     17098     56070    406933     25.51     26.96  --
26.32/6.68	c  N dy   130     69384        90      8010         0     10748     56070    184946     25.02     23.51  --
26.32/6.68	c  S st   130     69384        90      8010         0     10748     56070    184946     25.02     23.51  --
26.74/6.72	c  S st   130     69887        90      8010         0     11223     56070    199273     25.02   no data  --
26.74/6.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.74/6.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.74/6.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.72/7.77	c lits-rem:       261  cl-subs:      170  v-elim:      0  v-fix:    0  time:  4.14 s
30.72/7.77	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.72/7.77	c vivif2 --  cl tried    11053 cl shrink        0 lits rem          0 time: 0.01
32.29/8.12	c asymm  cl-useful: 0/7817/8010 lits-rem:0 time: 1.40
32.29/8.12	c calculated reachability. Time: 0.00
32.29/8.12	c  N dy   130     69887        90      8010         0     11053     56070    193748     25.02   no data  --
33.48/8.41	c  N dy   159     74365        90      8010         0     15216     56070    317871     25.12     27.72  --
35.10/8.83	c  N dy   177     80098        90      8010         0     20533     56070    474488     25.16     26.70  --
36.68/9.25	c  N dy   191     85874        90      8010         0     14762     56070    286889     25.17     26.57  --
37.08/9.35	c  F st   193     87501        90      8010         0     16287     56070    331411     25.16     24.12  --
38.68/9.73	c  N dy   199     92692        90      8010         0     21091     56070    476837     25.16   no data  --
42.27/10.61	c  N dy   217    104831        90      8010         0     20249     56070    426045     25.07     22.21  --
42.27/10.61	c  S st   217    104831        90      8010         0     20249     56070    426045     25.07     22.21  --
42.27/10.67	c  S st   217    105334        90      8010         0     20728     56070    440584     25.07   no data  --
42.27/10.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.27/10.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.27/10.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
42.27/10.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.27/10.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.27/10.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.27/10.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.04/12.39	c lits-rem:      1509  cl-subs:     1828  v-elim:      0  v-fix:    0  time:  6.75 s
49.04/12.39	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.04/12.39	c vivif2 --  cl tried    18900 cl shrink        0 lits rem          0 time: 0.02
50.64/12.79	c asymm  cl-useful: 0/5351/8010 lits-rem:0 time: 1.59
50.64/12.79	c calculated reachability. Time: 0.00
50.64/12.79	c  N dy   217    105334        90      8010         0     18900     56070    385333     25.07   no data  --
53.43/13.40	c  N dy   252    112228        90      8010         0     25293     56070    573849     25.13     26.46  --
55.43/13.92	c  N dy   291    119448        90      8010         0     19101     56070    381029     25.20     26.63  --
57.82/14.59	c  N dy   321    127766        90      8010         0     26801     56070    607367     25.22     26.59  --
60.22/15.17	c  N dy   337    136024        90      8010         0     20537     56070    402868     25.20     26.59  --
63.01/15.86	c  N dy   348    144761        90      8010         0     28649     56070    640375     25.15     26.77  --
65.82/16.57	c  N dy   369    154053        90      8010         0     22457     56070    440647     25.11     27.63  --
67.39/16.91	c  S st   386    158001        90      8010         0     26126     56070    549569     25.14   no data  --
67.39/16.98	c  S st   386    158503        90      8010         0     26600     56070    563458     25.14   no data  --
67.39/16.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
67.39/16.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.39/16.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
67.79/17.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.79/17.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.79/17.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
67.79/17.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.97/19.35	c lits-rem:      2906  cl-subs:     2218  v-elim:      0  v-fix:    0  time:  9.37 s
76.97/19.35	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
76.97/19.36	c vivif2 --  cl tried    24382 cl shrink        0 lits rem          0 time: 0.02
78.17/19.62	c asymm  cl-useful: 0/1976/8010 lits-rem:0 time: 1.03
78.17/19.62	c calculated reachability. Time: 0.00
78.17/19.62	c  N dy   386    158503        90      8010         0     24382     56070    492886     25.14   no data  --
85.35/21.41	c  N dy   396    180868        90      8010         0     29259     56070    617510     24.98     26.38  --
90.15/22.61	c  N dy   451    193049        90      8010         0     23981     56070    451749     25.02     26.38  --
103.71/26.06	c  N dy   487    230122        90      8010         0     22212     56070    368203     24.76     26.07  --
106.50/26.75	c  S st   514    237754        90      8010         0     29318     56070    576096     24.78     23.43  --
106.90/26.82	c  S st   514    238257        90      8010         0     29795     56070    590501     24.78   no data  --
106.90/26.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.90/26.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.90/26.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.90/26.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.90/26.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.90/26.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
106.90/26.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.28/29.42	c lits-rem:      1806  cl-subs:     2072  v-elim:      0  v-fix:    0  time: 10.22 s
117.28/29.42	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
117.28/29.42	c vivif2 --  cl tried    27723 cl shrink        0 lits rem          0 time: 0.02
117.68/29.51	c asymm  cl-useful: 0/683/8010 lits-rem:0 time: 0.36
117.68/29.52	c calculated reachability. Time: 0.00
117.68/29.52	c  N dy   514    238257        90      8010         0     27723     56070    526704     24.78   no data  --
124.85/31.30	c  N dy   613    253472        90      8010         0     22515     56070    361153     24.88     26.20  --
131.24/32.98	c  N dy   683    269673        90      8010         0     37527     56070    804622     24.91     28.92  --
138.82/34.82	c  N dy   735    288058        90      8010         0     34207     56070    685870     24.91     26.31  --
147.21/36.93	c  F st   831    306250        90      8010         0     29869     56070    537996     24.97   no data  --
147.21/36.97	c  N st   832    306502        90      8010         0     30102     56070    544990     24.97   no data  --
156.78/39.36	c  N dy   924    326143        90      8010         0     26064     56070    408448     25.04     26.88  --
168.35/42.23	c  N dy   962    352253        90      8010         0     27004     56070    415848     24.99     26.41  --
170.35/42.76	c  S st   990    357387        90      8010         0     31803     56070    558358     25.01     26.29  --
170.74/42.84	c  S st   990    357891        90      8010         0     32283     56070    572814     25.01   no data  --
170.74/42.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.74/42.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.74/42.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.74/42.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.74/42.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.74/42.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
170.74/42.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.12/45.44	c lits-rem:      1362  cl-subs:     1624  v-elim:      0  v-fix:    0  time: 10.23 s
181.12/45.44	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
181.12/45.44	c vivif2 --  cl tried    30659 cl shrink        0 lits rem          0 time: 0.02
181.92/45.64	c asymm  cl-useful: 0/2092/8010 lits-rem:0 time: 0.80
181.92/45.65	c calculated reachability. Time: 0.00
181.92/45.65	c  N dy   990    357891        90      8010         0     30659     56070    521258     25.01   no data  --
193.88/48.67	c  N dy  1037    378336        90      8010         0     25560     56070    357801     25.01     26.35  --
206.69/51.85	c  N dy  1145    398850        90      8010         0     44618     56070    922766     25.06     26.40  --
218.62/54.84	c  N dy  1249    421924        90      8010         0     40953     56070    798521     25.10     26.46  --
230.20/57.79	c  N dy  1344    443944        90      8010         0     35442     56070    612287     25.13     26.52  --
242.17/60.71	c  N dy  1410    464164        90      8010         0     27321     56070    355052     25.14     26.55  --
252.93/63.48	c  N dy  1502    486945        90      8010         0     48410     56070    978715     25.16     26.54  --
264.91/66.45	c  N dy  1566    508923        90      8010         0     40921     56070    731874     25.15     26.52  --
277.67/69.65	c  N dy  1651    528934        90      8010         0     30757     56070    418535     25.18     28.21  --
281.31/70.56	c  S st  1683    536837        90      8010         0     38116     56070    636468     25.19     24.58  --
281.66/70.67	c  S st  1683    537342        90      8010         0     38591     56070    650402     25.19   no data  --
281.66/70.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
281.66/70.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.66/70.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.07/70.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.07/70.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.07/70.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.07/70.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
297.23/74.57	c lits-rem:      1444  cl-subs:     1665  v-elim:      0  v-fix:    0  time: 15.40 s
297.23/74.57	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
297.23/74.57	c vivif2 --  cl tried    36926 cl shrink        0 lits rem          0 time: 0.03
298.03/74.80	c asymm  cl-useful: 0/1521/8010 lits-rem:0 time: 0.89
298.03/74.80	c calculated reachability. Time: 0.00
298.03/74.80	c  N dy  1683    537342        90      8010         0     36926     56070    595857     25.19   no data  --
309.60/77.68	c  N dy  1720    557911        90      8010         0     55923     56070   1150816     25.17     26.51  --
323.56/81.12	c  N dy  1778    584242        90      8010         0     50617     56070    980310     25.14     26.68  --
335.53/84.14	c  N dy  1841    604266        90      8010         0     38789     56070    621106     25.15     27.68  --
348.30/87.35	c  N dy  1944    624369        90      8010         0     57442     56070   1173947     25.18     26.61  --
369.09/92.53	c  N dy  2032    656951        90      8010         0     55966     56070   1097888     25.15     26.51  --
381.42/95.71	c  N dy  2072    677022        90      8010         0     42099     56070    673731     25.13     31.28  --
395.79/99.22	c  N dy  2157    697294        90      8010         0     60918     56070   1231001     25.14     26.53  --
410.95/103.04	c  N dy  2187    719718        90      8010         0     48296     56070    834727     25.12     26.50  --
430.12/107.85	c  N dy  2241    747861        90      8010         0     40063     56070    582349     25.10     26.52  --
443.29/111.15	c  N dy  2351    767951        90      8010         0     58674     56070   1136162     25.13     27.13  --
458.83/115.05	c  N dy  2437    789542        90      8010         0     43597     56070    671268     25.15     26.57  --
468.81/117.57	c  S st  2472    806014        90      8010         0     58784     56070   1111951     25.12     23.28  --
469.62/117.72	c  S st  2472    806519        90      8010         0     59258     56070   1126230     25.12   no data  --
469.62/117.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
469.62/117.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.62/117.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
469.62/117.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.62/117.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.62/117.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
469.62/117.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
507.10/127.14	c lits-rem:      3467  cl-subs:     4684  v-elim:      0  v-fix:    0  time: 37.32 s
507.10/127.14	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
507.10/127.15	c vivif2 --  cl tried    54574 cl shrink        0 lits rem          0 time: 0.05
508.70/127.51	c asymm  cl-useful: 0/1034/8010 lits-rem:0 time: 1.44
508.70/127.51	c calculated reachability. Time: 0.00
508.70/127.51	c  N dy  2472    806519        90      8010         0     54574     56070    981853     25.12   no data  --
528.65/132.50	c  N dy  2566    826949        90      8010         0     37683     56070    478259     25.14     26.53  --
543.02/136.14	c  N dy  2615    851729        90      8010         0     60495     56070   1142608     25.12     26.53  --
558.98/140.15	c  N dy  2696    872147        90      8010         0     42571     56070    601535     25.13     26.53  --
571.34/143.26	c  N dy  2753    892158        90      8010         0     61076     56070   1144228     25.12     27.44  --
585.71/146.86	c  N dy  2755    913220        90      8010         0     42523     56070    577930     25.07     26.51  --
599.68/150.35	c  N dy  2845    933467        90      8010         0     61218     56070   1131756     25.09     26.52  --
624.41/156.57	c  N dy  2890    969272        90      8010         0     55461     56070    939334     25.05     26.37  --
641.22/160.79	c  N dy  2968    989341        90      8010         0     73997     56070   1486353     25.06     26.88  --
657.54/164.87	c  N dy  3078   1009479        90      8010         0     53022     56070    859483     25.09     26.56  --
672.69/168.65	c  N dy  3112   1029488        90      8010         0     71453     56070   1395126     25.07     26.91  --
690.25/173.00	c  N dy  3216   1049722        90      8010         0     49621     56070    741662     25.09     26.55  --
707.05/177.28	c  N dy  3332   1071077        90      8010         0     69376     56070   1330103     25.11     26.51  --
707.81/177.48	c  F st  3340   1071876        90      8010         0     70119     56070   1352682     25.12   no data  --
725.36/181.84	c  N dy  3405   1091195        90      8010         0     46400     56070    625388     25.12     26.45  --
740.13/185.57	c  N dy  3484   1111909        90      8010         0     65539     56070   1190935     25.13     26.62  --
760.47/190.68	c  N dy  3536   1134376        90      8010         0     43735     56070    526318     25.13     26.57  --
776.44/194.70	c  N dy  3606   1154538        90      8010         0     62392     56070   1076965     25.13     26.50  --
801.97/201.02	c  N dy  3693   1177307        90      8010         0     83411     56070   1697798     25.14     26.53  --
822.31/206.12	c  N dy  3783   1198315        90      8010         0     59400     56070    974226     25.16     26.56  --
835.48/209.47	c  S st  3842   1209778        90      8010         0     70028     56070   1291585     25.16     30.29  --
836.67/209.72	c  S st  3842   1210285        90      8010         0     70504     56070   1305908     25.16   no data  --
836.67/209.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.67/209.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.67/209.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
837.07/209.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.07/209.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.07/209.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
837.07/209.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
923.24/231.44	c lits-rem:      3275  cl-subs:     4714  v-elim:      0  v-fix:    0  time: 86.27 s
923.24/231.44	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
923.24/231.46	c vivif2 --  cl tried    65790 cl shrink        0 lits rem          0 time: 0.06
924.84/231.85	c asymm  cl-useful: 0/856/8010 lits-rem:0 time: 1.56
924.84/231.85	c calculated reachability. Time: 0.00
924.84/231.85	c  N dy  3842   1210285        90      8010         0     65790     56070   1153480     25.16   no data  --
949.57/238.02	c  N dy  3929   1230694        90      8010         0     84701     56070   1713140     25.17     26.61  --
966.73/242.35	c  N dy  4002   1251280        90      8010         0     59468     56070    955708     25.18     26.62  --
985.49/247.04	c  N dy  4082   1271443        90      8010         0     78154     56070   1508020     25.19     26.59  --
1009.03/252.91	c  N dy  4168   1291544        90      8010         0     51480     56070    698596     25.20     26.59  --
1027.78/257.63	c  N dy  4268   1311596        90      8010         0     70049     56070   1253075     25.21     26.67  --
1056.11/264.76	c  N dy  4359   1334108        90      8010         0     90849     56070   1872597     25.22     26.63  --
1076.46/269.87	c  N dy  4475   1354470        90      8010         0     63572     56070   1044320     25.24     26.84  --
1101.20/276.09	c  N dy  4593   1374477        90      8010         0     82123     56070   1599960     25.26     27.84  --
1122.76/281.40	c  N dy  4645   1394615        90      8010         0     53555     56070    721615     25.26     26.61  --
1138.71/285.47	c  N dy  4735   1414664        90      8010         0     72087     56070   1274505     25.27     27.87  --
1161.45/291.11	c  N dy  4820   1434677        90      8010         0     90589     56070   1820610     25.28     26.67  --
1179.02/295.54	c  N dy  4863   1454883        90      8010         0     61134     56070    925534     25.27     26.66  --
1199.76/300.75	c  N dy  4962   1476779        90      8010         0     81380     56070   1529407     25.28     26.64  --
1222.90/306.52	c  N dy  5042   1496790        90      8010         0     50880     56070    605136     25.29     26.72  --
1238.86/310.56	c  N dy  5065   1519217        90      8010         0     71449     56070   1203670     25.27     26.64  --
1262.01/316.35	c  N dy  5132   1541888        90      8010         0     92327     56070   1822533     25.28     26.71  --
1285.96/322.38	c  N dy  5237   1567034        90      8010         0     65843     56070   1035028     25.28     26.88  --
1309.88/328.33	c  N dy  5302   1591756        90      8010         0     88660     56070   1709841     25.29     26.66  --
1340.21/335.95	c  N dy  5392   1620782        90      8010         0     64612     56070    965940     25.29     26.98  --
1372.13/343.96	c  N dy  5410   1657758        90      8010         0     98544     56070   1949857     25.24     26.61  --
1391.30/348.72	c  N dy  5471   1677823        90      8010         0     65591     56070    989656     25.25     26.63  --
1414.82/354.65	c  N dy  5603   1697976        90      8010         0     84327     56070   1552622     25.26     26.67  --
1429.59/358.37	c  S st  5651   1710288        90      8010         0     95719     56070   1890181     25.26     23.42  --
1430.81/358.64	c  S st  5651   1710792        90      8010         0     96196     56070   1904816     25.26   no data  --
1430.81/358.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1430.81/358.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1430.81/358.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1431.23/358.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1431.23/358.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1431.23/358.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1431.23/358.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1871.67/469.12	c lits-rem:      5521  cl-subs:     7550  v-elim:      0  v-fix:    0  time: 440.11 s
1871.67/469.12	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1871.67/469.14	c vivif2 --  cl tried    88646 cl shrink        0 lits rem          0 time: 0.08
1873.27/469.50	c asymm  cl-useful: 0/642/8010 lits-rem:0 time: 1.41
1873.27/469.50	c calculated reachability. Time: 0.00
1873.27/469.50	c  N dy  5651   1710792        90      8010         0     88646     56070   1656549     25.26   no data  --
1899.60/476.11	c  N dy  5733   1730993        90      8010         0     54963     56070    657067     25.27     26.63  --
1916.76/480.45	c  N dy  5830   1751075        90      8010         0     73524     56070   1210498     25.28     28.05  --
1938.31/485.80	c  N dy  5901   1771168        90      8010         0     92065     56070   1758355     25.28     28.32  --
1965.44/492.62	c  N dy  5979   1794190        90      8010         0     59836     56070    774926     25.28     26.68  --
1988.98/498.54	c  N dy  6025   1821832        90      8010         0     85320     56070   1519985     25.27     26.62  --
2016.11/505.31	c  N dy  6118   1841889        90      8010         0    103895     56070   2074491     25.28     28.16  --
2080.79/521.56	c  N dy  6220   1905983        90      8010         0    107935     56070   2139321     25.21     26.87  --
2097.52/525.78	c  N dy  6243   1926133        90      8010         0     71365     56070   1085633     25.20     26.69  --
2121.05/531.64	c  N dy  6345   1946814        90      8010         0     90459     56070   1654989     25.21     26.67  --
2151.02/539.15	c  N dy  6426   1967150        90      8010         0    109268     56070   2215183     25.22     26.79  --
2174.92/545.16	c  N dy  6526   1990397        90      8010         0     74629     56070   1171233     25.23     26.58  --
2199.66/551.38	c  N dy  6616   2011693        90      8010         0     94363     56070   1760085     25.23     26.57  --
2229.61/558.81	c  N dy  6683   2033330        90      8010         0     57160     56070    629643     25.23     26.68  --
2248.33/563.59	c  N dy  6736   2055694        90      8010         0     77806     56070   1237993     25.23     26.67  --
2273.49/569.81	c  N dy  6831   2076111        90      8010         0     96675     56070   1800986     25.24     26.61  --
2299.83/576.42	c  N dy  6871   2096882        90      8010         0    115768     56070   2365926     25.24     26.79  --
2321.77/581.93	c  N dy  6993   2118462        90      8010         0     77681     56070   1228130     25.25     26.71  --
2345.30/587.86	c  N dy  7052   2139953        90      8010         0     97576     56070   1816045     25.25     26.67  --
2373.22/594.82	c  N dy  7111   2159957        90      8010         0    116090     56070   2365785     25.25     28.96  --
2395.97/600.53	c  N dy  7177   2180511        90      8010         0     75875     56070   1141282     25.25     26.61  --
2431.51/609.43	c  N dy  7237   2209901        90      8010         0    103005     56070   1945170     25.25     26.63  --
2433.08/609.83	c  S st  7243   2210793        90      8010         0    103827     56070   1969664     25.25   no data  --
2434.28/610.17	c  S st  7243   2211295        90      8010         0    104305     56070   1984147     25.25   no data  --
2434.28/610.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2434.28/610.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2434.68/610.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2435.08/610.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2435.08/610.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2435.08/610.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2435.08/610.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2860.40/716.97	c lits-rem:      4968  cl-subs:     8850  v-elim:      0  v-fix:    0  time: 425.42 s
2860.40/716.97	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2860.40/716.99	c vivif2 --  cl tried    95455 cl shrink        0 lits rem          0 time: 0.09
2862.39/717.42	c asymm  cl-useful: 0/608/8010 lits-rem:0 time: 1.69
2862.39/717.42	c calculated reachability. Time: 0.00
2862.39/717.42	c  N dy  7243   2211295        90      8010         0     95455     56070   1711460     25.25   no data  --
2893.11/725.10	c  N dy  7314   2231389        90      8010         0    114058     56070   2264996     25.25     28.71  --
2919.09/731.67	c  N dy  7407   2251590        90      8010         0     73095     56070   1051357     25.26     26.73  --
2941.39/737.29	c  N dy  7483   2271720        90      8010         0     91727     56070   1607215     25.26     26.64  --
2974.11/745.49	c  N dy  7583   2294765        90      8010         0    113070     56070   2241885     25.27     26.68  --
2998.45/751.55	c  N dy  7632   2314813        90      8010         0     70703     56070    955713     25.26     27.29  --
3021.20/757.25	c  N dy  7728   2334867        90      8010         0     89264     56070   1507556     25.27     27.28  --
3052.32/765.00	c  N dy  7784   2361292        90      8010         0    113515     56070   2220757     25.26     26.67  --
3079.85/771.99	c  N dy  7888   2381379        90      8010         0     70319     56070    930890     25.27     26.60  --
3101.40/777.36	c  N dy  7965   2401465        90      8010         0     88906     56070   1484488     25.27     26.80  --
3130.91/784.70	c  N dy  8077   2421648        90      8010         0    107573     56070   2044580     25.28     26.97  --
3166.03/793.53	c  N dy  8170   2441998        90      8010         0     63602     56070    707621     25.29     26.79  --
3185.19/798.39	c  N dy  8250   2462073        90      8010         0     82148     56070   1259906     25.30     27.01  --
3211.13/804.80	c  N dy  8298   2482919        90      8010         0    101300     56070   1828424     25.29     26.64  --
3250.63/814.73	c  N dy  8441   2503667        90      8010         0    120538     56070   2408788     25.31     26.74  --
3279.75/822.05	c  N dy  8555   2526211        90      8010         0     77696     56070   1113484     25.31     26.66  --
3306.09/828.69	c  N dy  8609   2550411        90      8010         0    100001     56070   1768167     25.31     26.67  --
3337.61/836.58	c  N dy  8701   2570508        90      8010         0    118633     56070   2325475     25.31     27.10  --
3370.33/844.75	c  N dy  8805   2594744        90      8010         0     76295     56070   1051140     25.32     26.66  --
3393.87/850.60	c  N dy  8868   2616226        90      8010         0     96078     56070   1636504     25.32     26.68  --
3422.60/857.88	c  N dy  8956   2636601        90      8010         0    114914     56070   2197655     25.32     26.69  --
3454.91/865.93	c  N dy  9027   2656603        90      8010         0     67822     56070    780212     25.32     27.10  --
3495.62/876.17	c  N dy  9064   2697763        90      8010         0    105363     56070   1856256     25.30     26.82  --
3514.38/880.85	c  S st  9107   2711296        90      8010         0    117871     56070   2226392     25.30     25.25  --
3516.01/881.21	c  S st  9107   2711798        90      8010         0    118341     56070   2240675     25.30   no data  --
3516.01/881.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3516.01/881.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3516.01/881.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3516.37/881.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3516.37/881.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3516.37/881.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3516.37/881.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4319.80/1082.73	c lits-rem:     10327  cl-subs:    12669  v-elim:      0  v-fix:    0  time: 803.16 s
4319.80/1082.73	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4319.80/1082.76	c vivif2 --  cl tried   105672 cl shrink        0 lits rem          0 time: 0.12
4321.80/1083.29	c asymm  cl-useful: 0/537/8010 lits-rem:0 time: 2.13
4321.80/1083.30	c calculated reachability. Time: 0.00
4321.80/1083.30	c  N dy  9107   2711798        90      8010         0    105672     56070   1870288     25.30   no data  --
4369.27/1095.14	c  N dy  9198   2731817        90      8010         0    124180     56070   2422439     25.30     26.65  --
4402.42/1103.49	c  N dy  9222   2751996        90      8010         0     76951     56070   1040543     25.29     26.76  --
4445.46/1114.26	c  N dy  9296   2781334        90      8010         0    103976     56070   1837387     25.29     26.62  --
4488.14/1124.93	c  N dy  9380   2801514        90      8010         0    122656     56070   2397150     25.29     26.66  --
4544.79/1139.10	c  N dy  9478   2831755        90      8010         0     83514     56070   1210176     25.29     26.64  --
4579.49/1147.84	c  N dy  9546   2852272        90      8010         0    102494     56070   1776410     25.29     26.82  --
4625.80/1159.42	c  N dy  9654   2873350        90      8010         0    121974     56070   2357707     25.30     26.71  --
4673.65/1171.46	c  N dy  9768   2899743        90      8010         0     78212     56070   1033513     25.31     26.65  --
4703.98/1179.02	c  N dy  9833   2924053        90      8010         0    100655     56070   1695001     25.30     26.68  --
4740.67/1188.21	c  N dy  9935   2944243        90      8010         0    119339     56070   2255678     25.31     26.84  --
4783.80/1199.03	c  N dy 10034   2964328        90      8010         0    137937     56070   2811556     25.32     26.86  --

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-3369062-1305411188/watcher-3369062-1305411188 -o /tmp/evaluation-result-3369062-1305411188/solver-3369062-1305411188 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369062-1305411188.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.45 8.00 8.05 1/315 15084
/proc/meminfo: memFree=28008484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 652717586 52465664 357 33554432000 4194304 4650419 140735789802272 18446744073709551615 47973483505590 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 12809 357 306 112 0 7774 0
[pid=15084/tid=15085] ppid=15082 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652717587 52465664 357 33554432000 4194304 4650419 140735789802272 18446744073709551615 47973483505175 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652717587 52465664 357 33554432000 4194304 4650419 140735789802272 18446744073709551615 47973483505586 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652717587 52465664 357 33554432000 4194304 4650419 140735789802272 18446744073709551615 47973483505181 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.112758 s]
/proc/loadavg: 7.45 8.00 8.05 1/315 15084
/proc/meminfo: memFree=28008484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=282052 CPUtime=0.42 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 1654 0 0 0 42 0 0 0 25 0 4 0 652717586 288821248 1561 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 70513 1561 366 112 0 65478 0
[pid=15084/tid=15085] ppid=15082 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 275 0 0 0 10 0 0 0 25 0 4 0 652717587 288821248 1561 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 271 0 0 0 10 0 0 0 25 0 4 0 652717587 288821248 1561 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 409 0 0 0 10 0 0 0 25 0 4 0 652717587 288821248 1561 33554432000 4194304 4650419 140735789802272 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282052

[startup+0.200715 s]
/proc/loadavg: 7.45 8.00 8.05 1/315 15084
/proc/meminfo: memFree=28008484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=291448 CPUtime=0.77 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 2070 0 0 0 77 0 0 0 25 0 4 0 652717586 298442752 1726 33554432000 4194304 4650419 140735789802272 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 72862 1726 369 112 0 67827 0
[pid=15084/tid=15085] ppid=15082 vsize=291448 CPUtime=0.19 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 285 0 0 0 19 0 0 0 25 0 4 0 652717587 298442752 1726 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=291448 CPUtime=0.18 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 353 0 0 0 18 0 0 0 25 0 4 0 652717587 298442752 1726 33554432000 4194304 4650419 140735789802272 18446744073709551615 4516533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=291448 CPUtime=0.19 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 722 0 0 0 19 0 0 0 25 0 4 0 652717587 298442752 1726 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 291448

[startup+0.300699 s]
/proc/loadavg: 7.45 8.00 8.05 1/315 15084
/proc/meminfo: memFree=28008484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=286136 CPUtime=1.16 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 4129 0 0 0 116 0 0 0 18 0 4 0 652717586 293003264 3429 33554432000 4194304 4650419 140735789802272 18446744073709551615 4334321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 71534 3429 390 112 0 66499 0
[pid=15084/tid=15085] ppid=15082 vsize=286136 CPUtime=0.29 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 960 0 0 0 29 0 0 0 18 0 4 0 652717587 293003264 3429 33554432000 4194304 4650419 140735789802272 18446744073709551615 4333790 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=286136 CPUtime=0.28 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 987 0 0 0 28 0 0 0 25 0 4 0 652717587 293003264 3429 33554432000 4194304 4650419 140735789802272 18446744073709551615 4334283 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=286136 CPUtime=0.29 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 802 0 0 0 29 0 0 0 25 0 4 0 652717587 293003264 3429 33554432000 4194304 4650419 140735789802272 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 286136

[startup+0.700628 s]
/proc/loadavg: 7.45 8.00 8.05 1/315 15084
/proc/meminfo: memFree=28008484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=287892 CPUtime=2.77 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 6766 0 0 0 276 1 0 0 18 0 4 0 652717586 294801408 4068 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 71973 4068 390 112 0 66938 0
[pid=15084/tid=15085] ppid=15082 vsize=287892 CPUtime=0.69 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 1620 0 0 0 69 0 0 0 18 0 4 0 652717587 294801408 4068 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=287892 CPUtime=0.68 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 1729 0 0 0 68 0 0 0 25 0 4 0 652717587 294801408 4068 33554432000 4194304 4650419 140735789802272 18446744073709551615 4363311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=287892 CPUtime=0.69 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 1343 0 0 0 69 0 0 0 25 0 4 0 652717587 294801408 4069 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287892

[startup+1.50048 s]
/proc/loadavg: 7.45 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27981256/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=289424 CPUtime=5.96 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 11029 0 0 0 594 2 0 0 19 0 4 0 652717586 296370176 4987 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 72356 4987 391 112 0 67321 0
[pid=15084/tid=15085] ppid=15082 vsize=289424 CPUtime=1.49 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 2698 0 0 0 149 0 0 0 19 0 4 0 652717587 296370176 4987 33554432000 4194304 4650419 140735789802272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=289424 CPUtime=1.47 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 2762 0 0 0 147 0 0 0 25 0 4 0 652717587 296370176 4987 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=289424 CPUtime=1.49 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 2426 0 0 0 149 0 0 0 25 0 4 0 652717587 296370176 4987 33554432000 4194304 4650419 140735789802272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289424

[startup+3.10021 s]
/proc/loadavg: 7.45 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27948772/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=295408 CPUtime=12.34 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 21121 0 0 0 1231 3 0 0 24 0 4 0 652717586 302497792 12509 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 73852 12509 392 112 0 68817 0
[pid=15084/tid=15085] ppid=15082 vsize=295408 CPUtime=3.08 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 4515 0 0 0 308 0 0 0 24 0 4 0 652717587 302497792 12509 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=295408 CPUtime=3.05 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 5833 0 0 0 305 0 0 0 25 0 4 0 652717587 302497792 12509 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=295408 CPUtime=3.08 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 5858 0 0 0 308 0 0 0 25 0 4 0 652717587 302497792 12509 33554432000 4194304 4650419 140735789802272 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295408

[startup+6.30064 s]
/proc/loadavg: 7.50 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27900480/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=295596 CPUtime=25.11 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 29898 0 0 0 2506 5 0 0 25 0 4 0 652717586 302690304 16186 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 73899 16186 392 112 0 68864 0
[pid=15084/tid=15085] ppid=15082 vsize=295596 CPUtime=6.29 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 7354 0 0 0 628 1 0 0 25 0 4 0 652717587 302690304 16186 33554432000 4194304 4650419 140735789802272 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=295596 CPUtime=6.23 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 7714 0 0 0 622 1 0 0 25 0 4 0 652717587 302690304 16186 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=295596 CPUtime=6.28 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 8131 0 0 0 627 1 0 0 25 0 4 0 652717587 302690304 16186 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 295596

[startup+12.7005 s]
/proc/loadavg: 7.54 8.00 8.04 9/324 15118
/proc/meminfo: memFree=27850124/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=304932 CPUtime=50.64 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 43858 0 0 0 5055 9 0 0 25 0 4 0 652717586 312250368 23102 33554432000 4194304 4650419 140735789802272 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 76233 23102 392 112 0 71198 0
[pid=15084/tid=15085] ppid=15082 vsize=304932 CPUtime=12.69 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 9593 0 0 0 1267 2 0 0 25 0 4 0 652717587 312250368 23102 33554432000 4194304 4650419 140735789802272 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=304932 CPUtime=12.56 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 11681 0 0 0 1254 2 0 0 25 0 4 0 652717587 312250368 23102 33554432000 4194304 4650419 140735789802272 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=304932 CPUtime=12.68 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 12673 0 0 0 1266 2 0 0 25 0 4 0 652717587 312250368 23102 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 304932

[startup+25.5012 s]
/proc/loadavg: 7.71 8.02 8.05 9/324 15118
/proc/meminfo: memFree=27790468/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=305344 CPUtime=101.71 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 65554 0 0 0 10156 15 0 0 25 0 4 0 652717586 312672256 31027 33554432000 4194304 4650419 140735789802272 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 76336 31027 392 112 0 71301 0
[pid=15084/tid=15085] ppid=15082 vsize=305344 CPUtime=25.49 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 13590 0 0 0 2546 3 0 0 25 0 4 0 652717587 312672256 31027 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=305344 CPUtime=25.22 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 17671 0 0 0 2518 4 0 0 25 0 4 0 652717587 312672256 31028 33554432000 4194304 4650419 140735789802272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=305344 CPUtime=25.48 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 19150 0 0 0 2544 4 0 0 25 0 4 0 652717587 312672256 31028 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 305344

[startup+51.1007 s]
/proc/loadavg: 7.81 8.02 8.05 9/324 15119
/proc/meminfo: memFree=27751460/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=328780 CPUtime=203.86 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 91685 0 0 0 20362 24 0 0 25 0 4 0 652717586 336670720 33914 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 82195 33914 392 112 0 77160 0
[pid=15084/tid=15085] ppid=15082 vsize=328780 CPUtime=51.09 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 16808 0 0 0 5105 4 0 0 25 0 4 0 652717587 336670720 33914 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=328780 CPUtime=50.57 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 25993 0 0 0 5050 7 0 0 25 0 4 0 652717587 336670720 33914 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=328780 CPUtime=51.08 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 28594 0 0 0 5101 7 0 0 25 0 4 0 652717587 336670720 33914 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 328780

[startup+102.301 s]
/proc/loadavg: 7.95 8.03 8.05 9/324 15120
/proc/meminfo: memFree=27681988/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=338912 CPUtime=408.17 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 138095 0 0 0 40779 38 0 0 25 0 4 0 652717586 347045888 41648 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 84728 41648 392 112 0 79693 0
[pid=15084/tid=15085] ppid=15082 vsize=338912 CPUtime=102.3 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 23628 0 0 0 10223 7 0 0 25 0 4 0 652717587 347045888 41651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=338912 CPUtime=101.27 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 42218 0 0 0 10115 12 0 0 25 0 4 0 652717587 347045888 41651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=338912 CPUtime=102.3 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 45523 0 0 0 10219 11 0 0 25 0 4 0 652717587 347045888 41651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 338912

[startup+162.301 s]

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

[pid=15084] ppid=15082 vsize=501512 CPUtime=2562.76 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 412675 0 0 0 256116 160 0 0 25 0 4 0 652717586 513548288 80651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 125378 80651 392 112 0 120343 0
[pid=15084/tid=15085] ppid=15082 vsize=501512 CPUtime=642.3 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 70039 0 0 0 64202 28 0 0 25 0 4 0 652717587 513548288 80651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=501512 CPUtime=635.83 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 109494 0 0 0 63540 43 0 0 25 0 4 0 652717587 513548288 80651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=501512 CPUtime=642.3 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 133197 0 0 0 64177 53 0 0 25 0 4 0 652717587 513548288 80651 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.76
Current children cumulated vsize (KiB) 501512

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 8.06 9/324 15136
/proc/meminfo: memFree=27363340/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=501616 CPUtime=2802.15 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 444903 0 0 0 280043 172 0 0 25 0 4 0 652717586 513654784 78496 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 125404 78496 392 112 0 120369 0
[pid=15084/tid=15085] ppid=15082 vsize=501616 CPUtime=702.3 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 73141 0 0 0 70201 29 0 0 25 0 4 0 652717587 513654784 78496 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=501616 CPUtime=695.22 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 114102 0 0 0 69475 47 0 0 25 0 4 0 652717587 513654784 78496 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=501616 CPUtime=702.3 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 140138 0 0 0 70173 57 0 0 25 0 4 0 652717587 513654784 78496 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.15
Current children cumulated vsize (KiB) 501616

[startup+762.301 s]
/proc/loadavg: 8.10 8.09 8.06 9/324 15138
/proc/meminfo: memFree=27318536/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=501724 CPUtime=3041.57 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 469914 0 0 0 303973 184 0 0 25 0 4 0 652717586 513765376 88256 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 125431 88256 392 112 0 120396 0
[pid=15084/tid=15085] ppid=15082 vsize=501724 CPUtime=762.31 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 76394 0 0 0 76200 31 0 0 25 0 4 0 652717587 513765376 88258 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=501724 CPUtime=754.62 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 120101 0 0 0 75412 50 0 0 25 0 4 0 652717587 513765376 88258 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=501724 CPUtime=762.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 147447 0 0 0 76170 61 0 0 25 0 4 0 652717587 513765376 88258 33554432000 4194304 4650419 140735789802272 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.57
Current children cumulated vsize (KiB) 501724

[startup+822.301 s]
/proc/loadavg: 8.08 8.09 8.06 9/324 15140
/proc/meminfo: memFree=27334260/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=501844 CPUtime=3280.95 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 489046 0 0 0 327900 195 0 0 25 0 4 0 652717586 513888256 84742 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 125461 84742 392 112 0 120426 0
[pid=15084/tid=15085] ppid=15082 vsize=501844 CPUtime=822.31 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 79613 0 0 0 82197 34 0 0 25 0 4 0 652717587 513888256 84742 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=501844 CPUtime=814.01 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 122849 0 0 0 81350 51 0 0 25 0 4 0 652717587 513888256 84742 33554432000 4194304 4650419 140735789802272 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=501844 CPUtime=822.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 155240 0 0 0 82165 66 0 0 25 0 4 0 652717587 513888256 84742 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.95
Current children cumulated vsize (KiB) 501844

[startup+882.313 s]
/proc/loadavg: 8.08 8.08 8.06 9/324 15141
/proc/meminfo: memFree=27323928/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=515116 CPUtime=3520.4 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 515228 0 0 0 351834 206 0 0 25 0 4 0 652717586 527478784 84991 33554432000 4194304 4650419 140735789802272 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 128779 84991 392 112 0 123744 0
[pid=15084/tid=15085] ppid=15082 vsize=515116 CPUtime=882.32 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 82977 0 0 0 88197 35 0 0 25 0 4 0 652717587 527478784 84991 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=515116 CPUtime=873.42 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 129672 0 0 0 87288 54 0 0 25 0 4 0 652717587 527478784 84991 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=515116 CPUtime=882.32 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 162714 0 0 0 88162 70 0 0 25 0 4 0 652717587 527478784 84991 33554432000 4194304 4650419 140735789802272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.4
Current children cumulated vsize (KiB) 515116

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.07 9/324 15143
/proc/meminfo: memFree=27249128/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=646872 CPUtime=3759.72 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 529767 0 0 0 375758 214 0 0 25 0 4 0 652717586 662396928 96120 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 161718 96120 392 112 0 156683 0
[pid=15084/tid=15085] ppid=15082 vsize=646872 CPUtime=942.31 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 85793 0 0 0 94194 37 0 0 25 0 4 0 652717587 662396928 96120 33554432000 4194304 4650419 140735789802272 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=646872 CPUtime=932.77 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 133925 0 0 0 93219 58 0 0 25 0 4 0 652717587 662396928 96120 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=646872 CPUtime=942.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 170097 0 0 0 94159 72 0 0 25 0 4 0 652717587 662396928 96120 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.72
Current children cumulated vsize (KiB) 646872

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.07 9/324 15144
/proc/meminfo: memFree=27264840/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=594120 CPUtime=3999.06 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 547440 0 0 0 399687 219 0 0 25 0 4 0 652717586 608378880 93294 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 148530 93294 392 112 0 143495 0
[pid=15084/tid=15085] ppid=15082 vsize=594120 CPUtime=1002.31 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 85793 0 0 0 100194 37 0 0 25 0 4 0 652717587 608378880 93294 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=594120 CPUtime=992.11 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 139367 0 0 0 99149 62 0 0 25 0 4 0 652717587 608378880 93294 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=594120 CPUtime=1002.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 177077 0 0 0 100158 73 0 0 25 0 4 0 652717587 608378880 93294 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.06
Current children cumulated vsize (KiB) 594120

[startup+1062.3 s]
/proc/loadavg: 8.20 8.13 8.08 9/324 15146
/proc/meminfo: memFree=27244852/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=594184 CPUtime=4238.42 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 565349 0 0 0 423617 225 0 0 25 0 4 0 652717586 608444416 95468 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 148546 95468 392 112 0 143511 0
[pid=15084/tid=15085] ppid=15082 vsize=594184 CPUtime=1062.32 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 85793 0 0 0 106195 37 0 0 25 0 4 0 652717587 608444416 95468 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=594184 CPUtime=1051.47 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 145491 0 0 0 105081 66 0 0 25 0 4 0 652717587 608444416 95468 33554432000 4194304 4650419 140735789802272 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=594184 CPUtime=1062.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 186067 0 0 0 106157 74 0 0 25 0 4 0 652717587 608444416 95468 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.42
Current children cumulated vsize (KiB) 594184

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.08 9/324 15148
/proc/meminfo: memFree=27225484/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=594184 CPUtime=4477.77 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 580878 0 0 0 447548 229 0 0 25 0 4 0 652717586 608444416 97999 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 148546 97999 392 112 0 143511 0
[pid=15084/tid=15085] ppid=15082 vsize=594184 CPUtime=1122.32 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 85793 0 0 0 112195 37 0 0 25 0 4 0 652717587 608444416 97999 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=594184 CPUtime=1110.81 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 147097 0 0 0 111015 66 0 0 25 0 4 0 652717587 608444416 97999 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=594184 CPUtime=1122.31 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 196105 0 0 0 112155 76 0 0 25 0 4 0 652717587 608444416 97999 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.77
Current children cumulated vsize (KiB) 594184

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 8.09 9/324 15149
/proc/meminfo: memFree=27213172/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=634000 CPUtime=4717.14 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 604801 0 0 0 471477 237 0 0 25 0 4 0 652717586 649216000 98234 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 158500 98234 392 112 0 153465 0
[pid=15084/tid=15085] ppid=15082 vsize=634000 CPUtime=1182.31 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 86863 0 0 0 118193 38 0 0 25 0 4 0 652717587 649216000 98234 33554432000 4194304 4650419 140735789802272 18446744073709551615 4313711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=634000 CPUtime=1170.18 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 157693 0 0 0 116951 67 0 0 25 0 4 0 652717587 649216000 98234 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=634000 CPUtime=1182.32 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 204615 0 0 0 118153 79 0 0 25 0 4 0 652717587 649216000 98234 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.14
Current children cumulated vsize (KiB) 634000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.11 8.08 9/324 15150
/proc/meminfo: memFree=27210564/32950928 swapFree=60199044/67111528
[pid=15084] ppid=15082 vsize=620952 CPUtime=4800.16 cores=1,3,5,7
/proc/15084/stat : 15084 (strangenight1-m) R 15082 15084 14558 0 -1 4202496 612767 0 0 0 479776 240 0 0 25 0 4 0 652717586 635854848 97422 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15084/statm: 155238 97422 392 112 0 150203 0
[pid=15084/tid=15085] ppid=15082 vsize=620952 CPUtime=1203.12 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 86863 0 0 0 120274 38 0 0 25 0 4 0 652717587 635854848 97422 33554432000 4194304 4650419 140735789802272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15084/tid=15086] ppid=15082 vsize=620952 CPUtime=1190.77 cores=1,3,5,7
/proc/15084/task/15086/stat : 15086 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 162624 0 0 0 119010 67 0 0 25 0 4 0 652717587 635854848 97422 33554432000 4194304 4650419 140735789802272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15084/tid=15087] ppid=15082 vsize=620952 CPUtime=1203.13 cores=1,3,5,7
/proc/15084/task/15087/stat : 15087 (strangenight1-m) R 15082 15084 14558 0 -1 4202560 206300 0 0 0 120233 80 0 0 25 0 4 0 652717587 635854848 97422 33554432000 4194304 4650419 140735789802272 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 620952

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): 1203.13
CPU time (s): 4800.22
CPU user time (s): 4797.8
CPU system time (s): 2.41763
CPU usage (%): 398.976
Max. virtual memory (cumulated for all children) (KiB): 700340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.41763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612768
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= 638
involuntary context switches= 32142

runsolver used 3.2585 second user time and 9.11861 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 00:13:08
IDJOB=3369062
IDBENCH=83071
IDSOLVER=1846
FILE ID=node122/3369062-1305411188
RUNJOBID= node122-1305409983-14985
PBS_JOBID= 13324494
Free space on /tmp= 73432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369062-1305411188/watcher-3369062-1305411188 -o /tmp/evaluation-result-3369062-1305411188/solver-3369062-1305411188 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369062-1305411188.cnf

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

MD5SUM BENCH= 85fc90ad26a12d6925b177503ad87394
RANDOM SEED=71098234

node122.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.820
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.64
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.820
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.820
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.820
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.83
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.820
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28008764 kB
Buffers:        276536 kB
Cached:        3352216 kB
SwapCached:      50104 kB
Active:         879592 kB
Inactive:      3854228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28008764 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            6300 kB
Writeback:           0 kB
AnonPages:     1066308 kB
Mapped:          13952 kB
Slab:           112904 kB
PageTables:      31972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52558072 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= 73424 MiB
End job on node122 at 2011-05-15 00:33:13