Trace number 3175316

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.25 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf
MD5SUMa07a8125427a6bd5de5db67d31fcc46b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05699
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.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-3175316-1304114571.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	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.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.38/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.38/0.58	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.58	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.38/0.58	c calculated reachability. Time: 0.00
0.38/0.58	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      50
0.38/0.58	c =========================================================================================
0.38/0.58	c types(t): F = full restart, N = normal restart
0.38/0.58	c types(t): S = simplification begin/end, E = solution found
0.38/0.58	c restart types(rt): st = static, dy = dynamic
0.38/0.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.58	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.58	c  N dy    13      5576        80      7120         0      2822     49840     66544     23.49     24.89  --
0.38/0.89	c  N dy    19     12000        80      7120         0      4817     49840    107290     22.86     24.07  --
0.38/1.02	c  N dy    30     19296        80      7120         0      6352     49840    133094     22.61     24.04  --
4.21/1.14	c  N dy    61     23353        80      7120         0     10070     49840    234321     22.94     26.68  --
4.61/1.23	c  F st    68     25000        80      7120         0     11568     49840    274740     23.00   no data  --
5.17/1.38	c  N st    73     28296        80      7120         0      8341     49840    173968     23.00   no data  --
5.57/1.46	c  S st    74     30000        80      7120         0      9905     49840    215992     23.00   no data  --
5.57/1.49	c  S st    74     30503        80      7120         0     10383     49840    229043     23.00   no data  --
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.54	c lits-rem:      1649  cl-subs:      766  v-elim:      0  v-fix:    0  time:  4.11 s
11.16/2.90	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.44
11.16/2.90	c calculated reachability. Time: 0.00
11.16/2.90	c  N dy    74     30503        80      7120         0      9617     49840    204881     23.00   no data  --
12.35/3.13	c  N dy    92     34570        80      7120         0     13339     49840    305090     23.07     24.40  --
13.16/3.34	c  N dy   102     38622        80      7120         0      9828     49840    196215     23.09     24.58  --
14.36/3.67	c  N dy   127     44456        80      7120         0     15165     49840    339016     23.16     24.50  --
14.76/3.77	c  S st   138     45756        80      7120         0     16363     49840    371830     23.21   no data  --
15.15/3.81	c  S st   138     46259        80      7120         0      8646     49840    151457     23.21   no data  --
15.15/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.15/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.15/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.67	c lits-rem:       195  cl-subs:       57  v-elim:      0  v-fix:    0  time:  3.39 s
18.35/4.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.35/4.67	c vivif2 --  cl tried     8589 cl shrink        0 lits rem          0 time: 0.01
19.55/4.95	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.09
19.55/4.95	c calculated reachability. Time: 0.00
19.55/4.95	c  N dy   138     46259        80      7120         0      8589     49840    149334     23.21   no data  --
20.37/5.14	c  N dy   146     50282        80      7120         0     12271     49840    248552     23.19     26.40  --
21.55/5.47	c  N dy   165     55206        80      7120         0     16752     49840    369751     23.24     24.57  --
23.54/5.94	c  N dy   173     63525        80      7120         0     15258     49840    315291     23.16     24.41  --
24.76/6.22	c  N dy   189     67755        80      7120         0     19147     49840    420939     23.19     24.45  --
25.16/6.34	c  S st   195     69388        80      7120         0     10590     49840    174155     23.18     22.91  --
25.16/6.38	c  S st   195     69891        80      7120         0     11067     49840    187482     23.18   no data  --
25.16/6.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.16/6.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.16/6.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.16/6.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.16/6.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.16/6.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.16/6.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.73/7.29	c lits-rem:       305  cl-subs:      164  v-elim:      0  v-fix:    0  time:  3.62 s
28.73/7.29	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
28.73/7.30	c vivif2 --  cl tried    10903 cl shrink        0 lits rem          0 time: 0.01
30.34/7.62	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.29
30.34/7.62	c calculated reachability. Time: 0.00
30.34/7.62	c  N dy   195     69891        80      7120         0     10903     49840    182275     23.18   no data  --
31.14/7.88	c  N dy   198     74502        80      7120         0     15126     49840    293357     23.10     24.34  --
32.74/8.23	c  N dy   213     79294        80      7120         0     19505     49840    410184     23.09     24.35  --
34.73/8.75	c  N dy   221     86482        80      7120         0     15075     49840    279784     23.03     24.43  --
35.13/8.83	c  F st   225     87505        80      7120         0     16006     49840    304474     23.04     23.26  --
36.73/9.20	c  N dy   231     92700        80      7120         0     20743     49840    431621     23.04   no data  --
39.12/9.82	c  N dy   232    102173        80      7120         0     17542     49840    330682     22.85     24.19  --
39.92/10.00	c  S st   234    104836        80      7120         0     19981     49840    394291     22.80     20.85  --
39.92/10.06	c  S st   234    105338        80      7120         0     20459     49840    407401     22.80   no data  --
39.92/10.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.92/10.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.92/10.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
39.92/10.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.92/10.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.92/10.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
39.92/10.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.14/11.83	c lits-rem:      2364  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.98 s
47.14/11.83	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.14/11.83	c vivif2 --  cl tried    18588 cl shrink        0 lits rem          0 time: 0.01
48.71/12.22	c asymm  cl-useful: 0/5253/7120 lits-rem:0 time: 1.54
48.71/12.22	c calculated reachability. Time: 0.00
48.71/12.22	c  N dy   234    105338        80      7120         0     18588     49840    357154     22.80   no data  --
51.12/12.80	c  N dy   260    112672        80      7120         0     25371     49840    538278     22.83     24.13  --
53.50/13.44	c  N dy   294    121694        80      7120         0     20865     49840    403567     22.86     24.12  --
56.30/14.16	c  N dy   340    129561        80      7120         0     14384     49840    217607     22.94     24.16  --
58.70/14.75	c  N dy   373    137891        80      7120         0     22048     49840    425000     22.99     24.22  --
61.89/15.57	c  N dy   392    147798        80      7120         0     16463     49840    254784     22.94     24.29  --
65.09/16.39	c  N dy   441    158007        80      7120         0     25838     49840    506263     22.98     19.93  --
65.09/16.39	c  S st   441    158007        80      7120         0     25838     49840    506263     22.98     19.93  --
65.49/16.45	c  S st   441    158510        80      7120         0     26311     49840    519263     22.98   no data  --
65.49/16.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.49/16.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.49/16.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.49/16.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.49/16.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.49/16.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.49/16.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.28/18.65	c lits-rem:      1866  cl-subs:     2184  v-elim:      0  v-fix:    0  time:  8.67 s
74.28/18.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
74.28/18.65	c vivif2 --  cl tried    24127 cl shrink        0 lits rem          0 time: 0.02
75.07/18.89	c asymm  cl-useful: 0/1774/7120 lits-rem:0 time: 0.96
75.07/18.89	c calculated reachability. Time: 0.00
75.07/18.90	c  N dy   441    158510        80      7120         0     24127     49840    456169     22.98   no data  --
79.46/19.90	c  N dy   452    169439        80      7120         0     18576     49840    297293     22.91     24.16  --
83.46/20.90	c  N dy   483    180360        80      7120         0     28543     49840    562123     22.90     24.29  --
88.65/22.26	c  N dy   508    195585        80      7120         0     26039     49840    478620     22.85     24.11  --
96.24/24.14	c  N dy   526    217690        80      7120         0     28757     49840    537824     22.71     23.93  --
103.44/25.96	c  N dy   566    237767        80      7120         0     28940     49840    527104     22.66     19.67  --
103.44/25.96	c  S st   566    237767        80      7120         0     28940     49840    527104     22.66     19.67  --
103.85/26.03	c  S st   566    238270        80      7120         0     29421     49840    540053     22.66   no data  --
103.85/26.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.85/26.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.85/26.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.85/26.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.85/26.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.85/26.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
103.85/26.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.41/28.48	c lits-rem:      2617  cl-subs:     2454  v-elim:      0  v-fix:    0  time:  9.68 s
113.41/28.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
113.41/28.49	c vivif2 --  cl tried    26967 cl shrink        0 lits rem          0 time: 0.02
114.61/28.70	c asymm  cl-useful: 0/2226/7120 lits-rem:0 time: 0.83
114.61/28.70	c calculated reachability. Time: 0.00
114.61/28.70	c  N dy   566    238270        80      7120         0     26967     49840    473898     22.66   no data  --
122.21/30.61	c  N dy   635    255368        80      7120         0     23485     49840    365749     22.69     24.08  --
129.00/32.31	c  N dy   705    271700        80      7120         0     38465     49840    766313     22.72     24.94  --
139.79/35.03	c  N dy   769    297715        80      7120         0     21185     49840    279306     22.64     23.88  --
142.98/35.80	c  F st   812    306251        80      7120         0     29019     49840    491222     22.67   no data  --
147.37/36.98	c  N dy   845    316760        80      7120         0     38721     49840    754057     22.69     24.07  --
156.98/39.37	c  N dy   945    336765        80      7120         0     35107     49840    640090     22.75     25.93  --
165.77/41.57	c  N dy   991    356855        80      7120         0     30528     49840    497093     22.74     25.26  --
166.14/41.64	c  S st   996    357406        80      7120         0     31039     49840    510902     22.74   no data  --
166.54/41.72	c  S st   996    357910        80      7120         0     31516     49840    523981     22.74   no data  --
166.54/41.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.54/41.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.54/41.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
166.54/41.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.54/41.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.54/41.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
166.54/41.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
176.92/44.37	c lits-rem:      1180  cl-subs:     1621  v-elim:      0  v-fix:    0  time: 10.47 s
176.92/44.37	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
176.92/44.38	c vivif2 --  cl tried    29895 cl shrink        0 lits rem          0 time: 0.02
177.72/44.58	c asymm  cl-useful: 0/1606/7120 lits-rem:0 time: 0.82
177.72/44.58	c calculated reachability. Time: 0.00
177.72/44.58	c  N dy   996    357910        80      7120         0     29895     49840    478349     22.74   no data  --
190.91/47.88	c  N dy  1094    377921        80      7120         0     24497     49840    318318     22.78     24.01  --
203.29/50.93	c  N dy  1214    398737        80      7120         0     43622     49840    836050     22.84     24.10  --
214.47/53.77	c  N dy  1264    422610        80      7120         0     40694     49840    731926     22.83     24.04  --
225.66/56.59	c  N dy  1329    444443        80      7120         0     35055     49840    566764     22.84     24.20  --
237.24/59.42	c  N dy  1384    464467        80      7120         0     26825     49840    334684     22.83     24.20  --
247.63/62.03	c  N dy  1502    484696        80      7120         0     45417     49840    839104     22.88     24.14  --
258.04/64.66	c  N dy  1554    504705        80      7120         0     36243     49840    570897     22.86     24.10  --
270.00/67.67	c  N dy  1630    524734        80      7120         0     54644     49840   1065947     22.88     26.07  --
276.79/69.32	c  S st  1685    536866        80      7120         0     37320     49840    587275     22.90     24.25  --
277.19/69.41	c  S st  1685    537367        80      7120         0     37785     49840    599958     22.90   no data  --
277.19/69.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.19/69.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.19/69.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
277.19/69.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.19/69.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.19/69.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
277.19/69.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
288.80/72.34	c lits-rem:      1298  cl-subs:     1789  v-elim:      0  v-fix:    0  time: 11.55 s
288.80/72.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
288.80/72.35	c vivif2 --  cl tried    35996 cl shrink        0 lits rem          0 time: 0.03
289.57/72.57	c asymm  cl-useful: 0/1295/7120 lits-rem:0 time: 0.88
289.57/72.57	c calculated reachability. Time: 0.00
289.57/72.57	c  N dy  1685    537367        80      7120         0     35996     49840    548423     22.90   no data  --
303.15/75.93	c  N dy  1777    559771        80      7120         0     56486     49840   1099270     22.91     24.19  --
314.76/78.86	c  N dy  1806    581609        80      7120         0     47083     49840    823049     22.88     24.27  --
327.52/82.06	c  N dy  1881    602035        80      7120         0     35690     49840    508445     22.89     24.27  --
341.12/85.46	c  N dy  1981    624106        80      7120         0     55945     49840   1058450     22.92     24.26  --
371.46/93.06	c  N dy  1988    677401        80      7120         0     41180     49840    620824     22.76     23.98  --
383.44/96.03	c  N dy  2024    697426        80      7120         0     59391     49840   1105744     22.74     23.94  --
397.02/99.48	c  N dy  2102    719008        80      7120         0     46498     49840    754896     22.75     24.07  --
418.60/104.81	c  N dy  2210    743666        80      7120         0     35333     49840    438058     22.76     24.00  --
430.98/108.00	c  N dy  2321    763725        80      7120         0     53737     49840    938663     22.79     24.29  --
447.36/112.02	c  N dy  2408    783797        80      7120         0     37410     49840    477727     22.80     26.08  --
459.34/115.02	c  N dy  2437    804627        80      7120         0     56417     49840    979459     22.78     24.15  --
460.54/115.32	c  S st  2449    806050        80      7120         0     57734     49840   1015541     22.78   no data  --
460.94/115.47	c  S st  2449    806554        80      7120         0     58211     49840   1028739     22.78   no data  --
460.94/115.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
460.94/115.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
461.34/115.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
461.34/115.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.34/115.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.34/115.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
461.34/115.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.09/123.72	c lits-rem:      2351  cl-subs:     5559  v-elim:      0  v-fix:    0  time: 32.72 s
494.09/123.72	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
494.09/123.73	c vivif2 --  cl tried    52652 cl shrink        0 lits rem          0 time: 0.04
495.31/124.01	c asymm  cl-useful: 0/913/7120 lits-rem:0 time: 1.09
495.31/124.01	c calculated reachability. Time: 0.00
495.31/124.01	c  N dy  2449    806554        80      7120         0     52652     49840    881249     22.78   no data  --
515.27/129.00	c  N dy  2576    826609        80      7120         0     35628     49840    417094     22.82     24.15  --
528.05/132.22	c  N dy  2662    847149        80      7120         0     54419     49840    922801     22.83     24.15  --
545.22/136.52	c  N dy  2730    867289        80      7120         0     72855     49840   1416071     22.83     24.04  --
560.00/140.29	c  N dy  2834    890837        80      7120         0     58003     49840   1009146     22.85     24.06  --
579.97/145.21	c  N dy  2956    911102        80      7120         0     39032     49840    474450     22.88     24.17  --
592.75/148.45	c  N dy  3024    931380        80      7120         0     57613     49840    971996     22.89     24.12  --
614.72/153.95	c  N dy  3150    954629        80      7120         0     40480     49840    494391     22.91     24.13  --
635.51/159.11	c  N dy  3168    987790        80      7120         0     70442     49840   1281035     22.85     24.17  --
651.08/163.09	c  N dy  3255   1007810        80      7120         0     49607     49840    727398     22.86     24.25  --
674.24/168.88	c  N dy  3260   1042936        80      7120         0     41336     49840    489299     22.80     24.08  --
687.82/172.25	c  N dy  3340   1063039        80      7120         0     59776     49840    984801     22.81     24.05  --
695.42/174.10	c  F st  3368   1071877        80      7120         0     67844     49840   1200155     22.81   no data  --
706.59/176.96	c  N dy  3411   1083319        80      7120         0     78327     49840   1485093     22.82     24.12  --
722.58/180.94	c  N dy  3499   1103523        80      7120         0     55742     49840    863096     22.83     24.04  --
742.15/185.80	c  N dy  3557   1128471        80      7120         0     78450     49840   1468590     22.81     24.12  --
757.72/189.78	c  N dy  3610   1149121        80      7120         0     55341     49840    829384     22.81     24.18  --
783.69/196.21	c  N dy  3673   1179063        80      7120         0     82593     49840   1554381     22.80     24.17  --
802.88/201.02	c  N dy  3769   1199098        80      7120         0     58133     49840    892882     22.81     24.23  --
813.65/203.77	c  S st  3830   1209831        80      7120         0     68018     49840   1162251     22.82     23.21  --
814.45/203.98	c  S st  3830   1210332        80      7120         0     68493     49840   1175440     22.82   no data  --
814.45/203.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
814.45/203.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
814.85/204.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
814.85/204.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
814.85/204.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.85/204.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
814.85/204.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
906.32/226.96	c lits-rem:      3348  cl-subs:     4806  v-elim:      0  v-fix:    0  time: 91.44 s
906.32/226.96	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
906.32/226.97	c vivif2 --  cl tried    63687 cl shrink        0 lits rem          0 time: 0.06
907.94/227.34	c asymm  cl-useful: 0/759/7120 lits-rem:0 time: 1.49
907.94/227.35	c calculated reachability. Time: 0.00
907.94/227.35	c  N dy  3830   1210332        80      7120         0     63687     49840   1035066     22.82   no data  --
937.48/234.78	c  N dy  3879   1237331        80      7120         0     44635     49840    513640     22.81     24.15  --
953.05/238.60	c  N dy  3983   1257344        80      7120         0     63011     49840   1013323     22.82     25.96  --
973.85/243.88	c  N dy  4093   1277531        80      7120         0     81560     49840   1519069     22.84     24.05  --
994.60/249.07	c  N dy  4186   1297595        80      7120         0     55161     49840    781453     22.85     26.42  --
1016.17/254.42	c  N dy  4263   1317683        80      7120         0     73551     49840   1277375     22.86     24.69  --
1041.74/260.83	c  N dy  4314   1337807        80      7120         0     46235     49840    523350     22.85     24.23  --
1059.31/265.20	c  N dy  4402   1357818        80      7120         0     64640     49840   1024114     22.86     24.54  --
1096.06/274.43	c  N dy  4490   1389616        80      7120         0     46955     49840    528734     22.86     24.36  --
1112.04/278.45	c  N dy  4596   1409634        80      7120         0     65316     49840   1028510     22.87     25.92  --
1133.20/283.79	c  N dy  4684   1430319        80      7120         0     84259     49840   1540368     22.88     24.10  --
1152.38/288.54	c  N dy  4726   1450320        80      7120         0     54888     49840    724772     22.87     24.35  --
1168.76/292.64	c  N dy  4808   1470364        80      7120         0     73191     49840   1219155     22.88     24.22  --
1195.12/299.20	c  N dy  4896   1492727        80      7120         0     93617     49840   1769134     22.88     24.13  --
1213.90/303.99	c  N dy  5002   1513610        80      7120         0     64367     49840    968958     22.89     24.43  --
1239.86/310.43	c  N dy  5102   1539186        80      7120         0     87771     49840   1598506     22.90     24.15  --
1265.42/316.83	c  N dy  5199   1562550        80      7120         0     59702     49840    821366     22.90     24.13  --
1285.81/321.93	c  N dy  5321   1582706        80      7120         0     78188     49840   1326144     22.92     24.20  --
1307.37/327.38	c  N dy  5373   1603141        80      7120         0     96775     49840   1820995     22.91     24.18  --
1325.77/331.99	c  N dy  5428   1623156        80      7120         0     64868     49840    948077     22.92     24.14  --
1346.11/337.04	c  N dy  5514   1643162        80      7120         0     83107     49840   1442256     22.92     24.56  --
1376.48/344.64	c  N dy  5614   1666055        80      7120         0     52857     49840    607574     22.93     24.17  --
1394.86/349.28	c  N dy  5742   1686110        80      7120         0     71242     49840   1111161     22.95     26.26  --
1417.64/354.99	c  N dy  5801   1707233        80      7120         0     90557     49840   1631085     22.95     24.24  --
1421.62/355.94	c  S st  5812   1710333        80      7120         0     93391     49840   1707792     22.95     21.09  --
1422.81/356.21	c  S st  5812   1710835        80      7120         0     93863     49840   1720597     22.95   no data  --
1422.81/356.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1422.81/356.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1422.81/356.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1423.21/356.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1423.21/356.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1423.21/356.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1423.21/356.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1592.18/398.70	c lits-rem:      6710  cl-subs:     8222  v-elim:      0  v-fix:    0  time: 169.24 s
1592.18/398.70	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1592.58/398.72	c vivif2 --  cl tried    85641 cl shrink        0 lits rem          0 time: 0.08
1594.17/399.11	c asymm  cl-useful: 0/741/7120 lits-rem:0 time: 1.56
1594.17/399.11	c calculated reachability. Time: 0.00
1594.17/399.11	c  N dy  5812   1710835        80      7120         0     85641     49840   1482390     22.95   no data  --
1636.92/409.82	c  N dy  5860   1752350        80      7120         0     71624     49840   1093088     22.92     24.23  --
1670.08/418.19	c  N dy  5911   1782372        80      7120         0     98915     49840   1816436     22.91     24.17  --
1698.85/425.35	c  N dy  6037   1802464        80      7120         0     64664     49840    907366     22.92     26.51  --
1724.00/431.66	c  N dy  6108   1822522        80      7120         0     83010     49840   1402678     22.92     25.66  --
1755.16/439.42	c  N dy  6173   1842560        80      7120         0    101342     49840   1896363     22.92     24.15  --
1784.72/446.85	c  N dy  6228   1865197        80      7120         0     68136     49840    965339     22.91     24.34  --
1819.47/455.56	c  N dy  6300   1892376        80      7120         0     92861     49840   1628440     22.91     24.29  --
1853.04/463.92	c  N dy  6401   1912876        80      7120         0     56909     49840    654708     22.92     24.13  --
1875.39/469.58	c  N dy  6520   1932905        80      7120         0     75176     49840   1153806     22.93     25.02  --
1904.55/476.82	c  N dy  6616   1953533        80      7120         0     94038     49840   1666725     22.94     24.19  --
1934.91/484.41	c  N dy  6696   1973573        80      7120         0     56702     49840    634413     22.94     25.55  --
1952.49/488.80	c  N dy  6780   1993620        80      7120         0     75046     49840   1131144     22.95     25.40  --
1977.25/495.06	c  N dy  6889   2013711        80      7120         0     93445     49840   1632013     22.96     25.76  --
2007.61/502.62	c  N dy  6978   2034138        80      7120         0    112205     49840   2143214     22.96     24.19  --
2028.80/507.96	c  N dy  7105   2054240        80      7120         0     73913     49840   1087087     22.97     24.20  --
2053.95/514.24	c  N dy  7245   2074242        80      7120         0     92300     49840   1593140     22.99     25.72  --
2079.52/520.63	c  N dy  7287   2094301        80      7120         0    110581     49840   2081041     22.99     25.37  --
2104.28/526.85	c  N dy  7398   2114865        80      7120         0     71763     49840   1012165     23.00     24.27  --
2127.44/532.60	c  N dy  7450   2135501        80      7120         0     90557     49840   1513280     22.99     24.23  --
2151.02/538.57	c  N dy  7493   2155592        80      7120         0    108747     49840   1998351     22.99     27.18  --
2174.58/544.45	c  N dy  7525   2178570        80      7120         0     71269     49840    972969     22.98     24.21  --
2205.73/552.25	c  N dy  7578   2210136        80      7120         0     99893     49840   1733301     22.97     24.28  --
2206.94/552.51	c  S st  7582   2210835        80      7120         0    100548     49840   1751256     22.97   no data  --
2208.14/552.81	c  S st  7582   2211339        80      7120         0    101025     49840   1764555     22.97   no data  --
2208.14/552.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2208.14/552.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2208.14/552.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2208.55/552.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2208.55/552.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2208.55/552.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2208.55/552.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2343.95/586.86	c lits-rem:      4473  cl-subs:    10400  v-elim:      0  v-fix:    0  time: 135.51 s
2343.95/586.86	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2343.95/586.88	c vivif2 --  cl tried    90625 cl shrink        0 lits rem          0 time: 0.08
2345.54/587.21	c asymm  cl-useful: 0/658/7120 lits-rem:0 time: 1.34
2345.54/587.22	c calculated reachability. Time: 0.00
2345.54/587.22	c  N dy  7582   2211339        80      7120         0     90625     49840   1491181     22.97   no data  --
2377.10/595.19	c  N dy  7737   2231402        80      7120         0    109068     49840   2000563     22.98     24.89  --
2407.06/602.64	c  N dy  7767   2261450        80      7120         0     77425     49840   1121719     22.96     24.17  --
2439.02/610.68	c  N dy  7813   2290677        80      7120         0    103948     49840   1828607     22.95     24.24  --
2472.97/619.13	c  N dy  7881   2311627        80      7120         0     63255     49840    741154     22.95     24.28  --
2495.34/624.70	c  N dy  7956   2331776        80      7120         0     81646     49840   1237787     22.96     24.17  --
2522.91/631.60	c  N dy  8039   2353433        80      7120         0    101422     49840   1771077     22.96     24.28  --
2564.47/642.02	c  N dy  8108   2376215        80      7120         0     61297     49840    668958     22.96     24.24  --
2591.23/648.77	c  N dy  8189   2400820        80      7120         0     83689     49840   1270521     22.96     24.32  --
2622.36/656.58	c  N dy  8275   2420889        80      7120         0    102057     49840   1766226     22.96     24.69  --
2663.52/666.86	c  N dy  8408   2440978        80      7120         0    120506     49840   2273150     22.97     24.20  --
2694.68/674.62	c  N dy  8492   2463589        80      7120         0     79091     49840   1134418     22.98     24.19  --
2725.03/682.25	c  N dy  8580   2485936        80      7120         0     99505     49840   1686454     22.98     24.22  --
2764.58/692.19	c  N dy  8664   2508023        80      7120         0    119714     49840   2234628     22.99     24.20  --
2793.36/699.31	c  N dy  8738   2528099        80      7120         0     75069     49840   1008168     22.99     24.22  --
2822.10/706.56	c  N dy  8809   2549195        80      7120         0     94225     49840   1526172     22.99     24.32  --
2863.25/716.86	c  N dy  8932   2569205        80      7120         0    112524     49840   2026729     23.00     25.84  --
2901.19/726.30	c  N dy  9012   2589222        80      7120         0     66925     49840    775439     23.00     25.84  --
2950.32/738.66	c  N dy  9070   2631086        80      7120         0    104819     49840   1780403     22.99     24.21  --
2991.46/748.92	c  N dy  9183   2651245        80      7120         0    123297     49840   2286159     23.00     24.22  --
3023.02/756.83	c  N dy  9237   2679586        80      7120         0     84452     49840   1232756     22.99     24.28  --
3049.39/763.43	c  N dy  9315   2700103        80      7120         0    103213     49840   1741864     22.99     24.21  --
3066.95/767.86	c  S st  9371   2711340        80      7120         0    113490     49840   2020227     23.00     23.82  --
3068.55/768.21	c  S st  9371   2711848        80      7120         0    113964     49840   2033575     23.00   no data  --
3068.55/768.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3068.55/768.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3068.55/768.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3068.95/768.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3068.95/768.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3068.95/768.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3068.95/768.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3595.04/900.02	c lits-rem:      7002  cl-subs:    10242  v-elim:      0  v-fix:    0  time: 525.88 s
3595.04/900.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3595.04/900.04	c vivif2 --  cl tried   103722 cl shrink        0 lits rem          0 time: 0.09
3596.64/900.40	c asymm  cl-useful: 0/543/7120 lits-rem:0 time: 1.45
3596.64/900.41	c calculated reachability. Time: 0.00
3596.64/900.41	c  N dy  9371   2711848        80      7120         0    103722     49840   1744983     23.00   no data  --
3635.38/910.16	c  N dy  9425   2737900        80      7120         0    127352     49840   2373486     22.99     24.31  --
3658.57/915.96	c  N dy  9488   2757941        80      7120         0     80481     49840   1116231     23.00     25.50  --
3683.72/922.21	c  N dy  9576   2777944        80      7120         0     98783     49840   1614929     23.00     24.37  --
3745.63/937.71	c  N dy  9632   2814775        80      7120         0    132151     49840   2504228     22.99     24.26  --
3776.40/945.41	c  N dy  9694   2835051        80      7120         0     84345     49840   1200296     22.99     24.20  --
3837.50/960.70	c  N dy  9795   2872699        80      7120         0    118484     49840   2111631     22.98     24.26  --
3887.83/973.32	c  N dy  9923   2892700        80      7120         0     69595     49840    788790     22.98     24.22  --
3917.40/980.80	c  N dy 10024   2913167        80      7120         0     88375     49840   1300373     22.99     24.29  --
3954.14/989.91	c  N dy 10112   2933169        80      7120         0    106597     49840   1795285     22.99     24.75  --
3985.70/997.82	c  N dy 10125   2953341        80      7120         0    124903     49840   2286849     22.99     24.25  --
4033.63/1009.88	c  N dy 10198   2980337        80      7120         0     81198     49840   1080417     22.99     24.25  --
4069.98/1018.99	c  N dy 10323   3000425        80      7120         0     99681     49840   1588838     23.00     25.57  --
4117.92/1030.93	c  N dy 10398   3026201        80      7120         0    123110     49840   2220268     22.99     24.22  --
4169.84/1043.93	c  N dy 10498   3049241        80      7120         0     74818     49840    894510     23.00     24.33  --
4209.79/1053.91	c  N dy 10558   3072565        80      7120         0     96095     49840   1467773     23.00     24.23  --
4258.53/1066.13	c  N dy 10655   3094131        80      7120         0    115905     49840   2012201     23.00     24.23  --
4312.46/1079.63	c  N dy 10754   3114189        80      7120         0    134235     49840   2510819     23.01     26.58  --
4356.39/1090.65	c  N dy 10854   3134750        80      7120         0     82828     49840   1099217     23.01     24.24  --
4393.14/1099.89	c  N dy 10923   3155526        80      7120         0    101811     49840   1611788     23.02     24.38  --
4439.88/1111.51	c  N dy 10969   3180517        80      7120         0    124534     49840   2221491     23.01     24.41  --
4476.63/1120.75	c  N dy 10975   3201007        80      7120         0     71981     49840    788598     23.00     24.23  --
4493.42/1124.92	c  S st 11034   3211850        80      7120         0     81895     49840   1058802     23.01     22.25  --
4494.60/1125.22	c  S st 11034   3212353        80      7120         0     82362     49840   1071763     23.01   no data  --
4494.60/1125.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4494.60/1125.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4494.60/1125.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
4495.00/1125.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4495.00/1125.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4495.00/1125.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4495.00/1125.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4598.88/1151.31	c lits-rem:      1282  cl-subs:     2210  v-elim:      0  v-fix:    0  time: 103.88 s
4598.88/1151.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4598.88/1151.33	c vivif2 --  cl tried    80152 cl shrink        0 lits rem          0 time: 0.06
4600.46/1151.73	c asymm  cl-useful: 0/673/7120 lits-rem:0 time: 1.62
4600.46/1151.74	c calculated reachability. Time: 0.00
4600.46/1151.74	c  N dy 11034   3212353        80      7120         0     80152     49840   1007183     23.01   no data  --
4625.65/1158.05	c  N dy 11107   3232425        80      7120         0     98450     49840   1500990     23.01     25.81  --
4655.58/1165.54	c  N dy 11167   3253820        80      7120         0    117972     49840   2027460     23.01     24.25  --
4692.32/1174.74	c  N dy 11246   3273899        80      7120         0    136388     49840   2529591     23.01     24.90  --
4724.69/1182.83	c  N dy 11327   3293993        80      7120         0     82689     49840   1062026     23.01     24.40  --
4752.67/1189.82	c  N dy 11387   3318035        80      7120         0    104506     49840   1652450     23.01     24.23  --
4787.81/1198.62	c  N dy 11488   3338372        80      7120         0    123025     49840   2157601     23.02     24.26  --

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-3175316-1304114571/watcher-3175316-1304114571 -o /tmp/evaluation-result-3175316-1304114571/solver-3175316-1304114571 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175316-1304114571.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: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 523059723 52465664 352 33554432000 4194304 4650419 140735786960544 18446744073709551615 47833844635570 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 12809 352 303 112 0 7774 0
[pid=21767/tid=21768] ppid=21765 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523059723 52465664 352 33554432000 4194304 4650419 140735786960544 18446744073709551615 47833844635564 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523059723 52465664 352 33554432000 4194304 4650419 140735786960544 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523059723 52465664 352 33554432000 4194304 4650419 140735786960544 18446744073709551615 47833844635568 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.087272 s]
/proc/loadavg: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=282028 CPUtime=0.32 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 1511 0 0 0 32 0 0 0 18 0 4 0 523059723 288796672 1416 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370557 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 70507 1416 366 112 0 65472 0
[pid=21767/tid=21768] ppid=21765 vsize=282028 CPUtime=0.08 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 255 0 0 0 8 0 0 0 18 0 4 0 523059723 288796672 1416 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=282028 CPUtime=0.07 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 248 0 0 0 7 0 0 0 25 0 4 0 523059723 288796672 1416 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=282028 CPUtime=0.08 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 339 0 0 0 8 0 0 0 18 0 4 0 523059723 288796672 1416 33554432000 4194304 4650419 140735786960544 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 282028

