Trace number 3366314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.36 1202.83

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
MD5SUMbc5d8e174b258480cce7431b84990bdd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
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-3366314-1305401543.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     162 undec:      45 neg:     193
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       387      1689         0         0      5140         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.37/0.14	c  N st     8      4915       387      1689         0      4784      5140     95245   no data   no data
1.17/0.38	c  N st    10     11297       387      1689         0      4426      5140     65750   no data   no data
2.37/0.61	c  N st    11     17041       387      1689         0      9998      5140    178574   no data   no data
3.98/1.02	c  F st    12     25000       387      1689         0     12258      5140    218813   no data   no data
3.98/1.02	c  N st    12     25000       387      1689         0     12258      5140    218813   no data   no data
4.76/1.26	c Decided on static restart strategy
4.76/1.26	c  N st    18     30003       387      1689         0     10587      5140    167869   no data   no data
4.76/1.26	c  S st    18     30003       387      1689         0     10587      5140    167869   no data   no data
4.76/1.29	c  S st    18     30506       387      1689         0     11089      5140    177706   no data   no data
4.76/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.76/1.29	c blocked clauses removed:        4 vars:      1 tried:         387 T: 0.00 s
4.76/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4.76/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.36	c lits-rem:       191  cl-subs:      923  v-elim:      0  v-fix:    0  time:  0.05 s
5.16/1.36	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
5.16/1.36	c calculated reachability. Time: 0.00
5.16/1.36	c  N st    18     30506       386      1685         0     10166      5128    160009   no data   no data
6.75/1.76	c  N st    20     37618       386      1685         0      9445      5128    131725   no data   no data
8.37/2.13	c  N st    21     44017       386      1685         0     15644      5128    256611   no data   no data
8.79/2.23	c  S st    22     45761       386      1685         0     17359      5128    292706   no data   no data
8.79/2.27	c  S st    22     46265       386      1685         0      9180      5128    114293   no data   no data
8.79/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.28	c lits-rem:        22  cl-subs:       98  v-elim:      0  v-fix:    0  time:  0.01 s
8.79/2.28	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
8.79/2.29	c vivif2 --  cl tried     9082 cl shrink        0 lits rem          0 time: 0.00
8.79/2.29	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.00
8.79/2.29	c calculated reachability. Time: 0.00
8.79/2.29	c  N st    22     46265       386      1685         0      9082      5128    112412   no data   no data
12.34/3.13	c  N st    23     60663       386      1685         0     13431      5128    201950   no data   no data
14.74/3.74	c  N st    24     69397       386      1685         0     11210      5128    140315   no data   no data
14.74/3.74	c  S st    24     69397       386      1685         0     11210      5128    140315   no data   no data
14.74/3.78	c  S st    24     69900       386      1685         0     11712      5128    149383   no data   no data
14.74/3.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.74/3.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.74/3.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.74/3.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.74/3.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.74/3.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
14.74/3.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.74/3.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.74/3.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.80	c lits-rem:        66  cl-subs:      148  v-elim:      0  v-fix:    0  time:  0.01 s
15.14/3.80	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
15.14/3.80	c vivif2 --  cl tried    11564 cl shrink        0 lits rem          0 time: 0.00
15.14/3.81	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
15.14/3.81	c calculated reachability. Time: 0.00
15.14/3.81	c  N st    24     69900       386      1685         0     11564      5128    146659   no data   no data
19.92/5.04	c  F st    25     87503       386      1685         0     16888      5128    241686   no data   no data
19.92/5.04	c  N st    25     87503       386      1685         0     16888      5128    241686   no data   no data
21.53/5.45	c Decided on static restart strategy
22.72/5.71	c  N st    32     95543       386      1685         0     24703      5128    391085   no data   no data
25.11/6.33	c  N st    34    104850       386      1685         0     21140      5128    306608   no data   no data
25.11/6.33	c  S st    34    104850       386      1685         0     21140      5128    306608   no data   no data
25.11/6.38	c  S st    34    105357       386      1685         0     21647      5128    316498   no data   no data
25.11/6.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.11/6.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.11/6.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.11/6.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.11/6.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.11/6.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.11/6.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.11/6.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.51/6.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.93/6.55	c lits-rem:       110  cl-subs:     1399  v-elim:      0  v-fix:    0  time:  0.14 s
25.93/6.56	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
25.93/6.56	c vivif2 --  cl tried    20248 cl shrink        0 lits rem          0 time: 0.00
25.93/6.57	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
25.93/6.57	c calculated reachability. Time: 0.00
25.93/6.57	c  N st    34    105357       386      1685         0     20248      5128    291993   no data   no data
29.10/7.32	c  N st    35    114955       386      1685         0     16077      5128    201789   no data   no data
34.30/8.60	c  N st    36    129352       386      1685         0     15487      5128    175141   no data   no data
41.47/10.41	c  N st    37    150947       386      1685         0     20952      5128    269394   no data   no data
43.90/11.03	c  S st    38    158038       386      1685         0     27782      5128    395837   no data   no data
44.26/11.10	c  S st    38    158543       386      1685         0     28287      5128    406056   no data   no data
44.26/11.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.26/11.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.26/11.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.26/11.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.26/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.26/11.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
44.26/11.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.26/11.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
44.26/11.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.47/11.46	c lits-rem:       146  cl-subs:     1971  v-elim:      0  v-fix:    0  time:  0.33 s
45.47/11.46	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
45.47/11.47	c vivif2 --  cl tried    26316 cl shrink        0 lits rem          0 time: 0.00
45.47/11.48	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
45.47/11.48	c calculated reachability. Time: 0.00
45.47/11.48	c  N st    38    158543       386      1685         0     26316      5128    371015   no data   no data
63.43/15.92	c  N st    39    207132       386      1685         0     21143      5128    247278   no data   no data
75.00/18.87	c  N st    40    237815       386      1685         0     31478      5128    459351   no data   no data
75.00/18.87	c  S st    40    237815       386      1685         0     31478      5128    459351   no data   no data
75.40/18.95	c  S st    40    238318       386      1685         0     31979      5128    469459   no data   no data
75.40/18.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.40/18.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.40/18.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.40/18.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.40/18.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.40/18.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
75.40/18.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.40/18.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.40/18.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.00/19.39	c lits-rem:       273  cl-subs:     1899  v-elim:      0  v-fix:    0  time:  0.41 s
77.00/19.39	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
77.40/19.40	c vivif2 --  cl tried    30080 cl shrink        0 lits rem          0 time: 0.01
77.40/19.42	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.02
77.40/19.42	c calculated reachability. Time: 0.00
77.40/19.42	c  N st    40    238318       386      1685         0     30080      5128    430690   no data   no data
108.13/27.11	c  F st    41    306250       386      1685         0     31837      5128    407977   no data   no data
108.13/27.11	c  N st    41    306250       386      1685         0     31837      5128    407977   no data   no data
110.52/27.75	c Decided on static restart strategy
123.29/30.93	c  N st    51    334556       386      1685         0     36143      5128    484182   no data   no data
136.45/34.25	c  N st    53    357477       386      1685         0     34169      5128    428628   no data   no data
136.45/34.25	c  S st    53    357477       386      1685         0     34169      5128    428628   no data   no data
136.85/34.34	c  S st    53    357979       386      1685         0     34670      5128    438979   no data   no data
136.85/34.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.85/34.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.85/34.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.85/34.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.85/34.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.85/34.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
136.85/34.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.85/34.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.85/34.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.06/34.63	c lits-rem:       145  cl-subs:     1371  v-elim:      0  v-fix:    0  time:  0.26 s
138.06/34.63	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
138.06/34.63	c vivif2 --  cl tried    33299 cl shrink        0 lits rem          0 time: 0.00
138.06/34.65	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.02
138.06/34.65	c calculated reachability. Time: 0.00
138.06/34.65	c  N st    53    357979       386      1685         0     33299      5128    414317   no data   no data
155.61/39.04	c  N st    54    390371       386      1685         0     39390      5128    513744   no data   no data
185.95/46.69	c  N st    55    438960       386      1685         0     33239      5128    384282   no data   no data
228.64/57.38	c  N st    56    511844       386      1685         0     46547      5128    610958   no data   no data
243.81/61.12	c  N st    57    536971       386      1685         0     40838      5128    493941   no data   no data
243.81/61.12	c  S st    57    536971       386      1685         0     40838      5128    493941   no data   no data
244.21/61.22	c  S st    57    537474       386      1685         0     41340      5128    504483   no data   no data
244.21/61.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
244.21/61.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
244.21/61.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.21/61.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.21/61.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.21/61.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
244.21/61.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.21/61.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
244.21/61.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.21/61.74	c lits-rem:       217  cl-subs:     2201  v-elim:      0  v-fix:    0  time:  0.47 s
246.21/61.74	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
246.21/61.74	c vivif2 --  cl tried    39139 cl shrink        0 lits rem          0 time: 0.01
246.21/61.77	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.02
246.21/61.77	c calculated reachability. Time: 0.00
246.21/61.77	c  N st    57    537474       386      1685         0     39139      5128    465327   no data   no data
346.40/86.84	c  N st    58    701458       386      1685         0     67881      5128    987853   no data   no data
411.44/103.17	c  N st    59    806213       386      1685         0     62607      5128    908182   no data   no data
411.44/103.17	c  S st    59    806213       386      1685         0     62607      5128    908182   no data   no data
412.26/103.37	c  S st    59    806718       386      1685         0     63110      5128    918980   no data   no data
412.26/103.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
412.26/103.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
412.26/103.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
412.26/103.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
412.26/103.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
412.26/103.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
412.26/103.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
412.67/103.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
412.67/103.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
419.82/105.24	c lits-rem:       503  cl-subs:     3731  v-elim:      0  v-fix:    0  time:  1.79 s
419.82/105.24	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
419.82/105.25	c vivif2 --  cl tried    59379 cl shrink        0 lits rem          0 time: 0.01
420.22/105.30	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.05
420.22/105.30	c calculated reachability. Time: 0.00
420.22/105.30	c  N st    59    806718       386      1685         0     59379      5128    846784   no data   no data
616.18/154.45	c  F st    60   1071875       386      1685         0     74390      5128   1019119   no data   no data
616.18/154.45	c  N st    60   1071875       386      1685         0     74390      5128   1019119   no data   no data
622.56/156.04	c Decided on static restart strategy
642.92/161.11	c  N st    70   1100179       386      1685         0     58502      5128    692914   no data   no data
677.63/169.87	c  N st    72   1136173       386      1685         0     48917      5128    482697   no data   no data
704.37/176.58	c  N st    73   1168568       386      1685         0     80316      5128   1138655   no data   no data
747.07/187.20	c  N st    74   1210080       386      1685         0     74853      5128    967073   no data   no data
747.07/187.20	c  S st    74   1210080       386      1685         0     74853      5128    967073   no data   no data
748.27/187.53	c  S st    74   1210582       386      1685         0     75351      5128    976965   no data   no data
748.27/187.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
748.27/187.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
748.27/187.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
748.27/187.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
748.27/187.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
748.27/187.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
748.27/187.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
748.27/187.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
748.68/187.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.44/190.89	c lits-rem:       627  cl-subs:     6490  v-elim:      0  v-fix:    0  time:  3.24 s
761.44/190.89	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
761.84/190.90	c vivif2 --  cl tried    68861 cl shrink        0 lits rem          0 time: 0.01
761.84/190.96	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.06
761.84/190.96	c calculated reachability. Time: 0.00
761.84/190.96	c  N st    74   1210582       386      1685         0     68861      5128    867227   no data   no data
825.33/206.87	c  N st    75   1283464       386      1685         0     93018      5128   1382081   no data   no data
926.30/232.11	c  N st    76   1392787       386      1685         0     53577      5128    511965   no data   no data
1075.14/269.42	c  N st    77   1556771       386      1685         0     58233      5128    571314   no data   no data
1221.20/306.01	c  N st    78   1710583       386      1685         0     99187      5128   1301768   no data   no data
1221.20/306.01	c  S st    78   1710583       386      1685         0     99187      5128   1301768   no data   no data
1222.40/306.32	c  S st    78   1711088       386      1685         0     99689      5128   1312089   no data   no data
1222.40/306.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1222.40/306.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1222.40/306.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1222.40/306.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1222.40/306.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1222.40/306.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1222.40/306.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1222.40/306.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1222.80/306.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1248.33/312.85	c lits-rem:       884  cl-subs:    14059  v-elim:      0  v-fix:    0  time:  6.36 s
1248.33/312.85	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
1248.33/312.87	c vivif2 --  cl tried    85630 cl shrink        0 lits rem          0 time: 0.02
1248.73/312.95	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.08
1248.73/312.95	c calculated reachability. Time: 0.00
1248.73/312.95	c  N st    78   1711088       386      1685         0     85630      5128   1093588   no data   no data
1641.87/411.42	c  N st    79   2080053       386      1685         0     97760      5128   1229913   no data   no data
1790.31/448.63	c  N st    80   2211089       386      1685         0    101743      5128   1327096   no data   no data
1790.31/448.63	c  S st    80   2211089       386      1685         0    101743      5128   1327096   no data   no data
1791.50/448.99	c  S st    80   2211593       386      1685         0    102243      5128   1337030   no data   no data
1791.50/448.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1791.90/449.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1791.90/449.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1791.90/449.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1791.90/449.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1791.90/449.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1791.90/449.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1791.90/449.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1792.29/449.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1817.47/455.47	c lits-rem:       679  cl-subs:    11031  v-elim:      0  v-fix:    0  time:  6.31 s
1817.47/455.47	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
1817.47/455.49	c vivif2 --  cl tried    91212 cl shrink        0 lits rem          0 time: 0.02
1817.83/455.58	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.09
1817.83/455.59	c calculated reachability. Time: 0.00
1817.83/455.59	c  N st    80   2211593       386      1685         0     91212      5128   1153260   no data   no data
2368.19/593.48	c  N st    81   2711594       386      1685         0    114686      5128   1481871   no data   no data
2368.19/593.48	c  S st    81   2711594       386      1685         0    114686      5128   1481871   no data   no data
2369.79/593.85	c  S st    81   2712098       386      1685         0    115186      5128   1492586   no data   no data
2369.79/593.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2370.20/593.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2370.20/593.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2370.20/593.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2370.20/593.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2370.20/593.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2370.20/593.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2370.20/593.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2370.20/594.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2401.35/601.72	c lits-rem:       513  cl-subs:    14154  v-elim:      0  v-fix:    0  time:  7.66 s
2401.35/601.72	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
2401.35/601.74	c vivif2 --  cl tried   101032 cl shrink        0 lits rem          0 time: 0.02
2401.71/601.85	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.10
2401.71/601.85	c calculated reachability. Time: 0.00
2401.71/601.85	c  N st    81   2712098       386      1685         0    101032      5128   1262453   no data   no data
3055.82/765.74	c  N st    82   3212099       386      1685         0     77404      5128    690725   no data   no data
3055.82/765.74	c  S st    82   3212099       386      1685         0     77404      5128    690725   no data   no data
3056.62/765.99	c  S st    82   3212603       386      1685         0     77906      5128    701190   no data   no data
3057.02/766.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3057.02/766.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3057.02/766.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3057.02/766.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3057.02/766.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3057.02/766.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3057.02/766.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3057.02/766.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3057.02/766.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3057.82/766.24	c lits-rem:        69  cl-subs:      653  v-elim:      0  v-fix:    0  time:  0.18 s
3057.82/766.24	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
3057.82/766.26	c vivif2 --  cl tried    77253 cl shrink        0 lits rem          0 time: 0.01
3058.22/766.32	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.06
3058.22/766.32	c calculated reachability. Time: 0.00
3058.22/766.32	c  N st    82   3212603       386      1685         0     77253      5128    692402   no data   no data
3767.02/943.98	c  N st    83   3712603       386      1685         0     87895      5128    837985   no data   no data
3767.02/943.98	c  S st    83   3712603       386      1685         0     87895      5128    837985   no data   no data
3768.22/944.25	c  S st    83   3713106       386      1685         0     88395      5128    849411   no data   no data
3768.22/944.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3768.62/944.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3768.62/944.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3768.62/944.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3768.62/944.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3768.62/944.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3768.62/944.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3768.62/944.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3768.62/944.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3770.63/944.85	c lits-rem:       152  cl-subs:     1683  v-elim:      0  v-fix:    0  time:  0.49 s
3770.63/944.85	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
3770.63/944.86	c vivif2 --  cl tried    86712 cl shrink        0 lits rem          0 time: 0.02
3771.04/944.95	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.08
3771.04/944.95	c calculated reachability. Time: 0.00
3771.04/944.95	c  N st    83   3713106       386      1685         0     86712      5128    823888   no data   no data
3820.10/957.29	c  F st    84   3751563       386      1685         0    123577      5128   1511647   no data   no data
3820.10/957.29	c  N st    84   3751563       386      1685         0    123577      5128   1511647   no data   no data
3828.47/959.31	c Decided on static restart strategy
3866.40/968.88	c  N st    94   3779868       386      1685         0    150848      5128   2052618   no data   no data
3917.08/981.54	c  N st    96   3815861       386      1685         0    103936      5128   1156040   no data   no data
3961.38/992.66	c  N st    97   3848253       386      1685         0    135116      5128   1795009   no data   no data
4030.42/1009.94	c  N st    98   3896841       386      1685         0     99232      5128   1058478   no data   no data
4134.19/1035.96	c  N st    99   3969725       386      1685         0     85802      5128    759679   no data   no data
4289.07/1074.75	c  N st   100   4079048       386      1685         0    106323      5128   1166556   no data   no data
4483.39/1123.42	c  N st   101   4213107       386      1685         0    149430      5128   1979998   no data   no data
4483.39/1123.42	c  S st   101   4213107       386      1685         0    149430      5128   1979998   no data   no data
4485.39/1123.94	c  S st   101   4213608       386      1685         0    149925      5128   1990118   no data   no data
4485.39/1123.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4485.79/1124.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4485.79/1124.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4485.79/1124.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4485.79/1124.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4485.79/1124.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4485.79/1124.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4485.79/1124.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4486.20/1124.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4553.64/1141.03	c lits-rem:      1364  cl-subs:    18359  v-elim:      0  v-fix:    0  time: 16.75 s
4553.64/1141.03	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
4553.64/1141.05	c vivif2 --  cl tried   131566 cl shrink        0 lits rem          0 time: 0.03
4554.44/1141.20	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.15
4554.44/1141.20	c calculated reachability. Time: 0.00
4554.44/1141.20	c  N st   101   4213608       386      1685         0    131566      5128   1687264   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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366314-1305401543/watcher-3366314-1305401543 -o /tmp/evaluation-result-3366314-1305401543/solver-3366314-1305401543 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366314-1305401543.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.16 8.24 8.19 2/281 3120
/proc/meminfo: memFree=21561572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 407 0 0 0 0 0 0 0 19 0 4 0 651752506 52396032 347 33554432000 4194304 4580107 140735506730704 18446744073709551615 232335948785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3120/statm: 12792 347 299 95 0 7774 0
[pid=3120/tid=3123] ppid=3117 vsize=216424 CPUtime=0 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 216 0 0 0 0 0 0 0 18 0 4 0 651752507 221618176 848 33554432000 4194304 4580107 140735506730704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=216424 CPUtime=0 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 4 0 651752507 221618176 850 33554432000 4194304 4580107 140735506730704 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=216424 CPUtime=0 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 105 0 0 0 0 0 0 0 18 0 4 0 651752507 221618176 852 33554432000 4194304 4580107 140735506730704 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0854901 s]
/proc/loadavg: 8.16 8.24 8.19 2/281 3120
/proc/meminfo: memFree=21561572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=216700 CPUtime=0.31 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 1429 0 0 0 31 0 0 0 21 0 4 0 651752506 221900800 1353 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 54175 1353 377 95 0 49157 0
[pid=3120/tid=3123] ppid=3117 vsize=216700 CPUtime=0.08 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 299 0 0 0 8 0 0 0 18 0 4 0 651752507 221900800 1353 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=216700 CPUtime=0.07 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 244 0 0 0 7 0 0 0 21 0 4 0 651752507 221900800 1353 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=216700 CPUtime=0.07 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 205 0 0 0 7 0 0 0 18 0 4 0 651752507 221900800 1353 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 216700

