Trace number 3174044

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? (TO) 4800.43 1201.74

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.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174044-1304079094.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.37/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.37/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.37/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.15	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:      59 undec:      12 neg:      79
0.37/0.15	c =========================================================================================
0.37/0.15	c types(t): F = full restart, N = normal restart
0.37/0.15	c types(t): S = simplification begin/end, E = solution found
0.37/0.15	c restart types(rt): st = static, dy = dynamic
0.37/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4915       150      3195         0      4703     15975    141602   no data   no data
3.18/0.80	c  N st    10     11300       150      3195         0      4367     15975    101949   no data   no data
3.18/0.80	c  N st    11     17044       150      3195         0      9889     15975    273692   no data   no data
3.58/1.00	c  F st    12     25001       150      3195         0     12057     15975    324849   no data   no data
3.58/1.00	c  N st    12     25001       150      3195         0     12057     15975    324849   no data   no data
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30002       150      3195         0     10334     15975    266668   no data   no data
4.77/1.20	c  S st    18     30002       150      3195         0     10334     15975    266668   no data   no data
4.77/1.20	c  S st    18     30505       150      3195         0     10828     15975    281358   no data   no data
4.77/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.77/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.77/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       188  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  0.18 s
5.98/1.50	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.98/1.50	c calculated reachability. Time: 0.00
5.98/1.50	c  N st    18     30505       150      3195         0      9691     15975    242430   no data   no data
6.77/1.76	c  N st    20     37616       150      3195         0      8973     15975    201766   no data   no data
7.96/2.08	c  N st    21     44015       150      3195         0     15109     15975    396616   no data   no data
8.37/2.18	c  S st    22     45757       150      3195         0     16768     15975    447443   no data   no data
8.78/2.23	c  S st    22     46261       150      3195         0      8693     15975    173096   no data   no data
8.78/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.78/2.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.78/2.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.78/2.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.78/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.26	c lits-rem:        37  cl-subs:      144  v-elim:      0  v-fix:    0  time:  0.02 s
8.78/2.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.78/2.27	c vivif2 --  cl tried     8549 cl shrink        0 lits rem          0 time: 0.00
9.17/2.30	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.17/2.30	c calculated reachability. Time: 0.00
9.17/2.30	c  N st    22     46261       150      3195         0      8549     15975    168456   no data   no data
12.36/3.10	c  N st    23     60658       150      3195         0     12737     15975    281489   no data   no data
14.36/3.67	c  N st    24     69391       150      3195         0     10600     15975    197418   no data   no data
14.36/3.67	c  S st    24     69391       150      3195         0     10600     15975    197418   no data   no data
14.76/3.70	c  S st    24     69894       150      3195         0     11092     15975    211662   no data   no data
14.76/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c lits-rem:        31  cl-subs:      228  v-elim:      0  v-fix:    0  time:  0.04 s
14.76/3.75	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.76/3.76	c vivif2 --  cl tried    10864 cl shrink        0 lits rem          0 time: 0.00
15.16/3.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.16/3.80	c calculated reachability. Time: 0.00
15.16/3.80	c  N st    24     69894       150      3195         0     10864     15975    204165   no data   no data
19.55/4.96	c  F st    25     87500       150      3195         0     16242     15975    361077   no data   no data
19.55/4.96	c  N st    25     87500       150      3195         0     16242     15975    361077   no data   no data
21.16/5.31	c Decided on static restart strategy
21.97/5.52	c  N st    32     95541       150      3195         0     23906     15975    589110   no data   no data
24.35/6.10	c  N st    34    104841       150      3195         0     20297     15975    469700   no data   no data
24.35/6.10	c  S st    34    104841       150      3195         0     20297     15975    469700   no data   no data
24.35/6.15	c  S st    34    105344       150      3195         0     20786     15975    483933   no data   no data
24.35/6.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.35/6.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.35/6.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.35/6.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.35/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.35/6.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.35/6.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.35/6.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.35/6.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.61	c lits-rem:       338  cl-subs:     1355  v-elim:      0  v-fix:    0  time:  0.43 s
26.37/6.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.37/6.62	c vivif2 --  cl tried    19431 cl shrink        0 lits rem          0 time: 0.00
26.74/6.70	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.74/6.70	c calculated reachability. Time: 0.00
26.74/6.70	c  N st    34    105344       150      3195         0     19431     15975    438248   no data   no data
29.54/7.40	c  N st    35    114942       150      3195         0     15278     15975    308036   no data   no data
33.93/8.54	c  N st    36    129340       150      3195         0     14675     15975    261966   no data   no data
40.32/10.10	c  N st    37    150935       150      3195         0     19967     15975    406915   no data   no data
42.33/10.66	c  S st    38    158017       150      3195         0     26721     15975    614415   no data   no data
42.73/10.73	c  S st    38    158526       150      3195         0     27215     15975    628830   no data   no data
42.73/10.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.73/10.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.73/10.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.73/10.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.73/10.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.73/10.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.73/10.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.73/10.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.73/10.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.66	c lits-rem:       584  cl-subs:     1919  v-elim:      0  v-fix:    0  time:  0.89 s
46.31/11.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.31/11.66	c vivif2 --  cl tried    25296 cl shrink        0 lits rem          0 time: 0.01
46.71/11.77	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
46.71/11.77	c calculated reachability. Time: 0.00
46.71/11.77	c  N st    38    158526       150      3195         0     25296     15975    565073   no data   no data
63.10/15.84	c  N st    39    207114       150      3195         0     20273     15975    364788   no data   no data
74.29/18.64	c  N st    40    237791       150      3195         0     30336     15975    664461   no data   no data
74.29/18.64	c  S st    40    237791       150      3195         0     30336     15975    664461   no data   no data
74.70/18.74	c  S st    40    238294       150      3195         0     30831     15975    679772   no data   no data
74.70/18.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.70/18.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.70/18.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.70/18.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.70/18.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.70/18.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
74.70/18.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.70/18.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.70/18.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.48/20.40	c lits-rem:       876  cl-subs:     2305  v-elim:      0  v-fix:    0  time:  1.61 s
81.48/20.40	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.48/20.41	c vivif2 --  cl tried    28526 cl shrink        0 lits rem          0 time: 0.01
81.88/20.53	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.88/20.53	c calculated reachability. Time: 0.00
81.88/20.53	c  N st    40    238294       150      3195         0     28526     15975    606977   no data   no data
108.64/27.22	c  F st    41    306251       150      3195         0     30352     15975    609614   no data   no data
108.64/27.22	c  N st    41    306251       150      3195         0     30352     15975    609614   no data   no data
111.03/27.81	c Decided on static restart strategy
120.22/30.15	c  N st    51    334554       150      3195         0     34504     15975    708465   no data   no data
130.21/32.65	c  N st    53    357441       150      3195         0     32613     15975    628860   no data   no data
130.21/32.65	c  S st    53    357441       150      3195         0     32613     15975    628860   no data   no data
130.61/32.73	c  S st    53    357943       150      3195         0     33103     15975    643116   no data   no data
130.61/32.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.61/32.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.61/32.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.61/32.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.61/32.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.61/32.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.61/32.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.61/32.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.61/32.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.80/33.53	c lits-rem:       406  cl-subs:     1624  v-elim:      0  v-fix:    0  time:  0.76 s
133.80/33.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.80/33.54	c vivif2 --  cl tried    31479 cl shrink        0 lits rem          0 time: 0.01
134.20/33.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.20/33.68	c calculated reachability. Time: 0.00
134.20/33.68	c  N st    53    357943       150      3195         0     31479     15975    589168   no data   no data
149.00/37.36	c  N st    54    390335       150      3195         0     37503     15975    768384   no data   no data
176.95/44.31	c  N st    55    438923       150      3195         0     31481     15975    558779   no data   no data
209.30/52.41	c  N st    56    511810       150      3195         0     44542     15975    930510   no data   no data
222.09/55.63	c  N st    57    536914       150      3195         0     39003     15975    729337   no data   no data
222.09/55.63	c  S st    57    536914       150      3195         0     39003     15975    729337   no data   no data
222.49/55.72	c  S st    57    537416       150      3195         0     39495     15975    743591   no data   no data
222.49/55.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.49/55.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.49/55.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.49/55.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.49/55.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.49/55.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
222.49/55.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.49/55.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.49/55.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.87/56.81	c lits-rem:       584  cl-subs:     1693  v-elim:      0  v-fix:    0  time:  1.04 s
226.87/56.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
226.87/56.82	c vivif2 --  cl tried    37802 cl shrink        0 lits rem          0 time: 0.01
227.67/57.00	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
227.67/57.01	c calculated reachability. Time: 0.00
227.67/57.01	c  N st    57    537416       150      3195         0     37802     15975    685980   no data   no data
322.75/80.83	c  N st    58    701401       150      3195         0     65984     15975   1494759   no data   no data
390.67/97.90	c  N st    59    806124       150      3195         0     60093     15975   1246372   no data   no data
390.67/97.90	c  S st    59    806124       150      3195         0     60093     15975   1246372   no data   no data
391.46/98.08	c  S st    59    806628       150      3195         0     60585     15975   1260939   no data   no data
391.46/98.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
391.86/98.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
391.86/98.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
391.86/98.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
391.86/98.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
391.86/98.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
391.86/98.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
391.86/98.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
391.86/98.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.04/104.43	c lits-rem:      1015  cl-subs:     4899  v-elim:      0  v-fix:    0  time:  6.26 s
417.04/104.43	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
417.04/104.44	c vivif2 --  cl tried    55686 cl shrink        0 lits rem          0 time: 0.01
418.22/104.79	c asymm  cl-useful: 0/2878/3195 lits-rem:0 time: 0.35
418.22/104.80	c calculated reachability. Time: 0.00
418.22/104.80	c  N st    59    806628       150      3195         0     55686     15975   1119001   no data   no data
609.97/152.78	c  F st    60   1071875       150      3195         0     70983     15975   1467674   no data   no data
609.97/152.78	c  N st    60   1071875       150      3195         0     70983     15975   1467674   no data   no data
614.37/153.88	c Decided on static restart strategy
630.74/157.93	c  N st    70   1100179       150      3195         0     55521     15975    974899   no data   no data
655.51/164.18	c  N st    72   1136172       150      3195         0     46159     15975    670873   no data   no data
683.07/171.05	c  N st    73   1168565       150      3195         0     76856     15975   1624023   no data   no data
719.02/180.09	c  N st    74   1209942       150      3195         0     71579     15975   1450744   no data   no data
719.02/180.09	c  S st    74   1209942       150      3195         0     71579     15975   1450744   no data   no data
720.23/180.35	c  S st    74   1210447       150      3195         0     72065     15975   1464918   no data   no data
720.23/180.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
720.23/180.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
720.23/180.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
720.23/180.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
720.23/180.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
720.23/180.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
720.23/180.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
720.64/180.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
720.64/180.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
758.18/189.81	c lits-rem:       921  cl-subs:     4499  v-elim:      0  v-fix:    0  time:  9.35 s
758.18/189.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
758.18/189.83	c vivif2 --  cl tried    67566 cl shrink        0 lits rem          0 time: 0.02
759.78/190.28	c asymm  cl-useful: 0/2386/3195 lits-rem:0 time: 0.45
759.78/190.28	c calculated reachability. Time: 0.00
759.78/190.28	c  N st    74   1210447       150      3195         0     67566     15975   1319555   no data   no data
830.50/207.99	c  N st    75   1283329       150      3195         0     91263     15975   2033247   no data   no data
935.95/234.38	c  N st    76   1392652       150      3195         0     52826     15975    776924   no data   no data
1072.95/268.66	c  N st    77   1556636       150      3195         0     57355     15975    869139   no data   no data
1196.78/299.61	c  N st    78   1710448       150      3195         0     97804     15975   2071627   no data   no data
1196.78/299.61	c  S st    78   1710448       150      3195         0     97804     15975   2071627   no data   no data
1197.59/299.87	c  S st    78   1710949       150      3195         0     98293     15975   2086558   no data   no data
1197.59/299.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1197.99/299.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1197.99/299.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1197.99/299.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1197.99/299.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1197.99/299.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1197.99/299.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1197.99/299.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1198.39/300.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.45/325.32	c lits-rem:      2525  cl-subs:    10016  v-elim:      0  v-fix:    0  time: 25.31 s
1299.45/325.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1299.45/325.34	c vivif2 --  cl tried    88277 cl shrink        0 lits rem          0 time: 0.02
1300.26/325.53	c asymm  cl-useful: 0/809/3195 lits-rem:0 time: 0.18
1300.26/325.53	c calculated reachability. Time: 0.00
1300.26/325.53	c  N st    78   1710949       150      3195         0     88277     15975   1785702   no data   no data
1657.37/414.92	c  N st    79   2079914       150      3195         0     99587     15975   2021204   no data   no data
1781.21/445.91	c  N st    80   2210949       150      3195         0    103652     15975   2082290   no data   no data
1781.21/445.91	c  S st    80   2210949       150      3195         0    103652     15975   2082290   no data   no data
1782.41/446.26	c  S st    80   2211457       150      3195         0    104150     15975   2097325   no data   no data
1782.41/446.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1782.81/446.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1782.81/446.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1782.81/446.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1782.81/446.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1782.81/446.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1782.81/446.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1782.81/446.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1783.20/446.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1874.68/469.36	c lits-rem:      2107  cl-subs:     9541  v-elim:      0  v-fix:    0  time: 22.95 s
1874.68/469.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1874.68/469.39	c vivif2 --  cl tried    94609 cl shrink        0 lits rem          0 time: 0.02
1876.30/469.74	c asymm  cl-useful: 0/1732/3195 lits-rem:0 time: 0.35
1876.30/469.75	c calculated reachability. Time: 0.00
1876.30/469.75	c  N st    80   2211457       150      3195         0     94609     15975   1817695   no data   no data
2378.40/595.43	c  N st    81   2711457       150      3195         0    117551     15975   2430567   no data   no data
2378.40/595.43	c  S st    81   2711457       150      3195         0    117551     15975   2430567   no data   no data
2380.00/595.82	c  S st    81   2711962       150      3195         0    118044     15975   2445301   no data   no data
2380.00/595.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2380.00/595.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2380.00/595.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2380.00/595.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2380.00/595.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2380.00/595.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2380.00/595.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2380.41/595.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2380.41/595.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2519.41/630.78	c lits-rem:      2424  cl-subs:    11964  v-elim:      0  v-fix:    0  time: 34.80 s
2519.41/630.78	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2519.81/630.81	c vivif2 --  cl tried   106080 cl shrink        0 lits rem          0 time: 0.03
2521.01/631.20	c asymm  cl-useful: 0/1452/3195 lits-rem:0 time: 0.38
2521.41/631.20	c calculated reachability. Time: 0.00
2521.41/631.20	c  N st    81   2711962       150      3195         0    106080     15975   2082569   no data   no data
3140.58/786.26	c  N st    82   3211965       150      3195         0     83424     15975   1242481   no data   no data
3140.58/786.26	c  S st    82   3211965       150      3195         0     83424     15975   1242481   no data   no data
3141.80/786.51	c  S st    82   3212470       150      3195         0     83922     15975   1257686   no data   no data
3141.80/786.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3141.80/786.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3141.80/786.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3141.80/786.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3141.80/786.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3141.80/786.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3141.80/786.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3141.80/786.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3142.18/786.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3150.18/788.67	c lits-rem:       573  cl-subs:     1932  v-elim:      0  v-fix:    0  time:  2.05 s
3150.18/788.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3150.18/788.68	c vivif2 --  cl tried    81990 cl shrink        0 lits rem          0 time: 0.02
3151.76/789.02	c asymm  cl-useful: 0/1952/3195 lits-rem:0 time: 0.33
3151.76/789.02	c calculated reachability. Time: 0.00
3151.76/789.02	c  N st    82   3212470       150      3195         0     81990     15975   1200370   no data   no data
3840.47/961.40	c  N st    83   3712471       150      3195         0     92312     15975   1412616   no data   no data
3840.47/961.40	c  S st    83   3712471       150      3195         0     92312     15975   1412616   no data   no data
3841.64/961.75	c  S st    83   3712976       150      3195         0     92808     15975   1428335   no data   no data
3841.64/961.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3842.04/961.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3842.04/961.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3842.04/961.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3842.04/961.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3842.04/961.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3842.04/961.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3842.04/961.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3842.44/961.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3868.81/968.51	c lits-rem:       495  cl-subs:     3029  v-elim:      0  v-fix:    0  time:  6.60 s
3868.81/968.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3868.81/968.53	c vivif2 --  cl tried    89779 cl shrink        0 lits rem          0 time: 0.02
3870.01/968.89	c asymm  cl-useful: 0/1243/3195 lits-rem:0 time: 0.36
3870.01/968.89	c calculated reachability. Time: 0.00
3870.01/968.89	c  N st    83   3712976       150      3195         0     89779     15975   1335809   no data   no data
3925.93/982.85	c  F st    84   3751562       150      3195         0    126149     15975   2468648   no data   no data
3925.93/982.85	c  N st    84   3751562       150      3195         0    126149     15975   2468648   no data   no data
3935.92/985.32	c Decided on static restart strategy
3974.67/995.06	c  N st    94   3779867       150      3195         0    153052     15975   3297024   no data   no data
4023.41/1007.22	c  N st    96   3815864       150      3195         0    107070     15975   1829003   no data   no data
4069.74/1018.87	c  N st    97   3848256       150      3195         0    137540     15975   2749490   no data   no data
4142.45/1037.07	c  N st    98   3896847       150      3195         0    102217     15975   1631692   no data   no data
4241.10/1061.79	c  N st    99   3969729       150      3195         0     88874     15975   1227868   no data   no data
4405.29/1102.85	c  N st   100   4079052       150      3195         0    109095     15975   1839813   no data   no data
4607.03/1153.37	c  N st   101   4212976       150      3195         0    151902     15975   3142796   no data   no data
4607.03/1153.37	c  S st   101   4212976       150      3195         0    151902     15975   3142796   no data   no data
4609.44/1153.93	c  S st   101   4213478       150      3195         0    152398     15975   3158196   no data   no data
4609.44/1153.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4609.82/1154.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4609.82/1154.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4609.82/1154.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4609.82/1154.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4609.82/1154.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4609.82/1154.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4609.82/1154.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4610.22/1154.16	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174044-1304079094/watcher-3174044-1304079094 -o /tmp/evaluation-result-3174044-1304079094/solver-3174044-1304079094 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174044-1304079094.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: 8.06 8.10 8.00 5/180 1564
/proc/meminfo: memFree=24440616/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=40968 CPUtime=0 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 3 0 598139857 41951232 347 33554432000 4194304 4627427 140733324787680 18446744073709551615 252458122225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1564/statm: 10242 347 299 106 0 5213 0
[pid=1564/tid=1565] ppid=1562 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598139857 52441088 348 33554432000 4194304 4627427 140733324787680 18446744073709551615 47686124337078 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 598139857 52441088 348 33554432000 4194304 4627427 140733324787680 18446744073709551615 47686124337074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 598139857 52441088 348 33554432000 4194304 4627427 140733324787680 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0548441 s]
/proc/loadavg: 8.06 8.10 8.00 5/180 1564
/proc/meminfo: memFree=24440616/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=282416 CPUtime=0.19 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 1733 0 0 0 19 0 0 0 18 0 4 0 598139857 289193984 1549 33554432000 4194304 4627427 140733324787680 18446744073709551615 4332105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 70604 1549 383 106 0 65575 0
[pid=1564/tid=1565] ppid=1562 vsize=282416 CPUtime=0.04 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 386 0 0 0 4 0 0 0 18 0 4 0 598139857 289193984 1549 33554432000 4194304 4627427 140733324787680 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=282416 CPUtime=0.04 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 346 0 0 0 4 0 0 0 18 0 4 0 598139857 289193984 1549 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=282416 CPUtime=0.04 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 224 0 0 0 4 0 0 0 25 0 4 0 598139857 289193984 1549 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282416

