Trace number 3368925

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3368925-1305406194.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.00	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.00	c -- vars added         80
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.41/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.63
0.41/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.41/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.41/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.41/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.41/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.41/0.19	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.41/0.19	c calculated reachability. Time: 0.00
0.41/0.20	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      50
0.41/0.20	c =========================================================================================
0.41/0.20	c types(t): F = full restart, N = normal restart
0.41/0.20	c types(t): S = simplification begin/end, E = solution found
0.41/0.20	c restart types(rt): st = static, dy = dynamic
0.41/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.41/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.18/0.37	c  N dy    13      5576        80      7120         0      2822     49840     66544     23.49     24.89  --
2.37/0.62	c  N dy    19     12000        80      7120         0      4817     49840    107290     22.86     24.07  --
3.57/0.94	c  N dy    30     19296        80      7120         0      6352     49840    133094     22.61     24.04  --
4.39/1.13	c  N dy    61     23353        80      7120         0     10070     49840    234321     22.94     26.68  --
4.80/1.23	c  F st    68     25000        80      7120         0     11568     49840    274740     23.00   no data  --
5.16/1.38	c  N st    73     28296        80      7120         0      8341     49840    173968     23.00   no data  --
5.56/1.46	c  S st    74     30000        80      7120         0      9905     49840    215992     23.00   no data  --
5.56/1.49	c  S st    74     30503        80      7120         0     10383     49840    229043     23.00   no data  --
5.56/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.49	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.95/2.53	c lits-rem:      1649  cl-subs:      766  v-elim:      0  v-fix:    0  time:  4.10 s
11.15/2.89	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.44
11.15/2.89	c calculated reachability. Time: 0.00
11.15/2.89	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.34/3.67	c  N dy   127     44456        80      7120         0     15165     49840    339016     23.16     24.50  --
14.74/3.77	c  S st   138     45756        80      7120         0     16363     49840    371830     23.21   no data  --
15.14/3.81	c  S st   138     46259        80      7120         0      8646     49840    151457     23.21   no data  --
15.14/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.14/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.14/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.34/4.67	c lits-rem:       195  cl-subs:       57  v-elim:      0  v-fix:    0  time:  3.38 s
18.34/4.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.34/4.67	c vivif2 --  cl tried     8589 cl shrink        0 lits rem          0 time: 0.00
19.54/4.94	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.09
19.54/4.95	c calculated reachability. Time: 0.00
19.54/4.95	c  N dy   138     46259        80      7120         0      8589     49840    149334     23.21   no data  --
20.34/5.14	c  N dy   146     50282        80      7120         0     12271     49840    248552     23.19     26.40  --
21.53/5.47	c  N dy   165     55206        80      7120         0     16752     49840    369751     23.24     24.57  --
23.52/5.94	c  N dy   173     63525        80      7120         0     15258     49840    315291     23.16     24.41  --
24.72/6.21	c  N dy   189     67755        80      7120         0     19147     49840    420939     23.19     24.45  --
25.12/6.34	c  S st   195     69388        80      7120         0     10590     49840    174155     23.18     22.91  --
25.12/6.38	c  S st   195     69891        80      7120         0     11067     49840    187482     23.18   no data  --
25.12/6.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.12/6.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.12/6.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.12/6.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.12/6.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.12/6.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.12/6.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.12/7.30	c lits-rem:       305  cl-subs:      164  v-elim:      0  v-fix:    0  time:  3.64 s
29.12/7.30	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.12/7.30	c vivif2 --  cl tried    10903 cl shrink        0 lits rem          0 time: 0.00
30.31/7.63	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.32
30.31/7.63	c calculated reachability. Time: 0.00
30.31/7.63	c  N dy   195     69891        80      7120         0     10903     49840    182275     23.18   no data  --
31.14/7.89	c  N dy   198     74502        80      7120         0     15126     49840    293357     23.10     24.34  --
32.70/8.24	c  N dy   213     79294        80      7120         0     19505     49840    410184     23.09     24.35  --
34.70/8.77	c  N dy   221     86482        80      7120         0     15075     49840    279784     23.03     24.43  --
35.12/8.84	c  F st   225     87505        80      7120         0     16006     49840    304474     23.04     23.26  --
36.69/9.22	c  N dy   231     92700        80      7120         0     20743     49840    431621     23.04   no data  --
39.10/9.84	c  N dy   232    102173        80      7120         0     17542     49840    330682     22.85     24.19  --
39.92/10.01	c  S st   234    104836        80      7120         0     19981     49840    394291     22.80     20.85  --
39.92/10.07	c  S st   234    105338        80      7120         0     20459     49840    407401     22.80   no data  --
39.92/10.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.92/10.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.92/10.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
39.92/10.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.92/10.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.92/10.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
39.92/10.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.07/11.83	c lits-rem:      2364  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.94 s
47.07/11.83	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.07/11.83	c vivif2 --  cl tried    18588 cl shrink        0 lits rem          0 time: 0.02
48.70/12.22	c asymm  cl-useful: 0/5253/7120 lits-rem:0 time: 1.54
48.70/12.22	c calculated reachability. Time: 0.00
48.70/12.22	c  N dy   234    105338        80      7120         0     18588     49840    357154     22.80   no data  --
51.06/12.81	c  N dy   260    112672        80      7120         0     25371     49840    538278     22.83     24.13  --
53.45/13.45	c  N dy   294    121694        80      7120         0     20865     49840    403567     22.86     24.12  --
56.25/14.17	c  N dy   340    129561        80      7120         0     14384     49840    217607     22.94     24.16  --
58.64/14.76	c  N dy   373    137891        80      7120         0     22048     49840    425000     22.99     24.22  --
61.86/15.58	c  N dy   392    147798        80      7120         0     16463     49840    254784     22.94     24.29  --
65.03/16.39	c  N dy   441    158007        80      7120         0     25838     49840    506263     22.98     19.93  --
65.03/16.39	c  S st   441    158007        80      7120         0     25838     49840    506263     22.98     19.93  --
65.43/16.46	c  S st   441    158510        80      7120         0     26311     49840    519263     22.98   no data  --
65.43/16.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.43/16.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.43/16.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.43/16.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.43/16.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.43/16.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.43/16.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.21/18.68	c lits-rem:      1866  cl-subs:     2184  v-elim:      0  v-fix:    0  time:  8.77 s
74.21/18.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
74.21/18.69	c vivif2 --  cl tried    24127 cl shrink        0 lits rem          0 time: 0.02
75.40/18.92	c asymm  cl-useful: 0/1774/7120 lits-rem:0 time: 0.92
75.40/18.92	c calculated reachability. Time: 0.00
75.40/18.92	c  N dy   441    158510        80      7120         0     24127     49840    456169     22.98   no data  --
79.43/19.93	c  N dy   452    169439        80      7120         0     18576     49840    297293     22.91     24.16  --
83.41/20.92	c  N dy   483    180360        80      7120         0     28543     49840    562123     22.90     24.29  --
88.58/22.24	c  N dy   508    195585        80      7120         0     26039     49840    478620     22.85     24.11  --
96.16/24.13	c  N dy   526    217690        80      7120         0     28757     49840    537824     22.71     23.93  --
103.34/25.96	c  N dy   566    237767        80      7120         0     28940     49840    527104     22.66     19.67  --
103.34/25.96	c  S st   566    237767        80      7120         0     28940     49840    527104     22.66     19.67  --
103.74/26.03	c  S st   566    238270        80      7120         0     29421     49840    540053     22.66   no data  --
103.74/26.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.74/26.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.74/26.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.74/26.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.74/26.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.74/26.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
103.74/26.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.73/28.51	c lits-rem:      2617  cl-subs:     2454  v-elim:      0  v-fix:    0  time:  9.76 s
113.73/28.51	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
113.73/28.51	c vivif2 --  cl tried    26967 cl shrink        0 lits rem          0 time: 0.02
114.56/28.72	c asymm  cl-useful: 0/2226/7120 lits-rem:0 time: 0.83
114.56/28.72	c calculated reachability. Time: 0.00
114.56/28.72	c  N dy   566    238270        80      7120         0     26967     49840    473898     22.66   no data  --
122.10/30.62	c  N dy   635    255368        80      7120         0     23485     49840    365749     22.69     24.08  --
128.89/32.32	c  N dy   705    271700        80      7120         0     38465     49840    766313     22.72     24.94  --
139.67/35.06	c  N dy   769    297715        80      7120         0     21185     49840    279306     22.64     23.88  --
142.86/35.82	c  F st   812    306251        80      7120         0     29019     49840    491222     22.67   no data  --
147.65/37.00	c  N dy   845    316760        80      7120         0     38721     49840    754057     22.69     24.07  --
156.84/39.40	c  N dy   945    336765        80      7120         0     35107     49840    640090     22.75     25.93  --
165.61/41.59	c  N dy   991    356855        80      7120         0     30528     49840    497093     22.74     25.26  --
166.01/41.66	c  S st   996    357406        80      7120         0     31039     49840    510902     22.74   no data  --
166.41/41.75	c  S st   996    357910        80      7120         0     31516     49840    523981     22.74   no data  --
166.41/41.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.41/41.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.41/41.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
166.41/41.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.41/41.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.41/41.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
166.41/41.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
176.79/44.39	c lits-rem:      1180  cl-subs:     1621  v-elim:      0  v-fix:    0  time: 10.42 s
176.79/44.39	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
176.79/44.39	c vivif2 --  cl tried    29895 cl shrink        0 lits rem          0 time: 0.02
177.99/44.60	c asymm  cl-useful: 0/1606/7120 lits-rem:0 time: 0.82
177.99/44.60	c calculated reachability. Time: 0.00
177.99/44.60	c  N dy   996    357910        80      7120         0     29895     49840    478349     22.74   no data  --
191.16/47.94	c  N dy  1094    377921        80      7120         0     24497     49840    318318     22.78     24.01  --
203.13/50.92	c  N dy  1214    398737        80      7120         0     43622     49840    836050     22.84     24.10  --
214.71/53.80	c  N dy  1264    422610        80      7120         0     40694     49840    731926     22.83     24.04  --
225.88/56.62	c  N dy  1329    444443        80      7120         0     35055     49840    566764     22.84     24.20  --
237.07/59.46	c  N dy  1384    464467        80      7120         0     26825     49840    334684     22.83     24.20  --
247.43/62.07	c  N dy  1502    484696        80      7120         0     45417     49840    839104     22.88     24.14  --
258.21/64.70	c  N dy  1554    504705        80      7120         0     36243     49840    570897     22.86     24.10  --
270.18/67.73	c  N dy  1630    524734        80      7120         0     54644     49840   1065947     22.88     26.07  --
276.59/69.37	c  S st  1685    536866        80      7120         0     37320     49840    587275     22.90     24.25  --
277.00/69.47	c  S st  1685    537367        80      7120         0     37785     49840    599958     22.90   no data  --
277.00/69.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.00/69.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.00/69.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
277.36/69.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.36/69.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.36/69.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
277.36/69.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
288.55/72.38	c lits-rem:      1298  cl-subs:     1789  v-elim:      0  v-fix:    0  time: 11.49 s
288.55/72.38	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
288.55/72.39	c vivif2 --  cl tried    35996 cl shrink        0 lits rem          0 time: 0.03
289.35/72.61	c asymm  cl-useful: 0/1295/7120 lits-rem:0 time: 0.86
289.77/72.61	c calculated reachability. Time: 0.00
289.77/72.61	c  N dy  1685    537367        80      7120         0     35996     49840    548423     22.90   no data  --
302.93/75.98	c  N dy  1777    559771        80      7120         0     56486     49840   1099270     22.91     24.19  --
314.89/78.92	c  N dy  1806    581609        80      7120         0     47083     49840    823049     22.88     24.27  --
327.66/82.13	c  N dy  1881    602035        80      7120         0     35690     49840    508445     22.89     24.27  --
341.24/85.54	c  N dy  1981    624106        80      7120         0     55945     49840   1058450     22.92     24.26  --
371.56/93.18	c  N dy  1988    677401        80      7120         0     41180     49840    620824     22.76     23.98  --
383.54/96.16	c  N dy  2024    697426        80      7120         0     59391     49840   1105744     22.74     23.94  --
397.51/99.63	c  N dy  2102    719008        80      7120         0     46498     49840    754896     22.75     24.07  --
418.26/104.87	c  N dy  2210    743666        80      7120         0     35333     49840    438058     22.76     24.00  --
431.43/108.15	c  N dy  2321    763725        80      7120         0     53737     49840    938663     22.79     24.29  --
447.40/112.19	c  N dy  2408    783797        80      7120         0     37410     49840    477727     22.80     26.08  --
459.77/115.21	c  N dy  2437    804627        80      7120         0     56417     49840    979459     22.78     24.15  --
460.99/115.51	c  S st  2449    806050        80      7120         0     57734     49840   1015541     22.78   no data  --
461.40/115.66	c  S st  2449    806554        80      7120         0     58211     49840   1028739     22.78   no data  --
461.40/115.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
461.40/115.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
461.40/115.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
461.77/115.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.77/115.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.77/115.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
461.77/115.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.50/123.93	c lits-rem:      2351  cl-subs:     5559  v-elim:      0  v-fix:    0  time: 32.74 s
494.50/123.93	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
494.50/123.94	c vivif2 --  cl tried    52652 cl shrink        0 lits rem          0 time: 0.04
495.69/124.30	c asymm  cl-useful: 0/913/7120 lits-rem:0 time: 1.42
495.69/124.30	c calculated reachability. Time: 0.00
495.69/124.30	c  N dy  2449    806554        80      7120         0     52652     49840    881249     22.78   no data  --
515.64/129.29	c  N dy  2576    826609        80      7120         0     35628     49840    417094     22.82     24.15  --
528.81/132.52	c  N dy  2662    847149        80      7120         0     54419     49840    922801     22.83     24.15  --
545.98/136.83	c  N dy  2730    867289        80      7120         0     72855     49840   1416071     22.83     24.04  --
561.15/140.61	c  N dy  2834    890837        80      7120         0     58003     49840   1009146     22.85     24.06  --
580.70/145.51	c  N dy  2956    911102        80      7120         0     39032     49840    474450     22.88     24.17  --
593.87/148.80	c  N dy  3024    931380        80      7120         0     57613     49840    971996     22.89     24.12  --
615.81/154.30	c  N dy  3150    954629        80      7120         0     40480     49840    494391     22.91     24.13  --
636.19/159.49	c  N dy  3168    987790        80      7120         0     70442     49840   1281035     22.85     24.17  --
652.15/163.48	c  N dy  3255   1007810        80      7120         0     49607     49840    727398     22.86     24.25  --
675.70/169.31	c  N dy  3260   1042936        80      7120         0     41336     49840    489299     22.80     24.08  --
688.87/172.70	c  N dy  3340   1063039        80      7120         0     59776     49840    984801     22.81     24.05  --
696.44/174.55	c  F st  3368   1071877        80      7120         0     67844     49840   1200155     22.81   no data  --
708.02/177.42	c  N dy  3411   1083319        80      7120         0     78327     49840   1485093     22.82     24.12  --
723.59/181.39	c  N dy  3499   1103523        80      7120         0     55742     49840    863096     22.83     24.04  --
743.54/186.30	c  N dy  3557   1128471        80      7120         0     78450     49840   1468590     22.81     24.12  --
759.12/190.28	c  N dy  3610   1149121        80      7120         0     55341     49840    829384     22.81     24.18  --
785.87/196.91	c  N dy  3673   1179063        80      7120         0     82593     49840   1554381     22.80     24.17  --
805.00/201.77	c  N dy  3769   1199098        80      7120         0     58133     49840    892882     22.81     24.23  --
816.18/204.53	c  S st  3830   1209831        80      7120         0     68018     49840   1162251     22.82     23.21  --
817.02/204.74	c  S st  3830   1210332        80      7120         0     68493     49840   1175440     22.82   no data  --
817.02/204.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
817.02/204.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
817.02/204.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
817.37/204.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
817.37/204.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.37/204.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
817.37/204.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
902.39/226.19	c lits-rem:      3348  cl-subs:     4806  v-elim:      0  v-fix:    0  time: 85.24 s
902.39/226.19	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
902.79/226.21	c vivif2 --  cl tried    63687 cl shrink        0 lits rem          0 time: 0.06
903.98/226.59	c asymm  cl-useful: 0/759/7120 lits-rem:0 time: 1.53
903.98/226.59	c calculated reachability. Time: 0.00
903.98/226.59	c  N dy  3830   1210332        80      7120         0     63687     49840   1035066     22.82   no data  --
933.92/234.08	c  N dy  3879   1237331        80      7120         0     44635     49840    513640     22.81     24.15  --
950.66/238.21	c  N dy  3983   1257344        80      7120         0     63011     49840   1013323     22.82     25.96  --
971.82/243.55	c  N dy  4093   1277531        80      7120         0     81560     49840   1519069     22.84     24.05  --
994.57/249.22	c  N dy  4186   1297595        80      7120         0     55161     49840    781453     22.85     26.42  --
1015.72/254.54	c  N dy  4263   1317683        80      7120         0     73551     49840   1277375     22.86     24.69  --
1041.26/260.98	c  N dy  4314   1337807        80      7120         0     46235     49840    523350     22.85     24.23  --
1058.82/265.38	c  N dy  4402   1357818        80      7120         0     64640     49840   1024114     22.86     24.54  --
1094.35/274.28	c  N dy  4490   1389616        80      7120         0     46955     49840    528734     22.86     24.36  --
1110.32/278.28	c  N dy  4596   1409634        80      7120         0     65316     49840   1028510     22.87     25.92  --
1131.86/283.66	c  N dy  4684   1430319        80      7120         0     84259     49840   1540368     22.88     24.10  --
1151.02/288.47	c  N dy  4726   1450320        80      7120         0     54888     49840    724772     22.87     24.35  --
1167.38/292.55	c  N dy  4808   1470364        80      7120         0     73191     49840   1219155     22.88     24.22  --
1193.73/299.17	c  N dy  4896   1492727        80      7120         0     93617     49840   1769134     22.88     24.13  --
1212.88/303.98	c  N dy  5002   1513610        80      7120         0     64367     49840    968958     22.89     24.43  --
1238.82/310.41	c  N dy  5102   1539186        80      7120         0     87771     49840   1598506     22.90     24.15  --
1264.38/316.86	c  N dy  5199   1562550        80      7120         0     59702     49840    821366     22.90     24.13  --
1284.72/321.93	c  N dy  5321   1582706        80      7120         0     78188     49840   1326144     22.92     24.20  --
1306.67/327.40	c  N dy  5373   1603141        80      7120         0     96775     49840   1820995     22.91     24.18  --
1325.02/332.05	c  N dy  5428   1623156        80      7120         0     64868     49840    948077     22.92     24.14  --
1345.38/337.13	c  N dy  5514   1643162        80      7120         0     83107     49840   1442256     22.92     24.56  --
1375.71/344.79	c  N dy  5614   1666055        80      7120         0     52857     49840    607574     22.93     24.17  --
1394.87/349.57	c  N dy  5742   1686110        80      7120         0     71242     49840   1111161     22.95     26.26  --
1417.22/355.16	c  N dy  5801   1707233        80      7120         0     90557     49840   1631085     22.95     24.24  --
1421.21/356.13	c  S st  5812   1710333        80      7120         0     93391     49840   1707792     22.95     21.09  --
1422.01/356.40	c  S st  5812   1710835        80      7120         0     93863     49840   1720597     22.95   no data  --
1422.42/356.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1422.42/356.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1422.42/356.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1422.84/356.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.84/356.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.84/356.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1422.84/356.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1588.42/398.09	c lits-rem:      6710  cl-subs:     8222  v-elim:      0  v-fix:    0  time: 165.88 s
1588.42/398.09	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1588.82/398.11	c vivif2 --  cl tried    85641 cl shrink        0 lits rem          0 time: 0.08
1590.41/398.51	c asymm  cl-useful: 0/741/7120 lits-rem:0 time: 1.58
1590.41/398.51	c calculated reachability. Time: 0.00
1590.41/398.51	c  N dy  5812   1710835        80      7120         0     85641     49840   1482390     22.95   no data  --
1633.15/409.26	c  N dy  5860   1752350        80      7120         0     71624     49840   1093088     22.92     24.23  --
1667.44/417.86	c  N dy  5911   1782372        80      7120         0     98915     49840   1816436     22.91     24.17  --
1698.18/425.51	c  N dy  6037   1802464        80      7120         0     64664     49840    907366     22.92     26.51  --
1723.33/431.83	c  N dy  6108   1822522        80      7120         0     83010     49840   1402678     22.92     25.66  --
1754.45/439.60	c  N dy  6173   1842560        80      7120         0    101342     49840   1896363     22.92     24.15  --
1783.58/446.99	c  N dy  6228   1865197        80      7120         0     68136     49840    965339     22.91     24.34  --
1816.31/455.11	c  N dy  6300   1892376        80      7120         0     92861     49840   1628440     22.91     24.29  --
1849.82/463.52	c  N dy  6401   1912876        80      7120         0     56909     49840    654708     22.92     24.13  --
1872.58/469.20	c  N dy  6520   1932905        80      7120         0     75176     49840   1153806     22.93     25.02  --
1901.36/476.46	c  N dy  6616   1953533        80      7120         0     94038     49840   1666725     22.94     24.19  --
1933.24/484.40	c  N dy  6696   1973573        80      7120         0     56702     49840    634413     22.94     25.55  --
1950.81/488.87	c  N dy  6780   1993620        80      7120         0     75046     49840   1131144     22.95     25.40  --
1975.99/495.18	c  N dy  6889   2013711        80      7120         0     93445     49840   1632013     22.96     25.76  --
2006.31/502.73	c  N dy  6978   2034138        80      7120         0    112205     49840   2143214     22.96     24.19  --
2027.44/508.06	c  N dy  7105   2054240        80      7120         0     73913     49840   1087087     22.97     24.20  --
2052.58/514.38	c  N dy  7245   2074242        80      7120         0     92300     49840   1593140     22.99     25.72  --
2078.12/520.78	c  N dy  7287   2094301        80      7120         0    110581     49840   2081041     22.99     25.37  --
2104.46/527.33	c  N dy  7398   2114865        80      7120         0     71763     49840   1012165     23.00     24.27  --
2126.02/532.76	c  N dy  7450   2135501        80      7120         0     90557     49840   1513280     22.99     24.23  --
2149.97/538.76	c  N dy  7493   2155592        80      7120         0    108747     49840   1998351     22.99     27.18  --
2173.14/544.60	c  N dy  7525   2178570        80      7120         0     71269     49840    972969     22.98     24.21  --
2204.64/552.46	c  N dy  7578   2210136        80      7120         0     99893     49840   1733301     22.97     24.28  --
2205.83/552.72	c  S st  7582   2210835        80      7120         0    100548     49840   1751256     22.97   no data  --
2207.03/553.02	c  S st  7582   2211339        80      7120         0    101025     49840   1764555     22.97   no data  --
2207.03/553.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2207.03/553.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2207.03/553.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2207.43/553.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2207.43/553.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2207.43/553.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2207.43/553.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2342.73/587.08	c lits-rem:      4473  cl-subs:    10400  v-elim:      0  v-fix:    0  time: 135.47 s
2342.73/587.08	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2343.13/587.10	c vivif2 --  cl tried    90625 cl shrink        0 lits rem          0 time: 0.07
2344.34/587.44	c asymm  cl-useful: 0/658/7120 lits-rem:0 time: 1.34
2344.34/587.44	c calculated reachability. Time: 0.00
2344.34/587.44	c  N dy  7582   2211339        80      7120         0     90625     49840   1491181     22.97   no data  --
2376.25/595.49	c  N dy  7737   2231402        80      7120         0    109068     49840   2000563     22.98     24.89  --
2406.57/603.01	c  N dy  7767   2261450        80      7120         0     77425     49840   1121719     22.96     24.17  --
2441.33/611.72	c  N dy  7813   2290677        80      7120         0    103948     49840   1828607     22.95     24.24  --
2474.42/620.08	c  N dy  7881   2311627        80      7120         0     63255     49840    741154     22.95     24.28  --
2494.02/624.95	c  N dy  7956   2331776        80      7120         0     81646     49840   1237787     22.96     24.17  --
2521.12/631.77	c  N dy  8039   2353433        80      7120         0    101422     49840   1771077     22.96     24.28  --
2561.03/641.79	c  N dy  8108   2376215        80      7120         0     61297     49840    668958     22.96     24.24  --
2588.56/648.62	c  N dy  8189   2400820        80      7120         0     83689     49840   1270521     22.96     24.32  --
2619.70/656.45	c  N dy  8275   2420889        80      7120         0    102057     49840   1766226     22.96     24.69  --
2660.82/666.78	c  N dy  8408   2440978        80      7120         0    120506     49840   2273150     22.97     24.20  --
2691.92/674.51	c  N dy  8492   2463589        80      7120         0     79091     49840   1134418     22.98     24.19  --
2722.29/682.16	c  N dy  8580   2485936        80      7120         0     99505     49840   1686454     22.98     24.22  --
2762.15/692.15	c  N dy  8664   2508023        80      7120         0    119714     49840   2234628     22.99     24.20  --
2790.50/699.27	c  N dy  8738   2528099        80      7120         0     75069     49840   1008168     22.99     24.22  --
2821.63/707.04	c  N dy  8809   2549195        80      7120         0     94225     49840   1526172     22.99     24.32  --
2862.77/717.32	c  N dy  8932   2569205        80      7120         0    112524     49840   2026729     23.00     25.84  --
2898.65/726.39	c  N dy  9012   2589222        80      7120         0     66925     49840    775439     23.00     25.84  --
2948.55/738.85	c  N dy  9070   2631086        80      7120         0    104819     49840   1780403     22.99     24.21  --
2989.25/749.08	c  N dy  9183   2651245        80      7120         0    123297     49840   2286159     23.00     24.22  --
3023.18/757.50	c  N dy  9237   2679586        80      7120         0     84452     49840   1232756     22.99     24.28  --
3049.53/764.15	c  N dy  9315   2700103        80      7120         0    103213     49840   1741864     22.99     24.21  --
3067.48/768.61	c  S st  9371   2711340        80      7120         0    113490     49840   2020227     23.00     23.82  --
3068.70/768.96	c  S st  9371   2711848        80      7120         0    113964     49840   2033575     23.00   no data  --
3068.70/768.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3068.70/768.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3069.11/769.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3069.11/769.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3069.11/769.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3069.11/769.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3069.11/769.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3598.26/901.66	c lits-rem:      7002  cl-subs:    10242  v-elim:      0  v-fix:    0  time: 528.95 s
3598.26/901.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3598.26/901.68	c vivif2 --  cl tried   103722 cl shrink        0 lits rem          0 time: 0.09
3599.88/902.04	c asymm  cl-useful: 0/543/7120 lits-rem:0 time: 1.45
3599.88/902.05	c calculated reachability. Time: 0.00
3599.88/902.05	c  N dy  9371   2711848        80      7120         0    103722     49840   1744983     23.00   no data  --
3638.98/911.84	c  N dy  9425   2737900        80      7120         0    127352     49840   2373486     22.99     24.31  --
3662.11/917.67	c  N dy  9488   2757941        80      7120         0     80481     49840   1116231     23.00     25.50  --
3687.69/924.08	c  N dy  9576   2777944        80      7120         0     98783     49840   1614929     23.00     24.37  --
3749.15/939.45	c  N dy  9632   2814775        80      7120         0    132151     49840   2504228     22.99     24.26  --
3779.88/947.18	c  N dy  9694   2835051        80      7120         0     84345     49840   1200296     22.99     24.20  --
3840.92/962.43	c  N dy  9795   2872699        80      7120         0    118484     49840   2111631     22.98     24.26  --
3891.59/975.17	c  N dy  9923   2892700        80      7120         0     69595     49840    788790     22.98     24.22  --
3921.53/982.69	c  N dy 10024   2913167        80      7120         0     88375     49840   1300373     22.99     24.29  --
3957.84/991.70	c  N dy 10112   2933169        80      7120         0    106597     49840   1795285     22.99     24.75  --
3989.78/999.73	c  N dy 10125   2953341        80      7120         0    124903     49840   2286849     22.99     24.25  --
4038.46/1011.95	c  N dy 10198   2980337        80      7120         0     81198     49840   1080417     22.99     24.25  --
4074.77/1021.03	c  N dy 10323   3000425        80      7120         0     99681     49840   1588838     23.00     25.57  --
4123.46/1033.29	c  N dy 10398   3026201        80      7120         0    123110     49840   2220268     22.99     24.22  --
4186.12/1048.96	c  N dy 10498   3049241        80      7120         0     74818     49840    894510     23.00     24.33  --
4222.84/1058.17	c  N dy 10558   3072565        80      7120         0     96095     49840   1467773     23.00     24.23  --
4269.14/1069.74	c  N dy 10655   3094131        80      7120         0    115905     49840   2012201     23.00     24.23  --
4323.41/1083.30	c  N dy 10754   3114189        80      7120         0    134235     49840   2510819     23.01     26.58  --
4365.70/1093.95	c  N dy 10854   3134750        80      7120         0     82828     49840   1099217     23.01     24.24  --
4399.62/1102.47	c  N dy 10923   3155526        80      7120         0    101811     49840   1611788     23.02     24.38  --
4445.13/1113.85	c  N dy 10969   3180517        80      7120         0    124534     49840   2221491     23.01     24.41  --
4482.67/1123.23	c  N dy 10975   3201007        80      7120         0     71981     49840    788598     23.00     24.23  --
4499.41/1127.40	c  S st 11034   3211850        80      7120         0     81895     49840   1058802     23.01     22.25  --
4500.60/1127.70	c  S st 11034   3212353        80      7120         0     82362     49840   1071763     23.01   no data  --
4500.60/1127.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4500.60/1127.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4500.60/1127.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
4501.00/1127.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.00/1127.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.00/1127.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4501.00/1127.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4604.77/1153.90	c lits-rem:      1282  cl-subs:     2210  v-elim:      0  v-fix:    0  time: 104.15 s
4604.77/1153.90	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4605.18/1153.91	c vivif2 --  cl tried    80152 cl shrink        0 lits rem          0 time: 0.04
4606.36/1154.24	c asymm  cl-useful: 0/673/7120 lits-rem:0 time: 1.30
4606.36/1154.24	c calculated reachability. Time: 0.00
4606.36/1154.24	c  N dy 11034   3212353        80      7120         0     80152     49840   1007183     23.01   no data  --
4629.50/1160.07	c  N dy 11107   3232425        80      7120         0     98450     49840   1500990     23.01     25.81  --
4659.83/1167.61	c  N dy 11167   3253820        80      7120         0    117972     49840   2027460     23.01     24.25  --
4696.16/1176.71	c  N dy 11246   3273899        80      7120         0    136388     49840   2529591     23.01     24.90  --
4728.52/1184.85	c  N dy 11327   3293993        80      7120         0     82689     49840   1062026     23.01     24.40  --
4756.42/1191.87	c  N dy 11387   3318035        80      7120         0    104506     49840   1652450     23.01     24.23  --
4791.94/1200.71	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368925-1305406194/watcher-3368925-1305406194 -o /tmp/evaluation-result-3368925-1305406194/solver-3368925-1305406194 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368925-1305406194.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: 3.19 4.44 6.10 2/274 19085
/proc/meminfo: memFree=25084628/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=208036 CPUtime=0.01 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 912 0 0 0 1 0 0 0 24 0 4 0 633034730 213028864 821 33554432000 4194304 4650419 140734586432368 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 52009 822 343 112 0 46974 0
[pid=19085/tid=19086] ppid=19083 vsize=208172 CPUtime=0 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 67 0 0 0 0 0 0 0 25 0 4 0 633034730 213168128 1091 33554432000 4194304 4650419 140734586432368 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=208172 CPUtime=0 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 230 0 0 0 0 0 0 0 25 0 4 0 633034730 213168128 1091 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=208172 CPUtime=0 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 238 0 0 0 0 0 0 0 25 0 4 0 633034730 213168128 1091 33554432000 4194304 4650419 140734586432368 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.110845 s]
/proc/loadavg: 3.19 4.44 6.10 2/274 19085
/proc/meminfo: memFree=25084628/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=216508 CPUtime=0.41 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 1553 0 0 0 41 0 0 0 24 0 4 0 633034730 221704192 1462 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 54127 1462 366 112 0 49092 0
[pid=19085/tid=19086] ppid=19083 vsize=216508 CPUtime=0.09 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 234 0 0 0 9 0 0 0 25 0 4 0 633034730 221704192 1462 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=216508 CPUtime=0.1 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 247 0 0 0 10 0 0 0 25 0 4 0 633034730 221704192 1462 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=216508 CPUtime=0.1 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 401 0 0 0 10 0 0 0 25 0 4 0 633034730 221704192 1462 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 216508

