Trace number 3174032

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.31 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
MD5SUMeb55252a6fac55d328f4d31fcc6e53bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark332.178
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3174032-1304077809.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.53	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.53	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.53	c calculated reachability. Time: 0.00
0.00/0.53	c Calc default polars -  time:   0.00 s pos:      39 undec:       3 neg:      58
0.00/0.53	c =========================================================================================
0.00/0.53	c types(t): F = full restart, N = normal restart
0.00/0.53	c types(t): S = simplification begin/end, E = solution found
0.00/0.53	c restart types(rt): st = static, dy = dynamic
0.00/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.75	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.75	c Decided on static restart strategy
0.00/0.75	c  N st     8      4917       100      2130         0      4611     10650    102865   no data   no data
0.00/0.75	c  N st    10     11301       100      2130         0      4223     10650     73804   no data   no data
0.00/0.75	c  N st    11     17045       100      2130         0      9567     10650    188829   no data   no data
3.20/0.85	c  F st    12     25000       100      2130         0     11730     10650    234778   no data   no data
3.20/0.85	c  N st    12     25000       100      2130         0     11730     10650    234778   no data   no data
3.97/1.05	c Decided on static restart strategy
3.97/1.05	c  N st    18     30000       100      2130         0     10073     10650    186409   no data   no data
3.97/1.05	c  S st    18     30000       100      2130         0     10073     10650    186409   no data   no data
3.97/1.05	c  S st    18     30501       100      2130         0     10553     10650    196987   no data   no data
3.97/1.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.05	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.25	c lits-rem:       221  cl-subs:     1821  v-elim:      0  v-fix:    0  time:  0.16 s
4.77/1.25	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.77/1.25	c calculated reachability. Time: 0.00
4.77/1.25	c  N st    18     30501       100      2130         0      8732     10650    158099   no data   no data
5.97/1.54	c  N st    20     37611       100      2130         0      8052     10650    132199   no data   no data
7.18/1.81	c  N st    21     44010       100      2130         0     14017     10650    259720   no data   no data
7.18/1.90	c  S st    22     45751       100      2130         0     15648     10650    295523   no data   no data
7.58/1.94	c  S st    22     46256       100      2130         0     16130     10650    306591   no data   no data
7.58/1.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.58/1.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.58/1.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.58/1.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.58/1.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.58/1.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.58/1.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.58/1.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.58/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.30	c lits-rem:       425  cl-subs:     2053  v-elim:      0  v-fix:    0  time:  0.34 s
9.16/2.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.16/2.31	c vivif2 --  cl tried    14077 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.16/2.36	c calculated reachability. Time: 0.00
9.16/2.36	c  N st    22     46256       100      2130         0     14077     10650    262560   no data   no data
11.98/3.08	c  N st    23     60654       100      2130         0      9933     10650    148979   no data   no data
13.55/3.49	c  N st    24     69384       100      2130         0     17986     10650    328480   no data   no data
13.55/3.49	c  S st    24     69384       100      2130         0     17986     10650    328480   no data   no data
13.95/3.54	c  S st    24     69890       100      2130         0     18475     10650    339567   no data   no data
13.95/3.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.95/3.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
13.95/3.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.95/3.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.95/3.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.95/3.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
13.95/3.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.95/3.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.95/3.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.05	c lits-rem:       606  cl-subs:     2252  v-elim:      0  v-fix:    0  time:  0.49 s
15.96/4.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
15.96/4.06	c vivif2 --  cl tried    16223 cl shrink        0 lits rem          0 time: 0.00
16.37/4.11	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.37/4.11	c calculated reachability. Time: 0.00
16.37/4.11	c  N st    24     69890       100      2130         0     16223     10650    290664   no data   no data
19.94/5.08	c  F st    25     87500       100      2130         0     11397     10650    163660   no data   no data
19.94/5.08	c  N st    25     87500       100      2130         0     11397     10650    163660   no data   no data
21.14/5.34	c Decided on static restart strategy
21.94/5.53	c  N st    32     95537       100      2130         0     18851     10650    323498   no data   no data
23.94/6.09	c  N st    34    104837       100      2130         0     15455     10650    248549   no data   no data
23.94/6.09	c  S st    34    104837       100      2130         0     15455     10650    248549   no data   no data
24.34/6.13	c  S st    34    105339       100      2130         0     15933     10650    259231   no data   no data
24.34/6.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.34/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.34/6.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.34/6.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.34/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.34/6.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.34/6.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.34/6.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.34/6.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.16/6.31	c lits-rem:       308  cl-subs:     1197  v-elim:      0  v-fix:    0  time:  0.16 s
25.16/6.31	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.16/6.31	c vivif2 --  cl tried    14736 cl shrink        0 lits rem          0 time: 0.00
25.16/6.37	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.16/6.37	c calculated reachability. Time: 0.00
25.16/6.37	c  N st    34    105339       100      2130         0     14736     10650    233807   no data   no data
27.53/6.95	c  N st    35    114937       100      2130         0     23652     10650    429075   no data   no data
31.13/7.82	c  N st    36    129334       100      2130         0     24087     10650    422935   no data   no data
37.13/9.33	c  N st    37    150929       100      2130         0     15344     10650    205712   no data   no data
38.72/9.75	c  S st    38    158009       100      2130         0     21928     10650    349244   no data   no data
39.12/9.80	c  S st    38    158515       100      2130         0     22409     10650    359758   no data   no data
39.12/9.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.12/9.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
39.12/9.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.12/9.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.12/9.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.12/9.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.12/9.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.12/9.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.12/9.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.24	c lits-rem:       253  cl-subs:     2176  v-elim:      0  v-fix:    0  time:  0.42 s
40.72/10.24	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
40.72/10.25	c vivif2 --  cl tried    20233 cl shrink        0 lits rem          0 time: 0.00
41.12/10.32	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.12/10.32	c calculated reachability. Time: 0.00
41.12/10.32	c  N st    38    158515       100      2130         0     20233     10650    314326   no data   no data
55.10/13.84	c  N st    39    207103       100      2130         0     32665     10650    542010   no data   no data
65.88/16.51	c  N st    40    237772       100      2130         0     25087     10650    376814   no data   no data
65.88/16.51	c  S st    40    237772       100      2130         0     25087     10650    376814   no data   no data
65.88/16.57	c  S st    40    238279       100      2130         0     25568     10650    387630   no data   no data
65.88/16.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.88/16.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
65.88/16.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.88/16.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.88/16.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.88/16.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
65.88/16.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.88/16.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
65.88/16.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.89/17.03	c lits-rem:       473  cl-subs:     2143  v-elim:      0  v-fix:    0  time:  0.44 s
67.89/17.03	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
67.89/17.04	c vivif2 --  cl tried    23425 cl shrink        0 lits rem          0 time: 0.00
68.29/17.12	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
68.29/17.12	c calculated reachability. Time: 0.00
68.29/17.12	c  N st    40    238279       100      2130         0     23425     10650    346334   no data   no data
91.84/23.08	c  F st    41    306251       100      2130         0     25452     10650    354325   no data   no data
91.84/23.08	c  N st    41    306251       100      2130         0     25452     10650    354325   no data   no data
93.85/23.54	c Decided on static restart strategy
103.43/25.97	c  N st    51    334554       100      2130         0     29519     10650    429036   no data   no data
112.63/28.24	c  N st    53    357420       100      2130         0     27594     10650    379699   no data   no data
112.63/28.24	c  S st    53    357420       100      2130         0     27594     10650    379699   no data   no data
113.04/28.31	c  S st    53    357924       100      2130         0     28075     10650    390263   no data   no data
113.04/28.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.04/28.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
113.04/28.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.04/28.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.04/28.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.04/28.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
113.04/28.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.04/28.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
113.04/28.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.22/28.62	c lits-rem:       260  cl-subs:     1268  v-elim:      0  v-fix:    0  time:  0.29 s
114.22/28.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
114.22/28.63	c vivif2 --  cl tried    26807 cl shrink        0 lits rem          0 time: 0.00
114.62/28.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
114.62/28.73	c calculated reachability. Time: 0.00
114.62/28.73	c  N st    53    357924       100      2130         0     26807     10650    362792   no data   no data
128.21/32.13	c  N st    54    390317       100      2130         0     32680     10650    470436   no data   no data
150.57/37.72	c  N st    55    438906       100      2130         0     26649     10650    323078   no data   no data
183.34/45.91	c  N st    56    511788       100      2130         0     39377     10650    572209   no data   no data
195.71/49.04	c  N st    57    536886       100      2130         0     34017     10650    449420   no data   no data
195.71/49.04	c  S st    57    536886       100      2130         0     34017     10650    449420   no data   no data
196.12/49.13	c  S st    57    537387       100      2130         0     34489     10650    460352   no data   no data
196.12/49.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
196.12/49.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
196.12/49.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
196.12/49.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
196.12/49.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.12/49.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
196.12/49.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
196.12/49.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
196.12/49.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.11/49.62	c lits-rem:       319  cl-subs:     1853  v-elim:      0  v-fix:    0  time:  0.46 s
198.11/49.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
198.11/49.63	c vivif2 --  cl tried    32636 cl shrink        0 lits rem          0 time: 0.01
198.51/49.75	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
198.51/49.75	c calculated reachability. Time: 0.00
198.51/49.75	c  N st    57    537387       100      2130         0     32636     10650    424091   no data   no data
281.60/70.54	c  N st    58    701372       100      2130         0     60112     10650    971626   no data   no data
340.32/85.29	c  N st    59    806081       100      2130         0     54002     10650    780843   no data   no data
340.32/85.29	c  S st    59    806081       100      2130         0     54002     10650    780843   no data   no data
341.13/85.43	c  S st    59    806583       100      2130         0     54475     10650    792103   no data   no data
341.13/85.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
341.13/85.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
341.13/85.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
341.13/85.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
341.13/85.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
341.13/85.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
341.13/85.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
341.13/85.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
341.13/85.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
353.90/88.67	c lits-rem:      1105  cl-subs:     7563  v-elim:      0  v-fix:    0  time:  3.18 s
353.90/88.67	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
353.90/88.68	c vivif2 --  cl tried    46912 cl shrink        0 lits rem          0 time: 0.01
354.72/88.88	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.21
354.72/88.88	c calculated reachability. Time: 0.00
354.72/88.88	c  N st    59    806583       100      2130         0     46912     10650    657253   no data   no data
508.51/127.36	c  F st    60   1071875       100      2130         0     62679     10650    937828   no data   no data
508.51/127.36	c  N st    60   1071875       100      2130         0     62679     10650    937828   no data   no data
512.90/128.43	c Decided on static restart strategy
530.86/132.98	c  N st    70   1100180       100      2130         0     47501     10650    590340   no data   no data
554.43/138.84	c  N st    72   1136175       100      2130         0     80742     10650   1329716   no data   no data
573.21/143.50	c  N st    73   1168567       100      2130         0     68396     10650   1069324   no data   no data
603.17/151.00	c  N st    74   1209875       100      2130         0     62985     10650    904198   no data   no data
603.17/151.00	c  S st    74   1209875       100      2130         0     62985     10650    904198   no data   no data
603.57/151.17	c  S st    74   1210375       100      2130         0     63468     10650    914959   no data   no data
603.57/151.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
603.57/151.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
603.57/151.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
603.57/151.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
603.57/151.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
603.57/151.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
603.57/151.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
603.97/151.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
603.97/151.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
630.34/157.81	c lits-rem:       914  cl-subs:     6020  v-elim:      0  v-fix:    0  time:  6.57 s
630.34/157.81	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
630.34/157.82	c vivif2 --  cl tried    57448 cl shrink        0 lits rem          0 time: 0.01
632.33/158.34	c asymm  cl-useful: 0/1970/2130 lits-rem:0 time: 0.52
632.33/158.35	c calculated reachability. Time: 0.00
632.33/158.35	c  N st    74   1210375       100      2130         0     57448     10650    795715   no data   no data
702.23/175.88	c  N st    75   1283259       100      2130         0     80445     10650   1261106   no data   no data
796.10/199.33	c  N st    76   1392582       100      2130         0     89962     10650   1433416   no data   no data
921.15/230.63	c  N st    77   1556568       100      2130         0     97897     10650   1623914   no data   no data
1043.77/261.30	c  N st    78   1710376       100      2130         0     87195     10650   1339259   no data   no data
1043.77/261.30	c  S st    78   1710376       100      2130         0     87195     10650   1339259   no data   no data
1044.96/261.60	c  S st    78   1710879       100      2130         0     87670     10650   1349871   no data   no data
1044.96/261.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1044.96/261.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1044.96/261.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1044.96/261.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1044.96/261.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1044.96/261.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1044.96/261.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1044.96/261.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1045.36/261.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1115.67/279.31	c lits-rem:      1643  cl-subs:    10433  v-elim:      0  v-fix:    0  time: 17.61 s
1115.67/279.31	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1115.67/279.33	c vivif2 --  cl tried    77237 cl shrink        0 lits rem          0 time: 0.02
1118.07/279.90	c asymm  cl-useful: 0/1550/2130 lits-rem:0 time: 0.57
1118.07/279.90	c calculated reachability. Time: 0.00
1118.07/279.90	c  N st    78   1710879       100      2130         0     77237     10650   1141961   no data   no data
1458.40/365.15	c  N st    79   2079843       100      2130         0     88612     10650   1301441   no data   no data
1580.66/395.73	c  N st    80   2210881       100      2130         0     92140     10650   1330970   no data   no data
1580.66/395.73	c  S st    80   2210881       100      2130         0     92140     10650   1330970   no data   no data
1581.84/396.01	c  S st    80   2211384       100      2130         0     92623     10650   1342094   no data   no data
1581.84/396.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1581.84/396.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1581.84/396.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1581.84/396.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1581.84/396.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1581.84/396.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1581.84/396.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1581.84/396.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1582.24/396.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1624.19/406.70	c lits-rem:      1422  cl-subs:    10821  v-elim:      0  v-fix:    0  time: 10.58 s
1624.60/406.70	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1624.60/406.72	c vivif2 --  cl tried    81802 cl shrink        0 lits rem          0 time: 0.02
1625.38/406.95	c asymm  cl-useful: 0/580/2130 lits-rem:0 time: 0.23
1625.38/406.96	c calculated reachability. Time: 0.00
1625.38/406.96	c  N st    80   2211384       100      2130         0     81802     10650   1136876   no data   no data
2121.50/531.17	c  N st    81   2711384       100      2130         0    104371     10650   1483086   no data   no data
2121.50/531.17	c  S st    81   2711384       100      2130         0    104371     10650   1483086   no data   no data
2123.10/531.52	c  S st    81   2711887       100      2130         0    104847     10650   1494125   no data   no data
2123.10/531.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2123.10/531.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2123.10/531.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2123.10/531.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2123.10/531.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2123.10/531.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2123.10/531.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2123.50/531.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2123.50/531.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2189.02/548.09	c lits-rem:       997  cl-subs:    15117  v-elim:      0  v-fix:    0  time: 16.45 s
2189.02/548.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2189.42/548.11	c vivif2 --  cl tried    89730 cl shrink        0 lits rem          0 time: 0.02
2191.02/548.58	c asymm  cl-useful: 0/1344/2130 lits-rem:0 time: 0.46
2191.02/548.58	c calculated reachability. Time: 0.00
2191.02/548.58	c  N st    81   2711887       100      2130         0     89730     10650   1235428   no data   no data
2732.25/684.09	c  N st    82   3211887       100      2130         0    139776     10650   2226506   no data   no data
2732.25/684.09	c  S st    82   3211887       100      2130         0    139776     10650   2226506   no data   no data
2734.25/684.58	c  S st    82   3212389       100      2130         0    140263     10650   2237723   no data   no data
2734.25/684.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2734.65/684.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2734.65/684.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2734.65/684.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2734.65/684.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2734.65/684.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2734.65/684.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2735.05/684.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2735.05/684.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2910.01/728.59	c lits-rem:      2096  cl-subs:    22990  v-elim:      0  v-fix:    0  time: 43.83 s
2910.01/728.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2910.42/728.62	c vivif2 --  cl tried   117273 cl shrink        0 lits rem          0 time: 0.03
2911.62/728.99	c asymm  cl-useful: 0/786/2130 lits-rem:0 time: 0.37
2911.62/729.00	c calculated reachability. Time: 0.00
2911.62/729.00	c  N st    82   3212389       100      2130         0    117273     10650   1805176   no data   no data
3478.86/870.96	c  N st    83   3712389       100      2130         0    134807     10650   2050695   no data   no data
3478.86/870.96	c  S st    83   3712389       100      2130         0    134807     10650   2050695   no data   no data
3480.84/871.42	c  S st    83   3712892       100      2130         0    135287     10650   2061999   no data   no data
3480.84/871.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3481.24/871.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3481.24/871.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3481.24/871.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3481.24/871.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3481.24/871.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3481.24/871.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3481.24/871.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3481.24/871.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3621.04/906.54	c lits-rem:      2555  cl-subs:    19299  v-elim:      0  v-fix:    0  time: 34.95 s
3621.04/906.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3621.04/906.56	c vivif2 --  cl tried   115988 cl shrink        0 lits rem          0 time: 0.03
3622.65/906.93	c asymm  cl-useful: 0/1045/2130 lits-rem:0 time: 0.37
3622.65/906.93	c calculated reachability. Time: 0.00
3622.65/906.93	c  N st    83   3712892       100      2130         0    115988     10650   1698608   no data   no data
3674.57/919.98	c  F st    84   3751566       100      2130         0    151402     10650   2491595   no data   no data
3674.57/919.98	c  N st    84   3751566       100      2130         0    151402     10650   2491595   no data   no data
3682.96/922.04	c Decided on static restart strategy
3705.73/927.75	c  N st    94   3779870       100      2130         0    101547     10650   1369487   no data   no data
3753.66/939.75	c  N st    96   3815863       100      2130         0    134581     10650   2108516   no data   no data
3802.00/951.86	c  N st    97   3848255       100      2130         0     86663     10650   1001760   no data   no data
3863.91/967.30	c  N st    98   3896843       100      2130         0    131060     10650   1956578   no data   no data
3972.96/994.66	c  N st    99   3969726       100      2130         0    119230     10650   1689898   no data   no data
4118.36/1031.09	c  N st   100   4079049       100      2130         0    139409     10650   2063508   no data   no data
4353.27/1089.86	c  N st   101   4212893       100      2130         0    100222     10650   1252888   no data   no data
4353.27/1089.86	c  S st   101   4212893       100      2130         0    100222     10650   1252888   no data   no data
4355.64/1090.41	c  S st   101   4213400       100      2130         0    100706     10650   1264279   no data   no data
4355.64/1090.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4356.04/1090.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4356.04/1090.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4356.04/1090.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4356.04/1090.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4356.04/1090.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4356.04/1090.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4356.04/1090.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4356.04/1090.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4403.17/1102.35	c lits-rem:       744  cl-subs:     6228  v-elim:      0  v-fix:    0  time: 11.76 s
4403.17/1102.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4403.17/1102.37	c vivif2 --  cl tried    94478 cl shrink        0 lits rem          0 time: 0.02
4405.58/1102.93	c asymm  cl-useful: 0/1066/2130 lits-rem:0 time: 0.56
4405.58/1102.94	c calculated reachability. Time: 0.00
4405.58/1102.94	c  N st   101   4213400       100      2130         0     94478     10650   1147945   no data   no data
4735.55/1185.53	c  N st   102   4459377       100      2130         0    154113     10650   2367239   no data   no data

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-3174032-1304077809/watcher-3174032-1304077809 -o /tmp/evaluation-result-3174032-1304077809/solver-3174032-1304077809 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174032-1304077809.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: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=20344 CPUtime=0 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4194304 343 0 0 0 0 0 0 0 25 0 1 0 519378624 20832256 282 33554432000 4194304 4627427 140733921658864 18446744073709551615 4518928 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1063/statm: 5086 303 261 106 0 57 0
[pid=1063/tid=1064] ppid=1061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519378625 52441088 352 33554432000 4194304 4627427 140733921658864 18446744073709551615 46929766401970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519378625 52441088 352 33554432000 4194304 4627427 140733921658864 18446744073709551615 46929766401970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519378625 52441088 352 33554432000 4194304 4627427 140733921658864 18446744073709551615 218900778070 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.808289 s]
/proc/loadavg: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=285324 CPUtime=3.2 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 5409 0 0 0 319 1 0 0 18 0 4 0 519378624 292171776 2961 33554432000 4194304 4627427 140733921658864 18446744073709551615 4305869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 71331 2961 385 106 0 66302 0
[pid=1063/tid=1064] ppid=1061 vsize=285324 CPUtime=0.79 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1320 0 0 0 79 0 0 0 19 0 4 0 519378625 292171776 2961 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=285324 CPUtime=0.8 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1276 0 0 0 80 0 0 0 19 0 4 0 519378625 292171776 2961 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=285324 CPUtime=0.79 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1136 0 0 0 79 0 0 0 19 0 4 0 519378625 292171776 2961 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285324

