Trace number 3369050

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.42 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
MD5SUM64cfbb29f16ce069bd41061252da74bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.33334
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369050-1305410859.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.37/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.37/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.37/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.37/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.22	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.22	c calculated reachability. Time: 0.00
0.77/0.22	c Calc default polars -  time:   0.00 s pos:      38 undec:       4 neg:      48
0.77/0.22	c =========================================================================================
0.77/0.22	c types(t): F = full restart, N = normal restart
0.77/0.22	c types(t): S = simplification begin/end, E = solution found
0.77/0.22	c restart types(rt): st = static, dy = dynamic
0.77/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.22	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.17/0.35	c  N dy    10      4157        90      8010         0      3812     56070    115067     26.61     28.06  --
2.37/0.69	c  N dy    15     12439        90      8010         0      5238     56070    127211     25.35     26.87  --
3.17/0.87	c  N dy    26     16473        90      8010         0      8956     56070    236427     25.34     26.73  --
3.99/1.07	c  N dy    41     20628        90      8010         0      7636     56070    181753     25.50     27.09  --
4.76/1.29	c  F st    58     25000        90      8010         0     11696     56070    303682     25.64     25.63  --
4.76/1.29	c  N st    58     25000        90      8010         0     11696     56070    303682     25.64     25.63  --
5.96/1.52	c  N dy    64     30000        90      8010         0     10035     56070    237107     25.64   no data  --
5.96/1.52	c  S st    64     30000        90      8010         0     10035     56070    237107     25.64   no data  --
5.96/1.56	c  S st    64     30506        90      8010         0     10520     56070    251704     25.64   no data  --
5.96/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.57	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
11.15/2.83	c lits-rem:      1424  cl-subs:      747  v-elim:      0  v-fix:    0  time:  4.99 s
12.35/3.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.47
12.35/3.20	c calculated reachability. Time: 0.00
12.35/3.20	c  N dy    64     30506        90      8010         0      9773     56070    225317     25.64   no data  --
13.54/3.43	c  N dy    76     34695        90      8010         0     13652     56070    341440     25.69     27.06  --
14.74/3.77	c  N dy    78     41261        90      8010         0     12436     56070    286634     25.42     26.82  --
15.94/4.05	c  N dy    88     45760        90      8010         0      8308     56070    148869     25.37     24.93  --
15.94/4.05	c  S st    88     45760        90      8010         0      8308     56070    148869     25.37     24.93  --
15.94/4.09	c  S st    88     46265        90      8010         0      8789     56070    162934     25.37   no data  --
15.94/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.94/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.94/4.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.93/5.05	c lits-rem:       195  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.82 s
19.93/5.05	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.93/5.06	c vivif2 --  cl tried     8748 cl shrink        0 lits rem          0 time: 0.00
21.13/5.35	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.18
21.13/5.35	c calculated reachability. Time: 0.00
21.13/5.35	c  N dy    88     46265        90      8010         0      8748     56070    161241     25.37   no data  --
22.31/5.63	c  N dy    92     51681        90      8010         0     13778     56070    308174     25.26     26.63  --
23.52/5.94	c  N dy   104     56191        90      8010         0     17938     56070    429694     25.28     26.66  --
26.35/6.62	c  N dy   106     67171        90      8010         0     18847     56070    439005     24.95     26.31  --
26.71/6.79	c  S st   121     69397        90      8010         0     10746     56070    188238     25.00   no data  --
27.10/6.83	c  S st   121     69900        90      8010         0     11219     56070    202179     25.00   no data  --
27.10/6.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.10/6.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.10/6.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.10/6.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.10/6.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.09/7.84	c lits-rem:       389  cl-subs:      131  v-elim:      0  v-fix:    0  time:  3.96 s
31.09/7.84	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.09/7.84	c vivif2 --  cl tried    11088 cl shrink        0 lits rem          0 time: 0.01
32.70/8.20	c asymm  cl-useful: 0/7594/8010 lits-rem:0 time: 1.44
32.70/8.20	c calculated reachability. Time: 0.00
32.70/8.20	c  N dy   121     69900        90      8010         0     11088     56070    197231     25.00   no data  --
33.90/8.50	c  N dy   146     74633        90      8010         0     15524     56070    329225     25.08     26.40  --
35.48/8.95	c  N dy   166     80574        90      8010         0     20998     56070    488343     25.08     26.46  --
37.09/9.34	c  N dy   176     86083        90      8010         0     14996     56070    294852     25.07     26.42  --
37.49/9.44	c  F st   184     87502        90      8010         0     16316     56070    333774     25.09   no data  --
39.10/9.83	c  N dy   190     92696        90      8010         0     21078     56070    475341     25.09   no data  --
41.48/10.47	c  N dy   222    100919        90      8010         0     16719     56070    328481     25.13     26.56  --
42.67/10.75	c  S st   233    104853        90      8010         0     20367     56070    436451     25.14     25.08  --
43.07/10.80	c  S st   233    105353        90      8010         0     20839     56070    450652     25.14   no data  --
43.07/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.07/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.07/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
43.07/10.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.07/10.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.07/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.07/10.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.25/12.63	c lits-rem:      1935  cl-subs:     1607  v-elim:      0  v-fix:    0  time:  7.18 s
50.25/12.63	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.25/12.63	c vivif2 --  cl tried    19232 cl shrink        0 lits rem          0 time: 0.02
51.86/13.04	c asymm  cl-useful: 0/5538/8010 lits-rem:0 time: 1.63
51.86/13.04	c calculated reachability. Time: 0.00
51.86/13.04	c  N dy   233    105353        90      8010         0     19232     56070    398417     25.14   no data  --
54.24/13.61	c  N dy   257    112109        90      8010         0     25550     56070    584807     25.16     28.16  --
56.24/14.14	c  N dy   284    119370        90      8010         0     19321     56070    386088     25.20     26.63  --
60.63/15.24	c  N dy   319    133627        90      8010         0     18604     56070    347578     25.19     26.61  --
65.02/16.31	c  N dy   322    147241        90      8010         0     16344     56070    263983     25.04     26.42  --
68.21/17.11	c  N dy   353    158029        90      8010         0     26299     56070    556183     25.03     22.14  --
68.21/17.11	c  S st   353    158029        90      8010         0     26299     56070    556183     25.03     22.14  --
68.21/17.18	c  S st   353    158532        90      8010         0     26767     56070    570061     25.03   no data  --
68.21/17.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.21/17.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.21/17.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.61/17.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.61/17.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.61/17.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.61/17.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.19/19.63	c lits-rem:      1745  cl-subs:     2322  v-elim:      0  v-fix:    0  time:  9.66 s
78.19/19.63	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.19/19.64	c vivif2 --  cl tried    24445 cl shrink        0 lits rem          0 time: 0.02
79.02/19.89	c asymm  cl-useful: 0/1968/8010 lits-rem:0 time: 1.01
79.02/19.89	c calculated reachability. Time: 0.00
79.02/19.89	c  N dy   353    158532        90      8010         0     24445     56070    498793     25.03   no data  --
83.40/20.91	c  N dy   393    168746        90      8010         0     18319     56070    305555     25.06     26.45  --
88.95/22.32	c  N dy   449    183698        90      8010         0     32192     56070    712932     25.09     26.62  --
93.34/23.40	c  N dy   516    195859        90      8010         0     26880     56070    546939     25.17     26.50  --
99.73/25.02	c  N dy   580    210992        90      8010         0     23269     56070    413297     25.21     26.54  --
105.35/26.46	c  N dy   607    224687        90      8010         0     35969     56070    786322     25.20     26.53  --
110.50/27.73	c  S st   683    237798        90      8010         0     29628     56070    586727     25.27     24.91  --
110.90/27.82	c  S st   683    238301        90      8010         0     30098     56070    600920     25.27   no data  --
110.90/27.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.90/27.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.90/27.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
110.90/27.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.90/27.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.90/27.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.90/27.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.08/30.60	c lits-rem:      1725  cl-subs:     1840  v-elim:      0  v-fix:    0  time: 10.97 s
122.08/30.60	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.08/30.61	c vivif2 --  cl tried    28258 cl shrink        0 lits rem          0 time: 0.02
122.08/30.67	c asymm  cl-useful: 0/504/8010 lits-rem:0 time: 0.24
122.08/30.67	c calculated reachability. Time: 0.00
122.08/30.67	c  N dy   683    238301        90      8010         0     28258     56070    538353     25.27   no data  --
128.85/32.34	c  N dy   718    254203        90      8010         0     23569     56070    386565     25.26     26.65  --
136.83/34.37	c  N dy   750    274684        90      8010         0     22142     56070    327413     25.23     26.59  --
143.62/36.04	c  N dy   795    292283        90      8010         0     38449     56070    808334     25.21     26.55  --
149.60/37.55	c  F st   846    306251        90      8010         0     30134     56070    545511     25.22     23.55  --
151.60/38.07	c  N dy   852    311448        90      8010         0     34950     56070    690125     25.22   no data  --
160.37/40.26	c  N dy   918    331407        90      8010         0     31190     56070    560825     25.22     26.55  --
169.96/42.61	c  N dy   984    351464        90      8010         0     26613     56070    405321     25.21     29.03  --
172.34/43.22	c  S st  1006    357451        90      8010         0     32203     56070    570824     25.22   no data  --
172.74/43.30	c  S st  1006    357954        90      8010         0     32682     56070    585130     25.22   no data  --
172.74/43.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
172.74/43.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.74/43.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
172.74/43.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
172.74/43.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
172.74/43.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
172.74/43.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.94/46.16	c lits-rem:      2249  cl-subs:     1530  v-elim:      0  v-fix:    0  time: 11.27 s
183.94/46.16	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
183.94/46.17	c vivif2 --  cl tried    31152 cl shrink        0 lits rem          0 time: 0.02
184.71/46.39	c asymm  cl-useful: 0/2082/8010 lits-rem:0 time: 0.90
184.71/46.40	c calculated reachability. Time: 0.00
184.71/46.40	c  N dy  1006    357954        90      8010         0     31152     56070    533014     25.22   no data  --
197.88/49.69	c  N dy  1085    378099        90      8010         0     25797     56070    361301     25.24     26.65  --
208.25/52.27	c  N dy  1145    398231        90      8010         0     44431     56070    911035     25.24     26.58  --
219.46/55.03	c  N dy  1202    418894        90      8010         0     38531     56070    717148     25.23     26.71  --
231.00/57.98	c  N dy  1268    442564        90      8010         0     34525     56070    581715     25.22     26.61  --
242.17/60.75	c  N dy  1326    462644        90      8010         0     53102     56070   1129748     25.23     26.60  --
252.14/63.29	c  N dy  1396    482740        90      8010         0     44831     56070    871844     25.24     27.83  --
262.52/65.89	c  N dy  1413    504558        90      8010         0     37185     56070    624148     25.17     26.50  --
274.49/68.83	c  N dy  1497    524622        90      8010         0     55809     56070   1178279     25.20     28.10  --
280.50/70.35	c  S st  1518    536932        90      8010         0     38498     56070    642142     25.19     24.30  --
280.91/70.46	c  S st  1518    537437        90      8010         0     38978     56070    656258     25.19   no data  --
280.91/70.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
280.91/70.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.91/70.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
280.91/70.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.91/70.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.91/70.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
280.91/70.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
292.44/73.30	c lits-rem:      1227  cl-subs:     2474  v-elim:      0  v-fix:    0  time: 11.19 s
292.44/73.30	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
292.44/73.31	c vivif2 --  cl tried    36504 cl shrink        0 lits rem          0 time: 0.03
293.24/73.53	c asymm  cl-useful: 0/1543/8010 lits-rem:0 time: 0.89
293.24/73.53	c calculated reachability. Time: 0.00
293.24/73.53	c  N dy  1518    537437        90      8010         0     36504     56070    581834     25.19   no data  --
305.62/76.67	c  N dy  1606    557480        90      8010         0     55148     56070   1134313     25.21     26.62  --
316.02/79.23	c  N dy  1653    577482        90      8010         0     44122     56070    794111     25.20     28.21  --
329.19/82.53	c  N dy  1722    597515        90      8010         0     32215     56070    424699     25.21     27.26  --
339.93/85.21	c  N dy  1794    617596        90      8010         0     50800     56070    974718     25.22     26.58  --
353.50/88.62	c  N dy  1869    637805        90      8010         0     38042     56070    578025     25.24     26.62  --
369.45/92.64	c  N dy  1915    661655        90      8010         0     60022     56070   1211712     25.20     26.55  --
381.45/95.64	c  N dy  1951    681671        90      8010         0     46123     56070    795732     25.18     26.59  --
395.38/99.17	c  N dy  2017    702153        90      8010         0     65050     56070   1350676     25.19     26.60  --
408.19/102.34	c  N dy  2069    723443        90      8010         0     51478     56070    938890     25.19     26.57  --
424.51/106.43	c  N dy  2108    744820        90      8010         0     37063     56070    497491     25.17     26.59  --
438.50/109.97	c  N dy  2196    766782        90      8010         0     57421     56070   1099541     25.19     26.54  --
454.84/114.01	c  N dy  2299    787432        90      8010         0     41455     56070    607660     25.21     26.60  --
466.01/116.88	c  S st  2335    806156        90      8010         0     58697     56070   1111471     25.20   no data  --
466.81/117.04	c  S st  2335    806659        90      8010         0     59169     56070   1125553     25.20   no data  --
466.81/117.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
466.81/117.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.81/117.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
467.21/117.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.21/117.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.21/117.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
467.21/117.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
508.32/127.46	c lits-rem:      2588  cl-subs:     4589  v-elim:      0  v-fix:    0  time: 41.25 s
508.32/127.46	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
508.32/127.47	c vivif2 --  cl tried    54580 cl shrink        0 lits rem          0 time: 0.05
509.90/127.82	c asymm  cl-useful: 0/1034/8010 lits-rem:0 time: 1.39
509.90/127.82	c calculated reachability. Time: 0.00
509.90/127.82	c  N dy  2335    806659        90      8010         0     54580     56070    981628     25.20   no data  --
528.25/132.49	c  N dy  2407    831672        90      8010         0     41787     56070    592998     25.20     26.54  --
543.02/136.12	c  N dy  2489    853388        90      8010         0     61967     56070   1193378     25.22     26.55  --
557.43/139.71	c  N dy  2554    873477        90      8010         0     43633     56070    637532     25.21     28.15  --
572.15/143.45	c  N dy  2662    893498        90      8010         0     62205     56070   1189663     25.23     26.74  --
589.30/147.77	c  N dy  2745    915902        90      8010         0     45010     56070    656424     25.24     26.59  --
604.07/151.42	c  N dy  2826    936070        90      8010         0     63734     56070   1209092     25.25     26.70  --
622.03/155.90	c  N dy  2925    956160        90      8010         0     43455     56070    587031     25.26     27.01  --
636.00/159.46	c  N dy  2993    977165        90      8010         0     62879     56070   1161639     25.27     26.71  --
654.34/164.05	c  N dy  3070    997668        90      8010         0     42041     56070    528838     25.28     26.64  --
667.50/167.30	c  N dy  3137   1017821        90      8010         0     60749     56070   1082068     25.28     26.63  --
686.26/172.08	c  N dy  3224   1038021        90      8010         0     79452     56070   1634695     25.29     26.84  --
701.03/175.70	c  N dy  3272   1059548        90      8010         0     58577     56070    997196     25.28     26.69  --
711.40/178.34	c  F st  3327   1071875        90      8010         0     70018     56070   1337540     25.29     22.50  --
718.18/180.01	c  N dy  3347   1079596        90      8010         0     77158     56070   1550634     25.29     26.72  --
736.96/184.77	c  N dy  3406   1104865        90      8010         0     58752     56070    980001     25.28     26.77  --
755.28/189.32	c  N dy  3476   1124898        90      8010         0     77390     56070   1530601     25.29     26.62  --
776.46/194.63	c  N dy  3566   1147930        90      8010         0     56084     56070    885624     25.30     26.67  --
797.19/199.84	c  N dy  3649   1167981        90      8010         0     74697     56070   1438053     25.31     26.79  --
819.13/205.38	c  N dy  3712   1189073        90      8010         0     50704     56070    711311     25.31     26.85  --
839.48/210.45	c  N dy  3804   1209151        90      8010         0     69331     56070   1265627     25.32     26.66  --
840.68/210.73	c  S st  3810   1209988        90      8010         0     70126     56070   1289685     25.32   no data  --
841.88/211.01	c  S st  3810   1210494        90      8010         0     70606     56070   1304257     25.32   no data  --
841.88/211.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
841.88/211.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
841.88/211.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
841.88/211.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
841.88/211.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
841.88/211.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
841.88/211.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
943.24/236.47	c lits-rem:      2874  cl-subs:     4826  v-elim:      0  v-fix:    0  time: 101.19 s
943.24/236.47	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
943.24/236.48	c vivif2 --  cl tried    65780 cl shrink        0 lits rem          0 time: 0.06
944.81/236.87	c asymm  cl-useful: 0/862/8010 lits-rem:0 time: 1.55
944.81/236.87	c calculated reachability. Time: 0.00
944.81/236.87	c  N dy  3810   1210494        90      8010         0     65780     56070   1148638     25.32   no data  --
967.55/242.53	c  N dy  3857   1231344        90      8010         0     84928     56070   1713984     25.32     26.76  --
982.31/246.22	c  N dy  3896   1252050        90      8010         0     59789     56070    962488     25.32     26.66  --
1002.26/251.24	c  N dy  3952   1272499        90      8010         0     78684     56070   1519902     25.32     26.71  --
1026.62/257.31	c  N dy  4031   1293909        90      8010         0     53333     56070    752331     25.33     26.76  --
1061.73/266.17	c  N dy  4142   1329742        90      8010         0     86379     56070   1734395     25.34     26.71  --
1085.65/272.10	c  N dy  4236   1352494        90      8010         0     61295     56070    970603     25.35     26.75  --
1116.37/279.80	c  N dy  4268   1385080        90      8010         0     91287     56070   1849567     25.32     26.73  --
1134.33/284.34	c  N dy  4375   1405196        90      8010         0     62955     56070   1005037     25.33     26.75  --
1153.49/289.10	c  N dy  4444   1425339        90      8010         0     81539     56070   1554703     25.33     26.82  --
1176.26/294.87	c  N dy  4517   1446265        90      8010         0     52847     56070    679008     25.34     26.74  --
1194.18/299.35	c  N dy  4632   1467012        90      8010         0     72096     56070   1255009     25.35     26.72  --
1214.93/304.53	c  N dy  4695   1487567        90      8010         0     91116     56070   1818404     25.36     26.99  --
1238.46/310.43	c  N dy  4747   1514387        90      8010         0     66743     56070   1065186     25.35     26.72  --
1257.22/315.14	c  N dy  4813   1534557        90      8010         0     85385     56070   1618348     25.35     26.76  --
1280.37/320.99	c  N dy  4829   1561052        90      8010         0     59807     56070    845719     25.33     26.85  --
1297.52/325.27	c  N dy  4879   1581066        90      8010         0     78264     56070   1390019     25.33     27.68  --
1317.47/330.27	c  N dy  4909   1601268        90      8010         0     96867     56070   1936296     25.32     26.68  --
1335.03/334.68	c  N dy  4952   1621367        90      8010         0     64742     56070    980876     25.32     26.79  --
1352.98/339.19	c  N dy  4964   1644497        90      8010         0     86004     56070   1604146     25.30     26.66  --
1377.33/345.21	c  N dy  5032   1664533        90      8010         0     52901     56070    612630     25.30     28.21  --
1396.87/350.16	c  N dy  5129   1688079        90      8010         0     74739     56070   1263323     25.31     26.84  --
1421.64/356.35	c  N dy  5210   1708257        90      8010         0     93327     56070   1814350     25.31     26.70  --
1424.41/357.00	c  S st  5212   1710494        90      8010         0     95399     56070   1874550     25.31     23.72  --
1425.21/357.26	c  S st  5212   1710997        90      8010         0     95872     56070   1888729     25.31   no data  --
1425.21/357.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1425.21/357.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1425.61/357.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1425.61/357.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1425.61/357.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1425.61/357.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1425.61/357.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1557.70/390.49	c lits-rem:      5599  cl-subs:     8020  v-elim:      0  v-fix:    0  time: 132.08 s
1557.70/390.49	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1558.11/390.51	c vivif2 --  cl tried    87852 cl shrink        0 lits rem          0 time: 0.08
1559.27/390.86	c asymm  cl-useful: 0/652/8010 lits-rem:0 time: 1.39
1559.27/390.87	c calculated reachability. Time: 0.00
1559.27/390.87	c  N dy  5212   1710997        90      8010         0     87852     56070   1630089     25.31   no data  --
1584.04/397.05	c  N dy  5264   1731548        90      8010         0     54542     56070    646366     25.31     26.76  --
1605.56/402.49	c  N dy  5285   1759348        90      8010         0     80015     56070   1378643     25.28     26.79  --
1629.90/408.54	c  N dy  5358   1779359        90      8010         0     98566     56070   1930222     25.28     26.67  --
1654.68/414.71	c  N dy  5422   1801151        90      8010         0     65414     56070    947739     25.29     26.62  --
1684.57/422.23	c  N dy  5473   1829193        90      8010         0     91260     56070   1701830     25.27     26.62  --
1713.69/429.51	c  N dy  5516   1851782        90      8010         0     57708     56070    698759     25.26     26.70  --
1732.84/434.31	c  N dy  5557   1871943        90      8010         0     76284     56070   1242842     25.26     26.71  --
1759.17/440.96	c  N dy  5656   1892871        90      8010         0     95705     56070   1821885     25.27     26.61  --
1785.11/447.46	c  N dy  5677   1918249        90      8010         0     63635     56070    847025     25.25     26.92  --
1862.91/466.91	c  N dy  5742   2002725        90      8010         0     84706     56070   1448424     25.18     26.64  --
1890.45/473.81	c  N dy  5857   2022820        90      8010         0    103328     56070   2006332     25.19     26.79  --
1914.38/479.81	c  N dy  5921   2042859        90      8010         0     64955     56070    861488     25.19     28.65  --
1930.76/483.91	c  N dy  5948   2062968        90      8010         0     83369     56070   1399853     25.18     26.55  --
1953.49/489.62	c  N dy  6010   2083034        90      8010         0    101880     56070   1947777     25.18     26.54  --
1980.22/496.38	c  N dy  6076   2103076        90      8010         0     62469     56070    767393     25.18     26.51  --
2002.16/501.88	c  N dy  6136   2123399        90      8010         0     81210     56070   1316654     25.18     26.51  --
2026.51/507.93	c  N dy  6230   2143450        90      8010         0     99715     56070   1866632     25.19     26.56  --
2057.23/515.69	c  N dy  6253   2172455        90      8010         0     67423     56070    892756     25.17     26.63  --
2077.58/520.80	c  N dy  6325   2192636        90      8010         0     86070     56070   1448188     25.18     26.56  --
2103.11/527.15	c  S st  6391   2210999        90      8010         0    102997     56070   1946696     25.18   no data  --
2104.31/527.47	c  S st  6391   2211502        90      8010         0    103473     56070   1961272     25.18   no data  --
2104.31/527.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2104.31/527.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2104.71/527.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2104.71/527.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2104.71/527.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2104.71/527.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2104.71/527.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2543.61/637.54	c lits-rem:      4696  cl-subs:     8381  v-elim:      0  v-fix:    0  time: 438.47 s
2543.61/637.54	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2543.61/637.56	c vivif2 --  cl tried    95092 cl shrink        0 lits rem          0 time: 0.09
2545.23/637.93	c asymm  cl-useful: 0/594/8010 lits-rem:0 time: 1.45
2545.23/637.93	c calculated reachability. Time: 0.00
2545.23/637.93	c  N dy  6391   2211502        90      8010         0     95092     56070   1700268     25.18   no data  --
2576.72/645.87	c  N dy  6499   2232803        90      8010         0    114930     56070   2294442     25.19     26.56  --
2601.47/652.05	c  N dy  6581   2255771        90      8010         0     76450     56070   1145907     25.19     26.53  --
2626.21/658.28	c  N dy  6701   2275826        90      8010         0     95056     56070   1702823     25.20     27.01  --
2660.12/666.70	c  N dy  6806   2298805        90      8010         0    116271     56070   2334098     25.21     26.85  --
2684.06/672.71	c  N dy  6885   2318887        90      8010         0     74071     56070   1057404     25.21     28.24  --
2707.63/678.69	c  N dy  6996   2338947        90      8010         0     92661     56070   1614068     25.22     28.14  --
2735.13/685.59	c  N dy  7056   2359302        90      8010         0    111467     56070   2170957     25.23     26.56  --
2771.44/694.64	c  N dy  7075   2391952        90      8010         0     79633     56070   1193538     25.21     26.55  --
2800.21/701.84	c  N dy  7185   2411995        90      8010         0     98193     56070   1748638     25.22     28.00  --
2832.49/709.95	c  N dy  7250   2433436        90      8010         0    117937     56070   2327241     25.22     26.61  --
2864.02/717.86	c  N dy  7351   2454794        90      8010         0     74973     56070   1048139     25.22     26.57  --
2886.36/723.49	c  N dy  7408   2474866        90      8010         0     93518     56070   1597420     25.22     27.87  --
2913.92/730.33	c  N dy  7463   2495743        90      8010         0    112761     56070   2165222     25.22     26.58  --
2939.03/736.69	c  N dy  7483   2515850        90      8010         0     67623     56070    809904     25.22     26.83  --
2960.57/742.08	c  N dy  7585   2536165        90      8010         0     86486     56070   1374423     25.22     26.58  --
2982.92/747.68	c  N dy  7629   2556182        90      8010         0    104915     56070   1911595     25.22     27.21  --
3015.63/755.87	c  N dy  7721   2576351        90      8010         0    123602     56070   2470197     25.22     26.62  --
3041.96/762.45	c  N dy  7808   2596395        90      8010         0     77453     56070   1080208     25.23     27.20  --
3062.72/767.69	c  N dy  7832   2617240        90      8010         0     96601     56070   1642745     25.22     26.63  --
3093.05/775.26	c  N dy  7903   2639204        90      8010         0    116796     56070   2239956     25.23     26.61  --
3122.17/782.55	c  N dy  7972   2659242        90      8010         0     69819     56070    839447     25.22     28.10  --
3141.72/787.47	c  N dy  8022   2679259        90      8010         0     88228     56070   1383028     25.22     26.62  --
3170.84/794.75	c  N dy  8084   2699333        90      8010         0    106724     56070   1930523     25.22     27.77  --
3193.59/800.49	c  S st  8151   2711503        90      8010         0    118029     56070   2269944     25.23   no data  --
3195.22/800.86	c  S st  8151   2712008        90      8010         0    118504     56070   2284381     25.23   no data  --
3195.22/800.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3195.22/800.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3195.58/800.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3195.98/801.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3195.98/801.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3195.98/801.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3195.98/801.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3971.22/995.31	c lits-rem:      6832  cl-subs:    10470  v-elim:      0  v-fix:    0  time: 775.01 s
3971.22/995.31	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3971.22/995.34	c vivif2 --  cl tried   108034 cl shrink        0 lits rem          0 time: 0.11
3973.21/995.84	c asymm  cl-useful: 0/532/8010 lits-rem:0 time: 1.96
3973.21/995.84	c calculated reachability. Time: 0.00
3973.21/995.84	c  N dy  8151   2712008        90      8010         0    108034     56070   1955665     25.23   no data  --
4017.89/1007.05	c  N dy  8260   2732083        90      8010         0    126565     56070   2507777     25.24     26.71  --
4056.19/1016.61	c  N dy  8363   2755041        90      8010         0     81792     56070   1182020     25.24     26.71  --
4090.55/1025.29	c  N dy  8488   2775058        90      8010         0    100276     56070   1738799     25.25     27.45  --
4125.25/1033.97	c  N dy  8525   2795125        90      8010         0    118690     56070   2283271     25.25     26.59  --
4173.11/1045.94	c  N dy  8628   2815173        90      8010         0     70083     56070    817389     25.26     27.48  --
4210.21/1055.24	c  N dy  8731   2837219        90      8010         0     90457     56070   1427320     25.26     26.61  --
4245.71/1064.12	c  N dy  8776   2857300        90      8010         0    108926     56070   1968159     25.26     26.65  --
4294.40/1076.34	c  N dy  8894   2877362        90      8010         0    127474     56070   2522909     25.27     26.80  --
4330.71/1085.45	c  N dy  8930   2897389        90      8010         0     77703     56070   1015778     25.26     26.63  --
4364.23/1093.80	c  N dy  9005   2917578        90      8010         0     96331     56070   1570329     25.27     26.65  --
4405.73/1104.23	c  N dy  9096   2937741        90      8010         0    115010     56070   2128830     25.27     26.65  --
4497.50/1127.26	c  N dy  9170   2992659        90      8010         0     96108     56070   1523411     25.25     26.72  --
4544.18/1138.91	c  N dy  9255   3016128        90      8010         0    117791     56070   2166656     25.26     26.62  --
4596.05/1151.91	c  N dy  9346   3039571        90      8010         0    139409     56070   2810682     25.26     26.66  --
4623.98/1158.92	c  N dy  9451   3059638        90      8010         0     88057     56070   1302216     25.27     27.33  --
4665.52/1169.31	c  N dy  9526   3087912        90      8010         0    114160     56070   2075010     25.27     26.61  --
4707.37/1179.85	c  N dy  9654   3107923        90      8010         0    132656     56070   2630580     25.27     27.39  --
4738.09/1187.50	c  N dy  9699   3130460        90      8010         0     82475     56070   1104134     25.27     26.60  --
4766.82/1194.74	c  N dy  9815   3152087        90      8010         0    102515     56070   1704847     25.28     26.74  --
4799.94/1203.01	c  N dy  9920   3172101        90      8010         0    121098     56070   2263603     25.28     27.72  --

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-3369050-1305410859/watcher-3369050-1305410859 -o /tmp/evaluation-result-3369050-1305410859/solver-3369050-1305410859 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369050-1305410859.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: 0.32 0.07 0.10 6/310 19580
/proc/meminfo: memFree=18148184/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=208052 CPUtime=0 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 803 0 0 0 0 0 0 0 22 0 4 0 652685534 213045248 716 33554432000 4194304 4650419 140734089056704 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 52013 718 343 112 0 46978 0
[pid=19580/tid=19581] ppid=19578 vsize=208176 CPUtime=0 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 248 0 0 0 0 0 0 0 23 0 4 0 652685534 213172224 1107 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=208176 CPUtime=0 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 24 0 0 0 0 0 0 0 23 0 4 0 652685534 213172224 1108 33554432000 4194304 4650419 140734089056704 18446744073709551615 274473967419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=208176 CPUtime=0 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 258 0 0 0 0 0 0 0 23 0 4 0 652685534 213172224 1108 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0684991 s]
/proc/loadavg: 0.32 0.07 0.10 6/310 19580
/proc/meminfo: memFree=18148184/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=216512 CPUtime=0.25 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 1566 0 0 0 25 0 0 0 22 0 4 0 652685534 221708288 1479 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370707 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 54128 1480 366 112 0 49093 0
[pid=19580/tid=19581] ppid=19578 vsize=216512 CPUtime=0.06 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 271 0 0 0 6 0 0 0 23 0 4 0 652685534 221708288 1480 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=216512 CPUtime=0.05 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 251 0 0 0 5 0 0 0 23 0 4 0 652685534 221708288 1480 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=216512 CPUtime=0.06 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 360 0 0 0 6 0 0 0 23 0 4 0 652685534 221708288 1480 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 216512

