Trace number 3368837

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 (fixed)? (TO) 4800.11 1202.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
MD5SUMc7c56fd965d7a6907a8127d8bee5e481
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark34.9237
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368837-1305404202.cnf'
0.00/0.01	c -- header says num vars:             50
0.00/0.01	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.29/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.29/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.29/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.29/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.29/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.29/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      27 undec:       1 neg:      22
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.17/0.80	c  N dy     7      4226        50      4450         0      3640     31150     67549     15.58     16.45  --
3.17/0.80	c  N dy    15     12748        50      4450         0      5165     31150     82194     14.65     15.49  --
3.17/0.80	c  N dy    40     16794        50      4450         0      8686     31150    147158     15.01     17.23  --
3.57/0.90	c  N dy    63     20895        50      4450         0      7407     31150    119264     15.21     16.73  --
3.57/1.00	c  N dy    88     24918        50      4450         0     10878     31150    182967     15.34     17.62  --
4.00/1.10	c  F st    89     25000        50      4450         0     10945     31150    184190     15.35   no data  --
5.17/1.30	c  N dy    95     30000        50      4450         0      9389     31150    150340     15.35   no data  --
5.17/1.30	c  S st    95     30000        50      4450         0      9389     31150    150340     15.35   no data  --
5.17/1.30	c  S st    95     30502        50      4450         0      9839     31150    159009     15.35   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.18	c lits-rem:      1417  cl-subs:     1662  v-elim:      0  v-fix:    0  time:  3.74 s
9.55/2.40	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.88
9.55/2.40	c calculated reachability. Time: 0.00
9.55/2.40	c  N dy    95     30502        50      4450         0      8177     31150    130899     15.35   no data  --
10.35/2.61	c  N dy   123     34533        50      4450         0     11685     31150    196788     15.53     17.41  --
11.15/2.84	c  N dy   130     39512        50      4450         0      9170     31150    137083     15.36     16.21  --
12.35/3.19	c  N dy   150     45753        50      4450         0     14529     31150    233389     15.36     13.40  --
12.35/3.19	c  S st   150     45753        50      4450         0     14529     31150    233389     15.36     13.40  --
12.78/3.24	c  S st   150     46260        50      4450         0     14983     31150    242057     15.36   no data  --
12.78/3.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.78/3.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.78/3.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.78/3.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.78/3.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.78/3.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.78/3.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.57/4.44	c lits-rem:      1627  cl-subs:     2691  v-elim:      0  v-fix:    0  time:  4.75 s
17.57/4.44	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.57/4.44	c vivif2 --  cl tried    12292 cl shrink        0 lits rem          0 time: 0.01
18.73/4.75	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.23
18.73/4.75	c calculated reachability. Time: 0.00
18.73/4.75	c  N dy   150     46260        50      4450         0     12292     31150    195718     15.36   no data  --
19.54/4.99	c  N dy   155     50348        50      4450         0      8335     31150    117766     15.29     17.10  --
20.73/5.20	c  N dy   186     54438        50      4450         0     11888     31150    184077     15.40     16.27  --
21.57/5.44	c  N dy   199     58518        50      4450         0     15425     31150    249187     15.42     17.16  --
22.33/5.69	c  N dy   212     62573        50      4450         0     10456     31150    149844     15.42     17.35  --
23.53/5.90	c  N dy   232     66612        50      4450         0     13966     31150    214309     15.44     16.29  --
23.93/6.07	c  S st   242     69391        50      4450         0     16359     31150    257210     15.44     14.63  --
24.33/6.11	c  S st   242     69895        50      4450         0     16814     31150    265912     15.44   no data  --
24.33/6.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.33/6.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.33/6.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.33/6.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.33/6.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.33/6.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
24.33/6.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.71/7.27	c lits-rem:      1740  cl-subs:     2352  v-elim:      0  v-fix:    0  time:  4.56 s
28.71/7.27	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.71/7.27	c vivif2 --  cl tried    14462 cl shrink        0 lits rem          0 time: 0.01
29.91/7.60	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.30
29.91/7.60	c calculated reachability. Time: 0.00
29.91/7.60	c  N dy   242     69895        50      4450         0     14462     31150    222942     15.44   no data  --
31.10/7.90	c  N dy   250     74865        50      4450         0      9451     31150    123373     15.38     16.39  --
32.71/8.21	c  N dy   279     80294        50      4450         0     14165     31150    209920     15.42     16.25  --
33.91/8.53	c  N dy   296     85517        50      4450         0     18702     31150    292918     15.43     16.98  --
34.31/8.70	c  F st   313     87500        50      4450         0     20446     31150    325877     15.47   no data  --
35.50/8.99	c  N dy   319     92695        50      4450         0     14670     31150    213573     15.47   no data  --
38.70/9.78	c  N dy   340    104556        50      4450         0     13685     31150    185607     15.38     16.20  --
38.70/9.79	c  S st   342    104843        50      4450         0     13932     31150    190239     15.38     15.24  --
39.13/9.84	c  S st   342    105343        50      4450         0     14372     31150    198512     15.38   no data  --
39.13/9.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.13/9.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.13/9.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.13/9.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.13/9.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.13/9.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.13/9.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.69/10.77	c lits-rem:       657  cl-subs:     1158  v-elim:      0  v-fix:    0  time:  3.69 s
42.69/10.77	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
42.69/10.77	c vivif2 --  cl tried    13214 cl shrink        0 lits rem          0 time: 0.00
43.92/11.08	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.24
43.92/11.08	c calculated reachability. Time: 0.00
43.92/11.08	c  N dy   342    105343        50      4450         0     13214     31150    179548     15.38   no data  --
46.68/11.70	c  N dy   378    114726        50      4450         0     21361     31150    326606     15.38     16.24  --
50.67/12.74	c  N dy   392    129936        50      4450         0     22394     31150    327401     15.20     16.03  --
53.47/13.43	c  N dy   450    138301        50      4450         0     16797     31150    231784     15.28     16.56  --
56.69/14.21	c  N dy   523    147222        50      4450         0     24584     31150    378425     15.37     17.05  --
59.86/15.08	c  N dy   571    158015        50      4450         0     20059     31150    280430     15.40     13.82  --
59.86/15.08	c  S st   571    158015        50      4450         0     20059     31150    280430     15.40     13.82  --
60.26/15.13	c  S st   571    158519        50      4450         0     20515     31150    289266     15.40   no data  --
60.26/15.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.26/15.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.26/15.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.26/15.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.26/15.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.26/15.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.26/15.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.48/16.42	c lits-rem:      1509  cl-subs:     2109  v-elim:      0  v-fix:    0  time:  5.07 s
65.48/16.42	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.48/16.42	c vivif2 --  cl tried    18406 cl shrink        0 lits rem          0 time: 0.01
66.64/16.78	c asymm  cl-useful: 0/3790/4450 lits-rem:0 time: 1.43
66.64/16.78	c calculated reachability. Time: 0.00
66.64/16.78	c  N dy   571    158519        50      4450         0     18406     31150    251999     15.40   no data  --
70.63/17.71	c  N dy   623    168723        50      4450         0     27299     31150    416158     15.44     16.39  --
74.26/18.61	c  N dy   663    179570        50      4450         0     22125     31150    314173     15.44     17.57  --
79.41/19.90	c  N dy   727    192086        50      4450         0     17420     31150    219523     15.47     16.39  --
83.81/21.00	c  N dy   773    204396        50      4450         0     28095     31150    415715     15.49     17.84  --
94.58/23.79	c  N dy   825    235696        50      4450         0     21253     31150    269778     15.34     16.46  --
95.38/23.96	c  S st   831    237778        50      4450         0     23065     31150    302677     15.34     13.97  --
95.78/24.03	c  S st   831    238281        50      4450         0     23514     31150    311278     15.34   no data  --
95.78/24.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.78/24.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.78/24.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
95.78/24.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.78/24.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.78/24.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
95.78/24.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.77/25.51	c lits-rem:      1225  cl-subs:     2247  v-elim:      0  v-fix:    0  time:  5.85 s
101.77/25.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
101.77/25.51	c vivif2 --  cl tried    21267 cl shrink        0 lits rem          0 time: 0.01
101.77/25.59	c asymm  cl-useful: 0/660/4450 lits-rem:0 time: 0.33
101.77/25.60	c calculated reachability. Time: 0.00
101.77/25.60	c  N dy   831    238281        50      4450         0     21267     31150    275938     15.34   no data  --
112.55/28.25	c  N dy   892    266982        50      4450         0     27943     31150    376880     15.28     16.15  --
121.72/30.54	c  N dy  1020    287679        50      4450         0     27043     31150    366732     15.35     16.17  --
128.91/32.37	c  F st  1062    306251        50      4450         0     23277     31150    288951     15.31     13.08  --
128.91/32.37	c  N st  1062    306251        50      4450         0     23277     31150    288951     15.31     13.08  --
138.09/34.65	c  N dy  1142    325858        50      4450         0     40240     31150    602078     15.35     16.88  --
147.67/37.01	c  N dy  1271    345861        50      4450         0     36927     31150    539949     15.41     16.64  --
153.69/38.58	c  S st  1340    357424        50      4450         0     25294     31150    316446     15.44   no data  --
154.06/38.64	c  S st  1340    357927        50      4450         0     25752     31150    325287     15.44   no data  --
154.06/38.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.06/38.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.06/38.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
154.06/38.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.06/38.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.06/38.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.06/38.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.24/40.41	c lits-rem:       876  cl-subs:     1055  v-elim:      0  v-fix:    0  time:  6.98 s
161.24/40.41	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.24/40.41	c vivif2 --  cl tried    24697 cl shrink        0 lits rem          0 time: 0.01
162.47/40.75	c asymm  cl-useful: 0/3131/4450 lits-rem:0 time: 1.36
162.47/40.76	c calculated reachability. Time: 0.00
162.47/40.76	c  N dy  1340    357927        50      4450         0     24697     31150    304502     15.44   no data  --
177.61/44.50	c  N dy  1362    394425        50      4450         0     33506     31150    438471     15.26     16.21  --
193.57/48.58	c  N dy  1482    424314        50      4450         0     36076     31150    483366     15.25     16.07  --
205.98/51.64	c  N dy  1647    444391        50      4450         0     29396     31150    369844     15.33     16.86  --
217.12/54.44	c  N dy  1749    464468        50      4450         0     46775     31150    689197     15.36     18.36  --
228.69/57.37	c  N dy  1906    484478        50      4450         0     39086     31150    540376     15.42     16.26  --
242.67/60.81	c  N dy  2051    504911        50      4450         0     30894     31150    378001     15.46     16.36  --
255.44/64.05	c  N dy  2098    529009        50      4450         0     51535     31150    738399     15.42     16.27  --
259.84/65.16	c  S st  2132    536891        50      4450         0     31566     31150    379664     15.42     13.28  --
260.23/65.25	c  S st  2132    537393        50      4450         0     32008     31150    388214     15.42   no data  --
260.23/65.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
260.23/65.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
260.23/65.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
260.23/65.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.23/65.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.23/65.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
260.23/65.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
270.22/67.76	c lits-rem:      1213  cl-subs:     1937  v-elim:      0  v-fix:    0  time:  9.95 s
270.22/67.76	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
270.22/67.77	c vivif2 --  cl tried    30071 cl shrink        0 lits rem          0 time: 0.02
271.01/67.98	c asymm  cl-useful: 0/1319/4450 lits-rem:0 time: 0.86
271.01/67.98	c calculated reachability. Time: 0.00
271.01/67.98	c  N dy  2132    537393        50      4450         0     30071     31150    355311     15.42   no data  --
282.59/70.84	c  N dy  2230    557404        50      4450         0     47442     31150    675299     15.44     17.52  --
294.96/73.97	c  N dy  2344    577447        50      4450         0     37236     31150    481098     15.47     16.34  --
307.36/77.02	c  N dy  2368    598713        50      4450         0     55400     31150    804424     15.44     16.30  --
320.91/80.49	c  N dy  2519    620776        50      4450         0     46230     31150    645261     15.48     16.34  --
336.08/84.23	c  N dy  2646    640867        50      4450         0     34221     31150    411246     15.51     18.21  --
349.65/87.67	c  N dy  2742    662414        50      4450         0     52830     31150    753908     15.52     16.36  --
364.82/91.44	c  N dy  2814    682471        50      4450         0     39826     31150    501462     15.52     17.22  --
383.98/96.26	c  N dy  2931    707711        50      4450         0     61446     31150    897620     15.53     16.41  --
396.75/99.50	c  N dy  2986    729905        50      4450         0     49570     31150    671623     15.52     16.46  --
414.32/103.82	c  N dy  3112    750092        50      4450         0     35178     31150    410234     15.54     16.39  --
430.69/107.91	c  N dy  3239    774848        50      4450         0     56567     31150    804519     15.55     16.42  --
447.48/112.12	c  N dy  3393    794850        50      4450         0     41109     31150    515237     15.59     17.08  --
454.64/113.99	c  S st  3443    806089        50      4450         0     50763     31150    694534     15.59     15.76  --
455.44/114.14	c  S st  3443    806593        50      4450         0     51210     31150    703226     15.59   no data  --
455.44/114.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
455.44/114.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.44/114.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
455.44/114.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.44/114.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.44/114.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
455.44/114.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
480.18/120.30	c lits-rem:      2454  cl-subs:     5121  v-elim:      0  v-fix:    0  time: 24.38 s
480.18/120.30	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
480.18/120.30	c vivif2 --  cl tried    46089 cl shrink        0 lits rem          0 time: 0.03
480.97/120.53	c asymm  cl-useful: 0/996/4450 lits-rem:0 time: 0.89
480.97/120.53	c calculated reachability. Time: 0.00
480.97/120.53	c  N dy  3443    806593        50      4450         0     46089     31150    606335     15.59   no data  --
499.75/125.23	c  N dy  3484    831039        50      4450         0     33803     31150    367292     15.57     16.50  --
513.34/128.64	c  N dy  3595    851327        50      4450         0     51235     31150    688649     15.58     16.43  --
531.31/133.11	c  N dy  3606    877663        50      4450         0     39501     31150    455551     15.52     16.41  --
546.05/136.81	c  N dy  3715    897680        50      4450         0     56817     31150    776745     15.53     17.73  --
565.20/141.66	c  N dy  3837    917684        50      4450         0     38905     31150    446208     15.55     18.60  --
579.61/145.26	c  N dy  3925    938406        50      4450         0     56780     31150    777638     15.55     16.38  --
600.74/150.60	c  N dy  4015    961630        50      4450         0     40618     31150    467198     15.56     16.44  --
615.90/154.35	c  N dy  4065    984175        50      4450         0     59869     31150    814621     15.55     16.43  --
635.07/159.17	c  N dy  4175   1004237        50      4450         0     40257     31150    456421     15.56     16.86  --
648.64/162.53	c  N dy  4225   1024277        50      4450         0     57420     31150    764392     15.55     16.69  --
669.79/167.85	c  N dy  4346   1044280        50      4450         0     74700     31150   1085885     15.56     17.30  --
685.36/171.74	c  N dy  4445   1064445        50      4450         0     54208     31150    705641     15.57     16.56  --
692.14/173.44	c  F st  4484   1071876        50      4450         0     60600     31150    824087     15.58   no data  --
712.90/178.60	c  N dy  4532   1094118        50      4450         0     40949     31150    451004     15.57     16.41  --
727.67/182.31	c  N dy  4621   1114182        50      4450         0     58212     31150    768404     15.57     16.68  --
749.23/187.77	c  N dy  4753   1134255        50      4450         0     75510     31150   1095366     15.59     17.23  --
764.40/191.54	c  N dy  4823   1154325        50      4450         0     53185     31150    670730     15.59     17.84  --
784.76/196.60	c  N dy  4927   1176815        50      4450         0     72578     31150   1028449     15.59     16.78  --
808.70/202.65	c  N dy  5074   1198697        50      4450         0     51042     31150    627225     15.61     16.48  --
819.49/205.37	c  S st  5102   1209889        50      4450         0     60593     31150    797674     15.60   no data  --
820.72/205.61	c  S st  5102   1210393        50      4450         0     61038     31150    806395     15.60   no data  --
820.72/205.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
820.72/205.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.72/205.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
820.72/205.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.72/205.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.72/205.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
820.72/205.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
898.90/225.21	c lits-rem:      3635  cl-subs:     6802  v-elim:      0  v-fix:    0  time: 77.92 s
898.90/225.21	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
898.90/225.22	c vivif2 --  cl tried    54236 cl shrink        0 lits rem          0 time: 0.04
900.13/225.54	c asymm  cl-useful: 0/639/4450 lits-rem:0 time: 1.30
900.13/225.55	c calculated reachability. Time: 0.00
900.13/225.55	c  N dy  5102   1210393        50      4450         0     54236     31150    686920     15.60   no data  --
919.66/230.48	c  N dy  5166   1230452        50      4450         0     71380     31150    997585     15.60     16.49  --
940.01/235.53	c  N dy  5255   1250618        50      4450         0     47994     31150    562889     15.60     16.45  --
955.19/239.33	c  N dy  5286   1271421        50      4450         0     65758     31150    880048     15.59     16.52  --
984.71/246.79	c  N dy  5408   1295329        50      4450         0     44537     31150    489402     15.60     16.52  --
1003.08/251.37	c  N dy  5490   1316476        50      4450         0     62713     31150    822682     15.60     16.69  --
1032.21/258.63	c  N dy  5642   1336491        50      4450         0     79972     31150   1149581     15.62     17.79  --
1054.56/264.21	c  N dy  5762   1356610        50      4450         0     54439     31150    668633     15.63     16.53  --
1094.89/274.33	c  N dy  5795   1412760        50      4450         0     58564     31150    713298     15.56     16.43  --
1117.24/279.94	c  N dy  5957   1432814        50      4450         0     75844     31150   1043386     15.58     17.64  --
1141.22/285.92	c  N dy  5964   1462332        50      4450         0     56385     31150    670242     15.54     16.46  --
1161.15/290.91	c  N dy  6060   1482374        50      4450         0     73568     31150    986998     15.54     17.07  --
1190.69/298.31	c  N dy  6220   1502416        50      4450         0     45526     31150    483009     15.56     16.45  --
1207.08/302.45	c  N dy  6312   1522437        50      4450         0     62696     31150    801160     15.56     16.42  --
1230.60/308.38	c  N dy  6420   1543229        50      4450         0     80578     31150   1134893     15.57     16.42  --
1260.18/315.75	c  N dy  6513   1570030        50      4450         0     57212     31150    676781     15.57     16.39  --
1282.49/321.38	c  N dy  6602   1594874        50      4450         0     78414     31150   1060043     15.56     16.46  --
1313.63/329.18	c  N dy  6731   1617976        50      4450         0     51137     31150    569200     15.57     16.65  --
1339.58/335.66	c  N dy  6895   1644285        50      4450         0     73742     31150    995374     15.59     16.46  --
1366.33/342.34	c  N dy  7008   1664381        50      4450         0     91052     31150   1319686     15.60     17.46  --
1388.27/347.80	c  N dy  7061   1688195        50      4450         0     63203     31150    769837     15.58     16.44  --
1409.47/353.15	c  N dy  7158   1708454        50      4450         0     80523     31150   1088033     15.59     16.44  --
1412.23/353.81	c  S st  7171   1710396        50      4450         0     82189     31150   1119257     15.59   no data  --
1413.46/354.13	c  S st  7171   1710898        50      4450         0     82637     31150   1128001     15.59   no data  --
1413.46/354.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1413.46/354.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1413.46/354.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1413.86/354.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1413.86/354.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1413.86/354.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1413.86/354.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1577.45/395.26	c lits-rem:      5110  cl-subs:    13288  v-elim:      0  v-fix:    0  time: 163.76 s
1577.45/395.26	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1577.45/395.27	c vivif2 --  cl tried    69349 cl shrink        0 lits rem          0 time: 0.06
1579.45/395.71	c asymm  cl-useful: 0/487/4450 lits-rem:0 time: 1.74
1579.45/395.71	c calculated reachability. Time: 0.00
1579.45/395.71	c  N dy  7171   1710898        50      4450         0     69349     31150    904150     15.59   no data  --
1612.17/403.95	c  N dy  7239   1730957        50      4450         0     86535     31150   1217593     15.59     17.44  --
1635.32/409.70	c  N dy  7342   1751024        50      4450         0     55979     31150    655226     15.59     17.00  --
1658.88/415.70	c  N dy  7429   1775872        50      4450         0     77270     31150   1040788     15.59     16.43  --
1693.21/424.21	c  N dy  7495   1799988        50      4450         0     97876     31150   1414537     15.58     16.43  --
1713.95/429.43	c  N dy  7547   1820071        50      4450         0     65811     31150    814798     15.58     17.96  --
1737.11/435.25	c  N dy  7630   1840107        50      4450         0     82958     31150   1130176     15.58     17.78  --
1785.00/447.25	c  N dy  7721   1884132        50      4450         0     70141     31150    862274     15.55     16.44  --
1810.15/453.50	c  N dy  7822   1904678        50      4450         0     87773     31150   1190841     15.56     16.39  --
1842.50/461.62	c  N dy  7981   1924821        50      4450         0     54027     31150    591731     15.58     16.41  --
1863.25/466.80	c  N dy  8108   1944842        50      4450         0     71241     31150    914612     15.59     17.39  --
1887.21/472.82	c  N dy  8161   1965496        50      4450         0     88910     31150   1237206     15.58     16.41  --
1917.13/480.37	c  N dy  8258   1985554        50      4450         0     53995     31150    582620     15.59     17.74  --
1938.69/485.70	c  N dy  8415   2005613        50      4450         0     71216     31150    910681     15.60     18.47  --
1967.43/492.95	c  N dy  8560   2027004        50      4450         0     89631     31150   1258083     15.61     16.44  --
2002.95/501.85	c  N dy  8701   2047082        50      4450         0     53744     31150    568799     15.62     17.56  --
2023.32/506.94	c  N dy  8823   2067268        50      4450         0     71051     31150    892314     15.63     16.49  --
2058.05/515.64	c  N dy  8935   2095892        50      4450         0     95491     31150   1341072     15.63     16.51  --
2090.02/523.65	c  N dy  8943   2127224        50      4450         0     68122     31150    805338     15.60     16.52  --
2115.53/530.03	c  N dy  9087   2147270        50      4450         0     85394     31150   1131811     15.61     18.10  --
2144.66/537.35	c  N dy  9166   2167278        50      4450         0    102530     31150   1446119     15.62     17.47  --
2173.44/544.58	c  N dy  9275   2189119        50      4450         0     66469     31150    789396     15.62     16.46  --
2198.15/550.76	c  N dy  9402   2209156        50      4450         0     83679     31150   1113193     15.63     16.60  --
2200.95/551.42	c  S st  9418   2210898        50      4450         0     85170     31150   1141852     15.63   no data  --
2201.75/551.67	c  S st  9418   2211403        50      4450         0     85609     31150   1150348     15.63   no data  --
2201.75/551.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2201.75/551.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2202.14/551.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2202.14/551.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2202.14/551.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2202.14/551.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2202.14/551.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2352.61/589.41	c lits-rem:      4392  cl-subs:     9932  v-elim:      0  v-fix:    0  time: 150.33 s
2352.61/589.41	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2352.61/589.43	c vivif2 --  cl tried    75677 cl shrink        0 lits rem          0 time: 0.06
2354.20/589.86	c asymm  cl-useful: 0/468/4450 lits-rem:0 time: 1.70
2354.20/589.86	c calculated reachability. Time: 0.00
2354.20/589.86	c  N dy  9418   2211403        50      4450         0     75677     31150    970100     15.63   no data  --
2388.91/598.51	c  N dy  9494   2231482        50      4450         0     92827     31150   1282625     15.63     17.72  --
2432.45/609.43	c  N dy  9573   2251502        50      4450         0     55006     31150    576120     15.63     16.56  --
2461.15/616.62	c  N dy  9686   2273194        50      4450         0     73598     31150    920727     15.63     16.54  --
2496.28/625.42	c  N dy  9819   2293207        50      4450         0     90768     31150   1244870     15.64     17.91  --
2535.39/635.21	c  N dy  9952   2313267        50      4450         0    108001     31150   1569087     15.65     17.49  --
2563.76/642.40	c  N dy 10087   2333365        50      4450         0     69047     31150    829245     15.66     18.42  --
2592.87/649.64	c  N dy 10161   2358357        50      4450         0     90395     31150   1212802     15.65     16.56  --
2625.24/657.77	c  N dy 10240   2378442        50      4450         0    107567     31150   1530681     15.65     17.31  --
2656.37/665.56	c  N dy 10310   2403633        50      4450         0     71816     31150    856493     15.65     16.48  --
2685.88/672.95	c  N dy 10387   2427035        50      4450         0     91829     31150   1220753     15.65     16.49  --
2709.83/678.98	c  N dy 10391   2449921        50      4450         0    111145     31150   1558307     15.63     16.47  --
2732.99/684.72	c  N dy 10446   2469979        50      4450         0     70410     31150    830015     15.63     17.17  --
2760.13/691.57	c  N dy 10593   2490251        50      4450         0     87839     31150   1161210     15.64     16.48  --
2792.86/699.77	c  N dy 10672   2513628        50      4450         0    107793     31150   1524992     15.64     16.49  --
2825.58/707.99	c  N dy 10774   2533726        50      4450         0     66183     31150    752353     15.64     17.70  --
2844.78/712.79	c  N dy 10805   2553779        50      4450         0     83182     31150   1057641     15.64     16.66  --
2877.88/721.00	c  N dy 10861   2580928        50      4450         0    106316     31150   1472571     15.63     16.47  --
2912.21/729.62	c  N dy 10945   2603129        50      4450         0     65467     31150    725013     15.63     16.57  --
2936.56/735.75	c  N dy 11060   2623171        50      4450         0     82668     31150   1049317     15.63     17.16  --
2964.90/742.85	c  N dy 11144   2643205        50      4450         0     99808     31150   1364928     15.64     17.20  --
3004.42/752.72	c  N dy 11208   2666932        50      4450         0    119939     31150   1723622     15.63     16.47  --
3027.57/758.52	c  N dy 11271   2687434        50      4450         0     76810     31150    925586     15.63     16.57  --
3059.11/766.47	c  N dy 11348   2711403        50      4450         0     97188     31150   1298311     15.63     14.01  --
3059.11/766.47	c  S st 11348   2711403        50      4450         0     97188     31150   1298311     15.63     14.01  --
3060.34/766.78	c  S st 11348   2711906        50      4450         0     97625     31150   1306874     15.63   no data  --
3060.34/766.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3060.34/766.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3060.70/766.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
3060.70/766.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3060.70/766.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3060.70/766.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3060.70/766.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3521.30/882.23	c lits-rem:      4961  cl-subs:    13583  v-elim:      0  v-fix:    0  time: 460.32 s
3521.30/882.23	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3521.30/882.25	c vivif2 --  cl tried    84042 cl shrink        0 lits rem          0 time: 0.07
3523.25/882.70	c asymm  cl-useful: 0/424/4450 lits-rem:0 time: 1.81
3523.25/882.71	c calculated reachability. Time: 0.00
3523.25/882.71	c  N dy 11348   2711906        50      4450         0     84042     31150   1074065     15.63   no data  --
3564.36/893.00	c  N dy 11470   2731979        50      4450         0    101290     31150   1397982     15.63     17.67  --
3609.46/904.37	c  N dy 11539   2752052        50      4450         0    118394     31150   1711730     15.63     17.02  --
3645.77/913.48	c  N dy 11676   2772119        50      4450         0     75284     31150    910079     15.64     18.54  --
3682.49/922.63	c  N dy 11784   2792218        50      4450         0     92438     31150   1231262     15.65     17.95  --
3727.22/933.84	c  N dy 11837   2815104        50      4450         0    111902     31150   1580765     15.64     16.47  --
3771.53/944.96	c  N dy 11965   2835408        50      4450         0     67441     31150    749241     15.65     16.49  --
3799.43/951.95	c  N dy 12040   2855476        50      4450         0     84492     31150   1060505     15.65     17.22  --
3831.37/959.97	c  N dy 12159   2875874        50      4450         0    101956     31150   1388227     15.65     16.57  --
3873.27/970.40	c  N dy 12278   2899259        50      4450         0    122001     31150   1761019     15.66     16.49  --
3904.81/978.30	c  N dy 12392   2921271        50      4450         0     77796     31150    931905     15.66     16.51  --
3935.55/986.02	c  N dy 12542   2941354        50      4450         0     94965     31150   1259106     15.67     18.09  --
3966.69/993.83	c  N dy 12591   2963103        50      4450         0    113524     31150   1593595     15.67     16.52  --
4005.40/1003.57	c  N dy 12707   2983181        50      4450         0     66738     31150    721117     15.67     17.52  --
4029.36/1009.58	c  N dy 12818   3003219        50      4450         0     83837     31150   1040509     15.68     16.80  --
4063.29/1018.07	c  N dy 12932   3024724        50      4450         0    102205     31150   1383653     15.68     16.57  --
4101.60/1027.68	c  N dy 13064   3044804        50      4450         0    119337     31150   1707455     15.69     17.39  --
4147.11/1039.08	c  N dy 13167   3073910        50      4450         0     79162     31150    926077     15.68     16.65  --
4173.85/1045.79	c  N dy 13253   3093977        50      4450         0     96305     31150   1241977     15.69     17.19  --
4212.98/1055.58	c  N dy 13331   3117855        50      4450         0    116533     31150   1611115     15.68     16.53  --
4270.45/1069.90	c  N dy 13457   3152364        50      4450         0     80290     31150    939147     15.68     16.53  --
4304.78/1078.58	c  N dy 13583   3172462        50      4450         0     97455     31150   1264560     15.69     16.96  --
4345.09/1088.66	c  N dy 13685   3192551        50      4450         0    114639     31150   1583757     15.69     18.04  --
4394.18/1100.99	c  S st 13815   3211907        50      4450         0    131260     31150   1899292     15.70     15.18  --
4396.17/1101.49	c  S st 13815   3212410        50      4450         0    131694     31150   1907786     15.70   no data  --
4396.17/1101.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4396.17/1101.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4396.57/1101.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
4396.97/1101.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4396.97/1101.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4396.97/1101.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4396.97/1101.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3368837-1305404202/watcher-3368837-1305404202 -o /tmp/evaluation-result-3368837-1305404202/solver-3368837-1305404202 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368837-1305404202.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: 4.31 6.70 7.55 6/277 31624
/proc/meminfo: memFree=25153924/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 412 0 0 0 1 0 0 0 23 0 4 0 730650754 52465664 352 33554432000 4194304 4650419 140734786739296 18446744073709551615 47635560163250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 12809 352 303 112 0 7774 0
[pid=31624/tid=31625] ppid=31622 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730650754 52465664 352 33554432000 4194304 4650419 140734786739296 18446744073709551615 47635560163254 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730650754 52465664 352 33554432000 4194304 4650419 140734786739296 18446744073709551615 47635560163254 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730650754 52465664 352 33554432000 4194304 4650419 140734786739296 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0790609 s]
/proc/loadavg: 4.31 6.70 7.55 6/277 31624
/proc/meminfo: memFree=25153924/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=281900 CPUtime=0.29 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 1187 0 0 0 29 0 0 0 18 0 4 0 730650754 288665600 1094 33554432000 4194304 4650419 140734786739296 18446744073709551615 4370500 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 70475 1094 366 112 0 65440 0
[pid=31624/tid=31625] ppid=31622 vsize=281900 CPUtime=0.07 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 178 0 0 0 7 0 0 0 18 0 4 0 730650754 288665600 1094 33554432000 4194304 4650419 140734786739296 18446744073709551615 4370895 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=281900 CPUtime=0.07 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 149 0 0 0 7 0 0 0 18 0 4 0 730650754 288665600 1094 33554432000 4194304 4650419 140734786739296 18446744073709551615 4370572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=281900 CPUtime=0.06 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 268 0 0 0 6 0 0 0 25 0 4 0 730650754 288665600 1094 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 281900