[startup+0.100487 s]
/proc/loadavg: 8.16 8.24 8.19 2/281 3120
/proc/meminfo: memFree=21561572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=216832 CPUtime=0.37 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 1502 0 0 0 37 0 0 0 21 0 4 0 651752506 222035968 1426 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 54208 1426 377 95 0 49190 0
[pid=3120/tid=3123] ppid=3117 vsize=216832 CPUtime=0.09 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 313 0 0 0 9 0 0 0 18 0 4 0 651752507 222035968 1426 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=216832 CPUtime=0.08 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 263 0 0 0 8 0 0 0 21 0 4 0 651752507 222035968 1426 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=216832 CPUtime=0.09 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 228 0 0 0 9 0 0 0 18 0 4 0 651752507 222035968 1426 33554432000 4194304 4580107 140735506730704 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216832

[startup+0.300452 s]
/proc/loadavg: 8.16 8.24 8.19 2/281 3120
/proc/meminfo: memFree=21561572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=218252 CPUtime=1.17 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 2460 0 0 0 117 0 0 0 21 0 4 0 651752506 223490048 1907 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 54563 1907 377 95 0 49545 0
[pid=3120/tid=3123] ppid=3117 vsize=218252 CPUtime=0.29 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 551 0 0 0 29 0 0 0 18 0 4 0 651752507 223490048 1907 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=218252 CPUtime=0.28 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 512 0 0 0 28 0 0 0 21 0 4 0 651752507 223490048 1907 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=218252 CPUtime=0.29 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 450 0 0 0 29 0 0 0 18 0 4 0 651752507 223490048 1907 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218252