[startup+0.100269 s]
/proc/loadavg: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=282028 CPUtime=0.38 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 1538 0 0 0 38 0 0 0 18 0 4 0 523059723 288796672 1443 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 70507 1443 366 112 0 65472 0
[pid=21767/tid=21768] ppid=21765 vsize=282028 CPUtime=0.09 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 258 0 0 0 9 0 0 0 18 0 4 0 523059723 288796672 1443 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=282028 CPUtime=0.09 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 249 0 0 0 9 0 0 0 25 0 4 0 523059723 288796672 1443 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370500 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=282028 CPUtime=0.09 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 361 0 0 0 9 0 0 0 18 0 4 0 523059723 288796672 1443 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282028

[startup+0.355027 s]
/proc/loadavg: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=288312 CPUtime=4.21 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 8114 0 0 0 419 2 0 0 19 0 4 0 523059723 295231488 4256 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 72078 4256 390 112 0 67043 0
[pid=21767/tid=21768] ppid=21765 vsize=288312 CPUtime=1.04 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 1992 0 0 0 104 0 0 0 19 0 4 0 523059723 295231488 4256 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=288312 CPUtime=1.04 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2020 0 0 0 104 0 0 0 19 0 4 0 523059723 295231488 4256 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=288312 CPUtime=1.05 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 1630 0 0 0 105 0 0 0 19 0 4 0 523059723 295231488 4256 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 288312