[startup+0.100836 s]
/proc/loadavg: 8.06 8.10 8.00 5/180 1564
/proc/meminfo: memFree=24440616/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=282552 CPUtime=0.37 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 2004 0 0 0 37 0 0 0 18 0 4 0 598139857 289333248 1820 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 70638 1822 383 106 0 65609 0
[pid=1564/tid=1565] ppid=1562 vsize=282552 CPUtime=0.09 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 452 0 0 0 9 0 0 0 18 0 4 0 598139857 289333248 1822 33554432000 4194304 4627427 140733324787680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=282552 CPUtime=0.09 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 408 0 0 0 9 0 0 0 18 0 4 0 598139857 289333248 1822 33554432000 4194304 4627427 140733324787680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=282552 CPUtime=0.09 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 298 0 0 0 9 0 0 0 25 0 4 0 598139857 289333248 1822 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282552

[startup+0.300799 s]
/proc/loadavg: 8.06 8.10 8.00 5/180 1564
/proc/meminfo: memFree=24440616/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=284500 CPUtime=1.18 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 3388 0 0 0 117 1 0 0 18 0 4 0 598139857 291328000 2487 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 71125 2487 384 106 0 66096 0
[pid=1564/tid=1565] ppid=1562 vsize=284500 CPUtime=0.29 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 807 0 0 0 29 0 0 0 18 0 4 0 598139857 291328000 2487 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=284500 CPUtime=0.29 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 750 0 0 0 29 0 0 0 18 0 4 0 598139857 291328000 2487 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=284500 CPUtime=0.29 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 631 0 0 0 29 0 0 0 25 0 4 0 598139857 291328000 2487 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284500

