Trace number 3175247

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.32 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
MD5SUM9ba35b45d3c5bc2de5bf2217a9a677d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.055991
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.02	c Using 4 threads
0.00/0.02	c This is CryptoMiniSat 2.9.0
0.00/0.02	c compiled with gcc version 4.4.5
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3175247-1304103614.cnf'
0.00/0.02	c -- header says num vars:            600
0.00/0.02	c -- header says num clauses:        2556
0.00/0.03	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.03	c -- vars added        600
0.00/0.03	c Parsing time:  0.01 s
0.00/0.03	c  N st     0         0       600      2556         0         0      7668         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.01 s
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:     270 undec:      71 neg:     259
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.15/0.80	c  B st     0         0       582      2538         0         0      7706         0   no data   no data  --
3.15/0.80	c Decided on static restart strategy
3.15/0.80	c  N st     8      4919       582      2538         0      4839      7706    131671   no data   no data  --
3.15/0.80	c  N st    10     11302       582      2538         0      4498      7706     85799   no data   no data  --
3.15/0.80	c  N st    11     17045       582      2538         0     10160      7706    248769   no data   no data  --
4.76/1.20	c  F st    12     25001       582      2538         0     12394      7706    292437   no data   no data  --
4.76/1.20	c  N st    12     25001       582      2538         0     12394      7706    292437   no data   no data  --
5.55/1.40	c  N dy    18     30001       582      2538         0     10706      7706    230651   no data   no data  --
5.55/1.40	c  S st    18     30001       582      2538         0     10706      7706    230651   no data   no data  --
5.55/1.43	c  S st    18     30505       582      2538         0     11210      7706    243452   no data   no data  --
5.55/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.55/1.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.55/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
5.55/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.69	c lits-rem:       148  cl-subs:      372  v-elim:      0  v-fix:    0  time:  0.98 s
6.37/1.70	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.04
6.37/1.70	c calculated reachability. Time: 0.00
6.37/1.70	c  N dy    18     30505       582      2538         0     10838      7706    231845   no data   no data  --
7.55/1.92	c  N dy    33     34533       582      2538         0     14825      7706    331357     17.69     18.75  --
8.35/2.13	c  N dy    41     38600       582      2538         0     11018      7706    182105     17.25     18.88  --
9.55/2.46	c  N dy    65     43768       582      2538         0     16142      7706    315523     17.37     18.43  --
10.35/2.60	c  S st    69     45758       582      2538         0      9254      7706    113727     17.20     17.23  --
10.35/2.63	c  S st    69     46260       582      2538         0      9756      7706    126041     17.20   no data  --
10.35/2.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
10.35/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.76/2.72	c lits-rem:         9  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.32 s
10.76/2.72	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
10.76/2.72	c vivif2 --  cl tried     9741 cl shrink        0 lits rem          0 time: 0.00
10.76/2.73	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.03
10.76/2.73	c calculated reachability. Time: 0.00
10.76/2.73	c  N dy    69     46260       582      2538         0      9741      7706    125655     17.20   no data  --
11.54/2.99	c  N dy    80     50976       582      2538         0     14396      7706    244721     17.09     18.18  --
12.74/3.26	c  N dy    93     55018       582      2538         0     18402      7706    347735     16.96     20.34  --
13.95/3.51	c  N dy   118     59074       582      2538         0     12553      7706    177163     17.08     19.55  --
14.75/3.77	c  N dy   141     63132       582      2538         0     16580      7706    279404     17.18     18.11  --
15.94/4.08	c  N dy   155     67236       582      2538         0     20646      7706    384072     17.15     20.45  --
16.74/4.23	c  S st   164     69391       582      2538         0     11892      7706    136913     17.14     17.06  --
16.74/4.27	c  S st   164     69898       582      2538         0     12398      7706    149410     17.14   no data  --
16.74/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.74/4.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.74/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
16.74/4.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.54/4.42	c lits-rem:        14  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.60 s
17.54/4.42	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
17.54/4.43	c vivif2 --  cl tried    12374 cl shrink        0 lits rem          0 time: 0.01
17.54/4.44	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.04
17.54/4.44	c calculated reachability. Time: 0.00
17.54/4.44	c  N dy   164     69898       582      2538         0     12374      7706    148653     17.14   no data  --
18.73/4.73	c  N dy   186     74522       582      2538         0     16961      7706    263853     17.18     18.20  --
20.34/5.10	c  N dy   212     79326       582      2538         0     21724      7706    384284     17.24     20.63  --
21.54/5.49	c  N dy   220     84722       582      2538         0     15163      7706    195810     17.14     18.12  --
22.34/5.67	c  F st   229     87502       582      2538         0     17900      7706    262424     17.09   no data  --
23.53/5.93	c  N st   234     90800       582      2538         0     21161      7706    348400     17.09   no data  --
25.93/6.50	c  N dy   250     98225       582      2538         0     15647      7706    192454     17.06     18.18  --
27.92/7.01	c  N dy   286    104574       582      2538         0     21931      7706    354437     17.13     19.96  --
27.92/7.04	c  S st   289    104847       582      2538         0     22203      7706    361387     17.13   no data  --
27.92/7.10	c  S st   289    105351       582      2538         0     22706      7706    375237     17.13   no data  --
27.92/7.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.92/7.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.34/7.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
28.34/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
28.34/7.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
31.92/8.03	c lits-rem:       321  cl-subs:      481  v-elim:      0  v-fix:    0  time:  3.64 s
31.92/8.03	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
31.92/8.03	c vivif2 --  cl tried    22225 cl shrink        0 lits rem          0 time: 0.02
31.92/8.05	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.07
31.92/8.05	c calculated reachability. Time: 0.00
31.92/8.05	c  N dy   289    105351       582      2538         0     22225      7706    362340     17.13   no data  --
34.32/8.68	c  N dy   307    112094       582      2538         0     15052      7706    157550     17.10     18.20  --
36.71/9.24	c  N dy   355    119327       582      2538         0     22216      7706    342201     17.19     18.61  --
39.90/10.07	c  N dy   394    126966       582      2538         0     14933      7706    132281     17.22     18.15  --
42.71/10.73	c  N dy   427    135339       582      2538         0     23219      7706    340085     17.20     18.13  --
46.32/11.68	c  N dy   482    144120       582      2538         0     16079      7706    141114     17.27     18.28  --
49.49/12.48	c  N dy   515    154077       582      2538         0     25962      7706    395222     17.27     18.21  --
51.49/12.90	c  S st   541    158027       582      2538         0     29877      7706    497628     17.30   no data  --
51.49/12.96	c  S st   541    158528       582      2538         0     30377      7706    509732     17.30   no data  --
51.49/12.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.49/12.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.49/12.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
51.49/12.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.49/12.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.49/12.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
51.49/12.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
57.89/14.55	c lits-rem:       547  cl-subs:      481  v-elim:      0  v-fix:    0  time:  6.25 s
57.89/14.55	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
57.89/14.56	c vivif2 --  cl tried    29896 cl shrink        0 lits rem          0 time: 0.02
57.89/14.58	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.10
57.89/14.59	c calculated reachability. Time: 0.00
57.89/14.59	c  N dy   541    158528       582      2538         0     29896      7706    495196     17.30   no data  --
61.88/15.53	c  N dy   588    168673       582      2538         0     23101      7706    304786     17.31     20.48  --
66.27/16.66	c  N dy   646    179476       582      2538         0     33810      7706    579660     17.35     18.35  --
70.67/17.75	c  N dy   710    190988       582      2538         0     27375      7706    395725     17.39     18.36  --
76.68/19.27	c  N dy   765    203270       582      2538         0     20717      7706    203680     17.42     25.19  --
82.25/20.60	c  N dy   824    216295       582      2538         0     33610      7706    535326     17.42     18.34  --
88.25/22.15	c  N dy   865    230204       582      2538         0     27562      7706    357767     17.38     18.37  --
92.24/23.17	c  S st   892    237792       582      2538         0     35060      7706    552191     17.37     17.01  --
92.64/23.26	c  S st   892    238295       582      2538         0     35563      7706    565262     17.37   no data  --
92.64/23.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.64/23.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.64/23.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
92.64/23.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.64/23.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.64/23.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
92.64/23.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
100.22/25.14	c lits-rem:       562  cl-subs:      675  v-elim:      0  v-fix:    0  time:  7.39 s
100.22/25.14	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
100.22/25.15	c vivif2 --  cl tried    34888 cl shrink        0 lits rem          0 time: 0.02
100.22/25.18	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.12
100.22/25.18	c calculated reachability. Time: 0.00
100.22/25.18	c  N dy   892    238295       582      2538         0     34888      7706    545997     17.37   no data  --
107.44/26.91	c  N dy   947    253545       582      2538         0     29184      7706    374840     17.36     20.58  --
115.81/29.07	c  N dy  1015    269738       582      2538         0     23433      7706    212681     17.36     23.27  --
123.79/31.08	c  N dy  1074    286972       582      2538         0     40474      7706    651657     17.36     19.24  --
132.99/33.33	c  N dy  1172    305335       582      2538         0     35957      7706    527607     17.41     21.31  --
133.38/33.46	c  F st  1179    306251       582      2538         0     36863      7706    551421     17.41   no data  --
136.18/34.15	c Decided on static restart strategy
142.59/35.72	c  N st  1188    324959       582      2538         0     31584      7706    603334     17.41   no data  --
155.35/38.91	c  N st  1190    348956       582      2538         0     30529      7706    566835     17.41   no data  --
159.75/40.00	c  S st  1191    357442       582      2538         0     38858      7706    805476     17.41   no data  --
159.75/40.10	c  S st  1191    357946       582      2538         0     39361      7706    818659     17.41   no data  --
160.17/40.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.17/40.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.17/40.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
160.17/40.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.17/40.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.17/40.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
160.17/40.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
169.35/42.41	c lits-rem:       746  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  9.07 s
169.35/42.41	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
169.35/42.42	c vivif2 --  cl tried    37621 cl shrink        0 lits rem          0 time: 0.04
169.35/42.46	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.16
169.35/42.47	c calculated reachability. Time: 0.00
169.35/42.47	c  N st  1191    357946       582      2538         0     37621      7706    766422     17.41   no data  --
188.11/47.15	c  N st  1192    390339       582      2538         0     43753      7706    890398     17.41   no data  --
218.05/54.62	c  N st  1193    438928       582      2538         0     37521      7706    661923     17.41   no data  --
261.61/65.58	c  N st  1194    511811       582      2538         0     51288      7706   1035507     17.41   no data  --
279.56/70.08	c  N st  1195    536921       582      2538         0     45549      7706    817088     17.41   no data  --
279.56/70.08	c  S st  1195    536921       582      2538         0     45549      7706    817088     17.41   no data  --
279.96/70.19	c  S st  1195    537423       582      2538         0     46051      7706    830057     17.41   no data  --
279.96/70.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
279.96/70.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.36/70.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
280.36/70.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.36/70.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.36/70.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
280.36/70.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
289.55/72.53	c lits-rem:      2813  cl-subs:     1296  v-elim:      0  v-fix:    0  time:  9.16 s
289.55/72.53	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
289.55/72.54	c vivif2 --  cl tried    44755 cl shrink        0 lits rem          0 time: 0.04
289.55/72.59	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.21
289.55/72.59	c calculated reachability. Time: 0.00
289.55/72.59	c  N st  1195    537423       582      2538         0     44755      7706    792241     17.41   no data  --
411.02/102.96	c  N st  1196    701407       582      2538         0     38883      7706    530663     17.41   no data  --
484.89/121.43	c  N st  1197    806134       582      2538         0     67925      7706   1373990     17.41   no data  --
484.89/121.43	c  S st  1197    806134       582      2538         0     67925      7706   1373990     17.41   no data  --
485.71/121.66	c  S st  1197    806635       582      2538         0     68425      7706   1387804     17.41   no data  --
485.71/121.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
485.71/121.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
486.08/121.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
486.08/121.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
486.08/121.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.08/121.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
486.08/121.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
503.66/126.18	c lits-rem:       330  cl-subs:     3125  v-elim:      0  v-fix:    0  time: 17.72 s
503.66/126.18	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
504.06/126.20	c vivif2 --  cl tried    65300 cl shrink        0 lits rem          0 time: 0.06
504.06/126.29	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.35
504.06/126.29	c calculated reachability. Time: 0.00
504.06/126.29	c  N st  1197    806635       582      2538         0     65300      7706   1297225     17.41   no data  --
755.32/189.13	c  F st  1198   1071875       582      2538         0     80778      7706   1563368     17.41   no data  --
755.32/189.13	c  N st  1198   1071875       582      2538         0     80778      7706   1563368     17.41   no data  --
775.32/194.14	c  N dy  1289   1091888       582      2538         0     56565      7706    785287     17.45     20.35  --
798.47/199.97	c  N dy  1391   1112725       582      2538         0     77212      7706   1321471     17.48     18.54  --
824.43/206.42	c  N dy  1507   1133370       582      2538         0     52384      7706    620062     17.52     18.48  --
845.20/211.66	c  N dy  1597   1153479       582      2538         0     72259      7706   1138758     17.53     18.49  --
872.38/218.41	c  N dy  1687   1173518       582      2538         0     92078      7706   1658260     17.55     19.34  --
891.13/223.14	c  N dy  1799   1193617       582      2538         0     65591      7706    933083     17.59     19.71  --
912.71/228.54	c  S st  1894   1209953       582      2538         0     81742      7706   1355666     17.62   no data  --
913.51/228.78	c  S st  1894   1210456       582      2538         0     82245      7706   1368583     17.62   no data  --
913.51/228.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
913.51/228.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
913.91/228.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
913.91/228.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
913.91/228.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
913.91/228.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
913.91/228.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
923.10/231.12	c lits-rem:       216  cl-subs:     1418  v-elim:      0  v-fix:    0  time:  9.00 s
923.10/231.12	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
923.10/231.14	c vivif2 --  cl tried    80827 cl shrink        0 lits rem          0 time: 0.06
923.50/231.25	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.44
923.50/231.25	c calculated reachability. Time: 0.00
923.50/231.25	c  N dy  1894   1210456       582      2538         0     80827      7706   1328137     17.62   no data  --
947.09/237.11	c  N dy  1956   1230515       582      2538         0     53221      7706    571161     17.60     21.03  --
966.24/241.94	c  N dy  2038   1250748       582      2538         0     73246      7706   1088511     17.60     18.58  --
994.60/249.00	c  N dy  2146   1270823       582      2538         0     93123      7706   1606286     17.63     21.45  --
1014.57/254.03	c  N dy  2255   1290877       582      2538         0     64531      7706    839623     17.65     18.61  --
1038.54/260.04	c  N dy  2356   1311070       582      2538         0     84506      7706   1366990     17.67     18.69  --
1069.72/267.85	c  N dy  2425   1336545       582      2538         0     60208      7706    699963     17.64     18.62  --
1092.47/273.50	c  N dy  2543   1356551       582      2538         0     79978      7706   1220117     17.67     19.34  --
1124.83/281.64	c  N dy  2619   1379661       582      2538         0     52399      7706    464344     17.65     18.62  --
1144.01/286.45	c  N dy  2713   1399708       582      2538         0     72236      7706    983299     17.67     19.09  --
1169.96/292.94	c  N dy  2785   1419795       582      2538         0     92068      7706   1502443     17.66     25.99  --
1197.92/299.95	c  N dy  2874   1444165       582      2538         0     64727      7706    758114     17.64     18.65  --
1222.29/306.05	c  N dy  2991   1464280       582      2538         0     84611      7706   1275482     17.67     18.61  --
1255.84/314.47	c  N dy  3079   1486074       582      2538         0     53788      7706    456842     17.66     18.62  --
1275.42/319.34	c  N dy  3173   1506174       582      2538         0     73641      7706    972632     17.67     18.63  --
1302.60/326.14	c  N dy  3262   1526231       582      2538         0     93473      7706   1491918     17.68     18.63  --
1332.15/333.54	c  N dy  3374   1546253       582      2538         0     59915      7706    598131     17.71     21.22  --
1353.71/338.92	c  N dy  3463   1566266       582      2538         0     79695      7706   1115500     17.71     19.13  --
1384.08/346.56	c  N dy  3555   1586300       582      2538         0     99526      7706   1637641     17.72     20.11  --
1410.44/353.11	c  N dy  3640   1606586       582      2538         0     65183      7706    711832     17.73     18.86  --
1433.61/358.96	c  N dy  3739   1626764       582      2538         0     85160      7706   1240313     17.74     18.76  --
1463.16/366.37	c  N dy  3801   1646813       582      2538         0    104943      7706   1754898     17.73     18.71  --
1487.56/372.48	c  N dy  3870   1668423       582      2538         0     70946      7706    842847     17.73     18.94  --
1514.70/379.30	c  N dy  3958   1688984       582      2538         0     91277      7706   1370395     17.74     19.03  --
1549.07/387.86	c  N dy  4057   1709063       582      2538         0    111115      7706   1896997     17.75     18.83  --
1551.85/388.56	c  S st  4060   1710457       582      2538         0    112488      7706   1932047     17.75   no data  --
1553.06/388.86	c  S st  4060   1710958       582      2538         0     56662      7706    440875     17.75   no data  --
1553.06/388.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1553.06/388.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1553.06/388.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
1553.06/388.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1553.06/388.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1553.06/388.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
1553.06/388.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1559.04/390.30	c lits-rem:        34  cl-subs:       11  v-elim:      0  v-fix:    0  time:  5.60 s
1559.04/390.30	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
1559.04/390.31	c vivif2 --  cl tried    56651 cl shrink        0 lits rem          0 time: 0.02
1559.04/390.37	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.22
1559.04/390.37	c calculated reachability. Time: 0.00
1559.04/390.37	c  N dy  4060   1710958       582      2538         0     56651      7706    440757     17.75   no data  --
1580.20/395.61	c  N dy  4176   1731033       582      2538         0     76496      7706    963607     17.76     21.71  --
1608.57/402.80	c  N dy  4244   1751795       582      2538         0     96985      7706   1493754     17.76     18.75  --
1650.92/413.38	c  N dy  4373   1772726       582      2538         0     60397      7706    517866     17.78     18.76  --
1675.68/419.55	c  N dy  4460   1792850       582      2538         0     80277      7706   1037970     17.79     18.87  --
1710.43/428.21	c  N dy  4567   1815794       582      2538         0    102915      7706   1632418     17.80     18.80  --
1749.58/438.05	c  N dy  4654   1843604       582      2538         0     72006      7706    781000     17.78     18.94  --
1773.94/444.13	c  N dy  4695   1863673       582      2538         0     91771      7706   1286264     17.77     18.72  --
1809.50/453.06	c  N dy  4820   1884646       582      2538         0    112518      7706   1835529     17.78     18.74  --
1836.66/459.86	c  N dy  4885   1905449       582      2538         0     73805      7706    812017     17.78     19.04  --
1863.42/466.54	c  N dy  5000   1925537       582      2538         0     93684      7706   1337233     17.79     20.16  --
1898.17/475.25	c  N dy  5091   1945799       582      2538         0    113659      7706   1858116     17.80     18.81  --
1924.93/481.98	c  N dy  5191   1965943       582      2538         0     73340      7706    798779     17.81     18.77  --
1951.70/488.62	c  N dy  5299   1986282       582      2538         0     93438      7706   1328164     17.82     18.96  --
2006.83/502.48	c  N dy  5373   2019687       582      2538         0     65089      7706    550522     17.79     18.82  --
2030.40/508.34	c  N dy  5472   2039707       582      2538         0     84859      7706   1072374     17.80     22.26  --
2059.55/515.63	c  N dy  5508   2059734       582      2538         0    104527      7706   1572005     17.78     19.51  --
2096.72/524.94	c  N dy  5587   2080017       582      2538         0     62478      7706    472167     17.78     18.88  --
2121.08/531.08	c  N dy  5684   2102935       582      2538         0     85084      7706   1067475     17.79     18.73  --
2154.23/539.35	c  N dy  5774   2123921       582      2538         0    105773      7706   1607271     17.79     19.07  --
2192.98/549.04	c  N dy  5869   2143984       582      2538         0    125630      7706   2132234     17.79     19.51  --
2224.53/556.92	c  N dy  5930   2172292       582      2538         0     90365      7706   1186771     17.78     18.88  --
2259.29/565.66	c  N dy  6027   2193192       582      2538         0    111022      7706   1732781     17.78     18.86  --
2293.64/574.21	c  S st  6074   2210959       582      2538         0     64434      7706    480392     17.78     15.01  --
2294.04/574.36	c  S st  6074   2211460       582      2538         0     64933      7706    493638     17.78   no data  --
2294.04/574.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2294.04/574.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2294.04/574.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
2294.44/574.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2294.44/574.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2294.44/574.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
2294.44/574.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2300.83/576.04	c lits-rem:        36  cl-subs:       34  v-elim:      0  v-fix:    0  time:  6.49 s
2300.83/576.04	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
2300.83/576.04	c vivif2 --  cl tried    64899 cl shrink        0 lits rem          0 time: 0.03
2301.23/576.11	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.26
2301.23/576.11	c calculated reachability. Time: 0.00
2301.23/576.11	c  N dy  6074   2211460       582      2538         0     64899      7706    492924     17.78   no data  --
2329.19/583.10	c  N dy  6179   2232108       582      2538         0     85329      7706   1027795     17.79     18.88  --
2361.57/591.23	c  N dy  6281   2252365       582      2538         0    105352      7706   1554460     17.79     18.78  --
2402.29/601.47	c  N dy  6402   2272390       582      2538         0    125140      7706   2079602     17.81     22.13  --
2429.86/608.39	c  N dy  6477   2292422       582      2538         0     79733      7706    856695     17.81     20.17  --
2464.21/616.95	c  N dy  6519   2318111       582      2538         0    104969      7706   1498667     17.78     18.72  --
2503.35/626.73	c  N dy  6623   2338432       582      2538         0    125074      7706   2034750     17.79     18.82  --
2534.52/634.59	c  N dy  6735   2358484       582      2538         0     78777      7706    813462     17.80     18.77  --
2562.08/641.41	c  N dy  6803   2378696       582      2538         0     98693      7706   1333342     17.80     18.82  --
2601.23/651.21	c  N dy  6899   2399135       582      2538         0    118853      7706   1857686     17.81     19.01  --
2641.17/661.27	c  N dy  6992   2419187       582      2538         0     71561      7706    605151     17.82     18.94  --
2669.93/668.41	c  N dy  7057   2442275       582      2538         0     94250      7706   1190807     17.81     18.81  --
2703.49/676.80	c  N dy  7126   2462347       582      2538         0    114007      7706   1711884     17.81     21.86  --
2746.23/687.50	c  N dy  7238   2482400       582      2538         0    133821      7706   2239322     17.82     19.30  --
2775.01/694.74	c  N dy  7302   2505211       582      2538         0     88289      7706   1027564     17.82     18.83  --
2806.54/702.63	c  N dy  7409   2525290       582      2538         0    108099      7706   1556964     17.82     20.66  --
2845.31/712.35	c  N dy  7497   2545375       582      2538         0    127929      7706   2078783     17.83     18.84  --
2880.85/721.24	c  N dy  7559   2566405       582      2538         0     79604      7706    768094     17.82     18.81  --
2910.01/728.51	c  N dy  7691   2586439       582      2538         0     99411      7706   1298612     17.83     18.83  --
2945.56/737.42	c  N dy  7789   2606516       582      2538         0    119259      7706   1825229     17.84     18.91  --
2991.09/748.82	c  N dy  7906   2627453       582      2538         0    139935      7706   2372332     17.84     18.94  --
3015.07/754.88	c  N dy  7985   2647454       582      2538         0     89600      7706   1020568     17.85     18.83  --
3048.62/763.20	c  N dy  8055   2667503       582      2538         0    109327      7706   1532268     17.84     19.00  --
3090.16/773.64	c  N dy  8169   2687561       582      2538         0    129173      7706   2061174     17.85     21.89  --
3126.91/782.80	c  N dy  8240   2707719       582      2538         0     78008      7706    694698     17.85     18.87  --
3131.30/783.93	c  S st  8254   2711460       582      2538         0     81699      7706    789909     17.85   no data  --
3132.10/784.14	c  S st  8254   2711963       582      2538         0     82202      7706    803120     17.85   no data  --
3132.10/784.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3132.10/784.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3132.10/784.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3132.50/784.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3132.50/784.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3132.50/784.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
3132.50/784.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3143.29/786.98	c lits-rem:       922  cl-subs:      602  v-elim:      0  v-fix:    0  time: 11.05 s
3143.29/786.98	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
3143.29/786.99	c vivif2 --  cl tried    81600 cl shrink        0 lits rem          0 time: 0.05
3143.71/787.09	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.38
3143.71/787.09	c calculated reachability. Time: 0.00
3143.71/787.09	c  N dy  8254   2711963       582      2538         0     81600      7706    786333     17.85   no data  --
3172.04/794.10	c  N dy  8346   2732106       582      2538         0    101490      7706   1313685     17.86     19.04  --
3206.00/802.63	c  N dy  8408   2752797       582      2538         0    121864      7706   1844540     17.85     18.80  --
3249.57/813.59	c  N dy  8499   2773078       582      2538         0    141850      7706   2369435     17.85     18.84  --
3278.30/820.76	c  N dy  8597   2793120       582      2538         0     89632      7706    979151     17.86     20.88  --
3310.67/828.80	c  N dy  8698   2813730       582      2538         0    109989      7706   1521369     17.86     18.83  --
3349.41/838.52	c  N dy  8782   2834012       582      2538         0    129996      7706   2054735     17.87     18.85  --
3394.57/849.84	c  N dy  8831   2854615       582      2538         0     77292      7706    635662     17.86     18.89  --
3431.30/859.02	c  N dy  8962   2874649       582      2538         0     97122      7706   1167102     17.87     18.85  --
3474.84/869.90	c  N dy  9073   2894768       582      2538         0    116999      7706   1700845     17.88     18.85  --
3518.78/880.92	c  N dy  9131   2914908       582      2538         0    136823      7706   2217410     17.88     18.99  --
3557.15/890.58	c  N dy  9213   2934977       582      2538         0     82595      7706    748050     17.88     20.19  --
3585.09/897.51	c  N dy  9243   2955134       582      2538         0    102433      7706   1251459     17.87     18.87  --
3623.83/907.24	c  N dy  9353   2976394       582      2538         0    123413      7706   1805198     17.87     19.02  --
3668.18/918.38	c  N dy  9436   2996484       582      2538         0    143260      7706   2329326     17.87     21.09  --
3701.34/926.66	c  N dy  9516   3016963       582      2538         0     88464      7706    890488     17.87     19.09  --
3744.87/937.59	c  N dy  9616   3039900       582      2538         0    111101      7706   1495793     17.87     18.89  --
3789.22/948.66	c  N dy  9699   3060099       582      2538         0    131019      7706   2019765     17.88     18.89  --
3843.93/962.34	c  N dy  9815   3083553       582      2538         0     78193      7706    596050     17.88     18.99  --
3872.30/969.44	c  N dy  9910   3104313       582      2538         0     98719      7706   1146076     17.89     18.91  --
3907.05/978.11	c  N dy  9985   3124357       582      2538         0    118430      7706   1658587     17.89     18.93  --
3995.33/1000.26	c  N dy 10056   3170373       582      2538         0     86672      7706    782248     17.86     18.80  --
4036.09/1010.49	c  N dy 10119   3196865       582      2538         0    112681      7706   1456983     17.85     18.80  --
4065.63/1017.86	c  S st 10197   3211963       582      2538         0    127537      7706   1846663     17.86     17.29  --
4067.23/1018.24	c  S st 10197   3212466       582      2538         0    128040      7706   1860366     17.86   no data  --
4067.23/1018.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4067.23/1018.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4067.63/1018.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
4067.63/1018.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4067.63/1018.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4067.63/1018.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    582 time:  0.00 s
4067.63/1018.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4090.40/1024.07	c lits-rem:       157  cl-subs:     4981  v-elim:      0  v-fix:    0  time: 22.72 s
4090.40/1024.07	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
4090.40/1024.09	c vivif2 --  cl tried   123059 cl shrink        0 lits rem          0 time: 0.10
4091.20/1024.27	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.73
4091.20/1024.28	c calculated reachability. Time: 0.00
4091.20/1024.28	c  N dy 10197   3212466       582      2538         0    123059      7706   1745759     17.86   no data  --
4131.55/1034.34	c  N dy 10226   3232543       582      2538         0    142822      7706   2252243     17.85     19.04  --
4233.01/1059.70	c  N dy 10266   3294306       582      2538         0    125602      7706   1718426     17.79     18.80  --
4276.95/1070.80	c  N dy 10391   3314337       582      2538         0    145393      7706   2257553     17.80     21.68  --
4334.50/1085.10	c  N dy 10459   3346522       582      2538         0     98417      7706   1040136     17.78     18.84  --
4372.02/1094.54	c  N dy 10511   3367180       582      2538         0    118745      7706   1561490     17.77     18.72  --
4425.55/1107.97	c  N dy 10621   3387417       582      2538         0    138726      7706   2091436     17.78     18.82  --
4482.68/1122.23	c  N dy 10738   3407467       582      2538         0    158527      7706   2615870     17.79     21.45  --
4513.43/1129.93	c  N dy 10861   3427561       582      2538         0     98701      7706   1064641     17.79     22.25  --
4548.18/1138.68	c  N dy 10957   3447584       582      2538         0    118459      7706   1593751     17.80     18.78  --
4594.91/1150.37	c  N dy 11061   3467633       582      2538         0    138258      7706   2118280     17.80     19.43  --
4647.64/1163.59	c  N dy 11184   3487688       582      2538         0    158094      7706   2652749     17.81     18.75  --
4680.40/1171.74	c  N dy 11230   3509101       582      2538         0     98419      7706   1043161     17.80     18.81  --
4715.95/1180.65	c  N dy 11344   3529273       582      2538         0    118315      7706   1578228     17.81     18.78  --
4761.11/1191.98	c  N dy 11414   3550439       582      2538         0    139200      7706   2123250     17.81     18.76  --

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-3175247-1304103614/watcher-3175247-1304103614 -o /tmp/evaluation-result-3175247-1304103614/solver-3175247-1304103614 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175247-1304103614.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: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 415 0 0 0 0 0 0 0 22 0 4 0 521961053 52465664 354 33554432000 4194304 4650419 140735161348032 18446744073709551615 47127271495602 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 12809 354 303 112 0 7774 0
[pid=26346/tid=26347] ppid=26344 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521961053 52465664 354 33554432000 4194304 4650419 140735161348032 18446744073709551615 47127271495592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521961053 52465664 354 33554432000 4194304 4650419 140735161348032 18446744073709551615 47127271495600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521961053 52465664 354 33554432000 4194304 4650419 140735161348032 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.682292 s]
/proc/loadavg: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=284752 CPUtime=2.68 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 4557 0 0 0 268 0 0 0 18 0 4 0 521961053 291586048 2812 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 71188 2812 393 112 0 66153 0
[pid=26346/tid=26347] ppid=26344 vsize=284752 CPUtime=0.67 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1054 0 0 0 67 0 0 0 18 0 4 0 521961053 291586048 2812 33554432000 4194304 4650419 140735161348032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=284752 CPUtime=0.67 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1046 0 0 0 67 0 0 0 18 0 4 0 521961053 291586048 2812 33554432000 4194304 4650419 140735161348032 18446744073709551615 274664505099 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=284752 CPUtime=0.65 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 985 0 0 0 65 0 0 0 25 0 4 0 521961053 291586048 2812 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 284752