[startup+1.15809 s]
/proc/loadavg: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=288312 CPUtime=4.61 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 8337 0 0 0 459 2 0 0 19 0 4 0 523059723 295231488 4479 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 72078 4479 391 112 0 67043 0
[pid=21767/tid=21768] ppid=21765 vsize=288312 CPUtime=1.14 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2048 0 0 0 114 0 0 0 19 0 4 0 523059723 295231488 4479 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=288312 CPUtime=1.14 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2075 0 0 0 114 0 0 0 19 0 4 0 523059723 295231488 4479 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=288312 CPUtime=1.15 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 1684 0 0 0 115 0 0 0 19 0 4 0 523059723 295231488 4479 33554432000 4194304 4650419 140735786960544 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 288312

[startup+1.50103 s]
/proc/loadavg: 6.68 7.83 7.95 3/176 21767
/proc/meminfo: memFree=17893140/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=288916 CPUtime=5.97 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 10222 0 0 0 595 2 0 0 19 0 4 0 523059723 295849984 4723 33554432000 4194304 4650419 140735786960544 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 72229 4723 392 112 0 67194 0
[pid=21767/tid=21768] ppid=21765 vsize=288916 CPUtime=1.48 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2527 0 0 0 148 0 0 0 19 0 4 0 523059723 295849984 4723 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=288916 CPUtime=1.48 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2549 0 0 0 148 0 0 0 19 0 4 0 523059723 295849984 4723 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=288916 CPUtime=1.49 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 2125 0 0 0 149 0 0 0 20 0 4 0 523059723 295849984 4723 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288916