[startup+0.700727 s]
/proc/loadavg: 8.06 8.10 8.00 5/180 1564
/proc/meminfo: memFree=24440616/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=286388 CPUtime=2.78 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 6151 0 0 0 277 1 0 0 18 0 4 0 598139857 293261312 2781 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 71597 2781 384 106 0 66568 0
[pid=1564/tid=1565] ppid=1562 vsize=286388 CPUtime=0.69 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 1503 0 0 0 69 0 0 0 18 0 4 0 598139857 293261312 2781 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=286388 CPUtime=0.69 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 1412 0 0 0 69 0 0 0 18 0 4 0 598139857 293261312 2781 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=286388 CPUtime=0.69 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 1329 0 0 0 69 0 0 0 25 0 4 0 598139857 293261312 2781 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286388

[startup+1.50058 s]
/proc/loadavg: 8.06 8.10 8.00 10/184 1568
/proc/meminfo: memFree=24427192/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=287800 CPUtime=5.98 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 11529 0 0 0 596 2 0 0 20 0 4 0 598139857 294707200 5024 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 71950 5024 388 106 0 66921 0
[pid=1564/tid=1565] ppid=1562 vsize=287800 CPUtime=1.49 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 2475 0 0 0 149 0 0 0 20 0 4 0 598139857 294707200 5024 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=287800 CPUtime=1.48 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 2455 0 0 0 148 0 0 0 19 0 4 0 598139857 294707200 5024 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=287800 CPUtime=1.48 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 2344 0 0 0 148 0 0 0 25 0 4 0 598139857 294707200 5024 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287800

