Trace number 3174092

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf
MD5SUM737aa440f80cd8be0050a0f138c79eb6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.1889
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-3174092-1304090643.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	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
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     171 undec:      46 neg:     183
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       389      1693         0         0      5152         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4916       389      1693         0      4811      5152     92054   no data   no data
3.17/0.80	c  N st    10     11300       389      1693         0      4458      5152     65265   no data   no data
3.17/0.80	c  N st    11     17045       389      1693         0     10031      5152    171635   no data   no data
3.97/1.10	c  F st    12     25000       389      1693         0     12255      5152    216038   no data   no data
3.97/1.10	c  N st    12     25000       389      1693         0     12255      5152    216038   no data   no data
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30001       389      1693         0     10564      5152    166252   no data   no data
5.17/1.30	c  S st    18     30001       389      1693         0     10564      5152    166252   no data   no data
5.17/1.30	c  S st    18     30504       389      1693         0     11064      5152    175752   no data   no data
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.30	c blocked clauses removed:        0 vars:      0 tried:         389 T: 0.00 s
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       208  cl-subs:      907  v-elim:      0  v-fix:    0  time:  0.06 s
5.57/1.40	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.00
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30504       389      1693         0     10157      5152    158276   no data   no data
6.76/1.78	c  N st    20     37614       389      1693         0      9424      5152    128221   no data   no data
8.37/2.13	c  N st    21     44013       389      1693         0     15608      5152    237719   no data   no data
8.78/2.26	c  S st    22     45756       389      1693         0     17301      5152    268463   no data   no data
9.19/2.30	c  S st    22     46260       389      1693         0      9139      5152    111332   no data   no data
9.19/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
9.19/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.32	c lits-rem:        31  cl-subs:      176  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.32	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
9.19/2.32	c vivif2 --  cl tried     8963 cl shrink        0 lits rem          0 time: 0.00
9.19/2.33	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.00
9.19/2.33	c calculated reachability. Time: 0.00
9.19/2.33	c  N st    22     46260       389      1693         0      8963      5152    108611   no data   no data
12.76/3.25	c  N st    23     60659       389      1693         0     13247      5152    177003   no data   no data
15.15/3.89	c  N st    24     69390       389      1693         0     11090      5152    133683   no data   no data
15.15/3.89	c  S st    24     69390       389      1693         0     11090      5152    133683   no data   no data
15.56/3.92	c  S st    24     69895       389      1693         0     11591      5152    143704   no data   no data
15.56/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.56/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.56/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.95	c lits-rem:        28  cl-subs:      212  v-elim:      0  v-fix:    0  time:  0.01 s
15.56/3.95	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
15.56/3.95	c vivif2 --  cl tried    11379 cl shrink        0 lits rem          0 time: 0.00
15.56/3.96	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
15.56/3.96	c calculated reachability. Time: 0.00
15.56/3.96	c  N st    24     69895       389      1693         0     11379      5152    140184   no data   no data
19.95/5.09	c  F st    25     87501       389      1693         0     16821      5152    244743   no data   no data
19.95/5.09	c  N st    25     87501       389      1693         0     16821      5152    244743   no data   no data
21.55/5.48	c Decided on static restart strategy
22.75/5.73	c  N st    32     95537       389      1693         0     24651      5152    392347   no data   no data
25.14/6.38	c  N st    34    104842       389      1693         0     21092      5152    320578   no data   no data
25.14/6.38	c  S st    34    104842       389      1693         0     21092      5152    320578   no data   no data
25.54/6.44	c  S st    34    105344       389      1693         0     21593      5152    330478   no data   no data
25.54/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.54/6.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
25.54/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.54/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.59	c lits-rem:       176  cl-subs:      933  v-elim:      0  v-fix:    0  time:  0.13 s
25.94/6.59	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
25.94/6.59	c vivif2 --  cl tried    20660 cl shrink        0 lits rem          0 time: 0.00
26.35/6.60	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
26.35/6.60	c calculated reachability. Time: 0.00
26.35/6.60	c  N st    34    105344       389      1693         0     20660      5152    311062   no data   no data
29.14/7.34	c  N st    35    114943       389      1693         0     16431      5152    207828   no data   no data
34.32/8.62	c  N st    36    129341       389      1693         0     15769      5152    175901   no data   no data
41.52/10.41	c  N st    37    150936       389      1693         0     21173      5152    274227   no data   no data
43.93/11.02	c  S st    38    158016       389      1693         0     28049      5152    411650   no data   no data
43.93/11.10	c  S st    38    158517       389      1693         0     28550      5152    421651   no data   no data
43.93/11.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.33/11.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.33/11.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.33/11.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.33/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.33/11.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
44.33/11.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.33/11.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.33/11.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.53	c lits-rem:       275  cl-subs:     2261  v-elim:      0  v-fix:    0  time:  0.41 s
45.92/11.53	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
45.92/11.54	c vivif2 --  cl tried    26289 cl shrink        0 lits rem          0 time: 0.00
45.92/11.55	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
45.92/11.55	c calculated reachability. Time: 0.00
45.92/11.55	c  N st    38    158517       389      1693         0     26289      5152    380150   no data   no data
65.09/16.32	c  N st    39    207106       389      1693         0     20995      5152    245876   no data   no data
77.47/19.48	c  N st    40    237775       389      1693         0     31435      5152    448877   no data   no data
77.47/19.48	c  S st    40    237775       389      1693         0     31435      5152    448877   no data   no data
77.87/19.56	c  S st    40    238284       389      1693         0     31944      5152    459017   no data   no data
77.87/19.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.87/19.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.87/19.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.87/19.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.87/19.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.87/19.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
77.87/19.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.87/19.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.87/19.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.49/19.95	c lits-rem:       177  cl-subs:     1748  v-elim:      0  v-fix:    0  time:  0.36 s
79.49/19.95	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
79.49/19.96	c vivif2 --  cl tried    30196 cl shrink        0 lits rem          0 time: 0.01
79.49/19.97	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
79.49/19.98	c calculated reachability. Time: 0.00
79.49/19.98	c  N st    40    238284       389      1693         0     30196      5152    426667   no data   no data
109.42/27.42	c  F st    41    306250       389      1693         0     32006      5152    405429   no data   no data
109.42/27.42	c  N st    41    306250       389      1693         0     32006      5152    405429   no data   no data
111.82/28.02	c Decided on static restart strategy
123.00/30.81	c  N st    51    334556       389      1693         0     36251      5152    458608   no data   no data
134.97/33.88	c  N st    53    357426       389      1693         0     34106      5152    397144   no data   no data
134.97/33.88	c  S st    53    357426       389      1693         0     34106      5152    397144   no data   no data
135.37/33.97	c  S st    53    357932       389      1693         0     34609      5152    407497   no data   no data
135.37/33.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.37/33.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.37/33.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.37/33.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.37/33.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.37/33.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
135.37/33.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.37/33.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.77/34.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.96/34.35	c lits-rem:       314  cl-subs:     3042  v-elim:      0  v-fix:    0  time:  0.35 s
136.96/34.36	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
136.96/34.36	c vivif2 --  cl tried    31567 cl shrink        0 lits rem          0 time: 0.00
136.96/34.38	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
136.96/34.38	c calculated reachability. Time: 0.00
136.96/34.38	c  N st    53    357932       389      1693         0     31567      5152    362001   no data   no data
153.33/38.45	c  N st    54    390324       389      1693         0     37578      5152    449692   no data   no data
179.69/45.00	c  N st    55    438913       389      1693         0     31457      5152    333708   no data   no data
218.44/54.74	c  N st    56    511797       389      1693         0     44982      5152    582375   no data   no data
232.42/58.24	c  N st    57    536898       389      1693         0     39346      5152    469757   no data   no data
232.42/58.24	c  S st    57    536898       389      1693         0     39346      5152    469757   no data   no data
232.84/58.35	c  S st    57    537400       389      1693         0     39847      5152    479867   no data   no data
232.84/58.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
232.84/58.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
232.84/58.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
232.84/58.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
232.84/58.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
232.84/58.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
232.84/58.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.84/58.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
232.84/58.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.42/58.73	c lits-rem:       315  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  0.34 s
234.42/58.73	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
234.42/58.73	c vivif2 --  cl tried    38124 cl shrink        0 lits rem          0 time: 0.01
234.42/58.76	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
234.42/58.76	c calculated reachability. Time: 0.00
234.42/58.76	c  N st    57    537400       389      1693         0     38124      5152    447632   no data   no data
339.06/84.96	c  N st    58    701384       389      1693         0     66631      5152    858082   no data   no data
410.97/102.94	c  N st    59    806100       389      1693         0     60873      5152    812253   no data   no data
410.97/102.94	c  S st    59    806100       389      1693         0     60873      5152    812253   no data   no data
411.76/103.13	c  S st    59    806602       389      1693         0     61372      5152    822205   no data   no data
411.76/103.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
411.76/103.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
411.76/103.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
411.76/103.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
411.76/103.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.76/103.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
411.76/103.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
411.76/103.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
412.17/103.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.55/105.30	c lits-rem:       360  cl-subs:     6665  v-elim:      0  v-fix:    0  time:  2.11 s
420.55/105.30	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
420.55/105.32	c vivif2 --  cl tried    54707 cl shrink        0 lits rem          0 time: 0.01
420.55/105.36	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.04
420.55/105.36	c calculated reachability. Time: 0.00
420.55/105.36	c  N st    59    806602       389      1693         0     54707      5152    707691   no data   no data
599.11/150.09	c  F st    60   1071875       389      1693         0     70814      5152    933983   no data   no data
599.11/150.10	c  N st    60   1071875       389      1693         0     70814      5152    933983   no data   no data
604.30/151.37	c Decided on static restart strategy
623.09/156.06	c  N st    70   1100182       389      1693         0     54736      5152    593308   no data   no data
655.43/164.10	c  N st    72   1136174       389      1693         0     45106      5152    406367   no data   no data
677.03/169.57	c  N st    73   1168567       389      1693         0     76285      5152   1025516   no data   no data
713.36/178.64	c  N st    74   1209904       389      1693         0     70846      5152    887556   no data   no data
713.36/178.64	c  S st    74   1209904       389      1693         0     70846      5152    887556   no data   no data
714.16/178.87	c  S st    74   1210408       389      1693         0     71349      5152    897657   no data   no data
714.16/178.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
714.56/178.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
714.56/178.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
714.56/178.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
714.56/178.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
714.56/178.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
714.56/178.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
714.56/178.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
714.56/178.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
722.15/180.87	c lits-rem:       735  cl-subs:     5668  v-elim:      0  v-fix:    0  time:  1.93 s
722.15/180.87	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
722.15/180.88	c vivif2 --  cl tried    65681 cl shrink        0 lits rem          0 time: 0.01
722.55/180.94	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.06
722.55/180.94	c calculated reachability. Time: 0.00
722.55/180.94	c  N st    74   1210408       389      1693         0     65681      5152    804973   no data   no data
792.05/198.40	c  N st    75   1283292       389      1693         0     89408      5152   1195641   no data   no data
890.71/223.01	c  N st    76   1392616       389      1693         0     50523      5152    452950   no data   no data
1045.71/261.87	c  N st    77   1556600       389      1693         0     55395      5152    507268   no data   no data
1189.50/297.83	c  N st    78   1710408       389      1693         0     96460      5152   1284772   no data   no data
1189.50/297.83	c  S st    78   1710408       389      1693         0     96460      5152   1284772   no data   no data
1190.72/298.15	c  S st    78   1710912       389      1693         0     96959      5152   1295156   no data   no data
1190.72/298.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1191.12/298.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1191.12/298.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1191.12/298.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.12/298.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.12/298.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1191.12/298.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1191.12/298.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1191.12/298.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1214.27/304.08	c lits-rem:       551  cl-subs:    10673  v-elim:      0  v-fix:    0  time:  5.81 s
1214.27/304.08	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1214.66/304.10	c vivif2 --  cl tried    86286 cl shrink        0 lits rem          0 time: 0.02
1214.66/304.18	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
1214.66/304.18	c calculated reachability. Time: 0.00
1214.66/304.18	c  N st    78   1710912       389      1693         0     86286      5152   1116916   no data   no data
1616.13/404.63	c  N st    79   2079877       389      1693         0     98088      5152   1234228   no data   no data
1765.13/441.94	c  N st    80   2210913       389      1693         0    101899      5152   1283309   no data   no data
1765.13/441.94	c  S st    80   2210913       389      1693         0    101899      5152   1283309   no data   no data
1766.34/442.27	c  S st    80   2211415       389      1693         0    102401      5152   1293658   no data   no data
1766.34/442.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1766.75/442.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1766.75/442.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1766.75/442.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1766.75/442.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1766.75/442.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1766.75/442.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1766.75/442.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1766.75/442.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1788.71/447.83	c lits-rem:      1194  cl-subs:    11511  v-elim:      0  v-fix:    0  time:  5.44 s
1788.71/447.83	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1788.71/447.85	c vivif2 --  cl tried    90890 cl shrink        0 lits rem          0 time: 0.02
1789.08/447.94	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.09
1789.08/447.95	c calculated reachability. Time: 0.00
1789.08/447.95	c  N st    80   2211415       389      1693         0     90890      5152   1109738   no data   no data
2345.08/587.12	c  N st    81   2711417       389      1693         0    114151      5152   1462661   no data   no data
2345.08/587.12	c  S st    81   2711417       389      1693         0    114151      5152   1462661   no data   no data
2346.69/587.51	c  S st    81   2711922       389      1693         0    114651      5152   1472862   no data   no data
2346.69/587.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2346.69/587.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2346.69/587.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2346.69/587.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2346.69/587.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2346.69/587.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2346.69/587.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2346.69/587.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2347.07/587.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2377.81/595.35	c lits-rem:      1975  cl-subs:    13456  v-elim:      0  v-fix:    0  time:  7.71 s
2377.81/595.35	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
2377.81/595.37	c vivif2 --  cl tried   101195 cl shrink        0 lits rem          0 time: 0.02
2378.21/595.48	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.11
2378.21/595.48	c calculated reachability. Time: 0.00
2378.21/595.48	c  N st    81   2711922       389      1693         0    101195      5152   1260403   no data   no data
3027.67/758.08	c  N st    82   3211922       389      1693         0     77695      5152    687033   no data   no data
3027.67/758.08	c  S st    82   3211922       389      1693         0     77695      5152    687033   no data   no data
3028.84/758.32	c  S st    82   3212425       389      1693         0     78197      5152    697406   no data   no data
3028.84/758.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3028.84/758.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3028.84/758.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3028.84/758.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3028.84/758.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3028.84/758.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3028.84/758.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3028.84/758.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3028.84/758.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3030.04/758.61	c lits-rem:        59  cl-subs:      952  v-elim:      0  v-fix:    0  time:  0.21 s
3030.04/758.61	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3030.04/758.62	c vivif2 --  cl tried    77245 cl shrink        0 lits rem          0 time: 0.01
3030.04/758.68	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.06
3030.04/758.69	c calculated reachability. Time: 0.00
3030.04/758.69	c  N st    82   3212425       389      1693         0     77245      5152    684288   no data   no data
3683.96/922.34	c  N st    83   3712426       389      1693         0     87495      5152    821515   no data   no data
3683.96/922.34	c  S st    83   3712426       389      1693         0     87495      5152    821515   no data   no data
3685.16/922.62	c  S st    83   3712932       389      1693         0     87998      5152    831770   no data   no data
3685.16/922.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3685.16/922.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3685.16/922.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3685.16/922.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3685.16/922.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3685.16/922.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3685.16/922.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3685.16/922.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3685.56/922.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3687.95/923.30	c lits-rem:       650  cl-subs:     2828  v-elim:      0  v-fix:    0  time:  0.59 s
3687.95/923.30	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3687.95/923.31	c vivif2 --  cl tried    85170 cl shrink        0 lits rem          0 time: 0.01
3687.95/923.39	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
3687.95/923.39	c calculated reachability. Time: 0.00
3687.95/923.39	c  N st    83   3712932       389      1693         0     85170      5152    788751   no data   no data
3732.30/934.40	c  F st    84   3751564       389      1693         0    122449      5152   1538772   no data   no data
3732.30/934.40	c  N st    84   3751564       389      1693         0    122449      5152   1538772   no data   no data
3740.28/936.43	c Decided on static restart strategy
3778.65/946.03	c  N st    94   3779863       389      1693         0    149725      5152   2057361   no data   no data
3830.16/958.93	c  N st    96   3815860       389      1693         0    102905      5152   1088385   no data   no data
3873.30/969.79	c  N st    97   3848252       389      1693         0    133876      5152   1674235   no data   no data
3948.40/988.50	c  N st    98   3896841       389      1693         0     97980      5152   1001670   no data   no data
4043.87/1012.46	c  N st    99   3969724       389      1693         0     84616      5152    734269   no data   no data
4190.47/1049.16	c  N st   100   4079047       389      1693         0    104982      5152   1082543   no data   no data
4392.19/1099.65	c  N st   101   4212932       389      1693         0    148799      5152   1995528   no data   no data
4392.19/1099.65	c  S st   101   4212932       389      1693         0    148799      5152   1995528   no data   no data
4394.59/1100.21	c  S st   101   4213436       389      1693         0    149297      5152   2006109   no data   no data
4394.59/1100.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4394.59/1100.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4394.59/1100.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4394.59/1100.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4394.59/1100.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4394.59/1100.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4394.59/1100.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4394.99/1100.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4394.99/1100.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4449.72/1114.03	c lits-rem:      3207  cl-subs:    12502  v-elim:      0  v-fix:    0  time: 13.64 s
4449.72/1114.03	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
4449.72/1114.06	c vivif2 --  cl tried   136795 cl shrink        0 lits rem          0 time: 0.03
4450.52/1114.21	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.16
4450.52/1114.22	c calculated reachability. Time: 0.00
4450.52/1114.22	c  N st   101   4213436       389      1693         0    136795      5152   1791233   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-3174092-1304090643/watcher-3174092-1304090643 -o /tmp/evaluation-result-3174092-1304090643/solver-3174092-1304090643 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174092-1304090643.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: 7.71 8.02 8.06 5/178 12274
/proc/meminfo: memFree=26270908/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 520662932 52441088 353 33554432000 4194304 4627427 140734549893984 18446744073709551615 242970550203 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 12803 353 303 106 0 7774 0
[pid=12274/tid=12275] ppid=12272 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520662932 52441088 353 33554432000 4194304 4627427 140734549893984 18446744073709551615 47243346003890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520662932 52441088 353 33554432000 4194304 4627427 140734549893984 18446744073709551615 242965597270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520662932 52441088 353 33554432000 4194304 4627427 140734549893984 18446744073709551615 47243346003890 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.106852 s]
/proc/loadavg: 7.71 8.02 8.06 5/178 12274
/proc/meminfo: memFree=26270908/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=282004 CPUtime=0.4 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 1588 0 0 0 40 0 0 0 18 0 4 0 520662932 288772096 1501 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 70501 1502 384 106 0 65472 0
[pid=12274/tid=12275] ppid=12272 vsize=282004 CPUtime=0.1 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 299 0 0 0 10 0 0 0 18 0 4 0 520662932 288772096 1502 33554432000 4194304 4627427 140734549893984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=282004 CPUtime=0.1 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 337 0 0 0 10 0 0 0 18 0 4 0 520662932 288772096 1502 33554432000 4194304 4627427 140734549893984 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=282004 CPUtime=0.09 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 202 0 0 0 9 0 0 0 25 0 4 0 520662932 288772096 1502 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282004

