Trace number 3366501

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.27 1203.13

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-3366501-1305405729.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.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.00	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:     11  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:     171 undec:      46 neg:     183
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       389      1693         0         0      5152         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.41/0.14	c  N st     8      4916       389      1693         0      4811      5152     92054   no data   no data
1.17/0.36	c  N st    10     11300       389      1693         0      4458      5152     65265   no data   no data
2.36/0.62	c  N st    11     17045       389      1693         0     10031      5152    171635   no data   no data
3.96/1.01	c  F st    12     25000       389      1693         0     12255      5152    216038   no data   no data
3.96/1.01	c  N st    12     25000       389      1693         0     12255      5152    216038   no data   no data
4.80/1.26	c Decided on static restart strategy
4.80/1.26	c  N st    18     30001       389      1693         0     10564      5152    166252   no data   no data
4.80/1.26	c  S st    18     30001       389      1693         0     10564      5152    166252   no data   no data
4.80/1.29	c  S st    18     30504       389      1693         0     11064      5152    175752   no data   no data
4.80/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.30	c blocked clauses removed:        0 vars:      0 tried:         389 T: 0.00 s
5.16/1.30	c bin-w-bin subsume rem            0 bins  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.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c lits-rem:       208  cl-subs:      907  v-elim:      0  v-fix:    0  time:  0.06 s
5.16/1.37	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
5.16/1.37	c calculated reachability. Time: 0.00
5.16/1.37	c  N st    18     30504       389      1693         0     10157      5152    158276   no data   no data
6.75/1.78	c  N st    20     37614       389      1693         0      9424      5152    128221   no data   no data
8.35/2.13	c  N st    21     44013       389      1693         0     15608      5152    237719   no data   no data
8.76/2.27	c  S st    22     45756       389      1693         0     17301      5152    268463   no data   no data
8.76/2.30	c  S st    22     46260       389      1693         0      9139      5152    111332   no data   no data
8.76/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/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.74/3.25	c  N st    23     60659       389      1693         0     13247      5152    177003   no data   no data
15.13/3.89	c  N st    24     69390       389      1693         0     11090      5152    133683   no data   no data
15.13/3.89	c  S st    24     69390       389      1693         0     11090      5152    133683   no data   no data
15.53/3.92	c  S st    24     69895       389      1693         0     11591      5152    143704   no data   no data
15.53/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.53/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
15.53/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.95	c lits-rem:        28  cl-subs:      212  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/3.95	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
15.53/3.95	c vivif2 --  cl tried    11379 cl shrink        0 lits rem          0 time: 0.00
15.53/3.96	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
15.53/3.96	c calculated reachability. Time: 0.00
15.53/3.96	c  N st    24     69895       389      1693         0     11379      5152    140184   no data   no data
19.92/5.09	c  F st    25     87501       389      1693         0     16821      5152    244743   no data   no data
19.92/5.09	c  N st    25     87501       389      1693         0     16821      5152    244743   no data   no data
21.52/5.49	c Decided on static restart strategy
22.71/5.74	c  N st    32     95537       389      1693         0     24651      5152    392347   no data   no data
25.10/6.39	c  N st    34    104842       389      1693         0     21092      5152    320578   no data   no data
25.10/6.39	c  S st    34    104842       389      1693         0     21092      5152    320578   no data   no data
25.50/6.44	c  S st    34    105344       389      1693         0     21593      5152    330478   no data   no data
25.50/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.50/6.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.50/6.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.50/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.50/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.50/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
25.50/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.50/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.50/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.59	c lits-rem:       176  cl-subs:      933  v-elim:      0  v-fix:    0  time:  0.13 s
25.91/6.59	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
25.91/6.59	c vivif2 --  cl tried    20660 cl shrink        0 lits rem          0 time: 0.00
25.91/6.60	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
25.91/6.61	c calculated reachability. Time: 0.00
25.91/6.61	c  N st    34    105344       389      1693         0     20660      5152    311062   no data   no data
29.09/7.34	c  N st    35    114943       389      1693         0     16431      5152    207828   no data   no data
34.29/8.62	c  N st    36    129341       389      1693         0     15769      5152    175901   no data   no data
41.47/10.41	c  N st    37    150936       389      1693         0     21173      5152    274227   no data   no data
43.88/11.02	c  S st    38    158016       389      1693         0     28049      5152    411650   no data   no data
43.88/11.10	c  S st    38    158517       389      1693         0     28550      5152    421651   no data   no data
43.88/11.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.88/11.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.88/11.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.88/11.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.88/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.88/11.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
43.88/11.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.30/11.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.30/11.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.85/11.53	c lits-rem:       275  cl-subs:     2261  v-elim:      0  v-fix:    0  time:  0.41 s
45.85/11.53	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
45.85/11.53	c vivif2 --  cl tried    26289 cl shrink        0 lits rem          0 time: 0.00
45.85/11.55	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
45.85/11.55	c calculated reachability. Time: 0.00
45.85/11.55	c  N st    38    158517       389      1693         0     26289      5152    380150   no data   no data
65.01/16.31	c  N st    39    207106       389      1693         0     20995      5152    245876   no data   no data
77.38/19.49	c  N st    40    237775       389      1693         0     31435      5152    448877   no data   no data
77.38/19.49	c  S st    40    237775       389      1693         0     31435      5152    448877   no data   no data
77.78/19.57	c  S st    40    238284       389      1693         0     31944      5152    459017   no data   no data
77.78/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.78/19.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.78/19.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.78/19.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.78/19.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.78/19.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
77.78/19.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.78/19.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.18/19.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.41/19.96	c lits-rem:       177  cl-subs:     1748  v-elim:      0  v-fix:    0  time:  0.35 s
79.41/19.96	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
79.41/19.96	c vivif2 --  cl tried    30196 cl shrink        0 lits rem          0 time: 0.00
79.41/19.98	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
79.41/19.98	c calculated reachability. Time: 0.00
79.41/19.98	c  N st    40    238284       389      1693         0     30196      5152    426667   no data   no data
109.30/27.41	c  F st    41    306250       389      1693         0     32006      5152    405429   no data   no data
109.30/27.41	c  N st    41    306250       389      1693         0     32006      5152    405429   no data   no data
111.69/28.01	c Decided on static restart strategy
122.46/30.76	c  N st    51    334556       389      1693         0     36251      5152    458608   no data   no data
134.83/33.82	c  N st    53    357426       389      1693         0     34106      5152    397144   no data   no data
134.83/33.82	c  S st    53    357426       389      1693         0     34106      5152    397144   no data   no data
135.23/33.91	c  S st    53    357932       389      1693         0     34609      5152    407497   no data   no data
135.23/33.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.23/33.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.23/33.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.23/33.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.23/33.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.23/33.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
135.23/33.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.23/33.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.23/33.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.46/34.29	c lits-rem:       314  cl-subs:     3042  v-elim:      0  v-fix:    0  time:  0.35 s
136.46/34.29	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
136.46/34.30	c vivif2 --  cl tried    31567 cl shrink        0 lits rem          0 time: 0.01
136.82/34.31	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
136.82/34.32	c calculated reachability. Time: 0.00
136.82/34.32	c  N st    53    357932       389      1693         0     31567      5152    362001   no data   no data
152.78/38.37	c  N st    54    390324       389      1693         0     37578      5152    449692   no data   no data
178.72/44.86	c  N st    55    438913       389      1693         0     31457      5152    333708   no data   no data
217.42/54.57	c  N st    56    511797       389      1693         0     44982      5152    582375   no data   no data
231.38/58.05	c  N st    57    536898       389      1693         0     39346      5152    469757   no data   no data
231.38/58.05	c  S st    57    536898       389      1693         0     39346      5152    469757   no data   no data
231.78/58.16	c  S st    57    537400       389      1693         0     39847      5152    479867   no data   no data
231.78/58.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.78/58.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
231.78/58.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.78/58.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.78/58.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.78/58.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
231.78/58.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.78/58.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
232.18/58.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.37/58.54	c lits-rem:       315  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  0.34 s
233.37/58.54	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
233.37/58.55	c vivif2 --  cl tried    38124 cl shrink        0 lits rem          0 time: 0.01
233.37/58.57	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.03
233.37/58.57	c calculated reachability. Time: 0.00
233.37/58.57	c  N st    57    537400       389      1693         0     38124      5152    447632   no data   no data
337.51/84.70	c  N st    58    701384       389      1693         0     66631      5152    858082   no data   no data
409.33/102.65	c  N st    59    806100       389      1693         0     60873      5152    812253   no data   no data
409.33/102.65	c  S st    59    806100       389      1693         0     60873      5152    812253   no data   no data
410.13/102.84	c  S st    59    806602       389      1693         0     61372      5152    822205   no data   no data
410.13/102.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
410.13/102.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
410.13/102.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.13/102.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.13/102.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.13/102.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
410.13/102.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
410.13/102.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
410.53/102.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.90/105.01	c lits-rem:       360  cl-subs:     6665  v-elim:      0  v-fix:    0  time:  2.10 s
418.90/105.01	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
418.90/105.02	c vivif2 --  cl tried    54707 cl shrink        0 lits rem          0 time: 0.01
418.90/105.07	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.04
418.90/105.07	c calculated reachability. Time: 0.00
418.90/105.07	c  N st    59    806602       389      1693         0     54707      5152    707691   no data   no data
597.30/149.73	c  F st    60   1071875       389      1693         0     70814      5152    933983   no data   no data
597.30/149.73	c  N st    60   1071875       389      1693         0     70814      5152    933983   no data   no data
602.04/150.99	c Decided on static restart strategy
620.79/155.65	c  N st    70   1100182       389      1693         0     54736      5152    593308   no data   no data
653.11/163.75	c  N st    72   1136174       389      1693         0     45106      5152    406367   no data   no data
675.06/169.23	c  N st    73   1168567       389      1693         0     76285      5152   1025516   no data   no data
710.99/178.25	c  N st    74   1209904       389      1693         0     70846      5152    887556   no data   no data
710.99/178.25	c  S st    74   1209904       389      1693         0     70846      5152    887556   no data   no data
711.76/178.49	c  S st    74   1210408       389      1693         0     71349      5152    897657   no data   no data
711.76/178.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
712.16/178.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
712.16/178.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
712.16/178.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
712.16/178.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
712.16/178.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
712.16/178.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
712.16/178.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
712.16/178.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
719.77/180.48	c lits-rem:       735  cl-subs:     5668  v-elim:      0  v-fix:    0  time:  1.92 s
719.77/180.48	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
719.77/180.50	c vivif2 --  cl tried    65681 cl shrink        0 lits rem          0 time: 0.01
720.19/180.55	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.06
720.19/180.56	c calculated reachability. Time: 0.00
720.19/180.56	c  N st    74   1210408       389      1693         0     65681      5152    804973   no data   no data
787.57/197.50	c  N st    75   1283292       389      1693         0     89408      5152   1195641   no data   no data
885.32/221.92	c  N st    76   1392616       389      1693         0     50523      5152    452950   no data   no data
1041.32/261.04	c  N st    77   1556600       389      1693         0     55395      5152    507268   no data   no data
1184.58/296.93	c  N st    78   1710408       389      1693         0     96460      5152   1284772   no data   no data
1184.58/296.93	c  S st    78   1710408       389      1693         0     96460      5152   1284772   no data   no data
1185.76/297.26	c  S st    78   1710912       389      1693         0     96959      5152   1295156   no data   no data
1185.76/297.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1186.16/297.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1186.16/297.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1186.16/297.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1186.16/297.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1186.16/297.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1186.16/297.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1186.16/297.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1186.16/297.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1209.30/303.18	c lits-rem:       551  cl-subs:    10673  v-elim:      0  v-fix:    0  time:  5.81 s
1209.30/303.18	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1209.30/303.19	c vivif2 --  cl tried    86286 cl shrink        0 lits rem          0 time: 0.02
1209.70/303.27	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
1209.70/303.28	c calculated reachability. Time: 0.00
1209.70/303.28	c  N st    78   1710912       389      1693         0     86286      5152   1116916   no data   no data
1616.66/405.24	c  N st    79   2079877       389      1693         0     98088      5152   1234228   no data   no data
1765.49/442.51	c  N st    80   2210913       389      1693         0    101899      5152   1283309   no data   no data
1765.49/442.51	c  S st    80   2210913       389      1693         0    101899      5152   1283309   no data   no data
1766.69/442.86	c  S st    80   2211415       389      1693         0    102401      5152   1293658   no data   no data
1766.69/442.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1767.09/442.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1767.09/442.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1767.09/442.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1767.09/442.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1767.09/442.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
1767.09/442.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1767.09/442.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1767.09/442.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1788.64/448.36	c lits-rem:      1194  cl-subs:    11511  v-elim:      0  v-fix:    0  time:  5.39 s
1788.64/448.36	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1788.64/448.38	c vivif2 --  cl tried    90890 cl shrink        0 lits rem          0 time: 0.02
1789.03/448.47	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.09
1789.03/448.48	c calculated reachability. Time: 0.00
1789.03/448.48	c  N st    80   2211415       389      1693         0     90890      5152   1109738   no data   no data
2348.04/588.60	c  N st    81   2711417       389      1693         0    114151      5152   1462661   no data   no data
2348.04/588.60	c  S st    81   2711417       389      1693         0    114151      5152   1462661   no data   no data
2350.01/589.00	c  S st    81   2711922       389      1693         0    114651      5152   1472862   no data   no data
2350.01/589.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2350.01/589.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2350.01/589.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2350.01/589.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2350.01/589.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2350.01/589.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
2350.01/589.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2350.01/589.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2350.41/589.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2381.14/596.85	c lits-rem:      1975  cl-subs:    13456  v-elim:      0  v-fix:    0  time:  7.72 s
2381.14/596.85	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
2381.14/596.88	c vivif2 --  cl tried   101195 cl shrink        0 lits rem          0 time: 0.02
2381.54/596.98	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.11
2381.54/596.99	c calculated reachability. Time: 0.00
2381.54/596.99	c  N st    81   2711922       389      1693         0    101195      5152   1260403   no data   no data
3036.68/761.15	c  N st    82   3211922       389      1693         0     77695      5152    687033   no data   no data
3036.68/761.15	c  S st    82   3211922       389      1693         0     77695      5152    687033   no data   no data
3037.87/761.40	c  S st    82   3212425       389      1693         0     78197      5152    697406   no data   no data
3037.87/761.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3037.87/761.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3037.87/761.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3037.87/761.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3037.87/761.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3037.87/761.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3037.87/761.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3037.87/761.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3037.87/761.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3038.67/761.68	c lits-rem:        59  cl-subs:      952  v-elim:      0  v-fix:    0  time:  0.21 s
3038.67/761.68	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3038.67/761.69	c vivif2 --  cl tried    77245 cl shrink        0 lits rem          0 time: 0.01
3039.07/761.76	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.07
3039.07/761.76	c calculated reachability. Time: 0.00
3039.07/761.76	c  N st    82   3212425       389      1693         0     77245      5152    684288   no data   no data
3691.83/925.39	c  N st    83   3712426       389      1693         0     87495      5152    821515   no data   no data
3691.83/925.39	c  S st    83   3712426       389      1693         0     87495      5152    821515   no data   no data
3693.02/925.67	c  S st    83   3712932       389      1693         0     87998      5152    831770   no data   no data
3693.02/925.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3693.42/925.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3693.42/925.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3693.42/925.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3693.42/925.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3693.42/925.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
3693.42/925.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3693.42/925.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3693.42/925.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3695.86/926.34	c lits-rem:       650  cl-subs:     2828  v-elim:      0  v-fix:    0  time:  0.58 s
3695.86/926.34	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3695.86/926.35	c vivif2 --  cl tried    85170 cl shrink        0 lits rem          0 time: 0.01
3696.21/926.43	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
3696.21/926.43	c calculated reachability. Time: 0.00
3696.21/926.43	c  N st    83   3712932       389      1693         0     85170      5152    788751   no data   no data
3740.49/937.52	c  F st    84   3751564       389      1693         0    122449      5152   1538772   no data   no data
3740.49/937.53	c  N st    84   3751564       389      1693         0    122449      5152   1538772   no data   no data
3748.52/939.56	c Decided on static restart strategy
3787.19/949.23	c  N st    94   3779863       389      1693         0    149725      5152   2057361   no data   no data
3838.25/962.03	c  N st    96   3815860       389      1693         0    102905      5152   1088385   no data   no data
3882.14/973.02	c  N st    97   3848252       389      1693         0    133876      5152   1674235   no data   no data
3955.95/991.56	c  N st    98   3896841       389      1693         0     97980      5152   1001670   no data   no data
4051.35/1015.41	c  N st    99   3969724       389      1693         0     84616      5152    734269   no data   no data
4196.94/1051.99	c  N st   100   4079047       389      1693         0    104982      5152   1082543   no data   no data
4398.83/1102.55	c  N st   101   4212932       389      1693         0    148799      5152   1995528   no data   no data
4398.83/1102.55	c  S st   101   4212932       389      1693         0    148799      5152   1995528   no data   no data
4401.22/1103.11	c  S st   101   4213436       389      1693         0    149297      5152   2006109   no data   no data
4401.22/1103.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4401.22/1103.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4401.22/1103.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4401.22/1103.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4401.22/1103.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4401.22/1103.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
4401.22/1103.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4401.63/1103.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4401.63/1103.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4456.68/1117.04	c lits-rem:      3207  cl-subs:    12502  v-elim:      0  v-fix:    0  time: 13.75 s
4456.68/1117.04	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
4456.68/1117.07	c vivif2 --  cl tried   136795 cl shrink        0 lits rem          0 time: 0.03
4457.48/1117.22	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.16
4457.48/1117.23	c calculated reachability. Time: 0.00
4457.48/1117.23	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: 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-3366501-1305405729/watcher-3366501-1305405729 -o /tmp/evaluation-result-3366501-1305405729/solver-3366501-1305405729 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366501-1305405729.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.87 6.18 6.37 6/320 14634
/proc/meminfo: memFree=27755024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=256956 CPUtime=0 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 611 0 0 0 0 0 0 0 25 0 4 0 652171698 263122944 530 33554432000 4194304 4580107 140733206104880 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 66290 535 336 95 0 61272 0
[pid=14634/tid=14635] ppid=14632 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 97 0 0 0 0 0 0 0 25 0 4 0 652171699 288448512 939 33554432000 4194304 4580107 140733206104880 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 225 0 0 0 0 0 0 0 25 0 4 0 652171699 288448512 939 33554432000 4194304 4580107 140733206104880 18446744073709551615 268272713623 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=281688 CPUtime=0 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 4 0 652171699 288448512 939 33554432000 4194304 4580107 140733206104880 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.111599 s]
/proc/loadavg: 7.87 6.18 6.37 6/320 14634
/proc/meminfo: memFree=27755024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=281780 CPUtime=0.41 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 1615 0 0 0 41 0 0 0 25 0 4 0 652171698 288542720 1512 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 70445 1512 377 95 0 65427 0
[pid=14634/tid=14635] ppid=14632 vsize=281780 CPUtime=0.1 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 310 0 0 0 10 0 0 0 25 0 4 0 652171699 288542720 1512 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=281780 CPUtime=0.1 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 340 0 0 0 10 0 0 0 25 0 4 0 652171699 288542720 1512 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=281780 CPUtime=0.1 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 216 0 0 0 10 0 0 0 25 0 4 0 652171699 288542720 1512 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281780

