Trace number 3369052

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.13 1202.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf
MD5SUM2b4a2e64d71570c9cdfb4872b312e245
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369052-1305410859.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.37/0.17	c Parsing time:  0.02 s
0.37/0.17	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.37/1.00	c Finding binary XORs  T:     0.00 s  found:       0
0.37/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.37/1.00	c calculated reachability. Time: 0.00
0.37/1.00	c Calc default polars -  time:   0.00 s pos:      46 undec:       2 neg:      32
0.37/1.00	c =========================================================================================
0.37/1.00	c types(t): F = full restart, N = normal restart
0.37/1.00	c types(t): S = simplification begin/end, E = solution found
0.37/1.00	c restart types(rt): st = static, dy = dynamic
0.37/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/1.00	c  N dy    14      8043        80      7120         0      5091     49840    127879     22.96     24.19  --
0.37/1.00	c  N dy    24     16682        80      7120         0      9073     49840    218747     22.63     23.89  --
4.77/1.23	c  F st    43     25002        80      7120         0     11542     49840    271836     22.57     19.28  --
4.77/1.23	c  N st    43     25002        80      7120         0     11542     49840    271836     22.57     19.28  --
5.57/1.45	c  N dy    49     30000        80      7120         0      9911     49840    217952     22.57   no data  --
5.57/1.45	c  S st    49     30000        80      7120         0      9911     49840    217952     22.57   no data  --
5.57/1.48	c  S st    49     30505        80      7120         0     10387     49840    230754     22.57   no data  --
5.57/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.57/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.57/1.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.35/2.69	c lits-rem:      1639  cl-subs:      747  v-elim:      0  v-fix:    0  time:  4.75 s
11.99/3.02	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
11.99/3.03	c calculated reachability. Time: 0.00
11.99/3.03	c  N dy    49     30505        80      7120         0      9640     49840    207120     22.57   no data  --
13.54/3.48	c  N dy    73     39174        80      7120         0     10362     49840    208425     22.48     23.70  --
14.74/3.73	c  N dy    99     43322        80      7120         0     14207     49840    312298     22.64     23.85  --
15.14/3.89	c  S st   109     45757        80      7120         0      8236     49840    139924     22.66     23.21  --
15.54/3.92	c  S st   109     46261        80      7120         0      8712     49840    152811     22.66   no data  --
15.54/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.54/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.54/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.54/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.14/4.80	c lits-rem:       210  cl-subs:       49  v-elim:      0  v-fix:    0  time:  3.47 s
19.14/4.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.14/4.80	c vivif2 --  cl tried     8663 cl shrink        0 lits rem          0 time: 0.00
19.94/5.09	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.13
19.94/5.09	c calculated reachability. Time: 0.00
19.94/5.09	c  N dy   109     46261        80      7120         0      8663     49840    151015     22.66   no data  --
23.12/5.89	c  N dy   127     60566        80      7120         0     12572     49840    240265     22.40     23.76  --
24.33/6.20	c  N dy   152     65535        80      7120         0     17151     49840    362902     22.47     23.68  --
25.92/6.50	c  S st   175     69391        80      7120         0     10637     49840    176113     22.54   no data  --
25.92/6.53	c  S st   175     69895        80      7120         0     11109     49840    188970     22.54   no data  --
25.92/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.92/6.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.92/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.92/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.92/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.92/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.91/7.51	c lits-rem:       296  cl-subs:      138  v-elim:      0  v-fix:    0  time:  3.87 s
29.91/7.51	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.91/7.52	c vivif2 --  cl tried    10971 cl shrink        0 lits rem          0 time: 0.00
31.10/7.85	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
31.10/7.85	c calculated reachability. Time: 0.00
31.10/7.85	c  N dy   175     69895        80      7120         0     10971     49840    184465     22.54   no data  --
32.30/8.15	c  N dy   206     74444        80      7120         0     15168     49840    297776     22.63     24.67  --
33.93/8.54	c  N dy   236     79252        80      7120         0     19594     49840    416970     22.71     23.93  --
35.49/8.91	c  N dy   257     84329        80      7120         0     13245     49840    231213     22.74     23.98  --
36.29/9.14	c  F st   281     87502        80      7120         0     16175     49840    310245     22.80   no data  --
37.09/9.38	c  N st   286     90800        80      7120         0     19201     49840    390864     22.80   no data  --
39.49/9.93	c  N dy   293     98588        80      7120         0     14408     49840    245031     22.71     23.92  --
41.48/10.40	c  S st   338    104842        80      7120         0     20178     49840    401424     22.81   no data  --
41.48/10.46	c  S st   338    105342        80      7120         0     20653     49840    414330     22.81   no data  --
41.48/10.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.48/10.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.48/10.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.48/10.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.48/10.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.48/10.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.48/10.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.06/12.33	c lits-rem:      2335  cl-subs:     1546  v-elim:      0  v-fix:    0  time:  7.37 s
49.06/12.33	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
49.06/12.34	c vivif2 --  cl tried    19107 cl shrink        0 lits rem          0 time: 0.02
50.66/12.74	c asymm  cl-useful: 0/5152/7120 lits-rem:0 time: 1.59
50.66/12.74	c calculated reachability. Time: 0.00
50.66/12.74	c  N dy   338    105342        80      7120         0     19107     49840    368276     22.81   no data  --
53.06/13.31	c  N dy   366    112434        80      7120         0     25619     49840    543344     22.82     24.04  --
55.48/13.93	c  N dy   382    121448        80      7120         0     21005     49840    405557     22.78     24.16  --
59.04/14.87	c  N dy   409    133398        80      7120         0     18200     49840    316651     22.73     24.00  --
62.23/15.63	c  N dy   455    142020        80      7120         0     26135     49840    529816     22.78     24.06  --
65.43/16.43	c  N dy   515    151154        80      7120         0     19929     49840    350697     22.87     25.83  --
67.82/17.00	c  S st   533    158014        80      7120         0     26207     49840    517190     22.86     21.76  --
67.82/17.07	c  S st   533    158516        80      7120         0     26679     49840    530164     22.86   no data  --
67.82/17.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
67.82/17.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.82/17.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
67.82/17.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.82/17.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.82/17.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
67.82/17.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.19/19.66	c lits-rem:      2258  cl-subs:     2285  v-elim:      0  v-fix:    0  time: 10.23 s
78.19/19.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
78.19/19.67	c vivif2 --  cl tried    24394 cl shrink        0 lits rem          0 time: 0.02
79.00/19.90	c asymm  cl-useful: 0/1804/7120 lits-rem:0 time: 0.91
79.39/19.90	c calculated reachability. Time: 0.00
79.39/19.90	c  N dy   533    158516        80      7120         0     24394     49840    463335     22.86   no data  --
84.19/21.10	c  N dy   565    172484        80      7120         0     21644     49840    376577     22.86     24.13  --
89.77/22.54	c  N dy   605    188903        80      7120         0     20232     49840    327849     22.83     24.45  --
94.56/23.72	c  N dy   637    201594        80      7120         0     31816     49840    638242     22.83     24.05  --
99.38/24.91	c  N dy   672    214595        80      7120         0     26356     49840    478661     22.82     24.05  --
106.13/26.62	c  N dy   718    231275        80      7120         0     23360     49840    375704     22.82     24.04  --
108.16/27.20	c  S st   748    237774        80      7120         0     29308     49840    536509     22.84   no data  --
108.57/27.29	c  S st   748    238274        80      7120         0     29776     49840    549203     22.84   no data  --
108.57/27.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.57/27.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.93/27.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
108.93/27.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.93/27.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.93/27.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
108.93/27.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.89/29.82	c lits-rem:      2271  cl-subs:     2365  v-elim:      0  v-fix:    0  time: 10.00 s
118.89/29.82	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
118.89/29.83	c vivif2 --  cl tried    27411 cl shrink        0 lits rem          0 time: 0.02
119.69/30.02	c asymm  cl-useful: 0/2030/7120 lits-rem:0 time: 0.75
119.69/30.02	c calculated reachability. Time: 0.00
119.69/30.02	c  N dy   748    238274        80      7120         0     27411     49840    482625     22.84   no data  --
125.71/31.57	c  N dy   797    253526        80      7120         0     22250     49840    333804     22.85     24.23  --
132.06/33.13	c  N dy   834    269853        80      7120         0     37208     49840    733567     22.85     24.13  --
138.88/34.81	c  N dy   867    287253        80      7120         0     33019     49840    605702     22.82     24.26  --
147.24/36.97	c  N dy   974    305673        80      7120         0     28905     49840    484945     22.90     24.18  --
147.66/37.03	c  F st   979    306251        80      7120         0     29434     49840    499353     22.90     22.77  --
156.01/39.16	c  N dy  1015    325214        80      7120         0     24787     49840    361163     22.89     25.27  --
164.39/41.29	c  N dy  1078    345293        80      7120         0     43160     49840    853180     22.90     24.13  --
170.02/42.63	c  S st  1120    357411        80      7120         0     31391     49840    520409     22.91   no data  --
170.38/42.71	c  S st  1120    357918        80      7120         0     31869     49840    533803     22.91   no data  --
170.38/42.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.38/42.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.38/42.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.38/42.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.38/42.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.38/42.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.38/42.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
180.36/45.27	c lits-rem:      1742  cl-subs:     1891  v-elim:      0  v-fix:    0  time: 10.10 s
180.36/45.27	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
180.36/45.28	c vivif2 --  cl tried    29978 cl shrink        0 lits rem          0 time: 0.02
181.15/45.48	c asymm  cl-useful: 0/1639/7120 lits-rem:0 time: 0.82
181.15/45.48	c calculated reachability. Time: 0.00
181.15/45.48	c  N dy  1120    357918        80      7120         0     29978     49840    479808     22.91   no data  --
196.36/49.24	c  N dy  1154    386227        80      7120         0     32081     49840    518941     22.85     24.18  --
207.89/52.16	c  N dy  1210    406234        80      7120         0     25761     49840    338175     22.85     25.82  --
217.48/54.59	c  N dy  1291    427623        80      7120         0     45462     49840    870089     22.87     24.23  --
230.25/57.76	c  N dy  1390    452834        80      7120         0     42930     49840    782534     22.88     24.12  --
241.02/60.46	c  N dy  1452    473018        80      7120         0     34841     49840    549003     22.88     24.16  --
255.39/64.07	c  N dy  1544    498235        80      7120         0     30473     49840    416502     22.90     24.14  --
268.96/67.44	c  N dy  1637    523494        80      7120         0     53611     49840   1037544     22.90     24.14  --
275.38/69.05	c  S st  1661    536880        80      7120         0     37389     49840    588361     22.89   no data  --
275.74/69.15	c  S st  1661    537385        80      7120         0     37865     49840    601605     22.89   no data  --
275.74/69.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
275.74/69.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
275.74/69.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
275.74/69.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.74/69.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.74/69.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
275.74/69.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
285.71/71.68	c lits-rem:       825  cl-subs:     1935  v-elim:      0  v-fix:    0  time:  9.98 s
285.71/71.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
285.71/71.69	c vivif2 --  cl tried    35930 cl shrink        0 lits rem          0 time: 0.03
286.91/71.92	c asymm  cl-useful: 0/1340/7120 lits-rem:0 time: 0.92
286.91/71.92	c calculated reachability. Time: 0.00
286.91/71.92	c  N dy  1661    537385        80      7120         0     35930     49840    549020     22.89   no data  --
299.28/75.06	c  N dy  1740    558365        80      7120         0     55155     49840   1063920     22.90     24.37  --
310.85/77.98	c  N dy  1839    579121        80      7120         0     44985     49840    777892     22.93     24.15  --
324.82/81.46	c  N dy  1898    601574        80      7120         0     35324     49840    497217     22.93     24.21  --
337.19/84.52	c  N dy  1996    621631        80      7120         0     53772     49840    997134     22.95     25.83  --
349.17/87.58	c  N dy  2047    641651        80      7120         0     40920     49840    633134     22.96     24.17  --
362.33/90.91	c  N dy  2097    661796        80      7120         0     59456     49840   1133664     22.94     24.16  --
374.71/93.95	c  N dy  2140    682099        80      7120         0     45901     49840    746730     22.93     24.15  --
387.48/97.17	c  N dy  2175    702511        80      7120         0     64602     49840   1241593     22.92     24.19  --
399.44/100.16	c  N dy  2222    722970        80      7120         0     50341     49840    851086     22.92     24.23  --
418.61/104.98	c  N dy  2305    744749        80      7120         0     36435     49840    463211     22.93     24.19  --
432.58/108.42	c  N dy  2334    769450        80      7120         0     58932     49840   1058615     22.90     24.12  --
449.34/112.61	c  N dy  2411    793986        80      7120         0     46512     49840    718633     22.90     24.11  --
456.52/114.48	c  S st  2451    806079        80      7120         0     57604     49840   1018296     22.90     21.75  --
457.32/114.62	c  S st  2451    806583        80      7120         0     58072     49840   1031168     22.90   no data  --
457.32/114.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.32/114.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.32/114.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
457.32/114.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.32/114.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.32/114.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
457.32/114.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
498.41/124.92	c lits-rem:      2176  cl-subs:     4927  v-elim:      0  v-fix:    0  time: 40.81 s
498.41/124.92	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
498.41/124.93	c vivif2 --  cl tried    53145 cl shrink        0 lits rem          0 time: 0.04
499.61/125.27	c asymm  cl-useful: 0/935/7120 lits-rem:0 time: 1.37
499.61/125.27	c calculated reachability. Time: 0.00
499.61/125.28	c  N dy  2451    806583        80      7120         0     53145     49840    894828     22.90   no data  --
518.37/129.90	c  N dy  2542    827047        80      7120         0     36503     49840    439322     22.92     24.40  --
533.13/133.67	c  N dy  2617    851880        80      7120         0     59149     49840   1046967     22.92     24.22  --
551.09/138.10	c  N dy  2627    882873        80      7120         0     50872     49840    801594     22.86     24.28  --
569.84/142.88	c  N dy  2739    906435        80      7120         0     72424     49840   1384949     22.88     24.36  --
584.62/146.50	c  N dy  2850    926521        80      7120         0     53571     49840    874182     22.90     25.42  --
603.38/151.21	c  N dy  2934    948469        80      7120         0     73653     49840   1414696     22.91     24.13  --
617.37/154.71	c  N dy  2995    968943        80      7120         0     54056     49840    862480     22.91     24.18  --
633.31/158.72	c  N dy  3042    989293        80      7120         0     72686     49840   1361254     22.91     24.15  --
646.88/162.12	c  N dy  3091   1009330        80      7120         0     51620     49840    777363     22.90     25.01  --
663.63/166.33	c  N dy  3197   1029351        80      7120         0     69962     49840   1277942     22.92     25.31  --
678.40/170.02	c  N dy  3213   1049606        80      7120         0     48231     49840    667311     22.89     24.11  --
692.41/173.57	c  N dy  3257   1069630        80      7120         0     66521     49840   1156161     22.88     24.44  --
694.36/174.06	c  F st  3266   1071875        80      7120         0     68584     49840   1211746     22.89     22.23  --
712.72/178.62	c  N dy  3321   1091962        80      7120         0     45791     49840    587000     22.89     24.16  --
726.69/182.20	c  N dy  3394   1111976        80      7120         0     64094     49840   1082242     22.90     24.31  --
747.84/187.40	c  N dy  3421   1137081        80      7120         0     44937     49840    551593     22.88     24.09  --
762.24/191.10	c  N dy  3516   1157261        80      7120         0     63424     49840   1051552     22.89     24.17  --
786.95/197.27	c  N dy  3595   1179949        80      7120         0     84110     49840   1604668     22.89     24.11  --
804.51/201.63	c  N dy  3650   1200874        80      7120         0     60245     49840    940967     22.88     24.11  --
812.88/203.72	c  S st  3665   1209875        80      7120         0     68472     49840   1157054     22.88     21.38  --
813.69/203.95	c  S st  3665   1210378        80      7120         0     68945     49840   1170155     22.88   no data  --
813.69/203.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
813.69/203.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
813.69/203.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
814.09/204.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
814.09/204.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.09/204.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
814.09/204.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
896.67/224.70	c lits-rem:      3227  cl-subs:     5805  v-elim:      0  v-fix:    0  time: 82.45 s
896.67/224.70	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
896.67/224.71	c vivif2 --  cl tried    63140 cl shrink        0 lits rem          0 time: 0.05
897.87/225.06	c asymm  cl-useful: 0/817/7120 lits-rem:0 time: 1.40
897.87/225.07	c calculated reachability. Time: 0.00
897.87/225.07	c  N dy  3665   1210378        80      7120         0     63140     49840   1012659     22.88   no data  --
921.00/230.87	c  N dy  3748   1231031        80      7120         0     82007     49840   1519853     22.88     24.16  --
940.96/235.86	c  N dy  3828   1251093        80      7120         0     56717     49840    840583     22.89     24.12  --
957.72/240.10	c  N dy  3886   1271132        80      7120         0     74996     49840   1331219     22.89     26.75  --
978.87/245.38	c  N dy  3927   1291973        80      7120         0     49410     49840    624685     22.88     24.11  --
997.64/250.00	c  N dy  3965   1312792        80      7120         0     68408     49840   1128661     22.87     24.17  --
1023.97/256.61	c  N dy  4075   1333356        80      7120         0     87206     49840   1640116     22.89     24.10  --
1043.16/261.50	c  N dy  4137   1353429        80      7120         0     59905     49840    892534     22.89     25.28  --
1063.88/266.69	c  N dy  4178   1374110        80      7120         0     78809     49840   1395037     22.88     24.12  --
1089.01/272.97	c  N dy  4294   1394193        80      7120         0     50733     49840    631279     22.90     24.99  --
1105.78/277.19	c  N dy  4405   1414267        80      7120         0     69118     49840   1131437     22.91     26.25  --
1128.53/282.87	c  N dy  4507   1434659        80      7120         0     87768     49840   1636041     22.92     24.22  --
1148.10/287.71	c  N dy  4598   1454697        80      7120         0     58574     49840    829866     22.93     25.42  --
1167.24/292.60	c  N dy  4656   1478384        80      7120         0     80136     49840   1407583     22.93     24.17  --
1191.59/298.61	c  N dy  4748   1498462        80      7120         0     50093     49840    581778     22.94     24.15  --
1208.35/302.81	c  N dy  4857   1518522        80      7120         0     68485     49840   1083447     22.95     24.18  --
1230.70/308.44	c  N dy  4942   1540253        80      7120         0     88378     49840   1623643     22.96     24.18  --
1254.28/314.32	c  N dy  5057   1560305        80      7120         0     57372     49840    762968     22.97     27.49  --
1272.60/318.93	c  N dy  5135   1581349        80      7120         0     76617     49840   1284777     22.98     24.33  --
1296.94/325.03	c  N dy  5244   1601388        80      7120         0     95008     49840   1784918     22.99     25.94  --
1318.50/330.43	c  N dy  5358   1622549        80      7120         0     64039     49840    928144     23.00     24.41  --
1339.25/335.65	c  N dy  5395   1647130        80      7120         0     86305     49840   1511567     22.98     24.28  --
1371.57/343.75	c  N dy  5440   1681038        80      7120         0     66014     49840    952642     22.97     24.22  --
1399.50/350.79	c  N dy  5477   1710378        80      7120         0     92566     49840   1655398     22.95     20.74  --
1399.50/350.79	c  S st  5477   1710378        80      7120         0     92566     49840   1655398     22.95     20.74  --
1400.70/351.07	c  S st  5477   1710884        80      7120         0     93041     49840   1668672     22.95   no data  --
1400.70/351.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1400.70/351.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1401.10/351.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1401.10/351.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1401.10/351.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1401.10/351.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1401.10/351.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1526.03/382.46	c lits-rem:      5070  cl-subs:    10325  v-elim:      0  v-fix:    0  time: 124.73 s
1526.03/382.46	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1526.03/382.48	c vivif2 --  cl tried    82716 cl shrink        0 lits rem          0 time: 0.07
1527.59/382.80	c asymm  cl-useful: 0/851/7120 lits-rem:0 time: 1.30
1527.59/382.80	c calculated reachability. Time: 0.00
1527.59/382.80	c  N dy  5477   1710884        80      7120         0     82716     49840   1398789     22.95   no data  --
1555.92/389.97	c  N dy  5593   1731357        80      7120         0    101490     49840   1911678     22.96     24.37  --
1577.07/395.25	c  N dy  5687   1755760        80      7120         0     72283     49840   1125327     22.97     24.26  --
1598.63/400.68	c  N dy  5762   1775779        80      7120         0     90540     49840   1616759     22.97     24.21  --
1627.75/407.93	c  N dy  5839   1795872        80      7120         0     56197     49840    672371     22.98     26.16  --
1649.35/413.32	c  N dy  5937   1816415        80      7120         0     74980     49840   1182599     22.98     24.22  --
1676.85/420.27	c  N dy  6022   1837553        80      7120         0     94286     49840   1704901     22.99     24.28  --
1706.01/427.60	c  N dy  6088   1858964        80      7120         0     60073     49840    753697     22.99     24.29  --
1725.54/432.42	c  N dy  6181   1879014        80      7120         0     78483     49840   1254630     23.00     24.80  --
1751.07/438.89	c  N dy  6282   1899067        80      7120         0     96836     49840   1752676     23.01     24.23  --
1779.40/445.92	c  N dy  6387   1919434        80      7120         0     60677     49840    756176     23.02     24.24  --
1798.60/450.72	c  N dy  6481   1939465        80      7120         0     78959     49840   1255446     23.03     25.71  --
1828.50/458.24	c  N dy  6552   1966830        80      7120         0    103834     49840   1925579     23.02     24.26  --
1851.65/464.05	c  N dy  6609   1987364        80      7120         0     66913     49840    904003     23.02     24.26  --
1872.00/469.12	c  N dy  6659   2008846        80      7120         0     86499     49840   1433355     23.02     24.24  --
1900.73/476.34	c  N dy  6783   2028928        80      7120         0    104934     49840   1940834     23.03     26.13  --
1925.08/482.47	c  N dy  6849   2048942        80      7120         0     66532     49840    880893     23.03     24.86  --
1960.62/491.38	c  N dy  6897   2086848        80      7120         0    100942     49840   1798013     23.01     24.23  --
1988.93/498.43	c  N dy  6963   2107744        80      7120         0     62612     49840    764298     23.01     24.41  --
2008.49/503.32	c  N dy  7046   2127788        80      7120         0     80900     49840   1262415     23.01     24.66  --
2034.43/509.81	c  N dy  7115   2147812        80      7120         0     99218     49840   1757687     23.02     24.23  --
2067.95/518.25	c  N dy  7214   2167876        80      7120         0     59169     49840    654590     23.02     26.75  --
2090.68/523.91	c  N dy  7318   2188221        80      7120         0     77812     49840   1164934     23.03     24.32  --
2111.44/529.11	c  N dy  7346   2208866        80      7120         0     96616     49840   1672463     23.03     24.30  --
2114.26/529.81	c  S st  7358   2210887        80      7120         0     98474     49840   1723409     23.03     21.55  --
2115.42/530.12	c  S st  7358   2211390        80      7120         0     98945     49840   1736455     23.03   no data  --
2115.42/530.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2115.42/530.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2115.42/530.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2115.82/530.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2115.82/530.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2115.82/530.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2115.82/530.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2492.14/624.59	c lits-rem:      4016  cl-subs:     8238  v-elim:      0  v-fix:    0  time: 376.39 s
2492.14/624.59	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2492.50/624.61	c vivif2 --  cl tried    90707 cl shrink        0 lits rem          0 time: 0.08
2493.69/624.97	c asymm  cl-useful: 0/619/7120 lits-rem:0 time: 1.42
2493.69/624.97	c calculated reachability. Time: 0.00
2493.69/624.97	c  N dy  7358   2211390        80      7120         0     90707     49840   1503496     23.03   no data  --
2544.82/637.76	c  N dy  7377   2258995        80      7120         0     74725     49840   1045392     22.99     24.27  --
2568.72/643.75	c  N dy  7478   2279088        80      7120         0     93108     49840   1545540     22.99     24.21  --
2598.65/651.21	c  N dy  7590   2299175        80      7120         0    111539     49840   2050132     23.00     25.26  --
2625.79/658.04	c  N dy  7687   2319196        80      7120         0     69936     49840    918613     23.01     24.30  --
2646.53/663.24	c  N dy  7735   2339262        80      7120         0     88217     49840   1410730     23.01     26.89  --
2682.85/672.36	c  N dy  7831   2366010        80      7120         0    112584     49840   2066072     23.01     24.24  --
2709.59/679.04	c  N dy  7930   2386087        80      7120         0     69966     49840    906799     23.02     24.25  --
2731.54/684.57	c  N dy  8020   2406346        80      7120         0     88488     49840   1410850     23.02     24.32  --
2753.90/690.13	c  N dy  8042   2427797        80      7120         0    107955     49840   1931685     23.01     24.48  --
2788.20/698.78	c  N dy  8114   2448559        80      7120         0     64945     49840    751567     23.02     24.23  --
2812.17/704.80	c  N dy  8148   2470081        80      7120         0     84604     49840   1277353     23.01     24.33  --
2863.22/717.55	c  N dy  8226   2504454        80      7120         0    115765     49840   2104497     23.00     24.26  --
2890.36/724.30	c  N dy  8245   2529342        80      7120         0     75558     49840   1017959     22.99     24.20  --
2913.54/730.19	c  N dy  8333   2549388        80      7120         0     93884     49840   1516719     22.99     24.21  --
2941.44/737.13	c  N dy  8421   2569415        80      7120         0    112150     49840   2013630     23.00     25.50  --
2972.97/745.06	c  N dy  8491   2589504        80      7120         0     66718     49840    766608     23.00     24.89  --
2998.10/751.39	c  N dy  8523   2617365        80      7120         0     92000     49840   1443332     22.99     24.22  --
3028.03/758.80	c  N dy  8617   2637395        80      7120         0    110370     49840   1940329     22.99     25.20  --
3056.78/766.10	c  N dy  8650   2657538        80      7120         0    128626     49840   2429593     22.99     24.21  --
3112.65/780.07	c  N dy  8726   2711390        80      7120         0    112600     49840   1960443     22.96     20.06  --
3112.65/780.07	c  S st  8726   2711390        80      7120         0    112600     49840   1960443     22.96     20.06  --
3114.25/780.40	c  S st  8726   2711892        80      7120         0    113069     49840   1973469     22.96   no data  --
3114.25/780.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3114.25/780.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3114.25/780.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3114.65/780.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3114.65/780.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3114.65/780.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3114.65/780.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3572.28/895.21	c lits-rem:      4217  cl-subs:    12649  v-elim:      0  v-fix:    0  time: 457.43 s
3572.28/895.21	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3572.28/895.23	c vivif2 --  cl tried   100420 cl shrink        0 lits rem          0 time: 0.09
3573.48/895.60	c asymm  cl-useful: 0/578/7120 lits-rem:0 time: 1.45
3573.88/895.60	c calculated reachability. Time: 0.00
3573.88/895.60	c  N dy  8726   2711892        80      7120         0    100420     49840   1653970     22.96   no data  --
3609.00/904.40	c  N dy  8857   2731902        80      7120         0    118716     49840   2155064     22.97     26.00  --
3651.30/915.02	c  N dy  8954   2758194        80      7120         0     77860     49840   1043808     22.97     24.30  --
3684.02/923.23	c  N dy  9054   2778228        80      7120         0     96138     49840   1539309     22.97     24.75  --
3732.69/935.45	c  N dy  9155   2800813        80      7120         0    116790     49840   2104641     22.98     24.32  --
3767.81/944.28	c  N dy  9169   2821232        80      7120         0     69184     49840    791901     22.97     24.20  --
3800.52/952.41	c  N dy  9302   2841350        80      7120         0     87655     49840   1300353     22.98     24.20  --
3840.42/962.43	c  N dy  9390   2863462        80      7120         0    107866     49840   1849543     22.98     24.48  --
3877.94/971.90	c  N dy  9424   2883491        80      7120         0    126123     49840   2341105     22.98     24.21  --
3913.44/980.70	c  N dy  9484   2903689        80      7120         0     77151     49840    988135     22.98     24.29  --
3966.11/994.00	c  N dy  9521   2942171        80      7120         0    111919     49840   1910733     22.96     24.21  --
4008.00/1004.46	c  N dy  9583   2962496        80      7120         0    130410     49840   2406548     22.96     24.19  --
4048.30/1014.50	c  N dy  9685   2983542        80      7120         0     81553     49840   1095854     22.96     24.22  --
4083.01/1023.22	c  N dy  9777   3003770        80      7120         0     99983     49840   1595747     22.97     24.22  --
4128.50/1034.69	c  N dy  9911   3023848        80      7120         0    118397     49840   2103886     22.98     25.69  --
4195.93/1051.52	c  N dy  9959   3056384        80      7120         0     78705     49840    991291     22.97     24.19  --
4235.83/1061.51	c  N dy 10095   3076430        80      7120         0     97057     49840   1498951     22.98     24.83  --
4278.91/1072.31	c  N dy 10165   3096515        80      7120         0    115341     49840   1993616     22.98     24.37  --
4350.34/1090.21	c  N dy 10300   3122200        80      7120         0    138721     49840   2629057     22.99     24.33  --
4395.43/1101.53	c  N dy 10446   3145477        80      7120         0     89910     49840   1299979     23.00     24.31  --
4436.16/1111.79	c  N dy 10547   3165519        80      7120         0    108224     49840   1801338     23.00     24.31  --
4485.19/1124.06	c  N dy 10625   3186160        80      7120         0    127085     49840   2313799     23.00     24.22  --
4532.28/1135.88	c  N dy 10719   3207222        80      7120         0     75110     49840    874321     23.01     24.30  --
4537.51/1137.15	c  S st 10724   3211893        80      7120         0     79346     49840    982948     23.00     21.14  --
4538.67/1137.42	c  S st 10724   3212395        80      7120         0     79814     49840    996018     23.00   no data  --
4538.67/1137.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4538.67/1137.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4538.67/1137.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
4539.07/1137.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4539.07/1137.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4539.07/1137.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4539.07/1137.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4613.68/1156.22	c lits-rem:      1146  cl-subs:     1938  v-elim:      0  v-fix:    0  time: 74.61 s
4613.68/1156.22	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4613.68/1156.23	c vivif2 --  cl tried    77876 cl shrink        0 lits rem          0 time: 0.06
4615.28/1156.64	c asymm  cl-useful: 0/687/7120 lits-rem:0 time: 1.62
4615.28/1156.64	c calculated reachability. Time: 0.00
4615.28/1156.64	c  N dy 10724   3212395        80      7120         0     77876     49840    943289     23.00   no data  --
4645.60/1164.20	c  N dy 10844   3232429        80      7120         0     96196     49840   1447422     23.01     26.39  --
4681.53/1173.24	c  N dy 10938   3252912        80      7120         0    114976     49840   1956459     23.02     24.25  --
4733.80/1186.32	c  N dy 11047   3279570        80      7120         0    139393     49840   2619573     23.02     24.34  --
4762.93/1193.62	c  N dy 11136   3299636        80      7120         0     85619     49840   1143451     23.02     24.28  --
4792.85/1201.18	c  N dy 11284   3319861        80      7120         0    104112     49840   1653568     23.03     24.25  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369052-1305410859/watcher-3369052-1305410859 -o /tmp/evaluation-result-3369052-1305410859/solver-3369052-1305410859 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369052-1305410859.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: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 412 0 0 0 1 0 0 0 23 0 4 0 652683787 52465664 352 33554432000 4194304 4650419 140734151105088 18446744073709551615 47044368861106 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 12809 352 303 112 0 7774 0
[pid=17557/tid=17558] ppid=17555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652683787 52465664 352 33554432000 4194304 4650419 140734151105088 18446744073709551615 47044368861106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652683787 52465664 352 33554432000 4194304 4650419 140734151105088 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652683787 52465664 352 33554432000 4194304 4650419 140734151105088 18446744073709551615 47044368861106 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.040921 s]
/proc/loadavg: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=281928 CPUtime=0.13 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 1421 0 0 0 13 0 0 0 18 0 4 0 652683787 288694272 1322 33554432000 4194304 4650419 140734151105088 18446744073709551615 4371135 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 70482 1322 366 112 0 65447 0
[pid=17557/tid=17558] ppid=17555 vsize=281928 CPUtime=0.03 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 233 0 0 0 3 0 0 0 18 0 4 0 652683787 288694272 1322 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=281928 CPUtime=0.02 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 238 0 0 0 2 0 0 0 25 0 4 0 652683787 288694272 1322 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=281928 CPUtime=0.03 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 286 0 0 0 3 0 0 0 18 0 4 0 652683787 288694272 1322 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 281928