[startup+0.129053 s]
/proc/loadavg: 4.31 6.70 7.55 6/277 31624
/proc/meminfo: memFree=25153924/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=283932 CPUtime=0.49 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 2391 0 0 0 49 0 0 0 18 0 4 0 730650754 290746368 2121 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 70983 2121 388 112 0 65948 0
[pid=31624/tid=31625] ppid=31622 vsize=283932 CPUtime=0.12 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 573 0 0 0 12 0 0 0 18 0 4 0 730650754 290746368 2121 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=283932 CPUtime=0.12 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 516 0 0 0 12 0 0 0 18 0 4 0 730650754 290746368 2121 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=283932 CPUtime=0.11 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 347 0 0 0 11 0 0 0 25 0 4 0 730650754 290746368 2121 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 283932

[startup+0.30102 s]
/proc/loadavg: 4.31 6.70 7.55 6/277 31624
/proc/meminfo: memFree=25153924/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=284960 CPUtime=1.17 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 3300 0 0 0 117 0 0 0 18 0 4 0 730650754 291799040 2482 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 71240 2482 390 112 0 66205 0
[pid=31624/tid=31625] ppid=31622 vsize=284960 CPUtime=0.29 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 800 0 0 0 29 0 0 0 18 0 4 0 730650754 291799040 2483 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=284960 CPUtime=0.29 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 740 0 0 0 29 0 0 0 18 0 4 0 730650754 291799040 2483 33554432000 4194304 4650419 140734786739296 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=284960 CPUtime=0.28 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 578 0 0 0 28 0 0 0 25 0 4 0 730650754 291799040 2483 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 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) 284960

