Trace number 3175384

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf
MD5SUMea8a8c80a9c6e1328d7a171765d2b8ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099984
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175384-1304121952.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.00/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.00/0.76	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.76	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.76	c calculated reachability. Time: 0.00
0.00/0.76	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      32
0.00/0.76	c =========================================================================================
0.00/0.76	c types(t): F = full restart, N = normal restart
0.00/0.76	c types(t): S = simplification begin/end, E = solution found
0.00/0.76	c restart types(rt): st = static, dy = dynamic
0.00/0.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.76	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.76	c  N dy     8      4018        60      5340         0      3558     37380     76228     17.47     20.15  --
0.00/0.76	c  N dy    21      8984        60      5340         0      5772     37380    115481     17.56     18.51  --
0.00/0.76	c  N dy    54     13052        60      5340         0      5624     37380    106450     18.23     20.37  --
0.00/0.80	c  N dy    64     17118        60      5340         0      9209     37380    181502     18.14     19.26  --
3.61/1.00	c  N dy    83     21132        60      5340         0      7763     37380    142896     18.27     19.38  --
4.01/1.10	c  F st    97     25000        60      5340         0     11219     37380    217281     18.33     19.17  --
4.41/1.20	c  N st    98     25250        60      5340         0     11440     37380    222042     18.33   no data  --
5.58/1.40	c  N dy   103     30001        60      5340         0      9626     37380    173121     18.33   no data  --
5.58/1.40	c  S st   103     30001        60      5340         0      9626     37380    173121     18.33   no data  --
5.58/1.40	c  S st   103     30504        60      5340         0     10091     37380    183415     18.33   no data  --
5.58/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.58/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.58/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.58/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.58/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.58/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.58/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.30	c lits-rem:      1372  cl-subs:     1010  v-elim:      0  v-fix:    0  time:  3.78 s
9.96/2.56	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.96/2.56	c calculated reachability. Time: 0.00
9.96/2.56	c  N dy   103     30504        60      5340         0      9081     37380    160864     18.33   no data  --
10.76/2.75	c  N dy   107     34524        60      5340         0     12664     37380    235728     18.18     20.16  --
12.37/3.15	c  N dy   131     42842        60      5340         0     13090     37380    236398     18.17     19.29  --
13.17/3.31	c  S st   136     45756        60      5340         0     15677     37380    291029     18.14     17.24  --
13.17/3.36	c  S st   136     46258        60      5340         0      8192     37380    124580     18.14   no data  --
13.17/3.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.17/3.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.17/3.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.17/3.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.17/3.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.17/3.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.17/3.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.97/4.10	c lits-rem:       149  cl-subs:       35  v-elim:      0  v-fix:    0  time:  2.89 s
15.97/4.10	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.97/4.10	c vivif2 --  cl tried     8157 cl shrink        0 lits rem          0 time: 0.00
17.15/4.32	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.88
17.15/4.32	c calculated reachability. Time: 0.00
17.15/4.32	c  N dy   136     46258        60      5340         0      8157     37380    123544     18.14   no data  --
18.36/4.63	c  N dy   154     52410        60      5340         0     13581     37380    237270     18.10     19.08  --
19.56/4.93	c  N dy   161     57531        60      5340         0      9271     37380    136709     18.05     19.22  --
21.15/5.37	c  N dy   179     66067        60      5340         0     16842     37380    295467     17.98     19.09  --
21.95/5.58	c  S st   182     69387        60      5340         0     10043     37380    145190     17.90     15.11  --
22.35/5.61	c  S st   182     69890        60      5340         0     10497     37380    154962     17.90   no data  --
22.35/5.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.35/5.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.35/5.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.35/5.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.35/5.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.35/5.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.35/5.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.43	c lits-rem:       256  cl-subs:      182  v-elim:      0  v-fix:    0  time:  3.25 s
25.54/6.43	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.54/6.43	c vivif2 --  cl tried    10315 cl shrink        0 lits rem          0 time: 0.01
26.74/6.70	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.08
26.74/6.70	c calculated reachability. Time: 0.00
26.74/6.70	c  N dy   182     69890        60      5340         0     10315     37380    151072     17.90   no data  --
27.94/7.02	c  N dy   191     75990        60      5340         0     15685     37380    261523     17.85     18.83  --
30.74/7.71	c  F st   200     87502        60      5340         0     15218     37380    239679     17.70     16.51  --
30.74/7.71	c  N st   200     87502        60      5340         0     15218     37380    239679     17.70     16.51  --
31.94/8.06	c  N dy   209     93153        60      5340         0     20197     37380    345560     17.71     19.54  --
33.95/8.58	c  N dy   261     99145        60      5340         0     14106     37380    213578     17.83     20.53  --
35.53/8.97	c  S st   290    104836        60      5340         0     19190     37380    319991     17.85     16.67  --
35.93/9.02	c  S st   290    105337        60      5340         0     19648     37380    330152     17.85   no data  --
35.93/9.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.93/9.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.93/9.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.93/9.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.93/9.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.93/9.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
35.93/9.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.34/10.63	c lits-rem:      1839  cl-subs:     1894  v-elim:      0  v-fix:    0  time:  6.35 s
42.34/10.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.34/10.64	c vivif2 --  cl tried    17754 cl shrink        0 lits rem          0 time: 0.01
43.93/11.00	c asymm  cl-useful: 0/4417/5340 lits-rem:0 time: 1.44
43.93/11.00	c calculated reachability. Time: 0.00
43.93/11.00	c  N dy   290    105337        60      5340         0     17754     37380    287871     17.85   no data  --
46.74/11.74	c  N dy   317    114972        60      5340         0     13979     37380    197726     17.82     18.78  --
49.52/12.43	c  N dy   339    125189        60      5340         0     23041     37380    386471     17.79     18.75  --
52.70/13.22	c  N dy   370    135122        60      5340         0     18586     37380    283794     17.80     18.78  --
55.53/13.91	c  N dy   411    143809        60      5340         0     26309     37380    449892     17.84     19.43  --
58.31/14.64	c  N dy   446    153094        60      5340         0     20356     37380    311154     17.85     18.88  --
59.92/15.04	c  S st   466    158007        60      5340         0     24712     37380    404282     17.87     17.63  --
60.32/15.11	c  S st   466    158508        60      5340         0     25163     37380    414306     17.87   no data  --
60.32/15.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.32/15.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.32/15.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.32/15.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.32/15.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.32/15.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.32/15.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.89/17.04	c lits-rem:      2027  cl-subs:     2815  v-elim:      0  v-fix:    0  time:  7.65 s
67.89/17.04	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.89/17.05	c vivif2 --  cl tried    22348 cl shrink        0 lits rem          0 time: 0.02
68.29/17.16	c asymm  cl-useful: 0/923/5340 lits-rem:0 time: 0.43
68.29/17.16	c calculated reachability. Time: 0.00
68.29/17.16	c  N dy   466    158508        60      5340         0     22348     37380    354766     17.87   no data  --
72.68/18.21	c  N dy   501    170047        60      5340         0     17681     37380    246456     17.88     18.91  --
78.68/19.78	c  N dy   587    186530        60      5340         0     16461     37380    211639     17.94     18.89  --
82.67/20.71	c  N dy   624    198801        60      5340         0     27416     37380    444332     17.94     19.03  --
87.86/22.07	c  N dy   693    211615        60      5340         0     21968     37380    321184     17.99     18.99  --
93.86/23.56	c  N dy   745    226407        60      5340         0     35115     37380    600820     18.01     19.02  --
97.85/24.59	c  S st   792    237763        60      5340         0     27462     37380    426374     18.03   no data  --
98.25/24.66	c  S st   792    238268        60      5340         0     27918     37380    436490     18.03   no data  --
98.25/24.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.25/24.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.25/24.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.25/24.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.25/24.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.25/24.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.25/24.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.04/26.81	c lits-rem:      2374  cl-subs:     2491  v-elim:      0  v-fix:    0  time:  8.52 s
107.04/26.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.04/26.82	c vivif2 --  cl tried    25427 cl shrink        0 lits rem          0 time: 0.02
108.66/27.20	c asymm  cl-useful: 0/3336/5340 lits-rem:0 time: 1.53
108.66/27.20	c calculated reachability. Time: 0.00
108.66/27.20	c  N dy   792    238268        60      5340         0     25427     37380    381422     18.03   no data  --
118.22/29.60	c  N dy   830    264958        60      5340         0     30404     37380    462360     17.90     18.93  --
125.42/31.42	c  N dy   918    281949        60      5340         0     26151     37380    377832     17.94     19.35  --
133.41/33.43	c  N dy   979    299955        60      5340         0     21715     37380    269982     17.94     19.14  --
135.80/34.01	c  F st  1014    306250        60      5340         0     27326     37380    390903     17.96     16.15  --
141.00/35.35	c  N dy  1053    319159        60      5340         0     38742     37380    634488     17.97     19.82  --
150.18/37.69	c  N dy  1158    339347        60      5340         0     35524     37380    559779     18.02     18.97  --
158.17/39.69	c  S st  1207    357404        60      5340         0     29312     37380    413144     18.01     17.21  --
158.57/39.76	c  S st  1207    357904        60      5340         0     29768     37380    423178     18.01   no data  --
158.57/39.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
158.57/39.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.57/39.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
158.57/39.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.57/39.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.57/39.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
158.57/39.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
167.36/41.96	c lits-rem:      1670  cl-subs:     1910  v-elim:      0  v-fix:    0  time:  8.66 s
167.36/41.96	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
167.36/41.96	c vivif2 --  cl tried    27858 cl shrink        0 lits rem          0 time: 0.02
168.56/42.25	c asymm  cl-useful: 0/2004/5340 lits-rem:0 time: 1.14
168.56/42.25	c calculated reachability. Time: 0.00
168.56/42.25	c  N dy  1207    357904        60      5340         0     27858     37380    382287     18.01   no data  --
181.74/45.54	c  N dy  1297    377913        60      5340         0     45621     37380    757288     18.02     19.88  --
191.74/48.08	c  N dy  1352    399543        60      5340         0     41747     37380    663284     18.00     19.01  --
201.31/50.45	c  N dy  1398    419716        60      5340         0     35742     37380    523718     17.99     18.98  --
213.72/53.56	c  N dy  1458    444618        60      5340         0     32907     37380    447255     17.94     18.92  --
225.28/56.49	c  N dy  1536    465098        60      5340         0     51051     37380    833127     17.96     18.93  --
238.46/59.75	c  N dy  1615    491275        60      5340         0     48562     37380    773563     17.94     18.90  --
249.65/62.51	c  N dy  1720    511287        60      5340         0     39807     37380    585133     17.97     19.95  --
261.64/65.58	c  N dy  1782    532266        60      5340         0     30958     37380    385002     17.96     18.92  --
264.03/66.10	c  S st  1804    536858        60      5340         0     35019     37380    471970     17.97     17.94  --
264.03/66.18	c  S st  1804    537362        60      5340         0     35469     37380    482000     17.97   no data  --
264.03/66.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
264.03/66.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
264.43/66.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
264.43/66.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
264.43/66.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.43/66.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
264.43/66.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
273.22/68.41	c lits-rem:       965  cl-subs:     1969  v-elim:      0  v-fix:    0  time:  8.77 s
273.22/68.41	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
273.22/68.41	c vivif2 --  cl tried    33500 cl shrink        0 lits rem          0 time: 0.02
274.42/68.79	c asymm  cl-useful: 0/2728/5340 lits-rem:0 time: 1.49
274.42/68.79	c calculated reachability. Time: 0.00
274.42/68.79	c  N dy  1804    537362        60      5340         0     33500     37380    439722     17.97   no data  --
288.82/72.32	c  N dy  1901    561234        60      5340         0     54733     37380    891450     17.97     18.94  --
299.99/75.12	c  N dy  1994    581307        60      5340         0     44262     37380    660030     17.99     20.38  --
313.97/78.66	c  N dy  2119    601320        60      5340         0     32854     37380    407385     18.02     19.04  --
325.15/81.43	c  N dy  2200    621373        60      5340         0     50641     37380    786217     18.03     19.95  --
340.74/85.31	c  N dy  2319    644509        60      5340         0     41056     37380    571065     18.06     19.06  --
355.91/89.10	c  N dy  2414    665469        60      5340         0     59704     37380    971173     18.07     19.07  --
369.89/92.66	c  N dy  2498    686345        60      5340         0     47047     37380    686205     18.08     19.10  --
386.26/96.72	c  N dy  2569    709389        60      5340         0     35537     37380    431040     18.08     19.06  --
400.25/100.28	c  N dy  2690    729470        60      5340         0     53382     37380    816963     18.10     20.48  --
415.03/103.98	c  N dy  2765    749480        60      5340         0     38299     37380    481097     18.10     19.57  --
428.21/107.23	c  N dy  2826    769870        60      5340         0     56267     37380    857786     18.10     19.25  --
449.78/112.67	c  N dy  2852    806044        60      5340         0     54371     37380    783866     18.01     15.91  --
449.78/112.67	c  S st  2852    806044        60      5340         0     54371     37380    783866     18.01     15.91  --
450.58/112.83	c  S st  2852    806544        60      5340         0     54822     37380    793901     18.01   no data  --
450.58/112.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
450.58/112.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.58/112.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
450.58/112.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
450.58/112.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.58/112.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
450.58/112.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
484.14/121.20	c lits-rem:      2666  cl-subs:     7781  v-elim:      0  v-fix:    0  time: 33.22 s
484.14/121.20	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
484.14/121.21	c vivif2 --  cl tried    47041 cl shrink        0 lits rem          0 time: 0.04
485.34/121.52	c asymm  cl-useful: 0/851/5340 lits-rem:0 time: 1.25
485.34/121.52	c calculated reachability. Time: 0.00
485.34/121.52	c  N dy  2852    806544        60      5340         0     47041     37380    651777     18.01   no data  --
502.52/125.89	c  N dy  2962    826662        60      5340         0     64937     37380   1036829     18.03     19.03  --
516.50/129.32	c  N dy  3017    847527        60      5340         0     49384     37380    694469     18.02     19.01  --
533.68/133.63	c  N dy  3112    868840        60      5340         0     68174     37380   1096807     18.03     19.00  --
548.07/137.29	c  N dy  3195    891283        60      5340         0     52909     37380    761991     18.04     19.05  --
567.63/142.11	c  N dy  3273    916271        60      5340         0     38954     37380    451174     18.04     19.11  --
582.41/145.82	c  N dy  3362    937762        60      5340         0     57994     37380    859171     18.04     19.01  --
600.80/150.45	c  N dy  3461    957770        60      5340         0     38623     37380    436380     18.06     19.34  --
614.36/153.89	c  N dy  3572    977794        60      5340         0     56382     37380    818837     18.07     19.28  --
633.14/158.52	c  N dy  3664    997830        60      5340         0     74126     37380   1197960     18.08     19.91  --
647.12/162.08	c  N dy  3740   1017856        60      5340         0     53758     37380    745429     18.08     20.23  --
666.71/166.97	c  N dy  3871   1038012        60      5340         0     71658     37380   1136477     18.10     19.07  --
683.89/171.27	c  N dy  3944   1060428        60      5340         0     52501     37380    710223     18.10     19.16  --
693.86/173.79	c  F st  4002   1071876        60      5340         0     62581     37380    923691     18.10   no data  --
703.45/176.11	c  N dy  4035   1082303        60      5340         0     71798     37380   1124069     18.11     19.10  --
721.81/180.79	c  N dy  4128   1104848        60      5340         0     51909     37380    689026     18.12     19.08  --
754.59/188.97	c  N dy  4185   1151115        60      5340         0     51873     37380    663980     18.05     19.29  --
776.16/194.31	c  N dy  4327   1174526        60      5340         0     72604     37380   1111736     18.07     19.09  --
798.13/199.87	c  N dy  4402   1195183        60      5340         0     49467     37380    621520     18.07     19.03  --
814.49/203.98	c  S st  4514   1209816        60      5340         0     62462     37380    905965     18.09     17.84  --
815.71/204.22	c  S st  4514   1210319        60      5340         0     62917     37380    916133     18.09   no data  --
815.71/204.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
815.71/204.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
815.71/204.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
815.71/204.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.71/204.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.71/204.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
815.71/204.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
895.21/224.11	c lits-rem:      3063  cl-subs:     5205  v-elim:      0  v-fix:    0  time: 79.13 s
895.21/224.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
895.21/224.12	c vivif2 --  cl tried    57712 cl shrink        0 lits rem          0 time: 0.04
896.38/224.47	c asymm  cl-useful: 0/673/5340 lits-rem:0 time: 1.40
896.38/224.47	c calculated reachability. Time: 0.00
896.38/224.47	c  N dy  4514   1210319        60      5340         0     57712     37380    798617     18.09   no data  --
917.17/229.62	c  N dy  4595   1230343        60      5340         0     75512     37380   1182574     18.09     20.62  --
934.34/233.96	c  N dy  4623   1253862        60      5340         0     54021     37380    697740     18.07     19.03  --
952.32/238.41	c  N dy  4718   1273890        60      5340         0     71761     37380   1080581     18.08     21.89  --
975.87/244.35	c  N dy  4814   1293920        60      5340         0     46353     37380    533434     18.09     20.88  --
995.44/249.22	c  N dy  4893   1315504        60      5340         0     65454     37380    943257     18.09     19.08  --
1022.63/256.01	c  N dy  5007   1335690        60      5340         0     83390     37380   1331204     18.11     19.15  --
1044.98/261.62	c  N dy  5136   1355770        60      5340         0     57035     37380    756318     18.12     19.12  --
1065.75/266.87	c  N dy  5229   1377231        60      5340         0     75982     37380   1161785     18.13     19.09  --
1088.53/272.56	c  N dy  5306   1397301        60      5340         0     48656     37380    562741     18.13     19.73  --
1122.08/280.94	c  N dy  5329   1441556        60      5340         0     87253     37380   1349246     18.06     19.07  --
1141.64/285.88	c  N dy  5442   1461941        60      5340         0     59555     37380    786398     18.07     19.03  --
1158.03/289.91	c  N dy  5471   1481966        60      5340         0     76963     37380   1148475     18.06     20.05  --
1184.80/296.70	c  N dy  5610   1501997        60      5340         0     48125     37380    532570     18.08     19.67  --
1209.15/302.79	c  N dy  5656   1534461        60      5340         0     76508     37380   1116408     18.06     19.08  --
1248.70/312.60	c  N dy  5759   1576526        60      5340         0     65948     37380    879419     18.03     19.08  --
1274.26/319.07	c  N dy  5886   1598425        60      5340         0     85276     37380   1297096     18.04     19.02  --
1315.01/329.22	c  N dy  5959   1643093        60      5340         0     76055     37380   1076648     18.00     18.99  --
1340.18/335.52	c  N dy  6049   1663268        60      5340         0     93899     37380   1459916     18.01     19.08  --
1365.74/341.91	c  N dy  6120   1691790        60      5340         0     69796     37380    952563     18.00     18.97  --
1387.71/347.41	c  S st  6238   1710320        60      5340         0     86209     37380   1309688     18.01     16.95  --
1388.51/347.68	c  S st  6238   1710825        60      5340         0     86662     37380   1319872     18.01   no data  --
1388.51/347.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1388.51/347.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1388.90/347.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1388.90/347.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1388.90/347.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1388.90/347.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1388.90/347.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1570.26/393.17	c lits-rem:      5711  cl-subs:    10912  v-elim:      0  v-fix:    0  time: 181.33 s
1570.26/393.18	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1570.26/393.19	c vivif2 --  cl tried    75750 cl shrink        0 lits rem          0 time: 0.07
1572.25/393.66	c asymm  cl-useful: 0/538/5340 lits-rem:0 time: 1.85
1572.25/393.66	c calculated reachability. Time: 0.00
1572.25/393.66	c  N dy  6238   1710825        60      5340         0     75750     37380   1093312     18.01   no data  --
1608.60/402.73	c  N dy  6391   1730897        60      5340         0     93604     37380   1484462     18.03     19.79  --
1639.76/410.58	c  N dy  6542   1750967        60      5340         0     61796     37380    793747     18.05     19.86  --
1667.32/417.45	c  N dy  6628   1770984        60      5340         0     79518     37380   1173635     18.05     20.76  --
1694.09/424.13	c  N dy  6631   1791198        60      5340         0     97199     37380   1536598     18.03     19.12  --
1724.45/431.74	c  N dy  6731   1811376        60      5340         0     64206     37380    828734     18.04     19.05  --
1757.60/440.03	c  N dy  6858   1831834        60      5340         0     82295     37380   1220022     18.05     19.03  --
1815.52/454.52	c  N dy  6887   1875595        60      5340         0     68726     37380    892751     18.01     19.08  --
1849.08/462.91	c  N dy  7045   1895660        60      5340         0     86612     37380   1286806     18.02     19.53  --
1891.42/473.52	c  N dy  7205   1915693        60      5340         0    104393     37380   1678226     18.04     19.01  --
1919.00/480.47	c  N dy  7314   1935866        60      5340         0     69357     37380    918967     18.05     19.05  --
1960.13/490.74	c  N dy  7367   1971875        60      5340         0    100780     37380   1563179     18.03     19.00  --
1986.09/497.27	c  N dy  7512   1991956        60      5340         0     64947     37380    817204     18.04     20.40  --
2008.85/502.90	c  N dy  7585   2012004        60      5340         0     82555     37380   1188863     18.04     19.43  --
2034.02/509.23	c  N dy  7621   2033935        60      5340         0    101797     37380   1591246     18.03     19.03  --
2059.61/515.61	c  N dy  7747   2053970        60      5340         0     64951     37380    805395     18.04     20.20  --
2078.77/520.44	c  N dy  7817   2074056        60      5340         0     82603     37380   1182181     18.04     21.42  --
2117.11/530.03	c  N dy  7890   2105047        60      5340         0    109692     37380   1745080     18.03     19.07  --
2143.87/536.74	c  N dy  8007   2130542        60      5340         0     76847     37380   1048042     18.04     19.02  --
2186.64/547.49	c  N dy  8122   2166918        60      5340         0    108796     37380   1721788     18.03     19.07  --
2211.78/553.71	c  N dy  8172   2190664        60      5340         0     73354     37380    952830     18.03     19.02  --
2235.74/559.74	c  N dy  8247   2210825        60      5340         0     91115     37380   1331565     18.03     17.14  --
2235.74/559.74	c  S st  8247   2210825        60      5340         0     91115     37380   1331565     18.03     17.14  --
2236.95/560.02	c  S st  8247   2211331        60      5340         0     91577     37380   1342135     18.03   no data  --
2236.95/560.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2236.95/560.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2236.95/560.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2237.35/560.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2237.35/560.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2237.35/560.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2237.35/560.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2340.01/585.87	c lits-rem:      5246  cl-subs:    10472  v-elim:      0  v-fix:    0  time: 102.88 s
2340.01/585.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2340.01/585.88	c vivif2 --  cl tried    81105 cl shrink        0 lits rem          0 time: 0.06
2341.60/586.20	c asymm  cl-useful: 0/483/5340 lits-rem:0 time: 1.27
2341.60/586.21	c calculated reachability. Time: 0.00
2341.60/586.21	c  N dy  8247   2211331        60      5340         0     81105     37380   1126763     18.03   no data  --
2365.97/592.33	c  N dy  8312   2231521        60      5340         0     98803     37380   1501276     18.03     19.09  --
2399.53/600.73	c  N dy  8460   2251610        60      5340         0     60063     37380    676222     18.04     21.53  --
2421.09/606.10	c  N dy  8582   2271667        60      5340         0     77753     37380   1060390     18.05     19.07  --
2443.87/611.88	c  N dy  8632   2291865        60      5340         0     95424     37380   1428248     18.05     19.06  --
2478.62/620.54	c  N dy  8714   2312511        60      5340         0    113625     37380   1818553     18.05     19.14  --
2504.18/626.92	c  N dy  8804   2332513        60      5340         0     73527     37380    947880     18.05     19.34  --
2531.35/633.77	c  N dy  8967   2352527        60      5340         0     91296     37380   1338949     18.06     19.09  --
2570.90/643.63	c  N dy  9030   2374743        60      5340         0    110827     37380   1750693     18.06     19.06  --
2609.64/653.31	c  N dy  9158   2394766        60      5340         0     69607     37380    856340     18.07     19.79  --
2637.21/660.22	c  N dy  9226   2415012        60      5340         0     87367     37380   1232007     18.07     19.04  --
2679.94/670.91	c  N dy  9351   2436446        60      5340         0    106395     37380   1647896     18.08     19.03  --
2725.88/682.43	c  N dy  9495   2456473        60      5340         0     64184     37380    729151     18.09     20.58  --
2748.25/688.02	c  N dy  9527   2476487        60      5340         0     81691     37380   1092068     18.08     19.06  --
2785.40/697.39	c  N dy  9620   2497926        60      5340         0    100613     37380   1498672     18.08     19.04  --
2828.94/708.28	c  N dy  9715   2517995        60      5340         0    118295     37380   1879116     18.09     19.06  --
2860.10/716.09	c  N dy  9806   2538073        60      5340         0     75213     37380    958792     18.09     21.05  --
2897.65/725.49	c  N dy  9923   2559926        60      5340         0     94463     37380   1375253     18.10     19.06  --
2944.78/737.24	c  N dy 10041   2581910        60      5340         0    113881     37380   1795934     18.10     19.12  --
2982.35/746.62	c  N dy 10148   2602558        60      5340         0     70379     37380    844419     18.11     19.07  --
3019.09/755.81	c  N dy 10269   2628085        60      5340         0     92858     37380   1327119     18.11     19.17  --
3086.19/772.63	c  N dy 10297   2689551        60      5340         0     83892     37380   1086739     18.06     19.21  --
3116.55/780.20	c  N dy 10436   2709575        60      5340         0    101564     37380   1472827     18.07     20.31  --
3119.34/780.96	c  S st 10453   2711333        60      5340         0    103123     37380   1507554     18.07   no data  --
3120.54/781.27	c  S st 10453   2711835        60      5340         0    103577     37380   1518009     18.07   no data  --
3120.54/781.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3120.54/781.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3120.94/781.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3120.94/781.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3120.94/781.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3120.94/781.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3120.94/781.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3436.91/860.49	c lits-rem:      6785  cl-subs:    12807  v-elim:      0  v-fix:    0  time: 315.97 s
3436.91/860.49	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3437.31/860.50	c vivif2 --  cl tried    90770 cl shrink        0 lits rem          0 time: 0.07
3438.51/860.82	c asymm  cl-useful: 0/606/5340 lits-rem:0 time: 1.26
3438.51/860.82	c calculated reachability. Time: 0.00
3438.51/860.82	c  N dy 10453   2711835        60      5340         0     90770     37380   1269856     18.07   no data  --
3470.87/868.91	c  N dy 10566   2731880        60      5340         0    108496     37380   1656665     18.08     20.32  --
3509.64/878.69	c  N dy 10699   2753807        60      5340         0     65365     37380    722058     18.08     19.12  --
3530.78/883.98	c  N dy 10789   2773834        60      5340         0     83081     37380   1104354     18.09     19.57  --
3557.15/890.60	c  N dy 10871   2793855        60      5340         0    100687     37380   1481284     18.09     19.12  --
3587.91/898.24	c  N dy 10942   2813879        60      5340         0    118345     37380   1856772     18.09     20.33  --
3620.66/906.45	c  N dy 11046   2834585        60      5340         0     72696     37380    864980     18.10     19.06  --
3648.22/913.34	c  N dy 11125   2859865        60      5340         0     94926     37380   1332366     18.09     19.16  --
3685.39/922.67	c  N dy 11275   2881579        60      5340         0    114069     37380   1750876     18.10     19.19  --
3733.32/934.68	c  N dy 11353   2908307        60      5340         0     72568     37380    839744     18.10     19.07  --
3764.48/942.42	c  N dy 11459   2928761        60      5340         0     90586     37380   1231458     18.11     19.06  --
3812.82/954.55	c  N dy 11629   2948851        60      5340         0    108402     37380   1625785     18.12     19.97  --
3863.93/967.38	c  N dy 11738   2968866        60      5340         0    126052     37380   2008529     18.12     19.85  --
3899.48/976.29	c  N dy 11764   2990664        60      5340         0     79186     37380    965616     18.11     19.07  --
3948.63/988.59	c  N dy 11844   3023206        60      5340         0    107501     37380   1557266     18.10     19.07  --
3996.55/1000.60	c  N dy 11962   3043238        60      5340         0    125148     37380   1940348     18.11     20.82  --
4041.31/1011.72	c  N dy 12107   3063265        60      5340         0     76188     37380    913346     18.12     20.09  --
4080.45/1021.60	c  N dy 12183   3088874        60      5340         0     98439     37380   1378913     18.11     19.13  --
4133.58/1034.86	c  N dy 12310   3112946        60      5340         0    119552     37380   1835467     18.12     19.12  --
4188.68/1048.68	c  N dy 12420   3135460        60      5340         0     71932     37380    806163     18.12     19.11  --
4219.84/1056.46	c  N dy 12458   3160642        60      5340         0     93862     37380   1261105     18.12     19.11  --
4253.00/1064.71	c  N dy 12527   3180653        60      5340         0    111350     37380   1635643     18.12     20.99  --
4309.72/1078.92	c  N dy 12609   3206087        60      5340         0    133722     37380   2112284     18.12     19.12  --
4326.10/1083.05	c  S st 12647   3211835        60      5340         0     70446     37380    767802     18.12     18.99  --
4327.29/1083.34	c  S st 12647   3212339        60      5340         0     70901     37380    778133     18.12   no data  --
4327.29/1083.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4327.29/1083.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4327.29/1083.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4327.69/1083.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4327.69/1083.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4327.69/1083.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4327.69/1083.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4426.76/1108.25	c lits-rem:       283  cl-subs:      648  v-elim:      0  v-fix:    0  time: 99.18 s
4426.76/1108.25	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4426.76/1108.26	c vivif2 --  cl tried    70253 cl shrink        0 lits rem          0 time: 0.06
4428.75/1108.70	c asymm  cl-useful: 0/643/5340 lits-rem:0 time: 1.75
4428.75/1108.70	c calculated reachability. Time: 0.00
4428.75/1108.70	c  N dy 12647   3212339        60      5340         0     70253     37380    763855     18.12   no data  --
4457.52/1115.95	c  N dy 12732   3232990        60      5340         0     88350     37380   1149292     18.12     19.09  --
4489.09/1123.82	c  N dy 12852   3253041        60      5340         0    106008     37380   1535479     18.13     19.11  --
4527.82/1133.58	c  N dy 12959   3275092        60      5340         0    125450     37380   1956731     18.13     19.29  --
4570.56/1144.27	c  N dy 13090   3296312        60      5340         0     74722     37380    845466     18.14     19.11  --
4594.95/1150.37	c  N dy 13170   3316407        60      5340         0     92464     37380   1226131     18.14     20.31  --
4628.09/1158.60	c  N dy 13299   3336506        60      5340         0    110326     37380   1618233     18.14     19.72  --
4663.63/1167.52	c  N dy 13377   3356551        60      5340         0    127927     37380   1997341     18.15     21.44  --
4694.80/1175.37	c  N dy 13410   3376556        60      5340         0     75051     37380    845790     18.14     19.46  --
4719.15/1181.44	c  N dy 13501   3396760        60      5340         0     92777     37380   1226117     18.14     19.21  --
4752.73/1189.84	c  N dy 13631   3416788        60      5340         0    110454     37380   1612781     18.15     19.80  --
4785.47/1198.00	c  N dy 13686   3436832        60      5340         0    128056     37380   1982081     18.15     20.36  --

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-3175384-1304121952/watcher-3175384-1304121952 -o /tmp/evaluation-result-3175384-1304121952/solver-3175384-1304121952 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175384-1304121952.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.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 469 0 0 0 0 0 0 0 25 0 4 0 504610523 186683392 390 33554432000 4194304 4650419 140733226947216 18446744073709551615 4207280 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 45577 398 331 112 0 40542 0
[pid=11795/tid=11796] ppid=11793 vsize=183276 CPUtime=0 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 504610523 187674624 517 33554432000 4194304 4650419 140733226947216 18446744073709551615 254256648649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=183276 CPUtime=0 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) D 11793 11795 11762 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 504610523 187674624 521 33554432000 4194304 4650419 140733226947216 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=248824 CPUtime=0 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 4 0 504610523 254795776 526 33554432000 4194304 4650419 140733226947216 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.126942 s]
/proc/loadavg: 6.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=286964 CPUtime=3.21 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 6343 0 0 0 320 1 0 0 25 0 4 0 504610523 293851136 3412 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71741 3412 390 112 0 66706 0
[pid=11795/tid=11796] ppid=11793 vsize=286964 CPUtime=0.8 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1565 0 0 0 80 0 0 0 19 0 4 0 504610523 293851136 3412 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=286964 CPUtime=0.79 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1542 0 0 0 79 0 0 0 25 0 4 0 504610523 293851136 3412 33554432000 4194304 4650419 140733226947216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=286964 CPUtime=0.79 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1257 0 0 0 79 0 0 0 19 0 4 0 504610523 293851136 3412 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 286964

