Trace number 3174128

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.15 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
MD5SUM02e5b9be63a0b18588da13d9c988e25c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3174128-1304099936.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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.00/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:      78 undec:       5 neg:      67
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4917       150      3195         0      4692     15975    144897   no data   no data
0.00/0.80	c  N st    10     11299       150      3195         0      4337     15975    100819   no data   no data
0.00/0.80	c  N st    11     17043       150      3195         0      9744     15975    262985   no data   no data
3.57/0.95	c  F st    12     25002       150      3195         0     11954     15975    314216   no data   no data
3.57/0.95	c  N st    12     25002       150      3195         0     11954     15975    314216   no data   no data
4.37/1.16	c Decided on static restart strategy
4.37/1.16	c  N st    18     30000       150      3195         0     10277     15975    262353   no data   no data
4.37/1.16	c  S st    18     30000       150      3195         0     10277     15975    262353   no data   no data
4.37/1.19	c  S st    18     30504       150      3195         0     10774     15975    276908   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.77/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       226  cl-subs:     1187  v-elim:      0  v-fix:    0  time:  0.19 s
5.57/1.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30504       150      3195         0      9587     15975    237240   no data   no data
6.76/1.78	c  N st    20     37614       150      3195         0      8883     15975    197220   no data   no data
8.37/2.10	c  N st    21     44014       150      3195         0     14995     15975    388407   no data   no data
8.77/2.21	c  S st    22     45756       150      3195         0     16650     15975    438269   no data   no data
8.77/2.27	c  S st    22     46260       150      3195         0      8617     15975    169602   no data   no data
8.77/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.77/2.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.30	c lits-rem:        33  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.02 s
9.17/2.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.17/2.31	c vivif2 --  cl tried     8510 cl shrink        0 lits rem          0 time: 0.00
9.17/2.35	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.17/2.35	c calculated reachability. Time: 0.00
9.17/2.35	c  N st    22     46260       150      3195         0      8510     15975    166141   no data   no data
12.36/3.13	c  N st    23     60661       150      3195         0     12725     15975    278333   no data   no data
14.76/3.72	c  N st    24     69390       150      3195         0     10522     15975    195897   no data   no data
14.76/3.72	c  S st    24     69390       150      3195         0     10522     15975    195897   no data   no data
14.76/3.75	c  S st    24     69893       150      3195         0     11021     15975    210675   no data   no data
14.76/3.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.81	c lits-rem:        73  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.04 s
15.16/3.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.16/3.81	c vivif2 --  cl tried    10769 cl shrink        0 lits rem          0 time: 0.00
15.16/3.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.16/3.86	c calculated reachability. Time: 0.00
15.16/3.86	c  N st    24     69893       150      3195         0     10769     15975    202674   no data   no data
19.56/4.90	c  F st    25     87501       150      3195         0     16065     15975    353055   no data   no data
19.56/4.90	c  N st    25     87501       150      3195         0     16065     15975    353055   no data   no data
20.77/5.27	c Decided on static restart strategy
21.55/5.47	c  N st    32     95542       150      3195         0     23721     15975    583652   no data   no data
23.95/6.07	c  N st    34    104839       150      3195         0     20236     15975    478278   no data   no data
23.95/6.07	c  S st    34    104839       150      3195         0     20236     15975    478278   no data   no data
24.35/6.13	c  S st    34    105346       150      3195         0     20733     15975    492664   no data   no data
24.35/6.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.35/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.35/6.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.35/6.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.35/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.35/6.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.35/6.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.35/6.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.35/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.59	c lits-rem:       403  cl-subs:     1219  v-elim:      0  v-fix:    0  time:  0.43 s
25.95/6.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.95/6.59	c vivif2 --  cl tried    19514 cl shrink        0 lits rem          0 time: 0.00
26.35/6.67	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.35/6.67	c calculated reachability. Time: 0.00
26.35/6.67	c  N st    34    105346       150      3195         0     19514     15975    449661   no data   no data
29.16/7.39	c  N st    35    114944       150      3195         0     15349     15975    305246   no data   no data
33.96/8.52	c  N st    36    129343       150      3195         0     14773     15975    262862   no data   no data
40.73/10.25	c  N st    37    150940       150      3195         0     20100     15975    406757   no data   no data
43.12/10.81	c  S st    38    158019       150      3195         0     26861     15975    620561   no data   no data
43.12/10.88	c  S st    38    158523       150      3195         0     27355     15975    635095   no data   no data
43.12/10.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.12/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.12/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.12/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.52/10.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.14/11.80	c lits-rem:       681  cl-subs:     1769  v-elim:      0  v-fix:    0  time:  0.89 s
47.14/11.80	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.14/11.81	c vivif2 --  cl tried    25586 cl shrink        0 lits rem          0 time: 0.01
47.51/11.91	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.51/11.91	c calculated reachability. Time: 0.00
47.51/11.91	c  N st    38    158523       150      3195         0     25586     15975    575390   no data   no data
63.50/15.94	c  N st    39    207113       150      3195         0     20543     15975    370775   no data   no data
75.09/18.87	c  N st    40    237786       150      3195         0     30533     15975    668012   no data   no data
75.09/18.87	c  S st    40    237786       150      3195         0     30533     15975    668012   no data   no data
75.48/18.96	c  S st    40    238291       150      3195         0     31030     15975    683160   no data   no data
75.48/18.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.48/18.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.48/18.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.48/18.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.48/18.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.48/18.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.48/18.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.48/18.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.88/19.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.08/20.30	c lits-rem:       572  cl-subs:     2137  v-elim:      0  v-fix:    0  time:  1.30 s
81.08/20.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.08/20.31	c vivif2 --  cl tried    28893 cl shrink        0 lits rem          0 time: 0.01
81.48/20.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
81.48/20.44	c calculated reachability. Time: 0.00
81.48/20.44	c  N st    40    238291       150      3195         0     28893     15975    618674   no data   no data
108.67/27.22	c  F st    41    306251       150      3195         0     30791     15975    618867   no data   no data
108.67/27.22	c  N st    41    306251       150      3195         0     30791     15975    618867   no data   no data
110.64/27.77	c Decided on static restart strategy
121.04/30.36	c  N st    51    334560       150      3195         0     34987     15975    726249   no data   no data
130.65/32.72	c  N st    53    357436       150      3195         0     33041     15975    642620   no data   no data
130.65/32.72	c  S st    53    357436       150      3195         0     33041     15975    642620   no data   no data
131.02/32.80	c  S st    53    357941       150      3195         0     33536     15975    657433   no data   no data
131.02/32.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.02/32.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.02/32.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.02/32.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.02/32.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.02/32.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
131.02/32.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.02/32.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.02/32.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.82/33.56	c lits-rem:       470  cl-subs:     1473  v-elim:      0  v-fix:    0  time:  0.72 s
133.82/33.57	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.82/33.57	c vivif2 --  cl tried    32063 cl shrink        0 lits rem          0 time: 0.01
134.63/33.71	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
134.63/33.71	c calculated reachability. Time: 0.00
134.63/33.71	c  N st    53    357941       150      3195         0     32063     15975    609887   no data   no data
148.60/37.23	c  N st    54    390334       150      3195         0     38219     15975    806374   no data   no data
177.36/44.49	c  N st    55    438922       150      3195         0     32044     15975    567152   no data   no data
215.72/54.01	c  N st    56    511804       150      3195         0     45009     15975    924507   no data   no data
227.32/56.92	c  N st    57    536912       150      3195         0     39647     15975    745647   no data   no data
227.32/56.92	c  S st    57    536912       150      3195         0     39647     15975    745647   no data   no data
227.69/57.02	c  S st    57    537415       150      3195         0     40132     15975    759980   no data   no data
227.69/57.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
227.69/57.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
227.69/57.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
227.69/57.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
227.69/57.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.69/57.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
227.69/57.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
227.69/57.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
227.69/57.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.72/58.05	c lits-rem:       611  cl-subs:     1449  v-elim:      0  v-fix:    0  time:  0.98 s
231.72/58.05	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
231.72/58.06	c vivif2 --  cl tried    38683 cl shrink        0 lits rem          0 time: 0.01
232.50/58.24	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
232.50/58.24	c calculated reachability. Time: 0.00
232.50/58.24	c  N st    57    537415       150      3195         0     38683     15975    710922   no data   no data
320.39/80.22	c  N st    58    701401       150      3195         0     66860     15975   1553967   no data   no data
383.93/96.16	c  N st    59    806122       150      3195         0     60935     15975   1285771   no data   no data
383.93/96.16	c  S st    59    806122       150      3195         0     60935     15975   1285771   no data   no data
384.72/96.34	c  S st    59    806624       150      3195         0     61427     15975   1300742   no data   no data
384.72/96.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
384.72/96.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
384.72/96.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
384.72/96.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
384.72/96.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
384.72/96.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
384.72/96.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
384.72/96.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
385.14/96.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
413.48/103.56	c lits-rem:      1452  cl-subs:     4810  v-elim:      0  v-fix:    0  time:  7.13 s
413.48/103.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
413.48/103.57	c vivif2 --  cl tried    56617 cl shrink        0 lits rem          0 time: 0.01
414.68/103.88	c asymm  cl-useful: 0/2865/3195 lits-rem:0 time: 0.30
414.68/103.88	c calculated reachability. Time: 0.00
414.68/103.88	c  N st    59    806624       150      3195         0     56617     15975   1148149   no data   no data
609.25/152.55	c  F st    60   1071875       150      3195         0     71953     15975   1546289   no data   no data
609.25/152.56	c  N st    60   1071875       150      3195         0     71953     15975   1546289   no data   no data
615.22/154.03	c Decided on static restart strategy
634.41/158.82	c  N st    70   1100181       150      3195         0     56529     15975   1013509   no data   no data
661.99/165.73	c  N st    72   1136176       150      3195         0     47079     15975    692459   no data   no data
687.54/172.16	c  N st    73   1168571       150      3195         0     77732     15975   1656098   no data   no data
724.70/181.44	c  N st    74   1209937       150      3195         0     72409     15975   1480132   no data   no data
724.70/181.44	c  S st    74   1209937       150      3195         0     72409     15975   1480132   no data   no data
725.91/181.74	c  S st    74   1210447       150      3195         0     72909     15975   1495243   no data   no data
725.91/181.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
725.91/181.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
725.91/181.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
725.91/181.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
725.91/181.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
725.91/181.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
725.91/181.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
726.31/181.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
726.31/181.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.61/198.47	c lits-rem:      1152  cl-subs:     5509  v-elim:      0  v-fix:    0  time: 16.60 s
792.61/198.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
792.61/198.49	c vivif2 --  cl tried    67400 cl shrink        0 lits rem          0 time: 0.02
794.60/198.94	c asymm  cl-useful: 0/2509/3195 lits-rem:0 time: 0.45
794.60/198.94	c calculated reachability. Time: 0.00
794.60/198.94	c  N st    74   1210447       150      3195         0     67400     15975   1311002   no data   no data
859.32/215.15	c  N st    75   1283334       150      3195         0     90893     15975   2059496   no data   no data
953.20/238.64	c  N st    76   1392661       150      3195         0     52591     15975    769424   no data   no data
1086.24/271.97	c  N st    77   1556646       150      3195         0     57527     15975    866652   no data   no data
1227.27/307.40	c  N st    78   1710448       150      3195         0     97465     15975   2037287   no data   no data
1227.27/307.40	c  S st    78   1710448       150      3195         0     97465     15975   2037287   no data   no data
1228.08/307.68	c  S st    78   1710951       150      3195         0     97955     15975   2052285   no data   no data
1228.08/307.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1228.48/307.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1228.48/307.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1228.48/307.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1228.48/307.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1228.48/307.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1228.48/307.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1228.48/307.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1228.86/307.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1321.93/331.15	c lits-rem:      3419  cl-subs:     9786  v-elim:      0  v-fix:    0  time: 23.31 s
1321.93/331.15	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1321.93/331.17	c vivif2 --  cl tried    88169 cl shrink        0 lits rem          0 time: 0.02
1322.73/331.32	c asymm  cl-useful: 0/686/3195 lits-rem:0 time: 0.15
1322.73/331.32	c calculated reachability. Time: 0.00
1322.73/331.32	c  N st    78   1710951       150      3195         0     88169     15975   1767290   no data   no data
1713.07/429.05	c  N st    79   2079916       150      3195         0    100525     15975   2077132   no data   no data
1844.92/462.09	c  N st    80   2210951       150      3195         0    104068     15975   2127148   no data   no data
1844.92/462.09	c  S st    80   2210951       150      3195         0    104068     15975   2127148   no data   no data
1846.52/462.41	c  S st    80   2211456       150      3195         0    104562     15975   2141903   no data   no data
1846.52/462.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1846.52/462.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1846.52/462.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1846.52/462.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1846.52/462.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1846.52/462.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1846.52/462.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1846.92/462.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1846.92/462.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1939.19/485.67	c lits-rem:      2200  cl-subs:     8946  v-elim:      0  v-fix:    0  time: 23.11 s
1939.19/485.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1939.19/485.69	c vivif2 --  cl tried    95616 cl shrink        0 lits rem          0 time: 0.03
1940.79/486.05	c asymm  cl-useful: 0/1877/3195 lits-rem:0 time: 0.36
1940.79/486.05	c calculated reachability. Time: 0.00
1940.79/486.05	c  N st    80   2211456       150      3195         0     95616     15975   1870365   no data   no data
2493.34/624.37	c  N st    81   2711456       150      3195         0    118237     15975   2411122   no data   no data
2493.34/624.37	c  S st    81   2711456       150      3195         0    118237     15975   2411122   no data   no data
2494.93/624.75	c  S st    81   2711958       150      3195         0    118726     15975   2426306   no data   no data
2494.93/624.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2495.33/624.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2495.33/624.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2495.33/624.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2495.33/624.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2495.33/624.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2495.33/624.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2495.33/624.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2495.73/624.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2653.52/664.47	c lits-rem:      2717  cl-subs:    13651  v-elim:      0  v-fix:    0  time: 39.54 s
2653.52/664.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2653.92/664.50	c vivif2 --  cl tried   105075 cl shrink        0 lits rem          0 time: 0.03
2655.12/664.84	c asymm  cl-useful: 0/1318/3195 lits-rem:0 time: 0.34
2655.12/664.84	c calculated reachability. Time: 0.00
2655.12/664.84	c  N st    81   2711958       150      3195         0    105075     15975   2033319   no data   no data
3343.85/837.21	c  N st    82   3211959       150      3195         0     81970     15975   1187899   no data   no data
3343.85/837.21	c  S st    82   3211959       150      3195         0     81970     15975   1187899   no data   no data
3344.65/837.45	c  S st    82   3212464       150      3195         0     82466     15975   1202825   no data   no data
3344.65/837.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3344.65/837.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3344.65/837.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3344.65/837.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3344.65/837.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3344.65/837.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3344.65/837.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3345.05/837.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3345.05/837.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3352.64/839.48	c lits-rem:       367  cl-subs:     2343  v-elim:      0  v-fix:    0  time:  1.93 s
3352.64/839.48	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3353.04/839.50	c vivif2 --  cl tried    80123 cl shrink        0 lits rem          0 time: 0.02
3354.24/839.83	c asymm  cl-useful: 0/2142/3195 lits-rem:0 time: 0.33
3354.24/839.83	c calculated reachability. Time: 0.00
3354.24/839.83	c  N st    82   3212464       150      3195         0     80123     15975   1140306   no data   no data
4037.79/1010.98	c  N st    83   3712464       150      3195         0     90618     15975   1359003   no data   no data
4037.79/1010.98	c  S st    83   3712464       150      3195         0     90618     15975   1359003   no data   no data
4038.99/1011.28	c  S st    83   3712969       150      3195         0     91114     15975   1374098   no data   no data
4038.99/1011.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4039.39/1011.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4039.39/1011.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4039.39/1011.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4039.39/1011.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4039.39/1011.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4039.39/1011.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4039.39/1011.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4039.79/1011.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4053.37/1014.83	c lits-rem:      1039  cl-subs:     2798  v-elim:      0  v-fix:    0  time:  3.42 s
4053.37/1014.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4053.37/1014.85	c vivif2 --  cl tried    88316 cl shrink        0 lits rem          0 time: 0.02
4054.19/1015.06	c asymm  cl-useful: 0/1053/3195 lits-rem:0 time: 0.22
4054.19/1015.07	c calculated reachability. Time: 0.00
4054.19/1015.07	c  N st    83   3712969       150      3195         0     88316     15975   1289777   no data   no data
4098.52/1026.10	c  F st    84   3751563       150      3195         0    124731     15975   2464054   no data   no data
4098.52/1026.10	c  N st    84   3751563       150      3195         0    124731     15975   2464054   no data   no data
4107.71/1028.42	c Decided on static restart strategy
4147.66/1038.42	c  N st    94   3779871       150      3195         0    151524     15975   3277590   no data   no data
4202.00/1052.06	c  N st    96   3815866       150      3195         0    105722     15975   1800114   no data   no data
4248.34/1063.62	c  N st    97   3848258       150      3195         0    136318     15975   2734589   no data   no data
4313.09/1079.83	c  N st    98   3896847       150      3195         0    101190     15975   1638665   no data   no data
4418.56/1106.27	c  N st    99   3969729       150      3195         0     87934     15975   1206556   no data   no data
4565.97/1143.18	c  N st   100   4079053       150      3195         0    108201     15975   1819697   no data   no data
4747.34/1188.50	c  N st   101   4212969       150      3195         0    150859     15975   3189313   no data   no data
4747.34/1188.50	c  S st   101   4212969       150      3195         0    150859     15975   3189313   no data   no data
4749.33/1189.09	c  S st   101   4213473       150      3195         0    151357     15975   3204594   no data   no data
4749.73/1189.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4750.13/1189.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.10
4750.13/1189.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4750.13/1189.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4750.13/1189.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4750.13/1189.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4750.13/1189.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4750.13/1189.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4750.53/1189.36	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-3174128-1304099936/watcher-3174128-1304099936 -o /tmp/evaluation-result-3174128-1304099936/solver-3174128-1304099936 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174128-1304099936.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: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 409 0 0 0 0 0 0 0 18 0 4 0 521596420 52441088 348 33554432000 4194304 4627427 140736690078496 18446744073709551615 47263819577260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 12803 348 299 106 0 7774 0
[pid=25652/tid=25656] ppid=25649 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 521596420 52441088 348 33554432000 4194304 4627427 140736690078496 18446744073709551615 218382754870 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 521596420 52441088 348 33554432000 4194304 4627427 140736690078496 18446744073709551615 47263819577266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 521596420 52441088 348 33554432000 4194304 4627427 140736690078496 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.857346 s]
/proc/loadavg: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=286224 CPUtime=3.4 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 6556 0 0 0 340 0 0 0 19 0 4 0 521596420 293093376 3192 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 71556 3192 384 106 0 66527 0
[pid=25652/tid=25656] ppid=25649 vsize=286224 CPUtime=0.85 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1583 0 0 0 85 0 0 0 19 0 4 0 521596420 293093376 3192 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=286224 CPUtime=0.84 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1571 0 0 0 84 0 0 0 19 0 4 0 521596420 293093376 3192 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=286224 CPUtime=0.84 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1405 0 0 0 84 0 0 0 19 0 4 0 521596420 293093376 3192 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 286224

