Trace number 3174118

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.4 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf
MD5SUMbaa799a188281e763705191e4b9d6531
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174118-1304096625.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:     227 undec:      66 neg:     257
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       536      2330         0         0      7068         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.59/0.15	c  N st     8      4920       536      2330         0      4857      7068    123165   no data   no data
1.57/0.40	c  N st    10     11305       536      2330         0      4503      7068     80840   no data   no data
2.37/0.66	c  N st    11     17048       536      2330         0     10121      7068    227077   no data   no data
3.98/1.08	c  F st    12     25000       536      2330         0     12340      7068    277483   no data   no data
3.98/1.08	c  N st    12     25000       536      2330         0     12340      7068    277483   no data   no data
5.17/1.33	c Decided on static restart strategy
5.17/1.33	c  N st    18     30000       536      2330         0     10641      7068    208144   no data   no data
5.17/1.33	c  S st    18     30000       536      2330         0     10641      7068    208144   no data   no data
5.17/1.36	c  S st    18     30503       536      2330         0     11141      7068    219157   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.37	c blocked clauses removed:        6 vars:      1 tried:         536 T: 0.00 s
5.17/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
5.17/1.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c lits-rem:       141  cl-subs:      524  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.44	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30503       535      2324         0     10617      7050    204898   no data   no data
7.17/1.86	c  N st    20     37614       535      2324         0      9869      7050    167007   no data   no data
8.78/2.26	c  N st    21     44015       535      2324         0     16120      7050    313722   no data   no data
9.19/2.39	c  S st    22     45754       535      2324         0      9092      7050    132559   no data   no data
9.56/2.41	c  S st    22     46256       535      2324         0      9594      7050    144005   no data   no data
9.56/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
9.56/2.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.43	c lits-rem:        15  cl-subs:       74  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.43	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
9.56/2.43	c vivif2 --  cl tried     9520 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
9.56/2.44	c calculated reachability. Time: 0.00
9.56/2.44	c  N st    22     46256       535      2324         0      9520      7050    142256   no data   no data
13.18/3.38	c  N st    23     60653       535      2324         0     13860      7050    241243   no data   no data
15.96/4.07	c  N st    24     69387       535      2324         0     11654      7050    177859   no data   no data
15.96/4.07	c  S st    24     69387       535      2324         0     11654      7050    177859   no data   no data
16.36/4.10	c  S st    24     69890       535      2324         0     12157      7050    189806   no data   no data
16.36/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
16.36/4.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.13	c lits-rem:        51  cl-subs:      150  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.13	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
16.36/4.13	c vivif2 --  cl tried    12007 cl shrink        0 lits rem          0 time: 0.00
16.36/4.14	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
16.36/4.14	c calculated reachability. Time: 0.00
16.36/4.14	c  N st    24     69890       535      2324         0     12007      7050    185862   no data   no data
21.55/5.49	c  F st    25     87501       535      2324         0     17510      7050    314244   no data   no data
21.55/5.49	c  N st    25     87501       535      2324         0     17510      7050    314244   no data   no data
23.55/5.92	c Decided on static restart strategy
24.35/6.15	c  N st    32     95541       535      2324         0     25417      7050    506642   no data   no data
27.14/6.81	c  N st    34    104835       535      2324         0     21820      7050    406281   no data   no data
27.14/6.81	c  S st    34    104835       535      2324         0     21820      7050    406281   no data   no data
27.14/6.87	c  S st    34    105341       535      2324         0     22324      7050    418067   no data   no data
27.14/6.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
27.14/6.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.14/6.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.05	c lits-rem:       378  cl-subs:      884  v-elim:      0  v-fix:    0  time:  0.15 s
27.94/7.05	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
27.94/7.05	c vivif2 --  cl tried    21440 cl shrink        0 lits rem          0 time: 0.00
27.94/7.06	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
27.94/7.06	c calculated reachability. Time: 0.00
27.94/7.06	c  N st    34    105341       535      2324         0     21440      7050    393915   no data   no data
31.16/7.82	c  N st    35    114939       535      2324         0     17150      7050    265339   no data   no data
36.33/9.11	c  N st    36    129336       535      2324         0     16566      7050    230115   no data   no data
43.53/10.99	c  N st    37    150931       535      2324         0     22030      7050    357181   no data   no data
46.32/11.67	c  S st    38    158011       535      2324         0     28959      7050    530292   no data   no data
46.72/11.74	c  S st    38    158519       535      2324         0     29467      7050    542411   no data   no data
46.72/11.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.72/11.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.72/11.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.72/11.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.72/11.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
46.72/11.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.72/11.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.72/11.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.11	c lits-rem:       189  cl-subs:     1150  v-elim:      0  v-fix:    0  time:  0.33 s
48.33/12.11	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
48.33/12.12	c vivif2 --  cl tried    28317 cl shrink        0 lits rem          0 time: 0.01
48.33/12.13	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
48.33/12.13	c calculated reachability. Time: 0.00
48.33/12.13	c  N st    38    158519       535      2324         0     28317      7050    514040   no data   no data
67.09/16.87	c  N st    39    207107       535      2324         0     23074      7050    353886   no data   no data
80.67/20.26	c  N st    40    237778       535      2324         0     33467      7050    608691   no data   no data
80.67/20.26	c  S st    40    237778       535      2324         0     33467      7050    608691   no data   no data
81.07/20.35	c  S st    40    238280       535      2324         0     33968      7050    621331   no data   no data
81.07/20.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.07/20.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.07/20.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.07/20.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.07/20.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
81.07/20.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.07/20.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.07/20.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.89/21.01	c lits-rem:       245  cl-subs:     1763  v-elim:      0  v-fix:    0  time:  0.62 s
83.89/21.01	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
83.89/21.01	c vivif2 --  cl tried    32205 cl shrink        0 lits rem          0 time: 0.01
83.89/21.03	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
83.89/21.03	c calculated reachability. Time: 0.00
83.89/21.03	c  N st    40    238280       535      2324         0     32205      7050    572014   no data   no data
117.42/29.41	c  F st    41    306250       535      2324         0     34014      7050    564403   no data   no data
117.42/29.41	c  N st    41    306250       535      2324         0     34014      7050    564403   no data   no data
119.82/30.05	c Decided on static restart strategy
131.00/32.81	c  N st    51    334553       535      2324         0     38277      7050    633224   no data   no data
141.78/35.52	c  N st    53    357420       535      2324         0     36244      7050    582440   no data   no data
141.78/35.52	c  S st    53    357420       535      2324         0     36244      7050    582440   no data   no data
142.18/35.62	c  S st    53    357923       535      2324         0     36747      7050    594858   no data   no data
142.18/35.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.18/35.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
142.18/35.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.18/35.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.18/35.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.18/35.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
142.18/35.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
142.18/35.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.18/35.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.38/35.99	c lits-rem:       208  cl-subs:     1076  v-elim:      0  v-fix:    0  time:  0.33 s
143.38/35.99	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
143.78/36.00	c vivif2 --  cl tried    35671 cl shrink        0 lits rem          0 time: 0.01
143.78/36.02	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
143.78/36.03	c calculated reachability. Time: 0.00
143.78/36.03	c  N st    53    357923       535      2324         0     35671      7050    566258   no data   no data
162.58/40.77	c  N st    54    390315       535      2324         0     41877      7050    713585   no data   no data
189.72/47.57	c  N st    55    438903       535      2324         0     35662      7050    516883   no data   no data
233.66/58.56	c  N st    56    511785       535      2324         0     49330      7050    829479   no data   no data
248.85/62.38	c  N st    57    536885       535      2324         0     43570      7050    666946   no data   no data
248.85/62.38	c  S st    57    536885       535      2324         0     43570      7050    666946   no data   no data
249.25/62.49	c  S st    57    537386       535      2324         0     44071      7050    680128   no data   no data
249.25/62.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.65/62.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
249.65/62.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.65/62.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.65/62.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.65/62.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
249.65/62.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.65/62.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.65/62.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.64/63.05	c lits-rem:       212  cl-subs:     1292  v-elim:      0  v-fix:    0  time:  0.51 s
251.64/63.05	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
251.64/63.06	c vivif2 --  cl tried    42779 cl shrink        0 lits rem          0 time: 0.01
251.64/63.09	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.03
251.64/63.09	c calculated reachability. Time: 0.00
251.64/63.09	c  N st    57    537386       535      2324         0     42779      7050    647023   no data   no data
367.08/91.91	c  N st    58    701370       535      2324         0     36639      7050    400268   no data   no data
440.59/110.39	c  N st    59    806083       535      2324         0     65645      7050   1170294   no data   no data
440.59/110.39	c  S st    59    806083       535      2324         0     65645      7050   1170294   no data   no data
441.39/110.58	c  S st    59    806585       535      2324         0     66147      7050   1182612   no data   no data
441.39/110.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
441.79/110.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
441.79/110.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.79/110.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
441.79/110.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.79/110.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
441.79/110.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
441.79/110.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
441.79/110.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
453.36/113.55	c lits-rem:       520  cl-subs:     3619  v-elim:      0  v-fix:    0  time:  2.88 s
453.36/113.55	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
453.36/113.56	c vivif2 --  cl tried    62528 cl shrink        0 lits rem          0 time: 0.01
453.76/113.62	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.05
453.76/113.62	c calculated reachability. Time: 0.00
453.76/113.62	c  N st    59    806585       535      2324         0     62528      7050   1087707   no data   no data
667.48/167.16	c  F st    60   1071875       535      2324         0     78733      7050   1373468   no data   no data
667.48/167.17	c  N st    60   1071875       535      2324         0     78733      7050   1373468   no data   no data
690.26/172.85	c  N dy   128   1093005       535      2324         0     55437      7050    683628     16.11     17.09
713.01/178.54	c  N dy   191   1114586       535      2324         0     76676      7050   1185456     16.08     16.94
738.20/184.83	c  N dy   270   1134714       535      2324         0     51267      7050    543506     16.02     16.87
757.76/189.78	c  N dy   361   1154739       535      2324         0     71035      7050   1018463     16.15     18.56
786.12/196.86	c  N dy   457   1174988       535      2324         0     90982      7050   1495781     16.25     17.30
813.68/203.79	c  N dy   536   1203926       535      2324         0     73138      7050   1030705     16.06     16.95
822.86/206.04	c  S st   563   1209878       535      2324         0     79007      7050   1167703     16.05   no data
824.07/206.36	c  S st   563   1210384       535      2324         0     79513      7050   1180287     16.05   no data
824.07/206.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
824.47/206.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
824.47/206.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
824.47/206.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
824.47/206.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
824.47/206.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
824.47/206.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
824.47/206.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
824.47/206.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.05/209.89	c lits-rem:       454  cl-subs:     3402  v-elim:      0  v-fix:    0  time:  3.41 s
838.05/209.89	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
838.44/209.92	c vivif2 --  cl tried    76111 cl shrink        0 lits rem          0 time: 0.02
838.84/210.04	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.12
838.84/210.04	c calculated reachability. Time: 0.00
838.84/210.04	c  N dy   563   1210384       535      2324         0     76111      7050   1106938     16.05   no data
877.19/219.62	c  N dy   661   1230831       535      2324         0     49076      7050    446194     16.13     17.00
895.57/224.29	c  N dy   755   1251000       535      2324         0     68962      7050    927321     16.15     17.17
922.75/231.09	c  N dy   848   1271003       535      2324         0     88750      7050   1403037     16.21     17.29
947.50/237.28	c  N dy   960   1292046       535      2324         0     61244      7050    714011     16.27     17.33
971.86/243.30	c  N dy  1069   1312048       535      2324         0     80995      7050   1191369     16.34     19.72
1011.81/253.35	c  N dy  1162   1335436       535      2324         0     54693      7050    519964     16.36     17.28
1033.38/258.78	c  N dy  1242   1357005       535      2324         0     75944      7050   1029367     16.35     17.23
1062.54/266.08	c  N dy  1282   1381176       535      2324         0     99608      7050   1599966     16.21     17.09
1083.31/271.24	c  N dy  1411   1401193       535      2324         0     69175      7050    863996     16.28     17.49
1109.28/277.74	c  N dy  1525   1421207       535      2324         0     88947      7050   1349939     16.34     19.85
1138.46/285.02	c  N dy  1631   1441275       535      2324         0     57463      7050    557829     16.38     17.60
1159.21/290.21	c  N dy  1697   1461391       535      2324         0     77311      7050   1035005     16.37     17.37
1187.57/297.35	c  N dy  1751   1481920       535      2324         0     97516      7050   1512401     16.33     17.23
1211.13/303.22	c  N dy  1823   1501975       535      2324         0     65046      7050    714420     16.33     17.97
1234.72/309.14	c  N dy  1902   1522046       535      2324         0     84837      7050   1195471     16.34     19.42
1265.06/316.72	c  N dy  1959   1542079       535      2324         0    104529      7050   1665199     16.32     18.43
1287.46/322.35	c  N dy  2078   1562551       535      2324         0     71559      7050    849093     16.36     17.36
1314.22/329.03	c  N dy  2136   1582648       535      2324         0     91290      7050   1309486     16.34     17.71
1346.56/337.17	c  N dy  2235   1602690       535      2324         0     56873      7050    479454     16.36     17.27
1368.13/342.53	c  N dy  2302   1623512       535      2324         0     77390      7050    974444     16.36     17.29
1396.48/349.67	c  N dy  2366   1643547       535      2324         0     97059      7050   1434081     16.34     21.12
1427.65/357.41	c  N dy  2465   1663596       535      2324         0     61685      7050    577540     16.36     17.37
1450.44/363.19	c  N dy  2551   1683668       535      2324         0     81395      7050   1049430     16.36     17.23
1481.56/370.97	c  N dy  2639   1703742       535      2324         0    101126      7050   1522526     16.38     17.74
1493.97/374.09	c  S st  2666   1710384       535      2324         0    107649      7050   1676758     16.38   no data
1495.55/374.40	c  S st  2666   1710889       535      2324         0    108154      7050   1689668     16.38   no data
1495.55/374.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1495.55/374.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1495.55/374.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1495.55/374.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1495.55/374.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1495.55/374.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1495.55/374.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1495.55/374.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1495.95/374.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1506.74/377.27	c lits-rem:       528  cl-subs:     3692  v-elim:      0  v-fix:    0  time:  2.72 s
1506.74/377.27	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
1506.74/377.29	c vivif2 --  cl tried   104462 cl shrink        0 lits rem          0 time: 0.02
1507.55/377.40	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.11
1507.55/377.41	c calculated reachability. Time: 0.00
1507.55/377.41	c  N dy  2666   1710889       535      2324         0    104462      7050   1602931     16.38   no data
1534.70/384.25	c  N dy  2765   1731078       535      2324         0     68329      7050    720032     16.40     17.51
1562.26/391.10	c  N dy  2871   1751187       535      2324         0     88138      7050   1199599     16.42     17.37
1599.83/400.53	c  N dy  2942   1771193       535      2324         0    107803      7050   1671106     16.42     18.16
1625.79/407.04	c  N dy  3020   1791349       535      2324         0     70602      7050    755066     16.43     17.32
1651.74/413.56	c  N dy  3098   1811425       535      2324         0     90342      7050   1221218     16.43     19.60
1687.31/422.45	c  N dy  3224   1831448       535      2324         0    110066      7050   1704408     16.46     17.85
1713.67/429.05	c  N dy  3323   1851498       535      2324         0     71774      7050    763919     16.48     17.40
1740.03/435.65	c  N dy  3411   1871508       535      2324         0     91498      7050   1239075     16.49     17.73
1775.96/444.65	c  N dy  3461   1895524       535      2324         0    115096      7050   1819685     16.45     17.33
1801.95/451.13	c  N dy  3571   1916284       535      2324         0     76495      7050    862417     16.47     17.45
1840.68/460.84	c  N dy  3657   1943420       535      2324         0    103085      7050   1492105     16.45     17.39
1877.43/470.08	c  N dy  3748   1963652       535      2324         0     62984      7050    518446     16.46     17.49
1907.00/477.46	c  N dy  3841   1988974       535      2324         0     87864      7050   1113455     16.46     17.33
1954.52/489.36	c  N dy  3921   2019623       535      2324         0    117971      7050   1825228     16.43     17.30
2000.06/500.75	c  N dy  3940   2055078       535      2324         0     91574      7050   1134455     16.35     17.24
2034.43/509.33	c  N dy  4030   2075577       535      2324         0    111736      7050   1620708     16.35     17.27
2069.58/518.15	c  N dy  4167   2095879       535      2324         0     69947      7050    647399     16.38     17.29
2095.53/524.60	c  N dy  4257   2116402       535      2324         0     90164      7050   1139979     16.39     17.31
2150.26/538.38	c  N dy  4352   2147963       535      2324         0    121108      7050   1871927     16.37     17.49
2179.02/545.52	c  N dy  4460   2168504       535      2324         0     78494      7050    843799     16.39     17.58
2208.97/553.06	c  N dy  4569   2188527       535      2324         0     98212      7050   1323478     16.40     17.36
2246.53/562.42	c  N dy  4679   2208701       535      2324         0    118068      7050   1807913     16.41     17.34
2251.32/563.61	c  S st  4693   2210889       535      2324         0    120231      7050   1861293     16.42     17.14
2252.52/563.99	c  S st  4693   2211396       535      2324         0    120738      7050   1874043     16.42   no data
2252.52/563.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2252.92/564.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2252.92/564.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2252.92/564.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2252.92/564.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2252.92/564.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
2252.92/564.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2252.92/564.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2253.32/564.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2263.70/566.76	c lits-rem:       408  cl-subs:     3167  v-elim:      0  v-fix:    0  time:  2.62 s
2263.70/566.76	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
2263.70/566.79	c vivif2 --  cl tried   117571 cl shrink        0 lits rem          0 time: 0.03
2264.50/566.91	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.12
2264.50/566.91	c calculated reachability. Time: 0.00
2264.50/566.91	c  N dy  4693   2211396       535      2324         0    117571      7050   1795802     16.42   no data
2297.66/575.27	c  N dy  4780   2231435       535      2324         0     73406      7050    693551     16.42     17.35
2389.93/598.36	c  N dy  4854   2290713       535      2324         0     66531      7050    509285     16.34     17.41
2414.30/604.49	c  N dy  4956   2310904       535      2324         0     86379      7050    987132     16.35     17.62
2456.26/614.93	c  N dy  5060   2336892       535      2324         0    111919      7050   1601560     16.35     17.26
2504.99/627.11	c  N dy  5170   2361077       535      2324         0     69982      7050    570014     16.36     17.23
2530.95/633.65	c  N dy  5282   2381080       535      2324         0     89667      7050   1048585     16.37     17.26
2560.10/640.99	c  N dy  5317   2401105       535      2324         0    109284      7050   1520126     16.36     21.97
2600.84/651.15	c  N dy  5397   2421282       535      2324         0    129142      7050   2000866     16.36     17.34
2630.80/658.63	c  N dy  5517   2441301       535      2324         0     82114      7050    854206     16.38     17.64
2659.96/665.93	c  N dy  5554   2461325       535      2324         0    101670      7050   1306968     16.37     18.24
2710.30/678.54	c  N dy  5636   2487175       535      2324         0    127072      7050   1904790     16.36     17.29
2745.45/687.32	c  N dy  5735   2507265       535      2324         0     79087      7050    761096     16.37     17.27
2770.21/693.53	c  N dy  5764   2527314       535      2324         0     98713      7050   1218794     16.35     17.32
2806.17/702.59	c  N dy  5850   2547489       535      2324         0    118571      7050   1704709     16.35     17.29
2852.49/714.10	c  N dy  5871   2572949       535      2324         0     74795      7050    639537     16.33     17.21
2885.66/722.49	c  N dy  5998   2596186       535      2324         0     97664      7050   1198121     16.34     17.24
2924.80/732.23	c  N dy  6055   2618331       535      2324         0    119432      7050   1716353     16.34     17.51
2970.76/743.79	c  N dy  6150   2638550       535      2324         0    139291      7050   2194810     16.35     17.21
2997.50/750.40	c  N dy  6238   2658637       535      2324         0     89272      7050    962537     16.35     17.22
3032.28/759.17	c  N dy  6311   2680061       535      2324         0    110295      7050   1464099     16.34     17.21
3081.78/771.54	c  N dy  6396   2702753       535      2324         0    132611      7050   1998051     16.34     17.35
3103.36/776.97	c  S st  6456   2711400       535      2324         0    141111      7050   2205440     16.35   no data
3105.76/777.50	c  S st  6456   2711902       535      2324         0     70867      7050    508946     16.35   no data
3105.76/777.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3105.76/777.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3105.76/777.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3105.76/777.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3105.76/777.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3105.76/777.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3105.76/777.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3105.76/777.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3105.76/777.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3106.16/777.64	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.07 s
3106.16/777.64	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
3106.16/777.65	c vivif2 --  cl tried    70859 cl shrink        0 lits rem          0 time: 0.01
3106.16/777.70	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.05
3106.57/777.70	c calculated reachability. Time: 0.00
3106.57/777.70	c  N dy  6456   2711902       535      2324         0     70859      7050    508889     16.35   no data
3131.71/784.05	c  N dy  6521   2732002       535      2324         0     90618      7050    978705     16.35     17.53
3166.47/792.78	c  N dy  6630   2752022       535      2324         0    110331      7050   1457420     16.36     18.85
3211.21/803.94	c  N dy  6720   2772852       535      2324         0    130770      7050   1942751     16.36     17.25
3253.95/814.63	c  N dy  6853   2793172       535      2324         0     79023      7050    689184     16.38     17.29
3283.11/821.93	c  N dy  6969   2813207       535      2324         0     98729      7050   1177048     16.39     18.25
3322.65/831.81	c  N dy  7057   2835303       535      2324         0    120424      7050   1701805     16.39     17.41
3369.40/843.58	c  N dy  7173   2855329       535      2324         0    140138      7050   2181042     16.40     19.15
3414.55/854.82	c  N dy  7252   2875348       535      2324         0     87080      7050    866869     16.40     17.40
3462.88/866.96	c  N dy  7328   2895372       535      2324         0    106734      7050   1338487     16.40     17.51
3509.20/878.54	c  N dy  7450   2915468       535      2324         0    126545      7050   1822711     16.41     17.37
3557.14/890.52	c  N dy  7538   2935651       535      2324         0    146397      7050   2304994     16.41     17.34
3585.92/897.73	c  N dy  7666   2955690       535      2324         0     92345      7050    985432     16.43     17.39
3619.05/906.05	c  N dy  7749   2975702       535      2324         0    112012      7050   1459701     16.43     20.09
3671.38/919.11	c  N dy  7857   2997386       535      2324         0    133317      7050   1975265     16.43     17.33
3716.93/930.55	c  N dy  7949   3017465       535      2324         0     78357      7050    620612     16.43     18.37
3746.48/937.90	c  N dy  8109   3037476       535      2324         0     98091      7050   1115576     16.45     18.05
3784.03/947.38	c  N dy  8223   3057518       535      2324         0    117783      7050   1594000     16.46     17.90
3832.76/959.58	c  N dy  8314   3080860       535      2324         0    140693      7050   2145467     16.46     17.43
3874.71/970.08	c  N dy  8372   3102436       535      2324         0     86094      7050    767007     16.46     17.36
3906.28/977.91	c  N dy  8459   3123033       535      2324         0    106314      7050   1252317     16.46     17.51
3947.40/988.28	c  N dy  8471   3147675       535      2324         0    130335      7050   1794839     16.44     17.38
3998.13/1000.94	c  N dy  8592   3167728       535      2324         0    150037      7050   2277081     16.45     17.34
4034.49/1010.09	c  N dy  8636   3192696       535      2324         0     97896      7050   1027370     16.43     17.30
4070.44/1019.03	c  S st  8763   3211902       535      2324         0    116840      7050   1492206     16.44     17.13
4071.64/1019.36	c  S st  8763   3212406       535      2324         0    117344      7050   1505710     16.44   no data
4071.64/1019.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4072.04/1019.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4072.04/1019.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4072.04/1019.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4072.04/1019.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4072.04/1019.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
4072.04/1019.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4072.04/1019.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4072.44/1019.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4081.62/1021.90	c lits-rem:       207  cl-subs:     4544  v-elim:      0  v-fix:    0  time:  2.39 s
4081.62/1021.90	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
4082.04/1021.92	c vivif2 --  cl tried   112800 cl shrink        0 lits rem          0 time: 0.02
4082.44/1022.04	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.11
4082.44/1022.04	c calculated reachability. Time: 0.00
4082.44/1022.04	c  N dy  8763   3212406       535      2324         0    112800      7050   1411718     16.44   no data
4122.76/1032.17	c  N dy  8854   3232466       535      2324         0    132508      7050   1891545     16.45     17.97
4173.50/1044.81	c  N dy  8956   3252467       535      2324         0    152159      7050   2370244     16.46     19.76
4220.63/1056.61	c  N dy  9044   3281358       535      2324         0    102934      7050   1147251     16.45     17.41
4264.97/1067.71	c  N dy  9116   3301690       535      2324         0    122860      7050   1628471     16.45     17.32
4309.71/1078.91	c  N dy  9199   3321757       535      2324         0    142551      7050   2105359     16.45     18.76
4372.44/1094.62	c  N dy  9298   3342929       535      2324         0     84950      7050    711348     16.45     17.34
4410.38/1104.19	c  N dy  9394   3363027       535      2324         0    104703      7050   1186259     16.46     17.92
4451.92/1114.53	c  N dy  9452   3384377       535      2324         0    125649      7050   1680944     16.45     17.35
4501.87/1127.04	c  N dy  9519   3404404       535      2324         0    145356      7050   2163576     16.45     17.33
4553.41/1139.98	c  N dy  9663   3424425       535      2324         0     85551      7050    714370     16.47     18.73
4588.57/1148.72	c  N dy  9714   3445856       535      2324         0    106563      7050   1211932     16.46     17.46
4633.32/1159.98	c  N dy  9802   3466802       535      2324         0    127146      7050   1702505     16.46     17.52
4684.48/1172.78	c  N dy  9900   3486817       535      2324         0    146871      7050   2183143     16.47     17.43
4738.40/1186.28	c  N dy 10012   3506901       535      2324         0     86067      7050    703215     16.47     18.01
4770.76/1194.30	c  N dy 10064   3527101       535      2324         0    105834      7050   1166098     16.47     17.34

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-3174118-1304096625/watcher-3174118-1304096625 -o /tmp/evaluation-result-3174118-1304096625/solver-3174118-1304096625 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174118-1304096625.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.04 8.06 7.72 5/180 29304
/proc/meminfo: memFree=18902556/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 502078362 52441088 347 33554432000 4194304 4627427 140736808269104 18446744073709551615 47493460866984 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 12803 347 299 106 0 7774 0
[pid=29304/tid=29305] ppid=29302 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502078362 52441088 347 33554432000 4194304 4627427 140736808269104 18446744073709551615 47493460866994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 502078362 52441088 347 33554432000 4194304 4627427 140736808269104 18446744073709551615 47493460866994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 502078362 52441088 347 33554432000 4194304 4627427 140736808269104 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.154892 s]
/proc/loadavg: 8.04 8.06 7.72 5/180 29304
/proc/meminfo: memFree=18902556/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=290688 CPUtime=0.59 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 2019 0 0 0 59 0 0 0 25 0 4 0 502078362 297664512 1920 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 72672 1920 385 106 0 67643 0
[pid=29304/tid=29305] ppid=29302 vsize=290688 CPUtime=0.15 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 412 0 0 0 15 0 0 0 25 0 4 0 502078362 297664512 1920 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=290688 CPUtime=0.14 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 391 0 0 0 14 0 0 0 25 0 4 0 502078362 297664512 1920 33554432000 4194304 4627427 140736808269104 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=290688 CPUtime=0.14 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 398 0 0 0 14 0 0 0 25 0 4 0 502078362 297664512 1920 33554432000 4194304 4627427 140736808269104 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 290688