[startup+0.100901 s]
/proc/loadavg: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=282060 CPUtime=0.37 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 1541 0 0 0 37 0 0 0 18 0 4 0 652683787 288829440 1442 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 70515 1442 366 112 0 65480 0
[pid=17557/tid=17558] ppid=17555 vsize=282060 CPUtime=0.09 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 244 0 0 0 9 0 0 0 18 0 4 0 652683787 288829440 1442 33554432000 4194304 4650419 140734151105088 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=282060 CPUtime=0.08 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 250 0 0 0 8 0 0 0 25 0 4 0 652683787 288829440 1442 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=282060 CPUtime=0.09 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 371 0 0 0 9 0 0 0 18 0 4 0 652683787 288829440 1442 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282060

[startup+1.06172 s]
/proc/loadavg: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=288088 CPUtime=4.21 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 8208 0 0 0 420 1 0 0 19 0 4 0 652683787 295002112 4338 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 72022 4338 391 112 0 66987 0
[pid=17557/tid=17558] ppid=17555 vsize=288088 CPUtime=1.05 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 1964 0 0 0 105 0 0 0 19 0 4 0 652683787 295002112 4338 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=288088 CPUtime=1.04 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 2076 0 0 0 104 0 0 0 19 0 4 0 652683787 295002112 4338 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=288088 CPUtime=1.05 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 1675 0 0 0 105 0 0 0 19 0 4 0 652683787 295002112 4338 33554432000 4194304 4650419 140734151105088 18446744073709551615 255376968706 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 288088