[startup+0.700512 s]
/proc/loadavg: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=284752 CPUtime=2.75 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 4605 0 0 0 275 0 0 0 18 0 4 0 521961053 291586048 2860 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 71188 2860 393 112 0 66153 0
[pid=26346/tid=26347] ppid=26344 vsize=284752 CPUtime=0.69 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1066 0 0 0 69 0 0 0 18 0 4 0 521961053 291586048 2860 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=284752 CPUtime=0.69 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1058 0 0 0 69 0 0 0 18 0 4 0 521961053 291586048 2860 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=284752 CPUtime=0.67 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 997 0 0 0 67 0 0 0 25 0 4 0 521961053 291586048 2860 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 284752

[startup+0.800497 s]
/proc/loadavg: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=294032 CPUtime=3.15 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 5210 0 0 0 315 0 0 0 18 0 4 0 521961053 301088768 2878 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 73508 2880 393 112 0 68473 0
[pid=26346/tid=26347] ppid=26344 vsize=294032 CPUtime=0.79 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1305 0 0 0 79 0 0 0 18 0 4 0 521961053 301088768 2881 33554432000 4194304 4650419 140735161348032 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=294032 CPUtime=0.79 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1154 0 0 0 79 0 0 0 18 0 4 0 521961053 301088768 2882 33554432000 4194304 4650419 140735161348032 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=294032 CPUtime=0.77 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1193 0 0 0 77 0 0 0 25 0 4 0 521961053 301088768 2882 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 294032