[startup+0.700382 s]
/proc/loadavg: 8.16 8.24 8.19 2/281 3120
/proc/meminfo: memFree=21561572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=219784 CPUtime=2.77 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 4192 0 0 0 276 1 0 0 22 0 4 0 651752506 225058816 2220 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 54946 2220 377 95 0 49928 0
[pid=3120/tid=3123] ppid=3117 vsize=219784 CPUtime=0.69 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 984 0 0 0 69 0 0 0 18 0 4 0 651752507 225058816 2220 33554432000 4194304 4580107 140735506730704 18446744073709551615 4321391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=219784 CPUtime=0.68 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 996 0 0 0 68 0 0 0 22 0 4 0 651752507 225058816 2220 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=219784 CPUtime=0.69 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 790 0 0 0 69 0 0 0 18 0 4 0 651752507 225058816 2220 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219784

[startup+1.50024 s]
/proc/loadavg: 8.23 8.25 8.19 10/291 3130
/proc/meminfo: memFree=21537064/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=220876 CPUtime=5.95 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 7608 0 0 0 594 1 0 0 25 0 4 0 651752506 226177024 4086 33554432000 4194304 4580107 140735506730704 18446744073709551615 4318731 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 55219 4086 379 95 0 50201 0
[pid=3120/tid=3123] ppid=3117 vsize=220876 CPUtime=1.49 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 1520 0 0 0 149 0 0 0 19 0 4 0 651752507 226177024 4086 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=220876 CPUtime=1.48 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 1547 0 0 0 148 0 0 0 25 0 4 0 651752507 226177024 4086 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=220876 CPUtime=1.49 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 1454 0 0 0 149 0 0 0 20 0 4 0 651752507 226177024 4086 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 220876

