Trace number 3175135

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-1-mt? (TO) 4800.11 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
MD5SUM2eb2fa74ab0dce335225200db81f6563
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175135-1304091135.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data  --
3.17/0.85	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.01
3.17/0.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
3.17/0.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.85	c lits-rem:         2  cl-subs:        3  v-elim:     15  v-fix:    0  time:  0.01 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:     274 undec:      68 neg:     258
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       585      2540         2         0      7715         0   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4918       585      2540         2      4847      7715    127939   no data   no data  --
3.17/0.85	c  N st    10     11302       585      2540         2      4522      7715     86085   no data   no data  --
3.17/0.85	c  N st    11     17046       585      2540         2     10191      7715    250354   no data   no data  --
4.39/1.15	c  F st    12     25000       585      2540         2     12481      7715    300790   no data   no data  --
4.39/1.15	c  N st    12     25000       585      2540         2     12481      7715    300790   no data   no data  --
5.56/1.41	c  N dy    18     30002       585      2540         2     10729      7715    225392   no data   no data  --
5.56/1.41	c  S st    18     30002       585      2540         2     10729      7715    225392   no data   no data  --
5.56/1.44	c  S st    18     30504       585      2540         2     11231      7715    237604   no data   no data  --
5.56/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.56/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.68	c lits-rem:        64  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.89 s
6.37/1.68	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.04
6.37/1.68	c calculated reachability. Time: 0.00
6.37/1.68	c  N dy    18     30504       585      2540         2     10920      7715    228228   no data   no data  --
7.56/1.90	c  N dy    24     34593       585      2540         2     14968      7715    336100     17.34     18.38  --
8.37/2.14	c  N dy    49     39064       585      2540         2     11559      7715    201343     17.56     18.57  --
9.56/2.40	c  N dy    69     43276       585      2540         2     15734      7715    309737     17.70     18.76  --
9.96/2.59	c  S st    75     45756       585      2540         2      9323      7715    117096     17.47   no data  --
10.35/2.62	c  S st    75     46258       585      2540         2      9825      7715    129428     17.47   no data  --
10.35/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
10.35/2.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.75/2.72	c lits-rem:        25  cl-subs:       20  v-elim:      0  v-fix:    0  time:  0.36 s
10.75/2.72	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
10.75/2.72	c vivif2 --  cl tried     9805 cl shrink        0 lits rem          0 time: 0.00
10.75/2.72	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.03
10.75/2.73	c calculated reachability. Time: 0.00
10.75/2.73	c  N dy    75     46258       585      2540         2      9805      7715    128808     17.47   no data  --
11.55/2.96	c  N dy    80     50509       585      2540         2     13980      7715    231339     17.28     18.28  --
12.76/3.24	c  N dy   101     54555       585      2540         2     17982      7715    331013     17.34     18.34  --
13.95/3.52	c  N dy   114     58875       585      2540         2     12388      7715    169648     17.29     18.23  --
14.75/3.78	c  N dy   138     62903       585      2540         2     16399      7715    271749     17.35     19.94  --
16.35/4.10	c  N dy   152     67235       585      2540         2     20684      7715    381623     17.34     18.27  --
16.75/4.26	c  S st   159     69389       585      2540         2     11939      7715    137662     17.29     16.70  --
16.75/4.29	c  S st   159     69892       585      2540         2     12441      7715    149992     17.29   no data  --
16.75/4.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.75/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.15/4.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.15/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
17.15/4.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.57/4.44	c lits-rem:        30  cl-subs:       37  v-elim:      0  v-fix:    0  time:  0.56 s
17.57/4.44	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
17.57/4.45	c vivif2 --  cl tried    12404 cl shrink        0 lits rem          0 time: 0.01
17.57/4.45	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.04
17.57/4.46	c calculated reachability. Time: 0.00
17.57/4.46	c  N dy   159     69892       585      2540         2     12404      7715    148913     17.29   no data  --
18.75/4.77	c  N dy   178     74572       585      2540         2     17033      7715    266303     17.32     18.25  --
20.35/5.15	c  N dy   188     79422       585      2540         2     21832      7715    386809     17.24     20.97  --
21.96/5.55	c  N dy   210     84716       585      2540         2     15199      7715    198470     17.25     18.18  --
22.73/5.74	c  F st   223     87501       585      2540         2     17966      7715    269664     17.26     16.97  --
23.53/5.99	c  N st   228     90798       585      2540         2     21236      7715    354647     17.26   no data  --
24.34/6.15	c Decided on static restart strategy
26.76/6.72	c  N st   231     99807       585      2540         2     17225      7715    343125     17.26   no data  --
28.33/7.15	c  S st   232    104841       585      2540         2     22192      7715    471335     17.26   no data  --
28.73/7.22	c  S st   232    105343       585      2540         2     22694      7715    483613     17.26   no data  --
28.73/7.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.73/7.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.73/7.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
28.73/7.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.73/7.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
28.73/7.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.53/8.49	c lits-rem:       653  cl-subs:      987  v-elim:      0  v-fix:    0  time:  4.98 s
33.53/8.49	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
33.53/8.49	c vivif2 --  cl tried    21707 cl shrink        0 lits rem          0 time: 0.02
33.93/8.51	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.08
33.93/8.51	c calculated reachability. Time: 0.00
33.93/8.51	c  N st   232    105343       585      2540         2     21707      7715    455439     17.26   no data  --
37.52/9.41	c  N st   233    114943       585      2540         2     17367      7715    311139     17.26   no data  --
42.71/10.70	c  N st   234    129340       585      2540         2     16789      7715    298757     17.26   no data  --
50.31/12.65	c  N st   235    150936       585      2540         2     22331      7715    411469     17.26   no data  --
52.72/13.27	c  S st   236    158014       585      2540         2     29268      7715    584502     17.26   no data  --
53.12/13.34	c  S st   236    158520       585      2540         2     29773      7715    597572     17.26   no data  --
53.12/13.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.12/13.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.12/13.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.12/13.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.12/13.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.12/13.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
53.12/13.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.89/15.04	c lits-rem:       617  cl-subs:     1480  v-elim:      0  v-fix:    0  time:  6.66 s
59.89/15.04	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
59.89/15.04	c vivif2 --  cl tried    28293 cl shrink        0 lits rem          0 time: 0.02
59.89/15.07	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.10
59.89/15.07	c calculated reachability. Time: 0.00
59.89/15.07	c  N st   236    158520       585      2540         2     28293      7715    558648     17.26   no data  --
80.66/20.28	c  N st   237    207108       585      2540         2     22973      7715    383578     17.26   no data  --
95.45/23.93	c  N st   238    237780       585      2540         2     33444      7715    638368     17.26   no data  --
95.45/23.93	c  S st   238    237780       585      2540         2     33444      7715    638368     17.26   no data  --
95.85/24.01	c  S st   238    238281       585      2540         2     33944      7715    651160     17.26   no data  --
95.85/24.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.85/24.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.85/24.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
95.85/24.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.85/24.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.85/24.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
95.85/24.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
103.84/26.04	c lits-rem:      1514  cl-subs:     1616  v-elim:      0  v-fix:    0  time:  7.98 s
103.84/26.04	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
103.84/26.05	c vivif2 --  cl tried    32328 cl shrink        0 lits rem          0 time: 0.03
103.84/26.08	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.12
103.84/26.08	c calculated reachability. Time: 0.00
103.84/26.08	c  N st   238    238281       585      2540         2     32328      7715    604953     17.26   no data  --
140.61/35.27	c  F st   239    306255       585      2540         2     34164      7715    613117     17.26   no data  --
140.61/35.27	c  N st   239    306255       585      2540         2     34164      7715    613117     17.26   no data  --
143.38/35.97	c Decided on static restart strategy
154.56/38.73	c  N st   249    334554       585      2540         2     38530      7715    709158     17.26   no data  --
166.55/41.71	c  N st   251    357421       585      2540         2     36411      7715    613210     17.26   no data  --
166.55/41.71	c  S st   251    357421       585      2540         2     36411      7715    613210     17.26   no data  --
166.55/41.79	c  S st   251    357923       585      2540         2     36912      7715    626036     17.26   no data  --
166.55/41.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.55/41.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.97/41.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
166.97/41.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.97/41.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.97/41.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
166.97/41.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
174.14/43.67	c lits-rem:      1049  cl-subs:     1098  v-elim:      0  v-fix:    0  time:  7.35 s
174.14/43.67	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
174.14/43.68	c vivif2 --  cl tried    35814 cl shrink        0 lits rem          0 time: 0.03
174.54/43.71	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.13
174.54/43.71	c calculated reachability. Time: 0.00
174.54/43.71	c  N st   251    357923       585      2540         2     35814      7715    596763     17.26   no data  --
191.72/48.00	c  N st   252    390315       585      2540         2     42217      7715    731766     17.26   no data  --
218.48/54.77	c  N st   253    438904       585      2540         2     35814      7715    560498     17.26   no data  --
259.65/65.06	c  N st   254    511786       585      2540         2     49259      7715    924526     17.26   no data  --
273.60/68.55	c  N st   255    536884       585      2540         2     43464      7715    710435     17.26   no data  --
273.60/68.55	c  S st   255    536884       585      2540         2     43464      7715    710435     17.26   no data  --
274.00/68.66	c  S st   255    537387       585      2540         2     43966      7715    723894     17.26   no data  --
274.00/68.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.00/68.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.00/68.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
274.40/68.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.40/68.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.40/68.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
274.40/68.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
282.79/70.89	c lits-rem:       458  cl-subs:     1651  v-elim:      0  v-fix:    0  time:  8.75 s
282.79/70.89	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
283.20/70.90	c vivif2 --  cl tried    42315 cl shrink        0 lits rem          0 time: 0.03
283.20/70.94	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.17
283.20/70.95	c calculated reachability. Time: 0.00
283.20/70.95	c  N st   255    537387       585      2540         2     42315      7715    675387     17.26   no data  --
395.87/99.16	c  N st   256    701372       585      2540         2     36510      7715    420966     17.26   no data  --
475.34/119.07	c  N st   257    806080       585      2540         2     65564      7715   1197115     17.26   no data  --
475.34/119.07	c  S st   257    806080       585      2540         2     65564      7715   1197115     17.26   no data  --
476.14/119.27	c  S st   257    806583       585      2540         2     66066      7715   1210495     17.26   no data  --
476.14/119.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
476.14/119.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.54/119.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
476.54/119.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.54/119.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
476.54/119.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
476.54/119.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
490.52/122.84	c lits-rem:       178  cl-subs:     3175  v-elim:      0  v-fix:    0  time: 13.95 s
490.52/122.84	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
490.52/122.86	c vivif2 --  cl tried    62891 cl shrink        0 lits rem          0 time: 0.05
490.92/122.93	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.30
490.92/122.93	c calculated reachability. Time: 0.00
490.92/122.93	c  N st   257    806583       585      2540         2     62891      7715   1129792     17.26   no data  --
707.04/177.09	c  F st   258   1071876       585      2540         2     78702      7715   1452747     17.26   no data  --
707.04/177.09	c  N st   258   1071876       585      2540         2     78702      7715   1452747     17.26   no data  --
727.41/182.18	c  N dy   346   1091939       585      2540         2     54493      7715    701034     17.44     19.48  --
749.78/187.75	c  N dy   476   1112503       585      2540         2     74856      7715   1232897     17.69     18.69  --
774.15/193.83	c  N dy   564   1132556       585      2540         2     49406      7715    528976     17.77     21.24  --
792.13/198.37	c  N dy   649   1152609       585      2540         2     69246      7715   1045880     17.80     18.75  --
824.08/206.39	c  N dy   719   1177001       585      2540         2     46984      7715    432359     17.73     18.67  --
842.05/210.87	c  N dy   791   1198260       585      2540         2     67982      7715    975622     17.72     18.66  --
856.04/214.31	c  S st   845   1209874       585      2540         2     79474      7715   1275764     17.73   no data  --
856.85/214.54	c  S st   845   1210376       585      2540         2     79975      7715   1288568     17.73   no data  --
856.85/214.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
856.85/214.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
856.85/214.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
857.25/214.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
857.25/214.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
857.25/214.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
857.25/214.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
866.05/216.85	c lits-rem:       255  cl-subs:     1754  v-elim:      0  v-fix:    0  time:  8.90 s
866.05/216.85	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
866.05/216.87	c vivif2 --  cl tried    78221 cl shrink        0 lits rem          0 time: 0.07
866.43/216.97	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.40
866.43/216.97	c calculated reachability. Time: 0.00
866.43/216.97	c  N dy   845   1210376       585      2540         2     78221      7715   1242501     17.73   no data  --
892.41/223.49	c  N dy   936   1230420       585      2540         2     50660      7715    494875     17.77     19.22  --
912.37/228.40	c  N dy   996   1250570       585      2540         2     70477      7715   1000693     17.75     18.68  --
938.73/235.03	c  N dy  1096   1270766       585      2540         2     90451      7715   1519937     17.78     19.02  --
959.90/240.32	c  N dy  1169   1290798       585      2540         2     61886      7715    761490     17.77     18.75  --
982.27/245.91	c  N dy  1235   1310822       585      2540         2     81646      7715   1272993     17.76     21.58  --
1016.22/254.40	c  N dy  1330   1330838       585      2540         2     52047      7715    483287     17.79     18.75  --
1036.20/259.42	c  N dy  1378   1350983       585      2540         2     71923      7715   1001751     17.74     18.82  --
1061.76/265.86	c  N dy  1448   1371501       585      2540         2     92221      7715   1526746     17.72     18.82  --
1086.93/272.10	c  N dy  1537   1392681       585      2540         2     62785      7715    733424     17.72     18.77  --
1108.50/277.51	c  N dy  1587   1412689       585      2540         2     82519      7715   1242208     17.69     21.92  --
1141.67/285.83	c  N dy  1647   1437791       585      2540         2     55935      7715    529390     17.66     18.64  --
1160.83/290.69	c  N dy  1733   1457792       585      2540         2     75710      7715   1051168     17.66     22.79  --
1194.39/299.08	c  N dy  1854   1482377       585      2540         2    100042      7715   1695534     17.69     18.63  --
1215.57/304.30	c  N dy  1934   1502909       585      2540         2     67898      7715    820900     17.69     18.64  --
1240.73/310.62	c  N dy  2039   1522936       585      2540         2     87697      7715   1345702     17.72     18.68  --
1271.89/318.43	c  N dy  2120   1542986       585      2540         2     54170      7715    448422     17.72     20.73  --
1291.89/323.45	c  N dy  2249   1563020       585      2540         2     73989      7715    971978     17.77     19.65  --
1319.83/330.47	c  N dy  2327   1583662       585      2540         2     94383      7715   1504682     17.77     18.92  --
1352.19/338.52	c  N dy  2409   1605318       585      2540         2     61412      7715    605558     17.77     18.86  --
1374.56/344.14	c  N dy  2489   1625792       585      2540         2     81647      7715   1134741     17.77     18.72  --
1405.32/351.87	c  N dy  2588   1645995       585      2540         2    101638      7715   1654080     17.78     18.91  --
1432.08/358.51	c  N dy  2684   1666017       585      2540         2     66086      7715    707105     17.79     18.80  --
1456.04/364.52	c  N dy  2777   1686168       585      2540         2     86005      7715   1226655     17.80     19.00  --
1487.60/372.49	c  N dy  2875   1706174       585      2540         2    105737      7715   1739413     17.82     21.72  --
1495.59/374.47	c  S st  2898   1710376       585      2540         2    109889      7715   1848010     17.82   no data  --
1497.19/374.81	c  S st  2898   1710877       585      2540         2    110389      7715   1861964     17.82   no data  --
1497.19/374.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1497.19/374.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1497.19/374.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1497.59/374.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1497.59/374.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1497.59/374.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1497.59/374.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1516.77/379.72	c lits-rem:       297  cl-subs:     3037  v-elim:      0  v-fix:    0  time: 19.10 s
1516.77/379.72	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
1516.77/379.74	c vivif2 --  cl tried   107352 cl shrink        0 lits rem          0 time: 0.09
1517.57/379.90	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.64
1517.57/379.90	c calculated reachability. Time: 0.00
1517.57/379.90	c  N dy  2898   1710877       585      2540         2    107352      7715   1781946     17.82   no data  --
1541.94/386.08	c  N dy  3010   1730962       585      2540         2     70940      7715    817115     17.84     22.79  --
1570.30/393.17	c  N dy  3128   1751655       585      2540         2     91397      7715   1349208     17.86     18.81  --
1604.65/401.72	c  N dy  3178   1771812       585      2540         2    111296      7715   1880259     17.83     18.83  --
1627.42/407.46	c  N dy  3251   1791913       585      2540         2     73825      7715    859832     17.82     18.79  --
1654.58/414.26	c  N dy  3359   1812869       585      2540         2     94511      7715   1403921     17.84     18.84  --
1691.34/423.41	c  N dy  3420   1834662       585      2540         2    115967      7715   1965002     17.83     18.86  --
1711.31/428.40	c  N dy  3465   1854666       585      2540         2     77452      7715    941182     17.81     22.18  --
1741.27/435.92	c  N dy  3539   1877006       585      2540         2     99471      7715   1509041     17.81     18.89  --
1783.22/446.48	c  N dy  3571   1907396       585      2540         2     70090      7715    705698     17.75     18.70  --
1808.38/452.70	c  N dy  3652   1927480       585      2540         2     89937      7715   1220554     17.75     20.34  --
1842.33/461.25	c  N dy  3748   1948593       585      2540         2    110745      7715   1762417     17.76     18.91  --
1869.91/468.14	c  N dy  3813   1969768       585      2540         2     71536      7715    755157     17.75     18.96  --
1905.85/477.19	c  N dy  3885   1998826       585      2540         2    100023      7715   1477267     17.73     18.73  --
1944.21/486.78	c  N dy  3987   2019716       585      2540         2    120693      7715   2021894     17.74     18.75  --
1972.99/493.99	c  N dy  4088   2044724       585      2540         2     84337      7715   1066422     17.73     18.79  --
2004.53/501.83	c  N dy  4176   2064814       585      2540         2    104156      7715   1585585     17.74     18.77  --
2043.70/511.69	c  N dy  4267   2085166       585      2540         2    124259      7715   2113446     17.74     18.71  --
2066.44/517.34	c  N dy  4362   2105175       585      2540         2     81915      7715    982153     17.75     19.31  --
2097.20/525.02	c  N dy  4425   2126459       585      2540         2    102867      7715   1519197     17.74     18.74  --
2132.36/533.83	c  N dy  4478   2147194       585      2540         2    123251      7715   2050507     17.73     18.79  --
2158.72/540.48	c  N dy  4583   2167595       585      2540         2     80319      7715    927885     17.74     19.01  --
2187.48/547.69	c  N dy  4693   2187638       585      2540         2    100092      7715   1448620     17.75     18.73  --
2221.84/556.28	c  N dy  4741   2207886       585      2540         2    120020      7715   1964354     17.74     18.97  --
2228.63/557.97	c  S st  4749   2210879       585      2540         2    122982      7715   2039410     17.74     16.70  --
2230.23/558.36	c  S st  4749   2211383       585      2540         2    123486      7715   2053206     17.74   no data  --
2230.23/558.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2230.23/558.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2230.63/558.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
2231.03/558.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2231.03/558.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2231.03/558.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2231.03/558.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2253.40/564.14	c lits-rem:       309  cl-subs:     3372  v-elim:      0  v-fix:    0  time: 22.50 s
2253.40/564.14	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
2253.40/564.17	c vivif2 --  cl tried   120114 cl shrink        0 lits rem          0 time: 0.11
2254.21/564.34	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.71
2254.21/564.35	c calculated reachability. Time: 0.00
2254.21/564.35	c  N dy  4749   2211383       585      2540         2    120114      7715   1965527     17.74   no data  --
2283.36/571.66	c  N dy  4818   2231393       585      2540         2     75792      7715    780178     17.74     20.24  --
2310.92/578.57	c  N dy  4898   2251399       585      2540         2     95526      7715   1291017     17.74     18.74  --
2347.27/587.69	c  N dy  5019   2272075       585      2540         2    115955      7715   1832434     17.76     18.70  --
2384.82/597.01	c  N dy  5100   2293616       585      2540         2     72082      7715    665503     17.76     18.94  --
2414.78/604.57	c  N dy  5171   2317144       585      2540         2     95259      7715   1262914     17.75     18.92  --
2449.54/613.23	c  N dy  5259   2337450       585      2540         2    115302      7715   1784129     17.75     18.74  --
2489.08/623.10	c  N dy  5374   2357535       585      2540         2     69060      7715    566019     17.77     18.73  --
2512.66/629.08	c  N dy  5467   2377540       585      2540         2     88803      7715   1080413     17.77     21.89  --
2546.21/637.44	c  N dy  5600   2397890       585      2540         2    108917      7715   1614288     17.79     18.82  --
2592.57/649.03	c  N dy  5700   2421016       585      2540         2    131690      7715   2204322     17.80     18.93  --
2618.11/655.41	c  N dy  5755   2441074       585      2540         2     84389      7715    944997     17.79     21.53  --
2649.28/663.21	c  N dy  5868   2461303       585      2540         2    104368      7715   1475614     17.80     18.89  --
2690.42/673.50	c  N dy  5984   2482544       585      2540         2    125351      7715   2031872     17.81     18.94  --
2727.97/682.91	c  N dy  6135   2502571       585      2540         2     77032      7715    738478     17.83     19.35  --
2754.73/689.63	c  N dy  6219   2522634       585      2540         2     96835      7715   1256879     17.83     18.99  --
2790.31/698.51	c  N dy  6317   2542717       585      2540         2    116664      7715   1779570     17.84     18.79  --
2837.83/710.42	c  N dy  6422   2564419       585      2540         2    138142      7715   2342485     17.85     18.84  --
2866.59/717.69	c  N dy  6533   2586831       585      2540         2     91132      7715   1081466     17.86     18.90  --
2898.94/725.71	c  N dy  6619   2606997       585      2540         2    110992      7715   1604252     17.86     18.80  --
2940.88/736.28	c  N dy  6744   2627064       585      2540         2    130801      7715   2130753     17.87     20.44  --
2977.24/745.31	c  N dy  6838   2647126       585      2540         2     80550      7715    785114     17.88     21.84  --
3006.80/752.70	c  N dy  6968   2667176       585      2540         2    100345      7715   1309168     17.89     19.47  --
3043.95/762.07	c  N dy  7076   2687273       585      2540         2    120173      7715   1833455     17.90     20.22  --
3085.50/772.47	c  N dy  7114   2707299       585      2540         2    139878      7715   2333386     17.89     18.88  --
3094.29/774.64	c  S st  7150   2711387       585      2540         2     72877      7715    562845     17.89   no data  --
3095.09/774.82	c  S st  7150   2711889       585      2540         2     73378      7715    575668     17.89   no data  --
3095.09/774.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3095.09/774.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3095.09/774.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3095.09/774.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3095.09/774.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3095.09/774.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3095.09/774.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3103.07/776.80	c lits-rem:       165  cl-subs:       72  v-elim:      0  v-fix:    0  time:  7.70 s
3103.07/776.80	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
3103.07/776.81	c vivif2 --  cl tried    73306 cl shrink        0 lits rem          0 time: 0.04
3103.07/776.88	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.30
3103.07/776.89	c calculated reachability. Time: 0.00
3103.07/776.89	c  N dy  7150   2711889       585      2540         2     73306      7715    573559     17.89   no data  --
3127.44/782.98	c  N dy  7206   2732115       585      2540         2     93273      7715   1096237     17.89     18.98  --
3164.59/792.22	c  N dy  7305   2754229       585      2540         2    115121      7715   1684812     17.89     18.92  --
3205.74/802.54	c  N dy  7389   2774264       585      2540         2    134930      7715   2219578     17.89     21.69  --
3242.49/811.78	c  N dy  7495   2794451       585      2540         2     82753      7715    803844     17.90     18.86  --
3270.06/818.62	c  N dy  7511   2814880       585      2540         2    102816      7715   1328312     17.87     18.83  --
3305.21/827.41	c  N dy  7601   2835029       585      2540         2    122721      7715   1859989     17.88     18.91  --
3350.35/838.75	c  N dy  7683   2855766       585      2540         2    143113      7715   2391358     17.88     18.93  --
3382.30/846.77	c  N dy  7787   2875874       585      2540         2     90023      7715    979617     17.89     19.15  --
3429.44/858.58	c  N dy  7894   2899579       585      2540         2    113382      7715   1599064     17.89     19.01  --
3472.58/869.38	c  N dy  7989   2919622       585      2540         2    133174      7715   2124438     17.90     20.08  --
3515.35/880.05	c  N dy  8098   2939838       585      2540         2     79145      7715    665822     17.90     18.92  --
3542.89/886.96	c  N dy  8202   2959852       585      2540         2     98891      7715   1188519     17.91     19.00  --
3577.27/895.56	c  N dy  8278   2979965       585      2540         2    118712      7715   1711305     17.91     19.05  --
3621.98/906.70	c  N dy  8377   3000011       585      2540         2    138453      7715   2228106     17.92     18.97  --
3664.75/917.41	c  N dy  8459   3024913       585      2540         2     88064      7715    880227     17.91     19.00  --
3695.09/925.01	c  N dy  8518   3044922       585      2540         2    107790      7715   1393922     17.91     18.87  --
3743.03/937.02	c  N dy  8619   3065030       585      2540         2    127645      7715   1915177     17.91     18.91  --
3829.32/958.63	c  N dy  8666   3115136       585      2540         2    100865      7715   1174818     17.87     18.98  --
3864.47/967.40	c  N dy  8727   3135882       585      2540         2    121287      7715   1706442     17.87     18.82  --
3907.61/978.26	c  N dy  8804   3155907       585      2540         2    141011      7715   2215816     17.87     20.14  --
3951.15/989.15	c  N dy  8893   3176408       585      2540         2     84471      7715    750838     17.87     19.00  --
3981.54/996.71	c  N dy  8976   3197178       585      2540         2    104947      7715   1293588     17.87     19.10  --
4004.68/1002.53	c  S st  9000   3211889       585      2540         2    119415      7715   1671981     17.87     17.05  --
4006.28/1002.90	c  S st  9000   3212393       585      2540         2    119918      7715   1686005     17.87   no data  --
4006.28/1002.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4006.28/1002.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4006.28/1002.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
4006.68/1003.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4006.68/1003.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4006.68/1003.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4006.68/1003.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4026.26/1007.96	c lits-rem:       519  cl-subs:     3328  v-elim:      0  v-fix:    0  time: 19.69 s
4026.26/1007.96	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
4026.26/1007.98	c vivif2 --  cl tried   116590 cl shrink        0 lits rem          0 time: 0.09
4027.06/1008.15	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.68
4027.06/1008.16	c calculated reachability. Time: 0.00
4027.06/1008.16	c  N dy  9000   3212393       585      2540         2    116590      7715   1603623     17.87   no data  --
4067.80/1018.33	c  N dy  9090   3232422       585      2540         2    136343      7715   2126514     17.87     19.51  --
4123.73/1032.35	c  N dy  9218   3252541       585      2540         2     78399      7715    570759     17.88     19.09  --
4151.29/1039.23	c  N dy  9317   3272597       585      2540         2     98171      7715   1088291     17.88     20.77  --
4185.25/1047.78	c  N dy  9428   3292652       585      2540         2    117975      7715   1617846     17.89     18.84  --
4230.79/1059.19	c  N dy  9504   3314830       585      2540         2    139852      7715   2188280     17.89     18.91  --
4301.91/1076.95	c  N dy  9592   3343711       585      2540         2     89482      7715    837452     17.89     18.95  --
4340.65/1086.61	c  N dy  9656   3364683       585      2540         2    110128      7715   1372070     17.88     19.20  --
4383.78/1097.46	c  N dy  9769   3384906       585      2540         2    130084      7715   1899151     17.89     18.85  --
4448.49/1113.64	c  N dy  9807   3417920       585      2540         2     82738      7715    640660     17.87     18.95  --
4477.26/1120.81	c  N dy  9885   3437969       585      2540         2    102528      7715   1162984     17.87     23.02  --
4512.84/1129.72	c  N dy  9963   3458111       585      2540         2    122402      7715   1692813     17.87     19.00  --
4558.76/1141.23	c  N dy  9977   3480575       585      2540         2    144416      7715   2252164     17.86     19.03  --
4611.89/1154.51	c  N dy 10049   3504342       585      2540         2     87040      7715    733008     17.85     18.80  --
4642.65/1162.25	c  N dy 10163   3524483       585      2540         2    106920      7715   1256416     17.86     18.86  --
4681.40/1171.97	c  N dy 10278   3544640       585      2540         2    126823      7715   1790795     17.87     18.90  --
4732.13/1184.62	c  N dy 10374   3566075       585      2540         2    147902      7715   2339558     17.87     18.87  --
4780.89/1196.90	c  N dy 10468   3586257       585      2540         2     86056      7715    691993     17.87     18.82  --

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-3175135-1304091135/watcher-3175135-1304091135 -o /tmp/evaluation-result-3175135-1304091135/solver-3175135-1304091135 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175135-1304091135.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: 6.78 7.77 7.83 4/176 28365
/proc/meminfo: memFree=18298120/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=248816 CPUtime=0 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 568 0 0 0 0 0 0 0 18 0 4 0 520710143 254787584 482 33554432000 4194304 4650419 140736175904416 18446744073709551615 254500796959 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 62204 494 340 112 0 57169 0
[pid=28365/tid=28369] ppid=28361 vsize=248816 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 58 0 0 0 0 0 0 0 18 0 4 0 520710143 254787584 511 33554432000 4194304 4650419 140736175904416 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=257164 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 4 0 520710143 263335936 523 33554432000 4194304 4650419 140736175904416 18446744073709551615 254500354406 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=257164 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 4 0 520710143 263335936 539 33554432000 4194304 4650419 140736175904416 18446744073709551615 4411760 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.108423 s]
/proc/loadavg: 6.78 7.77 7.83 4/176 28365
/proc/meminfo: memFree=18298120/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=282764 CPUtime=0.4 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 1875 0 0 0 40 0 0 0 18 0 4 0 520710143 289550336 1722 33554432000 4194304 4650419 140736175904416 18446744073709551615 4361066 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 70691 1722 391 112 0 65656 0
[pid=28365/tid=28369] ppid=28361 vsize=282764 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 437 0 0 0 10 0 0 0 18 0 4 0 520710143 289550336 1722 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=282764 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 420 0 0 0 10 0 0 0 18 0 4 0 520710143 289550336 1722 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=282764 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 222 0 0 0 10 0 0 0 19 0 4 0 520710143 289550336 1722 33554432000 4194304 4650419 140736175904416 18446744073709551615 4333540 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) 282764