[startup+0.200583 s]
/proc/loadavg: 7.87 6.18 6.37 6/320 14634
/proc/meminfo: memFree=27755024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=282920 CPUtime=0.77 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 2120 0 0 0 77 0 0 0 25 0 4 0 652171698 289710080 1542 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 70730 1542 377 95 0 65712 0
[pid=14634/tid=14635] ppid=14632 vsize=282920 CPUtime=0.18 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 438 0 0 0 18 0 0 0 25 0 4 0 652171699 289710080 1542 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=282920 CPUtime=0.19 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 465 0 0 0 19 0 0 0 25 0 4 0 652171699 289710080 1542 33554432000 4194304 4580107 140733206104880 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=282920 CPUtime=0.19 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 342 0 0 0 19 0 0 0 25 0 4 0 652171699 289710080 1542 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 282920

[startup+0.300566 s]
/proc/loadavg: 7.87 6.18 6.37 6/320 14634
/proc/meminfo: memFree=27755024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=283076 CPUtime=1.17 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 2489 0 0 0 117 0 0 0 25 0 4 0 652171698 289869824 1911 33554432000 4194304 4580107 140733206104880 18446744073709551615 4316546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 70769 1912 377 95 0 65751 0
[pid=14634/tid=14635] ppid=14632 vsize=283076 CPUtime=0.28 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 529 0 0 0 28 0 0 0 25 0 4 0 652171699 289869824 1912 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=283076 CPUtime=0.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 561 0 0 0 29 0 0 0 25 0 4 0 652171699 289869824 1912 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=283076 CPUtime=0.29 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 421 0 0 0 29 0 0 0 25 0 4 0 652171699 289869824 1912 33554432000 4194304 4580107 140733206104880 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283076