[startup+3.10096 s]
/proc/loadavg: 8.23 8.25 8.19 10/291 3130
/proc/meminfo: memFree=21507180/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=228672 CPUtime=12.34 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 16125 0 0 0 1232 2 0 0 25 0 4 0 651752506 234160128 7831 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 57168 7831 379 95 0 52150 0
[pid=3120/tid=3123] ppid=3117 vsize=228672 CPUtime=3.09 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 3600 0 0 0 309 0 0 0 25 0 4 0 651752507 234160128 7831 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=228672 CPUtime=3.07 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 4280 0 0 0 307 0 0 0 25 0 4 0 651752507 234160128 7831 33554432000 4194304 4580107 140735506730704 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=228672 CPUtime=3.08 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 3851 0 0 0 308 0 0 0 25 0 4 0 651752507 234160128 7831 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 228672

[startup+6.30039 s]
/proc/loadavg: 8.21 8.24 8.19 9/291 3130
/proc/meminfo: memFree=21472708/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=231408 CPUtime=25.11 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 24812 0 0 0 2507 4 0 0 25 0 4 0 651752506 236961792 10767 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 57852 10767 379 95 0 52834 0
[pid=3120/tid=3123] ppid=3117 vsize=231408 CPUtime=6.29 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 6546 0 0 0 628 1 0 0 25 0 4 0 651752507 236961792 10767 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=231408 CPUtime=6.28 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 6669 0 0 0 627 1 0 0 25 0 4 0 651752507 236961792 10767 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=231408 CPUtime=6.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 5365 0 0 0 628 0 0 0 25 0 4 0 651752507 236961792 10767 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 231408