[startup+0.200405 s]
/proc/loadavg: 6.78 7.77 7.83 4/176 28365
/proc/meminfo: memFree=18298120/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=283812 CPUtime=0.77 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 2630 0 0 0 77 0 0 0 18 0 4 0 520710143 290623488 1843 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 70953 1843 393 112 0 65918 0
[pid=28365/tid=28369] ppid=28361 vsize=283812 CPUtime=0.19 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 635 0 0 0 19 0 0 0 18 0 4 0 520710143 290623488 1843 33554432000 4194304 4650419 140736175904416 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=283812 CPUtime=0.19 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 613 0 0 0 19 0 0 0 18 0 4 0 520710143 290623488 1844 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=283812 CPUtime=0.19 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 411 0 0 0 19 0 0 0 19 0 4 0 520710143 290623488 1844 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363506 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) 283812

[startup+0.300385 s]
/proc/loadavg: 6.78 7.77 7.83 4/176 28365
/proc/meminfo: memFree=18298120/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=283812 CPUtime=1.17 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 3028 0 0 0 117 0 0 0 18 0 4 0 520710143 290623488 2241 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 70953 2241 393 112 0 65918 0
[pid=28365/tid=28369] ppid=28361 vsize=283812 CPUtime=0.29 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 740 0 0 0 29 0 0 0 18 0 4 0 520710143 290623488 2241 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=283812 CPUtime=0.29 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 720 0 0 0 29 0 0 0 18 0 4 0 520710143 290623488 2241 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=283812 CPUtime=0.29 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 500 0 0 0 29 0 0 0 19 0 4 0 520710143 290623488 2242 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283812