[startup+0.90034 s]
/proc/loadavg: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=286356 CPUtime=3.57 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 6680 0 0 0 357 0 0 0 19 0 4 0 521596420 293228544 3316 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 71589 3316 384 106 0 66560 0
[pid=25652/tid=25656] ppid=25649 vsize=286356 CPUtime=0.89 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1617 0 0 0 89 0 0 0 19 0 4 0 521596420 293228544 3316 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=286356 CPUtime=0.89 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1600 0 0 0 89 0 0 0 19 0 4 0 521596420 293228544 3316 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=286356 CPUtime=0.89 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1442 0 0 0 89 0 0 0 19 0 4 0 521596420 293228544 3317 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 286356

[startup+1.00032 s]
/proc/loadavg: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=286756 CPUtime=3.97 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 7472 0 0 0 397 0 0 0 19 0 4 0 521596420 293638144 3304 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 71689 3304 385 106 0 66660 0
[pid=25652/tid=25656] ppid=25649 vsize=286756 CPUtime=0.99 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1905 0 0 0 99 0 0 0 19 0 4 0 521596420 293638144 3304 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=286756 CPUtime=0.99 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1679 0 0 0 99 0 0 0 19 0 4 0 521596420 293638144 3305 33554432000 4194304 4627427 140736690078496 18446744073709551615 4332845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=286756 CPUtime=0.99 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1768 0 0 0 99 0 0 0 19 0 4 0 521596420 293638144 3305 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 286756

