Trace number 3366453

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-2-mt (fixed)? (TO) 4800.33 1203.46

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf
MD5SUMaf1e3a30945401f0fc52ffcd9f70aa15
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.081987
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
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 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366453-1305404578.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.02	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.02	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
3.16/0.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
3.16/0.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.16/0.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.16/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.16/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.16/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3.16/0.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.16/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.16/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.16/0.85	c calculated reachability. Time: 0.00
3.16/0.85	c Calc default polars -  time:   0.00 s pos:      59 undec:      12 neg:      79
3.16/0.85	c =========================================================================================
3.16/0.85	c types(t): F = full restart, N = normal restart
3.16/0.85	c types(t): S = simplification begin/end, E = solution found
3.16/0.85	c restart types(rt): st = static, dy = dynamic
3.16/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.85	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.16/0.85	c Decided on static restart strategy
3.16/0.85	c  N st     8      4915       150      3195         0      4703     15975    141602   no data   no data
3.16/0.85	c  N st    10     11300       150      3195         0      4367     15975    101949   no data   no data
3.16/0.85	c  N st    11     17044       150      3195         0      9889     15975    273692   no data   no data
3.56/0.95	c  F st    12     25001       150      3195         0     12057     15975    324849   no data   no data
3.56/0.95	c  N st    12     25001       150      3195         0     12057     15975    324849   no data   no data
4.37/1.15	c Decided on static restart strategy
4.37/1.15	c  N st    18     30002       150      3195         0     10334     15975    266668   no data   no data
4.37/1.15	c  S st    18     30002       150      3195         0     10334     15975    266668   no data   no data
4.37/1.19	c  S st    18     30505       150      3195         0     10828     15975    281358   no data   no data
4.37/1.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.37/1.19	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.37/1.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.37/1.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.37/1.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.37/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.38	c lits-rem:       188  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  0.18 s
5.55/1.42	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.55/1.42	c calculated reachability. Time: 0.00
5.55/1.42	c  N st    18     30505       150      3195         0      9691     15975    242430   no data   no data
6.75/1.77	c  N st    20     37616       150      3195         0      8973     15975    201766   no data   no data
7.95/2.09	c  N st    21     44015       150      3195         0     15109     15975    396616   no data   no data
8.35/2.19	c  S st    22     45757       150      3195         0     16768     15975    447443   no data   no data
8.76/2.24	c  S st    22     46261       150      3195         0      8693     15975    173096   no data   no data
8.76/2.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.76/2.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.76/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.27	c lits-rem:        37  cl-subs:      144  v-elim:      0  v-fix:    0  time:  0.02 s
8.76/2.27	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.76/2.27	c vivif2 --  cl tried     8549 cl shrink        0 lits rem          0 time: 0.00
9.19/2.31	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.19/2.31	c calculated reachability. Time: 0.00
9.19/2.31	c  N st    22     46261       150      3195         0      8549     15975    168456   no data   no data
12.34/3.11	c  N st    23     60658       150      3195         0     12737     15975    281489   no data   no data
14.32/3.67	c  N st    24     69391       150      3195         0     10600     15975    197418   no data   no data
14.32/3.67	c  S st    24     69391       150      3195         0     10600     15975    197418   no data   no data
14.73/3.71	c  S st    24     69894       150      3195         0     11092     15975    211662   no data   no data
14.73/3.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.73/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.73/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.76	c lits-rem:        31  cl-subs:      228  v-elim:      0  v-fix:    0  time:  0.04 s
14.73/3.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.73/3.76	c vivif2 --  cl tried    10864 cl shrink        0 lits rem          0 time: 0.00
15.13/3.81	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.13/3.81	c calculated reachability. Time: 0.00
15.13/3.81	c  N st    24     69894       150      3195         0     10864     15975    204165   no data   no data
19.51/4.96	c  F st    25     87500       150      3195         0     16242     15975    361077   no data   no data
19.51/4.96	c  N st    25     87500       150      3195         0     16242     15975    361077   no data   no data
21.12/5.32	c Decided on static restart strategy
21.93/5.52	c  N st    32     95541       150      3195         0     23906     15975    589110   no data   no data
24.30/6.11	c  N st    34    104841       150      3195         0     20297     15975    469700   no data   no data
24.30/6.11	c  S st    34    104841       150      3195         0     20297     15975    469700   no data   no data
24.30/6.16	c  S st    34    105344       150      3195         0     20786     15975    483933   no data   no data
24.30/6.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.30/6.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.30/6.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.30/6.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.30/6.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.30/6.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.30/6.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.30/6.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.30/6.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.31/6.62	c lits-rem:       338  cl-subs:     1355  v-elim:      0  v-fix:    0  time:  0.43 s
26.31/6.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.31/6.62	c vivif2 --  cl tried    19431 cl shrink        0 lits rem          0 time: 0.01
26.31/6.70	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.31/6.70	c calculated reachability. Time: 0.00
26.31/6.70	c  N st    34    105344       150      3195         0     19431     15975    438248   no data   no data
29.49/7.40	c  N st    35    114942       150      3195         0     15278     15975    308036   no data   no data
33.88/8.54	c  N st    36    129340       150      3195         0     14675     15975    261966   no data   no data
40.24/10.12	c  N st    37    150935       150      3195         0     19967     15975    406915   no data   no data
42.24/10.68	c  S st    38    158017       150      3195         0     26721     15975    614415   no data   no data
42.64/10.75	c  S st    38    158526       150      3195         0     27215     15975    628830   no data   no data
42.64/10.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.64/10.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.64/10.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.64/10.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.64/10.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.64/10.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.64/10.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.64/10.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.64/10.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.23/11.69	c lits-rem:       584  cl-subs:     1919  v-elim:      0  v-fix:    0  time:  0.91 s
46.23/11.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.23/11.70	c vivif2 --  cl tried    25296 cl shrink        0 lits rem          0 time: 0.01
47.03/11.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.03/11.80	c calculated reachability. Time: 0.00
47.03/11.80	c  N st    38    158526       150      3195         0     25296     15975    565073   no data   no data
62.98/15.88	c  N st    39    207114       150      3195         0     20273     15975    364788   no data   no data
74.16/18.70	c  N st    40    237791       150      3195         0     30336     15975    664461   no data   no data
74.16/18.70	c  S st    40    237791       150      3195         0     30336     15975    664461   no data   no data
74.58/18.80	c  S st    40    238294       150      3195         0     30831     15975    679772   no data   no data
74.58/18.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.00/18.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.00/18.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.00/18.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.00/18.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.00/18.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.00/18.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.00/18.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.00/18.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.33/20.42	c lits-rem:       876  cl-subs:     2305  v-elim:      0  v-fix:    0  time:  1.58 s
81.33/20.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.33/20.43	c vivif2 --  cl tried    28526 cl shrink        0 lits rem          0 time: 0.01
81.73/20.56	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
81.73/20.56	c calculated reachability. Time: 0.00
81.73/20.56	c  N st    40    238294       150      3195         0     28526     15975    606977   no data   no data
108.46/27.27	c  F st    41    306251       150      3195         0     30352     15975    609614   no data   no data
108.46/27.27	c  N st    41    306251       150      3195         0     30352     15975    609614   no data   no data
110.85/27.86	c Decided on static restart strategy
120.42/30.20	c  N st    51    334554       150      3195         0     34504     15975    708465   no data   no data
130.40/32.72	c  N st    53    357441       150      3195         0     32613     15975    628860   no data   no data
130.40/32.72	c  S st    53    357441       150      3195         0     32613     15975    628860   no data   no data
130.80/32.80	c  S st    53    357943       150      3195         0     33103     15975    643116   no data   no data
130.80/32.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.80/32.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.80/32.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.80/32.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.80/32.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.80/32.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.80/32.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.80/32.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.80/32.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.98/33.60	c lits-rem:       406  cl-subs:     1624  v-elim:      0  v-fix:    0  time:  0.76 s
133.98/33.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.98/33.61	c vivif2 --  cl tried    31479 cl shrink        0 lits rem          0 time: 0.01
134.38/33.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.38/33.75	c calculated reachability. Time: 0.00
134.38/33.75	c  N st    53    357943       150      3195         0     31479     15975    589168   no data   no data
149.16/37.45	c  N st    54    390335       150      3195         0     37503     15975    768384   no data   no data
177.06/44.41	c  N st    55    438923       150      3195         0     31481     15975    558779   no data   no data
209.39/52.55	c  N st    56    511810       150      3195         0     44542     15975    930510   no data   no data
222.13/55.77	c  N st    57    536914       150      3195         0     39003     15975    729337   no data   no data
222.13/55.77	c  S st    57    536914       150      3195         0     39003     15975    729337   no data   no data
222.53/55.87	c  S st    57    537416       150      3195         0     39495     15975    743591   no data   no data
222.53/55.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.53/55.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.53/55.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.53/55.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.53/55.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.53/55.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
222.53/55.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.93/55.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.93/55.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.93/56.97	c lits-rem:       584  cl-subs:     1693  v-elim:      0  v-fix:    0  time:  1.05 s
226.93/56.97	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
226.93/56.98	c vivif2 --  cl tried    37802 cl shrink        0 lits rem          0 time: 0.01
227.73/57.16	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
227.73/57.16	c calculated reachability. Time: 0.00
227.73/57.16	c  N st    57    537416       150      3195         0     37802     15975    685980   no data   no data
323.06/81.05	c  N st    58    701401       150      3195         0     65984     15975   1494759   no data   no data
391.27/98.11	c  N st    59    806124       150      3195         0     60093     15975   1246372   no data   no data
391.27/98.11	c  S st    59    806124       150      3195         0     60093     15975   1246372   no data   no data
391.67/98.29	c  S st    59    806628       150      3195         0     60585     15975   1260939   no data   no data
391.67/98.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
392.07/98.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
392.07/98.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
392.07/98.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
392.07/98.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
392.07/98.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
392.07/98.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
392.07/98.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
392.07/98.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
416.82/104.59	c lits-rem:      1015  cl-subs:     4899  v-elim:      0  v-fix:    0  time:  6.23 s
416.82/104.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
417.24/104.61	c vivif2 --  cl tried    55686 cl shrink        0 lits rem          0 time: 0.01
417.99/104.88	c asymm  cl-useful: 0/2878/3195 lits-rem:0 time: 0.27
417.99/104.88	c calculated reachability. Time: 0.00
417.99/104.88	c  N st    59    806628       150      3195         0     55686     15975   1119001   no data   no data
609.46/152.90	c  F st    60   1071875       150      3195         0     70983     15975   1467674   no data   no data
609.46/152.90	c  N st    60   1071875       150      3195         0     70983     15975   1467674   no data   no data
614.27/154.01	c Decided on static restart strategy
630.21/158.08	c  N st    70   1100179       150      3195         0     55521     15975    974899   no data   no data
655.33/164.35	c  N st    72   1136172       150      3195         0     46159     15975    670873   no data   no data
683.67/171.47	c  N st    73   1168565       150      3195         0     76856     15975   1624023   no data   no data
719.58/180.46	c  N st    74   1209942       150      3195         0     71579     15975   1450744   no data   no data
719.58/180.46	c  S st    74   1209942       150      3195         0     71579     15975   1450744   no data   no data
720.76/180.71	c  S st    74   1210447       150      3195         0     72065     15975   1464918   no data   no data
720.76/180.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
720.76/180.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
720.76/180.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
720.76/180.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
720.76/180.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
720.76/180.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
720.76/180.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
720.76/180.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
721.16/180.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.87/189.04	c lits-rem:       921  cl-subs:     4499  v-elim:      0  v-fix:    0  time:  8.23 s
753.87/189.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
753.87/189.06	c vivif2 --  cl tried    67566 cl shrink        0 lits rem          0 time: 0.02
755.86/189.52	c asymm  cl-useful: 0/2386/3195 lits-rem:0 time: 0.46
755.86/189.52	c calculated reachability. Time: 0.00
755.86/189.52	c  N st    74   1210447       150      3195         0     67566     15975   1319555   no data   no data
827.66/207.56	c  N st    75   1283329       150      3195         0     91263     15975   2033247   no data   no data
933.37/234.05	c  N st    76   1392652       150      3195         0     52826     15975    776924   no data   no data
1070.19/268.37	c  N st    77   1556636       150      3195         0     57355     15975    869139   no data   no data
1193.88/299.34	c  N st    78   1710448       150      3195         0     97804     15975   2071627   no data   no data
1193.88/299.34	c  S st    78   1710448       150      3195         0     97804     15975   2071627   no data   no data
1195.03/299.61	c  S st    78   1710949       150      3195         0     98293     15975   2086558   no data   no data
1195.03/299.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1195.03/299.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1195.03/299.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1195.03/299.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1195.03/299.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1195.03/299.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1195.03/299.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1195.03/299.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1195.44/299.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1295.15/324.77	c lits-rem:      2525  cl-subs:    10016  v-elim:      0  v-fix:    0  time: 25.03 s
1295.15/324.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1295.55/324.80	c vivif2 --  cl tried    88277 cl shrink        0 lits rem          0 time: 0.02
1295.95/324.98	c asymm  cl-useful: 0/809/3195 lits-rem:0 time: 0.18
1295.95/324.98	c calculated reachability. Time: 0.00
1295.95/324.98	c  N st    78   1710949       150      3195         0     88277     15975   1785702   no data   no data
1654.18/414.80	c  N st    79   2079914       150      3195         0     99587     15975   2021204   no data   no data
1778.62/445.94	c  N st    80   2210949       150      3195         0    103652     15975   2082290   no data   no data
1778.62/445.94	c  S st    80   2210949       150      3195         0    103652     15975   2082290   no data   no data
1780.21/446.30	c  S st    80   2211457       150      3195         0    104150     15975   2097325   no data   no data
1780.21/446.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1780.21/446.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1780.21/446.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1780.21/446.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1780.21/446.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1780.21/446.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1780.21/446.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1780.21/446.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1780.61/446.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1872.36/469.44	c lits-rem:      2107  cl-subs:     9541  v-elim:      0  v-fix:    0  time: 22.99 s
1872.36/469.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1872.36/469.46	c vivif2 --  cl tried    94609 cl shrink        0 lits rem          0 time: 0.02
1873.99/469.83	c asymm  cl-useful: 0/1732/3195 lits-rem:0 time: 0.37
1873.99/469.83	c calculated reachability. Time: 0.00
1873.99/469.83	c  N st    80   2211457       150      3195         0     94609     15975   1817695   no data   no data
2377.76/596.11	c  N st    81   2711457       150      3195         0    117551     15975   2430567   no data   no data
2377.76/596.11	c  S st    81   2711457       150      3195         0    117551     15975   2430567   no data   no data
2378.95/596.49	c  S st    81   2711962       150      3195         0    118044     15975   2445301   no data   no data
2379.35/596.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2379.35/596.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2379.35/596.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2379.35/596.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2379.35/596.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2379.35/596.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2379.35/596.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2379.35/596.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2379.75/596.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2518.60/631.44	c lits-rem:      2424  cl-subs:    11964  v-elim:      0  v-fix:    0  time: 34.78 s
2518.60/631.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2518.60/631.47	c vivif2 --  cl tried   106080 cl shrink        0 lits rem          0 time: 0.03
2520.17/631.86	c asymm  cl-useful: 0/1452/3195 lits-rem:0 time: 0.39
2520.17/631.86	c calculated reachability. Time: 0.00
2520.17/631.86	c  N st    81   2711962       150      3195         0    106080     15975   2082569   no data   no data
3140.41/787.39	c  N st    82   3211965       150      3195         0     83424     15975   1242481   no data   no data
3140.41/787.39	c  S st    82   3211965       150      3195         0     83424     15975   1242481   no data   no data
3141.63/787.64	c  S st    82   3212470       150      3195         0     83922     15975   1257686   no data   no data
3141.63/787.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3141.63/787.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3141.63/787.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3141.63/787.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3141.63/787.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3141.63/787.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3141.63/787.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3141.63/787.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3142.05/787.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3149.98/789.80	c lits-rem:       573  cl-subs:     1932  v-elim:      0  v-fix:    0  time:  2.07 s
3149.98/789.80	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3150.40/789.82	c vivif2 --  cl tried    81990 cl shrink        0 lits rem          0 time: 0.02
3151.57/790.15	c asymm  cl-useful: 0/1952/3195 lits-rem:0 time: 0.33
3151.57/790.15	c calculated reachability. Time: 0.00
3151.57/790.15	c  N st    82   3212470       150      3195         0     81990     15975   1200370   no data   no data
3842.86/963.49	c  N st    83   3712471       150      3195         0     92312     15975   1412616   no data   no data
3842.86/963.49	c  S st    83   3712471       150      3195         0     92312     15975   1412616   no data   no data
3844.44/963.84	c  S st    83   3712976       150      3195         0     92808     15975   1428335   no data   no data
3844.44/963.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3844.84/963.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3844.84/963.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3844.84/963.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3844.84/963.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3844.84/963.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3844.84/963.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3844.84/963.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3844.84/963.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3871.17/970.51	c lits-rem:       495  cl-subs:     3029  v-elim:      0  v-fix:    0  time:  6.52 s
3871.17/970.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3871.17/970.53	c vivif2 --  cl tried    89779 cl shrink        0 lits rem          0 time: 0.02
3872.37/970.89	c asymm  cl-useful: 0/1243/3195 lits-rem:0 time: 0.36
3872.37/970.89	c calculated reachability. Time: 0.00
3872.37/970.89	c  N st    83   3712976       150      3195         0     89779     15975   1335809   no data   no data
3926.63/984.47	c  F st    84   3751562       150      3195         0    126149     15975   2468648   no data   no data
3926.63/984.47	c  N st    84   3751562       150      3195         0    126149     15975   2468648   no data   no data
3935.81/986.77	c Decided on static restart strategy
3970.92/995.54	c  N st    94   3779867       150      3195         0    153052     15975   3297024   no data   no data
4024.74/1009.01	c  N st    96   3815864       150      3195         0    107070     15975   1829003   no data   no data
4071.02/1020.66	c  N st    97   3848256       150      3195         0    137540     15975   2749490   no data   no data
4144.02/1038.92	c  N st    98   3896847       150      3195         0    102217     15975   1631692   no data   no data
4242.55/1063.66	c  N st    99   3969729       150      3195         0     88874     15975   1227868   no data   no data
4407.28/1104.95	c  N st   100   4079052       150      3195         0    109095     15975   1839813   no data   no data
4609.93/1155.79	c  N st   101   4212976       150      3195         0    151902     15975   3142796   no data   no data
4609.93/1155.79	c  S st   101   4212976       150      3195         0    151902     15975   3142796   no data   no data
4612.32/1156.39	c  S st   101   4213478       150      3195         0    152398     15975   3158196   no data   no data
4612.72/1156.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4612.72/1156.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.09
4612.72/1156.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4612.72/1156.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4612.72/1156.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4612.72/1156.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4612.72/1156.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4613.12/1156.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4613.52/1156.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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