[startup+0.909339 s]
/proc/loadavg: 6.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=286964 CPUtime=3.61 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 6561 0 0 0 360 1 0 0 25 0 4 0 504610523 293851136 3630 33554432000 4194304 4650419 140733226947216 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71741 3630 391 112 0 66706 0
[pid=11795/tid=11796] ppid=11793 vsize=286964 CPUtime=0.9 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1623 0 0 0 90 0 0 0 19 0 4 0 504610523 293851136 3630 33554432000 4194304 4650419 140733226947216 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=286964 CPUtime=0.89 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1597 0 0 0 89 0 0 0 25 0 4 0 504610523 293851136 3630 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=286964 CPUtime=0.89 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1307 0 0 0 89 0 0 0 19 0 4 0 504610523 293851136 3630 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 286964

[startup+1.00932 s]
/proc/loadavg: 6.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=287044 CPUtime=4.01 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 6953 0 0 0 400 1 0 0 25 0 4 0 504610523 293933056 3699 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71761 3699 391 112 0 66726 0
[pid=11795/tid=11796] ppid=11793 vsize=287044 CPUtime=1 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1671 0 0 0 100 0 0 0 19 0 4 0 504610523 293933056 3699 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=287044 CPUtime=0.99 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1646 0 0 0 99 0 0 0 25 0 4 0 504610523 293933056 3699 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=287044 CPUtime=0.99 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1556 0 0 0 99 0 0 0 19 0 4 0 504610523 293933056 3699 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 287044