[startup+3.10028 s]
/proc/loadavg: 8.06 8.10 8.00 9/184 1569
/proc/meminfo: memFree=24401736/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=294036 CPUtime=12.36 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 22302 0 0 0 1233 3 0 0 25 0 4 0 598139857 301092864 10921 33554432000 4194304 4627427 140733324787680 18446744073709551615 4321678 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 73509 10921 388 106 0 68480 0
[pid=1564/tid=1565] ppid=1562 vsize=294036 CPUtime=3.08 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 5099 0 0 0 308 0 0 0 25 0 4 0 598139857 301092864 10921 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=294036 CPUtime=3.09 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 5749 0 0 0 308 1 0 0 25 0 4 0 598139857 301092864 10921 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=294036 CPUtime=3.07 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 5488 0 0 0 307 0 0 0 25 0 4 0 598139857 301092864 10921 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294036

[startup+6.30069 s]
/proc/loadavg: 8.05 8.10 8.00 9/184 1569
/proc/meminfo: memFree=24407420/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=311216 CPUtime=25.15 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 35385 0 0 0 2510 5 0 0 25 0 4 0 598139857 318685184 17242 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 77804 17242 388 106 0 72775 0
[pid=1564/tid=1565] ppid=1562 vsize=311216 CPUtime=6.29 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 8195 0 0 0 628 1 0 0 25 0 4 0 598139857 318685184 17242 33554432000 4194304 4627427 140733324787680 18446744073709551615 4351550 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=311216 CPUtime=6.28 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 9373 0 0 0 627 1 0 0 25 0 4 0 598139857 318685184 17242 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=311216 CPUtime=6.26 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 7863 0 0 0 625 1 0 0 25 0 4 0 598139857 318685184 17242 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 311216