[startup+0.900272 s]
/proc/loadavg: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=285788 CPUtime=3.57 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 6250 0 0 0 356 1 0 0 19 0 4 0 519378624 292646912 2593 33554432000 4194304 4627427 140733921658864 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 71447 2593 385 106 0 66418 0
[pid=1063/tid=1064] ppid=1061 vsize=285788 CPUtime=0.89 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1552 0 0 0 89 0 0 0 19 0 4 0 519378625 292646912 2593 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=285788 CPUtime=0.89 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1472 0 0 0 89 0 0 0 19 0 4 0 519378625 292646912 2593 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=285788 CPUtime=0.88 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1331 0 0 0 88 0 0 0 19 0 4 0 519378625 292646912 2594 33554432000 4194304 4627427 140733921658864 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 285788

[startup+1.00025 s]
/proc/loadavg: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=285928 CPUtime=3.97 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 6501 0 0 0 396 1 0 0 19 0 4 0 519378624 292790272 2844 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 71482 2844 385 106 0 66453 0
[pid=1063/tid=1064] ppid=1061 vsize=285928 CPUtime=0.99 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1616 0 0 0 99 0 0 0 19 0 4 0 519378625 292790272 2844 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=285928 CPUtime=0.99 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1531 0 0 0 99 0 0 0 19 0 4 0 519378625 292790272 2844 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=285928 CPUtime=0.98 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1389 0 0 0 98 0 0 0 19 0 4 0 519378625 292790272 2844 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285928