[startup+0.200836 s]
/proc/loadavg: 7.71 8.02 8.06 5/178 12274
/proc/meminfo: memFree=26270908/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=283144 CPUtime=0.77 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 2126 0 0 0 77 0 0 0 18 0 4 0 520662932 289939456 1564 33554432000 4194304 4627427 140734549893984 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 70786 1564 385 106 0 65757 0
[pid=12274/tid=12275] ppid=12272 vsize=283144 CPUtime=0.19 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 442 0 0 0 19 0 0 0 18 0 4 0 520662932 289939456 1564 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=283144 CPUtime=0.19 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 468 0 0 0 19 0 0 0 18 0 4 0 520662932 289939456 1564 33554432000 4194304 4627427 140734549893984 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=283144 CPUtime=0.19 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 335 0 0 0 19 0 0 0 25 0 4 0 520662932 289939456 1564 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283144

[startup+0.300818 s]
/proc/loadavg: 7.71 8.02 8.06 5/178 12274
/proc/meminfo: memFree=26270908/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=283144 CPUtime=1.18 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 2486 0 0 0 117 1 0 0 18 0 4 0 520662932 289939456 1924 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 70786 1924 385 106 0 65757 0
[pid=12274/tid=12275] ppid=12272 vsize=283144 CPUtime=0.29 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 529 0 0 0 29 0 0 0 18 0 4 0 520662932 289939456 1924 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=283144 CPUtime=0.29 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 560 0 0 0 29 0 0 0 18 0 4 0 520662932 289939456 1924 33554432000 4194304 4627427 140734549893984 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=283144 CPUtime=0.29 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 419 0 0 0 29 0 0 0 25 0 4 0 520662932 289939456 1924 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283144