[startup+0.200831 s]
/proc/loadavg: 3.19 4.44 6.10 2/274 19085
/proc/meminfo: memFree=25084628/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=220384 CPUtime=0.77 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 3552 0 0 0 77 0 0 0 25 0 4 0 633034730 225673216 2919 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 55096 2919 390 112 0 50061 0
[pid=19085/tid=19086] ppid=19083 vsize=220384 CPUtime=0.18 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 767 0 0 0 18 0 0 0 25 0 4 0 633034730 225673216 2919 33554432000 4194304 4650419 140734586432368 18446744073709551615 4312802 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=220384 CPUtime=0.19 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 851 0 0 0 19 0 0 0 25 0 4 0 633034730 225673216 2919 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=220384 CPUtime=0.19 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 700 0 0 0 19 0 0 0 25 0 4 0 633034730 225673216 2919 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 220384

[startup+0.300812 s]
/proc/loadavg: 3.19 4.44 6.10 2/274 19085
/proc/meminfo: memFree=25084628/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=220384 CPUtime=1.18 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 3897 0 0 0 117 1 0 0 25 0 4 0 633034730 225673216 3264 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 55096 3264 390 112 0 50061 0
[pid=19085/tid=19086] ppid=19083 vsize=220384 CPUtime=0.28 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 860 0 0 0 28 0 0 0 25 0 4 0 633034730 225673216 3265 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=220384 CPUtime=0.29 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 944 0 0 0 29 0 0 0 25 0 4 0 633034730 225673216 3265 33554432000 4194304 4650419 140734586432368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=220384 CPUtime=0.29 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 766 0 0 0 29 0 0 0 25 0 4 0 633034730 225673216 3265 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 220384