[startup+0.700948 s]
/proc/loadavg: 4.31 6.70 7.55 6/277 31624
/proc/meminfo: memFree=25153924/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=286032 CPUtime=2.78 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 5103 0 0 0 277 1 0 0 18 0 4 0 730650754 292896768 3270 33554432000 4194304 4650419 140734786739296 18446744073709551615 4313750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 71508 3270 390 112 0 66473 0
[pid=31624/tid=31625] ppid=31622 vsize=286032 CPUtime=0.69 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1224 0 0 0 69 0 0 0 18 0 4 0 730650754 292896768 3270 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=286032 CPUtime=0.69 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1118 0 0 0 69 0 0 0 18 0 4 0 730650754 292896768 3270 33554432000 4194304 4650419 140734786739296 18446744073709551615 4331130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=286032 CPUtime=0.68 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1152 0 0 0 68 0 0 0 25 0 4 0 730650754 292896768 3270 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286032

[startup+1.5008 s]
/proc/loadavg: 4.31 6.70 7.55 11/281 31628
/proc/meminfo: memFree=25128896/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=291164 CPUtime=5.97 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 8908 0 0 0 595 2 0 0 20 0 4 0 730650754 298151936 4908 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 72791 4908 392 112 0 67756 0
[pid=31624/tid=31625] ppid=31622 vsize=291164 CPUtime=1.49 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1940 0 0 0 149 0 0 0 19 0 4 0 730650754 298151936 4908 33554432000 4194304 4650419 140734786739296 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=291164 CPUtime=1.49 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1795 0 0 0 149 0 0 0 20 0 4 0 730650754 298151936 4908 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=291164 CPUtime=1.47 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 1897 0 0 0 147 0 0 0 25 0 4 0 730650754 298151936 4908 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364777 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) 291164