[startup+0.900478 s]
/proc/loadavg: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=285496 CPUtime=3.55 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 5774 0 0 0 355 0 0 0 19 0 4 0 521961053 292347904 2821 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 71374 2821 393 112 0 66339 0
[pid=26346/tid=26347] ppid=26344 vsize=285496 CPUtime=0.89 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1373 0 0 0 89 0 0 0 19 0 4 0 521961053 292347904 2821 33554432000 4194304 4650419 140735161348032 18446744073709551615 4314839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=285496 CPUtime=0.89 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1361 0 0 0 89 0 0 0 19 0 4 0 521961053 292347904 2821 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=285496 CPUtime=0.87 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1254 0 0 0 87 0 0 0 25 0 4 0 521961053 292347904 2821 33554432000 4194304 4650419 140735161348032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 285496

[startup+1.50038 s]
/proc/loadavg: 3.56 6.22 7.36 6/178 26346
/proc/meminfo: memFree=30850692/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=285964 CPUtime=5.95 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 9314 0 0 0 594 1 0 0 20 0 4 0 521961053 292827136 4902 33554432000 4194304 4650419 140735161348032 18446744073709551615 4476201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 71491 4902 395 112 0 66456 0
[pid=26346/tid=26347] ppid=26344 vsize=285964 CPUtime=1.49 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1879 0 0 0 149 0 0 0 20 0 4 0 521961053 292827136 4902 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=285964 CPUtime=1.49 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1921 0 0 0 149 0 0 0 20 0 4 0 521961053 292827136 4903 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=285964 CPUtime=1.46 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 1790 0 0 0 146 0 0 0 25 0 4 0 521961053 292827136 4903 33554432000 4194304 4650419 140735161348032 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285964