[startup+0.700495 s]
/proc/loadavg: 7.87 6.18 6.37 6/320 14634
/proc/meminfo: memFree=27755024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=284164 CPUtime=2.76 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 4193 0 0 0 276 0 0 0 25 0 4 0 652171698 290983936 2226 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293032 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 71041 2226 377 95 0 66023 0
[pid=14634/tid=14635] ppid=14632 vsize=284164 CPUtime=0.68 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 988 0 0 0 68 0 0 0 25 0 4 0 652171699 290983936 2226 33554432000 4194304 4580107 140733206104880 18446744073709551615 4322920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=284164 CPUtime=0.69 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 1019 0 0 0 69 0 0 0 25 0 4 0 652171699 290983936 2226 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=284164 CPUtime=0.69 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 743 0 0 0 69 0 0 0 25 0 4 0 652171699 290983936 2226 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284164

[startup+1.50035 s]
/proc/loadavg: 7.87 6.18 6.37 10/324 14638
/proc/meminfo: memFree=27741972/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=284764 CPUtime=5.95 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 7684 0 0 0 594 1 0 0 25 0 4 0 652171698 291598336 3885 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 71191 3885 379 95 0 66173 0
[pid=14634/tid=14635] ppid=14632 vsize=284764 CPUtime=1.47 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 1638 0 0 0 147 0 0 0 25 0 4 0 652171699 291598336 3885 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=284764 CPUtime=1.49 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 1534 0 0 0 149 0 0 0 25 0 4 0 652171699 291598336 3885 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=284764 CPUtime=1.49 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 1387 0 0 0 149 0 0 0 25 0 4 0 652171699 291598336 3885 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 284764