[startup+0.100493 s]
/proc/loadavg: 0.32 0.07 0.10 6/310 19580
/proc/meminfo: memFree=18148184/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=216512 CPUtime=0.37 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 1626 0 0 0 37 0 0 0 22 0 4 0 652685534 221708288 1539 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 54128 1539 366 112 0 49093 0
[pid=19580/tid=19581] ppid=19578 vsize=216512 CPUtime=0.09 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 276 0 0 0 9 0 0 0 23 0 4 0 652685534 221708288 1539 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=216512 CPUtime=0.08 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 258 0 0 0 8 0 0 0 23 0 4 0 652685534 221708288 1539 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=216512 CPUtime=0.09 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 403 0 0 0 9 0 0 0 23 0 4 0 652685534 221708288 1539 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216512

[startup+0.300462 s]
/proc/loadavg: 0.32 0.07 0.10 6/310 19580
/proc/meminfo: memFree=18148184/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=220640 CPUtime=1.17 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 4107 0 0 0 117 0 0 0 22 0 4 0 652685534 225935360 3494 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 55160 3494 390 112 0 50125 0
[pid=19580/tid=19581] ppid=19578 vsize=220640 CPUtime=0.29 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 998 0 0 0 29 0 0 0 23 0 4 0 652685534 225935360 3494 33554432000 4194304 4650419 140734089056704 18446744073709551615 4360517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=220640 CPUtime=0.28 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 913 0 0 0 28 0 0 0 23 0 4 0 652685534 225935360 3494 33554432000 4194304 4650419 140734089056704 18446744073709551615 4360084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=220640 CPUtime=0.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 810 0 0 0 29 0 0 0 23 0 4 0 652685534 225935360 3494 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220640

