Trace number 3175220

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.41 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
MD5SUM6df48a49b3cf6574a0f4cdf651f82d66
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark378.243
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175220-1304100590.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.38/0.12	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.38/0.12	c -- vars added         60
0.38/0.12	c Parsing time:  0.01 s
0.38/0.12	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.38/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.38/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      32 undec:       3 neg:      25
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.17/0.80	c  N dy     7      4056        60      5340         0      3631     37380     78348     18.69     19.73  --
3.17/0.80	c  N dy    12      8365        60      5340         0      5227     37380    106726     18.37     19.38  --
3.17/0.80	c  N dy    30     15082        60      5340         0      7406     37380    144267     18.31     19.36  --
3.99/1.06	c  F st    51     25000        60      5340         0     11193     37380    215153     18.22     17.50  --
3.99/1.06	c  N st    51     25000        60      5340         0     11193     37380    215153     18.22     17.50  --
4.76/1.28	c  N dy    57     30002        60      5340         0      9604     37380    172704     18.22   no data  --
4.76/1.28	c  S st    57     30002        60      5340         0      9604     37380    172704     18.22   no data  --
5.16/1.31	c  S st    57     30505        60      5340         0     10059     37380    182364     18.22   no data  --
5.16/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.32	c lits-rem:      1391  cl-subs:     1060  v-elim:      0  v-fix:    0  time:  3.98 s
9.96/2.59	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.06
9.96/2.59	c calculated reachability. Time: 0.00
9.96/2.59	c  N dy    57     30505        60      5340         0      8999     37380    159038     18.22   no data  --
10.76/2.79	c  N dy    81     34545        60      5340         0     12600     37380    236885     18.36     20.56  --
11.96/3.03	c  N dy    94     39163        60      5340         0      9742     37380    165484     18.31     19.33  --
13.18/3.34	c  N dy   105     45759        60      5340         0     15586     37380    290316     18.24     16.66  --
13.18/3.34	c  S st   105     45759        60      5340         0     15586     37380    290316     18.24     16.66  --
13.18/3.39	c  S st   105     46261        60      5340         0      8114     37380    123827     18.24   no data  --
13.18/3.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.55/3.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.55/3.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.55/3.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.55/3.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.55/3.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.35/4.12	c lits-rem:       115  cl-subs:       29  v-elim:      0  v-fix:    0  time:  2.89 s
16.35/4.12	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.35/4.12	c vivif2 --  cl tried     8085 cl shrink        0 lits rem          0 time: 0.00
17.17/4.34	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.87
17.17/4.34	c calculated reachability. Time: 0.00
17.17/4.34	c  N dy   105     46261        60      5340         0      8085     37380    122995     18.24   no data  --
17.95/4.53	c  N dy   122     50436        60      5340         0     11824     37380    203701     18.29     19.29  --
19.55/4.92	c  N dy   123     57449        60      5340         0      9187     37380    135617     18.09     19.07  --
20.34/5.19	c  N dy   146     62720        60      5340         0     13878     37380    236504     18.14     19.16  --
22.34/5.63	c  N dy   164     69392        60      5340         0     10048     37380    145255     18.13     16.68  --
22.34/5.63	c  S st   164     69392        60      5340         0     10048     37380    145255     18.13     16.68  --
22.34/5.66	c  S st   164     69897        60      5340         0     10520     37380    155834     18.13   no data  --
22.34/5.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.34/5.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.34/5.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.34/5.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.34/5.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.34/5.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.34/5.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.96/6.52	c lits-rem:       245  cl-subs:      155  v-elim:      0  v-fix:    0  time:  3.38 s
25.96/6.52	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.96/6.52	c vivif2 --  cl tried    10365 cl shrink        0 lits rem          0 time: 0.00
27.14/6.80	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.14/6.80	c calculated reachability. Time: 0.00
27.14/6.80	c  N dy   164     69897        60      5340         0     10365     37380    152143     18.13   no data  --
30.75/7.77	c  F st   167     87500        60      5340         0     15173     37380    239093     17.75     16.13  --
30.75/7.77	c  N st   167     87500        60      5340         0     15173     37380    239093     17.75     16.13  --
32.33/8.17	c  N dy   177     93215        60      5340         0     20250     37380    346850     17.76     18.71  --
34.33/8.69	c  N dy   191    100742        60      5340         0     15475     37380    240803     17.75     18.72  --
35.53/8.97	c  S st   209    104846        60      5340         0     19152     37380    318487     17.76     16.20  --
35.92/9.03	c  S st   209    105349        60      5340         0     19613     37380    328645     17.76   no data  --
35.92/9.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.92/9.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.92/9.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.92/9.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.92/9.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.92/9.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
35.92/9.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.31/10.61	c lits-rem:      1890  cl-subs:     2008  v-elim:      0  v-fix:    0  time:  6.24 s
42.31/10.61	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.31/10.62	c vivif2 --  cl tried    17605 cl shrink        0 lits rem          0 time: 0.01
43.54/10.98	c asymm  cl-useful: 0/4476/5340 lits-rem:0 time: 1.43
43.54/10.98	c calculated reachability. Time: 0.00
43.54/10.98	c  N dy   209    105349        60      5340         0     17605     37380    285870     17.76   no data  --
47.11/11.84	c  N dy   254    116025        60      5340         0     14779     37380    217086     17.81     18.78  --
52.32/13.20	c  N dy   268    135945        60      5340         0     19143     37380    292479     17.62     18.57  --
55.50/13.96	c  N dy   312    144719        60      5340         0     27017     37380    459608     17.67     18.86  --
58.30/14.68	c  N dy   342    153967        60      5340         0     21034     37380    325540     17.66     19.22  --
59.90/15.04	c  S st   368    158024        60      5340         0     24668     37380    404229     17.70   no data  --
60.30/15.11	c  S st   368    158526        60      5340         0     25130     37380    414352     17.70   no data  --
60.30/15.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.30/15.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.30/15.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.30/15.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.30/15.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.30/15.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.30/15.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.28/17.15	c lits-rem:      2134  cl-subs:     2754  v-elim:      0  v-fix:    0  time:  8.05 s
68.28/17.15	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.28/17.15	c vivif2 --  cl tried    22376 cl shrink        0 lits rem          0 time: 0.02
68.68/17.26	c asymm  cl-useful: 0/864/5340 lits-rem:0 time: 0.45
68.68/17.26	c calculated reachability. Time: 0.00
68.68/17.26	c  N dy   368    158526        60      5340         0     22376     37380    355458     17.70   no data  --
73.08/18.38	c  N dy   442    169017        60      5340         0     16768     37380    228123     17.80     18.76  --
77.07/19.36	c  N dy   517    179887        60      5340         0     26428     37380    435493     17.87     19.80  --
87.06/21.82	c  N dy   536    208404        60      5340         0     18800     37380    249700     17.57     18.61  --
92.64/23.27	c  N dy   645    222480        60      5340         0     31411     37380    523318     17.69     18.71  --
98.64/24.71	c  N dy   745    236731        60      5340         0     26397     37380    406093     17.77     19.89  --
99.04/24.82	c  S st   746    237789        60      5340         0     27332     37380    425222     17.77     17.87  --
99.04/24.89	c  S st   746    238295        60      5340         0     27797     37380    435337     17.77   no data  --
99.04/24.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.04/24.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.44/24.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
99.44/24.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.44/24.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.44/24.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
99.44/24.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
108.23/27.20	c lits-rem:      1856  cl-subs:     2330  v-elim:      0  v-fix:    0  time:  9.12 s
108.23/27.20	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
108.63/27.20	c vivif2 --  cl tried    25467 cl shrink        0 lits rem          0 time: 0.02
109.84/27.59	c asymm  cl-useful: 0/3278/5340 lits-rem:0 time: 1.55
109.84/27.59	c calculated reachability. Time: 0.00
109.84/27.59	c  N dy   746    238295        60      5340         0     25467     37380    383180     17.77   no data  --
117.42/29.42	c  N dy   820    257501        60      5340         0     23990     37380    336400     17.78     18.75  --
125.00/31.37	c  N dy   893    275518        60      5340         0     20493     37380    256648     17.80     18.74  --
132.59/33.28	c  N dy   956    294944        60      5340         0     37697     37380    617850     17.79     18.83  --
137.39/34.49	c  F st  1006    306250        60      5340         0     27328     37380    389562     17.80     15.69  --
140.61/35.28	c  N dy  1025    313810        60      5340         0     34041     37380    532261     17.81     19.40  --
149.40/37.48	c  N dy  1088    333912        60      5340         0     30540     37380    444624     17.79     20.24  --
160.16/40.18	c  N dy  1211    354011        60      5340         0     26277     37380    352322     17.86     19.78  --
161.76/40.55	c  S st  1240    357445        60      5340         0     29345     37380    419519     17.88   no data  --
162.17/40.62	c  S st  1240    357949        60      5340         0     29798     37380    429548     17.88   no data  --
162.17/40.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.17/40.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.17/40.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
162.17/40.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.17/40.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.17/40.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
162.17/40.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.96/42.83	c lits-rem:      1509  cl-subs:     1666  v-elim:      0  v-fix:    0  time:  8.73 s
170.96/42.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.96/42.84	c vivif2 --  cl tried    28132 cl shrink        0 lits rem          0 time: 0.02
172.54/43.23	c asymm  cl-useful: 0/2062/5340 lits-rem:0 time: 1.56
172.54/43.23	c calculated reachability. Time: 0.00
172.54/43.23	c  N dy  1240    357949        60      5340         0     28132     37380    391185     17.88   no data  --
186.52/46.78	c  N dy  1375    378015        60      5340         0     23000     37380    271314     17.94     19.65  --
196.91/49.32	c  N dy  1502    398110        60      5340         0     40887     37380    658684     17.99     20.78  --
209.70/52.52	c  N dy  1576    425142        60      5340         0     40850     37380    630780     17.98     18.93  --
220.07/55.15	c  N dy  1642    445248        60      5340         0     33791     37380    472081     17.98     19.03  --
232.06/58.10	c  N dy  1707    465263        60      5340         0     25862     37380    298089     17.98     18.94  --
241.66/60.60	c  N dy  1812    485276        60      5340         0     43676     37380    680048     18.01     21.39  --
252.83/63.38	c  N dy  1855    506405        60      5340         0     35822     37380    494127     17.98     19.08  --
269.61/67.58	c  N dy  1959    536927        60      5340         0     35323     37380    471583     17.99     16.52  --
269.61/67.58	c  S st  1959    536927        60      5340         0     35323     37380    471583     17.99     16.52  --
270.01/67.68	c  S st  1959    537428        60      5340         0     35772     37380    481554     17.99   no data  --
270.01/67.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
270.01/67.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
270.01/67.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
270.40/67.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.40/67.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.40/67.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
270.40/67.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
279.20/69.95	c lits-rem:       963  cl-subs:     2606  v-elim:      0  v-fix:    0  time:  8.97 s
279.20/69.95	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
279.20/69.95	c vivif2 --  cl tried    33166 cl shrink        0 lits rem          0 time: 0.02
280.81/70.33	c asymm  cl-useful: 0/2778/5340 lits-rem:0 time: 1.50
280.81/70.33	c calculated reachability. Time: 0.00
280.81/70.33	c  N dy  1959    537428        60      5340         0     33166     37380    430582     17.99   no data  --
292.38/73.29	c  N dy  2067    557525        60      5340         0     50997     37380    811110     18.01     19.07  --
306.76/76.89	c  N dy  2157    582871        60      5340         0     45144     37380    668652     18.00     18.97  --
320.77/80.39	c  N dy  2251    603198        60      5340         0     34081     37380    433341     18.02     18.98  --
334.72/83.87	c  N dy  2313    627322        60      5340         0     55425     37380    886344     18.01     18.96  --
347.51/87.00	c  N dy  2405    647361        60      5340         0     43174     37380    615354     18.02     21.00  --
367.48/92.01	c  N dy  2485    674692        60      5340         0     36349     37380    457680     18.01     18.98  --
381.47/95.52	c  N dy  2608    695537        60      5340         0     54840     37380    857929     18.04     19.04  --
396.64/99.32	c  N dy  2672    716477        60      5340         0     41489     37380    555720     18.03     19.03  --
413.82/103.61	c  N dy  2807    739081        60      5340         0     61606     37380    991765     18.06     19.06  --
429.80/107.70	c  N dy  2885    764622        60      5340         0     51428     37380    754462     18.06     19.11  --
447.79/112.17	c  N dy  2952    789445        60      5340         0     39714     37380    495362     18.05     19.02  --
460.16/115.20	c  S st  3072    806142        60      5340         0     54594     37380    820547     18.07     18.07  --
460.56/115.34	c  S st  3072    806648        60      5340         0     55045     37380    830398     18.07   no data  --
460.56/115.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
460.56/115.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.56/115.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
460.56/115.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.56/115.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.56/115.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
460.56/115.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.51/123.86	c lits-rem:      3490  cl-subs:     5293  v-elim:      0  v-fix:    0  time: 33.77 s
494.51/123.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
494.51/123.87	c vivif2 --  cl tried    49752 cl shrink        0 lits rem          0 time: 0.04
495.71/124.19	c asymm  cl-useful: 0/811/5340 lits-rem:0 time: 1.31
495.71/124.20	c calculated reachability. Time: 0.00
495.71/124.20	c  N dy  3072    806648        60      5340         0     49752     37380    715981     18.07   no data  --
511.69/128.12	c  N dy  3113    826696        60      5340         0     67305     37380   1076857     18.05     19.86  --
524.47/131.39	c  N dy  3207    846710        60      5340         0     50813     37380    732895     18.07     19.82  --
542.45/135.88	c  N dy  3318    866768        60      5340         0     68687     37380   1120187     18.09     20.03  --
556.02/139.20	c  N dy  3365    888081        60      5340         0     52249     37380    741598     18.08     19.08  --
576.80/144.45	c  N dy  3496    910735        60      5340         0     72267     37380   1174021     18.10     19.13  --
591.18/148.00	c  N dy  3608    930952        60      5340         0     54013     37380    779456     18.12     19.08  --
607.56/152.10	c  N dy  3658    951026        60      5340         0     71753     37380   1156097     18.11     19.43  --
621.94/155.72	c  N dy  3722    972041        60      5340         0     53060     37380    736963     18.11     19.08  --
640.32/160.36	c  N dy  3839    992110        60      5340         0     70871     37380   1123222     18.13     19.91  --
655.50/164.16	c  N dy  3906   1012474        60      5340         0     50762     37380    680132     18.13     19.15  --
673.07/168.53	c  N dy  4008   1032542        60      5340         0     68558     37380   1064037     18.14     19.80  --
690.64/172.94	c  N dy  4093   1053230        60      5340         0     48044     37380    620684     18.15     19.14  --
703.43/176.14	c  F st  4120   1071876        60      5340         0     64496     37380    963298     18.13     17.08  --
705.02/176.54	c  N st  4124   1073908        60      5340         0     66301     37380   1002320     18.13   no data  --
729.01/182.59	c  N dy  4207   1101822        60      5340         0     51211     37380    670590     18.13     19.19  --
746.99/187.03	c  N dy  4232   1128103        60      5340         0     74178     37380   1141830     18.11     19.09  --
764.17/191.34	c  N dy  4294   1148974        60      5340         0     52128     37380    684418     18.11     19.07  --
783.73/196.23	c  N dy  4319   1173496        60      5340         0     73549     37380   1120741     18.07     19.04  --
805.29/201.60	c  N dy  4408   1193547        60      5340         0     49936     37380    631427     18.08     20.34  --
818.87/205.09	c  S st  4438   1209974        60      5340         0     64400     37380    931414     18.07     14.54  --
820.07/205.36	c  S st  4438   1210476        60      5340         0     64866     37380    942123     18.07   no data  --
820.07/205.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
820.07/205.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.47/205.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.17
820.47/205.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.47/205.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.47/205.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
820.47/205.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
896.77/224.50	c lits-rem:      3392  cl-subs:     6778  v-elim:      0  v-fix:    0  time: 76.13 s
896.77/224.50	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
896.77/224.51	c vivif2 --  cl tried    58088 cl shrink        0 lits rem          0 time: 0.04
897.97/224.86	c asymm  cl-useful: 0/662/5340 lits-rem:0 time: 1.41
897.97/224.87	c calculated reachability. Time: 0.00
897.97/224.87	c  N dy  4438   1210476        60      5340         0     58088     37380    803914     18.07   no data  --
923.93/231.30	c  N dy  4490   1239102        60      5340         0     83319     37380   1334320     18.05     19.24  --
941.91/235.81	c  N dy  4636   1260805        60      5340         0     60660     37380    860337     18.07     19.08  --
963.48/241.21	c  N dy  4767   1280900        60      5340         0     78578     37380   1250479     18.09     20.17  --
995.84/249.35	c  N dy  4843   1317198        60      5340         0     67275     37380    948255     18.05     19.24  --
1021.81/255.84	c  N dy  4917   1338512        60      5340         0     86154     37380   1349746     18.05     19.01  --
1043.77/261.31	c  N dy  5036   1358912        60      5340         0     60248     37380    826103     18.06     19.05  --
1067.36/267.26	c  N dy  5126   1378961        60      5340         0     77977     37380   1204022     18.07     19.45  --
1091.31/273.29	c  N dy  5166   1401976        60      5340         0     53180     37380    650642     18.05     19.05  --
1110.49/278.01	c  N dy  5250   1423765        60      5340         0     72342     37380   1054389     18.05     19.17  --
1136.46/284.51	c  N dy  5364   1445031        60      5340         0     91179     37380   1461914     18.07     19.06  --
1154.83/289.10	c  N dy  5507   1465044        60      5340         0     63072     37380    870112     18.09     20.92  --
1178.40/295.09	c  N dy  5658   1485136        60      5340         0     80972     37380   1263413     18.11     21.18  --
1204.76/301.60	c  N dy  5780   1505390        60      5340         0     52013     37380    613645     18.12     19.19  --
1220.74/305.69	c  N dy  5855   1525494        60      5340         0     69788     37380    994129     18.12     19.11  --
1275.46/319.38	c  N dy  5959   1587514        60      5340         0     76166     37380   1066143     18.06     19.02  --
1303.03/326.29	c  N dy  6098   1607613        60      5340         0     94022     37380   1454980     18.08     19.74  --
1323.80/331.45	c  N dy  6229   1627704        60      5340         0     63470     37380    846099     18.09     19.42  --
1360.95/340.71	c  N dy  6331   1662781        60      5340         0     94206     37380   1488073     18.08     19.05  --
1382.52/346.15	c  N dy  6440   1682863        60      5340         0     62699     37380    815776     18.09     19.13  --
1404.09/351.51	c  N dy  6518   1702917        60      5340         0     80378     37380   1191460     18.09     19.11  --
1414.90/354.23	c  S st  6550   1710477        60      5340         0     87056     37380   1334383     18.09     17.71  --
1416.07/354.55	c  S st  6550   1710980        60      5340         0     87509     37380   1344468     18.09   no data  --
1416.07/354.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1416.07/354.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1416.48/354.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1416.48/354.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1416.48/354.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1416.48/354.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1416.48/354.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1608.61/402.72	c lits-rem:      6046  cl-subs:    10137  v-elim:      0  v-fix:    0  time: 191.97 s
1608.61/402.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1608.61/402.74	c vivif2 --  cl tried    77372 cl shrink        0 lits rem          0 time: 0.07
1610.21/403.19	c asymm  cl-useful: 0/520/5340 lits-rem:0 time: 1.82
1610.61/403.20	c calculated reachability. Time: 0.00
1610.61/403.20	c  N dy  6550   1710980        60      5340         0     77372     37380   1129052     18.09   no data  --
1646.96/412.33	c  N dy  6612   1734588        60      5340         0     98223     37380   1573075     18.09     19.05  --
1674.15/419.18	c  N dy  6744   1754664        60      5340         0     66386     37380    894771     18.10     20.02  --
1710.08/428.13	c  N dy  6887   1774760        60      5340         0     84199     37380   1284827     18.12     20.51  --
1752.02/438.69	c  N dy  6971   1794980        60      5340         0     51120     37380    546000     18.12     19.15  --
1774.39/444.22	c  N dy  7018   1815329        60      5340         0     68983     37380    922037     18.12     19.11  --
1809.15/452.97	c  N dy  7120   1835415        60      5340         0     86746     37380   1305955     18.12     19.69  --
1852.69/463.84	c  N dy  7223   1858453        60      5340         0     55113     37380    619425     18.13     19.12  --
1879.05/470.46	c  N dy  7334   1878520        60      5340         0     72821     37380   1001951     18.14     19.16  --
1912.61/478.89	c  N dy  7451   1898561        60      5340         0     90573     37380   1388834     18.15     19.28  --
1951.35/488.52	c  N dy  7560   1918860        60      5340         0     55630     37380    622864     18.16     19.13  --
1967.73/492.67	c  N dy  7600   1938941        60      5340         0     73228     37380    991078     18.15     20.30  --
1996.49/499.82	c  N dy  7730   1960616        60      5340         0     92431     37380   1409588     18.16     19.28  --
2024.45/506.86	c  N dy  7808   1980704        60      5340         0     56353     37380    628205     18.16     19.21  --
2045.23/512.01	c  N dy  7927   2001287        60      5340         0     74611     37380   1026450     18.17     19.16  --
2067.60/517.63	c  N dy  7983   2021678        60      5340         0     92551     37380   1404657     18.17     19.15  --
2097.95/525.28	c  N dy  8067   2042121        60      5340         0     55876     37380    606600     18.17     19.32  --
2147.89/537.78	c  N dy  8095   2097824        60      5340         0    104336     37380   1587576     18.12     19.09  --
2174.26/544.33	c  N dy  8214   2117903        60      5340         0     66880     37380    838574     18.13     19.09  --
2199.82/550.71	c  N dy  8290   2141999        60      5340         0     88050     37380   1288285     18.13     19.14  --
2230.58/558.44	c  N dy  8405   2162014        60      5340         0    105810     37380   1674545     18.14     19.13  --
2256.94/565.03	c  N dy  8494   2182371        60      5340         0     67420     37380    834934     18.14     19.14  --
2288.51/572.98	c  N dy  8605   2210980        60      5340         0     92563     37380   1372392     18.14     16.81  --
2288.51/572.98	c  S st  8605   2210980        60      5340         0     92563     37380   1372392     18.14     16.81  --
2289.70/573.28	c  S st  8605   2211483        60      5340         0     93024     37380   1383053     18.14   no data  --
2289.70/573.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2289.70/573.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2290.10/573.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2290.10/573.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2290.10/573.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2290.10/573.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2290.10/573.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2400.35/600.93	c lits-rem:      5425  cl-subs:    10168  v-elim:      0  v-fix:    0  time: 110.09 s
2400.35/600.93	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2400.35/600.95	c vivif2 --  cl tried    82856 cl shrink        0 lits rem          0 time: 0.06
2401.55/601.28	c asymm  cl-useful: 0/451/5340 lits-rem:0 time: 1.32
2401.55/601.28	c calculated reachability. Time: 0.00
2401.55/601.28	c  N dy  8605   2211483        60      5340         0     82856     37380   1169279     18.14   no data  --
2433.51/609.25	c  N dy  8712   2233827        60      5340         0    102665     37380   1597192     18.15     19.18  --
2476.25/619.97	c  N dy  8798   2274020        60      5340         0     81118     37380   1103868     18.14     19.12  --
2510.61/628.54	c  N dy  8925   2298287        60      5340         0    102511     37380   1567138     18.15     19.23  --
2549.76/638.31	c  N dy  9060   2318344        60      5340         0     62529     37380    715805     18.16     20.02  --
2581.30/646.21	c  N dy  9171   2339215        60      5340         0     81030     37380   1117432     18.16     19.13  --
2622.87/656.68	c  N dy  9301   2359257        60      5340         0     98728     37380   1502340     18.17     19.18  --
2670.80/668.65	c  N dy  9425   2379443        60      5340         0    116664     37380   1893202     18.18     19.18  --
2700.35/676.02	c  N dy  9491   2400777        60      5340         0     76298     37380    990101     18.18     19.26  --
2741.52/686.38	c  N dy  9625   2424687        60      5340         0     97449     37380   1449599     18.19     19.27  --
2777.85/695.50	c  N dy  9687   2445187        60      5340         0    115471     37380   1831285     18.18     19.19  --
2813.80/704.44	c  N dy  9792   2467222        60      5340         0     75013     37380    959664     18.19     19.24  --
2850.95/713.71	c  N dy  9921   2487915        60      5340         0     93351     37380   1359045     18.19     19.30  --
2888.90/723.24	c  N dy  9978   2507921        60      5340         0    110969     37380   1733718     18.19     19.19  --
2945.62/737.45	c  N dy 10082   2540725        60      5340         0     78924     37380   1015785     18.19     19.16  --
2978.38/745.64	c  N dy 10160   2560775        60      5340         0     96596     37380   1396859     18.19     19.71  --
3017.53/755.46	c  N dy 10284   2580852        60      5340         0    114401     37380   1788820     18.20     20.22  --
3049.88/763.52	c  N dy 10381   2600911        60      5340         0     70440     37380    838025     18.20     20.60  --
3072.26/769.12	c  N dy 10458   2621637        60      5340         0     88605     37380   1222589     18.20     19.17  --
3103.01/776.82	c  N dy 10568   2641709        60      5340         0    106372     37380   1607813     18.21     19.26  --
3139.76/786.04	c  N dy 10662   2661772        60      5340         0    123943     37380   1982725     18.21     20.19  --
3164.53/792.21	c  N dy 10787   2681851        60      5340         0     79247     37380   1027661     18.22     21.23  --
3193.29/799.45	c  N dy 10929   2701857        60      5340         0     96938     37380   1415825     18.23     20.28  --
3206.88/802.85	c  S st 10956   2711483        60      5340         0    105406     37380   1597521     18.23     18.27  --
3208.07/803.18	c  S st 10956   2711987        60      5340         0    105867     37380   1607865     18.23   no data  --
3208.07/803.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3208.07/803.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3208.47/803.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3208.47/803.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3208.47/803.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3208.47/803.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3208.47/803.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3628.31/908.38	c lits-rem:      8380  cl-subs:    10815  v-elim:      0  v-fix:    0  time: 419.74 s
3628.31/908.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3628.71/908.40	c vivif2 --  cl tried    95052 cl shrink        0 lits rem          0 time: 0.07
3629.91/908.73	c asymm  cl-useful: 0/583/5340 lits-rem:0 time: 1.30
3629.91/908.73	c calculated reachability. Time: 0.00
3629.91/908.73	c  N dy 10956   2711987        60      5340         0     95052     37380   1364712     18.23   no data  --
3657.07/915.50	c  N dy 10990   2732631        60      5340         0    113064     37380   1741092     18.22     19.19  --
3701.42/926.65	c  N dy 11052   2769571        60      5340         0     82622     37380   1072437     18.21     19.18  --
3730.60/933.99	c  N dy 11145   2789601        60      5340         0    100267     37380   1454856     18.21     19.74  --
3768.53/943.43	c  N dy 11220   2810920        60      5340         0    119009     37380   1854604     18.21     19.28  --
3809.70/953.75	c  N dy 11292   2831327        60      5340         0     73139     37380    876622     18.21     19.26  --
3842.02/961.85	c  N dy 11347   2851398        60      5340         0     90661     37380   1247246     18.21     19.27  --
3891.97/974.34	c  N dy 11444   2876264        60      5340         0    112537     37380   1718581     18.21     19.23  --
3938.30/985.97	c  N dy 11523   2896740        60      5340         0     65728     37380    703822     18.21     19.20  --
3969.85/993.84	c  N dy 11536   2921786        60      5340         0     87581     37380   1153427     18.20     19.17  --
4035.77/1010.36	c  N dy 11543   2965598        60      5340         0    125505     37380   1927512     18.17     19.44  --
4073.71/1019.83	c  N dy 11644   2985686        60      5340         0     77817     37380    960606     18.18     20.01  --
4113.66/1029.86	c  N dy 11800   3007122        60      5340         0     96719     37380   1377878     18.19     19.40  --
4165.22/1042.79	c  N dy 11899   3032600        60      5340         0    119201     37380   1858735     18.19     19.26  --
4219.92/1056.41	c  N dy 12046   3053146        60      5340         0     70571     37380    788465     18.20     19.19  --
4252.68/1064.69	c  N dy 12175   3075396        60      5340         0     90280     37380   1218490     18.20     19.17  --
4312.20/1079.51	c  N dy 12176   3117349        60      5340         0    126642     37380   1944720     18.17     19.14  --
4354.57/1090.13	c  N dy 12294   3141704        60      5340         0     80609     37380    994460     18.18     19.17  --
4383.71/1097.48	c  N dy 12404   3162136        60      5340         0     98655     37380   1386925     18.18     19.25  --
4425.24/1107.87	c  N dy 12468   3185428        60      5340         0    119102     37380   1819150     18.18     19.26  --
4472.80/1119.75	c  N dy 12584   3205466        60      5340         0    136860     37380   2210278     18.19     20.92  --
4484.77/1122.71	c  S st 12643   3211987        60      5340         0     74030     37380    846121     18.19   no data  --
4485.57/1122.97	c  S st 12643   3212492        60      5340         0     74490     37380    856416     18.19   no data  --
4485.57/1122.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4485.57/1122.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4485.98/1123.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4485.98/1123.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4485.98/1123.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4485.98/1123.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4485.98/1123.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4553.87/1140.07	c lits-rem:       853  cl-subs:     1326  v-elim:      0  v-fix:    0  time: 68.02 s
4553.87/1140.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4553.87/1140.08	c vivif2 --  cl tried    73164 cl shrink        0 lits rem          0 time: 0.04
4555.07/1140.38	c asymm  cl-useful: 0/600/5340 lits-rem:0 time: 1.20
4555.07/1140.39	c calculated reachability. Time: 0.00
4555.07/1140.39	c  N dy 12643   3212492        60      5340         0     73164     37380    825193     18.19   no data  --
4581.84/1147.06	c  N dy 12765   3232507        60      5340         0     90849     37380   1210707     18.20     21.38  --
4627.38/1158.40	c  N dy 12804   3267421        60      5340         0    121212     37380   1824582     18.18     19.15  --
4674.12/1170.15	c  N dy 12921   3292110        60      5340         0     73708     37380    824288     18.18     19.24  --
4699.28/1176.45	c  N dy 13027   3312151        60      5340         0     91407     37380   1208480     18.19     20.71  --
4728.06/1183.63	c  N dy 13099   3332374        60      5340         0    109103     37380   1586953     18.19     19.15  --
4765.59/1193.04	c  N dy 13189   3352408        60      5340         0    126762     37380   1968341     18.19     19.18  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 4.54 6.09 2/172 19733
/proc/meminfo: memFree=30615864/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 417 0 0 0 0 0 0 0 19 0 4 0 521661381 52465664 356 33554432000 4194304 4650419 140734313383376 18446744073709551615 47782235502096 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19733/statm: 12809 356 306 112 0 7774 0
[pid=19733/tid=19735] ppid=19731 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 521661381 52465664 360 33554432000 4194304 4650419 140734313383376 18446744073709551615 4219242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=182308 CPUtime=0 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 4 0 521661381 186683392 368 33554432000 4194304 4650419 140734313383376 18446744073709551615 212436060295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) D 19731 19733 18710 0 -1 4202560 6 0 0 0 0 0 0 0 21 0 4 0 521661381 119574528 371 33554432000 4194304 4650419 140734313383376 18446744073709551615 4415484 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.016253 s]
/proc/loadavg: 1.92 4.54 6.09 2/172 19733
/proc/meminfo: memFree=30615864/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 1150 0 0 0 4 0 0 0 18 0 4 0 521661381 288669696 1067 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370480 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 70476 1067 366 112 0 65441 0
[pid=19733/tid=19735] ppid=19731 vsize=281904 CPUtime=0.01 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 192 0 0 0 1 0 0 0 18 0 4 0 521661381 288669696 1067 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=281904 CPUtime=0 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 184 0 0 0 0 0 0 0 21 0 4 0 521661381 288669696 1067 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=281904 CPUtime=0.01 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 179 0 0 0 1 0 0 0 18 0 4 0 521661381 288669696 1067 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281904