[startup+1.10072 s]
/proc/loadavg: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=288088 CPUtime=4.37 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 8333 0 0 0 436 1 0 0 19 0 4 0 652683787 295002112 4463 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 72022 4463 391 112 0 66987 0
[pid=17557/tid=17558] ppid=17555 vsize=288088 CPUtime=1.09 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 1988 0 0 0 109 0 0 0 19 0 4 0 652683787 295002112 4463 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=288088 CPUtime=1.08 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 2098 0 0 0 108 0 0 0 19 0 4 0 652683787 295002112 4463 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=288088 CPUtime=1.09 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 1731 0 0 0 109 0 0 0 19 0 4 0 652683787 295002112 4463 33554432000 4194304 4650419 140734151105088 18446744073709551615 4332828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 288088

[startup+1.50064 s]
/proc/loadavg: 0.03 0.04 0.08 7/304 17557
/proc/meminfo: memFree=12161624/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=288576 CPUtime=5.96 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 11853 0 0 0 595 1 0 0 20 0 4 0 652683787 295501824 6355 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 72144 6355 392 112 0 67109 0
[pid=17557/tid=17558] ppid=17555 vsize=288576 CPUtime=1.49 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 2483 0 0 0 149 0 0 0 19 0 4 0 652683787 295501824 6355 33554432000 4194304 4650419 140734151105088 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=288576 CPUtime=1.48 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 2587 0 0 0 148 0 0 0 19 0 4 0 652683787 295501824 6355 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=288576 CPUtime=1.49 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 2208 0 0 0 149 0 0 0 20 0 4 0 652683787 295501824 6355 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288576