[startup+1.10024 s]
/proc/loadavg: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=285928 CPUtime=4.36 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 7959 0 0 0 435 1 0 0 19 0 4 0 519378624 292790272 4302 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420194 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 71482 4302 388 106 0 66453 0
[pid=1063/tid=1064] ppid=1061 vsize=285928 CPUtime=1.09 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1671 0 0 0 109 0 0 0 19 0 4 0 519378625 292790272 4302 33554432000 4194304 4627427 140733921658864 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=285928 CPUtime=1.09 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1578 0 0 0 109 0 0 0 19 0 4 0 519378625 292790272 4302 33554432000 4194304 4627427 140733921658864 18446744073709551615 4332210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=285928 CPUtime=1.08 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1442 0 0 0 108 0 0 0 19 0 4 0 519378625 292790272 4302 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 285928

[startup+1.50116 s]
/proc/loadavg: 5.14 7.25 6.84 3/173 1063
/proc/meminfo: memFree=27702992/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=290680 CPUtime=5.97 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 10193 0 0 0 596 1 0 0 20 0 4 0 519378624 297656320 5328 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 72670 5328 388 106 0 67641 0
[pid=1063/tid=1064] ppid=1061 vsize=290680 CPUtime=1.49 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 3032 0 0 0 149 0 0 0 20 0 4 0 519378625 297656320 5328 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=290680 CPUtime=1.49 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1927 0 0 0 149 0 0 0 20 0 4 0 519378625 297656320 5328 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=290680 CPUtime=1.48 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 1814 0 0 0 148 0 0 0 20 0 4 0 519378625 297656320 5328 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290680