[startup+0.700307 s]
/proc/loadavg: 6.78 7.77 7.83 4/176 28365
/proc/meminfo: memFree=18298120/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=284748 CPUtime=2.77 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 4711 0 0 0 277 0 0 0 18 0 4 0 520710143 291581952 2935 33554432000 4194304 4650419 140736175904416 18446744073709551615 4364346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 71187 2935 393 112 0 66152 0
[pid=28365/tid=28369] ppid=28361 vsize=284748 CPUtime=0.69 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 1140 0 0 0 69 0 0 0 18 0 4 0 520710143 291581952 2935 33554432000 4194304 4650419 140736175904416 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=284748 CPUtime=0.69 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 1173 0 0 0 69 0 0 0 18 0 4 0 520710143 291581952 2935 33554432000 4194304 4650419 140736175904416 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=284748 CPUtime=0.69 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 916 0 0 0 69 0 0 0 19 0 4 0 520710143 291581952 2935 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366869 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) 284748

[startup+1.50115 s]
/proc/loadavg: 6.78 7.77 7.83 10/184 28373
/proc/meminfo: memFree=18273256/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=291756 CPUtime=5.97 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 9391 0 0 0 596 1 0 0 20 0 4 0 520710143 298758144 4946 33554432000 4194304 4650419 140736175904416 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 72939 4946 395 112 0 67904 0
[pid=28365/tid=28369] ppid=28361 vsize=291756 CPUtime=1.49 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 2045 0 0 0 149 0 0 0 20 0 4 0 520710143 298758144 4946 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=291756 CPUtime=1.49 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 2010 0 0 0 149 0 0 0 20 0 4 0 520710143 298758144 4946 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=291756 CPUtime=1.48 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 1653 0 0 0 148 0 0 0 21 0 4 0 520710143 298758144 4946 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363416 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) 291756