[startup+3.1011 s]
/proc/loadavg: 3.56 6.22 7.36 9/182 26350
/proc/meminfo: memFree=30764736/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=272088 CPUtime=12.34 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 17562 0 0 0 1231 3 0 0 25 0 4 0 521961053 278618112 10695 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 68022 10695 395 112 0 62987 0
[pid=26346/tid=26347] ppid=26344 vsize=272088 CPUtime=3.07 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 3930 0 0 0 307 0 0 0 25 0 4 0 521961053 278618112 10695 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=272088 CPUtime=3.09 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 4608 0 0 0 308 1 0 0 25 0 4 0 521961053 278618112 10695 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=272088 CPUtime=3.06 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 4156 0 0 0 306 0 0 0 25 0 4 0 521961053 278618112 10695 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 272088

[startup+6.30055 s]
/proc/loadavg: 4.08 6.29 7.38 9/182 26350
/proc/meminfo: memFree=30734672/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=287992 CPUtime=25.13 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 25139 0 0 0 2508 5 0 0 25 0 4 0 521961053 294903808 15149 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 71998 15149 395 112 0 66963 0
[pid=26346/tid=26347] ppid=26344 vsize=287992 CPUtime=6.26 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 6053 0 0 0 626 0 0 0 25 0 4 0 521961053 294903808 15149 33554432000 4194304 4650419 140735161348032 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=287992 CPUtime=6.28 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 6839 0 0 0 627 1 0 0 25 0 4 0 521961053 294903808 15149 33554432000 4194304 4650419 140735161348032 18446744073709551615 4303982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=287992 CPUtime=6.26 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 5712 0 0 0 625 1 0 0 25 0 4 0 521961053 294903808 15149 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 287992