[startup+12.7005 s]
/proc/loadavg: 8.05 8.09 8.00 9/184 1569
/proc/meminfo: memFree=24382396/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=312340 CPUtime=50.71 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 54837 0 0 0 5061 10 0 0 25 0 4 0 598139857 319836160 20995 33554432000 4194304 4627427 140733324787680 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 78085 20995 388 106 0 73056 0
[pid=1564/tid=1565] ppid=1562 vsize=312340 CPUtime=12.69 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 12817 0 0 0 1267 2 0 0 25 0 4 0 598139857 319836160 20995 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=312340 CPUtime=12.69 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 13661 0 0 0 1266 3 0 0 25 0 4 0 598139857 319836160 20995 33554432000 4194304 4627427 140733324787680 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=312340 CPUtime=12.62 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 13325 0 0 0 1260 2 0 0 25 0 4 0 598139857 319836160 20995 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 312340

[startup+25.5011 s]
/proc/loadavg: 8.04 8.09 8.00 9/184 1569
/proc/meminfo: memFree=24348404/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=319452 CPUtime=101.85 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 84399 0 0 0 10168 17 0 0 25 0 4 0 598139857 327118848 28593 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 79863 28594 388 106 0 74834 0
[pid=1564/tid=1565] ppid=1562 vsize=319452 CPUtime=25.49 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 19513 0 0 0 2546 3 0 0 25 0 4 0 598139857 327118848 28594 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=319452 CPUtime=25.49 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 21933 0 0 0 2544 5 0 0 25 0 4 0 598139857 327118848 28594 33554432000 4194304 4627427 140733324787680 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=319452 CPUtime=25.35 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 20673 0 0 0 2532 3 0 0 25 0 4 0 598139857 327118848 28594 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 319452