[startup+0.700741 s]
/proc/loadavg: 3.19 4.44 6.10 2/274 19085
/proc/meminfo: memFree=25084628/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=221872 CPUtime=2.77 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 6255 0 0 0 276 1 0 0 25 0 4 0 633034730 227196928 3842 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 55468 3844 390 112 0 50433 0
[pid=19085/tid=19086] ppid=19083 vsize=221872 CPUtime=0.68 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 1579 0 0 0 68 0 0 0 25 0 4 0 633034730 227196928 3844 33554432000 4194304 4650419 140734586432368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=221872 CPUtime=0.69 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 1533 0 0 0 69 0 0 0 25 0 4 0 633034730 227196928 3844 33554432000 4194304 4650419 140734586432368 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=221872 CPUtime=0.69 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 1186 0 0 0 69 0 0 0 25 0 4 0 633034730 227196928 3844 33554432000 4194304 4650419 140734586432368 18446744073709551615 254261313291 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 221872

[startup+1.5006 s]
/proc/loadavg: 3.19 4.44 6.10 9/286 19097
/proc/meminfo: memFree=25055276/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=223312 CPUtime=5.97 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 10128 0 0 0 595 2 0 0 25 0 4 0 633034730 228671488 4702 33554432000 4194304 4650419 140734586432368 18446744073709551615 4426561 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 55828 4702 392 112 0 50793 0
[pid=19085/tid=19086] ppid=19083 vsize=223312 CPUtime=1.47 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 2511 0 0 0 147 0 0 0 25 0 4 0 633034730 228671488 4702 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=223312 CPUtime=1.49 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 2482 0 0 0 149 0 0 0 25 0 4 0 633034730 228671488 4702 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=223312 CPUtime=1.49 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 2193 0 0 0 149 0 0 0 25 0 4 0 633034730 228671488 4702 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 223312