[startup+1.1093 s]
/proc/loadavg: 6.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=287320 CPUtime=4.41 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 7343 0 0 0 440 1 0 0 25 0 4 0 504610523 294215680 3771 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71830 3771 391 112 0 66795 0
[pid=11795/tid=11796] ppid=11793 vsize=287320 CPUtime=1.1 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1718 0 0 0 110 0 0 0 19 0 4 0 504610523 294215680 3772 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=287320 CPUtime=1.09 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1888 0 0 0 109 0 0 0 25 0 4 0 504610523 294215680 3772 33554432000 4194304 4650419 140733226947216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=287320 CPUtime=1.09 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 1613 0 0 0 109 0 0 0 19 0 4 0 504610523 294215680 3772 33554432000 4194304 4650419 140733226947216 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 287320

[startup+1.50024 s]
/proc/loadavg: 6.33 7.73 7.88 2/172 11795
/proc/meminfo: memFree=29675020/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=287540 CPUtime=5.98 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 10002 0 0 0 596 2 0 0 25 0 4 0 504610523 294440960 5415 33554432000 4194304 4650419 140733226947216 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71885 5415 392 112 0 66850 0
[pid=11795/tid=11796] ppid=11793 vsize=287540 CPUtime=1.49 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 2140 0 0 0 149 0 0 0 20 0 4 0 504610523 294440960 5415 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=287540 CPUtime=1.48 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 2087 0 0 0 148 0 0 0 25 0 4 0 504610523 294440960 5415 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=287540 CPUtime=1.48 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 2041 0 0 0 148 0 0 0 20 0 4 0 504610523 294440960 5415 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287540