[startup+12.7003 s]
/proc/loadavg: 8.20 8.24 8.19 9/291 3130
/proc/meminfo: memFree=21435064/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=237832 CPUtime=50.65 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 39115 0 0 0 5058 7 0 0 25 0 4 0 651752506 243539968 15112 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 59458 15112 379 95 0 54440 0
[pid=3120/tid=3123] ppid=3117 vsize=237832 CPUtime=12.68 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 9934 0 0 0 1267 1 0 0 25 0 4 0 651752507 243539968 15112 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=237832 CPUtime=12.67 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 9189 0 0 0 1266 1 0 0 25 0 4 0 651752507 243539968 15112 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=237832 CPUtime=12.68 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 9040 0 0 0 1267 1 0 0 25 0 4 0 651752507 243539968 15112 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 237832

[startup+25.501 s]
/proc/loadavg: 8.22 8.24 8.19 10/291 3131
/proc/meminfo: memFree=21401080/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=243316 CPUtime=101.74 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 60126 0 0 0 10162 12 0 0 25 0 4 0 651752506 249155584 19980 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 60829 19980 379 95 0 55811 0
[pid=3120/tid=3123] ppid=3117 vsize=243316 CPUtime=25.48 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 15129 0 0 0 2546 2 0 0 25 0 4 0 651752507 249155584 19980 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=243316 CPUtime=25.47 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 14567 0 0 0 2545 2 0 0 25 0 4 0 651752507 249155584 19980 33554432000 4194304 4580107 140735506730704 18446744073709551615 4321126 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=243316 CPUtime=25.49 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 14155 0 0 0 2546 3 0 0 25 0 4 0 651752507 249155584 19980 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 243316