[startup+3.10075 s]
/proc/loadavg: 6.68 7.83 7.95 10/184 21775
/proc/meminfo: memFree=17811116/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=294816 CPUtime=12.35 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 19664 0 0 0 1232 3 0 0 24 0 4 0 523059723 301891584 11900 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 73704 11900 392 112 0 68669 0
[pid=21767/tid=21768] ppid=21765 vsize=294816 CPUtime=3.08 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 4244 0 0 0 308 0 0 0 24 0 4 0 523059723 301891584 11900 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=294816 CPUtime=3.07 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 5374 0 0 0 306 1 0 0 24 0 4 0 523059723 301891584 11900 33554432000 4194304 4650419 140735786960544 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=294816 CPUtime=3.09 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 5273 0 0 0 309 0 0 0 25 0 4 0 523059723 301891584 11900 33554432000 4194304 4650419 140735786960544 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294816

[startup+6.30619 s]
/proc/loadavg: 6.78 7.84 7.95 10/184 21775
/proc/meminfo: memFree=17787064/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=283492 CPUtime=25.16 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 28157 0 0 0 2511 5 0 0 25 0 4 0 523059723 290295808 14649 33554432000 4194304 4650419 140735786960544 18446744073709551615 4350792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 70873 14649 392 112 0 65838 0
[pid=21767/tid=21768] ppid=21765 vsize=283492 CPUtime=6.29 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 7200 0 0 0 628 1 0 0 25 0 4 0 523059723 290295808 14649 33554432000 4194304 4650419 140735786960544 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=283492 CPUtime=6.26 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 7081 0 0 0 625 1 0 0 25 0 4 0 523059723 290295808 14649 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=283492 CPUtime=6.29 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 7387 0 0 0 629 0 0 0 25 0 4 0 523059723 290295808 14649 33554432000 4194304 4650419 140735786960544 18446744073709551615 4368281 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 283492