[startup+3.10095 s]
/proc/loadavg: 6.33 7.73 7.88 9/184 11807
/proc/meminfo: memFree=29599428/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=286172 CPUtime=12.37 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 16195 0 0 0 1234 3 0 0 25 0 4 0 504610523 293040128 9788 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71543 9788 392 112 0 66508 0
[pid=11795/tid=11796] ppid=11793 vsize=286172 CPUtime=3.09 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 3648 0 0 0 309 0 0 0 25 0 4 0 504610523 293040128 9788 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=286172 CPUtime=3.08 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 4222 0 0 0 308 0 0 0 25 0 4 0 504610523 293040128 9788 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=286172 CPUtime=3.07 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 4200 0 0 0 307 0 0 0 25 0 4 0 504610523 293040128 9788 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 286172

[startup+6.30639 s]
/proc/loadavg: 6.46 7.73 7.88 9/184 11807
/proc/meminfo: memFree=29577976/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=287480 CPUtime=25.16 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 23949 0 0 0 2512 4 0 0 25 0 4 0 504610523 294379520 11864 33554432000 4194304 4650419 140733226947216 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 71870 11864 392 112 0 66835 0
[pid=11795/tid=11796] ppid=11793 vsize=287480 CPUtime=6.29 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 6135 0 0 0 629 0 0 0 25 0 4 0 504610523 294379520 11864 33554432000 4194304 4650419 140733226947216 18446744073709551615 4370892 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=287480 CPUtime=6.29 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 6176 0 0 0 628 1 0 0 25 0 4 0 504610523 294379520 11864 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=287480 CPUtime=6.26 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 6223 0 0 0 625 1 0 0 25 0 4 0 504610523 294379520 11864 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 287480