[startup+3.10051 s]
/proc/loadavg: 4.31 6.70 7.55 9/281 31628
/proc/meminfo: memFree=25098640/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=291588 CPUtime=12.35 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 14689 0 0 0 1233 2 0 0 25 0 4 0 730650754 298586112 8811 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 72897 8811 392 112 0 67862 0
[pid=31624/tid=31625] ppid=31622 vsize=291588 CPUtime=3.08 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 3459 0 0 0 308 0 0 0 25 0 4 0 730650754 298586112 8812 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=291588 CPUtime=3.09 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 3766 0 0 0 309 0 0 0 25 0 4 0 730650754 298586112 8812 33554432000 4194304 4650419 140734786739296 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=291588 CPUtime=3.06 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 3798 0 0 0 306 0 0 0 25 0 4 0 730650754 298586112 8812 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291588

[startup+6.30092 s]
/proc/loadavg: 4.61 6.72 7.55 9/281 31628
/proc/meminfo: memFree=25068136/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=304052 CPUtime=25.13 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 21903 0 0 0 2509 4 0 0 25 0 4 0 730650754 311349248 12823 33554432000 4194304 4650419 140734786739296 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 76013 12823 392 112 0 70978 0
[pid=31624/tid=31625] ppid=31622 vsize=304052 CPUtime=6.29 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 5447 0 0 0 628 1 0 0 25 0 4 0 730650754 311349248 12831 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=304052 CPUtime=6.28 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 5561 0 0 0 628 0 0 0 25 0 4 0 730650754 311349248 12842 33554432000 4194304 4650419 140734786739296 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=304052 CPUtime=6.23 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 5525 0 0 0 623 0 0 0 25 0 4 0 730650754 311349248 12848 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 304052