[startup+0.200862 s]
/proc/loadavg: 8.04 8.06 7.72 5/180 29304
/proc/meminfo: memFree=18902556/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=283392 CPUtime=0.78 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 2405 0 0 0 78 0 0 0 25 0 4 0 502078362 290193408 1711 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 70848 1711 385 106 0 65819 0
[pid=29304/tid=29305] ppid=29302 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 522 0 0 0 19 0 0 0 25 0 4 0 502078362 290193408 1711 33554432000 4194304 4627427 140736808269104 18446744073709551615 4328795 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 503 0 0 0 19 0 0 0 25 0 4 0 502078362 290193408 1711 33554432000 4194304 4627427 140736808269104 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 452 0 0 0 19 0 0 0 25 0 4 0 502078362 290193408 1711 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283392

[startup+0.300844 s]
/proc/loadavg: 8.04 8.06 7.72 5/180 29304
/proc/meminfo: memFree=18902556/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=283524 CPUtime=1.17 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 2841 0 0 0 117 0 0 0 25 0 4 0 502078362 290328576 2147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4330330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 70881 2147 385 106 0 65852 0
[pid=29304/tid=29305] ppid=29302 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 625 0 0 0 29 0 0 0 25 0 4 0 502078362 290328576 2147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 502078362 290328576 2147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4333333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=283524 CPUtime=0.29 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 502078362 290328576 2147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283524