[startup+12.7003 s]
/proc/loadavg: 6.58 7.74 7.88 9/184 11807
/proc/meminfo: memFree=29541632/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=281536 CPUtime=50.71 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 34863 0 0 0 5064 7 0 0 25 0 4 0 504610523 288292864 17157 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 70384 17157 392 112 0 65349 0
[pid=11795/tid=11796] ppid=11793 vsize=281536 CPUtime=12.68 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 9096 0 0 0 1267 1 0 0 25 0 4 0 504610523 288292864 17157 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=281536 CPUtime=12.68 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 8211 0 0 0 1267 1 0 0 25 0 4 0 504610523 288292864 17157 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=281536 CPUtime=12.62 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 9605 0 0 0 1261 1 0 0 25 0 4 0 504610523 288292864 17157 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 281536

[startup+25.501 s]
/proc/loadavg: 6.90 7.75 7.88 9/184 11807
/proc/meminfo: memFree=29500924/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=311420 CPUtime=101.85 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 54124 0 0 0 10173 12 0 0 25 0 4 0 504610523 318894080 22044 33554432000 4194304 4650419 140733226947216 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 77855 22044 392 112 0 72820 0
[pid=11795/tid=11796] ppid=11793 vsize=311420 CPUtime=25.49 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 14507 0 0 0 2546 3 0 0 25 0 4 0 504610523 318894080 22044 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=311420 CPUtime=25.48 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 12497 0 0 0 2546 2 0 0 25 0 4 0 504610523 318894080 22044 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=311420 CPUtime=25.36 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 14311 0 0 0 2533 3 0 0 25 0 4 0 504610523 318894080 22044 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 311420