[startup+12.7007 s]
/proc/loadavg: 4.88 6.75 7.56 9/281 31629
/proc/meminfo: memFree=25040064/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=295324 CPUtime=50.67 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 29910 0 0 0 5062 5 0 0 25 0 4 0 730650754 302411776 15097 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 73831 15097 392 112 0 68796 0
[pid=31624/tid=31625] ppid=31622 vsize=295324 CPUtime=12.69 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 7351 0 0 0 1268 1 0 0 25 0 4 0 730650754 302411776 15097 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=295324 CPUtime=12.69 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 7537 0 0 0 1268 1 0 0 25 0 4 0 730650754 302411776 15097 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=295324 CPUtime=12.58 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 8263 0 0 0 1257 1 0 0 25 0 4 0 730650754 302411776 15097 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 295324

[startup+25.5004 s]
/proc/loadavg: 5.57 6.81 7.56 9/281 31629
/proc/meminfo: memFree=25002300/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=305356 CPUtime=101.77 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 45805 0 0 0 10167 10 0 0 25 0 4 0 730650754 312684544 22091 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 76339 22091 392 112 0 71304 0
[pid=31624/tid=31625] ppid=31622 vsize=305356 CPUtime=25.49 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 11317 0 0 0 2547 2 0 0 25 0 4 0 730650754 312684544 22091 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=305356 CPUtime=25.48 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 11585 0 0 0 2547 1 0 0 25 0 4 0 730650754 312684544 22091 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=305356 CPUtime=25.27 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 12529 0 0 0 2525 2 0 0 25 0 4 0 730650754 312684544 22091 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 305356