[startup+0.70039 s]
/proc/loadavg: 0.32 0.07 0.10 6/310 19580
/proc/meminfo: memFree=18148184/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=222500 CPUtime=2.77 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 6613 0 0 0 276 1 0 0 23 0 4 0 652685534 227840000 4013 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 55625 4013 390 112 0 50590 0
[pid=19580/tid=19581] ppid=19578 vsize=222500 CPUtime=0.69 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 1654 0 0 0 69 0 0 0 25 0 4 0 652685534 227840000 4013 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=222500 CPUtime=0.68 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 1554 0 0 0 68 0 0 0 25 0 4 0 652685534 227840000 4013 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=222500 CPUtime=0.69 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 1348 0 0 0 69 0 0 0 25 0 4 0 652685534 227840000 4013 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 222500

[startup+1.50025 s]
/proc/loadavg: 0.93 0.20 0.14 9/314 19584
/proc/meminfo: memFree=18122876/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=223824 CPUtime=5.96 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 10948 0 0 0 595 1 0 0 25 0 4 0 652685534 229195776 4907 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 55956 4907 391 112 0 50921 0
[pid=19580/tid=19581] ppid=19578 vsize=223824 CPUtime=1.49 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 2715 0 0 0 149 0 0 0 25 0 4 0 652685534 229195776 4907 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=223824 CPUtime=1.47 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 2663 0 0 0 147 0 0 0 25 0 4 0 652685534 229195776 4907 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=223824 CPUtime=1.49 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 2435 0 0 0 149 0 0 0 25 0 4 0 652685534 229195776 4907 33554432000 4194304 4650419 140734089056704 18446744073709551615 4333707 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 223824