[startup+0.100236 s]
/proc/loadavg: 1.92 4.54 6.09 2/172 19733
/proc/meminfo: memFree=30615864/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=282188 CPUtime=0.38 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 1327 0 0 0 38 0 0 0 18 0 4 0 521661381 288960512 1244 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370515 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 70547 1244 366 112 0 65512 0
[pid=19733/tid=19735] ppid=19731 vsize=282188 CPUtime=0.09 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 207 0 0 0 9 0 0 0 18 0 4 0 521661381 288960512 1244 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=282188 CPUtime=0.09 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 198 0 0 0 9 0 0 0 21 0 4 0 521661381 288960512 1244 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=282188 CPUtime=0.09 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 310 0 0 0 9 0 0 0 18 0 4 0 521661381 288960512 1244 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282188

[startup+0.3002 s]
/proc/loadavg: 1.92 4.54 6.09 2/172 19733
/proc/meminfo: memFree=30615864/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=284264 CPUtime=1.17 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 3572 0 0 0 117 0 0 0 18 0 4 0 521661381 291086336 2662 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71066 2662 390 112 0 66031 0
[pid=19733/tid=19735] ppid=19731 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 868 0 0 0 29 0 0 0 18 0 4 0 521661381 291086336 2662 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 839 0 0 0 29 0 0 0 21 0 4 0 521661381 291086336 2662 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 606 0 0 0 29 0 0 0 18 0 4 0 521661381 291086336 2662 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284264