[startup+1.1003 s]
/proc/loadavg: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=287004 CPUtime=4.37 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 8195 0 0 0 436 1 0 0 19 0 4 0 521596420 293892096 3223 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 71751 3223 385 106 0 66722 0
[pid=25652/tid=25656] ppid=25649 vsize=287004 CPUtime=1.09 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1987 0 0 0 109 0 0 0 19 0 4 0 521596420 293892096 3223 33554432000 4194304 4627427 140736690078496 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=287004 CPUtime=1.09 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1974 0 0 0 109 0 0 0 19 0 4 0 521596420 293892096 3223 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=287004 CPUtime=1.08 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 1847 0 0 0 108 0 0 0 19 0 4 0 521596420 293892096 3223 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 287004

[startup+1.50023 s]
/proc/loadavg: 4.69 5.67 6.86 4/176 25654
/proc/meminfo: memFree=25297436/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=287488 CPUtime=5.97 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 11376 0 0 0 596 1 0 0 20 0 4 0 521596420 294387712 4950 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 71872 4950 388 106 0 66843 0
[pid=25652/tid=25656] ppid=25649 vsize=287488 CPUtime=1.48 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 2461 0 0 0 148 0 0 0 20 0 4 0 521596420 294387712 4950 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=287488 CPUtime=1.48 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 2502 0 0 0 148 0 0 0 20 0 4 0 521596420 294387712 4950 33554432000 4194304 4627427 140736690078496 18446744073709551615 4321445 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=287488 CPUtime=1.48 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 2315 0 0 0 148 0 0 0 20 0 4 0 521596420 294387712 4950 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287488