[startup+3.10032 s]
/proc/loadavg: 3.19 4.44 6.10 9/286 19097
/proc/meminfo: memFree=25023788/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=233004 CPUtime=12.35 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 19514 0 0 0 1232 3 0 0 25 0 4 0 633034730 238596096 11601 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 58251 11601 392 112 0 53216 0
[pid=19085/tid=19086] ppid=19083 vsize=233004 CPUtime=3.07 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 4179 0 0 0 306 1 0 0 25 0 4 0 633034730 238596096 11601 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=233004 CPUtime=3.08 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 5282 0 0 0 308 0 0 0 25 0 4 0 633034730 238596096 11601 33554432000 4194304 4650419 140734586432368 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=233004 CPUtime=3.09 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 5368 0 0 0 308 1 0 0 25 0 4 0 633034730 238596096 11601 33554432000 4194304 4650419 140734586432368 18446744073709551615 4370668 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 233004

[startup+6.30074 s]
/proc/loadavg: 3.57 4.50 6.11 9/286 19097
/proc/meminfo: memFree=24981256/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=241968 CPUtime=25.12 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 27883 0 0 0 2507 5 0 0 25 0 4 0 633034730 247775232 15004 33554432000 4194304 4650419 140734586432368 18446744073709551615 4339796 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 60492 15004 392 112 0 55457 0
[pid=19085/tid=19086] ppid=19083 vsize=241968 CPUtime=6.23 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 7169 0 0 0 622 1 0 0 25 0 4 0 633034730 247775232 15004 33554432000 4194304 4650419 140734586432368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=241968 CPUtime=6.29 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 6712 0 0 0 628 1 0 0 25 0 4 0 633034730 247775232 15004 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=241968 CPUtime=6.28 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 7453 0 0 0 627 1 0 0 25 0 4 0 633034730 247775232 15004 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 241968