[startup+0.701125 s]
/proc/loadavg: 1.92 4.54 6.09 2/172 19733
/proc/meminfo: memFree=30615864/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=285716 CPUtime=2.78 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 5578 0 0 0 277 1 0 0 18 0 4 0 521661381 292573184 3479 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71429 3479 390 112 0 66394 0
[pid=19733/tid=19735] ppid=19731 vsize=285716 CPUtime=0.69 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 1306 0 0 0 69 0 0 0 18 0 4 0 521661381 292573184 3479 33554432000 4194304 4650419 140734313383376 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=285716 CPUtime=0.69 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 1296 0 0 0 69 0 0 0 22 0 4 0 521661381 292573184 3479 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=285716 CPUtime=0.69 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 1242 0 0 0 69 0 0 0 18 0 4 0 521661381 292573184 3479 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285716

[startup+1.50097 s]
/proc/loadavg: 2.41 4.60 6.10 9/184 19745
/proc/meminfo: memFree=30586992/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=286784 CPUtime=5.97 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 9988 0 0 0 595 2 0 0 20 0 4 0 521661381 293666816 5393 33554432000 4194304 4650419 140734313383376 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71696 5393 392 112 0 66661 0
[pid=19733/tid=19735] ppid=19731 vsize=286784 CPUtime=1.49 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 2133 0 0 0 149 0 0 0 20 0 4 0 521661381 293666816 5393 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=286784 CPUtime=1.48 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 2089 0 0 0 148 0 0 0 25 0 4 0 521661381 293666816 5393 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=286784 CPUtime=1.49 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 2086 0 0 0 149 0 0 0 20 0 4 0 521661381 293666816 5393 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286784