[startup+0.700773 s]
/proc/loadavg: 8.04 8.06 7.72 5/180 29304
/proc/meminfo: memFree=18902556/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=284440 CPUtime=2.77 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 4427 0 0 0 277 0 0 0 25 0 4 0 502078362 291266560 2833 33554432000 4194304 4627427 140736808269104 18446744073709551615 4329646 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 71110 2833 385 106 0 66081 0
[pid=29304/tid=29305] ppid=29302 vsize=284440 CPUtime=0.69 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1009 0 0 0 69 0 0 0 25 0 4 0 502078362 291266560 2833 33554432000 4194304 4627427 140736808269104 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=284440 CPUtime=0.69 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1010 0 0 0 69 0 0 0 25 0 4 0 502078362 291266560 2833 33554432000 4194304 4627427 140736808269104 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=284440 CPUtime=0.69 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 961 0 0 0 69 0 0 0 25 0 4 0 502078362 291266560 2833 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284440

[startup+1.50063 s]
/proc/loadavg: 8.04 8.06 7.72 9/184 29308
/proc/meminfo: memFree=18892348/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=285792 CPUtime=5.97 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 8890 0 0 0 596 1 0 0 25 0 4 0 502078362 292651008 4581 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 71448 4581 389 106 0 66419 0
[pid=29304/tid=29305] ppid=29302 vsize=285792 CPUtime=1.49 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1799 0 0 0 149 0 0 0 25 0 4 0 502078362 292651008 4581 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=285792 CPUtime=1.49 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1779 0 0 0 149 0 0 0 25 0 4 0 502078362 292651008 4581 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=285792 CPUtime=1.48 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 1742 0 0 0 148 0 0 0 25 0 4 0 502078362 292651008 4581 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285792