[startup+0.700752 s]
/proc/loadavg: 7.71 8.02 8.06 5/178 12274
/proc/meminfo: memFree=26270908/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=284296 CPUtime=2.77 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 4168 0 0 0 276 1 0 0 18 0 4 0 520662932 291119104 2218 33554432000 4194304 4627427 140734549893984 18446744073709551615 4327488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 71074 2218 385 106 0 66045 0
[pid=12274/tid=12275] ppid=12272 vsize=284296 CPUtime=0.69 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 520662932 291119104 2218 33554432000 4194304 4627427 140734549893984 18446744073709551615 4322587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=284296 CPUtime=0.69 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 977 0 0 0 69 0 0 0 18 0 4 0 520662932 291119104 2218 33554432000 4194304 4627427 140734549893984 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=284296 CPUtime=0.68 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 758 0 0 0 68 0 0 0 25 0 4 0 520662932 291119104 2218 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284296

[startup+1.50061 s]
/proc/loadavg: 7.71 8.02 8.06 10/182 12278
/proc/meminfo: memFree=26258852/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=285000 CPUtime=5.97 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 7676 0 0 0 595 2 0 0 20 0 4 0 520662932 291840000 3913 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 71250 3913 389 106 0 66221 0
[pid=12274/tid=12275] ppid=12272 vsize=285000 CPUtime=1.49 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1671 0 0 0 149 0 0 0 20 0 4 0 520662932 291840000 3913 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=285000 CPUtime=1.49 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1507 0 0 0 149 0 0 0 20 0 4 0 520662932 291840000 3913 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=285000 CPUtime=1.48 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 1423 0 0 0 148 0 0 0 25 0 4 0 520662932 291840000 3913 33554432000 4194304 4627427 140734549893984 18446744073709551615 4322529 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285000