[startup+3.10097 s]
/proc/loadavg: 0.93 0.20 0.14 9/314 19584
/proc/meminfo: memFree=18108120/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=229568 CPUtime=12.35 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 20812 0 0 0 1233 2 0 0 25 0 4 0 652685534 235077632 12497 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 57392 12497 392 112 0 52357 0
[pid=19580/tid=19581] ppid=19578 vsize=229568 CPUtime=3.09 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 4468 0 0 0 309 0 0 0 25 0 4 0 652685534 235077632 12497 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=229568 CPUtime=3.06 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 5490 0 0 0 306 0 0 0 25 0 4 0 652685534 235077632 12497 33554432000 4194304 4650419 140734089056704 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=229568 CPUtime=3.08 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 5907 0 0 0 308 0 0 0 25 0 4 0 652685534 235077632 12497 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 229568

[startup+6.30041 s]
/proc/loadavg: 0.93 0.20 0.14 9/314 19584
/proc/meminfo: memFree=18076384/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=286056 CPUtime=25.12 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 28586 0 0 0 2508 4 0 0 25 0 4 0 652685534 292921344 16743 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 71514 16743 392 112 0 66479 0
[pid=19580/tid=19581] ppid=19578 vsize=286056 CPUtime=6.28 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 7056 0 0 0 628 0 0 0 25 0 4 0 652685534 292921344 16743 33554432000 4194304 4650419 140734089056704 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=286056 CPUtime=6.22 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 6784 0 0 0 622 0 0 0 25 0 4 0 652685534 292921344 16743 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=286056 CPUtime=6.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 8107 0 0 0 628 1 0 0 25 0 4 0 652685534 292921344 16743 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 286056