[startup+3.10095 s]
/proc/loadavg: 4.95 5.71 6.86 10/184 25662
/proc/meminfo: memFree=25221744/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=293784 CPUtime=12.36 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 22324 0 0 0 1234 2 0 0 25 0 4 0 521596420 300834816 11049 33554432000 4194304 4627427 140736690078496 18446744073709551615 4308145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 73446 11049 388 106 0 68417 0
[pid=25652/tid=25656] ppid=25649 vsize=293784 CPUtime=3.08 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 5114 0 0 0 308 0 0 0 25 0 4 0 521596420 300834816 11049 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=293784 CPUtime=3.08 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 5856 0 0 0 308 0 0 0 25 0 4 0 521596420 300834816 11049 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=293784 CPUtime=3.07 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 5633 0 0 0 307 0 0 0 25 0 4 0 521596420 300834816 11049 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293784

[startup+6.30638 s]
/proc/loadavg: 4.95 5.71 6.86 10/184 25662
/proc/meminfo: memFree=25186632/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=302992 CPUtime=25.17 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 36563 0 0 0 2512 5 0 0 25 0 4 0 521596420 310263808 16338 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 75748 16338 389 106 0 70719 0
[pid=25652/tid=25656] ppid=25649 vsize=302992 CPUtime=6.29 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 8952 0 0 0 628 1 0 0 25 0 4 0 521596420 310263808 16338 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=302992 CPUtime=6.29 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 9359 0 0 0 628 1 0 0 25 0 4 0 521596420 310263808 16338 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=302992 CPUtime=6.26 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 8453 0 0 0 626 0 0 0 25 0 4 0 521596420 310263808 16338 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 302992