[startup+51.1007 s]
/proc/loadavg: 6.46 6.92 7.58 9/281 31630
/proc/meminfo: memFree=24976064/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=297284 CPUtime=203.95 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 67109 0 0 0 20378 17 0 0 25 0 4 0 730650754 304418816 22361 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 74321 22361 392 112 0 69286 0
[pid=31624/tid=31625] ppid=31622 vsize=297284 CPUtime=51.08 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 17017 0 0 0 5104 4 0 0 25 0 4 0 730650754 304418816 22361 33554432000 4194304 4650419 140734786739296 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=297284 CPUtime=51.08 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 16276 0 0 0 5105 3 0 0 25 0 4 0 730650754 304418816 22361 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=297284 CPUtime=50.66 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 18980 0 0 0 5062 4 0 0 25 0 4 0 730650754 304418816 22361 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 297284

[startup+102.31 s]
/proc/loadavg: 7.33 7.08 7.60 9/281 31631
/proc/meminfo: memFree=24915380/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=331072 CPUtime=408.36 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 100665 0 0 0 40805 31 0 0 25 0 4 0 730650754 339017728 30531 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 82768 30531 392 112 0 77733 0
[pid=31624/tid=31625] ppid=31622 vsize=331072 CPUtime=102.3 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 26800 0 0 0 10221 9 0 0 25 0 4 0 730650754 339017728 30531 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=331072 CPUtime=102.28 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 25065 0 0 0 10221 7 0 0 25 0 4 0 730650754 339017728 30531 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=331072 CPUtime=101.46 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 27465 0 0 0 10138 8 0 0 25 0 4 0 730650754 339017728 30531 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.36
Current children cumulated vsize (KiB) 331072