running on 4 cores: 0,2,4,6

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 7.97 8.02 2/334 12978
/proc/meminfo: memFree=18166436/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 652055770 52396032 347 33554432000 4194304 4580107 140737205802256 18446744073709551615 47486653056946 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 12792 347 299 95 0 7774 0
[pid=12978/tid=12980] ppid=12976 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652055771 52396032 351 33554432000 4194304 4580107 140737205802256 18446744073709551615 47486653056537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652055771 52396032 351 33554432000 4194304 4580107 140737205802256 18446744073709551615 47486653056946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652055771 52396032 351 33554432000 4194304 4580107 140737205802256 18446744073709551615 47486653056537 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.160616 s]
/proc/loadavg: 7.45 7.97 8.02 2/334 12978
/proc/meminfo: memFree=18166436/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=283476 CPUtime=0.6 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 2642 0 0 0 60 0 0 0 18 0 4 0 652055770 290279424 1744 33554432000 4194304 4580107 140737205802256 18446744073709551615 228244392071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 70869 1745 376 95 0 65851 0
[pid=12978/tid=12980] ppid=12976 vsize=283476 CPUtime=0.15 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 597 0 0 0 15 0 0 0 18 0 4 0 652055771 290279424 1745 33554432000 4194304 4580107 140737205802256 18446744073709551615 4320975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=283476 CPUtime=0.14 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 598 0 0 0 14 0 0 0 18 0 4 0 652055771 290279424 1745 33554432000 4194304 4580107 140737205802256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=283476 CPUtime=0.15 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 423 0 0 0 15 0 0 0 18 0 4 0 652055771 290279424 1745 33554432000 4194304 4580107 140737205802256 18446744073709551615 4321513 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283476