[startup+12.7064 s]
/proc/loadavg: 4.47 6.33 7.39 9/182 26350
/proc/meminfo: memFree=30687548/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=288324 CPUtime=50.71 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 37165 0 0 0 5064 7 0 0 25 0 4 0 521961053 295243776 22025 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 72081 22025 395 112 0 67046 0
[pid=26346/tid=26347] ppid=26344 vsize=288324 CPUtime=12.63 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 9274 0 0 0 1262 1 0 0 25 0 4 0 521961053 295243776 22025 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=288324 CPUtime=12.69 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 10122 0 0 0 1267 2 0 0 25 0 4 0 521961053 295243776 22025 33554432000 4194304 4650419 140735161348032 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=288324 CPUtime=12.66 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 7921 0 0 0 1265 1 0 0 25 0 4 0 521961053 295243776 22025 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 288324

[startup+25.5002 s]
/proc/loadavg: 5.25 6.41 7.39 9/182 26351
/proc/meminfo: memFree=30627348/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=364812 CPUtime=101.83 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 55399 0 0 0 10171 12 0 0 25 0 4 0 521961053 373567488 30023 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 91203 30023 395 112 0 86168 0
[pid=26346/tid=26347] ppid=26344 vsize=364812 CPUtime=25.36 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 14527 0 0 0 2534 2 0 0 25 0 4 0 521961053 373567488 30023 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=364812 CPUtime=25.49 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 16512 0 0 0 2545 4 0 0 25 0 4 0 521961053 373567488 30023 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=364812 CPUtime=25.47 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 9920 0 0 0 2545 2 0 0 25 0 4 0 521961053 373567488 30023 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 364812