[startup+12.7006 s]
/proc/loadavg: 3.93 4.56 6.12 9/286 19097
/proc/meminfo: memFree=24933296/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=251876 CPUtime=50.65 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 39423 0 0 0 5058 7 0 0 25 0 4 0 633034730 257921024 21584 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 62969 21584 392 112 0 57934 0
[pid=19085/tid=19086] ppid=19083 vsize=251876 CPUtime=12.58 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 10549 0 0 0 1256 2 0 0 25 0 4 0 633034730 257921024 21584 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=251876 CPUtime=12.68 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 8776 0 0 0 1267 1 0 0 25 0 4 0 633034730 257921024 21584 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=251876 CPUtime=12.68 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 10932 0 0 0 1266 2 0 0 25 0 4 0 633034730 257921024 21584 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 251876

[startup+25.5003 s]
/proc/loadavg: 4.97 4.76 6.16 9/286 19098
/proc/meminfo: memFree=24905196/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=234916 CPUtime=101.75 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 63071 0 0 0 10162 13 0 0 25 0 4 0 633034730 240553984 23967 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 58729 23967 392 112 0 53694 0
[pid=19085/tid=19086] ppid=19083 vsize=234916 CPUtime=25.27 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 16835 0 0 0 2524 3 0 0 25 0 4 0 633034730 240553984 23967 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=234916 CPUtime=25.48 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 14508 0 0 0 2546 2 0 0 25 0 4 0 633034730 240553984 23967 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=234916 CPUtime=25.48 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 17047 0 0 0 2544 4 0 0 25 0 4 0 633034730 240553984 23967 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 234916