[startup+12.7002 s]
/proc/loadavg: 5.20 5.74 6.87 10/184 25663
/proc/meminfo: memFree=25152180/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=309044 CPUtime=50.71 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 55523 0 0 0 5063 8 0 0 25 0 4 0 521596420 316461056 21186 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 77261 21186 388 106 0 72232 0
[pid=25652/tid=25656] ppid=25649 vsize=309044 CPUtime=12.69 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 13687 0 0 0 1267 2 0 0 25 0 4 0 521596420 316461056 21186 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=309044 CPUtime=12.69 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 13717 0 0 0 1267 2 0 0 25 0 4 0 521596420 316461056 21186 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=309044 CPUtime=12.63 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 13601 0 0 0 1262 1 0 0 25 0 4 0 521596420 316461056 21186 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 309044

[startup+25.501 s]
/proc/loadavg: 5.88 5.87 6.89 10/184 25663
/proc/meminfo: memFree=25098412/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=321332 CPUtime=101.85 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 85931 0 0 0 10171 14 0 0 25 0 4 0 521596420 329043968 33175 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 80333 33175 388 106 0 75304 0
[pid=25652/tid=25656] ppid=25649 vsize=321332 CPUtime=25.48 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 21428 0 0 0 2545 3 0 0 25 0 4 0 521596420 329043968 33175 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=321332 CPUtime=25.48 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 21459 0 0 0 2545 3 0 0 25 0 4 0 521596420 329043968 33175 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=321332 CPUtime=25.37 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 21059 0 0 0 2534 3 0 0 25 0 4 0 521596420 329043968 33175 33554432000 4194304 4627427 140736690078496 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 321332