[startup+12.7003 s]
/proc/loadavg: 2.02 0.45 0.23 9/314 19584
/proc/meminfo: memFree=18020060/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=305536 CPUtime=50.65 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 41521 0 0 0 5058 7 0 0 25 0 4 0 652685534 312868864 24225 33554432000 4194304 4650419 140734089056704 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 76384 24225 392 112 0 71349 0
[pid=19580/tid=19581] ppid=19578 vsize=305536 CPUtime=12.69 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 9762 0 0 0 1267 2 0 0 25 0 4 0 652685534 312868864 24225 33554432000 4194304 4650419 140734089056704 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=305536 CPUtime=12.56 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 9690 0 0 0 1255 1 0 0 25 0 4 0 652685534 312868864 24225 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366888 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=305536 CPUtime=12.68 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 12696 0 0 0 1266 2 0 0 25 0 4 0 652685534 312868864 24225 33554432000 4194304 4650419 140734089056704 18446744073709551615 4313707 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 305536

[startup+25.501 s]
/proc/loadavg: 2.94 0.70 0.31 9/314 19585
/proc/meminfo: memFree=17964872/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=318632 CPUtime=101.72 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 61300 0 0 0 10159 13 0 0 25 0 4 0 652685534 326279168 32260 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 79658 32260 392 112 0 74623 0
[pid=19580/tid=19581] ppid=19578 vsize=318632 CPUtime=25.49 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 13031 0 0 0 2546 3 0 0 25 0 4 0 652685534 326279168 32260 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=318632 CPUtime=25.22 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 13892 0 0 0 2521 1 0 0 25 0 4 0 652685534 326279168 32260 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=318632 CPUtime=25.48 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 19186 0 0 0 2544 4 0 0 25 0 4 0 652685534 326279168 32260 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 318632