[startup+3.10107 s]
/proc/loadavg: 7.87 6.18 6.37 10/324 14638
/proc/meminfo: memFree=27724124/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=291076 CPUtime=12.34 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 15829 0 0 0 1232 2 0 0 25 0 4 0 652171698 298061824 7834 33554432000 4194304 4580107 140733206104880 18446744073709551615 4317333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 72769 7834 379 95 0 67751 0
[pid=14634/tid=14635] ppid=14632 vsize=291076 CPUtime=3.06 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 3559 0 0 0 306 0 0 0 25 0 4 0 652171699 298061824 7834 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=291076 CPUtime=3.08 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 4210 0 0 0 308 0 0 0 25 0 4 0 652171699 298061824 7834 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=291076 CPUtime=3.08 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 3811 0 0 0 308 0 0 0 25 0 4 0 652171699 298061824 7834 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291076

[startup+6.3005 s]
/proc/loadavg: 7.88 6.21 6.37 10/324 14638
/proc/meminfo: memFree=27702308/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=291888 CPUtime=25.1 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 24581 0 0 0 2507 3 0 0 25 0 4 0 652171698 298893312 10832 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 72972 10832 379 95 0 67954 0
[pid=14634/tid=14635] ppid=14632 vsize=291888 CPUtime=6.22 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 6466 0 0 0 622 0 0 0 25 0 4 0 652171699 298893312 10833 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=291888 CPUtime=6.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 6829 0 0 0 628 1 0 0 25 0 4 0 652171699 298893312 10833 33554432000 4194304 4580107 140733206104880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=291888 CPUtime=6.28 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 5396 0 0 0 628 0 0 0 25 0 4 0 652171699 298893312 10833 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 291888