[startup+51.1004 s]
/proc/loadavg: 6.60 6.04 6.92 10/184 25663
/proc/meminfo: memFree=25044664/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=408920 CPUtime=204.13 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 121841 0 0 0 20389 24 0 0 25 0 4 0 521596420 418734080 41323 33554432000 4194304 4627427 140736690078496 18446744073709551615 4333404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 102230 41323 388 106 0 97201 0
[pid=25652/tid=25656] ppid=25649 vsize=408920 CPUtime=51.08 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 26273 0 0 0 5104 4 0 0 25 0 4 0 521596420 418734080 41323 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=408920 CPUtime=51.08 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 33115 0 0 0 5102 6 0 0 25 0 4 0 521596420 418734080 41323 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=408920 CPUtime=50.85 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 30958 0 0 0 5079 6 0 0 25 0 4 0 521596420 418734080 41323 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 408920

[startup+102.3 s]
/proc/loadavg: 7.49 6.38 6.99 10/184 25665
/proc/meminfo: memFree=24975656/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=433492 CPUtime=408.68 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 179673 0 0 0 40827 41 0 0 25 0 4 0 521596420 443895808 51591 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 108373 51591 388 106 0 103344 0
[pid=25652/tid=25656] ppid=25649 vsize=433492 CPUtime=102.28 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 30322 0 0 0 10222 6 0 0 25 0 4 0 521596420 443895808 51591 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=433492 CPUtime=102.28 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 49552 0 0 0 10216 12 0 0 25 0 4 0 521596420 443895808 51591 33554432000 4194304 4627427 140736690078496 18446744073709551615 4348352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=433492 CPUtime=101.8 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 49781 0 0 0 10169 11 0 0 25 0 4 0 521596420 443895808 51591 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 433492

[startup+162.301 s]

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

[pid=25652] ppid=25649 vsize=647268 CPUtime=2804.94 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 573229 0 0 0 280315 179 0 0 25 0 4 0 521596420 662802432 107454 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 161817 107454 388 106 0 156788 0
[pid=25652/tid=25656] ppid=25649 vsize=647268 CPUtime=702.29 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 130087 0 0 0 70187 42 0 0 25 0 4 0 521596420 662802432 107454 33554432000 4194304 4627427 140736690078496 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=647268 CPUtime=702.14 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 152303 0 0 0 70163 51 0 0 25 0 4 0 521596420 662802432 107454 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=647268 CPUtime=698.91 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 146906 0 0 0 69848 43 0 0 25 0 4 0 521596420 662802432 107454 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.94
Current children cumulated vsize (KiB) 647268