[startup+51.1007 s]
/proc/loadavg: 6.01 5.02 6.21 9/286 19098
/proc/meminfo: memFree=24855904/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=242620 CPUtime=203.93 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 94953 0 0 0 20372 21 0 0 25 0 4 0 633034730 248442880 30732 33554432000 4194304 4650419 140734586432368 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 60655 30732 392 112 0 55620 0
[pid=19085/tid=19086] ppid=19083 vsize=242620 CPUtime=50.66 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 25126 0 0 0 5060 6 0 0 25 0 4 0 633034730 248442880 30732 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=242620 CPUtime=51.08 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 23692 0 0 0 5104 4 0 0 25 0 4 0 633034730 248442880 30732 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=242620 CPUtime=51.08 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 25557 0 0 0 5102 6 0 0 25 0 4 0 633034730 248442880 30732 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 242620

[startup+102.301 s]
/proc/loadavg: 7.19 5.49 6.30 9/286 19100
/proc/meminfo: memFree=24790176/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=297340 CPUtime=408.31 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 142326 0 0 0 40796 35 0 0 25 0 4 0 633034730 304476160 41717 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 74335 41717 392 112 0 69300 0
[pid=19085/tid=19086] ppid=19083 vsize=297340 CPUtime=101.42 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 37484 0 0 0 10133 9 0 0 25 0 4 0 633034730 304476160 41717 33554432000 4194304 4650419 140734586432368 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=297340 CPUtime=102.29 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 37525 0 0 0 10220 9 0 0 25 0 4 0 633034730 304476160 41717 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=297340 CPUtime=102.29 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 36644 0 0 0 10220 9 0 0 25 0 4 0 633034730 304476160 41717 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 297340