[startup+3.10083 s]
/proc/loadavg: 6.78 7.77 7.83 10/184 28374
/proc/meminfo: memFree=18230164/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=283248 CPUtime=12.36 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 18024 0 0 0 1233 3 0 0 25 0 4 0 520710143 290045952 10920 33554432000 4194304 4650419 140736175904416 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 70812 10920 395 112 0 65777 0
[pid=28365/tid=28369] ppid=28361 vsize=283248 CPUtime=3.08 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 4142 0 0 0 308 0 0 0 25 0 4 0 520710143 290045952 10920 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=283248 CPUtime=3.08 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 4811 0 0 0 308 0 0 0 25 0 4 0 520710143 290045952 10920 33554432000 4194304 4650419 140736175904416 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=283248 CPUtime=3.07 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 4331 0 0 0 307 0 0 0 25 0 4 0 520710143 290045952 10920 33554432000 4194304 4650419 140736175904416 18446744073709551615 4328259 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) 283248

[startup+6.3012 s]
/proc/loadavg: 6.88 7.77 7.83 10/184 28374
/proc/meminfo: memFree=18183548/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=292528 CPUtime=25.14 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 24601 0 0 0 2509 5 0 0 25 0 4 0 520710143 299548672 13611 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 73132 13611 395 112 0 68097 0
[pid=28365/tid=28369] ppid=28361 vsize=292528 CPUtime=6.28 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 6497 0 0 0 627 1 0 0 25 0 4 0 520710143 299548672 13611 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=292528 CPUtime=6.28 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 6950 0 0 0 627 1 0 0 25 0 4 0 520710143 299548672 13611 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=292528 CPUtime=6.25 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 5268 0 0 0 625 0 0 0 25 0 4 0 520710143 299548672 13611 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 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) 292528