[startup+51.1008 s]
/proc/loadavg: 6.25 6.55 7.41 9/182 26360
/proc/meminfo: memFree=30571248/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=364332 CPUtime=204.08 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 81734 0 0 0 20387 21 0 0 25 0 4 0 521961053 373075968 37953 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 91083 37953 395 112 0 86048 0
[pid=26346/tid=26347] ppid=26344 vsize=364332 CPUtime=50.83 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 20835 0 0 0 5078 5 0 0 25 0 4 0 521961053 373075968 37953 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=364332 CPUtime=51.09 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 25007 0 0 0 5102 7 0 0 25 0 4 0 521961053 373075968 37953 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=364332 CPUtime=51.06 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 12916 0 0 0 5103 3 0 0 25 0 4 0 521961053 373075968 37953 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 364332

[startup+102.301 s]
/proc/loadavg: 7.38 6.81 7.45 9/182 26362
/proc/meminfo: memFree=30490972/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=396796 CPUtime=408.59 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 112332 0 0 0 40826 33 0 0 25 0 4 0 521961053 406319104 49784 33554432000 4194304 4650419 140735161348032 18446744073709551615 4328361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 99199 49784 395 112 0 94164 0
[pid=26346/tid=26347] ppid=26344 vsize=396796 CPUtime=101.75 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 28694 0 0 0 10167 8 0 0 25 0 4 0 521961053 406319104 49784 33554432000 4194304 4650419 140735161348032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=396796 CPUtime=102.28 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 31605 0 0 0 10219 9 0 0 25 0 4 0 521961053 406319104 49784 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=396796 CPUtime=102.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 20879 0 0 0 10219 6 0 0 25 0 4 0 521961053 406319104 49784 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 396796