[startup+12.7004 s]
/proc/loadavg: 7.89 6.24 6.38 10/324 14638
/proc/meminfo: memFree=27662524/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=299336 CPUtime=50.64 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 39303 0 0 0 5058 6 0 0 25 0 4 0 652171698 306520064 15886 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 74834 15886 379 95 0 69816 0
[pid=14634/tid=14635] ppid=14632 vsize=299336 CPUtime=12.56 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 9796 0 0 0 1255 1 0 0 25 0 4 0 652171699 306520064 15886 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=299336 CPUtime=12.68 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 9381 0 0 0 1267 1 0 0 25 0 4 0 652171699 306520064 15886 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=299336 CPUtime=12.69 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 9460 0 0 0 1268 1 0 0 25 0 4 0 652171699 306520064 15886 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 299336

[startup+25.5011 s]
/proc/loadavg: 8.05 6.36 6.42 10/324 14639
/proc/meminfo: memFree=27631024/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=300396 CPUtime=101.71 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 59731 0 0 0 10159 12 0 0 25 0 4 0 652171698 307605504 20083 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 75099 20083 379 95 0 70081 0
[pid=14634/tid=14635] ppid=14632 vsize=300396 CPUtime=25.22 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 15531 0 0 0 2520 2 0 0 25 0 4 0 652171699 307605504 20083 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=300396 CPUtime=25.48 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 14586 0 0 0 2546 2 0 0 25 0 4 0 652171699 307605504 20083 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=300396 CPUtime=25.48 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 14000 0 0 0 2546 2 0 0 25 0 4 0 652171699 307605504 20083 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 300396