[startup+51.1004 s]
/proc/loadavg: 7.27 7.77 7.88 9/184 11808
/proc/meminfo: memFree=29460108/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=292880 CPUtime=204.11 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 78663 0 0 0 20394 17 0 0 25 0 4 0 504610523 299909120 24239 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 73220 24239 392 112 0 68185 0
[pid=11795/tid=11796] ppid=11793 vsize=292880 CPUtime=51.08 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 22035 0 0 0 5104 4 0 0 25 0 4 0 504610523 299909120 24239 33554432000 4194304 4650419 140733226947216 18446744073709551615 4334332 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=292880 CPUtime=51.09 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 18457 0 0 0 5105 4 0 0 25 0 4 0 504610523 299909120 24239 33554432000 4194304 4650419 140733226947216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=292880 CPUtime=50.83 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 20184 0 0 0 5079 4 0 0 25 0 4 0 504610523 299909120 24239 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 292880

[startup+102.3 s]
/proc/loadavg: 7.78 7.83 7.90 9/184 11809
/proc/meminfo: memFree=29410480/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=314616 CPUtime=408.64 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 119557 0 0 0 40833 31 0 0 25 0 4 0 504610523 322166784 30214 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 78654 30214 392 112 0 73619 0
[pid=11795/tid=11796] ppid=11793 vsize=314616 CPUtime=102.29 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 32267 0 0 0 10221 8 0 0 25 0 4 0 504610523 322166784 30214 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=314616 CPUtime=102.28 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 29552 0 0 0 10221 7 0 0 25 0 4 0 504610523 322166784 30214 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=314616 CPUtime=101.75 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 30793 0 0 0 10168 7 0 0 25 0 4 0 504610523 322166784 30214 33554432000 4194304 4650419 140733226947216 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 314616