[startup+3.10035 s]
/proc/loadavg: 0.03 0.04 0.08 9/308 17561
/proc/meminfo: memFree=12083264/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=294200 CPUtime=12.34 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 19501 0 0 0 1232 2 0 0 25 0 4 0 652683787 301260800 11761 33554432000 4194304 4650419 140734151105088 18446744073709551615 4315277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 73550 11761 392 112 0 68515 0
[pid=17557/tid=17558] ppid=17555 vsize=294200 CPUtime=3.09 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 4094 0 0 0 309 0 0 0 24 0 4 0 652683787 301260800 11761 33554432000 4194304 4650419 140734151105088 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=294200 CPUtime=3.06 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 5375 0 0 0 306 0 0 0 24 0 4 0 652683787 301260800 11761 33554432000 4194304 4650419 140734151105088 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=294200 CPUtime=3.08 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 5410 0 0 0 308 0 0 0 25 0 4 0 652683787 301260800 11761 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294200

[startup+6.31175 s]
/proc/loadavg: 0.67 0.17 0.12 9/308 17561
/proc/meminfo: memFree=12054884/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=302748 CPUtime=25.16 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 28259 0 0 0 2512 4 0 0 25 0 4 0 652683787 310013952 16153 33554432000 4194304 4650419 140734151105088 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 75687 16161 392 112 0 70652 0
[pid=17557/tid=17558] ppid=17555 vsize=302748 CPUtime=6.29 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 7221 0 0 0 629 0 0 0 25 0 4 0 652683787 310013952 16165 33554432000 4194304 4650419 140734151105088 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=302748 CPUtime=6.24 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 7129 0 0 0 623 1 0 0 25 0 4 0 652683787 310013952 16170 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=302748 CPUtime=6.29 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 7668 0 0 0 629 0 0 0 25 0 4 0 652683787 310013952 16174 33554432000 4194304 4650419 140734151105088 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 302748