[startup+51.1005 s]
/proc/loadavg: 5.01 1.41 0.56 9/314 19585
/proc/meminfo: memFree=17917516/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=320152 CPUtime=203.87 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 83057 0 0 0 20365 22 0 0 25 0 4 0 652685534 327835648 36417 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 80038 36417 392 112 0 75003 0
[pid=19580/tid=19581] ppid=19578 vsize=320152 CPUtime=51.08 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 14866 0 0 0 5105 3 0 0 25 0 4 0 652685534 327835648 36417 33554432000 4194304 4650419 140734089056704 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=320152 CPUtime=50.57 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 20051 0 0 0 5054 3 0 0 25 0 4 0 652685534 327835648 36417 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=320152 CPUtime=51.08 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 27452 0 0 0 5100 8 0 0 25 0 4 0 652685534 327835648 36417 33554432000 4194304 4650419 140734089056704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 320152

[startup+102.312 s]
/proc/loadavg: 6.82 2.46 0.95 9/314 19587
/proc/meminfo: memFree=17834132/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=339012 CPUtime=408.19 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 124905 0 0 0 40782 37 0 0 25 0 4 0 652685534 347148288 45277 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 84753 45277 392 112 0 79718 0
[pid=19580/tid=19581] ppid=19578 vsize=339012 CPUtime=102.3 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 21950 0 0 0 10224 6 0 0 25 0 4 0 652685534 347148288 45277 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=339012 CPUtime=101.27 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 28968 0 0 0 10121 6 0 0 25 0 4 0 652685534 347148288 45277 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=339012 CPUtime=102.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 44799 0 0 0 10215 14 0 0 25 0 4 0 652685534 347148288 45277 33554432000 4194304 4650419 140734089056704 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 339012