[startup+3.10035 s]
/proc/loadavg: 8.04 8.06 7.72 9/184 29308
/proc/meminfo: memFree=18874000/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=293428 CPUtime=12.37 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 18386 0 0 0 1234 3 0 0 25 0 4 0 502078362 300470272 9570 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 73357 9570 389 106 0 68328 0
[pid=29304/tid=29305] ppid=29302 vsize=293428 CPUtime=3.08 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 4179 0 0 0 308 0 0 0 25 0 4 0 502078362 300470272 9571 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=293428 CPUtime=3.08 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 4825 0 0 0 308 0 0 0 25 0 4 0 502078362 300470272 9571 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=293428 CPUtime=3.07 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 4559 0 0 0 307 0 0 0 25 0 4 0 502078362 300470272 9571 33554432000 4194304 4627427 140736808269104 18446744073709551615 4327509 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293428

[startup+6.30077 s]
/proc/loadavg: 8.03 8.06 7.72 9/184 29308
/proc/meminfo: memFree=18859120/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=294440 CPUtime=25.15 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 29025 0 0 0 2510 5 0 0 25 0 4 0 502078362 301506560 12622 33554432000 4194304 4627427 140736808269104 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 73610 12622 389 106 0 68581 0
[pid=29304/tid=29305] ppid=29302 vsize=294440 CPUtime=6.29 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 7722 0 0 0 628 1 0 0 25 0 4 0 502078362 301506560 12622 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=294440 CPUtime=6.29 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 7759 0 0 0 628 1 0 0 25 0 4 0 502078362 301506560 12622 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=294440 CPUtime=6.26 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 6312 0 0 0 625 1 0 0 25 0 4 0 502078362 301506560 12622 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294440