[startup+12.7006 s]
/proc/loadavg: 1.25 0.30 0.16 10/308 17561
/proc/meminfo: memFree=12019292/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=321940 CPUtime=50.66 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 40815 0 0 0 5060 6 0 0 25 0 4 0 652683787 329666560 20532 33554432000 4194304 4650419 140734151105088 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 80485 20532 392 112 0 75450 0
[pid=17557/tid=17558] ppid=17555 vsize=321940 CPUtime=12.69 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 9256 0 0 0 1268 1 0 0 25 0 4 0 652683787 329666560 20532 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=321940 CPUtime=12.58 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 10455 0 0 0 1256 2 0 0 25 0 4 0 652683787 329666560 20532 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=321940 CPUtime=12.68 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 11972 0 0 0 1267 1 0 0 25 0 4 0 652683787 329666560 20532 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 321940

[startup+25.5002 s]
/proc/loadavg: 2.81 0.69 0.30 9/308 17561
/proc/meminfo: memFree=11965108/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=315188 CPUtime=101.74 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 60646 0 0 0 10164 10 0 0 25 0 4 0 652683787 322752512 29210 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 78797 29210 392 112 0 73762 0
[pid=17557/tid=17558] ppid=17555 vsize=315188 CPUtime=25.48 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 12930 0 0 0 2547 1 0 0 25 0 4 0 652683787 322752512 29210 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=315188 CPUtime=25.26 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 16211 0 0 0 2523 3 0 0 25 0 4 0 652683787 322752512 29210 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=315188 CPUtime=25.49 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 17708 0 0 0 2547 2 0 0 25 0 4 0 652683787 322752512 29210 33554432000 4194304 4650419 140734151105088 18446744073709551615 4363862 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 315188