[startup+51.1004 s]
/proc/loadavg: 8.14 8.22 8.18 9/291 3131
/proc/meminfo: memFree=21362356/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=246916 CPUtime=203.9 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 90837 0 0 0 20371 19 0 0 25 0 4 0 651752506 252841984 24194 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 61729 24194 379 95 0 56711 0
[pid=3120/tid=3123] ppid=3117 vsize=246916 CPUtime=51.08 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 23991 0 0 0 5104 4 0 0 25 0 4 0 651752507 252841984 24194 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=246916 CPUtime=51.07 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 21964 0 0 0 5104 3 0 0 25 0 4 0 651752507 252841984 24194 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=246916 CPUtime=51.09 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 21336 0 0 0 5103 6 0 0 25 0 4 0 651752507 252841984 24194 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 246916

[startup+102.311 s]
/proc/loadavg: 8.17 8.22 8.18 9/291 3134
/proc/meminfo: memFree=21316456/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=271904 CPUtime=408.28 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 137154 0 0 0 40797 31 0 0 25 0 4 0 651752506 278429696 31733 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 67976 31733 379 95 0 62958 0
[pid=3120/tid=3123] ppid=3117 vsize=271904 CPUtime=102.3 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 36275 0 0 0 10223 7 0 0 25 0 4 0 651752507 278429696 31733 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=271904 CPUtime=102.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 32765 0 0 0 10222 7 0 0 25 0 4 0 651752507 278429696 31733 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=271904 CPUtime=102.29 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 32958 0 0 0 10221 8 0 0 25 0 4 0 651752507 278429696 31733 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 271904

[startup+162.301 s]

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

[pid=3120] ppid=3117 vsize=426564 CPUtime=2563.36 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 431244 0 0 0 256179 157 0 0 25 0 4 0 651752506 436801536 68082 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 106641 68082 379 95 0 101623 0
[pid=3120/tid=3123] ppid=3117 vsize=426564 CPUtime=642.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 114292 0 0 0 64190 41 0 0 25 0 4 0 651752507 436801536 68084 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=426564 CPUtime=642.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 108191 0 0 0 64191 38 0 0 25 0 4 0 651752507 436801536 68084 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=426564 CPUtime=642.29 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 106866 0 0 0 64186 43 0 0 25 0 4 0 651752507 436801536 68084 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.36
Current children cumulated vsize (KiB) 426564