[startup+51.1005 s]
/proc/loadavg: 8.03 6.49 6.46 10/324 14639
/proc/meminfo: memFree=27604148/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=302280 CPUtime=203.85 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 90403 0 0 0 20366 19 0 0 25 0 4 0 652171698 309534720 25999 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 75570 25999 379 95 0 70552 0
[pid=14634/tid=14635] ppid=14632 vsize=302280 CPUtime=50.57 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 23792 0 0 0 5053 4 0 0 25 0 4 0 652171699 309534720 25999 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=302280 CPUtime=51.08 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 22807 0 0 0 5104 4 0 0 25 0 4 0 652171699 309534720 25999 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=302280 CPUtime=51.09 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 21115 0 0 0 5104 5 0 0 25 0 4 0 652171699 309534720 25999 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 302280

[startup+102.3 s]
/proc/loadavg: 8.06 6.74 6.54 10/324 14641
/proc/meminfo: memFree=27564908/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=313364 CPUtime=408.16 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 135242 0 0 0 40784 32 0 0 25 0 4 0 652171698 320884736 31367 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 78341 31367 379 95 0 73323 0
[pid=14634/tid=14635] ppid=14632 vsize=313364 CPUtime=101.26 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 35497 0 0 0 10119 7 0 0 25 0 4 0 652171699 320884736 31368 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=313364 CPUtime=102.3 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 33181 0 0 0 10223 7 0 0 25 0 4 0 652171699 320884736 31368 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=313364 CPUtime=102.29 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 33263 0 0 0 10221 8 0 0 25 0 4 0 652171699 320884736 31368 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.16
Current children cumulated vsize (KiB) 313364

[startup+162.301 s]

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

[pid=14634] ppid=14632 vsize=446304 CPUtime=2562.69 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 411157 0 0 0 256138 131 0 0 25 0 4 0 652171698 457015296 82607 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 111576 82607 379 95 0 106558 0
[pid=14634/tid=14635] ppid=14632 vsize=446304 CPUtime=635.78 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 103838 0 0 0 63548 30 0 0 25 0 4 0 652171699 457015296 82607 33554432000 4194304 4580107 140733206104880 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=446304 CPUtime=642.28 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 100339 0 0 0 64196 32 0 0 25 0 4 0 652171699 457015296 82607 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=446304 CPUtime=642.3 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 98875 0 0 0 64198 32 0 0 25 0 4 0 652171699 457015296 82607 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.69
Current children cumulated vsize (KiB) 446304