[startup+51.1005 s]
/proc/loadavg: 4.66 1.29 0.50 10/308 17562
/proc/meminfo: memFree=11926648/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=327620 CPUtime=203.9 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 87339 0 0 0 20373 17 0 0 25 0 4 0 652683787 335482880 32870 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 81905 32870 392 112 0 76870 0
[pid=17557/tid=17558] ppid=17555 vsize=327620 CPUtime=51.07 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 15131 0 0 0 5105 2 0 0 25 0 4 0 652683787 335482880 32870 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=327620 CPUtime=50.62 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 25645 0 0 0 5057 5 0 0 25 0 4 0 652683787 335482880 32870 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=327620 CPUtime=51.09 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 26385 0 0 0 5104 5 0 0 25 0 4 0 652683787 335482880 32870 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 327620

[startup+102.301 s]
/proc/loadavg: 6.60 2.34 0.90 10/308 17563
/proc/meminfo: memFree=11844528/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=335828 CPUtime=408.22 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 125859 0 0 0 40796 26 0 0 25 0 4 0 652683787 343887872 45399 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 83957 45399 392 112 0 78922 0
[pid=17557/tid=17558] ppid=17555 vsize=335828 CPUtime=102.27 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 17746 0 0 0 10224 3 0 0 25 0 4 0 652683787 343887872 45399 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=335828 CPUtime=101.35 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 35078 0 0 0 10128 7 0 0 25 0 4 0 652683787 343887872 45399 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=335828 CPUtime=102.29 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 42082 0 0 0 10221 8 0 0 25 0 4 0 652683787 343887872 45399 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 335828