[startup+3.10067 s]
/proc/loadavg: 2.41 4.60 6.10 9/184 19745
/proc/meminfo: memFree=30555488/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=285568 CPUtime=12.36 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 16475 0 0 0 1233 3 0 0 25 0 4 0 521661381 292421632 9992 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71392 9992 392 112 0 66357 0
[pid=19733/tid=19735] ppid=19731 vsize=285568 CPUtime=3.08 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 3610 0 0 0 308 0 0 0 25 0 4 0 521661381 292421632 9993 33554432000 4194304 4650419 140734313383376 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=285568 CPUtime=3.07 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 4338 0 0 0 307 0 0 0 25 0 4 0 521661381 292421632 9993 33554432000 4194304 4650419 140734313383376 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=285568 CPUtime=3.08 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 4386 0 0 0 308 0 0 0 25 0 4 0 521661381 292421632 9993 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 285568

[startup+6.30106 s]
/proc/loadavg: 2.41 4.60 6.10 9/184 19745
/proc/meminfo: memFree=30525624/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=286104 CPUtime=25.14 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 24212 0 0 0 2509 5 0 0 25 0 4 0 521661381 292970496 11818 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71526 11818 392 112 0 66491 0
[pid=19733/tid=19735] ppid=19731 vsize=286104 CPUtime=6.29 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 6253 0 0 0 628 1 0 0 25 0 4 0 521661381 292970496 11818 33554432000 4194304 4650419 140734313383376 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=286104 CPUtime=6.26 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 5820 0 0 0 625 1 0 0 25 0 4 0 521661381 292970496 11818 33554432000 4194304 4650419 140734313383376 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=286104 CPUtime=6.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 6336 0 0 0 628 1 0 0 25 0 4 0 521661381 292970496 11818 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 286104