[startup+12.7009 s]
/proc/loadavg: 6.97 7.77 7.83 10/184 28374
/proc/meminfo: memFree=18126404/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=283536 CPUtime=50.71 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 38974 0 0 0 5062 9 0 0 25 0 4 0 520710143 290340864 20917 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 70884 20917 395 112 0 65849 0
[pid=28365/tid=28369] ppid=28361 vsize=283536 CPUtime=12.68 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 10563 0 0 0 1266 2 0 0 25 0 4 0 520710143 290340864 20917 33554432000 4194304 4650419 140736175904416 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=283536 CPUtime=12.68 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 10929 0 0 0 1266 2 0 0 25 0 4 0 520710143 290340864 20917 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=283536 CPUtime=12.62 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 7222 0 0 0 1261 1 0 0 25 0 4 0 520710143 290340864 20917 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366869 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) 283536

[startup+25.5004 s]
/proc/loadavg: 7.20 7.78 7.83 10/184 28374
/proc/meminfo: memFree=18056608/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=364744 CPUtime=101.83 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 55735 0 0 0 10169 14 0 0 25 0 4 0 520710143 373497856 31584 33554432000 4194304 4650419 140736175904416 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 91186 31584 395 112 0 86151 0
[pid=28365/tid=28369] ppid=28361 vsize=364744 CPUtime=25.48 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 15154 0 0 0 2545 3 0 0 25 0 4 0 520710143 373497856 31584 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=364744 CPUtime=25.48 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 16044 0 0 0 2545 3 0 0 25 0 4 0 520710143 373497856 31584 33554432000 4194304 4650419 140736175904416 18446744073709551615 4304224 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=364744 CPUtime=25.35 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 9096 0 0 0 2533 2 0 0 25 0 4 0 520710143 373497856 31584 33554432000 4194304 4650419 140736175904416 18446744073709551615 4364788 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) 364744