[startup+162.301 s]

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

[pid=31624] ppid=31622 vsize=403784 CPUtime=2563.76 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 311356 0 0 0 256254 122 0 0 25 0 4 0 730650754 413474816 57884 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 100946 57884 392 112 0 95911 0
[pid=31624/tid=31625] ppid=31622 vsize=403784 CPUtime=642.32 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 87853 0 0 0 64201 31 0 0 25 0 4 0 730650754 413474816 57884 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=403784 CPUtime=642.21 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 78227 0 0 0 64188 33 0 0 25 0 4 0 730650754 413474816 57884 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=403784 CPUtime=636.89 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 73019 0 0 0 63659 30 0 0 25 0 4 0 730650754 413474816 57884 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.76
Current children cumulated vsize (KiB) 403784

[startup+702.3 s]
/proc/loadavg: 8.17 7.99 7.83 9/281 31677
/proc/meminfo: memFree=24729912/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=397784 CPUtime=2803.24 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 328941 0 0 0 280194 130 0 0 25 0 4 0 730650754 407330816 60369 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 99446 60369 392 112 0 94411 0
[pid=31624/tid=31625] ppid=31622 vsize=397784 CPUtime=702.31 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 92689 0 0 0 70197 34 0 0 25 0 4 0 730650754 407330816 60369 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=397784 CPUtime=702.2 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 82722 0 0 0 70185 35 0 0 25 0 4 0 730650754 407330816 60369 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=397784 CPUtime=696.4 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 78275 0 0 0 69608 32 0 0 25 0 4 0 730650754 407330816 60369 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2803.24
Current children cumulated vsize (KiB) 397784

[startup+762.31 s]
/proc/loadavg: 8.10 8.00 7.84 9/281 31679
/proc/meminfo: memFree=24665512/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=464212 CPUtime=3042.77 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 342151 0 0 0 304139 138 0 0 25 0 4 0 730650754 475353088 63007 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 116053 63007 392 112 0 111018 0
[pid=31624/tid=31625] ppid=31622 vsize=464212 CPUtime=762.32 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 97438 0 0 0 76196 36 0 0 25 0 4 0 730650754 475353088 63007 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=464212 CPUtime=762.2 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 84851 0 0 0 76184 36 0 0 25 0 4 0 730650754 475353088 63007 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=464212 CPUtime=755.91 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 81095 0 0 0 75557 34 0 0 25 0 4 0 730650754 475353088 63007 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.77
Current children cumulated vsize (KiB) 464212

[startup+822.301 s]
/proc/loadavg: 8.15 8.03 7.86 9/281 31680
/proc/meminfo: memFree=24630364/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=411052 CPUtime=3282.21 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 354233 0 0 0 328076 145 0 0 25 0 4 0 730650754 420917248 60145 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 102763 60145 392 112 0 97728 0
[pid=31624/tid=31625] ppid=31622 vsize=411052 CPUtime=822.31 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 101555 0 0 0 82192 39 0 0 25 0 4 0 730650754 420917248 60145 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=411052 CPUtime=822.18 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 88577 0 0 0 82180 38 0 0 25 0 4 0 730650754 420917248 60145 33554432000 4194304 4650419 140734786739296 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=411052 CPUtime=815.37 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 85101 0 0 0 81501 36 0 0 25 0 4 0 730650754 420917248 60145 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.21
Current children cumulated vsize (KiB) 411052

[startup+882.301 s]
/proc/loadavg: 8.19 8.05 7.87 9/281 31682
/proc/meminfo: memFree=24600792/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=476588 CPUtime=3521.66 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 363273 0 0 0 352019 147 0 0 25 0 4 0 730650754 488026112 62074 33554432000 4194304 4650419 140734786739296 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 119147 62074 392 112 0 114112 0
[pid=31624/tid=31625] ppid=31622 vsize=476588 CPUtime=882.31 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 103297 0 0 0 88192 39 0 0 25 0 4 0 730650754 488026112 62074 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=476588 CPUtime=882.18 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 89741 0 0 0 88179 39 0 0 25 0 4 0 730650754 488026112 62074 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=476588 CPUtime=874.82 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 91235 0 0 0 87445 37 0 0 25 0 4 0 730650754 488026112 62074 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.66
Current children cumulated vsize (KiB) 476588