[startup+12.7006 s]
/proc/loadavg: 8.03 8.06 7.72 9/184 29308
/proc/meminfo: memFree=18825972/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=303756 CPUtime=50.72 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 47251 0 0 0 5063 9 0 0 25 0 4 0 502078362 311046144 18997 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 75939 18997 389 106 0 70910 0
[pid=29304/tid=29305] ppid=29302 vsize=303756 CPUtime=12.69 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 11984 0 0 0 1267 2 0 0 25 0 4 0 502078362 311046144 18997 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=303756 CPUtime=12.69 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 11078 0 0 0 1267 2 0 0 25 0 4 0 502078362 311046144 18997 33554432000 4194304 4627427 140736808269104 18446744073709551615 4331097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=303756 CPUtime=12.62 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 11207 0 0 0 1261 1 0 0 25 0 4 0 502078362 311046144 18997 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 303756

[startup+25.5003 s]
/proc/loadavg: 8.10 8.07 7.73 9/184 29309
/proc/meminfo: memFree=18782052/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=285404 CPUtime=101.83 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 71899 0 0 0 10169 14 0 0 25 0 4 0 502078362 292253696 26524 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 71351 26524 389 106 0 66322 0
[pid=29304/tid=29305] ppid=29302 vsize=285404 CPUtime=25.49 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 18817 0 0 0 2545 4 0 0 25 0 4 0 502078362 292253696 26524 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=285404 CPUtime=25.48 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 17373 0 0 0 2545 3 0 0 25 0 4 0 502078362 292253696 26524 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=285404 CPUtime=25.36 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 16177 0 0 0 2533 3 0 0 25 0 4 0 502078362 292253696 26524 33554432000 4194304 4627427 140736808269104 18446744073709551615 4329663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 285404