[startup+3.10034 s]
/proc/loadavg: 7.71 8.02 8.06 9/182 12278
/proc/meminfo: memFree=26241692/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=294060 CPUtime=12.36 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 15853 0 0 0 1233 3 0 0 25 0 4 0 520662932 301117440 7743 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 73515 7743 389 106 0 68486 0
[pid=12274/tid=12275] ppid=12272 vsize=294060 CPUtime=3.09 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 3579 0 0 0 309 0 0 0 25 0 4 0 520662932 301117440 7743 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=294060 CPUtime=3.08 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 4229 0 0 0 308 0 0 0 25 0 4 0 520662932 301117440 7743 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=294060 CPUtime=3.07 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 3804 0 0 0 307 0 0 0 25 0 4 0 520662932 301117440 7744 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294060

[startup+6.30079 s]
/proc/loadavg: 7.98 8.07 8.08 9/182 12278
/proc/meminfo: memFree=26220244/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=299788 CPUtime=25.14 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 24869 0 0 0 2509 5 0 0 25 0 4 0 520662932 306982912 10930 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 74947 10930 389 106 0 69918 0
[pid=12274/tid=12275] ppid=12272 vsize=299788 CPUtime=6.28 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 6410 0 0 0 628 0 0 0 25 0 4 0 520662932 306982912 10930 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=299788 CPUtime=6.28 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 6924 0 0 0 627 1 0 0 25 0 4 0 520662932 306982912 10930 33554432000 4194304 4627427 140734549893984 18446744073709551615 4299724 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=299788 CPUtime=6.26 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 5370 0 0 0 624 2 0 0 25 0 4 0 520662932 306982912 10930 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 299788