[startup+12.7008 s]
/proc/loadavg: 3.27 4.71 6.12 9/184 19745
/proc/meminfo: memFree=30489320/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=292828 CPUtime=50.7 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 36479 0 0 0 5062 8 0 0 25 0 4 0 521661381 299855872 18659 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 73207 18659 392 112 0 68172 0
[pid=19733/tid=19735] ppid=19731 vsize=292828 CPUtime=12.69 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 9074 0 0 0 1267 2 0 0 25 0 4 0 521661381 299855872 18659 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=292828 CPUtime=12.62 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 8838 0 0 0 1260 2 0 0 25 0 4 0 521661381 299855872 18659 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=292828 CPUtime=12.69 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 9754 0 0 0 1267 2 0 0 25 0 4 0 521661381 299855872 18659 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 292828

[startup+25.5004 s]
/proc/loadavg: 4.00 4.82 6.14 9/184 19775
/proc/meminfo: memFree=30460992/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=284036 CPUtime=101.83 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 53950 0 0 0 10171 12 0 0 25 0 4 0 521661381 290852864 22104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71009 22104 392 112 0 65974 0
[pid=19733/tid=19735] ppid=19731 vsize=284036 CPUtime=25.49 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 14036 0 0 0 2546 3 0 0 25 0 4 0 521661381 290852864 22104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=284036 CPUtime=25.35 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 13649 0 0 0 2532 3 0 0 25 0 4 0 521661381 290852864 22104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=284036 CPUtime=25.48 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 14410 0 0 0 2545 3 0 0 25 0 4 0 521661381 290852864 22104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 284036