[startup+0.214042 s]
/proc/loadavg: 7.45 7.97 8.02 2/334 12978
/proc/meminfo: memFree=18166436/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=283476 CPUtime=0.82 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 2893 0 0 0 82 0 0 0 18 0 4 0 652055770 290279424 1995 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 70869 1995 376 95 0 65851 0
[pid=12978/tid=12980] ppid=12976 vsize=283476 CPUtime=0.2 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 656 0 0 0 20 0 0 0 18 0 4 0 652055771 290279424 1995 33554432000 4194304 4580107 140737205802256 18446744073709551615 4322619 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=283476 CPUtime=0.2 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 660 0 0 0 20 0 0 0 18 0 4 0 652055771 290279424 1995 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=283476 CPUtime=0.2 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 486 0 0 0 20 0 0 0 18 0 4 0 652055771 290279424 1995 33554432000 4194304 4580107 140737205802256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 283476

[startup+0.301028 s]
/proc/loadavg: 7.45 7.97 8.02 2/334 12978
/proc/meminfo: memFree=18166436/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=283636 CPUtime=1.16 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 3339 0 0 0 116 0 0 0 18 0 4 0 652055770 290443264 2441 33554432000 4194304 4580107 140737205802256 18446744073709551615 4324244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 70909 2441 377 95 0 65891 0
[pid=12978/tid=12980] ppid=12976 vsize=283636 CPUtime=0.29 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 767 0 0 0 29 0 0 0 18 0 4 0 652055771 290443264 2441 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=283636 CPUtime=0.28 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 769 0 0 0 28 0 0 0 18 0 4 0 652055771 290443264 2441 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=283636 CPUtime=0.29 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 595 0 0 0 29 0 0 0 18 0 4 0 652055771 290443264 2441 33554432000 4194304 4580107 140737205802256 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283636