[startup+51.1007 s]
/proc/loadavg: 8.06 8.06 7.74 9/184 29309
/proc/meminfo: memFree=18763552/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=309684 CPUtime=204.1 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 103696 0 0 0 20388 22 0 0 25 0 4 0 502078362 317116416 29505 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 77421 29505 389 106 0 72392 0
[pid=29304/tid=29305] ppid=29302 vsize=309684 CPUtime=51.09 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 26106 0 0 0 5104 5 0 0 25 0 4 0 502078362 317116416 29505 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=309684 CPUtime=51.09 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 26035 0 0 0 5103 6 0 0 25 0 4 0 502078362 317116416 29505 33554432000 4194304 4627427 140736808269104 18446744073709551615 4299718 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=309684 CPUtime=50.81 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 24441 0 0 0 5077 4 0 0 25 0 4 0 502078362 317116416 29505 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 309684

[startup+102.301 s]
/proc/loadavg: 8.10 8.07 7.75 9/184 29311
/proc/meminfo: memFree=18697928/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=324532 CPUtime=408.65 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 158276 0 0 0 40829 36 0 0 25 0 4 0 502078362 332320768 38425 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 81133 38425 389 106 0 76104 0
[pid=29304/tid=29305] ppid=29302 vsize=324532 CPUtime=102.3 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 40831 0 0 0 10222 8 0 0 25 0 4 0 502078362 332320768 38425 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=324532 CPUtime=102.28 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 38386 0 0 0 10220 8 0 0 25 0 4 0 502078362 332320768 38425 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=324532 CPUtime=101.74 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 38101 0 0 0 10166 8 0 0 25 0 4 0 502078362 332320768 38425 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 324532