[startup+12.7011 s]
/proc/loadavg: 6.88 7.84 7.95 10/184 21775
/proc/meminfo: memFree=17746900/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=293040 CPUtime=50.71 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 39396 0 0 0 5064 7 0 0 25 0 4 0 523059723 300072960 22546 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 73260 22546 392 112 0 68225 0
[pid=21767/tid=21768] ppid=21765 vsize=293040 CPUtime=12.68 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 9000 0 0 0 1267 1 0 0 25 0 4 0 523059723 300072960 22546 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=293040 CPUtime=12.62 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 10170 0 0 0 1261 1 0 0 25 0 4 0 523059723 300072960 22546 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=293040 CPUtime=12.69 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 10990 0 0 0 1268 1 0 0 25 0 4 0 523059723 300072960 22546 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 293040

[startup+25.5008 s]
/proc/loadavg: 7.13 7.85 7.95 10/184 21776
/proc/meminfo: memFree=17692352/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=313156 CPUtime=101.84 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 59449 0 0 0 10171 13 0 0 25 0 4 0 523059723 320671744 27383 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 78289 27383 392 112 0 73254 0
[pid=21767/tid=21768] ppid=21765 vsize=313156 CPUtime=25.48 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 13568 0 0 0 2546 2 0 0 25 0 4 0 523059723 320671744 27383 33554432000 4194304 4650419 140735786960544 18446744073709551615 4330253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=313156 CPUtime=25.35 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 15719 0 0 0 2532 3 0 0 25 0 4 0 523059723 320671744 27383 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=313156 CPUtime=25.49 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 16231 0 0 0 2547 2 0 0 25 0 4 0 523059723 320671744 27383 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313156