[startup+162.307 s]

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

[pid=26346] ppid=26344 vsize=533656 CPUtime=2805.36 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 350616 0 0 0 280374 162 0 0 25 0 4 0 521961053 546463744 90422 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 133414 90425 395 112 0 128379 0
[pid=26346/tid=26347] ppid=26344 vsize=533656 CPUtime=698.51 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 93517 0 0 0 69804 47 0 0 25 0 4 0 521961053 546463744 90425 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=533656 CPUtime=702.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 104010 0 0 0 70184 45 0 0 25 0 4 0 521961053 546463744 90425 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=533656 CPUtime=702.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 64691 0 0 0 70194 31 0 0 25 0 4 0 521961053 546463744 90425 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 533656

[startup+762.301 s]
/proc/loadavg: 8.20 7.97 7.76 9/182 26382
/proc/meminfo: memFree=30160032/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=559048 CPUtime=3045.02 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 367878 0 0 0 304330 172 0 0 25 0 4 0 521961053 572465152 98088 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 139762 98088 395 112 0 134727 0
[pid=26346/tid=26347] ppid=26344 vsize=559048 CPUtime=758.18 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 96698 0 0 0 75769 49 0 0 25 0 4 0 521961053 572465152 98088 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=559048 CPUtime=762.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 112022 0 0 0 76179 50 0 0 25 0 4 0 521961053 572465152 98088 33554432000 4194304 4650419 140735161348032 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=559048 CPUtime=762.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 68863 0 0 0 76191 34 0 0 25 0 4 0 521961053 572465152 98088 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 559048

[startup+822.307 s]
/proc/loadavg: 8.18 8.00 7.79 9/182 26384
/proc/meminfo: memFree=30153796/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=599192 CPUtime=3284.71 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 382946 0 0 0 328291 180 0 0 25 0 4 0 521961053 613572608 94431 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 149798 94431 395 112 0 144763 0
[pid=26346/tid=26347] ppid=26344 vsize=599192 CPUtime=817.85 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 100178 0 0 0 81735 50 0 0 25 0 4 0 521961053 613572608 94431 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=599192 CPUtime=822.3 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 116925 0 0 0 82176 54 0 0 25 0 4 0 521961053 613572608 94431 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=599192 CPUtime=822.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 70402 0 0 0 82190 35 0 0 25 0 4 0 521961053 613572608 94431 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 599192

[startup+882.301 s]
/proc/loadavg: 8.06 8.00 7.80 9/182 26385
/proc/meminfo: memFree=30091020/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=675900 CPUtime=3524.37 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 401654 0 0 0 352247 190 0 0 25 0 4 0 521961053 692121600 106875 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 168975 106875 395 112 0 163940 0
[pid=26346/tid=26347] ppid=26344 vsize=675900 CPUtime=877.53 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 103395 0 0 0 87702 51 0 0 25 0 4 0 521961053 692121600 106875 33554432000 4194304 4650419 140735161348032 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=675900 CPUtime=882.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 123287 0 0 0 88172 57 0 0 25 0 4 0 521961053 692121600 106875 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=675900 CPUtime=882.24 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 75378 0 0 0 88186 38 0 0 25 0 4 0 521961053 692121600 106875 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 675900

[startup+942.301 s]
/proc/loadavg: 8.10 8.02 7.81 9/182 26387
/proc/meminfo: memFree=30085272/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=624508 CPUtime=3764.05 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 418697 0 0 0 376201 204 0 0 25 0 4 0 521961053 639496192 104765 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 156127 104765 395 112 0 151092 0
[pid=26346/tid=26347] ppid=26344 vsize=624508 CPUtime=937.19 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 109303 0 0 0 93665 54 0 0 25 0 4 0 521961053 639496192 104765 33554432000 4194304 4650419 140735161348032 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=624508 CPUtime=942.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 130032 0 0 0 94167 62 0 0 25 0 4 0 521961053 639496192 104765 33554432000 4194304 4650419 140735161348032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=624508 CPUtime=942.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 77460 0 0 0 94184 41 0 0 25 0 4 0 521961053 639496192 104765 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 624508