[startup+3.10087 s]
/proc/loadavg: 5.37 7.26 6.85 9/184 1075
/proc/meminfo: memFree=27627644/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=305388 CPUtime=12.36 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 19822 0 0 0 1233 3 0 0 25 0 4 0 519378624 312717312 11242 33554432000 4194304 4627427 140733921658864 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 76347 11242 388 106 0 71318 0
[pid=1063/tid=1064] ppid=1061 vsize=305388 CPUtime=3.08 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 5489 0 0 0 308 0 0 0 25 0 4 0 519378625 312717312 11242 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420208 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=305388 CPUtime=3.07 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 4667 0 0 0 307 0 0 0 25 0 4 0 519378625 312717312 11242 33554432000 4194304 4627427 140733921658864 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=305388 CPUtime=3.09 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 4292 0 0 0 308 1 0 0 25 0 4 0 519378625 312717312 11242 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 305388

[startup+6.3063 s]
/proc/loadavg: 5.37 7.26 6.85 9/184 1075
/proc/meminfo: memFree=27600860/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=306316 CPUtime=25.16 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 28470 0 0 0 2511 5 0 0 25 0 4 0 519378624 313667584 13862 33554432000 4194304 4627427 140733921658864 18446744073709551615 4427870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 76579 13862 388 106 0 71550 0
[pid=1063/tid=1064] ppid=1061 vsize=306316 CPUtime=6.29 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 7103 0 0 0 629 0 0 0 25 0 4 0 519378625 313667584 13862 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=306316 CPUtime=6.26 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 7375 0 0 0 625 1 0 0 25 0 4 0 519378625 313667584 13862 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=306316 CPUtime=6.29 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 6310 0 0 0 628 1 0 0 25 0 4 0 519378625 313667584 13862 33554432000 4194304 4627427 140733921658864 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 306316