[startup+51.1005 s]
/proc/loadavg: 5.43 5.09 6.19 9/184 19776
/proc/meminfo: memFree=30421540/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=285444 CPUtime=204.09 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 80441 0 0 0 20389 20 0 0 25 0 4 0 521661381 292294656 25958 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 71361 25958 392 112 0 66326 0
[pid=19733/tid=19735] ppid=19731 vsize=285444 CPUtime=51.08 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 21580 0 0 0 5103 5 0 0 25 0 4 0 521661381 292294656 25958 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=285444 CPUtime=50.82 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 20913 0 0 0 5077 5 0 0 25 0 4 0 521661381 292294656 25958 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=285444 CPUtime=51.09 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 21302 0 0 0 5103 6 0 0 25 0 4 0 521661381 292294656 25958 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 285444

[startup+102.307 s]
/proc/loadavg: 7.05 5.59 6.30 9/184 19777
/proc/meminfo: memFree=30367648/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=309944 CPUtime=408.64 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 121114 0 0 0 40831 33 0 0 25 0 4 0 521661381 317382656 32506 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 77486 32506 392 112 0 72451 0
[pid=19733/tid=19735] ppid=19731 vsize=309944 CPUtime=102.29 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 30726 0 0 0 10221 8 0 0 25 0 4 0 521661381 317382656 32506 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=309944 CPUtime=101.74 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 30894 0 0 0 10166 8 0 0 25 0 4 0 521661381 317382656 32506 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=309944 CPUtime=102.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 34019 0 0 0 10220 9 0 0 25 0 4 0 521661381 317382656 32506 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 309944