[startup+12.7007 s]
/proc/loadavg: 7.98 8.07 8.08 9/182 12278
/proc/meminfo: memFree=26200892/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=308588 CPUtime=50.71 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 39254 0 0 0 5063 8 0 0 25 0 4 0 520662932 315994112 15557 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 77147 15557 389 106 0 72118 0
[pid=12274/tid=12275] ppid=12272 vsize=308588 CPUtime=12.69 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 9728 0 0 0 1268 1 0 0 25 0 4 0 520662932 315994112 15557 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=308588 CPUtime=12.68 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 9488 0 0 0 1267 1 0 0 25 0 4 0 520662932 315994112 15557 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=308588 CPUtime=12.62 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 9074 0 0 0 1259 3 0 0 25 0 4 0 520662932 315994112 15557 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308588

[startup+25.5005 s]
/proc/loadavg: 7.98 8.06 8.07 9/182 12279
/proc/meminfo: memFree=26188368/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=315204 CPUtime=101.83 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 59805 0 0 0 10170 13 0 0 25 0 4 0 520662932 322768896 20358 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 78801 20358 389 106 0 73772 0
[pid=12274/tid=12275] ppid=12272 vsize=315204 CPUtime=25.49 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 15276 0 0 0 2546 3 0 0 25 0 4 0 520662932 322768896 20358 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=315204 CPUtime=25.48 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 14837 0 0 0 2546 2 0 0 25 0 4 0 520662932 322768896 20358 33554432000 4194304 4627427 140734549893984 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=315204 CPUtime=25.35 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 13621 0 0 0 2531 4 0 0 25 0 4 0 520662932 322768896 20358 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 315204