[startup+12.7011 s]
/proc/loadavg: 5.58 7.27 6.85 9/184 1076
/proc/meminfo: memFree=27567296/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=307296 CPUtime=50.71 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 43321 0 0 0 5063 8 0 0 25 0 4 0 519378624 314671104 16630 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 76824 16630 388 106 0 71795 0
[pid=1063/tid=1064] ppid=1061 vsize=307296 CPUtime=12.68 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 11003 0 0 0 1267 1 0 0 25 0 4 0 519378625 314671104 16630 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=307296 CPUtime=12.63 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 10628 0 0 0 1261 2 0 0 25 0 4 0 519378625 314671104 16630 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=307296 CPUtime=12.69 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 10081 0 0 0 1267 2 0 0 25 0 4 0 519378625 314671104 16630 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 307296

[startup+25.5008 s]
/proc/loadavg: 6.12 7.31 6.87 9/184 1076
/proc/meminfo: memFree=27530864/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=327140 CPUtime=101.83 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 66046 0 0 0 10171 12 0 0 25 0 4 0 519378624 334991360 21554 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 81785 21554 388 106 0 76756 0
[pid=1063/tid=1064] ppid=1061 vsize=327140 CPUtime=25.49 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 16379 0 0 0 2547 2 0 0 25 0 4 0 519378625 334991360 21554 33554432000 4194304 4627427 140733921658864 18446744073709551615 4503279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=327140 CPUtime=25.36 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 16630 0 0 0 2533 3 0 0 25 0 4 0 519378625 334991360 21554 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=327140 CPUtime=25.48 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 15665 0 0 0 2545 3 0 0 25 0 4 0 519378625 334991360 21554 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 327140