[startup+51.1003 s]
/proc/loadavg: 7.58 7.89 7.96 11/185 21779
/proc/meminfo: memFree=17643068/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=317988 CPUtime=204.09 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 87750 0 0 0 20389 20 0 0 25 0 4 0 523059723 325619712 31579 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 79497 31579 392 112 0 74462 0
[pid=21767/tid=21768] ppid=21765 vsize=317988 CPUtime=51.09 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 20363 0 0 0 5105 4 0 0 25 0 4 0 523059723 325619712 31579 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=317988 CPUtime=50.81 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 23049 0 0 0 5076 5 0 0 25 0 4 0 523059723 325619712 31579 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=317988 CPUtime=51.09 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 24568 0 0 0 5105 4 0 0 25 0 4 0 523059723 325619712 31579 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366245 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317988

[startup+102.3 s]
/proc/loadavg: 7.90 7.94 7.97 10/184 21781
/proc/meminfo: memFree=17604828/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=359656 CPUtime=408.6 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 132087 0 0 0 40827 33 0 0 25 0 4 0 523059723 368287744 39881 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 89914 39881 392 112 0 84879 0
[pid=21767/tid=21768] ppid=21765 vsize=359656 CPUtime=102.29 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 28705 0 0 0 10222 7 0 0 25 0 4 0 523059723 368287744 39881 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=359656 CPUtime=101.73 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 35966 0 0 0 10163 10 0 0 25 0 4 0 523059723 368287744 39881 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=359656 CPUtime=102.29 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 37420 0 0 0 10221 8 0 0 25 0 4 0 523059723 368287744 39881 33554432000 4194304 4650419 140735786960544 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 359656