[startup+51.1003 s]
/proc/loadavg: 7.55 7.82 7.84 10/184 28375
/proc/meminfo: memFree=18005600/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=385232 CPUtime=204.1 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 84632 0 0 0 20387 23 0 0 25 0 4 0 520710143 394477568 35416 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 96308 35416 395 112 0 91273 0
[pid=28365/tid=28369] ppid=28361 vsize=385232 CPUtime=51.08 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 23212 0 0 0 5102 6 0 0 25 0 4 0 520710143 394477568 35416 33554432000 4194304 4650419 140736175904416 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=385232 CPUtime=51.08 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 25423 0 0 0 5102 6 0 0 25 0 4 0 520710143 394477568 35416 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=385232 CPUtime=50.81 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 13083 0 0 0 5078 3 0 0 25 0 4 0 520710143 394477568 35416 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 385232

[startup+102.301 s]
/proc/loadavg: 7.80 7.84 7.85 10/184 28376
/proc/meminfo: memFree=17927716/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=382624 CPUtime=408.65 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 138423 0 0 0 40823 42 0 0 25 0 4 0 520710143 391806976 41784 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 95656 41784 395 112 0 90621 0
[pid=28365/tid=28369] ppid=28361 vsize=382624 CPUtime=102.29 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 39709 0 0 0 10219 10 0 0 25 0 4 0 520710143 391806976 41785 33554432000 4194304 4650419 140736175904416 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=382624 CPUtime=102.29 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 37295 0 0 0 10218 11 0 0 25 0 4 0 520710143 391806976 41785 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=382624 CPUtime=101.74 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 23604 0 0 0 10167 7 0 0 25 0 4 0 520710143 391806976 41785 33554432000 4194304 4650419 140736175904416 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 382624