[startup+51.1002 s]
/proc/loadavg: 6.83 7.38 6.90 9/184 1077
/proc/meminfo: memFree=27495424/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=338508 CPUtime=204.1 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 98863 0 0 0 20390 20 0 0 25 0 4 0 519378624 346632192 27377 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 84627 27377 388 106 0 79598 0
[pid=1063/tid=1064] ppid=1061 vsize=338508 CPUtime=51.08 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 23070 0 0 0 5105 3 0 0 25 0 4 0 519378625 346632192 27377 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=338508 CPUtime=50.82 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 25692 0 0 0 5077 5 0 0 25 0 4 0 519378625 346632192 27377 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=338508 CPUtime=51.07 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 23347 0 0 0 5103 4 0 0 25 0 4 0 519378625 346632192 27377 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 338508

[startup+102.301 s]
/proc/loadavg: 7.61 7.50 6.97 9/184 1078
/proc/meminfo: memFree=27414184/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=330324 CPUtime=408.62 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 158257 0 0 0 40828 34 0 0 25 0 4 0 519378624 338251776 34810 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 82581 34810 388 106 0 77552 0
[pid=1063/tid=1064] ppid=1061 vsize=330324 CPUtime=102.29 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 37668 0 0 0 10221 8 0 0 25 0 4 0 519378625 338251776 34811 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=330324 CPUtime=101.75 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 41101 0 0 0 10166 9 0 0 25 0 4 0 519378625 338251776 34811 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=330324 CPUtime=102.28 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 37812 0 0 0 10220 8 0 0 25 0 4 0 519378625 338251776 34811 33554432000 4194304 4627427 140733921658864 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 330324

[startup+162.301 s]

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