[startup+162.301 s]

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

[pid=29304] ppid=29302 vsize=546324 CPUtime=2565.7 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 460610 0 0 0 256425 145 0 0 25 0 4 0 502078362 559435776 84901 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 136581 84901 389 106 0 131552 0
[pid=29304/tid=29305] ppid=29302 vsize=546324 CPUtime=642.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 117265 0 0 0 64194 37 0 0 25 0 4 0 502078362 559435776 84901 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=546324 CPUtime=642.29 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 127790 0 0 0 64192 37 0 0 25 0 4 0 502078362 559435776 84901 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=546324 CPUtime=638.76 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 116961 0 0 0 63837 39 0 0 25 0 4 0 502078362 559435776 84901 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 546324

[startup+702.301 s]
/proc/loadavg: 8.08 8.11 7.91 9/184 29327
/proc/meminfo: memFree=18363072/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=550816 CPUtime=2805.37 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 486550 0 0 0 280383 154 0 0 25 0 4 0 502078362 564035584 85244 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 137704 85244 389 106 0 132675 0
[pid=29304/tid=29305] ppid=29302 vsize=550816 CPUtime=702.3 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 124689 0 0 0 70191 39 0 0 25 0 4 0 502078362 564035584 85244 33554432000 4194304 4627427 140736808269104 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=550816 CPUtime=702.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 136086 0 0 0 70190 40 0 0 25 0 4 0 502078362 564035584 85244 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=550816 CPUtime=698.43 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 124454 0 0 0 69801 42 0 0 25 0 4 0 502078362 564035584 85244 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 550816

[startup+762.3 s]
/proc/loadavg: 8.06 8.10 7.92 9/184 29328
/proc/meminfo: memFree=18358340/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=551132 CPUtime=3045.05 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 510237 0 0 0 304342 163 0 0 25 0 4 0 502078362 564359168 84897 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 137783 84897 389 106 0 132754 0
[pid=29304/tid=29305] ppid=29302 vsize=551132 CPUtime=762.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 131493 0 0 0 76189 42 0 0 25 0 4 0 502078362 564359168 84897 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=551132 CPUtime=762.31 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 143824 0 0 0 76188 43 0 0 25 0 4 0 502078362 564359168 84897 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=551132 CPUtime=758.09 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 130510 0 0 0 75766 43 0 0 25 0 4 0 502078362 564359168 84897 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 551132

[startup+822.301 s]
/proc/loadavg: 8.19 8.12 7.93 9/184 29330
/proc/meminfo: memFree=18348644/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=551456 CPUtime=3284.71 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 534708 0 0 0 328298 173 0 0 25 0 4 0 502078362 564690944 90271 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 137864 90271 389 106 0 132835 0
[pid=29304/tid=29305] ppid=29302 vsize=551456 CPUtime=822.3 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 138434 0 0 0 82185 45 0 0 25 0 4 0 502078362 564690944 90271 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=551456 CPUtime=822.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 151269 0 0 0 82184 46 0 0 25 0 4 0 502078362 564690944 90271 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=551456 CPUtime=817.77 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 136382 0 0 0 81731 46 0 0 25 0 4 0 502078362 564690944 90271 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 551456

[startup+882.307 s]
/proc/loadavg: 8.20 8.13 7.94 9/184 29332
/proc/meminfo: memFree=18318372/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=578668 CPUtime=3524.4 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 562313 0 0 0 352258 182 0 0 25 0 4 0 502078362 592556032 94892 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 144667 94892 389 106 0 139638 0
[pid=29304/tid=29305] ppid=29302 vsize=578668 CPUtime=882.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 148820 0 0 0 88183 48 0 0 25 0 4 0 502078362 592556032 94892 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=578668 CPUtime=882.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 157835 0 0 0 88181 49 0 0 25 0 4 0 502078362 592556032 94892 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=578668 CPUtime=877.43 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 145818 0 0 0 87695 48 0 0 25 0 4 0 502078362 592556032 94892 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 578668

[startup+942.301 s]
/proc/loadavg: 8.19 8.14 7.95 9/184 29333
/proc/meminfo: memFree=18283016/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=566200 CPUtime=3764.05 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 588327 0 0 0 376212 193 0 0 25 0 4 0 502078362 579788800 103124 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 141550 103124 389 106 0 136521 0
[pid=29304/tid=29305] ppid=29302 vsize=566200 CPUtime=942.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 154278 0 0 0 94180 51 0 0 25 0 4 0 502078362 579788800 103124 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=566200 CPUtime=942.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 167945 0 0 0 94178 52 0 0 25 0 4 0 502078362 579788800 103124 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=566200 CPUtime=937.1 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 151751 0 0 0 93659 51 0 0 25 0 4 0 502078362 579788800 103124 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 566200