[startup+1002.3 s]
/proc/loadavg: 8.10 8.03 7.83 9/182 26389
/proc/meminfo: memFree=30071732/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=629536 CPUtime=4003.72 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 437664 0 0 0 400152 220 0 0 25 0 4 0 521961053 644644864 106857 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 157384 106857 395 112 0 152349 0
[pid=26346/tid=26347] ppid=26344 vsize=629536 CPUtime=996.87 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 113642 0 0 0 99629 58 0 0 25 0 4 0 521961053 644644864 106857 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=629536 CPUtime=1002.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 136499 0 0 0 100162 67 0 0 25 0 4 0 521961053 644644864 106857 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=629536 CPUtime=1002.25 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 82446 0 0 0 100180 45 0 0 25 0 4 0 521961053 644644864 106857 33554432000 4194304 4650419 140735161348032 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 629536

[startup+1062.3 s]
/proc/loadavg: 8.10 8.04 7.84 9/182 26390
/proc/meminfo: memFree=30058536/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=695280 CPUtime=4243.39 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 454929 0 0 0 424107 232 0 0 25 0 4 0 521961053 711966720 105663 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 173820 105663 395 112 0 168785 0
[pid=26346/tid=26347] ppid=26344 vsize=695280 CPUtime=1056.54 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 117329 0 0 0 105594 60 0 0 25 0 4 0 521961053 711966720 105663 33554432000 4194304 4650419 140735161348032 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=695280 CPUtime=1062.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 143742 0 0 0 106155 74 0 0 25 0 4 0 521961053 711966720 105663 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=695280 CPUtime=1062.24 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 84327 0 0 0 106178 46 0 0 25 0 4 0 521961053 711966720 105663 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 695280

[startup+1122.3 s]
/proc/loadavg: 8.09 8.04 7.85 9/182 26392
/proc/meminfo: memFree=30040396/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=736852 CPUtime=4483.08 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 472737 0 0 0 448062 246 0 0 25 0 4 0 521961053 754536448 115691 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 184213 115691 395 112 0 179178 0
[pid=26346/tid=26347] ppid=26344 vsize=736852 CPUtime=1116.22 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 122140 0 0 0 111559 63 0 0 25 0 4 0 521961053 754536448 115691 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=736852 CPUtime=1122.29 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 149366 0 0 0 112150 79 0 0 25 0 4 0 521961053 754536448 115691 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=736852 CPUtime=1122.24 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 88404 0 0 0 112175 49 0 0 25 0 4 0 521961053 754536448 115691 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 736852

[startup+1182.3 s]
/proc/loadavg: 8.08 8.05 7.86 9/182 26393
/proc/meminfo: memFree=30048288/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=654216 CPUtime=4722.74 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 490624 0 0 0 472016 258 0 0 25 0 4 0 521961053 669917184 105267 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 163554 105267 395 112 0 158519 0
[pid=26346/tid=26347] ppid=26344 vsize=654216 CPUtime=1175.89 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 129125 0 0 0 117521 68 0 0 25 0 4 0 521961053 669917184 105267 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=654216 CPUtime=1182.28 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 155760 0 0 0 118144 84 0 0 25 0 4 0 521961053 669917184 105267 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=654216 CPUtime=1182.24 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 89481 0 0 0 118174 50 0 0 25 0 4 0 521961053 669917184 105267 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 654216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.04 7.86 9/182 26394
/proc/meminfo: memFree=30024840/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=707780 CPUtime=4800.27 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 497014 0 0 0 479764 263 0 0 25 0 4 0 521961053 724766720 111360 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 176945 111360 395 112 0 171910 0
[pid=26346/tid=26347] ppid=26344 vsize=707780 CPUtime=1195.19 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 130490 0 0 0 119450 69 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=707780 CPUtime=1201.7 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 157693 0 0 0 120084 86 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=707780 CPUtime=1201.65 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 91636 0 0 0 120114 51 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 707780

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.04 7.86 9/182 26394
/proc/meminfo: memFree=30024840/32951132 swapFree=67111356/67111528
[pid=26346] ppid=26344 vsize=707780 CPUtime=4800.27 cores=1,3,5,7
/proc/26346/stat : 26346 (strangenight1-m) R 26344 26346 26305 0 -1 4202496 497014 0 0 0 479764 263 0 0 25 0 4 0 521961053 724766720 111360 33554432000 4194304 4650419 140735161348032 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26346/statm: 176945 111360 395 112 0 171910 0
[pid=26346/tid=26347] ppid=26344 vsize=707780 CPUtime=1195.19 cores=1,3,5,7
/proc/26346/task/26347/stat : 26347 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 130490 0 0 0 119450 69 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26346/tid=26348] ppid=26344 vsize=707780 CPUtime=1201.7 cores=1,3,5,7
/proc/26346/task/26348/stat : 26348 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 157693 0 0 0 120084 86 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26346/tid=26349] ppid=26344 vsize=707780 CPUtime=1201.65 cores=1,3,5,7
/proc/26346/task/26349/stat : 26349 (strangenight1-m) R 26344 26346 26305 0 -1 4202560 91636 0 0 0 120114 51 0 0 25 0 4 0 521961053 724766720 111361 33554432000 4194304 4650419 140735161348032 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 707780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.32
CPU user time (s): 4797.67
CPU system time (s): 2.6546
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 760304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.67
system time used= 2.6546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497016
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= 408
involuntary context switches= 33387

runsolver used 1.77673 second user time and 4.77127 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 21:00:14
IDJOB=3175247
IDBENCH=82865
IDSOLVER=1588
FILE ID=node131/3175247-1304103614
RUNJOBID= node131-1304103614-26324
PBS_JOBID= 13170641
Free space on /tmp= 71380 MiB

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

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

MD5SUM BENCH= 9ba35b45d3c5bc2de5bf2217a9a677d5
RANDOM SEED=22952784

node131.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30851848 kB
Buffers:        198984 kB
Cached:        1523304 kB
SwapCached:        168 kB
Active:         160980 kB
Inactive:      1630156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30851848 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12480 kB
Writeback:           8 kB
AnonPages:       68920 kB
Mapped:          15368 kB
Slab:           242740 kB
PageTables:       5096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   275376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 21:20:18