[startup+762.301 s]
/proc/loadavg: 8.07 7.94 7.57 9/184 25725
/proc/meminfo: memFree=24608332/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=647476 CPUtime=3044.63 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 599749 0 0 0 304272 191 0 0 25 0 4 0 521596420 663015424 116264 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 161869 116264 388 106 0 156840 0
[pid=25652/tid=25656] ppid=25649 vsize=647476 CPUtime=762.29 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 138240 0 0 0 76184 45 0 0 25 0 4 0 521596420 663015424 116264 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=647476 CPUtime=762.14 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 160022 0 0 0 76158 56 0 0 25 0 4 0 521596420 663015424 116264 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=647476 CPUtime=758.62 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 150149 0 0 0 75818 44 0 0 25 0 4 0 521596420 663015424 116264 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.63
Current children cumulated vsize (KiB) 647476

[startup+822.301 s]
/proc/loadavg: 8.12 7.98 7.60 9/184 25726
/proc/meminfo: memFree=24579296/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=715648 CPUtime=3284.33 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 625324 0 0 0 328232 201 0 0 25 0 4 0 521596420 732823552 119424 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 178912 119424 388 106 0 173883 0
[pid=25652/tid=25656] ppid=25649 vsize=715648 CPUtime=822.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 142565 0 0 0 82182 48 0 0 25 0 4 0 521596420 732823552 119424 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=715648 CPUtime=822.15 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 169749 0 0 0 82156 59 0 0 25 0 4 0 521596420 732823552 119424 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=715648 CPUtime=818.31 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 154491 0 0 0 81786 45 0 0 25 0 4 0 521596420 732823552 119424 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.33
Current children cumulated vsize (KiB) 715648

[startup+882.3 s]
/proc/loadavg: 8.09 8.00 7.63 9/184 25728
/proc/meminfo: memFree=24535512/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=674860 CPUtime=3524.03 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 653261 0 0 0 352192 211 0 0 25 0 4 0 521596420 691056640 119794 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 168715 119794 388 106 0 163686 0
[pid=25652/tid=25656] ppid=25649 vsize=674860 CPUtime=882.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 148367 0 0 0 88180 50 0 0 25 0 4 0 521596420 691056640 119794 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=674860 CPUtime=882.14 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 178229 0 0 0 88152 62 0 0 25 0 4 0 521596420 691056640 119794 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=674860 CPUtime=878.02 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 163745 0 0 0 87754 48 0 0 25 0 4 0 521596420 691056640 119794 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.03
Current children cumulated vsize (KiB) 674860

[startup+942.301 s]
/proc/loadavg: 8.11 8.02 7.65 9/184 25729
/proc/meminfo: memFree=24457628/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=783120 CPUtime=3763.77 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 681845 0 0 0 376154 223 0 0 25 0 4 0 521596420 801914880 128287 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 195780 128287 388 106 0 190751 0
[pid=25652/tid=25656] ppid=25649 vsize=783120 CPUtime=942.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 156542 0 0 0 94177 53 0 0 25 0 4 0 521596420 801914880 128287 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=783120 CPUtime=942.15 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 183385 0 0 0 94150 65 0 0 25 0 4 0 521596420 801914880 128287 33554432000 4194304 4627427 140736690078496 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=783120 CPUtime=937.75 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 169740 0 0 0 93724 51 0 0 25 0 4 0 521596420 801914880 128287 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.77
Current children cumulated vsize (KiB) 783120

[startup+1002.3 s]
/proc/loadavg: 8.16 8.04 7.68 9/184 25731
/proc/meminfo: memFree=24395744/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=839740 CPUtime=4003.43 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 697495 0 0 0 400108 235 0 0 25 0 4 0 521596420 859893760 134856 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 209935 134856 388 106 0 204906 0
[pid=25652/tid=25656] ppid=25649 vsize=839740 CPUtime=1002.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 158288 0 0 0 100176 54 0 0 25 0 4 0 521596420 859893760 134856 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=839740 CPUtime=1002.15 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 191142 0 0 0 100145 70 0 0 25 0 4 0 521596420 859893760 134856 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=839740 CPUtime=997.43 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 169829 0 0 0 99692 51 0 0 25 0 4 0 521596420 859893760 134856 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.43
Current children cumulated vsize (KiB) 839740

[startup+1062.31 s]
/proc/loadavg: 8.16 8.06 7.71 9/184 25733
/proc/meminfo: memFree=24382576/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=792252 CPUtime=4243.17 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 724250 0 0 0 424069 248 0 0 25 0 4 0 521596420 811266048 131678 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 198063 131678 388 106 0 193034 0
[pid=25652/tid=25656] ppid=25649 vsize=792252 CPUtime=1062.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 164868 0 0 0 106172 58 0 0 25 0 4 0 521596420 811266048 131678 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=792252 CPUtime=1062.16 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 199172 0 0 0 106143 73 0 0 25 0 4 0 521596420 811266048 131678 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=792252 CPUtime=1057.16 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 177720 0 0 0 105661 55 0 0 25 0 4 0 521596420 811266048 131678 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.17
Current children cumulated vsize (KiB) 792252