[startup+162.3 s]

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

[pid=19733] ppid=19731 vsize=391588 CPUtime=2805.41 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 365723 0 0 0 280406 135 0 0 25 0 4 0 521661381 400986112 69125 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 97897 69125 392 112 0 92862 0
[pid=19733/tid=19735] ppid=19731 vsize=391588 CPUtime=702.3 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 99341 0 0 0 70197 33 0 0 25 0 4 0 521661381 400986112 69125 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=391588 CPUtime=698.48 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 100623 0 0 0 69808 40 0 0 25 0 4 0 521661381 400986112 69125 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=391588 CPUtime=702.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 75957 0 0 0 70202 27 0 0 25 0 4 0 521661381 400986112 69125 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 391588

[startup+762.306 s]
/proc/loadavg: 8.10 7.80 7.18 9/184 19795
/proc/meminfo: memFree=30047708/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=391764 CPUtime=3045.11 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 381623 0 0 0 304369 142 0 0 25 0 4 0 521661381 401166336 71074 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 97941 71074 392 112 0 92906 0
[pid=19733/tid=19735] ppid=19731 vsize=391764 CPUtime=762.31 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 106575 0 0 0 76197 34 0 0 25 0 4 0 521661381 401166336 71074 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=391764 CPUtime=758.15 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 104343 0 0 0 75772 43 0 0 25 0 4 0 521661381 401166336 71074 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=391764 CPUtime=762.3 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 76273 0 0 0 76203 27 0 0 25 0 4 0 521661381 401166336 71074 33554432000 4194304 4650419 140734313383376 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 391764

[startup+822.301 s]
/proc/loadavg: 8.08 7.85 7.23 9/184 19796
/proc/meminfo: memFree=30061784/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=384432 CPUtime=3284.77 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 398161 0 0 0 328328 149 0 0 25 0 4 0 521661381 393658368 71104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 96108 71104 392 112 0 91073 0
[pid=19733/tid=19735] ppid=19731 vsize=384432 CPUtime=822.3 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 108837 0 0 0 82195 35 0 0 25 0 4 0 521661381 393658368 71104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=384432 CPUtime=817.83 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 110547 0 0 0 81736 47 0 0 25 0 4 0 521661381 393658368 71104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=384432 CPUtime=822.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 79382 0 0 0 82201 28 0 0 25 0 4 0 521661381 393658368 71104 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 384432

[startup+882.301 s]
/proc/loadavg: 8.07 7.89 7.28 9/184 19798
/proc/meminfo: memFree=30030124/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=388832 CPUtime=3524.45 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 404483 0 0 0 352291 154 0 0 25 0 4 0 521661381 398163968 74093 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 97208 74093 392 112 0 92173 0
[pid=19733/tid=19735] ppid=19731 vsize=388832 CPUtime=882.31 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 110098 0 0 0 88195 36 0 0 25 0 4 0 521661381 398163968 74093 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=388832 CPUtime=877.5 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 114434 0 0 0 87700 50 0 0 25 0 4 0 521661381 398163968 74093 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=388832 CPUtime=882.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80556 0 0 0 88200 29 0 0 25 0 4 0 521661381 398163968 74093 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 388832

[startup+942.301 s]
/proc/loadavg: 8.07 7.92 7.33 9/184 19800
/proc/meminfo: memFree=30012724/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507532 CPUtime=3764.14 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 417132 0 0 0 376252 162 0 0 25 0 4 0 521661381 519712768 78903 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126883 78903 392 112 0 121848 0
[pid=19733/tid=19735] ppid=19731 vsize=507532 CPUtime=942.31 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 114778 0 0 0 94192 39 0 0 25 0 4 0 521661381 519712768 78903 33554432000 4194304 4650419 140734313383376 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507532 CPUtime=937.18 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 119257 0 0 0 93666 52 0 0 25 0 4 0 521661381 519712768 78903 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507532 CPUtime=942.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80556 0 0 0 94200 29 0 0 25 0 4 0 521661381 519712768 78903 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 507532