[startup+702.301 s]
/proc/loadavg: 8.18 7.96 7.29 10/324 14657
/proc/meminfo: memFree=27106288/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=446864 CPUtime=2802.07 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 431689 0 0 0 280069 138 0 0 25 0 4 0 652171698 457588736 83879 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 111716 83879 379 95 0 106698 0
[pid=14634/tid=14635] ppid=14632 vsize=446864 CPUtime=695.17 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 110687 0 0 0 69485 32 0 0 25 0 4 0 652171699 457588736 83879 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=446864 CPUtime=702.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 103701 0 0 0 70195 34 0 0 25 0 4 0 652171699 457588736 83879 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=446864 CPUtime=702.3 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 103674 0 0 0 70196 34 0 0 25 0 4 0 652171699 457588736 83879 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.07
Current children cumulated vsize (KiB) 446864

[startup+762.301 s]
/proc/loadavg: 8.18 7.99 7.34 10/324 14658
/proc/meminfo: memFree=27142472/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=447488 CPUtime=3041.48 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 458729 0 0 0 304001 147 0 0 25 0 4 0 652171698 458227712 81024 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 111872 81024 379 95 0 106854 0
[pid=14634/tid=14635] ppid=14632 vsize=447488 CPUtime=754.56 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 117601 0 0 0 75422 34 0 0 25 0 4 0 652171699 458227712 81025 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=447488 CPUtime=762.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 110620 0 0 0 76192 37 0 0 25 0 4 0 652171699 458227712 81025 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=447488 CPUtime=762.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 110609 0 0 0 76196 35 0 0 25 0 4 0 652171699 458227712 81025 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.48
Current children cumulated vsize (KiB) 447488

[startup+822.3 s]
/proc/loadavg: 8.12 8.01 7.39 10/324 14660
/proc/meminfo: memFree=27090864/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=447936 CPUtime=3280.86 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 482199 0 0 0 327930 156 0 0 25 0 4 0 652171698 458686464 83374 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 111984 83374 379 95 0 106966 0
[pid=14634/tid=14635] ppid=14632 vsize=447936 CPUtime=813.94 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 123682 0 0 0 81359 35 0 0 25 0 4 0 652171699 458686464 83374 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=447936 CPUtime=822.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 116244 0 0 0 82189 40 0 0 25 0 4 0 652171699 458686464 83374 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=447936 CPUtime=822.3 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 116717 0 0 0 82192 38 0 0 25 0 4 0 652171699 458686464 83374 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.86
Current children cumulated vsize (KiB) 447936

[startup+882.312 s]
/proc/loadavg: 8.15 8.03 7.43 10/324 14662
/proc/meminfo: memFree=27058100/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=448348 CPUtime=3520.3 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 506905 0 0 0 351866 164 0 0 25 0 4 0 652171698 459108352 85178 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 112087 85178 379 95 0 107069 0
[pid=14634/tid=14635] ppid=14632 vsize=448348 CPUtime=873.34 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 129494 0 0 0 87297 37 0 0 25 0 4 0 652171699 459108352 85178 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=448348 CPUtime=882.3 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 123719 0 0 0 88187 43 0 0 25 0 4 0 652171699 459108352 85178 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=448348 CPUtime=882.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 122525 0 0 0 88192 39 0 0 25 0 4 0 652171699 459108352 85178 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 448348

[startup+942.301 s]
/proc/loadavg: 8.10 8.04 7.47 10/324 14663
/proc/meminfo: memFree=27058304/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=461236 CPUtime=3759.65 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 528164 0 0 0 375792 173 0 0 25 0 4 0 652171698 472305664 86976 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 115309 86976 379 95 0 110291 0
[pid=14634/tid=14635] ppid=14632 vsize=461236 CPUtime=932.72 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 135199 0 0 0 93233 39 0 0 25 0 4 0 652171699 472305664 86976 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=461236 CPUtime=942.28 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 129374 0 0 0 94183 45 0 0 25 0 4 0 652171699 472305664 86976 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=461236 CPUtime=942.3 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 126459 0 0 0 94189 41 0 0 25 0 4 0 652171699 472305664 86976 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.65
Current children cumulated vsize (KiB) 461236

[startup+1002.3 s]
/proc/loadavg: 8.12 8.06 7.51 10/324 14665
/proc/meminfo: memFree=27053664/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=461628 CPUtime=3999.05 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 549433 0 0 0 399725 180 0 0 25 0 4 0 652171698 472707072 88497 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 115407 88497 379 95 0 110389 0
[pid=14634/tid=14635] ppid=14632 vsize=461628 CPUtime=992.12 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 140915 0 0 0 99171 41 0 0 25 0 4 0 652171699 472707072 88497 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=461628 CPUtime=1002.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 134696 0 0 0 100181 48 0 0 25 0 4 0 652171699 472707072 88497 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=461628 CPUtime=1002.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 131127 0 0 0 100189 42 0 0 25 0 4 0 652171699 472707072 88497 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.05
Current children cumulated vsize (KiB) 461628