[startup+702.301 s]
/proc/loadavg: 8.19 8.20 8.18 9/291 3150
/proc/meminfo: memFree=20976048/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=427724 CPUtime=2802.81 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 454863 0 0 0 280112 169 0 0 25 0 4 0 651752506 437989376 73974 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 106931 73974 379 95 0 101913 0
[pid=3120/tid=3123] ppid=3117 vsize=427724 CPUtime=702.3 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 120148 0 0 0 70186 44 0 0 25 0 4 0 651752507 437989376 73974 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=427724 CPUtime=702.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 112997 0 0 0 70188 41 0 0 25 0 4 0 651752507 437989376 73974 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=427724 CPUtime=702.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 113881 0 0 0 70182 46 0 0 25 0 4 0 651752507 437989376 73974 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.81
Current children cumulated vsize (KiB) 427724

[startup+762.311 s]
/proc/loadavg: 8.31 8.22 8.19 10/291 3151
/proc/meminfo: memFree=20962756/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=445652 CPUtime=3042.29 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 479777 0 0 0 304046 183 0 0 25 0 4 0 651752506 456347648 77308 33554432000 4194304 4580107 140735506730704 18446744073709551615 4316511 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 111413 77308 379 95 0 106395 0
[pid=3120/tid=3123] ppid=3117 vsize=445652 CPUtime=762.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 128519 0 0 0 76183 48 0 0 25 0 4 0 651752507 456347648 77308 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=445652 CPUtime=762.3 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 119031 0 0 0 76184 46 0 0 25 0 4 0 651752507 456347648 77308 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=445652 CPUtime=762.29 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 121633 0 0 0 76180 49 0 0 25 0 4 0 651752507 456347648 77308 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.29
Current children cumulated vsize (KiB) 445652

[startup+822.3 s]
/proc/loadavg: 8.23 8.22 8.19 9/291 3153
/proc/meminfo: memFree=20940792/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=446204 CPUtime=3281.71 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 502796 0 0 0 327978 193 0 0 25 0 4 0 651752506 456912896 76278 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 111551 76278 379 95 0 106533 0
[pid=3120/tid=3123] ppid=3117 vsize=446204 CPUtime=822.3 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 134564 0 0 0 82179 51 0 0 25 0 4 0 651752507 456912896 76278 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=446204 CPUtime=822.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 125658 0 0 0 82181 48 0 0 25 0 4 0 651752507 456912896 76278 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=446204 CPUtime=822.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 128489 0 0 0 82176 52 0 0 25 0 4 0 651752507 456912896 76278 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.71
Current children cumulated vsize (KiB) 446204

[startup+882.301 s]
/proc/loadavg: 8.39 8.26 8.20 9/291 3154
/proc/meminfo: memFree=20916572/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=446508 CPUtime=3521.18 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 524676 0 0 0 351914 204 0 0 25 0 4 0 651752506 457224192 76518 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 111627 76518 379 95 0 106609 0
[pid=3120/tid=3123] ppid=3117 vsize=446508 CPUtime=882.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 140540 0 0 0 88176 55 0 0 25 0 4 0 651752507 457224192 76518 33554432000 4194304 4580107 140735506730704 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=446508 CPUtime=882.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 131345 0 0 0 88178 51 0 0 25 0 4 0 651752507 457224192 76518 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=446508 CPUtime=882.29 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 134418 0 0 0 88174 55 0 0 25 0 4 0 651752507 457224192 76518 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.18
Current children cumulated vsize (KiB) 446508

[startup+942.301 s]
/proc/loadavg: 8.29 8.25 8.19 9/291 3156
/proc/meminfo: memFree=20897092/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=455864 CPUtime=3760.64 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 547524 0 0 0 375851 213 0 0 25 0 4 0 651752506 466804736 81400 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 113966 81400 379 95 0 108948 0
[pid=3120/tid=3123] ppid=3117 vsize=455864 CPUtime=942.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 147582 0 0 0 94174 57 0 0 25 0 4 0 651752507 466804736 81400 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=455864 CPUtime=942.3 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 136419 0 0 0 94177 53 0 0 25 0 4 0 651752507 466804736 81400 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=455864 CPUtime=942.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 141486 0 0 0 94171 57 0 0 25 0 4 0 651752507 466804736 81400 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.64
Current children cumulated vsize (KiB) 455864

[startup+1002.3 s]
/proc/loadavg: 8.33 8.26 8.20 9/291 3158
/proc/meminfo: memFree=20879948/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=456544 CPUtime=4000.09 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 563961 0 0 0 399786 223 0 0 25 0 4 0 651752506 467501056 80946 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 114136 80946 379 95 0 109118 0
[pid=3120/tid=3123] ppid=3117 vsize=456544 CPUtime=1002.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 152478 0 0 0 100171 60 0 0 25 0 4 0 651752507 467501056 80946 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=456544 CPUtime=1002.29 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 141662 0 0 0 100174 55 0 0 25 0 4 0 651752507 467501056 80946 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=456544 CPUtime=1002.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 145851 0 0 0 100168 60 0 0 25 0 4 0 651752507 467501056 80946 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.09
Current children cumulated vsize (KiB) 456544