[startup+162.301 s]

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

[pid=17557] ppid=17555 vsize=421328 CPUtime=2802.58 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 410217 0 0 0 280121 137 0 0 25 0 4 0 652683787 431439872 70767 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 105332 70767 392 112 0 100297 0
[pid=17557/tid=17558] ppid=17555 vsize=421328 CPUtime=702.18 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 56906 0 0 0 70197 21 0 0 25 0 4 0 652683787 431439872 70767 33554432000 4194304 4650419 140734151105088 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=421328 CPUtime=695.74 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 106234 0 0 0 69539 35 0 0 25 0 4 0 652683787 431439872 70767 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=421328 CPUtime=702.31 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 127428 0 0 0 70187 44 0 0 25 0 4 0 652683787 431439872 70767 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.58
Current children cumulated vsize (KiB) 421328

[startup+762.301 s]
/proc/loadavg: 8.12 7.51 4.57 9/308 17581
/proc/meminfo: memFree=11573792/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=434428 CPUtime=3042 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 430558 0 0 0 304055 145 0 0 25 0 4 0 652683787 444854272 75960 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 108607 75960 392 112 0 103572 0
[pid=17557/tid=17558] ppid=17555 vsize=434428 CPUtime=762.17 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 59690 0 0 0 76195 22 0 0 25 0 4 0 652683787 444854272 75960 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=434428 CPUtime=755.18 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 112969 0 0 0 75480 38 0 0 25 0 4 0 652683787 444854272 75960 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=434428 CPUtime=762.31 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 134238 0 0 0 76184 47 0 0 25 0 4 0 652683787 444854272 75960 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042
Current children cumulated vsize (KiB) 434428

[startup+822.301 s]
/proc/loadavg: 8.21 7.66 4.81 9/308 17583
/proc/meminfo: memFree=11546600/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=434716 CPUtime=3281.42 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 447663 0 0 0 327989 153 0 0 25 0 4 0 652683787 445149184 77170 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 108679 77170 392 112 0 103644 0
[pid=17557/tid=17558] ppid=17555 vsize=434716 CPUtime=822.17 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 62510 0 0 0 82193 24 0 0 25 0 4 0 652683787 445149184 77170 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=434716 CPUtime=814.6 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 117518 0 0 0 81420 40 0 0 25 0 4 0 652683787 445149184 77170 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=434716 CPUtime=822.31 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 139973 0 0 0 82181 50 0 0 25 0 4 0 652683787 445149184 77170 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.42
Current children cumulated vsize (KiB) 434716

[startup+882.301 s]
/proc/loadavg: 8.13 7.73 5.01 9/308 17584
/proc/meminfo: memFree=11498600/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=435028 CPUtime=3520.82 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 463981 0 0 0 351921 161 0 0 25 0 4 0 652683787 445468672 77490 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 108757 77490 392 112 0 103722 0
[pid=17557/tid=17558] ppid=17555 vsize=435028 CPUtime=882.16 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 65181 0 0 0 88191 25 0 0 25 0 4 0 652683787 445468672 77490 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=435028 CPUtime=874.01 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 123634 0 0 0 87357 44 0 0 25 0 4 0 652683787 445468672 77490 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=435028 CPUtime=882.32 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 144701 0 0 0 88179 53 0 0 25 0 4 0 652683787 445468672 77490 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.82
Current children cumulated vsize (KiB) 435028

[startup+942.3 s]
/proc/loadavg: 8.17 7.82 5.21 9/308 17586
/proc/meminfo: memFree=11478496/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=498176 CPUtime=3760.25 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 484323 0 0 0 375856 169 0 0 25 0 4 0 652683787 510132224 85004 33554432000 4194304 4650419 140734151105088 18446744073709551615 4315038 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 124544 85004 392 112 0 119509 0
[pid=17557/tid=17558] ppid=17555 vsize=498176 CPUtime=942.15 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 68162 0 0 0 94189 26 0 0 25 0 4 0 652683787 510132224 85004 33554432000 4194304 4650419 140734151105088 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=498176 CPUtime=933.42 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 129075 0 0 0 93296 46 0 0 25 0 4 0 652683787 510132224 85004 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=498176 CPUtime=942.33 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 153161 0 0 0 94178 55 0 0 25 0 4 0 652683787 510132224 85004 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.25
Current children cumulated vsize (KiB) 498176