[startup+1002.3 s]
/proc/loadavg: 8.12 8.12 7.96 9/184 29335
/proc/meminfo: memFree=18245808/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=691484 CPUtime=4003.73 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 608005 0 0 0 400171 202 0 0 25 0 4 0 502078362 708079616 106916 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 172871 106916 389 106 0 167842 0
[pid=29304/tid=29305] ppid=29302 vsize=691484 CPUtime=1002.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 161174 0 0 0 100177 54 0 0 25 0 4 0 502078362 708079616 106916 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=691484 CPUtime=1002.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 174600 0 0 0 100175 55 0 0 25 0 4 0 502078362 708079616 106916 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=691484 CPUtime=996.77 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 156705 0 0 0 99623 54 0 0 25 0 4 0 502078362 708079616 106916 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 691484

[startup+1062.3 s]
/proc/loadavg: 8.09 8.11 7.96 9/184 29336
/proc/meminfo: memFree=18206860/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=613276 CPUtime=4243.4 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 630868 0 0 0 424130 210 0 0 25 0 4 0 502078362 627994624 115978 33554432000 4194304 4627427 140736808269104 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 153319 115978 389 106 0 148290 0
[pid=29304/tid=29305] ppid=29302 vsize=613276 CPUtime=1062.32 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 167989 0 0 0 106176 56 0 0 25 0 4 0 502078362 627994624 115978 33554432000 4194304 4627427 140736808269104 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=613276 CPUtime=1062.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 180047 0 0 0 106173 57 0 0 25 0 4 0 502078362 627994624 115978 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=613276 CPUtime=1056.44 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 162616 0 0 0 105588 56 0 0 25 0 4 0 502078362 627994624 115978 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 613276

[startup+1122.3 s]
/proc/loadavg: 7.18 7.91 7.90 5/175 29356
/proc/meminfo: memFree=18602792/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=652364 CPUtime=4483.09 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 644366 0 0 0 448092 217 0 0 25 0 4 0 502078362 668020736 112147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 163091 112147 389 106 0 158062 0
[pid=29304/tid=29305] ppid=29302 vsize=652364 CPUtime=1122.31 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 172378 0 0 0 112174 57 0 0 25 0 4 0 502078362 668020736 112147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=652364 CPUtime=1122.3 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 185766 0 0 0 112171 59 0 0 25 0 4 0 502078362 668020736 112147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4330131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=652364 CPUtime=1116.12 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 164820 0 0 0 111554 58 0 0 25 0 4 0 502078362 668020736 112147 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 652364

[startup+1182.3 s]
/proc/loadavg: 5.21 7.21 7.66 5/175 29358
/proc/meminfo: memFree=18589900/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=613664 CPUtime=4722.81 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 663002 0 0 0 472056 225 0 0 25 0 4 0 502078362 628391936 115661 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 153416 115661 389 106 0 148387 0
[pid=29304/tid=29305] ppid=29302 vsize=613664 CPUtime=1182.32 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 178336 0 0 0 118171 61 0 0 25 0 4 0 502078362 628391936 115661 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=613664 CPUtime=1182.31 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 192822 0 0 0 118170 61 0 0 25 0 4 0 502078362 628391936 115661 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=613664 CPUtime=1175.84 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 167494 0 0 0 117526 58 0 0 25 0 4 0 502078362 628391936 115661 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 613664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.94 7.02 7.59 5/175 29358
/proc/meminfo: memFree=18577864/32951124 swapFree=67111528/67111528
[pid=29304] ppid=29302 vsize=666112 CPUtime=4800.34 cores=0,2,4,6
/proc/29304/stat : 29304 (strangenight2-m) R 29302 29304 28678 0 -1 4202496 669239 0 0 0 479806 228 0 0 25 0 4 0 502078362 682098688 118461 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29304/statm: 166528 118461 389 106 0 161499 0
[pid=29304/tid=29305] ppid=29302 vsize=666112 CPUtime=1201.73 cores=0,2,4,6
/proc/29304/task/29305/stat : 29305 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 180699 0 0 0 120111 62 0 0 25 0 4 0 502078362 682098688 118461 33554432000 4194304 4627427 140736808269104 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29304/tid=29306] ppid=29302 vsize=666112 CPUtime=1201.71 cores=0,2,4,6
/proc/29304/task/29306/stat : 29306 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 193813 0 0 0 120109 62 0 0 25 0 4 0 502078362 682098688 118461 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29304/tid=29307] ppid=29302 vsize=666112 CPUtime=1195.16 cores=0,2,4,6
/proc/29304/task/29307/stat : 29307 (strangenight2-m) R 29302 29304 28678 0 -1 4202560 168425 0 0 0 119457 59 0 0 25 0 4 0 502078362 682098688 118461 33554432000 4194304 4627427 140736808269104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 666112

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4798.09
CPU system time (s): 2.30565
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 783840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 2.30565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669241
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= 240
involuntary context switches= 20761

runsolver used 2.08368 second user time and 4.40033 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 19:03:45
IDJOB=3174118
IDBENCH=82936
IDSOLVER=1586
FILE ID=node145/3174118-1304096625
RUNJOBID= node145-1304095327-29116
PBS_JOBID= 13170580
Free space on /tmp= 72200 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174118-1304096625/watcher-3174118-1304096625 -o /tmp/evaluation-result-3174118-1304096625/solver-3174118-1304096625 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174118-1304096625.cnf

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

MD5SUM BENCH= baa799a188281e763705191e4b9d6531
RANDOM SEED=779919370

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18902844 kB
Buffers:       2052384 kB
Cached:       11217624 kB
SwapCached:          0 kB
Active:        2712056 kB
Inactive:     10765384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18902844 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5888 kB
Writeback:          16 kB
AnonPages:      206792 kB
Mapped:          15564 kB
Slab:           507892 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   431076 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= 72200 MiB
End job on node145 at 2011-04-29 19:23:49