[startup+162.301 s]

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

[pid=11795] ppid=11793 vsize=468072 CPUtime=2805.38 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 350443 0 0 0 280421 117 0 0 25 0 4 0 504610523 479305728 67686 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 117018 67686 392 112 0 111983 0
[pid=11795/tid=11796] ppid=11793 vsize=468072 CPUtime=702.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 84870 0 0 0 70203 27 0 0 25 0 4 0 504610523 479305728 67686 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=468072 CPUtime=702.3 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 87776 0 0 0 70197 33 0 0 25 0 4 0 504610523 479305728 67686 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=468072 CPUtime=698.51 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 84295 0 0 0 69826 25 0 0 25 0 4 0 504610523 479305728 67686 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 468072

[startup+762.3 s]
/proc/loadavg: 8.14 8.09 7.99 9/184 11827
/proc/meminfo: memFree=29054168/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=468304 CPUtime=3045.04 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 358900 0 0 0 304384 120 0 0 25 0 4 0 504610523 479543296 68968 33554432000 4194304 4650419 140733226947216 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 117076 68968 392 112 0 112041 0
[pid=11795/tid=11796] ppid=11793 vsize=468304 CPUtime=762.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 85446 0 0 0 76203 27 0 0 25 0 4 0 504610523 479543296 68968 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=468304 CPUtime=762.3 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 90330 0 0 0 76196 34 0 0 25 0 4 0 504610523 479543296 68968 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=468304 CPUtime=758.18 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 84412 0 0 0 75793 25 0 0 25 0 4 0 504610523 479543296 68968 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 468304

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 7.99 9/184 11828
/proc/meminfo: memFree=29029820/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=534008 CPUtime=3284.72 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 377063 0 0 0 328347 125 0 0 25 0 4 0 504610523 546824192 71890 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 133502 71890 392 112 0 128467 0
[pid=11795/tid=11796] ppid=11793 vsize=534008 CPUtime=822.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 89360 0 0 0 82202 28 0 0 25 0 4 0 504610523 546824192 71890 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=534008 CPUtime=822.3 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 92961 0 0 0 82194 36 0 0 25 0 4 0 504610523 546824192 71890 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=534008 CPUtime=817.85 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 88034 0 0 0 81759 26 0 0 25 0 4 0 504610523 546824192 71890 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 534008

[startup+882.301 s]
/proc/loadavg: 8.14 8.10 8.00 9/184 11830
/proc/meminfo: memFree=29022488/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=525964 CPUtime=3524.39 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 393086 0 0 0 352309 130 0 0 25 0 4 0 504610523 538587136 72198 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131491 72198 392 112 0 126456 0
[pid=11795/tid=11796] ppid=11793 vsize=525964 CPUtime=882.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 92134 0 0 0 88201 29 0 0 25 0 4 0 504610523 538587136 72198 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=525964 CPUtime=882.31 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 95543 0 0 0 88194 37 0 0 25 0 4 0 504610523 538587136 72198 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=525964 CPUtime=877.53 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 90838 0 0 0 87726 27 0 0 25 0 4 0 504610523 538587136 72198 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 525964