[startup+162.301 s]

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

[pid=19085] ppid=19083 vsize=426072 CPUtime=2802.87 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 412765 0 0 0 280147 140 0 0 25 0 4 0 633034730 436297728 76373 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 106518 76373 392 112 0 101483 0
[pid=19085/tid=19086] ppid=19083 vsize=426072 CPUtime=696.06 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 91342 0 0 0 69580 26 0 0 25 0 4 0 633034730 436297728 76373 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=426072 CPUtime=702.2 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 106678 0 0 0 70181 39 0 0 25 0 4 0 633034730 436297728 76373 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=426072 CPUtime=702.28 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 110104 0 0 0 70189 39 0 0 25 0 4 0 633034730 436297728 76373 33554432000 4194304 4650419 140734586432368 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.87
Current children cumulated vsize (KiB) 426072

[startup+762.3 s]
/proc/loadavg: 8.11 7.78 7.18 10/286 19126
/proc/meminfo: memFree=24415192/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=451632 CPUtime=3042.36 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 427855 0 0 0 304088 148 0 0 25 0 4 0 633034730 462471168 82346 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 112908 82346 392 112 0 107873 0
[pid=19085/tid=19086] ppid=19083 vsize=451632 CPUtime=755.54 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 92287 0 0 0 75527 27 0 0 25 0 4 0 633034730 462471168 82346 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=451632 CPUtime=762.2 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 112836 0 0 0 76179 41 0 0 25 0 4 0 633034730 462471168 82346 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=451632 CPUtime=762.3 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 113938 0 0 0 76188 42 0 0 25 0 4 0 633034730 462471168 82346 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.36
Current children cumulated vsize (KiB) 451632

[startup+822.301 s]
/proc/loadavg: 8.10 7.83 7.23 9/286 19128
/proc/meminfo: memFree=24385668/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=429372 CPUtime=3281.8 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 442128 0 0 0 328028 152 0 0 25 0 4 0 633034730 439676928 79104 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 107343 79104 392 112 0 102308 0
[pid=19085/tid=19086] ppid=19083 vsize=429372 CPUtime=815 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 93744 0 0 0 81472 28 0 0 25 0 4 0 633034730 439676928 79104 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=429372 CPUtime=822.19 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 113461 0 0 0 82178 41 0 0 25 0 4 0 633034730 439676928 79104 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=429372 CPUtime=822.29 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 119568 0 0 0 82185 44 0 0 25 0 4 0 633034730 439676928 79104 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.8
Current children cumulated vsize (KiB) 429372

[startup+882.311 s]
/proc/loadavg: 8.10 7.87 7.28 9/286 19129
/proc/meminfo: memFree=24389004/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=442500 CPUtime=3521.27 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 466509 0 0 0 351970 157 0 0 25 0 4 0 633034730 453120000 81651 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 110625 81651 392 112 0 105590 0
[pid=19085/tid=19086] ppid=19083 vsize=442500 CPUtime=874.46 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 94602 0 0 0 87418 28 0 0 25 0 4 0 633034730 453120000 81651 33554432000 4194304 4650419 140734586432368 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=442500 CPUtime=882.19 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 115751 0 0 0 88177 42 0 0 25 0 4 0 633034730 453120000 81651 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=442500 CPUtime=882.3 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 125646 0 0 0 88184 46 0 0 25 0 4 0 633034730 453120000 81651 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.27
Current children cumulated vsize (KiB) 442500

[startup+942.301 s]
/proc/loadavg: 8.09 7.91 7.33 10/286 19131
/proc/meminfo: memFree=24379816/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=494872 CPUtime=3760.7 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 494588 0 0 0 375904 166 0 0 25 0 4 0 633034730 506748928 89477 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 123718 89477 392 112 0 118683 0
[pid=19085/tid=19086] ppid=19083 vsize=494872 CPUtime=933.91 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 100051 0 0 0 93361 30 0 0 25 0 4 0 633034730 506748928 89477 33554432000 4194304 4650419 140734586432368 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=494872 CPUtime=942.18 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 121380 0 0 0 94173 45 0 0 25 0 4 0 633034730 506748928 89477 33554432000 4194304 4650419 140734586432368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=494872 CPUtime=942.3 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 133747 0 0 0 94181 49 0 0 25 0 4 0 633034730 506748928 89477 33554432000 4194304 4650419 140734586432368 18446744073709551615 4439318 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.7
Current children cumulated vsize (KiB) 494872