[startup+942.301 s]
/proc/loadavg: 8.13 8.06 7.89 9/281 31684
/proc/meminfo: memFree=24599532/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=464400 CPUtime=3761.12 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 385865 0 0 0 375957 155 0 0 25 0 4 0 730650754 475545600 61804 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 116100 61804 392 112 0 111065 0
[pid=31624/tid=31625] ppid=31622 vsize=464400 CPUtime=942.32 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 110749 0 0 0 94191 41 0 0 25 0 4 0 730650754 475545600 61804 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=464400 CPUtime=942.17 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 93938 0 0 0 94175 42 0 0 25 0 4 0 730650754 475545600 61804 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=464400 CPUtime=934.29 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 99140 0 0 0 93390 39 0 0 25 0 4 0 730650754 475545600 61804 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.12
Current children cumulated vsize (KiB) 464400

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 7.89 9/281 31685
/proc/meminfo: memFree=24534392/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=452244 CPUtime=4000.61 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 404425 0 0 0 399898 163 0 0 25 0 4 0 730650754 463097856 72846 33554432000 4194304 4650419 140734786739296 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 113061 72846 392 112 0 108026 0
[pid=31624/tid=31625] ppid=31622 vsize=452244 CPUtime=1002.32 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 115399 0 0 0 100189 43 0 0 25 0 4 0 730650754 463097856 72846 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=452244 CPUtime=1002.16 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 98414 0 0 0 100172 44 0 0 25 0 4 0 730650754 463097856 72846 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=452244 CPUtime=993.79 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 103886 0 0 0 99339 40 0 0 25 0 4 0 730650754 463097856 72846 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.61
Current children cumulated vsize (KiB) 452244

[startup+1062.3 s]
/proc/loadavg: 8.14 8.07 7.91 9/281 31687
/proc/meminfo: memFree=24502344/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=452352 CPUtime=4240.12 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 414555 0 0 0 423843 169 0 0 25 0 4 0 730650754 463208448 71612 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 113088 71612 392 112 0 108053 0
[pid=31624/tid=31625] ppid=31622 vsize=452352 CPUtime=1062.32 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 117883 0 0 0 106188 44 0 0 25 0 4 0 730650754 463208448 71612 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=452352 CPUtime=1062.15 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 102905 0 0 0 106169 46 0 0 25 0 4 0 730650754 463208448 71612 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=452352 CPUtime=1053.3 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 104653 0 0 0 105289 41 0 0 25 0 4 0 730650754 463208448 71612 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.12
Current children cumulated vsize (KiB) 452352

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 7.91 9/281 31688
/proc/meminfo: memFree=24483712/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=483688 CPUtime=4479.57 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 428039 0 0 0 447784 173 0 0 25 0 4 0 730650754 495296512 78206 33554432000 4194304 4650419 140734786739296 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 120922 78206 392 112 0 115887 0
[pid=31624/tid=31625] ppid=31622 vsize=483688 CPUtime=1122.33 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 120940 0 0 0 112187 46 0 0 25 0 4 0 730650754 495296512 78206 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=483688 CPUtime=1122.15 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 103485 0 0 0 112168 47 0 0 25 0 4 0 730650754 495296512 78206 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=483688 CPUtime=1112.75 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 108550 0 0 0 111233 42 0 0 25 0 4 0 730650754 495296512 78206 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.57
Current children cumulated vsize (KiB) 483688

[startup+1182.3 s]
/proc/loadavg: 8.08 8.06 7.92 9/281 31690
/proc/meminfo: memFree=24486244/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=483688 CPUtime=4719.04 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 432744 0 0 0 471728 176 0 0 25 0 4 0 730650754 495296512 71435 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 120922 71435 392 112 0 115887 0
[pid=31624/tid=31625] ppid=31622 vsize=483688 CPUtime=1182.33 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 124269 0 0 0 118186 47 0 0 25 0 4 0 730650754 495296512 71435 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=483688 CPUtime=1182.14 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 104117 0 0 0 118167 47 0 0 25 0 4 0 730650754 495296512 71435 33554432000 4194304 4650419 140734786739296 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=483688 CPUtime=1172.22 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 109226 0 0 0 117179 43 0 0 25 0 4 0 730650754 495296512 71435 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4719.04
Current children cumulated vsize (KiB) 483688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.14 8.08 7.93 9/281 31690
/proc/meminfo: memFree=24481772/32951124 swapFree=67083432/67111528
[pid=31624] ppid=31622 vsize=483716 CPUtime=4800.07 cores=1,3,5,7
/proc/31624/stat : 31624 (strangenight1-m) R 31622 31624 31021 0 -1 4202496 435433 0 0 0 479829 178 0 0 25 0 4 0 730650754 495325184 71511 33554432000 4194304 4650419 140734786739296 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31624/statm: 120929 71511 392 112 0 115894 0
[pid=31624/tid=31625] ppid=31622 vsize=483716 CPUtime=1202.64 cores=1,3,5,7
/proc/31624/task/31625/stat : 31625 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 125016 0 0 0 120216 48 0 0 25 0 4 0 730650754 495325184 71511 33554432000 4194304 4650419 140734786739296 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31624/tid=31626] ppid=31622 vsize=483716 CPUtime=1202.44 cores=1,3,5,7
/proc/31624/task/31626/stat : 31626 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 105689 0 0 0 120196 48 0 0 25 0 4 0 730650754 495325184 71511 33554432000 4194304 4650419 140734786739296 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31624/tid=31627] ppid=31622 vsize=483716 CPUtime=1192.33 cores=1,3,5,7
/proc/31624/task/31627/stat : 31627 (strangenight1-m) R 31622 31624 31021 0 -1 4202560 109454 0 0 0 119190 43 0 0 25 0 4 0 730650754 495325184 71511 33554432000 4194304 4650419 140734786739296 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 483716

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.63
CPU time (s): 4800.11
CPU user time (s): 4798.32
CPU system time (s): 1.79673
CPU usage (%): 399.134
Max. virtual memory (cumulated for all children) (KiB): 549224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.32
system time used= 1.79673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435433
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= 298
involuntary context switches= 33498

runsolver used 2.91456 second user time and 7.40887 second system time

The end

Launcher Data

Begin job on node110 at 2011-05-14 22:16:42
IDJOB=3368837
IDBENCH=82846
IDSOLVER=1846
FILE ID=node110/3368837-1305404202
RUNJOBID= node110-1305404202-31602
PBS_JOBID= 13324476
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368837-1305404202/watcher-3368837-1305404202 -o /tmp/evaluation-result-3368837-1305404202/solver-3368837-1305404202 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368837-1305404202.cnf

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

MD5SUM BENCH= c7c56fd965d7a6907a8127d8bee5e481
RANDOM SEED=1850679536

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25154700 kB
Buffers:        277372 kB
Cached:        4040940 kB
SwapCached:       1440 kB
Active:        4284204 kB
Inactive:      3183284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25154700 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:     3147940 kB
Mapped:          22996 kB
Slab:           245656 kB
PageTables:      19996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46192776 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= 73580 MiB
End job on node110 at 2011-05-14 22:36:46