[startup+51.1011 s]
/proc/loadavg: 8.05 8.07 8.08 9/182 12279
/proc/meminfo: memFree=26160336/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=324056 CPUtime=204.06 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 90143 0 0 0 20379 27 0 0 25 0 4 0 520662932 331833344 26347 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 81014 26347 389 106 0 75985 0
[pid=12274/tid=12275] ppid=12272 vsize=324056 CPUtime=51.09 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 23705 0 0 0 5104 5 0 0 25 0 4 0 520662932 331833344 26347 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=324056 CPUtime=51.08 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 22939 0 0 0 5104 4 0 0 25 0 4 0 520662932 331833344 26347 33554432000 4194304 4627427 140734549893984 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=324056 CPUtime=50.81 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 20137 0 0 0 5075 6 0 0 25 0 4 0 520662932 331833344 26347 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 324056

[startup+102.301 s]
/proc/loadavg: 8.13 8.09 8.08 9/182 12281
/proc/meminfo: memFree=26119764/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=335848 CPUtime=408.59 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 134890 0 0 0 40817 42 0 0 25 0 4 0 520662932 343908352 30578 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 83962 30578 389 106 0 78933 0
[pid=12274/tid=12275] ppid=12272 vsize=335848 CPUtime=102.29 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 34946 0 0 0 10221 8 0 0 25 0 4 0 520662932 343908352 30578 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=335848 CPUtime=102.28 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 33653 0 0 0 10220 8 0 0 25 0 4 0 520662932 343908352 30578 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=335848 CPUtime=101.71 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 32496 0 0 0 10162 9 0 0 25 0 4 0 520662932 343908352 30578 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 335848

[startup+162.301 s]

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

[pid=12274] ppid=12272 vsize=543940 CPUtime=2565.54 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 432945 0 0 0 256392 162 0 0 25 0 4 0 520662932 556994560 80318 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 135985 80318 389 106 0 130956 0
[pid=12274/tid=12275] ppid=12272 vsize=543940 CPUtime=642.28 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 107828 0 0 0 64189 39 0 0 25 0 4 0 520662932 556994560 80318 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=543940 CPUtime=642.25 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 104777 0 0 0 64188 37 0 0 25 0 4 0 520662932 556994560 80318 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=543940 CPUtime=638.75 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 105093 0 0 0 63835 40 0 0 25 0 4 0 520662932 556994560 80318 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.54
Current children cumulated vsize (KiB) 543940

[startup+702.301 s]
/proc/loadavg: 8.04 8.02 8.05 9/182 12328
/proc/meminfo: memFree=26124652/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=552720 CPUtime=2805.18 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 456344 0 0 0 280345 173 0 0 25 0 4 0 520662932 565985280 84555 33554432000 4194304 4627427 140734549893984 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 138180 84555 389 106 0 133151 0
[pid=12274/tid=12275] ppid=12272 vsize=552720 CPUtime=702.26 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 114698 0 0 0 70185 41 0 0 25 0 4 0 520662932 565985280 84555 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=552720 CPUtime=702.23 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 110575 0 0 0 70184 39 0 0 25 0 4 0 520662932 565985280 84555 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=552720 CPUtime=698.4 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 110338 0 0 0 69798 42 0 0 25 0 4 0 520662932 565985280 84555 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 552720