[startup+1002.3 s]
/proc/loadavg: 8.06 7.95 7.38 9/184 19801
/proc/meminfo: memFree=29982800/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507592 CPUtime=4003.8 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 425463 0 0 0 400212 168 0 0 25 0 4 0 521661381 519774208 84536 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126898 84536 392 112 0 121863 0
[pid=19733/tid=19735] ppid=19731 vsize=507592 CPUtime=1002.31 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 114931 0 0 0 100192 39 0 0 25 0 4 0 521661381 519774208 84536 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507592 CPUtime=996.85 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 122507 0 0 0 99630 55 0 0 25 0 4 0 521661381 519774208 84536 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507592 CPUtime=1002.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 100200 29 0 0 25 0 4 0 521661381 519774208 84536 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 507592

[startup+1062.3 s]
/proc/loadavg: 8.09 7.97 7.42 9/184 19803
/proc/meminfo: memFree=29986600/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507708 CPUtime=4243.49 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 432589 0 0 0 424176 173 0 0 25 0 4 0 521661381 519892992 81400 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126927 81400 392 112 0 121892 0
[pid=19733/tid=19735] ppid=19731 vsize=507708 CPUtime=1062.31 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 115189 0 0 0 106192 39 0 0 25 0 4 0 521661381 519892992 81400 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507708 CPUtime=1056.53 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 127214 0 0 0 105595 58 0 0 25 0 4 0 521661381 519892992 81400 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507708 CPUtime=1062.29 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 106200 29 0 0 25 0 4 0 521661381 519892992 81400 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 507708

[startup+1122.3 s]
/proc/loadavg: 8.09 7.99 7.46 9/184 19804
/proc/meminfo: memFree=29978876/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507752 CPUtime=4483.17 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 443969 0 0 0 448137 180 0 0 25 0 4 0 521661381 519938048 81012 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126938 81012 392 112 0 121903 0
[pid=19733/tid=19735] ppid=19731 vsize=507752 CPUtime=1122.32 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 118434 0 0 0 112190 42 0 0 25 0 4 0 521661381 519938048 81012 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507752 CPUtime=1116.2 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 131576 0 0 0 111560 60 0 0 25 0 4 0 521661381 519938048 81012 33554432000 4194304 4650419 140734313383376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507752 CPUtime=1122.3 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 112200 30 0 0 25 0 4 0 521661381 519938048 81012 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 507752

[startup+1182.3 s]
/proc/loadavg: 8.09 8.00 7.49 9/184 19806
/proc/meminfo: memFree=29904668/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507800 CPUtime=4722.85 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 456336 0 0 0 472098 187 0 0 25 0 4 0 521661381 519987200 88218 33554432000 4194304 4650419 140734313383376 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126950 88218 392 112 0 121915 0
[pid=19733/tid=19735] ppid=19731 vsize=507800 CPUtime=1182.32 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 123212 0 0 0 118188 44 0 0 25 0 4 0 521661381 519987200 88218 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507800 CPUtime=1175.88 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 135952 0 0 0 117525 63 0 0 25 0 4 0 521661381 519987200 88218 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507800 CPUtime=1182.3 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 118200 30 0 0 25 0 4 0 521661381 519987200 88218 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 507800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.00 7.50 9/184 19807
/proc/meminfo: memFree=29936024/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507852 CPUtime=4800.36 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 459871 0 0 0 479848 188 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126963 84210 392 112 0 121928 0
[pid=19733/tid=19735] ppid=19731 vsize=507852 CPUtime=1201.72 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 123935 0 0 0 120128 44 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507852 CPUtime=1195.18 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 137910 0 0 0 119454 64 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507852 CPUtime=1201.71 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 120141 30 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 507852

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.00 7.50 9/184 19807
/proc/meminfo: memFree=29936024/32951124 swapFree=67111416/67111528
[pid=19733] ppid=19731 vsize=507852 CPUtime=4800.36 cores=1,3,5,7
/proc/19733/stat : 19733 (strangenight1-m) R 19731 19733 18710 0 -1 4202496 459871 0 0 0 479848 188 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19733/statm: 126963 84210 392 112 0 121928 0
[pid=19733/tid=19735] ppid=19731 vsize=507852 CPUtime=1201.72 cores=1,3,5,7
/proc/19733/task/19735/stat : 19735 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 123935 0 0 0 120128 44 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19733/tid=19736] ppid=19731 vsize=507852 CPUtime=1195.18 cores=1,3,5,7
/proc/19733/task/19736/stat : 19736 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 137910 0 0 0 119454 64 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19733/tid=19737] ppid=19731 vsize=507852 CPUtime=1201.71 cores=1,3,5,7
/proc/19733/task/19737/stat : 19737 (strangenight1-m) R 19731 19733 18710 0 -1 4202560 80745 0 0 0 120141 30 0 0 25 0 4 0 521661381 520040448 84210 33554432000 4194304 4650419 140734313383376 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 507852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.51
CPU system time (s): 1.90271
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 573288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.51
system time used= 1.90271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459871
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= 316
involuntary context switches= 35502

runsolver used 1.80073 second user time and 4.77927 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 20:09:50
IDJOB=3175220
IDBENCH=82838
IDSOLVER=1588
FILE ID=node102/3175220-1304100590
RUNJOBID= node102-1304100590-19719
PBS_JOBID= 13170584
Free space on /tmp= 71560 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175220-1304100590/watcher-3175220-1304100590 -o /tmp/evaluation-result-3175220-1304100590/solver-3175220-1304100590 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175220-1304100590.cnf

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

MD5SUM BENCH= 6df48a49b3cf6574a0f4cdf651f82d66
RANDOM SEED=1660626080

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30616020 kB
Buffers:        592704 kB
Cached:        1261520 kB
SwapCached:          0 kB
Active:          87684 kB
Inactive:      1830588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30616020 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12508 kB
Writeback:           0 kB
AnonPages:       63404 kB
Mapped:          14492 kB
Slab:           351372 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188804 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= 71548 MiB
End job on node102 at 2011-04-29 20:29:54