[pid=1063] ppid=1061 vsize=585592 CPUtime=2805.36 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 475122 0 0 0 280392 144 0 0 25 0 4 0 519378624 599646208 89072 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 146398 89072 388 106 0 141369 0
[pid=1063/tid=1064] ppid=1061 vsize=585592 CPUtime=702.29 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 103369 0 0 0 70195 34 0 0 25 0 4 0 519378625 599646208 89072 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=585592 CPUtime=698.5 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 116096 0 0 0 69815 35 0 0 25 0 4 0 519378625 599646208 89072 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=585592 CPUtime=702.22 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 128318 0 0 0 70185 37 0 0 25 0 4 0 519378625 599646208 89072 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 585592

[startup+762.3 s]
/proc/loadavg: 8.16 8.03 7.52 9/184 1135
/proc/meminfo: memFree=27131156/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=598708 CPUtime=3045.03 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 491997 0 0 0 304351 152 0 0 25 0 4 0 519378624 613076992 93120 33554432000 4194304 4627427 140733921658864 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 149677 93120 388 106 0 144648 0
[pid=1063/tid=1064] ppid=1061 vsize=598708 CPUtime=762.29 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 106493 0 0 0 76193 36 0 0 25 0 4 0 519378625 613076992 93120 33554432000 4194304 4627427 140733921658864 18446744073709551615 4324344 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=598708 CPUtime=758.18 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 123032 0 0 0 75780 38 0 0 25 0 4 0 519378625 613076992 93120 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=598708 CPUtime=762.22 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 134549 0 0 0 76182 40 0 0 25 0 4 0 519378625 613076992 93120 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 598708

[startup+822.301 s]
/proc/loadavg: 8.16 8.05 7.56 9/184 1136
/proc/meminfo: memFree=27108780/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=508116 CPUtime=3284.71 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 513989 0 0 0 328309 162 0 0 25 0 4 0 519378624 520310784 86610 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 127029 86610 388 106 0 122000 0
[pid=1063/tid=1064] ppid=1061 vsize=508116 CPUtime=822.29 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 111462 0 0 0 82190 39 0 0 25 0 4 0 519378625 520310784 86610 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=508116 CPUtime=817.85 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 129989 0 0 0 81745 40 0 0 25 0 4 0 519378625 520310784 86610 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=508116 CPUtime=822.21 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 139487 0 0 0 82179 42 0 0 25 0 4 0 519378625 520310784 86610 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 508116

[startup+882.301 s]
/proc/loadavg: 8.48 8.16 7.63 9/184 1141
/proc/meminfo: memFree=27123696/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=524712 CPUtime=3524.37 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 542889 0 0 0 352264 173 0 0 25 0 4 0 519378624 537305088 89079 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 131178 89079 388 106 0 126149 0
[pid=1063/tid=1064] ppid=1061 vsize=524712 CPUtime=882.3 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 118057 0 0 0 88188 42 0 0 25 0 4 0 519378625 537305088 89079 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=524712 CPUtime=877.52 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 137170 0 0 0 87709 43 0 0 25 0 4 0 519378625 537305088 89079 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=524712 CPUtime=882.22 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 146272 0 0 0 88176 46 0 0 25 0 4 0 519378625 537305088 89079 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 524712

[startup+942.301 s]
/proc/loadavg: 8.25 8.16 7.66 9/184 1142
/proc/meminfo: memFree=27058148/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=590408 CPUtime=3764.06 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 561726 0 0 0 376224 182 0 0 25 0 4 0 519378624 604577792 94590 33554432000 4194304 4627427 140733921658864 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 147602 94590 388 106 0 142573 0
[pid=1063/tid=1064] ppid=1061 vsize=590408 CPUtime=942.3 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 121993 0 0 0 94187 43 0 0 25 0 4 0 519378625 604577792 94591 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=590408 CPUtime=937.21 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 142431 0 0 0 93676 45 0 0 25 0 4 0 519378625 604577792 94591 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=590408 CPUtime=942.22 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 152163 0 0 0 94173 49 0 0 25 0 4 0 519378625 604577792 94591 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 590408

[startup+1002.3 s]
/proc/loadavg: 8.16 8.16 7.69 9/184 1144
/proc/meminfo: memFree=27015588/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=588924 CPUtime=4003.73 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 580471 0 0 0 400183 190 0 0 25 0 4 0 519378624 603058176 101095 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 147231 101095 388 106 0 142202 0
[pid=1063/tid=1064] ppid=1061 vsize=588924 CPUtime=1002.3 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 126373 0 0 0 100185 45 0 0 25 0 4 0 519378625 603058176 101095 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=588924 CPUtime=996.87 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 146088 0 0 0 99641 46 0 0 25 0 4 0 519378625 603058176 101095 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=588924 CPUtime=1002.2 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 157027 0 0 0 100169 51 0 0 25 0 4 0 519378625 603058176 101095 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 588924

[startup+1062.31 s]
/proc/loadavg: 8.09 8.14 7.71 9/184 1146
/proc/meminfo: memFree=27000808/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=594484 CPUtime=4243.42 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 595454 0 0 0 424146 196 0 0 25 0 4 0 519378624 608751616 101165 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 148621 101165 388 106 0 143592 0
[pid=1063/tid=1064] ppid=1061 vsize=594484 CPUtime=1062.3 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 131378 0 0 0 106183 47 0 0 25 0 4 0 519378625 608751616 101165 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=594484 CPUtime=1056.55 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 150975 0 0 0 105606 49 0 0 25 0 4 0 519378625 608751616 101165 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=594484 CPUtime=1062.21 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 161686 0 0 0 106169 52 0 0 25 0 4 0 519378625 608751616 101165 33554432000 4194304 4627427 140733921658864 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 594484