[startup+162.301 s]

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

[pid=19580] ppid=19578 vsize=412976 CPUtime=2802.17 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 418680 0 0 0 280039 178 0 0 25 0 4 0 652685534 422887424 82642 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 103244 82642 392 112 0 98209 0
[pid=19580/tid=19581] ppid=19578 vsize=412976 CPUtime=702.3 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 87302 0 0 0 70189 41 0 0 25 0 4 0 652685534 422887424 82642 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=412976 CPUtime=695.27 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 103082 0 0 0 69484 43 0 0 25 0 4 0 652685534 422887424 82642 33554432000 4194304 4650419 140734089056704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=412976 CPUtime=702.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 141045 0 0 0 70173 56 0 0 25 0 4 0 652685534 422887424 82642 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.17
Current children cumulated vsize (KiB) 412976

[startup+762.312 s]
/proc/loadavg: 8.13 7.50 4.58 9/314 19604
/proc/meminfo: memFree=17465640/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=478668 CPUtime=3041.61 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 438665 0 0 0 303973 188 0 0 25 0 4 0 652685534 490156032 86848 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 119667 86848 392 112 0 114632 0
[pid=19580/tid=19581] ppid=19578 vsize=478668 CPUtime=762.32 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 92058 0 0 0 76188 44 0 0 25 0 4 0 652685534 490156032 86848 33554432000 4194304 4650419 140734089056704 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=478668 CPUtime=754.67 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 107809 0 0 0 75422 45 0 0 25 0 4 0 652685534 490156032 86848 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=478668 CPUtime=762.31 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 148517 0 0 0 76171 60 0 0 25 0 4 0 652685534 490156032 86848 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3041.61
Current children cumulated vsize (KiB) 478668

[startup+822.301 s]
/proc/loadavg: 8.13 7.62 4.80 9/314 19606
/proc/meminfo: memFree=17506292/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=413368 CPUtime=3280.98 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 454200 0 0 0 327902 196 0 0 25 0 4 0 652685534 423288832 83211 33554432000 4194304 4650419 140734089056704 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 103342 83211 392 112 0 98307 0
[pid=19580/tid=19581] ppid=19578 vsize=413368 CPUtime=822.3 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 98573 0 0 0 82183 47 0 0 25 0 4 0 652685534 423288832 83211 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=413368 CPUtime=814.07 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 109526 0 0 0 81361 46 0 0 25 0 4 0 652685534 423288832 83211 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=413368 CPUtime=822.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 155223 0 0 0 82167 62 0 0 25 0 4 0 652685534 423288832 83211 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.98
Current children cumulated vsize (KiB) 413368

[startup+882.301 s]
/proc/loadavg: 8.09 7.70 5.01 9/314 19607
/proc/meminfo: memFree=17507504/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=426780 CPUtime=3520.37 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 472883 0 0 0 351829 208 0 0 25 0 4 0 652685534 437022720 84397 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 106695 84397 392 112 0 101660 0
[pid=19580/tid=19581] ppid=19578 vsize=426780 CPUtime=882.31 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 104980 0 0 0 88179 52 0 0 25 0 4 0 652685534 437022720 84397 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=426780 CPUtime=873.47 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 115230 0 0 0 87297 50 0 0 25 0 4 0 652685534 437022720 84397 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=426780 CPUtime=882.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 161766 0 0 0 88162 67 0 0 25 0 4 0 652685534 437022720 84397 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.37
Current children cumulated vsize (KiB) 426780

[startup+942.301 s]
/proc/loadavg: 8.14 7.79 5.21 9/314 19609
/proc/meminfo: memFree=17457628/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=500296 CPUtime=3759.77 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 489963 0 0 0 375762 215 0 0 25 0 4 0 652685534 512303104 91366 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 125074 91366 392 112 0 120039 0
[pid=19580/tid=19581] ppid=19578 vsize=500296 CPUtime=942.31 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 110022 0 0 0 94177 54 0 0 25 0 4 0 652685534 512303104 91366 33554432000 4194304 4650419 140734089056704 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=500296 CPUtime=932.86 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 120851 0 0 0 93233 53 0 0 25 0 4 0 652685534 512303104 91366 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=500296 CPUtime=942.29 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 168183 0 0 0 94161 68 0 0 25 0 4 0 652685534 512303104 91366 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.77
Current children cumulated vsize (KiB) 500296