[startup+0.70096 s]
/proc/loadavg: 7.45 7.97 8.02 2/334 12978
/proc/meminfo: memFree=18166436/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=285204 CPUtime=2.76 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 6076 0 0 0 276 0 0 0 18 0 4 0 652055770 292048896 2709 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 71301 2709 377 95 0 66283 0
[pid=12978/tid=12980] ppid=12976 vsize=285204 CPUtime=0.69 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 1434 0 0 0 69 0 0 0 18 0 4 0 652055771 292048896 2709 33554432000 4194304 4580107 140737205802256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=285204 CPUtime=0.68 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 1454 0 0 0 68 0 0 0 18 0 4 0 652055771 292048896 2709 33554432000 4194304 4580107 140737205802256 18446744073709551615 4320885 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=285204 CPUtime=0.69 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 1269 0 0 0 69 0 0 0 18 0 4 0 652055771 292048896 2709 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285204

[startup+1.50082 s]
/proc/loadavg: 7.73 8.02 8.04 9/346 12990
/proc/meminfo: memFree=18139184/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=286256 CPUtime=5.95 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 11410 0 0 0 594 1 0 0 20 0 4 0 652055770 293126144 4983 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 71564 4983 379 95 0 66546 0
[pid=12978/tid=12980] ppid=12976 vsize=286256 CPUtime=1.49 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 2443 0 0 0 149 0 0 0 19 0 4 0 652055771 293126144 4983 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=286256 CPUtime=1.47 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 2498 0 0 0 147 0 0 0 20 0 4 0 652055771 293126144 4983 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=286256 CPUtime=1.48 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 2239 0 0 0 148 0 0 0 20 0 4 0 652055771 293126144 4983 33554432000 4194304 4580107 140737205802256 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286256