[startup+162.301 s]

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

[pid=21767] ppid=21765 vsize=448512 CPUtime=2805.32 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 385424 0 0 0 280400 132 0 0 25 0 4 0 523059723 459276288 78960 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 112128 78960 392 112 0 107093 0
[pid=21767/tid=21768] ppid=21765 vsize=448512 CPUtime=702.28 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 55263 0 0 0 70210 18 0 0 25 0 4 0 523059723 459276288 78960 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=448512 CPUtime=698.47 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 112230 0 0 0 69808 39 0 0 25 0 4 0 523059723 459276288 78960 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=448512 CPUtime=702.25 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 119865 0 0 0 70184 41 0 0 25 0 4 0 523059723 459276288 78960 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 448512

[startup+762.3 s]
/proc/loadavg: 8.13 8.11 8.03 10/184 21798
/proc/meminfo: memFree=17221112/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=448580 CPUtime=3045 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 395167 0 0 0 304362 138 0 0 25 0 4 0 523059723 459345920 78799 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 112145 78799 392 112 0 107110 0
[pid=21767/tid=21768] ppid=21765 vsize=448580 CPUtime=762.28 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 55648 0 0 0 76210 18 0 0 25 0 4 0 523059723 459345920 78799 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=448580 CPUtime=758.14 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 112752 0 0 0 75775 39 0 0 25 0 4 0 523059723 459345920 78799 33554432000 4194304 4650419 140735786960544 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=448580 CPUtime=762.25 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 124594 0 0 0 76181 44 0 0 25 0 4 0 523059723 459345920 78799 33554432000 4194304 4650419 140735786960544 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 448580

[startup+822.301 s]
/proc/loadavg: 8.12 8.12 8.03 10/184 21800
/proc/meminfo: memFree=17202128/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=523664 CPUtime=3284.66 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 413713 0 0 0 328322 144 0 0 25 0 4 0 523059723 536231936 85070 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 130916 85070 392 112 0 125881 0
[pid=21767/tid=21768] ppid=21765 vsize=523664 CPUtime=822.29 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 57475 0 0 0 82209 20 0 0 25 0 4 0 523059723 536231936 85070 33554432000 4194304 4650419 140735786960544 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=523664 CPUtime=817.81 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 119491 0 0 0 81740 41 0 0 25 0 4 0 523059723 536231936 85070 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=523664 CPUtime=822.25 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 127178 0 0 0 82180 45 0 0 25 0 4 0 523059723 536231936 85070 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 523664

[startup+882.301 s]
/proc/loadavg: 8.11 8.12 8.04 10/184 21802
/proc/meminfo: memFree=17151356/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=471256 CPUtime=3524.33 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 441491 0 0 0 352280 153 0 0 25 0 4 0 523059723 482566144 84618 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 117814 84618 392 112 0 112779 0
[pid=21767/tid=21768] ppid=21765 vsize=471256 CPUtime=882.28 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58001 0 0 0 88208 20 0 0 25 0 4 0 523059723 482566144 84618 33554432000 4194304 4650419 140735786960544 18446744073709551615 4313335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=471256 CPUtime=877.49 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 125568 0 0 0 87705 44 0 0 25 0 4 0 523059723 482566144 84618 33554432000 4194304 4650419 140735786960544 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=471256 CPUtime=882.25 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 133699 0 0 0 88176 49 0 0 25 0 4 0 523059723 482566144 84618 33554432000 4194304 4650419 140735786960544 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 471256

[startup+942.301 s]
/proc/loadavg: 8.04 8.10 8.03 10/184 21803
/proc/meminfo: memFree=17121324/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=537096 CPUtime=3764.02 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 463734 0 0 0 376242 160 0 0 25 0 4 0 523059723 549986304 96605 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 134274 96605 392 112 0 129239 0
[pid=21767/tid=21768] ppid=21765 vsize=537096 CPUtime=942.3 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58264 0 0 0 94209 21 0 0 25 0 4 0 523059723 549986304 96605 33554432000 4194304 4650419 140735786960544 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=537096 CPUtime=937.17 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 129938 0 0 0 93671 46 0 0 25 0 4 0 523059723 549986304 96605 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=537096 CPUtime=942.24 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 142953 0 0 0 94173 51 0 0 25 0 4 0 523059723 549986304 96605 33554432000 4194304 4650419 140735786960544 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 537096