[startup+1122.3 s]
/proc/loadavg: 8.16 8.08 7.74 9/184 25734
/proc/meminfo: memFree=24293764/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=872748 CPUtime=4482.87 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 753668 0 0 0 448029 258 0 0 25 0 4 0 521596420 893693952 149748 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 218187 149748 388 106 0 213158 0
[pid=25652/tid=25656] ppid=25649 vsize=872748 CPUtime=1122.3 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 169219 0 0 0 112170 60 0 0 25 0 4 0 521596420 893693952 149748 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=872748 CPUtime=1122.16 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 207949 0 0 0 112139 77 0 0 25 0 4 0 521596420 893693952 149748 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=872748 CPUtime=1116.87 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 185927 0 0 0 111630 57 0 0 25 0 4 0 521596420 893693952 149748 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.87
Current children cumulated vsize (KiB) 872748

[startup+1182.3 s]
/proc/loadavg: 8.15 8.09 7.76 9/184 25736
/proc/meminfo: memFree=24276872/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=808636 CPUtime=4722.57 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 780489 0 0 0 471989 268 0 0 25 0 4 0 521596420 828043264 150959 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 202159 150959 388 106 0 197130 0
[pid=25652/tid=25656] ppid=25649 vsize=808636 CPUtime=1182.31 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 170407 0 0 0 118170 61 0 0 25 0 4 0 521596420 828043264 150959 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=808636 CPUtime=1182.15 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 220842 0 0 0 118135 80 0 0 25 0 4 0 521596420 828043264 150959 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=808636 CPUtime=1176.58 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 190108 0 0 0 117599 59 0 0 25 0 4 0 521596420 828043264 150959 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.57
Current children cumulated vsize (KiB) 808636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.10 7.77 9/184 25736
/proc/meminfo: memFree=24264720/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=866540 CPUtime=4800.09 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 783153 0 0 0 479739 270 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 216635 152891 388 106 0 211606 0
[pid=25652/tid=25656] ppid=25649 vsize=866540 CPUtime=1201.71 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 171287 0 0 0 120110 61 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=866540 CPUtime=1201.56 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 220842 0 0 0 120076 80 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=866540 CPUtime=1195.88 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 191216 0 0 0 119528 60 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 866540

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.17 8.10 7.77 9/184 25736
/proc/meminfo: memFree=24264720/32951124 swapFree=67051468/67111528
[pid=25652] ppid=25649 vsize=866540 CPUtime=4800.09 cores=0,2,4,6
/proc/25652/stat : 25652 (strangenight2-m) R 25649 25652 25096 0 -1 4202496 783153 0 0 0 479739 270 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25652/statm: 216635 152891 388 106 0 211606 0
[pid=25652/tid=25656] ppid=25649 vsize=866540 CPUtime=1201.71 cores=0,2,4,6
/proc/25652/task/25656/stat : 25656 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 171287 0 0 0 120110 61 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25652/tid=25658] ppid=25649 vsize=866540 CPUtime=1201.56 cores=0,2,4,6
/proc/25652/task/25658/stat : 25658 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 220842 0 0 0 120076 80 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25652/tid=25660] ppid=25649 vsize=866540 CPUtime=1195.88 cores=0,2,4,6
/proc/25652/task/25660/stat : 25660 (strangenight2-m) R 25649 25652 25096 0 -1 4202560 191216 0 0 0 119528 60 0 0 25 0 4 0 521596420 887336960 152891 33554432000 4194304 4627427 140736690078496 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 866540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.15
CPU user time (s): 4797.42
CPU system time (s): 2.72958
CPU usage (%): 399.433
Max. virtual memory (cumulated for all children) (KiB): 987244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.42
system time used= 2.72959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783153
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= 404
involuntary context switches= 38788

runsolver used 1.74573 second user time and 4.11137 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 19:58:56
IDJOB=3174128
IDBENCH=82946
IDSOLVER=1586
FILE ID=node101/3174128-1304099936
RUNJOBID= node101-1304099936-25635
PBS_JOBID= 13170603
Free space on /tmp= 72024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174128-1304099936/watcher-3174128-1304099936 -o /tmp/evaluation-result-3174128-1304099936/solver-3174128-1304099936 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174128-1304099936.cnf

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

MD5SUM BENCH= 02e5b9be63a0b18588da13d9c988e25c
RANDOM SEED=1911736714

node101.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.841
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.68
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.841
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.77
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.74
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.841
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.841
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.841
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:      25298004 kB
Buffers:       2028064 kB
Cached:        5145928 kB
SwapCached:      30452 kB
Active:        3093400 kB
Inactive:      4114308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25298004 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           11324 kB
Writeback:           0 kB
AnonPages:       25240 kB
Mapped:           8824 kB
Slab:           381300 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185096 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= 72012 MiB
End job on node101 at 2011-04-29 20:19:00