[startup+3.10054 s]
/proc/loadavg: 7.73 8.02 8.04 9/346 12990
/proc/meminfo: memFree=18098680/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=287144 CPUtime=12.34 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 22273 0 0 0 1231 3 0 0 25 0 4 0 652055770 294035456 10912 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 71786 10912 379 95 0 66768 0
[pid=12978/tid=12980] ppid=12976 vsize=287144 CPUtime=3.08 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 5067 0 0 0 308 0 0 0 25 0 4 0 652055771 294035456 10912 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=287144 CPUtime=3.05 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 5841 0 0 0 305 0 0 0 25 0 4 0 652055771 294035456 10912 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=287144 CPUtime=3.08 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 5507 0 0 0 308 0 0 0 25 0 4 0 652055771 294035456 10912 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 287144

[startup+6.30098 s]
/proc/loadavg: 7.75 8.02 8.04 9/346 12990
/proc/meminfo: memFree=18059496/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=288636 CPUtime=25.1 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 35543 0 0 0 2505 5 0 0 25 0 4 0 652055770 295563264 17220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 72159 17220 381 95 0 67141 0
[pid=12978/tid=12980] ppid=12976 vsize=288636 CPUtime=6.29 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 8565 0 0 0 628 1 0 0 25 0 4 0 652055771 295563264 17220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=288636 CPUtime=6.22 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 9421 0 0 0 620 2 0 0 25 0 4 0 652055771 295563264 17220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=288636 CPUtime=6.28 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 7848 0 0 0 628 0 0 0 25 0 4 0 652055771 295563264 17220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 288636