[startup+1122.3 s]
/proc/loadavg: 8.08 8.13 7.73 9/184 1147
/proc/meminfo: memFree=26938888/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=663956 CPUtime=4483.07 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 608919 0 0 0 448104 203 0 0 25 0 4 0 519378624 679890944 113093 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 165989 113093 388 106 0 160960 0
[pid=1063/tid=1064] ppid=1061 vsize=663956 CPUtime=1122.31 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 132202 0 0 0 112183 48 0 0 25 0 4 0 519378625 679890944 113093 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=663956 CPUtime=1116.23 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 156736 0 0 0 111572 51 0 0 25 0 4 0 519378625 679890944 113093 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=663956 CPUtime=1122.19 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 164959 0 0 0 112165 54 0 0 25 0 4 0 519378625 679890944 113093 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 663956

[startup+1182.3 s]
/proc/loadavg: 8.20 8.15 7.76 9/184 1149
/proc/meminfo: memFree=26900176/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=610272 CPUtime=4722.73 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 631886 0 0 0 472063 210 0 0 25 0 4 0 519378624 624918528 118457 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 152568 118457 388 106 0 147539 0
[pid=1063/tid=1064] ppid=1061 vsize=610272 CPUtime=1182.3 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 138524 0 0 0 118180 50 0 0 25 0 4 0 519378625 624918528 118457 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=610272 CPUtime=1175.9 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 163249 0 0 0 117537 53 0 0 25 0 4 0 519378625 624918528 118457 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=610272 CPUtime=1182.19 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 171617 0 0 0 118163 56 0 0 25 0 4 0 519378625 624918528 118457 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 610272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.14 7.76 9/184 1149
/proc/meminfo: memFree=26934880/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=623956 CPUtime=4800.25 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 640347 0 0 0 479812 213 0 0 25 0 4 0 519378624 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 155989 113975 388 106 0 150960 0
[pid=1063/tid=1064] ppid=1061 vsize=623956 CPUtime=1201.71 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 140933 0 0 0 120120 51 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=623956 CPUtime=1195.19 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 164429 0 0 0 119466 53 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=623956 CPUtime=1201.6 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 174148 0 0 0 120103 57 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 623956

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.14 8.14 7.76 9/184 1149
/proc/meminfo: memFree=26934880/32951124 swapFree=67111356/67111528
[pid=1063] ppid=1061 vsize=623956 CPUtime=4800.25 cores=0,2,4,6
/proc/1063/stat : 1063 (strangenight2-m) R 1061 1063 1030 0 -1 4202496 640347 0 0 0 479812 213 0 0 25 0 4 0 519378624 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1063/statm: 155989 113975 388 106 0 150960 0
[pid=1063/tid=1064] ppid=1061 vsize=623956 CPUtime=1201.71 cores=0,2,4,6
/proc/1063/task/1064/stat : 1064 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 140933 0 0 0 120120 51 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1063/tid=1065] ppid=1061 vsize=623956 CPUtime=1195.19 cores=0,2,4,6
/proc/1063/task/1065/stat : 1065 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 164429 0 0 0 119466 53 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1063/tid=1066] ppid=1061 vsize=623956 CPUtime=1201.6 cores=0,2,4,6
/proc/1063/task/1066/stat : 1066 (strangenight2-m) R 1061 1063 1030 0 -1 4202560 174148 0 0 0 120103 57 0 0 25 0 4 0 519378625 638930944 113975 33554432000 4194304 4627427 140733921658864 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 623956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.31
CPU user time (s): 4798.15
CPU system time (s): 2.15567
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 664432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.15
system time used= 2.15567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640349
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= 416
involuntary context switches= 20354

runsolver used 1.92371 second user time and 4.6193 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 13:50:09
IDJOB=3174032
IDBENCH=82850
IDSOLVER=1586
FILE ID=node137/3174032-1304077809
RUNJOBID= node137-1304077809-1048
PBS_JOBID= 13170515
Free space on /tmp= 71620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174032-1304077809/watcher-3174032-1304077809 -o /tmp/evaluation-result-3174032-1304077809/solver-3174032-1304077809 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174032-1304077809.cnf

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

MD5SUM BENCH= eb55252a6fac55d328f4d31fcc6e53bd
RANDOM SEED=1123115130

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27703652 kB
Buffers:        908852 kB
Cached:        3808692 kB
SwapCached:         56 kB
Active:         318968 kB
Inactive:      4461184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27703652 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6064 kB
Writeback:           0 kB
AnonPages:       62676 kB
Mapped:          13936 kB
Slab:           401468 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184304 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= 71608 MiB
End job on node137 at 2011-04-29 14:10:13