[startup+762.301 s]
/proc/loadavg: 8.01 8.02 8.04 9/182 12329
/proc/meminfo: memFree=26091536/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=565632 CPUtime=3044.84 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 480806 0 0 0 304301 183 0 0 25 0 4 0 520662932 579207168 81894 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 141408 81894 389 106 0 136379 0
[pid=12274/tid=12275] ppid=12272 vsize=565632 CPUtime=762.26 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 121512 0 0 0 76183 43 0 0 25 0 4 0 520662932 579207168 81894 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=565632 CPUtime=762.24 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 117418 0 0 0 76181 43 0 0 25 0 4 0 520662932 579207168 81894 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=565632 CPUtime=758.07 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 114806 0 0 0 75763 44 0 0 25 0 4 0 520662932 579207168 81894 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.84
Current children cumulated vsize (KiB) 565632

[startup+822.3 s]
/proc/loadavg: 8.00 8.01 8.03 9/182 12331
/proc/meminfo: memFree=26049732/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=554416 CPUtime=3284.5 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 502718 0 0 0 328256 194 0 0 25 0 4 0 520662932 567721984 82763 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 138604 82763 389 106 0 133575 0
[pid=12274/tid=12275] ppid=12272 vsize=554416 CPUtime=822.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 127615 0 0 0 82180 47 0 0 25 0 4 0 520662932 567721984 82763 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=554416 CPUtime=822.22 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 123409 0 0 0 82176 46 0 0 25 0 4 0 520662932 567721984 82763 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=554416 CPUtime=817.74 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 118817 0 0 0 81728 46 0 0 25 0 4 0 520662932 567721984 82763 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 554416

[startup+882.307 s]
/proc/loadavg: 8.06 8.02 8.03 9/182 12333
/proc/meminfo: memFree=25996884/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=569316 CPUtime=3524.19 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 523251 0 0 0 352212 207 0 0 25 0 4 0 520662932 582979584 89438 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 142329 89438 389 106 0 137300 0
[pid=12274/tid=12275] ppid=12272 vsize=569316 CPUtime=882.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 131363 0 0 0 88177 50 0 0 25 0 4 0 520662932 582979584 89438 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=569316 CPUtime=882.23 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 129128 0 0 0 88173 50 0 0 25 0 4 0 520662932 582979584 89438 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=569316 CPUtime=877.42 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 124234 0 0 0 87692 50 0 0 25 0 4 0 520662932 582979584 89438 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.19
Current children cumulated vsize (KiB) 569316

[startup+942.301 s]
/proc/loadavg: 8.07 8.03 8.03 9/182 12334
/proc/meminfo: memFree=25984352/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=582144 CPUtime=3763.85 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 543417 0 0 0 376168 217 0 0 25 0 4 0 520662932 596115456 90303 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 145536 90303 389 106 0 140507 0
[pid=12274/tid=12275] ppid=12272 vsize=582144 CPUtime=942.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 137380 0 0 0 94174 53 0 0 25 0 4 0 520662932 596115456 90303 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=582144 CPUtime=942.23 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 134619 0 0 0 94169 54 0 0 25 0 4 0 520662932 596115456 90303 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=582144 CPUtime=937.09 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 127090 0 0 0 93658 51 0 0 25 0 4 0 520662932 596115456 90303 33554432000 4194304 4627427 140734549893984 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.85
Current children cumulated vsize (KiB) 582144

[startup+1002.3 s]
/proc/loadavg: 8.02 8.02 8.03 9/182 12336
/proc/meminfo: memFree=25961880/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=582588 CPUtime=4003.52 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 565223 0 0 0 400123 229 0 0 25 0 4 0 520662932 596570112 89748 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 145647 89748 389 106 0 140618 0
[pid=12274/tid=12275] ppid=12272 vsize=582588 CPUtime=1002.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 143120 0 0 0 100171 56 0 0 25 0 4 0 520662932 596570112 89748 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=582588 CPUtime=1002.22 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 139807 0 0 0 100166 56 0 0 25 0 4 0 520662932 596570112 89748 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=582588 CPUtime=996.76 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 132390 0 0 0 99621 55 0 0 25 0 4 0 520662932 596570112 89748 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.52
Current children cumulated vsize (KiB) 582588

[startup+1062.3 s]
/proc/loadavg: 8.05 8.03 8.03 9/182 12337
/proc/meminfo: memFree=25954288/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=570184 CPUtime=4243.2 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 583727 0 0 0 424081 239 0 0 25 0 4 0 520662932 583868416 88147 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 142546 88147 389 106 0 137517 0
[pid=12274/tid=12275] ppid=12272 vsize=570184 CPUtime=1062.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 148485 0 0 0 106168 59 0 0 25 0 4 0 520662932 583868416 88147 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=570184 CPUtime=1062.22 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 143838 0 0 0 106164 58 0 0 25 0 4 0 520662932 583868416 88147 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=570184 CPUtime=1056.43 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 135636 0 0 0 105587 56 0 0 25 0 4 0 520662932 583868416 88147 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.2
Current children cumulated vsize (KiB) 570184