[startup+162.3 s]

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

[pid=28365] ppid=28361 vsize=513992 CPUtime=2805.47 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 433993 0 0 0 280366 181 0 0 25 0 4 0 520710143 526327808 95343 33554432000 4194304 4650419 140736175904416 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 128498 95343 395 112 0 123463 0
[pid=28365/tid=28369] ppid=28361 vsize=513992 CPUtime=702.3 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 129842 0 0 0 70177 53 0 0 25 0 4 0 520710143 526327808 95343 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=513992 CPUtime=702.31 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 131357 0 0 0 70174 57 0 0 25 0 4 0 520710143 526327808 95343 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=513992 CPUtime=698.49 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 72642 0 0 0 69820 29 0 0 25 0 4 0 520710143 526327808 95343 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 513992

[startup+762.301 s]
/proc/loadavg: 8.06 8.02 7.92 10/184 28394
/proc/meminfo: memFree=17446692/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=565668 CPUtime=3045.18 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 455524 0 0 0 304328 190 0 0 25 0 4 0 520710143 579244032 98721 33554432000 4194304 4650419 140736175904416 18446744073709551615 4331993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 141417 98721 395 112 0 136382 0
[pid=28365/tid=28369] ppid=28361 vsize=565668 CPUtime=762.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 137620 0 0 0 76176 56 0 0 25 0 4 0 520710143 579244032 98721 33554432000 4194304 4650419 140736175904416 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=565668 CPUtime=762.33 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 137695 0 0 0 76172 61 0 0 25 0 4 0 520710143 579244032 98721 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=565668 CPUtime=758.18 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 74715 0 0 0 75788 30 0 0 25 0 4 0 520710143 579244032 98721 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.18
Current children cumulated vsize (KiB) 565668

[startup+822.301 s]
/proc/loadavg: 8.09 8.05 7.93 10/184 28395
/proc/meminfo: memFree=17408364/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=577188 CPUtime=3284.84 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 479040 0 0 0 328283 201 0 0 25 0 4 0 520710143 591040512 104093 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 144297 104093 395 112 0 139262 0
[pid=28365/tid=28369] ppid=28361 vsize=577188 CPUtime=822.31 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 142487 0 0 0 82172 59 0 0 25 0 4 0 520710143 591040512 104093 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=577188 CPUtime=822.32 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 145723 0 0 0 82168 64 0 0 25 0 4 0 520710143 591040512 104093 33554432000 4194304 4650419 140736175904416 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=577188 CPUtime=817.85 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 79427 0 0 0 81753 32 0 0 25 0 4 0 520710143 591040512 104093 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 577188

[startup+882.307 s]
/proc/loadavg: 8.10 8.06 7.94 10/184 28397
/proc/meminfo: memFree=17363712/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=684288 CPUtime=3524.54 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 497361 0 0 0 352244 210 0 0 25 0 4 0 520710143 700710912 112453 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 171072 112453 395 112 0 166037 0
[pid=28365/tid=28369] ppid=28361 vsize=684288 CPUtime=882.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 150774 0 0 0 88171 61 0 0 25 0 4 0 520710143 700710912 112453 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=684288 CPUtime=882.33 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 152819 0 0 0 88164 69 0 0 25 0 4 0 520710143 700710912 112453 33554432000 4194304 4650419 140736175904416 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=684288 CPUtime=877.53 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 80029 0 0 0 87720 33 0 0 25 0 4 0 520710143 700710912 112453 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 684288