[startup+12.7009 s]
/proc/loadavg: 7.77 8.02 8.03 9/346 12990
/proc/meminfo: memFree=18013268/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=299224 CPUtime=50.62 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 54331 0 0 0 5054 8 0 0 25 0 4 0 652055770 306405376 21392 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 74806 21392 379 95 0 69788 0
[pid=12978/tid=12980] ppid=12976 vsize=299224 CPUtime=12.69 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 13737 0 0 0 1267 2 0 0 25 0 4 0 652055771 306405376 21392 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=299224 CPUtime=12.53 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 13678 0 0 0 1251 2 0 0 25 0 4 0 652055771 306405376 21392 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=299224 CPUtime=12.68 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 12519 0 0 0 1267 1 0 0 25 0 4 0 652055771 306405376 21392 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 299224

[startup+25.5006 s]
/proc/loadavg: 7.82 8.02 8.03 9/346 12991
/proc/meminfo: memFree=17968272/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=290380 CPUtime=101.67 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 83327 0 0 0 10153 14 0 0 25 0 4 0 652055770 297349120 30738 33554432000 4194304 4580107 140737205802256 18446744073709551615 4293032 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 72595 30738 379 95 0 67577 0
[pid=12978/tid=12980] ppid=12976 vsize=290380 CPUtime=25.49 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 20730 0 0 0 2545 4 0 0 25 0 4 0 652055771 297349120 30738 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=290380 CPUtime=25.2 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 21533 0 0 0 2516 4 0 0 25 0 4 0 652055771 297349120 30738 33554432000 4194304 4580107 140737205802256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=290380 CPUtime=25.48 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 19547 0 0 0 2546 2 0 0 25 0 4 0 652055771 297349120 30738 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 290380

[startup+51.1011 s]
/proc/loadavg: 8.02 8.05 8.04 10/346 12991
/proc/meminfo: memFree=17926644/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=312568 CPUtime=203.79 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 124364 0 0 0 20354 25 0 0 25 0 4 0 652055770 320069632 36689 33554432000 4194304 4580107 140737205802256 18446744073709551615 4321769 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 78142 36689 379 95 0 73124 0
[pid=12978/tid=12980] ppid=12976 vsize=312568 CPUtime=51.08 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 31495 0 0 0 5102 6 0 0 25 0 4 0 652055771 320069632 36689 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=312568 CPUtime=50.51 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 32608 0 0 0 5045 6 0 0 25 0 4 0 652055771 320069632 36689 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=312568 CPUtime=51.08 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 29608 0 0 0 5102 6 0 0 25 0 4 0 652055771 320069632 36689 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 312568

[startup+102.301 s]
/proc/loadavg: 8.07 8.06 8.04 9/346 12993
/proc/meminfo: memFree=17865856/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=369928 CPUtime=408.05 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 185122 0 0 0 40762 43 0 0 25 0 4 0 652055770 378806272 49095 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 92482 49095 379 95 0 87464 0
[pid=12978/tid=12980] ppid=12976 vsize=369928 CPUtime=102.3 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 44580 0 0 0 10220 10 0 0 25 0 4 0 652055771 378806272 49097 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=369928 CPUtime=101.15 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 49309 0 0 0 10102 13 0 0 25 0 4 0 652055771 378806272 49097 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=369928 CPUtime=102.29 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 44194 0 0 0 10219 10 0 0 25 0 4 0 652055771 378806272 49097 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 369928

[startup+162.301 s]

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

[pid=12978] ppid=12976 vsize=604492 CPUtime=2801.38 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 613815 0 0 0 279942 196 0 0 25 0 4 0 652055770 618999808 106220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 151123 106220 379 95 0 146105 0
[pid=12978/tid=12980] ppid=12976 vsize=604492 CPUtime=702.3 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 159976 0 0 0 70177 53 0 0 25 0 4 0 652055771 618999808 106220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=604492 CPUtime=694.49 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 157364 0 0 0 69400 49 0 0 25 0 4 0 652055771 618999808 106220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=604492 CPUtime=702.29 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 154699 0 0 0 70176 53 0 0 25 0 4 0 652055771 618999808 106220 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.38
Current children cumulated vsize (KiB) 604492