[startup+1122.3 s]
/proc/loadavg: 8.06 8.04 8.03 9/182 12339
/proc/meminfo: memFree=25902436/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=581576 CPUtime=4482.87 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 605096 0 0 0 448040 247 0 0 25 0 4 0 520662932 595533824 100603 33554432000 4194304 4627427 140734549893984 18446744073709551615 4332826 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 145394 100603 389 106 0 140365 0
[pid=12274/tid=12275] ppid=12272 vsize=581576 CPUtime=1122.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 153034 0 0 0 112166 61 0 0 25 0 4 0 520662932 595533824 100603 33554432000 4194304 4627427 140734549893984 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=581576 CPUtime=1122.22 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 148936 0 0 0 112162 60 0 0 25 0 4 0 520662932 595533824 100603 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=581576 CPUtime=1116.1 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 139564 0 0 0 111553 57 0 0 25 0 4 0 520662932 595533824 100603 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.87
Current children cumulated vsize (KiB) 581576

[startup+1182.3 s]
/proc/loadavg: 8.06 8.04 8.03 9/182 12341
/proc/meminfo: memFree=25875136/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=568836 CPUtime=4722.55 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 621558 0 0 0 471997 258 0 0 25 0 4 0 520662932 582488064 101914 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 142209 101914 389 106 0 137180 0
[pid=12274/tid=12275] ppid=12272 vsize=568836 CPUtime=1182.27 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 156850 0 0 0 118163 64 0 0 25 0 4 0 520662932 582488064 101914 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=568836 CPUtime=1182.22 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 153859 0 0 0 118159 63 0 0 25 0 4 0 520662932 582488064 101914 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=568836 CPUtime=1175.78 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 141924 0 0 0 117519 59 0 0 25 0 4 0 520662932 582488064 101914 33554432000 4194304 4627427 140734549893984 18446744073709551615 4310154 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.55
Current children cumulated vsize (KiB) 568836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.04 8.02 9/182 12341
/proc/meminfo: memFree=25874764/32951132 swapFree=67111364/67111528
[pid=12274] ppid=12272 vsize=555976 CPUtime=4800.06 cores=1,3,5,7
/proc/12274/stat : 12274 (strangenight2-m) R 12272 12274 12004 0 -1 4202496 624150 0 0 0 479746 260 0 0 25 0 4 0 520662932 569319424 97819 33554432000 4194304 4627427 140734549893984 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12274/statm: 138994 97819 389 106 0 133965 0
[pid=12274/tid=12275] ppid=12272 vsize=555976 CPUtime=1201.68 cores=1,3,5,7
/proc/12274/task/12275/stat : 12275 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 157004 0 0 0 120104 64 0 0 25 0 4 0 520662932 569319424 97819 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12274/tid=12276] ppid=12272 vsize=555976 CPUtime=1201.63 cores=1,3,5,7
/proc/12274/task/12276/stat : 12276 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 155023 0 0 0 120099 64 0 0 25 0 4 0 520662932 569319424 97819 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12274/tid=12277] ppid=12272 vsize=555976 CPUtime=1195.08 cores=1,3,5,7
/proc/12274/task/12277/stat : 12277 (strangenight2-m) R 12272 12274 12004 0 -1 4202560 142247 0 0 0 119448 60 0 0 25 0 4 0 520662932 569319424 97819 33554432000 4194304 4627427 140734549893984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 555976

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): 1201.73
CPU time (s): 4800.11
CPU user time (s): 4797.49
CPU system time (s): 2.6196
CPU usage (%): 399.433
Max. virtual memory (cumulated for all children) (KiB): 633076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.49
system time used= 2.6196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624151
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= 590
involuntary context switches= 32546

runsolver used 1.88871 second user time and 4.67229 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 17:24:03
IDJOB=3174092
IDBENCH=82910
IDSOLVER=1586
FILE ID=node128/3174092-1304090643
RUNJOBID= node128-1304088234-12023
PBS_JOBID= 13170567
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174092-1304090643/watcher-3174092-1304090643 -o /tmp/evaluation-result-3174092-1304090643/solver-3174092-1304090643 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174092-1304090643.cnf

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

MD5SUM BENCH= 737aa440f80cd8be0050a0f138c79eb6
RANDOM SEED=24186597

node128.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.852
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.70
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.852
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.852
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.82
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.852
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.852
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26271196 kB
Buffers:       1280068 kB
Cached:        4401156 kB
SwapCached:        160 kB
Active:         690028 kB
Inactive:      5403920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26271196 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5460 kB
Writeback:           0 kB
AnonPages:      412016 kB
Mapped:          15796 kB
Slab:           523872 kB
PageTables:       5136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   650424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66964 MiB
End job on node128 at 2011-04-29 17:44:07