[startup+1002.3 s]
/proc/loadavg: 8.16 7.86 5.39 9/314 19611
/proc/meminfo: memFree=17414328/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=502512 CPUtime=3999.14 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 502416 0 0 0 399694 220 0 0 25 0 4 0 652685534 514572288 92626 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 125628 92626 392 112 0 120593 0
[pid=19580/tid=19581] ppid=19578 vsize=502512 CPUtime=1002.31 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 110150 0 0 0 100177 54 0 0 25 0 4 0 652685534 514572288 92626 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=502512 CPUtime=992.23 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 125607 0 0 0 99167 56 0 0 25 0 4 0 652685534 514572288 92626 33554432000 4194304 4650419 140734089056704 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=502512 CPUtime=1002.3 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 175742 0 0 0 100159 71 0 0 25 0 4 0 652685534 514572288 92626 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.14
Current children cumulated vsize (KiB) 502512

[startup+1062.3 s]
/proc/loadavg: 8.13 7.90 5.55 9/314 19612
/proc/meminfo: memFree=17402528/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=502576 CPUtime=4238.54 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 517223 0 0 0 423629 225 0 0 25 0 4 0 652685534 514637824 92915 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 125644 92915 392 112 0 120609 0
[pid=19580/tid=19581] ppid=19578 vsize=502576 CPUtime=1062.31 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 110155 0 0 0 106177 54 0 0 25 0 4 0 652685534 514637824 92915 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=502576 CPUtime=1051.63 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 131065 0 0 0 105105 58 0 0 25 0 4 0 652685534 514637824 92915 33554432000 4194304 4650419 140734089056704 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=502576 CPUtime=1062.3 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 182494 0 0 0 106158 72 0 0 25 0 4 0 652685534 514637824 92915 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.54
Current children cumulated vsize (KiB) 502576

[startup+1122.3 s]
/proc/loadavg: 8.15 7.94 5.71 9/314 19614
/proc/meminfo: memFree=17399660/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=502576 CPUtime=4477.94 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 532599 0 0 0 447564 230 0 0 25 0 4 0 652685534 514637824 92790 33554432000 4194304 4650419 140734089056704 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 125644 92790 392 112 0 120609 0
[pid=19580/tid=19581] ppid=19578 vsize=502576 CPUtime=1122.31 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 110155 0 0 0 112177 54 0 0 25 0 4 0 652685534 514637824 92790 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=502576 CPUtime=1111.02 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 131221 0 0 0 111044 58 0 0 25 0 4 0 652685534 514637824 92790 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=502576 CPUtime=1122.3 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 193453 0 0 0 112157 73 0 0 25 0 4 0 652685534 514637824 92790 33554432000 4194304 4650419 140734089056704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4477.94
Current children cumulated vsize (KiB) 502576

[startup+1182.3 s]
/proc/loadavg: 8.20 7.98 5.87 9/314 19615
/proc/meminfo: memFree=17393780/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=511224 CPUtime=4717.35 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 544534 0 0 0 471498 237 0 0 25 0 4 0 652685534 523493376 91328 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 127806 91328 392 112 0 122771 0
[pid=19580/tid=19581] ppid=19578 vsize=511224 CPUtime=1182.32 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 113525 0 0 0 118176 56 0 0 25 0 4 0 652685534 523493376 91328 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=511224 CPUtime=1170.43 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 131293 0 0 0 116985 58 0 0 25 0 4 0 652685534 523493376 91328 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=511224 CPUtime=1182.3 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 199670 0 0 0 118154 76 0 0 25 0 4 0 652685534 523493376 91328 33554432000 4194304 4650419 140734089056704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.35
Current children cumulated vsize (KiB) 511224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 7.84 7.92 5.89 9/314 19647
/proc/meminfo: memFree=17811120/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=551744 CPUtime=4800.37 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 553177 0 0 0 479796 241 0 0 25 0 4 0 652685534 564985856 92734 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 137936 92734 392 112 0 132901 0
[pid=19580/tid=19581] ppid=19578 vsize=551744 CPUtime=1203.12 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 114876 0 0 0 120256 56 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=551744 CPUtime=1191.03 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 132691 0 0 0 119044 59 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=551744 CPUtime=1203.11 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 202781 0 0 0 120233 78 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 551744

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

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

[startup+1203.1 s]
/proc/loadavg: 7.84 7.92 5.89 9/314 19647
/proc/meminfo: memFree=17811120/32950928 swapFree=67111348/67111528
[pid=19580] ppid=19578 vsize=551744 CPUtime=4800.37 cores=1,3,5,7
/proc/19580/stat : 19580 (strangenight1-m) R 19578 19580 19509 0 -1 4202496 553177 0 0 0 479796 241 0 0 25 0 4 0 652685534 564985856 92734 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19580/statm: 137936 92734 392 112 0 132901 0
[pid=19580/tid=19581] ppid=19578 vsize=551744 CPUtime=1203.12 cores=1,3,5,7
/proc/19580/task/19581/stat : 19581 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 114876 0 0 0 120256 56 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19580/tid=19582] ppid=19578 vsize=551744 CPUtime=1191.03 cores=1,3,5,7
/proc/19580/task/19582/stat : 19582 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 132691 0 0 0 119044 59 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19580/tid=19583] ppid=19578 vsize=551744 CPUtime=1203.11 cores=1,3,5,7
/proc/19580/task/19583/stat : 19583 (strangenight1-m) R 19578 19580 19509 0 -1 4202560 202781 0 0 0 120233 78 0 0 25 0 4 0 652685534 564985856 92735 33554432000 4194304 4650419 140734089056704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 551744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.13
CPU time (s): 4800.42
CPU user time (s): 4797.99
CPU system time (s): 2.43063
CPU usage (%): 398.993
Max. virtual memory (cumulated for all children) (KiB): 618236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.43063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553178
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= 171
involuntary context switches= 31264

runsolver used 3.2545 second user time and 8.86865 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-15 00:07:39
IDJOB=3369050
IDBENCH=83059
IDSOLVER=1846
FILE ID=node125/3369050-1305410859
RUNJOBID= node125-1305410849-19528
PBS_JOBID= 13324523
Free space on /tmp= 73192 MiB

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

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

MD5SUM BENCH= 64cfbb29f16ce069bd41061252da74bd
RANDOM SEED=1628417270

node125.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	: 5266.55
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.84
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.74
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.74
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.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.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:     32950928 kB
MemFree:      18148464 kB
Buffers:        256196 kB
Cached:        4034840 kB
SwapCached:          0 kB
Active:       11213692 kB
Inactive:      3215048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18148464 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12604 kB
Writeback:           0 kB
AnonPages:    10137944 kB
Mapped:          30008 kB
Slab:           274744 kB
PageTables:      35800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51231008 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= 73184 MiB
End job on node125 at 2011-05-15 00:27:44