[startup+942.3 s]
/proc/loadavg: 8.09 8.09 8.00 9/184 11832
/proc/meminfo: memFree=28973360/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=526064 CPUtime=3764.08 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 409099 0 0 0 376271 137 0 0 25 0 4 0 504610523 538689536 78205 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131516 78205 392 112 0 126481 0
[pid=11795/tid=11796] ppid=11793 vsize=526064 CPUtime=942.31 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 94593 0 0 0 94201 30 0 0 25 0 4 0 504610523 538689536 78205 33554432000 4194304 4650419 140733226947216 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=526064 CPUtime=942.32 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 98565 0 0 0 94193 39 0 0 25 0 4 0 504610523 538689536 78205 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=526064 CPUtime=937.21 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 96090 0 0 0 93691 30 0 0 25 0 4 0 504610523 538689536 78205 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 526064

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.00 9/184 11833
/proc/meminfo: memFree=28983000/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=513248 CPUtime=4003.74 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 414771 0 0 0 400233 141 0 0 25 0 4 0 504610523 525565952 71317 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 128312 71317 392 112 0 123277 0
[pid=11795/tid=11796] ppid=11793 vsize=513248 CPUtime=1002.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 94973 0 0 0 100200 30 0 0 25 0 4 0 504610523 525565952 71317 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=513248 CPUtime=1002.31 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 99669 0 0 0 100191 40 0 0 25 0 4 0 504610523 525565952 71317 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=513248 CPUtime=996.88 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 99262 0 0 0 99657 31 0 0 25 0 4 0 504610523 525565952 71317 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 513248

[startup+1062.31 s]
/proc/loadavg: 8.06 8.08 8.00 9/184 11835
/proc/meminfo: memFree=28982104/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=513248 CPUtime=4243.44 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 424820 0 0 0 424199 145 0 0 25 0 4 0 504610523 525565952 75863 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 128312 75863 392 112 0 123277 0
[pid=11795/tid=11796] ppid=11793 vsize=513248 CPUtime=1062.31 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 96029 0 0 0 106201 30 0 0 25 0 4 0 504610523 525565952 75863 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=513248 CPUtime=1062.31 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 102412 0 0 0 106190 41 0 0 25 0 4 0 504610523 525565952 75863 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=513248 CPUtime=1056.56 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 100846 0 0 0 105625 31 0 0 25 0 4 0 504610523 525565952 75863 33554432000 4194304 4650419 140733226947216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 513248

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 11836
/proc/meminfo: memFree=28943880/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=527000 CPUtime=4483.08 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 434167 0 0 0 448159 149 0 0 25 0 4 0 504610523 539648000 79105 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131750 79105 392 112 0 126715 0
[pid=11795/tid=11796] ppid=11793 vsize=527000 CPUtime=1122.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 100602 0 0 0 112197 33 0 0 25 0 4 0 504610523 539648000 79105 33554432000 4194304 4650419 140733226947216 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=527000 CPUtime=1122.31 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 105217 0 0 0 112189 42 0 0 25 0 4 0 504610523 539648000 79105 33554432000 4194304 4650419 140733226947216 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=527000 CPUtime=1116.22 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 101111 0 0 0 111591 31 0 0 25 0 4 0 504610523 539648000 79105 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 527000

[startup+1182.3 s]
/proc/loadavg: 8.50 8.19 8.04 9/184 11841
/proc/meminfo: memFree=28940616/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=527000 CPUtime=4722.75 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 448406 0 0 0 472120 155 0 0 25 0 4 0 504610523 539648000 80289 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131750 80289 392 112 0 126715 0
[pid=11795/tid=11796] ppid=11793 vsize=527000 CPUtime=1182.3 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 103290 0 0 0 118195 35 0 0 25 0 4 0 504610523 539648000 80289 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=527000 CPUtime=1182.31 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 108226 0 0 0 118187 44 0 0 25 0 4 0 504610523 539648000 80289 33554432000 4194304 4650419 140733226947216 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=527000 CPUtime=1175.89 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 106430 0 0 0 117557 32 0 0 25 0 4 0 504610523 539648000 80289 33554432000 4194304 4650419 140733226947216 18446744073709551615 4313323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 527000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.43 8.19 8.04 9/184 11842
/proc/meminfo: memFree=28912252/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=527000 CPUtime=4800.26 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 451157 0 0 0 479869 157 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131750 83040 392 112 0 126715 0
[pid=11795/tid=11796] ppid=11793 vsize=527000 CPUtime=1201.72 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 103947 0 0 0 120136 36 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=527000 CPUtime=1201.72 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 108226 0 0 0 120128 44 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=527000 CPUtime=1195.19 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 108524 0 0 0 119486 33 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 527000

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.43 8.19 8.04 9/184 11842
/proc/meminfo: memFree=28912252/32951124 swapFree=67111348/67111528
[pid=11795] ppid=11793 vsize=527000 CPUtime=4800.26 cores=0,2,4,6
/proc/11795/stat : 11795 (strangenight1-m) R 11793 11795 11762 0 -1 4202496 451157 0 0 0 479869 157 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11795/statm: 131750 83040 392 112 0 126715 0
[pid=11795/tid=11796] ppid=11793 vsize=527000 CPUtime=1201.72 cores=0,2,4,6
/proc/11795/task/11796/stat : 11796 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 103947 0 0 0 120136 36 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11795/tid=11797] ppid=11793 vsize=527000 CPUtime=1201.72 cores=0,2,4,6
/proc/11795/task/11797/stat : 11797 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 108226 0 0 0 120128 44 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11795/tid=11798] ppid=11793 vsize=527000 CPUtime=1195.19 cores=0,2,4,6
/proc/11795/task/11798/stat : 11798 (strangenight1-m) R 11793 11795 11762 0 -1 4202560 108524 0 0 0 119486 33 0 0 25 0 4 0 504610523 539648000 83040 33554432000 4194304 4650419 140733226947216 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 527000

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.31
CPU user time (s): 4798.72
CPU system time (s): 1.58976
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 540032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.72
system time used= 1.58976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451157
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= 366
involuntary context switches= 22933

runsolver used 1.9877 second user time and 4.55231 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 02:05:52
IDJOB=3175384
IDBENCH=83002
IDSOLVER=1588
FILE ID=node140/3175384-1304121952
RUNJOBID= node140-1304121952-11780
PBS_JOBID= 13170742
Free space on /tmp= 72664 MiB

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

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

MD5SUM BENCH= ea8a8c80a9c6e1328d7a171765d2b8ef
RANDOM SEED=2097159119

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:      29676036 kB
Buffers:       1016968 kB
Cached:        1703748 kB
SwapCached:        180 kB
Active:         280604 kB
Inactive:      2502832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29676036 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11796 kB
Writeback:           0 kB
AnonPages:       62460 kB
Mapped:          14812 kB
Slab:           426724 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182332 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= 72652 MiB
End job on node140 at 2011-04-30 02:25:56