[startup+1062.3 s]
/proc/loadavg: 8.04 8.05 7.54 9/324 14697
/proc/meminfo: memFree=27566424/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=515052 CPUtime=4238.45 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 569378 0 0 0 423656 189 0 0 25 0 4 0 652171698 527413248 87632 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 128763 87632 379 95 0 123745 0
[pid=14634/tid=14635] ppid=14632 vsize=515052 CPUtime=1051.51 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 146406 0 0 0 105109 42 0 0 25 0 4 0 652171699 527413248 87632 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=515052 CPUtime=1062.28 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 140013 0 0 0 106178 50 0 0 25 0 4 0 652171699 527413248 87632 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=515052 CPUtime=1062.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 134336 0 0 0 106187 44 0 0 25 0 4 0 652171699 527413248 87632 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.45
Current children cumulated vsize (KiB) 515052

[startup+1122.3 s]
/proc/loadavg: 8.10 8.06 7.58 9/324 14699
/proc/meminfo: memFree=27498580/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=528104 CPUtime=4477.82 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 591648 0 0 0 447586 196 0 0 25 0 4 0 652171698 540778496 98350 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 132026 98350 379 95 0 127008 0
[pid=14634/tid=14635] ppid=14632 vsize=528104 CPUtime=1110.89 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 151404 0 0 0 111045 44 0 0 25 0 4 0 652171699 540778496 98350 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=528104 CPUtime=1122.29 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 145155 0 0 0 112176 53 0 0 25 0 4 0 652171699 540778496 98350 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=528104 CPUtime=1122.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 138752 0 0 0 112186 45 0 0 25 0 4 0 652171699 540778496 98350 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.82
Current children cumulated vsize (KiB) 528104

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 7.61 9/324 14710
/proc/meminfo: memFree=27491660/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=515364 CPUtime=4717.2 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 608336 0 0 0 471516 204 0 0 25 0 4 0 652171698 527732736 99526 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 128841 99526 379 95 0 123823 0
[pid=14634/tid=14635] ppid=14632 vsize=515364 CPUtime=1170.29 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 156465 0 0 0 116983 46 0 0 25 0 4 0 652171699 527732736 99526 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=515364 CPUtime=1182.27 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 148973 0 0 0 118172 55 0 0 25 0 4 0 652171699 527732736 99526 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=515364 CPUtime=1182.31 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 141163 0 0 0 118185 46 0 0 25 0 4 0 652171699 527732736 99526 33554432000 4194304 4580107 140733206104880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.2
Current children cumulated vsize (KiB) 515364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.30 8.12 7.63 9/324 14710
/proc/meminfo: memFree=27446888/32950928 swapFree=60199044/67111528
[pid=14634] ppid=14632 vsize=568040 CPUtime=4800.21 cores=0,2,4,6
/proc/14634/stat : 14634 (strangenight2-m) R 14632 14634 14558 0 -1 4202496 613267 0 0 0 479814 207 0 0 25 0 4 0 652171698 581672960 101138 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14634/statm: 142010 101138 379 95 0 136992 0
[pid=14634/tid=14635] ppid=14632 vsize=568040 CPUtime=1190.88 cores=0,2,4,6
/proc/14634/task/14635/stat : 14635 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 157752 0 0 0 119041 47 0 0 25 0 4 0 652171699 581672960 101138 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14634/tid=14636] ppid=14632 vsize=568040 CPUtime=1203.08 cores=0,2,4,6
/proc/14634/task/14636/stat : 14636 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 151233 0 0 0 120252 56 0 0 25 0 4 0 652171699 581672960 101138 33554432000 4194304 4580107 140733206104880 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14634/tid=14637] ppid=14632 vsize=568040 CPUtime=1203.12 cores=0,2,4,6
/proc/14634/task/14637/stat : 14637 (strangenight2-m) R 14632 14634 14558 0 -1 4202560 141454 0 0 0 120266 46 0 0 25 0 4 0 652171699 581672960 101138 33554432000 4194304 4580107 140733206104880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 568040

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): 1203.13
CPU time (s): 4800.27
CPU user time (s): 4798.18
CPU system time (s): 2.08968
CPU usage (%): 398.98
Max. virtual memory (cumulated for all children) (KiB): 632332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 2.08968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613267
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= 342
involuntary context switches= 34836

runsolver used 3.34249 second user time and 8.71467 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 22:42:09
IDJOB=3366501
IDBENCH=82910
IDSOLVER=1844
FILE ID=node122/3366501-1305405729
RUNJOBID= node122-1305405531-14576
PBS_JOBID= 13324494
Free space on /tmp= 73432 MiB

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

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

MD5SUM BENCH= 737aa440f80cd8be0050a0f138c79eb6
RANDOM SEED=1130954519

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27755304 kB
Buffers:        274116 kB
Cached:        3350084 kB
SwapCached:      50104 kB
Active:        1132284 kB
Inactive:      3854328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27755304 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            5620 kB
Writeback:           0 kB
AnonPages:     1323040 kB
Mapped:          14084 kB
Slab:           112912 kB
PageTables:      32916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52953348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73428 MiB
End job on node122 at 2011-05-14 23:02:14