[startup+51.1004 s]
/proc/loadavg: 8.10 8.10 8.00 9/184 1570
/proc/meminfo: memFree=24283976/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=344896 CPUtime=204.11 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 122820 0 0 0 20383 28 0 0 25 0 4 0 598139857 353173504 36927 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 86224 36927 388 106 0 81195 0
[pid=1564/tid=1565] ppid=1562 vsize=344896 CPUtime=51.09 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 27077 0 0 0 5104 5 0 0 25 0 4 0 598139857 353173504 36927 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=344896 CPUtime=51.08 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 32458 0 0 0 5100 8 0 0 25 0 4 0 598139857 353173504 36927 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=344896 CPUtime=50.82 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 30288 0 0 0 5075 7 0 0 25 0 4 0 598139857 353173504 36927 33554432000 4194304 4627427 140733324787680 18446744073709551615 4321895 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 344896

[startup+102.307 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 1571
/proc/meminfo: memFree=24233736/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=434772 CPUtime=408.66 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 188505 0 0 0 40822 44 0 0 25 0 4 0 598139857 445206528 51296 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420196 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 108693 51296 388 106 0 103664 0
[pid=1564/tid=1565] ppid=1562 vsize=434772 CPUtime=102.3 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 39876 0 0 0 10222 8 0 0 25 0 4 0 598139857 445206528 51296 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=434772 CPUtime=102.29 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 49345 0 0 0 10215 14 0 0 25 0 4 0 598139857 445206528 51296 33554432000 4194304 4627427 140733324787680 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=434772 CPUtime=101.74 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 47306 0 0 0 10163 11 0 0 25 0 4 0 598139857 445206528 51296 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 434772

[startup+162.301 s]

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

[pid=1564] ppid=1562 vsize=725100 CPUtime=2805.43 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 616358 0 0 0 280330 213 0 0 25 0 4 0 598139857 742502400 116717 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 181275 116717 388 106 0 176246 0
[pid=1564/tid=1565] ppid=1562 vsize=725100 CPUtime=702.31 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 145095 0 0 0 70181 50 0 0 25 0 4 0 598139857 742502400 116717 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=725100 CPUtime=702.3 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 165812 0 0 0 70172 58 0 0 25 0 4 0 598139857 742502400 116717 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=725100 CPUtime=698.48 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 151709 0 0 0 69797 51 0 0 25 0 4 0 598139857 742502400 116717 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 725100

[startup+762.307 s]
/proc/loadavg: 8.06 8.11 8.04 9/184 1650
/proc/meminfo: memFree=24119064/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=630016 CPUtime=3045.13 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 641260 0 0 0 304289 224 0 0 25 0 4 0 598139857 645136384 119513 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 157504 119513 388 106 0 152475 0
[pid=1564/tid=1565] ppid=1562 vsize=630016 CPUtime=762.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 148588 0 0 0 76181 51 0 0 25 0 4 0 598139857 645136384 119513 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=630016 CPUtime=762.31 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 173513 0 0 0 76168 63 0 0 25 0 4 0 598139857 645136384 119513 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=630016 CPUtime=758.16 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 160878 0 0 0 75763 53 0 0 25 0 4 0 598139857 645136384 119513 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 630016

[startup+822.301 s]
/proc/loadavg: 8.06 8.10 8.04 9/184 1651
/proc/meminfo: memFree=24056900/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=657684 CPUtime=3284.79 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 665938 0 0 0 328243 236 0 0 25 0 4 0 598139857 673468416 130841 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 164421 130841 388 106 0 159392 0
[pid=1564/tid=1565] ppid=1562 vsize=657684 CPUtime=822.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 153102 0 0 0 82178 54 0 0 25 0 4 0 598139857 673468416 130841 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=657684 CPUtime=822.3 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 179227 0 0 0 82166 64 0 0 25 0 4 0 598139857 673468416 130841 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=657684 CPUtime=817.83 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 167219 0 0 0 81727 56 0 0 25 0 4 0 598139857 673468416 130841 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 657684

[startup+882.301 s]
/proc/loadavg: 8.02 8.08 8.04 9/184 1653
/proc/meminfo: memFree=24043244/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=685324 CPUtime=3524.47 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 690931 0 0 0 352200 247 0 0 25 0 4 0 598139857 701771776 124750 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 171331 124750 388 106 0 166302 0
[pid=1564/tid=1565] ppid=1562 vsize=685324 CPUtime=882.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 156353 0 0 0 88177 55 0 0 25 0 4 0 598139857 701771776 124750 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=685324 CPUtime=882.3 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 184177 0 0 0 88163 67 0 0 25 0 4 0 598139857 701771776 124750 33554432000 4194304 4627427 140733324787680 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=685324 CPUtime=877.5 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 175713 0 0 0 87689 61 0 0 25 0 4 0 598139857 701771776 124750 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 685324

[startup+942.301 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 1655
/proc/meminfo: memFree=24005636/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=630016 CPUtime=3764.15 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 720927 0 0 0 376156 259 0 0 25 0 4 0 598139857 645136384 123251 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 157504 123251 388 106 0 152475 0
[pid=1564/tid=1565] ppid=1562 vsize=630016 CPUtime=942.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 161256 0 0 0 94175 57 0 0 25 0 4 0 598139857 645136384 123251 33554432000 4194304 4627427 140733324787680 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=630016 CPUtime=942.3 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 193718 0 0 0 94159 71 0 0 25 0 4 0 598139857 645136384 123251 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=630016 CPUtime=937.18 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 183282 0 0 0 93655 63 0 0 25 0 4 0 598139857 645136384 123251 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 630016

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 1656
/proc/meminfo: memFree=23981432/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=667556 CPUtime=4003.82 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 742177 0 0 0 400112 270 0 0 25 0 4 0 598139857 683577344 123007 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 166889 123007 388 106 0 161860 0
[pid=1564/tid=1565] ppid=1562 vsize=667556 CPUtime=1002.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 166591 0 0 0 100172 60 0 0 25 0 4 0 598139857 683577344 123007 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=667556 CPUtime=1002.31 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 201117 0 0 0 100156 75 0 0 25 0 4 0 598139857 683577344 123007 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=667556 CPUtime=996.85 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 186251 0 0 0 99621 64 0 0 25 0 4 0 598139857 683577344 123007 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 667556

[startup+1062.3 s]
/proc/loadavg: 8.05 8.07 8.04 9/184 1658
/proc/meminfo: memFree=23969116/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=655936 CPUtime=4243.5 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 772965 0 0 0 424068 282 0 0 25 0 4 0 598139857 671678464 128303 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 163984 128303 388 106 0 158955 0
[pid=1564/tid=1565] ppid=1562 vsize=655936 CPUtime=1062.32 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 172824 0 0 0 106170 62 0 0 25 0 4 0 598139857 671678464 128303 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=655936 CPUtime=1062.31 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 209462 0 0 0 106153 78 0 0 25 0 4 0 598139857 671678464 128303 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=655936 CPUtime=1056.52 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 194778 0 0 0 105583 69 0 0 25 0 4 0 598139857 671678464 128303 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 655936

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.04 9/184 1659
/proc/meminfo: memFree=23927044/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=727888 CPUtime=4483.18 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 800101 0 0 0 448024 294 0 0 25 0 4 0 598139857 745357312 133563 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 181972 133563 388 106 0 176943 0
[pid=1564/tid=1565] ppid=1562 vsize=727888 CPUtime=1122.33 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 177884 0 0 0 112169 64 0 0 25 0 4 0 598139857 745357312 133563 33554432000 4194304 4627427 140733324787680 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=727888 CPUtime=1122.31 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 217483 0 0 0 112150 81 0 0 25 0 4 0 598139857 745357312 133563 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=727888 CPUtime=1116.2 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 202663 0 0 0 111547 73 0 0 25 0 4 0 598139857 745357312 133563 33554432000 4194304 4627427 140733324787680 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 727888

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.04 9/184 1661
/proc/meminfo: memFree=23841956/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=830576 CPUtime=4722.87 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 835164 0 0 0 471978 309 0 0 25 0 4 0 598139857 850509824 148093 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 207644 148093 388 106 0 202615 0
[pid=1564/tid=1565] ppid=1562 vsize=830576 CPUtime=1182.33 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 184193 0 0 0 118165 68 0 0 25 0 4 0 598139857 850509824 148093 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=830576 CPUtime=1182.31 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 230357 0 0 0 118146 85 0 0 25 0 4 0 598139857 850509824 148093 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=830576 CPUtime=1175.87 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 208840 0 0 0 117510 77 0 0 25 0 4 0 598139857 850509824 148093 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 830576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.04 9/184 1661
/proc/meminfo: memFree=23856336/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=830680 CPUtime=4800.37 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 840227 0 0 0 479725 312 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 207670 144584 388 106 0 202641 0
[pid=1564/tid=1565] ppid=1562 vsize=830680 CPUtime=1201.73 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 186800 0 0 0 120104 69 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=830680 CPUtime=1201.72 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 230357 0 0 0 120087 85 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=830680 CPUtime=1195.16 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 211296 0 0 0 119438 78 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 830680

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.04 9/184 1661
/proc/meminfo: memFree=23856336/32951124 swapFree=67111348/67111528
[pid=1564] ppid=1562 vsize=830680 CPUtime=4800.37 cores=1,3,5,7
/proc/1564/stat : 1564 (strangenight2-m) R 1562 1564 1375 0 -1 4202496 840227 0 0 0 479725 312 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1564/statm: 207670 144584 388 106 0 202641 0
[pid=1564/tid=1565] ppid=1562 vsize=830680 CPUtime=1201.73 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 186800 0 0 0 120104 69 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1564/tid=1566] ppid=1562 vsize=830680 CPUtime=1201.72 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 230357 0 0 0 120087 85 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1564/tid=1567] ppid=1562 vsize=830680 CPUtime=1195.16 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (strangenight2-m) R 1562 1564 1375 0 -1 4202560 211296 0 0 0 119438 78 0 0 25 0 4 0 598139857 850616320 144584 33554432000 4194304 4627427 140733324787680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 830680

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.43
CPU user time (s): 4797.29
CPU system time (s): 3.14452
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 946520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.29
system time used= 3.14452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840227
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= 519
involuntary context switches= 30436

runsolver used 1.87971 second user time and 4.66829 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 14:11:34
IDJOB=3174044
IDBENCH=82862
IDSOLVER=1586
FILE ID=node111/3174044-1304079094
RUNJOBID= node111-1304077317-1394
PBS_JOBID= 13170507
Free space on /tmp= 70892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174044-1304079094/watcher-3174044-1304079094 -o /tmp/evaluation-result-3174044-1304079094/solver-3174044-1304079094 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174044-1304079094.cnf

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

MD5SUM BENCH= af1e3a30945401f0fc52ffcd9f70aa15
RANDOM SEED=1086457583

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24440896 kB
Buffers:       1277468 kB
Cached:        6319876 kB
SwapCached:        124 kB
Active:        3530304 kB
Inactive:      4490620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24440896 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:      423312 kB
Mapped:          15500 kB
Slab:           424952 kB
PageTables:       5444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   629364 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= 70888 MiB
End job on node111 at 2011-04-29 14:31:38