[startup+762.301 s]
/proc/loadavg: 8.19 8.11 8.05 9/346 13010
/proc/meminfo: memFree=17408080/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=631848 CPUtime=3040.72 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 642971 0 0 0 303866 206 0 0 25 0 4 0 652055770 647012352 120350 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 157962 120350 379 95 0 152944 0
[pid=12978/tid=12980] ppid=12976 vsize=631848 CPUtime=762.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 168846 0 0 0 76176 55 0 0 25 0 4 0 652055771 647012352 120350 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=631848 CPUtime=753.8 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 164716 0 0 0 75328 52 0 0 25 0 4 0 652055771 647012352 120350 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=631848 CPUtime=762.31 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 163636 0 0 0 76176 55 0 0 25 0 4 0 652055771 647012352 120350 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.72
Current children cumulated vsize (KiB) 631848

[startup+822.301 s]
/proc/loadavg: 8.14 8.12 8.06 9/346 13012
/proc/meminfo: memFree=17428656/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=591904 CPUtime=3280.02 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 670849 0 0 0 327785 217 0 0 25 0 4 0 652055770 606109696 113536 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 147976 113536 379 95 0 142958 0
[pid=12978/tid=12980] ppid=12976 vsize=591904 CPUtime=822.3 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 176475 0 0 0 82171 59 0 0 25 0 4 0 652055771 606109696 113536 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=591904 CPUtime=813.11 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 175412 0 0 0 81256 55 0 0 25 0 4 0 652055771 606109696 113536 33554432000 4194304 4580107 140737205802256 18446744073709551615 4451708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=591904 CPUtime=822.29 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 170111 0 0 0 82172 57 0 0 25 0 4 0 652055771 606109696 113536 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.02
Current children cumulated vsize (KiB) 591904

[startup+882.313 s]
/proc/loadavg: 8.19 8.14 8.07 9/346 13013
/proc/meminfo: memFree=17443632/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=662064 CPUtime=3519.4 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 705187 0 0 0 351710 230 0 0 25 0 4 0 652055770 677953536 116291 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 165516 116291 379 95 0 160498 0
[pid=12978/tid=12980] ppid=12976 vsize=662064 CPUtime=882.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 185486 0 0 0 88169 62 0 0 25 0 4 0 652055771 677953536 116291 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=662064 CPUtime=872.46 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 183862 0 0 0 87187 59 0 0 25 0 4 0 652055771 677953536 116291 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=662064 CPUtime=882.31 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 178551 0 0 0 88170 61 0 0 25 0 4 0 652055771 677953536 116291 33554432000 4194304 4580107 140737205802256 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.4
Current children cumulated vsize (KiB) 662064

[startup+942.301 s]
/proc/loadavg: 8.18 8.14 8.07 9/346 13015
/proc/meminfo: memFree=17438904/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=606776 CPUtime=3758.7 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 739223 0 0 0 375625 245 0 0 25 0 4 0 652055770 621338624 119090 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 151694 119090 379 95 0 146676 0
[pid=12978/tid=12980] ppid=12976 vsize=606776 CPUtime=942.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 195339 0 0 0 94165 66 0 0 25 0 4 0 652055771 621338624 119090 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=606776 CPUtime=931.8 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 192210 0 0 0 93117 63 0 0 25 0 4 0 652055771 621338624 119090 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=606776 CPUtime=942.3 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 186189 0 0 0 94165 65 0 0 25 0 4 0 652055771 621338624 119090 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.7
Current children cumulated vsize (KiB) 606776

[startup+1002.3 s]
/proc/loadavg: 8.24 8.16 8.08 9/346 13017
/proc/meminfo: memFree=17407508/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=686776 CPUtime=3998.01 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 765791 0 0 0 399546 255 0 0 25 0 4 0 652055770 703258624 123327 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 171694 123327 379 95 0 166676 0
[pid=12978/tid=12980] ppid=12976 vsize=686776 CPUtime=1002.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 200398 0 0 0 100163 68 0 0 25 0 4 0 652055771 703258624 123327 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=686776 CPUtime=991.11 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 200895 0 0 0 99045 66 0 0 25 0 4 0 652055771 703258624 123327 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=686776 CPUtime=1002.3 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 191266 0 0 0 100164 66 0 0 25 0 4 0 652055771 703258624 123327 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.01
Current children cumulated vsize (KiB) 686776

[startup+1062.3 s]
/proc/loadavg: 8.22 8.16 8.09 9/346 13018
/proc/meminfo: memFree=17404632/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=787332 CPUtime=4237.36 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 796244 0 0 0 423470 266 0 0 25 0 4 0 652055770 806227968 121226 33554432000 4194304 4580107 140737205802256 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 196833 121226 379 95 0 191815 0
[pid=12978/tid=12980] ppid=12976 vsize=787332 CPUtime=1062.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 208700 0 0 0 106160 71 0 0 25 0 4 0 652055771 806227968 121226 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=787332 CPUtime=1050.45 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 207002 0 0 0 104976 69 0 0 25 0 4 0 652055771 806227968 121226 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=787332 CPUtime=1062.3 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 199671 0 0 0 106162 68 0 0 25 0 4 0 652055771 806227968 121226 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.36
Current children cumulated vsize (KiB) 787332