[startup+1002.3 s]
/proc/loadavg: 8.01 8.08 8.03 10/184 21805
/proc/meminfo: memFree=17096756/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=537228 CPUtime=4003.67 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 475323 0 0 0 400202 165 0 0 25 0 4 0 523059723 550121472 94151 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 134307 94151 392 112 0 129272 0
[pid=21767/tid=21768] ppid=21765 vsize=537228 CPUtime=1002.29 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58264 0 0 0 100208 21 0 0 25 0 4 0 523059723 550121472 94151 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=537228 CPUtime=996.84 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 135352 0 0 0 99635 49 0 0 25 0 4 0 523059723 550121472 94151 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=537228 CPUtime=1002.23 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 147258 0 0 0 100171 52 0 0 25 0 4 0 523059723 550121472 94151 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 537228

[startup+1062.31 s]
/proc/loadavg: 8.00 8.06 8.02 10/184 21806
/proc/meminfo: memFree=17085572/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=668352 CPUtime=4243.37 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 495253 0 0 0 424165 172 0 0 25 0 4 0 523059723 684392448 102480 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 167088 102480 392 112 0 162053 0
[pid=21767/tid=21768] ppid=21765 vsize=668352 CPUtime=1062.3 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58264 0 0 0 106209 21 0 0 25 0 4 0 523059723 684392448 102480 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=668352 CPUtime=1056.52 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 142014 0 0 0 105601 51 0 0 25 0 4 0 523059723 684392448 102480 33554432000 4194304 4650419 140735786960544 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=668352 CPUtime=1062.23 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 155305 0 0 0 106169 54 0 0 25 0 4 0 523059723 684392448 102480 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 668352

[startup+1122.3 s]
/proc/loadavg: 8.00 8.05 8.01 10/184 21808
/proc/meminfo: memFree=17064220/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=602816 CPUtime=4483.02 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 506484 0 0 0 448127 175 0 0 25 0 4 0 523059723 617283584 100033 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 150704 100033 392 112 0 145669 0
[pid=21767/tid=21768] ppid=21765 vsize=602816 CPUtime=1122.29 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58264 0 0 0 112208 21 0 0 25 0 4 0 523059723 617283584 100033 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=602816 CPUtime=1116.19 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 143652 0 0 0 111568 51 0 0 25 0 4 0 523059723 617283584 100033 33554432000 4194304 4650419 140735786960544 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=602816 CPUtime=1122.22 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 162839 0 0 0 112167 55 0 0 25 0 4 0 523059723 617283584 100033 33554432000 4194304 4650419 140735786960544 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.02
Current children cumulated vsize (KiB) 602816

[startup+1182.3 s]
/proc/loadavg: 8.00 8.04 8.01 10/184 21810
/proc/meminfo: memFree=17060356/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=655300 CPUtime=4722.69 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 521421 0 0 0 472086 183 0 0 25 0 4 0 523059723 671027200 101269 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 163825 101269 392 112 0 158790 0
[pid=21767/tid=21768] ppid=21765 vsize=655300 CPUtime=1182.28 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58316 0 0 0 118207 21 0 0 25 0 4 0 523059723 671027200 101269 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=655300 CPUtime=1175.86 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 149118 0 0 0 117531 55 0 0 25 0 4 0 523059723 671027200 101269 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=655300 CPUtime=1182.21 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 168874 0 0 0 118164 57 0 0 25 0 4 0 523059723 671027200 101269 33554432000 4194304 4650419 140735786960544 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 655300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.03 8.01 9/184 21810
/proc/meminfo: memFree=17051052/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=655456 CPUtime=4800.2 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 525226 0 0 0 479835 185 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 163864 105074 392 112 0 158829 0
[pid=21767/tid=21768] ppid=21765 vsize=655456 CPUtime=1201.69 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58318 0 0 0 120148 21 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=655456 CPUtime=1195.16 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 150375 0 0 0 119460 56 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=655456 CPUtime=1201.62 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 170003 0 0 0 120104 58 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366900 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 655456

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.00 8.03 8.01 9/184 21810
/proc/meminfo: memFree=17051052/32951124 swapFree=67111528/67111528
[pid=21767] ppid=21765 vsize=655456 CPUtime=4800.2 cores=0,2,4,6
/proc/21767/stat : 21767 (strangenight1-m) R 21765 21767 20915 0 -1 4202496 525226 0 0 0 479835 185 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21767/statm: 163864 105074 392 112 0 158829 0
[pid=21767/tid=21768] ppid=21765 vsize=655456 CPUtime=1201.69 cores=0,2,4,6
/proc/21767/task/21768/stat : 21768 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 58318 0 0 0 120148 21 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21767/tid=21772] ppid=21765 vsize=655456 CPUtime=1195.16 cores=0,2,4,6
/proc/21767/task/21772/stat : 21772 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 150375 0 0 0 119460 56 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21767/tid=21773] ppid=21765 vsize=655456 CPUtime=1201.62 cores=0,2,4,6
/proc/21767/task/21773/stat : 21773 (strangenight1-m) R 21765 21767 20915 0 -1 4202560 170003 0 0 0 120104 58 0 0 25 0 4 0 523059723 671186944 105074 33554432000 4194304 4650419 140735786960544 18446744073709551615 4366900 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 655456

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.25
CPU user time (s): 4798.38
CPU system time (s): 1.87571
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 668352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.38
system time used= 1.87571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525228
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= 402
involuntary context switches= 32249

runsolver used 1.88771 second user time and 4.66429 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 00:02:51
IDJOB=3175316
IDBENCH=82934
IDSOLVER=1588
FILE ID=node103/3175316-1304114571
RUNJOBID= node103-1304114571-21748
PBS_JOBID= 13170666
Free space on /tmp= 71520 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175316-1304114571/watcher-3175316-1304114571 -o /tmp/evaluation-result-3175316-1304114571/solver-3175316-1304114571 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175316-1304114571.cnf

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

MD5SUM BENCH= a07a8125427a6bd5de5db67d31fcc46b
RANDOM SEED=1679405984

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:      17893444 kB
Buffers:       2149460 kB
Cached:       12260544 kB
SwapCached:          0 kB
Active:        5601108 kB
Inactive:      8872524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17893444 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12628 kB
Writeback:           0 kB
AnonPages:       62804 kB
Mapped:          14480 kB
Slab:           520316 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186896 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= 71508 MiB
End job on node103 at 2011-04-30 00:22:55