[startup+1002.3 s]
/proc/loadavg: 8.13 7.95 7.38 9/286 19133
/proc/meminfo: memFree=24349036/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=494936 CPUtime=4000.15 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 502224 0 0 0 399844 171 0 0 25 0 4 0 633034730 506814464 89367 33554432000 4194304 4650419 140734586432368 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 123734 89367 392 112 0 118699 0
[pid=19085/tid=19086] ppid=19083 vsize=494936 CPUtime=993.36 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 101452 0 0 0 99306 30 0 0 25 0 4 0 633034730 506814464 89367 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=494936 CPUtime=1002.17 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 125669 0 0 0 100169 48 0 0 25 0 4 0 633034730 506814464 89367 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=494936 CPUtime=1002.3 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 133804 0 0 0 100181 49 0 0 25 0 4 0 633034730 506814464 89367 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4000.15
Current children cumulated vsize (KiB) 494936

[startup+1062.3 s]
/proc/loadavg: 8.13 7.99 7.42 9/286 19134
/proc/meminfo: memFree=24293720/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=501968 CPUtime=4239.6 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 514700 0 0 0 423784 176 0 0 25 0 4 0 633034730 514015232 95096 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 125492 95096 392 112 0 120457 0
[pid=19085/tid=19086] ppid=19083 vsize=501968 CPUtime=1052.82 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 103033 0 0 0 105252 30 0 0 25 0 4 0 633034730 514015232 95096 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=501968 CPUtime=1062.15 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 129832 0 0 0 106166 49 0 0 25 0 4 0 633034730 514015232 95096 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=501968 CPUtime=1062.29 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 135469 0 0 0 106180 49 0 0 25 0 4 0 633034730 514015232 95096 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.6
Current children cumulated vsize (KiB) 501968

[startup+1122.3 s]
/proc/loadavg: 8.08 8.00 7.46 9/286 19136
/proc/meminfo: memFree=24324076/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=558000 CPUtime=4479.05 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 522376 0 0 0 447725 180 0 0 25 0 4 0 633034730 571392000 91352 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 139500 91352 392 112 0 134465 0
[pid=19085/tid=19086] ppid=19083 vsize=558000 CPUtime=1112.28 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 105373 0 0 0 111197 31 0 0 25 0 4 0 633034730 571392000 91352 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=558000 CPUtime=1122.14 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 131818 0 0 0 112164 50 0 0 25 0 4 0 633034730 571392000 91352 33554432000 4194304 4650419 140734586432368 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=558000 CPUtime=1122.3 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 137701 0 0 0 112180 50 0 0 25 0 4 0 633034730 571392000 91352 33554432000 4194304 4650419 140734586432368 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4479.05
Current children cumulated vsize (KiB) 558000

[startup+1182.3 s]
/proc/loadavg: 8.07 8.01 7.50 9/286 19137
/proc/meminfo: memFree=24310424/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=491796 CPUtime=4718.51 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 540051 0 0 0 471664 187 0 0 25 0 4 0 633034730 503599104 97176 33554432000 4194304 4650419 140734586432368 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 122949 97176 392 112 0 117914 0
[pid=19085/tid=19086] ppid=19083 vsize=491796 CPUtime=1171.75 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 109657 0 0 0 117142 33 0 0 25 0 4 0 633034730 503599104 97176 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=491796 CPUtime=1182.14 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 137473 0 0 0 118161 53 0 0 25 0 4 0 633034730 503599104 97176 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=491796 CPUtime=1182.29 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 141125 0 0 0 118177 52 0 0 25 0 4 0 633034730 503599104 97176 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.51
Current children cumulated vsize (KiB) 491796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.05 8.01 7.51 9/286 19138
/proc/meminfo: memFree=24274452/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=557396 CPUtime=4800.33 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 548673 0 0 0 479843 190 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 139349 102448 392 112 0 134314 0
[pid=19085/tid=19086] ppid=19083 vsize=557396 CPUtime=1192.06 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 112163 0 0 0 119172 34 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=557396 CPUtime=1202.65 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 139826 0 0 0 120211 54 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=557396 CPUtime=1202.81 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 143320 0 0 0 120228 53 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 557396

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

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

[startup+1202.8 s]
/proc/loadavg: 8.05 8.01 7.51 9/286 19138
/proc/meminfo: memFree=24274452/32951124 swapFree=67057896/67111528
[pid=19085] ppid=19083 vsize=557396 CPUtime=4800.33 cores=0,2,4,6
/proc/19085/stat : 19085 (strangenight1-m) R 19083 19085 19052 0 -1 4202496 548673 0 0 0 479843 190 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19085/statm: 139349 102448 392 112 0 134314 0
[pid=19085/tid=19086] ppid=19083 vsize=557396 CPUtime=1192.06 cores=0,2,4,6
/proc/19085/task/19086/stat : 19086 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 112163 0 0 0 119172 34 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19085/tid=19087] ppid=19083 vsize=557396 CPUtime=1202.65 cores=0,2,4,6
/proc/19085/task/19087/stat : 19087 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 139826 0 0 0 120211 54 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19085/tid=19088] ppid=19083 vsize=557396 CPUtime=1202.81 cores=0,2,4,6
/proc/19085/task/19088/stat : 19088 (strangenight1-m) R 19083 19085 19052 0 -1 4202560 143320 0 0 0 120228 53 0 0 25 0 4 0 633034730 570773504 102448 33554432000 4194304 4650419 140734586432368 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 557396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.4
CPU user time (s): 4798.47
CPU system time (s): 1.92771
CPU usage (%): 399.09
Max. virtual memory (cumulated for all children) (KiB): 558804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.47
system time used= 1.92771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548676
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= 254
involuntary context switches= 23913

runsolver used 3.20051 second user time and 7.58885 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 22:49:54
IDJOB=3368925
IDBENCH=82934
IDSOLVER=1846
FILE ID=node140/3368925-1305406194
RUNJOBID= node140-1305406194-19070
PBS_JOBID= 13324508
Free space on /tmp= 73488 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368925-1305406194/watcher-3368925-1305406194 -o /tmp/evaluation-result-3368925-1305406194/solver-3368925-1305406194 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368925-1305406194.cnf

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

MD5SUM BENCH= a07a8125427a6bd5de5db67d31fcc46b
RANDOM SEED=552529672

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      25084916 kB
Buffers:        297464 kB
Cached:        3728132 kB
SwapCached:       8056 kB
Active:        4876792 kB
Inactive:      2677936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25084916 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:     3525680 kB
Mapped:          22392 kB
Slab:           224624 kB
PageTables:      22368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45561272 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= 73476 MiB
End job on node140 at 2011-05-14 23:09:59