[startup+1122.3 s]
/proc/loadavg: 8.20 8.16 8.09 9/346 13020
/proc/meminfo: memFree=17395936/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=782312 CPUtime=4476.7 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 827720 0 0 0 447390 280 0 0 25 0 4 0 652055770 801087488 123860 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 195578 123860 379 95 0 190560 0
[pid=12978/tid=12980] ppid=12976 vsize=782312 CPUtime=1122.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 217512 0 0 0 112157 74 0 0 25 0 4 0 652055771 801087488 123860 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=782312 CPUtime=1109.79 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 215374 0 0 0 110907 72 0 0 25 0 4 0 652055771 801087488 123860 33554432000 4194304 4580107 140737205802256 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=782312 CPUtime=1122.3 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 207587 0 0 0 112158 72 0 0 25 0 4 0 652055771 801087488 123860 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.7
Current children cumulated vsize (KiB) 782312

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 8.09 9/346 13021
/proc/meminfo: memFree=17335044/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=724972 CPUtime=4716.03 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 860045 0 0 0 471310 293 0 0 25 0 4 0 652055770 742371328 133739 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 181243 133739 379 95 0 176225 0
[pid=12978/tid=12980] ppid=12976 vsize=724972 CPUtime=1182.31 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 225518 0 0 0 118153 78 0 0 25 0 4 0 652055771 742371328 133739 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=724972 CPUtime=1169.12 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 222893 0 0 0 116836 76 0 0 25 0 4 0 652055771 742371328 133739 33554432000 4194304 4580107 140737205802256 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=724972 CPUtime=1182.3 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 213945 0 0 0 118155 75 0 0 25 0 4 0 652055771 742371328 133739 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.03
Current children cumulated vsize (KiB) 724972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.13 8.15 8.09 6/342 13023
/proc/meminfo: memFree=17602164/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=848616 CPUtime=4800.26 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 874782 0 0 0 479728 298 0 0 25 0 4 0 652055770 868982784 139904 33554432000 4194304 4580107 140737205802256 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 212154 139904 379 95 0 207136 0
[pid=12978/tid=12980] ppid=12976 vsize=848616 CPUtime=1203.43 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 228434 0 0 0 120264 79 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=848616 CPUtime=1189.99 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 231693 0 0 0 118921 78 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=848616 CPUtime=1203.43 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 216968 0 0 0 120266 77 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 848616

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

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

[startup+1203.4 s]
/proc/loadavg: 8.13 8.15 8.09 6/342 13023
/proc/meminfo: memFree=17602164/32951124 swapFree=67082152/67111528
[pid=12978] ppid=12976 vsize=848616 CPUtime=4800.26 cores=0,2,4,6
/proc/12978/stat : 12978 (strangenight2-m) R 12976 12978 12350 0 -1 4202496 874782 0 0 0 479728 298 0 0 25 0 4 0 652055770 868982784 139904 33554432000 4194304 4580107 140737205802256 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12978/statm: 212154 139904 379 95 0 207136 0
[pid=12978/tid=12980] ppid=12976 vsize=848616 CPUtime=1203.43 cores=0,2,4,6
/proc/12978/task/12980/stat : 12980 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 228434 0 0 0 120264 79 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12978/tid=12981] ppid=12976 vsize=848616 CPUtime=1189.99 cores=0,2,4,6
/proc/12978/task/12981/stat : 12981 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 231693 0 0 0 118921 78 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12978/tid=12985] ppid=12976 vsize=848616 CPUtime=1203.43 cores=0,2,4,6
/proc/12978/task/12985/stat : 12985 (strangenight2-m) R 12976 12978 12350 0 -1 4202560 216968 0 0 0 120266 77 0 0 25 0 4 0 652055771 868982784 139906 33554432000 4194304 4580107 140737205802256 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 848616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.33
CPU user time (s): 4797.33
CPU system time (s): 3.00854
CPU usage (%): 398.879
Max. virtual memory (cumulated for all children) (KiB): 902228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.33
system time used= 3.00854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 874784
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= 586
involuntary context switches= 24299

runsolver used 3.68944 second user time and 9.53655 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 22:22:58
IDJOB=3366453
IDBENCH=82862
IDSOLVER=1844
FILE ID=node136/3366453-1305404578
RUNJOBID= node136-1305404578-12963
PBS_JOBID= 13324455
Free space on /tmp= 72996 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366453-1305404578/watcher-3366453-1305404578 -o /tmp/evaluation-result-3366453-1305404578/solver-3366453-1305404578 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366453-1305404578.cnf

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

MD5SUM BENCH= af1e3a30945401f0fc52ffcd9f70aa15
RANDOM SEED=1311465983

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18166592 kB
Buffers:        295384 kB
Cached:        5033404 kB
SwapCached:       2740 kB
Active:       10553768 kB
Inactive:      3889132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18166592 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           10868 kB
Writeback:           0 kB
AnonPages:     9112048 kB
Mapped:          27196 kB
Slab:           236844 kB
PageTables:      39348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69859036 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= 72988 MiB
End job on node136 at 2011-05-14 22:43:04