[startup+942.3 s]
/proc/loadavg: 8.07 8.06 7.95 10/184 28399
/proc/meminfo: memFree=17335312/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=671512 CPUtime=3764.2 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 516169 0 0 0 376201 219 0 0 25 0 4 0 520710143 687628288 120502 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 167878 120502 395 112 0 162843 0
[pid=28365/tid=28369] ppid=28361 vsize=671512 CPUtime=942.31 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 157512 0 0 0 94167 64 0 0 25 0 4 0 520710143 687628288 120502 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=671512 CPUtime=942.32 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 157923 0 0 0 94160 72 0 0 25 0 4 0 520710143 687628288 120502 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=671512 CPUtime=937.2 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 82370 0 0 0 93686 34 0 0 25 0 4 0 520710143 687628288 120502 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 671512

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 7.96 10/184 28400
/proc/meminfo: memFree=17322412/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=789560 CPUtime=4003.88 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 534817 0 0 0 400160 228 0 0 25 0 4 0 520710143 808509440 124878 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 197390 124878 395 112 0 192355 0
[pid=28365/tid=28369] ppid=28361 vsize=789560 CPUtime=1002.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 163652 0 0 0 100164 68 0 0 25 0 4 0 520710143 808509440 124878 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=789560 CPUtime=1002.32 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 165370 0 0 0 100157 75 0 0 25 0 4 0 520710143 808509440 124878 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=789560 CPUtime=996.87 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 84900 0 0 0 99652 35 0 0 25 0 4 0 520710143 808509440 124878 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 789560

[startup+1062.3 s]
/proc/loadavg: 8.21 8.09 7.97 10/184 28402
/proc/meminfo: memFree=17280852/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=684828 CPUtime=4243.58 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 560015 0 0 0 424115 243 0 0 25 0 4 0 520710143 701263872 124945 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 171207 124945 395 112 0 166172 0
[pid=28365/tid=28369] ppid=28361 vsize=684828 CPUtime=1062.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 170573 0 0 0 106160 72 0 0 25 0 4 0 520710143 701263872 124945 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=684828 CPUtime=1062.33 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 172595 0 0 0 106153 80 0 0 25 0 4 0 520710143 701263872 124945 33554432000 4194304 4650419 140736175904416 18446744073709551615 4363620 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=684828 CPUtime=1056.55 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 92064 0 0 0 105617 38 0 0 25 0 4 0 520710143 701263872 124945 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.58
Current children cumulated vsize (KiB) 684828

[startup+1122.3 s]
/proc/loadavg: 8.22 8.11 7.98 10/184 28403
/proc/meminfo: memFree=17303296/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=685008 CPUtime=4483.26 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 575188 0 0 0 448074 252 0 0 25 0 4 0 520710143 701448192 122052 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 171252 122052 395 112 0 166217 0
[pid=28365/tid=28369] ppid=28361 vsize=685008 CPUtime=1122.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 174429 0 0 0 112159 73 0 0 25 0 4 0 520710143 701448192 122052 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=685008 CPUtime=1122.33 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 178846 0 0 0 112150 83 0 0 25 0 4 0 520710143 701448192 122052 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=685008 CPUtime=1116.22 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 92190 0 0 0 111584 38 0 0 25 0 4 0 520710143 701448192 122052 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.26
Current children cumulated vsize (KiB) 685008

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 7.99 10/184 28405
/proc/meminfo: memFree=17259268/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=685140 CPUtime=4722.95 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 591826 0 0 0 472034 261 0 0 25 0 4 0 520710143 701583360 123012 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 171285 123012 395 112 0 166250 0
[pid=28365/tid=28369] ppid=28361 vsize=685140 CPUtime=1182.32 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 180853 0 0 0 118155 77 0 0 25 0 4 0 520710143 701583360 123012 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=685140 CPUtime=1182.34 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 184365 0 0 0 118148 86 0 0 25 0 4 0 520710143 701583360 123012 33554432000 4194304 4650419 140736175904416 18446744073709551615 4328000 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=685140 CPUtime=1175.9 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 92435 0 0 0 117552 38 0 0 25 0 4 0 520710143 701583360 123012 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.95
Current children cumulated vsize (KiB) 685140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.10 8.09 7.99 9/184 28406
/proc/meminfo: memFree=17258276/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=738504 CPUtime=4800.05 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 596458 0 0 0 479742 263 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 184626 124297 395 112 0 179591 0
[pid=28365/tid=28369] ppid=28361 vsize=738504 CPUtime=1201.64 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 182486 0 0 0 120085 79 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=738504 CPUtime=1201.64 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 185529 0 0 0 120078 86 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=738504 CPUtime=1195.1 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 92435 0 0 0 119471 39 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 738504

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

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

[startup+1201.6 s]
/proc/loadavg: 8.10 8.09 7.99 9/184 28406
/proc/meminfo: memFree=17258276/32950928 swapFree=67111528/67111528
[pid=28365] ppid=28361 vsize=738504 CPUtime=4800.05 cores=1,3,5,7
/proc/28365/stat : 28365 (strangenight1-m) R 28361 28365 25471 0 -1 4202496 596458 0 0 0 479742 263 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28365/statm: 184626 124297 395 112 0 179591 0
[pid=28365/tid=28369] ppid=28361 vsize=738504 CPUtime=1201.64 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 182486 0 0 0 120085 79 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28365/tid=28370] ppid=28361 vsize=738504 CPUtime=1201.64 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 185529 0 0 0 120078 86 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28365/tid=28371] ppid=28361 vsize=738504 CPUtime=1195.1 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (strangenight1-m) R 28361 28365 25471 0 -1 4202560 92435 0 0 0 119471 39 0 0 25 0 4 0 520710143 756228096 124297 33554432000 4194304 4650419 140736175904416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 738504

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.11
CPU user time (s): 4797.45
CPU system time (s): 2.65959
CPU usage (%): 399.465
Max. virtual memory (cumulated for all children) (KiB): 850376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 2.65959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596460
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= 446
involuntary context switches= 46485

runsolver used 1.81672 second user time and 4.74728 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 17:32:15
IDJOB=3175135
IDBENCH=82753
IDSOLVER=1588
FILE ID=node149/3175135-1304091135
RUNJOBID= node149-1304091134-28347
PBS_JOBID= 13170452
Free space on /tmp= 71932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175135-1304091135/watcher-3175135-1304091135 -o /tmp/evaluation-result-3175135-1304091135/solver-3175135-1304091135 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175135-1304091135.cnf

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

MD5SUM BENCH= 2eb2fa74ab0dce335225200db81f6563
RANDOM SEED=2003099826

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18298440 kB
Buffers:       2225088 kB
Cached:       11813016 kB
SwapCached:          0 kB
Active:        6063624 kB
Inactive:      8038800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18298440 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12592 kB
Writeback:           0 kB
AnonPages:       63864 kB
Mapped:          14484 kB
Slab:           486056 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185052 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= 71920 MiB
End job on node149 at 2011-04-29 17:52:18