[startup+1062.3 s]
/proc/loadavg: 8.31 8.26 8.20 10/291 3159
/proc/meminfo: memFree=20893436/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=469668 CPUtime=4239.55 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 585245 0 0 0 423721 234 0 0 25 0 4 0 651752506 480940032 81760 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 117417 81760 379 95 0 112399 0
[pid=3120/tid=3123] ppid=3117 vsize=469668 CPUtime=1062.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 158133 0 0 0 106167 64 0 0 25 0 4 0 651752507 480940032 81760 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=469668 CPUtime=1062.3 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 145861 0 0 0 106173 57 0 0 25 0 4 0 651752507 480940032 81760 33554432000 4194304 4580107 140735506730704 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=469668 CPUtime=1062.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 151543 0 0 0 106165 63 0 0 25 0 4 0 651752507 480940032 81760 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.55
Current children cumulated vsize (KiB) 469668

[startup+1122.3 s]
/proc/loadavg: 8.34 8.26 8.20 11/291 3161
/proc/meminfo: memFree=20907796/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=522644 CPUtime=4479.01 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 607549 0 0 0 447655 246 0 0 25 0 4 0 651752506 535187456 83458 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 130661 83458 379 95 0 125643 0
[pid=3120/tid=3123] ppid=3117 vsize=522644 CPUtime=1122.32 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 163788 0 0 0 112165 67 0 0 25 0 4 0 651752507 535187456 83458 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=522644 CPUtime=1122.3 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 151413 0 0 0 112170 60 0 0 25 0 4 0 651752507 535187456 83458 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=522644 CPUtime=1122.27 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 157212 0 0 0 112161 66 0 0 25 0 4 0 651752507 535187456 83458 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.01
Current children cumulated vsize (KiB) 522644

[startup+1182.3 s]
/proc/loadavg: 8.31 8.26 8.19 9/291 3162
/proc/meminfo: memFree=20918316/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=460108 CPUtime=4718.46 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 628727 0 0 0 471590 256 0 0 25 0 4 0 651752506 471150592 84600 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 115027 84600 379 95 0 110009 0
[pid=3120/tid=3123] ppid=3117 vsize=460108 CPUtime=1182.31 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 168822 0 0 0 118162 69 0 0 25 0 4 0 651752507 471150592 84600 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=460108 CPUtime=1182.3 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 157193 0 0 0 118168 62 0 0 25 0 4 0 651752507 471150592 84600 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=460108 CPUtime=1182.28 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 162540 0 0 0 118158 70 0 0 25 0 4 0 651752507 471150592 84600 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.46
Current children cumulated vsize (KiB) 460108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.22 8.24 8.19 10/291 3163
/proc/meminfo: memFree=20886072/32951124 swapFree=66457188/67111528
[pid=3120] ppid=3117 vsize=460136 CPUtime=4800.3 cores=1,3,5,7
/proc/3120/stat : 3120 (strangenight2-m) R 3117 3120 2765 0 -1 4202496 635739 0 0 0 479770 260 0 0 25 0 4 0 651752506 471179264 88263 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3120/statm: 115034 88263 379 95 0 110016 0
[pid=3120/tid=3123] ppid=3117 vsize=460136 CPUtime=1202.82 cores=1,3,5,7
/proc/3120/task/3123/stat : 3123 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 170055 0 0 0 120212 70 0 0 25 0 4 0 651752507 471179264 88263 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3120/tid=3124] ppid=3117 vsize=460136 CPUtime=1202.81 cores=1,3,5,7
/proc/3120/task/3124/stat : 3124 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 159540 0 0 0 120218 63 0 0 25 0 4 0 651752507 471179264 88263 33554432000 4194304 4580107 140735506730704 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3120/tid=3128] ppid=3117 vsize=460136 CPUtime=1202.79 cores=1,3,5,7
/proc/3120/task/3128/stat : 3128 (strangenight2-m) R 3117 3120 2765 0 -1 4202560 163821 0 0 0 120208 71 0 0 25 0 4 0 651752507 471179264 88263 33554432000 4194304 4580107 140735506730704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 460136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.83
CPU time (s): 4800.36
CPU user time (s): 4797.74
CPU system time (s): 2.6176
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 535652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.6176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635740
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= 168
involuntary context switches= 22718

runsolver used 2.91556 second user time and 8.07577 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 21:32:23
IDJOB=3366314
IDBENCH=82723
IDSOLVER=1844
FILE ID=node132/3366314-1305401543
RUNJOBID= node132-1305401543-3104
PBS_JOBID= 13324471
Free space on /tmp= 73332 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366314-1305401543/watcher-3366314-1305401543 -o /tmp/evaluation-result-3366314-1305401543/solver-3366314-1305401543 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366314-1305401543.cnf

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

MD5SUM BENCH= bc5d8e174b258480cce7431b84990bdd
RANDOM SEED=1994137258

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21561992 kB
Buffers:        277140 kB
Cached:        5564036 kB
SwapCached:       6904 kB
Active:        4771516 kB
Inactive:      6313348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21561992 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           10920 kB
Writeback:          80 kB
AnonPages:     5240796 kB
Mapped:          18528 kB
Slab:           218244 kB
PageTables:      23976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34734292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node132 at 2011-05-14 21:52:28