[startup+1002.3 s]
/proc/loadavg: 8.06 7.85 5.38 9/308 17587
/proc/meminfo: memFree=11437548/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=498236 CPUtime=3999.62 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 503204 0 0 0 399785 177 0 0 25 0 4 0 652683787 510193664 91234 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 124559 91235 392 112 0 119524 0
[pid=17557/tid=17558] ppid=17555 vsize=498236 CPUtime=1002.13 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 68217 0 0 0 100187 26 0 0 25 0 4 0 652683787 510193664 91235 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=498236 CPUtime=992.81 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 133425 0 0 0 99232 49 0 0 25 0 4 0 652683787 510193664 91235 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=498236 CPUtime=1002.32 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 161951 0 0 0 100176 56 0 0 25 0 4 0 652683787 510193664 91235 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.62
Current children cumulated vsize (KiB) 498236

[startup+1062.31 s]
/proc/loadavg: 8.21 7.93 5.56 9/308 17589
/proc/meminfo: memFree=11452628/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=563828 CPUtime=4239.06 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 519550 0 0 0 423723 183 0 0 25 0 4 0 652683787 577359872 88836 33554432000 4194304 4650419 140734151105088 18446744073709551615 4367241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 140957 88836 392 112 0 135922 0
[pid=17557/tid=17558] ppid=17555 vsize=563828 CPUtime=1062.14 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 68217 0 0 0 106188 26 0 0 25 0 4 0 652683787 577359872 88836 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=563828 CPUtime=1052.22 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 138189 0 0 0 105170 52 0 0 25 0 4 0 652683787 577359872 88836 33554432000 4194304 4650419 140734151105088 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=563828 CPUtime=1062.33 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 171261 0 0 0 106176 57 0 0 25 0 4 0 652683787 577359872 88836 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.06
Current children cumulated vsize (KiB) 563828

[startup+1122.3 s]
/proc/loadavg: 8.15 7.96 5.72 9/308 17591
/proc/meminfo: memFree=11408596/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=629364 CPUtime=4478.42 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 535045 0 0 0 447655 187 0 0 25 0 4 0 652683787 644468736 92076 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 157341 92076 392 112 0 152306 0
[pid=17557/tid=17558] ppid=17555 vsize=629364 CPUtime=1122.11 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 68217 0 0 0 112185 26 0 0 25 0 4 0 652683787 644468736 92076 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=629364 CPUtime=1111.62 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 143032 0 0 0 111109 53 0 0 25 0 4 0 652683787 644468736 92076 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=629364 CPUtime=1122.32 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 178038 0 0 0 112174 58 0 0 25 0 4 0 652683787 644468736 92076 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.42
Current children cumulated vsize (KiB) 629364

[startup+1182.3 s]
/proc/loadavg: 8.39 8.06 5.89 9/308 17592
/proc/meminfo: memFree=11415260/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=563900 CPUtime=4717.83 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 557281 0 0 0 471590 193 0 0 25 0 4 0 652683787 577433600 89529 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 140975 89529 392 112 0 135940 0
[pid=17557/tid=17558] ppid=17555 vsize=563900 CPUtime=1182.11 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 71193 0 0 0 118183 28 0 0 25 0 4 0 652683787 577433600 89529 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=563900 CPUtime=1171.05 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 156742 0 0 0 117049 56 0 0 25 0 4 0 652683787 577433600 89529 33554432000 4194304 4650419 140734151105088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=563900 CPUtime=1182.33 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 183072 0 0 0 118173 60 0 0 25 0 4 0 652683787 577433600 89529 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.83
Current children cumulated vsize (KiB) 563900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.34 8.07 5.94 11/308 17593
/proc/meminfo: memFree=11389088/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=577200 CPUtime=4800.07 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 566880 0 0 0 479810 197 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 144300 91480 392 112 0 139265 0
[pid=17557/tid=17558] ppid=17555 vsize=577200 CPUtime=1202.71 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 73678 0 0 0 120242 29 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=577200 CPUtime=1191.46 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 158980 0 0 0 119089 57 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=577200 CPUtime=1202.94 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 185738 0 0 0 120233 61 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 577200

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

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

[startup+1202.9 s]
/proc/loadavg: 8.34 8.07 5.94 11/308 17593
/proc/meminfo: memFree=11389088/32951124 swapFree=66050672/67111528
[pid=17557] ppid=17555 vsize=577200 CPUtime=4800.07 cores=0,2,4,6
/proc/17557/stat : 17557 (strangenight1-m) R 17555 17557 17455 0 -1 4202496 566880 0 0 0 479810 197 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17557/statm: 144300 91480 392 112 0 139265 0
[pid=17557/tid=17558] ppid=17555 vsize=577200 CPUtime=1202.71 cores=0,2,4,6
/proc/17557/task/17558/stat : 17558 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 73678 0 0 0 120242 29 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17557/tid=17559] ppid=17555 vsize=577200 CPUtime=1191.46 cores=0,2,4,6
/proc/17557/task/17559/stat : 17559 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 158980 0 0 0 119089 57 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17557/tid=17560] ppid=17555 vsize=577200 CPUtime=1202.94 cores=0,2,4,6
/proc/17557/task/17560/stat : 17560 (strangenight1-m) R 17555 17557 17455 0 -1 4202560 185738 0 0 0 120233 61 0 0 25 0 4 0 652683787 591052800 91480 33554432000 4194304 4650419 140734151105088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 577200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.93
CPU time (s): 4800.13
CPU user time (s): 4798.14
CPU system time (s): 1.9897
CPU usage (%): 399.035
Max. virtual memory (cumulated for all children) (KiB): 629364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 1.9897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566882
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= 433
involuntary context switches= 72738

runsolver used 3.32549 second user time and 8.18576 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 00:07:39
IDJOB=3369052
IDBENCH=83061
IDSOLVER=1846
FILE ID=node135/3369052-1305410859
RUNJOBID= node135-1305410850-17473
PBS_JOBID= 13324519
Free space on /tmp= 73336 MiB

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

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

MD5SUM BENCH= 2b4a2e64d71570c9cdfb4872b312e245
RANDOM SEED=1432317713

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12161780 kB
Buffers:        275648 kB
Cached:        5854544 kB
SwapCached:      50684 kB
Active:        9885576 kB
Inactive:     10659740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12161780 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           12788 kB
Writeback:           0 kB
AnonPages:    14369228 kB
Mapped:          18768 kB
Slab:           135800 kB
PageTables:      46948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57120848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73332 MiB
End job on node135 at 2011-05-15 00:27:44