Trace number 3369024

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.16 1202.83

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf
MD5SUM7f4758baa378252dd3709cff507a5405
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark370.78
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-3369024-1305410848.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.40/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.40/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.40/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.40/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.40/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.40/0.14	c calculated reachability. Time: 0.00
0.40/0.14	c Calc default polars -  time:   0.00 s pos:      25 undec:       3 neg:      32
0.40/0.14	c =========================================================================================
0.40/0.14	c types(t): F = full restart, N = normal restart
0.40/0.14	c types(t): S = simplification begin/end, E = solution found
0.40/0.14	c restart types(rt): st = static, dy = dynamic
0.40/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.40/0.55	c  N dy     8     13303        60      5340         0      5781     37380    110512     17.17     18.08  --
0.40/0.86	c  N dy    40     20969        60      5340         0      7587     37380    140076     17.47     18.47  --
4.00/1.05	c  F st    65     25000        60      5340         0     11198     37380    217624     17.70     18.17  --
4.00/1.05	c  N st    65     25000        60      5340         0     11198     37380    217624     17.70     18.17  --
4.77/1.26	c  N dy    71     30004        60      5340         0      9596     37380    174889     17.70   no data  --
4.77/1.26	c  S st    71     30004        60      5340         0      9596     37380    174889     17.70   no data  --
4.77/1.29	c  S st    71     30508        60      5340         0     10052     37380    184698     17.70   no data  --
4.77/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.29	c lits-rem:      1356  cl-subs:     1132  v-elim:      0  v-fix:    0  time:  3.93 s
9.96/2.56	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
9.96/2.56	c calculated reachability. Time: 0.00
9.96/2.56	c  N dy    71     30508        60      5340         0      8920     37380    159583     17.70   no data  --
10.76/2.78	c  N dy    95     34514        60      5340         0     12498     37380    236038     17.86     19.43  --
11.56/2.98	c  N dy   110     38524        60      5340         0      9109     37380    153194     17.92     21.07  --
12.75/3.28	c  N dy   135     43984        60      5340         0     13971     37380    257609     18.04     18.99  --
13.55/3.40	c  S st   153     45762        60      5340         0     15552     37380    292113     18.12   no data  --
13.55/3.45	c  S st   153     46266        60      5340         0      8075     37380    122895     18.12   no data  --
13.55/3.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.55/3.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.55/3.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.55/3.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.55/3.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.55/3.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.55/3.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.78/4.26	c lits-rem:        97  cl-subs:       12  v-elim:      0  v-fix:    0  time:  3.16 s
16.78/4.26	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.78/4.26	c vivif2 --  cl tried     8063 cl shrink        0 lits rem          0 time: 0.00
17.54/4.49	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.92
17.54/4.49	c calculated reachability. Time: 0.00
17.54/4.49	c  N dy   153     46266        60      5340         0      8063     37380    122509     18.12   no data  --
21.17/5.38	c  N dy   168     63756        60      5340         0     14577     37380    241531     17.60     18.55  --
22.33/5.67	c  N dy   200     67829        60      5340         0     18213     37380    320051     17.72     19.47  --
23.13/5.80	c  S st   214     69399        60      5340         0      9937     37380    145230     17.76   no data  --
23.13/5.83	c  S st   214     69905        60      5340         0     10395     37380    155257     17.76   no data  --
23.13/5.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.13/5.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.13/5.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.13/5.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.13/5.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.13/5.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
23.13/5.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.32/6.67	c lits-rem:       276  cl-subs:      185  v-elim:      0  v-fix:    0  time:  3.29 s
26.32/6.67	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.32/6.67	c vivif2 --  cl tried    10210 cl shrink        0 lits rem          0 time: 0.00
27.51/6.96	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.14
27.51/6.96	c calculated reachability. Time: 0.00
27.51/6.96	c  N dy   214     69905        60      5340         0     10210     37380    151342     17.76   no data  --
28.71/7.22	c  N dy   249     74382        60      5340         0     14203     37380    237807     17.87     19.20  --
30.71/7.73	c  N dy   272     81339        60      5340         0     20410     37380    368809     17.89     18.87  --
31.91/8.08	c  N dy   277     87150        60      5340         0     14930     37380    236080     17.83     18.79  --
32.31/8.11	c  F st   281     87501        60      5340         0     15237     37380    242880     17.84   no data  --
33.51/8.45	c  N dy   288     92870        60      5340         0     20002     37380    343909     17.84     18.82  --
35.50/8.93	c  N dy   317     99205        60      5340         0     14101     37380    212424     17.88     18.85  --
37.10/9.32	c  S st   343    104857        60      5340         0     19152     37380    319307     17.90     18.49  --
37.10/9.38	c  S st   343    105359        60      5340         0     19605     37380    329271     17.90   no data  --
37.10/9.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.10/9.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.10/9.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.10/9.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.10/9.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.10/9.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.10/9.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.84	c lits-rem:      1888  cl-subs:     1920  v-elim:      0  v-fix:    0  time:  5.77 s
43.12/10.84	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.12/10.85	c vivif2 --  cl tried    17685 cl shrink        0 lits rem          0 time: 0.01
44.28/11.19	c asymm  cl-useful: 0/4267/5340 lits-rem:0 time: 1.38
44.28/11.19	c calculated reachability. Time: 0.00
44.28/11.19	c  N dy   343    105359        60      5340         0     17685     37380    286759     17.90   no data  --
47.11/11.86	c  N dy   359    114169        60      5340         0     13164     37380    182676     17.83     18.82  --
49.87/12.52	c  N dy   390    124087        60      5340         0     21928     37380    367010     17.83     18.81  --
53.06/13.33	c  N dy   435    134426        60      5340         0     17832     37380    268610     17.86     18.83  --
55.45/14.00	c  N dy   466    143026        60      5340         0     25481     37380    430273     17.87     19.69  --
59.45/14.93	c  N dy   509    155186        60      5340         0     22111     37380    350566     17.86     18.81  --
60.28/15.18	c  S st   514    158039        60      5340         0     24618     37380    402047     17.86     17.88  --
60.68/15.25	c  S st   514    158540        60      5340         0     25070     37380    411869     17.86   no data  --
60.68/15.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.68/15.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.68/15.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.68/15.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.68/15.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.68/15.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.68/15.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.63/17.20	c lits-rem:      2006  cl-subs:     2899  v-elim:      0  v-fix:    0  time:  7.73 s
68.63/17.20	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.63/17.21	c vivif2 --  cl tried    22171 cl shrink        0 lits rem          0 time: 0.02
69.05/17.34	c asymm  cl-useful: 0/1073/5340 lits-rem:0 time: 0.52
69.05/17.34	c calculated reachability. Time: 0.00
69.05/17.34	c  N dy   514    158540        60      5340         0     22171     37380    350920     17.86   no data  --
73.02/18.37	c  N dy   548    169399        60      5340         0     16930     37380    232450     17.88     18.85  --
77.01/19.34	c  N dy   629    180224        60      5340         0     26592     37380    442693     17.97     19.65  --
81.40/20.44	c  N dy   692    191827        60      5340         0     20976     37380    310207     18.02     20.67  --
87.78/22.09	c  N dy   703    211805        60      5340         0     21768     37380    311806     17.86     19.00  --
93.77/23.57	c  N dy   781    225420        60      5340         0     33932     37380    573455     17.92     18.89  --
98.56/24.72	c  S st   823    237810        60      5340         0     27191     37380    418305     17.93     17.60  --
98.56/24.79	c  S st   823    238314        60      5340         0     27656     37380    428712     17.93   no data  --
98.56/24.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.56/24.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.96/24.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.96/24.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.96/24.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.96/24.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.96/24.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.94/26.88	c lits-rem:      1737  cl-subs:     2658  v-elim:      0  v-fix:    0  time:  8.25 s
106.94/26.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.94/26.89	c vivif2 --  cl tried    24998 cl shrink        0 lits rem          0 time: 0.02
108.56/27.28	c asymm  cl-useful: 0/3306/5340 lits-rem:0 time: 1.55
108.56/27.28	c calculated reachability. Time: 0.00
108.56/27.28	c  N dy   823    238314        60      5340         0     24998     37380    371507     17.93   no data  --
115.72/29.01	c  N dy   924    253621        60      5340         0     20107     37380    260397     18.01     19.37  --
122.90/30.86	c  N dy  1000    272124        60      5340         0     36495     37380    608903     18.04     18.99  --
130.92/32.82	c  N dy  1051    292972        60      5340         0     35469     37380    569604     18.00     18.96  --
136.47/34.22	c  F st  1084    306252        60      5340         0     26921     37380    382519     17.99   no data  --
140.06/35.12	c  N dy  1093    315672        60      5340         0     35197     37380    558255     17.99     18.94  --
148.84/37.37	c  N dy  1152    335803        60      5340         0     31790     37380    468838     17.97     18.92  --
158.81/39.83	c  N dy  1239    355867        60      5340         0     27470     37380    377912     18.00     20.49  --
159.22/39.99	c  S st  1243    357471        60      5340         0     28921     37380    408837     18.00     16.87  --
159.62/40.07	c  S st  1243    357972        60      5340         0     29382     37380    418714     18.00   no data  --
159.62/40.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
159.62/40.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.62/40.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
159.62/40.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
159.62/40.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.62/40.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
159.62/40.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
168.00/42.11	c lits-rem:      1449  cl-subs:     1753  v-elim:      0  v-fix:    0  time:  8.04 s
168.00/42.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
168.00/42.11	c vivif2 --  cl tried    27629 cl shrink        0 lits rem          0 time: 0.02
169.20/42.41	c asymm  cl-useful: 0/2034/5340 lits-rem:0 time: 1.17
169.20/42.41	c calculated reachability. Time: 0.00
169.20/42.41	c  N dy  1243    357972        60      5340         0     27629     37380    380251     18.00   no data  --
182.37/45.72	c  N dy  1323    382840        60      5340         0     26663     37380    346318     17.99     18.96  --
192.39/48.26	c  N dy  1360    402935        60      5340         0     44422     37380    719090     17.97     19.12  --
201.52/50.56	c  N dy  1388    422976        60      5340         0     38275     37380    574103     17.92     20.10  --
212.30/53.26	c  N dy  1466    442995        60      5340         0     31366     37380    425627     17.94     20.45  --
223.87/56.19	c  N dy  1554    464229        60      5340         0     50266     37380    828098     17.96     18.95  --
236.65/59.30	c  N dy  1657    487503        60      5340         0     45244     37380    711954     17.98     18.94  --
249.81/62.67	c  N dy  1779    511178        60      5340         0     39656     37380    583484     18.00     19.07  --
262.98/65.90	c  N dy  1868    531295        60      5340         0     29970     37380    365424     18.02     19.00  --
265.79/66.61	c  S st  1909    536958        60      5340         0     35040     37380    476552     18.03   no data  --
266.19/66.71	c  S st  1909    537468        60      5340         0     35501     37380    486513     18.03   no data  --
266.19/66.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
266.19/66.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.19/66.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
266.19/66.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.19/66.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.19/66.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
266.19/66.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
275.80/69.11	c lits-rem:      1132  cl-subs:     1741  v-elim:      0  v-fix:    0  time:  9.44 s
275.80/69.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
275.80/69.11	c vivif2 --  cl tried    33760 cl shrink        0 lits rem          0 time: 0.02
276.96/69.49	c asymm  cl-useful: 0/2670/5340 lits-rem:0 time: 1.50
276.96/69.49	c calculated reachability. Time: 0.00
276.96/69.49	c  N dy  1909    537468        60      5340         0     33760     37380    446622     18.03   no data  --
290.52/72.89	c  N dy  2048    558170        60      5340         0     52200     37380    846611     18.08     19.11  --
302.13/75.75	c  N dy  2144    578413        60      5340         0     41794     37380    610600     18.09     19.22  --
316.06/79.22	c  N dy  2213    599267        60      5340         0     30962     37380    365034     18.10     19.12  --
326.44/81.89	c  N dy  2263    619781        60      5340         0     49124     37380    747399     18.08     19.13  --
340.82/85.42	c  N dy  2350    639866        60      5340         0     36836     37380    481220     18.09     19.68  --
355.57/89.13	c  N dy  2424    661846        60      5340         0     56279     37380    893027     18.09     19.20  --
370.74/92.95	c  N dy  2483    686255        60      5340         0     46758     37380    677504     18.08     19.10  --
387.10/97.01	c  N dy  2585    706588        60      5340         0     32986     37380    381220     18.10     19.08  --
401.87/100.76	c  N dy  2645    730580        60      5340         0     54116     37380    823514     18.09     19.17  --
417.84/104.70	c  N dy  2768    750598        60      5340         0     39248     37380    503772     18.12     19.11  --
430.21/107.88	c  N dy  2834    770604        60      5340         0     56879     37380    875853     18.11     19.23  --
447.37/112.13	c  N dy  2966    790668        60      5340         0     41060     37380    530619     18.14     19.10  --
456.15/114.35	c  S st  2994    806203        60      5340         0     54668     37380    814572     18.13     16.61  --
456.55/114.49	c  S st  2994    806706        60      5340         0     55129     37380    824949     18.13   no data  --
456.55/114.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
456.55/114.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
456.95/114.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
456.95/114.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
456.95/114.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.95/114.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
456.95/114.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
489.28/122.60	c lits-rem:      2720  cl-subs:     6050  v-elim:      0  v-fix:    0  time: 32.15 s
489.28/122.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
489.28/122.61	c vivif2 --  cl tried    49079 cl shrink        0 lits rem          0 time: 0.04
490.08/122.86	c asymm  cl-useful: 0/773/5340 lits-rem:0 time: 1.02
490.08/122.86	c calculated reachability. Time: 0.00
490.08/122.86	c  N dy  2994    806706        60      5340         0     49079     37380    700167     18.13   no data  --
508.06/127.36	c  N dy  3073    826781        60      5340         0     66967     37380   1083512     18.13     20.22  --
521.99/130.84	c  N dy  3194    846863        60      5340         0     50608     37380    730154     18.15     19.71  --
540.76/135.50	c  N dy  3312    866954        60      5340         0     68500     37380   1119120     18.18     19.15  --
555.53/139.21	c  N dy  3375    890170        60      5340         0     53565     37380    767030     18.16     19.26  --
575.09/144.13	c  N dy  3438    914544        60      5340         0     38950     37380    451762     18.15     19.14  --
591.48/148.23	c  N dy  3440    945485        60      5340         0     66011     37380   1013372     18.10     19.13  --
609.04/152.68	c  N dy  3557    965829        60      5340         0     47138     37380    622308     18.12     19.11  --
625.37/156.71	c  N dy  3634    987071        60      5340         0     65896     37380   1023299     18.12     19.24  --
642.94/161.16	c  N dy  3688   1007962        60      5340         0     46409     37380    587568     18.11     19.13  --
656.90/164.70	c  N dy  3695   1030432        60      5340         0     66062     37380    986197     18.08     19.12  --
676.05/169.44	c  N dy  3819   1050492        60      5340         0     45161     37380    560150     18.10     19.40  --
693.21/173.72	c  F st  3945   1071875        60      5340         0     64139     37380    970085     18.11     15.85  --
693.21/173.72	c  N st  3945   1071875        60      5340         0     64139     37380    970085     18.11     15.85  --
714.40/179.08	c  N dy  4029   1094041        60      5340         0     43949     37380    519965     18.12     19.09  --
730.73/183.14	c  N dy  4098   1116711        60      5340         0     63922     37380    943123     18.12     19.16  --
753.09/188.74	c  N dy  4175   1139650        60      5340         0     43608     37380    501924     18.12     19.09  --
769.45/192.87	c  N dy  4275   1159656        60      5340         0     61418     37380    886352     18.13     19.11  --
800.58/200.66	c  N dy  4316   1189792        60      5340         0     46321     37380    546527     18.11     19.14  --
819.34/205.33	c  N dy  4373   1210060        60      5340         0     64199     37380    923024     18.10     17.50  --
819.34/205.33	c  S st  4373   1210060        60      5340         0     64199     37380    923024     18.10     17.50  --
820.17/205.57	c  S st  4373   1210563        60      5340         0     64660     37380    933406     18.10   no data  --
820.17/205.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
820.17/205.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.53/205.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
820.53/205.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.53/205.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.53/205.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
820.53/205.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
887.17/222.31	c lits-rem:      2980  cl-subs:     7055  v-elim:      0  v-fix:    0  time: 66.48 s
887.17/222.31	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
887.17/222.32	c vivif2 --  cl tried    57605 cl shrink        0 lits rem          0 time: 0.04
888.36/222.67	c asymm  cl-useful: 0/652/5340 lits-rem:0 time: 1.39
888.36/222.67	c calculated reachability. Time: 0.00
888.36/222.67	c  N dy  4373   1210563        60      5340         0     57605     37380    791398     18.10   no data  --
907.12/227.31	c  N dy  4414   1230565        60      5340         0     75154     37380   1162637     18.09     21.34  --
926.68/232.26	c  N dy  4529   1250631        60      5340         0     51058     37380    650775     18.11     20.54  --
952.62/238.75	c  N dy  4593   1282174        60      5340         0     78891     37380   1235804     18.10     19.22  --
973.81/244.03	c  N dy  4686   1303836        60      5340         0     54978     37380    716714     18.10     19.20  --
993.74/249.05	c  N dy  4750   1323876        60      5340         0     72570     37380   1086813     18.10     19.08  --
1021.69/256.09	c  N dy  4845   1343938        60      5340         0     46310     37380    523572     18.11     20.65  --
1051.61/263.54	c  N dy  4914   1376119        60      5340         0     74624     37380   1117525     18.09     19.10  --
1078.34/270.27	c  N dy  5019   1396173        60      5340         0     47447     37380    537052     18.10     20.10  --
1095.50/274.57	c  N dy  5127   1417008        60      5340         0     65895     37380    936102     18.11     19.12  --
1119.84/280.64	c  N dy  5206   1439936        60      5340         0     86116     37380   1364905     18.11     19.27  --
1140.22/285.74	c  N dy  5290   1461413        60      5340         0     59251     37380    778909     18.11     19.07  --
1160.95/290.95	c  N dy  5391   1482053        60      5340         0     77565     37380   1175952     18.12     19.29  --
1188.93/297.93	c  N dy  5542   1502086        60      5340         0     48493     37380    538425     18.14     20.32  --
1205.65/302.15	c  N dy  5625   1522134        60      5340         0     66153     37380    915849     18.15     19.65  --
1228.03/307.72	c  N dy  5645   1547886        60      5340         0     88664     37380   1387158     18.13     19.10  --
1249.16/313.09	c  N dy  5751   1567921        60      5340         0     58741     37380    751984     18.14     19.60  --
1269.51/318.13	c  N dy  5842   1587963        60      5340         0     76472     37380   1133530     18.15     20.40  --
1293.46/324.15	c  N dy  5890   1608495        60      5340         0     94497     37380   1509763     18.14     19.16  --
1312.21/328.87	c  N dy  5965   1629123        60      5340         0     64230     37380    858543     18.14     19.14  --
1332.97/334.00	c  N dy  6046   1649159        60      5340         0     81901     37380   1238227     18.14     20.22  --
1362.50/341.46	c  N dy  6181   1669215        60      5340         0     50170     37380    545040     18.16     19.96  --
1377.70/345.27	c  N dy  6235   1689281        60      5340         0     67765     37380    912523     18.15     21.00  --
1402.01/351.30	c  N dy  6307   1709313        60      5340         0     85434     37380   1285881     18.15     20.02  --
1404.04/351.87	c  S st  6320   1710563        60      5340         0     86558     37380   1310859     18.15   no data  --
1405.20/352.17	c  S st  6320   1711068        60      5340         0     87013     37380   1321346     18.15   no data  --
1405.20/352.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1405.20/352.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.60/352.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1405.60/352.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.60/352.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.60/352.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1405.60/352.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1587.98/397.97	c lits-rem:      6108  cl-subs:    11067  v-elim:      0  v-fix:    0  time: 182.38 s
1587.98/397.97	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1587.98/397.99	c vivif2 --  cl tried    75946 cl shrink        0 lits rem          0 time: 0.06
1589.95/398.43	c asymm  cl-useful: 0/498/5340 lits-rem:0 time: 1.77
1589.95/398.43	c calculated reachability. Time: 0.00
1589.95/398.43	c  N dy  6320   1711068        60      5340         0     75946     37380   1094157     18.15   no data  --
1626.67/407.66	c  N dy  6431   1733093        60      5340         0     95503     37380   1514569     18.16     19.15  --
1651.01/413.74	c  N dy  6525   1753095        60      5340         0     63481     37380    826540     18.16     19.66  --
1677.35/420.33	c  N dy  6600   1776595        60      5340         0     84116     37380   1266431     18.16     19.35  --
1718.85/430.72	c  N dy  6617   1809938        60      5340         0     62438     37380    775981     18.14     19.11  --
1744.00/437.02	c  N dy  6687   1830007        60      5340         0     80091     37380   1151060     18.14     19.86  --
1779.12/445.88	c  N dy  6746   1850347        60      5340         0     98096     37380   1535510     18.14     19.16  --
1809.85/453.55	c  N dy  6846   1872846        60      5340         0     66148     37380    855643     18.14     19.13  --
1836.59/460.29	c  N dy  6961   1892926        60      5340         0     83977     37380   1243795     18.15     19.84  --
1866.52/467.76	c  N dy  7053   1912947        60      5340         0    101697     37380   1624781     18.16     20.94  --
1888.47/473.27	c  N dy  7147   1933066        60      5340         0     66609     37380    858176     18.16     19.12  --
1913.25/479.47	c  N dy  7192   1957054        60      5340         0     87756     37380   1305423     18.16     19.12  --
1941.95/486.65	c  N dy  7275   1977105        60      5340         0    105470     37380   1683777     18.16     19.28  --
1964.30/492.20	c  N dy  7396   1997127        60      5340         0     69405     37380    912388     18.17     19.30  --
1985.06/497.47	c  N dy  7461   2017205        60      5340         0     87042     37380   1286348     18.17     19.75  --
2015.79/505.18	c  N dy  7548   2039539        60      5340         0    106722     37380   1708121     18.17     19.13  --
2041.32/511.56	c  N dy  7597   2067816        60      5340         0     76830     37380   1040319     18.16     19.14  --
2080.44/521.31	c  N dy  7691   2099877        60      5340         0    105070     37380   1639684     18.15     19.20  --
2103.99/527.28	c  N dy  7703   2125854        60      5340         0     72352     37380    934024     18.13     19.10  --
2129.53/533.65	c  N dy  7812   2145884        60      5340         0     90022     37380   1318113     18.14     19.93  --
2154.71/539.95	c  N dy  7821   2166167        60      5340         0    107707     37380   1679744     18.12     19.09  --
2175.43/545.11	c  N dy  7864   2186376        60      5340         0     69246     37380    873420     18.12     19.19  --
2197.78/550.71	c  N dy  7949   2206474        60      5340         0     86969     37380   1253696     18.12     20.62  --
2204.16/552.35	c  S st  7966   2211068        60      5340         0     91024     37380   1340122     18.12     16.67  --
2205.36/552.64	c  S st  7966   2211573        60      5340         0     91479     37380   1350575     18.12   no data  --
2205.36/552.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2205.36/552.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2205.36/552.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
2205.76/552.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2205.76/552.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2205.76/552.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2205.76/552.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2344.22/587.40	c lits-rem:      5076  cl-subs:     9885  v-elim:      0  v-fix:    0  time: 138.34 s
2344.22/587.41	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2344.22/587.42	c vivif2 --  cl tried    81594 cl shrink        0 lits rem          0 time: 0.06
2345.82/587.82	c asymm  cl-useful: 0/487/5340 lits-rem:0 time: 1.60
2345.82/587.82	c calculated reachability. Time: 0.00
2345.82/587.82	c  N dy  7966   2211573        60      5340         0     81594     37380   1142210     18.12   no data  --
2378.94/596.17	c  N dy  8093   2231626        60      5340         0     99307     37380   1528691     18.13     20.54  --
2414.06/604.96	c  N dy  8172   2251716        60      5340         0     60422     37380    682669     18.14     19.54  --
2436.41/610.50	c  N dy  8228   2271739        60      5340         0     77997     37380   1053402     18.13     19.24  --
2488.68/623.68	c  N dy  8337   2305218        60      5340         0    107422     37380   1674955     18.13     19.09  --
2525.80/632.96	c  N dy  8486   2325231        60      5340         0     67428     37380    825503     18.14     21.59  --
2554.93/640.21	c  N dy  8556   2345433        60      5340         0     85275     37380   1206829     18.14     19.13  --
2597.66/650.92	c  N dy  8672   2366805        60      5340         0    104162     37380   1617816     18.15     19.17  --
2648.72/663.75	c  N dy  8731   2398365        60      5340         0     72831     37380    907902     18.14     19.10  --
2683.44/672.44	c  N dy  8824   2418860        60      5340         0     90854     37380   1295916     18.14     19.18  --
2721.00/681.85	c  N dy  8885   2440752        60      5340         0    110095     37380   1706008     18.14     19.17  --
2756.12/690.66	c  N dy  8970   2461030        60      5340         0     68200     37380    807485     18.15     19.13  --
2783.61/697.56	c  N dy  9083   2481206        60      5340         0     85948     37380   1193970     18.15     19.15  --
2820.34/706.79	c  N dy  9226   2501396        60      5340         0    103852     37380   1588661     18.16     19.24  --
2861.07/716.99	c  N dy  9317   2522363        60      5340         0     61630     37380    662628     18.17     19.16  --
2896.19/725.75	c  N dy  9422   2551259        60      5340         0     86998     37380   1205805     18.17     19.14  --
2926.10/733.26	c  N dy  9494   2571268        60      5340         0    104590     37380   1582311     18.17     19.19  --
2967.60/743.61	c  N dy  9618   2592560        60      5340         0     61819     37380    656716     18.18     19.15  --
2989.95/749.23	c  N dy  9746   2612607        60      5340         0     79531     37380   1044629     18.19     19.49  --
3018.29/756.34	c  N dy  9858   2632696        60      5340         0     97332     37380   1432919     18.19     20.11  --
3050.62/764.41	c  N dy  9962   2652730        60      5340         0    114919     37380   1814491     18.20     19.97  --
3082.94/772.53	c  N dy 10071   2672874        60      5340         0     70088     37380    825945     18.20     19.19  --
3104.49/777.99	c  N dy 10143   2693212        60      5340         0     87997     37380   1208393     18.20     19.17  --
3128.86/784.07	c  S st 10213   2711573        60      5340         0    104180     37380   1554275     18.20   no data  --
3130.03/784.38	c  S st 10213   2712076        60      5340         0    104625     37380   1564281     18.20   no data  --
3130.03/784.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3130.03/784.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3130.43/784.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.20
3130.43/784.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3130.43/784.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3130.43/784.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3130.43/784.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3534.28/885.66	c lits-rem:      5777  cl-subs:    11852  v-elim:      0  v-fix:    0  time: 403.66 s
3534.28/885.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3534.28/885.68	c vivif2 --  cl tried    92773 cl shrink        0 lits rem          0 time: 0.08
3535.88/886.08	c asymm  cl-useful: 0/581/5340 lits-rem:0 time: 1.60
3535.88/886.08	c calculated reachability. Time: 0.00
3535.88/886.08	c  N dy 10213   2712076        60      5340         0     92773     37380   1314452     18.20   no data  --
3575.39/895.91	c  N dy 10322   2732113        60      5340         0    110450     37380   1694349     18.21     19.81  --
3616.53/906.26	c  N dy 10411   2752184        60      5340         0     65390     37380    721557     18.21     21.26  --
3646.83/913.83	c  N dy 10521   2772555        60      5340         0     83347     37380   1111250     18.22     19.21  --
3689.51/924.58	c  N dy 10657   2792647        60      5340         0    101137     37380   1502872     18.23     19.22  --
3736.98/936.44	c  N dy 10737   2813120        60      5340         0    119197     37380   1892466     18.23     19.20  --
3778.09/946.76	c  N dy 10812   2833139        60      5340         0     72752     37380    863534     18.23     20.62  --
3826.80/958.97	c  N dy 10913   2865080        60      5340         0    100794     37380   1464789     18.23     19.23  --
3873.46/970.64	c  N dy 11041   2885138        60      5340         0    118516     37380   1853526     18.24     19.34  --
3920.54/982.48	c  N dy 11122   2908452        60      5340         0     73897     37380    872867     18.24     19.27  --
3955.67/991.22	c  N dy 11226   2928480        60      5340         0     91587     37380   1254210     18.24     20.00  --
3999.56/1002.24	c  N dy 11363   2948538        60      5340         0    109331     37380   1643907     18.25     22.21  --
4049.44/1014.78	c  N dy 11456   2969989        60      5340         0    128214     37380   2050438     18.25     19.33  --
4084.95/1023.67	c  N dy 11509   2992856        60      5340         0     82327     37380   1040922     18.25     19.28  --
4122.85/1033.10	c  N dy 11609   3013275        60      5340         0    100335     37380   1433781     18.25     19.25  --
4157.17/1041.78	c  N dy 11668   3033868        60      5340         0    118445     37380   1817784     18.25     19.23  --
4193.09/1050.73	c  N dy 11734   3053913        60      5340         0     69218     37380    759215     18.25     19.50  --
4218.23/1057.01	c  N dy 11851   3074219        60      5340         0     87124     37380   1151253     18.26     19.25  --
4242.98/1063.20	c  N dy 11894   3094228        60      5340         0    104603     37380   1514329     18.25     20.63  --
4281.29/1072.89	c  N dy 11974   3116465        60      5340         0    124158     37380   1934547     18.25     19.23  --
4323.58/1083.42	c  N dy 12075   3138095        60      5340         0     75531     37380    885369     18.25     19.30  --
4354.70/1091.28	c  N dy 12172   3158965        60      5340         0     93954     37380   1283793     18.26     19.22  --
4393.46/1100.98	c  N dy 12256   3180268        60      5340         0    112704     37380   1687843     18.26     19.23  --
4450.88/1115.39	c  N dy 12364   3207420        60      5340         0    136598     37380   2200219     18.26     19.24  --
4459.66/1117.58	c  S st 12383   3212076        60      5340         0     72053     37380    799332     18.26     17.50  --
4460.86/1117.85	c  S st 12383   3212583        60      5340         0     72503     37380    809401     18.26   no data  --
4460.86/1117.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4460.86/1117.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4460.86/1117.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4461.26/1117.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4461.26/1117.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4461.26/1117.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4461.26/1117.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4535.88/1136.64	c lits-rem:       558  cl-subs:     1048  v-elim:      0  v-fix:    0  time: 74.67 s
4535.88/1136.64	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4535.88/1136.65	c vivif2 --  cl tried    71455 cl shrink        0 lits rem          0 time: 0.05
4537.48/1137.01	c asymm  cl-useful: 0/607/5340 lits-rem:0 time: 1.44
4537.48/1137.02	c calculated reachability. Time: 0.00
4537.48/1137.02	c  N dy 12383   3212583        60      5340         0     71455     37380    786463     18.26   no data  --
4588.15/1149.77	c  N dy 12393   3254481        60      5340         0    107909     37380   1524570     18.23     19.31  --
4621.31/1158.05	c  N dy 12472   3274954        60      5340         0    125980     37380   1915308     18.23     19.23  --
4659.59/1167.68	c  N dy 12574   3295220        60      5340         0     74551     37380    847149     18.24     19.20  --
4686.33/1174.35	c  N dy 12696   3315443        60      5340         0     92446     37380   1238983     18.24     19.23  --
4717.46/1182.12	c  N dy 12791   3335571        60      5340         0    110092     37380   1621180     18.25     19.22  --
4752.58/1190.94	c  N dy 12872   3355617        60      5340         0    127697     37380   2000509     18.25     19.24  --
4795.28/1201.64	c  N dy 12993   3377165        60      5340         0     76404     37380    874864     18.25     19.42  --

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=281788 CPUtime=0.01 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 910 0 0 0 1 0 0 0 25 0 4 0 633500735 288550912 826 33554432000 4194304 4650419 140736424447088 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 70447 828 343 112 0 65412 0
[pid=28075/tid=28076] ppid=28073 vsize=281920 CPUtime=0 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 156 0 0 0 0 0 0 0 25 0 4 0 633500736 288686080 1004 33554432000 4194304 4650419 140736424447088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=281920 CPUtime=0 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 157 0 0 0 0 0 0 0 25 0 4 0 633500736 288686080 1004 33554432000 4194304 4650419 140736424447088 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=281920 CPUtime=0 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 168 0 0 0 0 0 0 0 25 0 4 0 633500736 288686080 1005 33554432000 4194304 4650419 140736424447088 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.107722 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=282044 CPUtime=0.4 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 1329 0 0 0 40 0 0 0 25 0 4 0 633500735 288813056 1245 33554432000 4194304 4650419 140736424447088 18446744073709551615 4370707 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 70511 1245 366 112 0 65476 0
[pid=28075/tid=28076] ppid=28073 vsize=282044 CPUtime=0.1 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 190 0 0 0 10 0 0 0 25 0 4 0 633500736 288813056 1245 33554432000 4194304 4650419 140736424447088 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=282044 CPUtime=0.09 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 200 0 0 0 9 0 0 0 25 0 4 0 633500736 288813056 1245 33554432000 4194304 4650419 140736424447088 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=282044 CPUtime=0.1 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 310 0 0 0 10 0 0 0 25 0 4 0 633500736 288813056 1245 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282044

[startup+1.00856 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=287040 CPUtime=4 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 6953 0 0 0 400 0 0 0 25 0 4 0 633500735 293928960 3664 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 71760 3664 391 112 0 66725 0
[pid=28075/tid=28076] ppid=28073 vsize=287040 CPUtime=1 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1646 0 0 0 100 0 0 0 19 0 4 0 633500736 293928960 3664 33554432000 4194304 4650419 140736424447088 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=287040 CPUtime=0.99 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1588 0 0 0 99 0 0 0 25 0 4 0 633500736 293928960 3664 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=287040 CPUtime=1 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1585 0 0 0 100 0 0 0 25 0 4 0 633500736 293928960 3664 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 287040

[startup+1.10054 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=287040 CPUtime=4.37 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 7156 0 0 0 436 1 0 0 25 0 4 0 633500735 293928960 3867 33554432000 4194304 4650419 140736424447088 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 71760 3868 391 112 0 66725 0
[pid=28075/tid=28076] ppid=28073 vsize=287040 CPUtime=1.09 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1692 0 0 0 109 0 0 0 19 0 4 0 633500736 293928960 3868 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=287040 CPUtime=1.09 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1632 0 0 0 109 0 0 0 25 0 4 0 633500736 293928960 3868 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=287040 CPUtime=1.09 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1636 0 0 0 109 0 0 0 25 0 4 0 633500736 293928960 3868 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 287040

[startup+1.20052 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=287640 CPUtime=4.77 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 7990 0 0 0 476 1 0 0 25 0 4 0 633500735 294543360 3730 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 71910 3730 391 112 0 66875 0
[pid=28075/tid=28076] ppid=28073 vsize=287640 CPUtime=1.19 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1969 0 0 0 119 0 0 0 19 0 4 0 633500736 294543360 3730 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=287640 CPUtime=1.18 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1868 0 0 0 118 0 0 0 25 0 4 0 633500736 294543360 3730 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=287640 CPUtime=1.19 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 1681 0 0 0 119 0 0 0 25 0 4 0 633500736 294543360 3730 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 287640

[startup+1.50047 s]
/proc/loadavg: 0.00 0.00 0.08 5/294 28075
/proc/meminfo: memFree=24415296/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=287708 CPUtime=5.97 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 10003 0 0 0 596 1 0 0 25 0 4 0 633500735 294612992 5353 33554432000 4194304 4650419 140736424447088 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 71927 5353 392 112 0 66892 0
[pid=28075/tid=28076] ppid=28073 vsize=287708 CPUtime=1.49 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 2133 0 0 0 149 0 0 0 19 0 4 0 633500736 294612992 5353 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=287708 CPUtime=1.48 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 2013 0 0 0 148 0 0 0 25 0 4 0 633500736 294612992 5353 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=287708 CPUtime=1.49 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 2056 0 0 0 149 0 0 0 25 0 4 0 633500736 294612992 5353 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287708

[startup+3.11117 s]
/proc/loadavg: 0.00 0.00 0.08 9/298 28079
/proc/meminfo: memFree=24330820/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=286096 CPUtime=12.4 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 16475 0 0 0 1237 3 0 0 25 0 4 0 633500735 292962304 10075 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 71524 10075 392 112 0 66489 0
[pid=28075/tid=28076] ppid=28073 vsize=286096 CPUtime=3.07 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 3707 0 0 0 307 0 0 0 25 0 4 0 633500736 292962304 10075 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=286096 CPUtime=3.1 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 4134 0 0 0 309 1 0 0 25 0 4 0 633500736 292962304 10075 33554432000 4194304 4650419 140736424447088 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=286096 CPUtime=3.1 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 4427 0 0 0 310 0 0 0 25 0 4 0 633500736 292962304 10075 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 286096

[startup+6.30059 s]
/proc/loadavg: 0.64 0.13 0.13 9/298 28079
/proc/meminfo: memFree=24302008/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=304556 CPUtime=25.15 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 23286 0 0 0 2511 4 0 0 25 0 4 0 633500735 311865344 12773 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 76139 12773 392 112 0 71104 0
[pid=28075/tid=28076] ppid=28073 vsize=304556 CPUtime=6.24 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 6030 0 0 0 624 0 0 0 25 0 4 0 633500736 311865344 12774 33554432000 4194304 4650419 140736424447088 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=304556 CPUtime=6.29 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 5479 0 0 0 628 1 0 0 25 0 4 0 633500736 311865344 12774 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=304556 CPUtime=6.3 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 6399 0 0 0 629 1 0 0 25 0 4 0 633500736 311865344 12774 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 304556

[startup+12.7004 s]
/proc/loadavg: 1.23 0.26 0.17 9/298 28079
/proc/meminfo: memFree=24260636/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=309860 CPUtime=50.67 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 35806 0 0 0 5060 7 0 0 25 0 4 0 633500735 317296640 17114 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 77465 17114 392 112 0 72430 0
[pid=28075/tid=28076] ppid=28073 vsize=309860 CPUtime=12.59 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 9347 0 0 0 1258 1 0 0 25 0 4 0 633500736 317296640 17114 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=309860 CPUtime=12.69 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 8360 0 0 0 1267 2 0 0 25 0 4 0 633500736 317296640 17114 33554432000 4194304 4650419 140736424447088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=309860 CPUtime=12.68 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 10041 0 0 0 1267 1 0 0 25 0 4 0 633500736 317296640 17114 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 309860

[startup+25.5011 s]
/proc/loadavg: 2.73 0.64 0.29 9/298 28080
/proc/meminfo: memFree=24207384/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=320412 CPUtime=101.75 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 53439 0 0 0 10163 12 0 0 25 0 4 0 633500735 328101888 23329 33554432000 4194304 4650419 140736424447088 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 80103 23329 392 112 0 75068 0
[pid=28075/tid=28076] ppid=28073 vsize=320412 CPUtime=25.26 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 14923 0 0 0 2524 2 0 0 25 0 4 0 633500736 328101888 23329 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=320412 CPUtime=25.49 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 11725 0 0 0 2546 3 0 0 25 0 4 0 633500736 328101888 23329 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=320412 CPUtime=25.49 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 14681 0 0 0 2546 3 0 0 25 0 4 0 633500736 328101888 23329 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 320412

[startup+51.1003 s]
/proc/loadavg: 4.58 1.25 0.50 9/298 28080
/proc/meminfo: memFree=24178336/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=311848 CPUtime=203.92 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 77827 0 0 0 20372 20 0 0 25 0 4 0 633500735 319332352 25463 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 77962 25463 392 112 0 72927 0
[pid=28075/tid=28076] ppid=28073 vsize=311848 CPUtime=50.63 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 21278 0 0 0 5059 4 0 0 25 0 4 0 633500736 319332352 25463 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=311848 CPUtime=51.08 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 17532 0 0 0 5104 4 0 0 25 0 4 0 633500736 319332352 25463 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=311848 CPUtime=51.08 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 21959 0 0 0 5103 5 0 0 25 0 4 0 633500736 319332352 25463 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 311848

[startup+102.301 s]
/proc/loadavg: 6.62 2.32 0.90 9/298 28082
/proc/meminfo: memFree=24129840/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=316032 CPUtime=408.25 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 120384 0 0 0 40790 35 0 0 25 0 4 0 633500735 323616768 31381 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 79008 31381 392 112 0 73973 0
[pid=28075/tid=28076] ppid=28073 vsize=316032 CPUtime=101.37 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 29942 0 0 0 10130 7 0 0 25 0 4 0 633500736 323616768 31381 33554432000 4194304 4650419 140736424447088 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=316032 CPUtime=102.29 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 28332 0 0 0 10220 9 0 0 25 0 4 0 633500736 323616768 31381 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=316032 CPUtime=102.29 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 35127 0 0 0 10219 10 0 0 25 0 4 0 633500736 323616768 31381 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 316032

[startup+162.301 s]

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

[pid=28075] ppid=28073 vsize=372028 CPUtime=2802.78 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 384265 0 0 0 280138 140 0 0 25 0 4 0 633500735 380956672 66525 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 93007 66525 392 112 0 87972 0
[pid=28075/tid=28076] ppid=28073 vsize=372028 CPUtime=695.84 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 101729 0 0 0 69552 32 0 0 25 0 4 0 633500736 380956672 66525 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=372028 CPUtime=702.3 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 80016 0 0 0 70197 33 0 0 25 0 4 0 633500736 380956672 66525 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=372028 CPUtime=702.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 109162 0 0 0 70194 37 0 0 25 0 4 0 633500736 380956672 66525 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.78
Current children cumulated vsize (KiB) 372028

[startup+762.301 s]
/proc/loadavg: 8.19 7.50 4.56 9/298 28101
/proc/meminfo: memFree=23795312/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=373268 CPUtime=3042.24 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 404178 0 0 0 304075 149 0 0 25 0 4 0 633500735 382226432 66663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 93317 66663 392 112 0 88282 0
[pid=28075/tid=28076] ppid=28073 vsize=373268 CPUtime=755.29 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 107517 0 0 0 75496 33 0 0 25 0 4 0 633500736 382226432 66663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=373268 CPUtime=762.31 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 84499 0 0 0 76195 36 0 0 25 0 4 0 633500736 382226432 66663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=373268 CPUtime=762.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 113242 0 0 0 76193 38 0 0 25 0 4 0 633500736 382226432 66663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.24
Current children cumulated vsize (KiB) 373268

[startup+822.301 s]
/proc/loadavg: 8.26 7.63 4.79 9/298 28103
/proc/meminfo: memFree=23788832/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=426932 CPUtime=3281.69 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 419654 0 0 0 328013 156 0 0 25 0 4 0 633500735 437178368 69559 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 106733 69559 392 112 0 101698 0
[pid=28075/tid=28076] ppid=28073 vsize=426932 CPUtime=814.73 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 109941 0 0 0 81439 34 0 0 25 0 4 0 633500736 437178368 69559 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=426932 CPUtime=822.31 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 87694 0 0 0 82193 38 0 0 25 0 4 0 633500736 437178368 69559 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=426932 CPUtime=822.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 116419 0 0 0 82191 40 0 0 25 0 4 0 633500736 437178368 69559 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.69
Current children cumulated vsize (KiB) 426932

[startup+882.301 s]
/proc/loadavg: 8.13 7.71 5.00 9/298 28105
/proc/meminfo: memFree=23753956/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=439644 CPUtime=3521.12 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 439369 0 0 0 351950 162 0 0 25 0 4 0 633500735 450195456 73257 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 109911 73257 392 112 0 104876 0
[pid=28075/tid=28076] ppid=28073 vsize=439644 CPUtime=874.16 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 110228 0 0 0 87382 34 0 0 25 0 4 0 633500736 450195456 73257 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=439644 CPUtime=882.31 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 91405 0 0 0 88191 40 0 0 25 0 4 0 633500736 450195456 73257 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=439644 CPUtime=882.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 119568 0 0 0 88189 42 0 0 25 0 4 0 633500736 450195456 73257 33554432000 4194304 4650419 140736424447088 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.12
Current children cumulated vsize (KiB) 439644

[startup+942.301 s]
/proc/loadavg: 8.08 7.78 5.19 9/298 28106
/proc/meminfo: memFree=23723324/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=468012 CPUtime=3760.54 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 452677 0 0 0 375884 170 0 0 25 0 4 0 633500735 479244288 73432 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 117003 73432 392 112 0 111968 0
[pid=28075/tid=28076] ppid=28073 vsize=468012 CPUtime=933.57 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 115630 0 0 0 93321 36 0 0 25 0 4 0 633500736 479244288 73432 33554432000 4194304 4650419 140736424447088 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=468012 CPUtime=942.31 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 95233 0 0 0 94187 44 0 0 25 0 4 0 633500736 479244288 73432 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=468012 CPUtime=942.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 119569 0 0 0 94189 42 0 0 25 0 4 0 633500736 479244288 73432 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.54
Current children cumulated vsize (KiB) 468012

[startup+1002.3 s]
/proc/loadavg: 8.20 7.86 5.37 9/298 28108
/proc/meminfo: memFree=23729984/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=480472 CPUtime=3999.96 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 465500 0 0 0 399820 176 0 0 25 0 4 0 633500735 492003328 74696 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 120118 74696 392 112 0 115083 0
[pid=28075/tid=28076] ppid=28073 vsize=480472 CPUtime=992.99 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 120756 0 0 0 99262 37 0 0 25 0 4 0 633500736 492003328 74696 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=480472 CPUtime=1002.31 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 98178 0 0 0 100185 46 0 0 25 0 4 0 633500736 492003328 74696 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=480472 CPUtime=1002.31 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 119569 0 0 0 100189 42 0 0 25 0 4 0 633500736 492003328 74696 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.96
Current children cumulated vsize (KiB) 480472

[startup+1062.3 s]
/proc/loadavg: 8.28 7.93 5.55 10/299 28113
/proc/meminfo: memFree=23695608/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=493172 CPUtime=4239.42 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 475682 0 0 0 423761 181 0 0 25 0 4 0 633500735 505008128 82471 33554432000 4194304 4650419 140736424447088 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 123293 82471 392 112 0 118258 0
[pid=28075/tid=28076] ppid=28073 vsize=493172 CPUtime=1052.42 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 124875 0 0 0 105203 39 0 0 25 0 4 0 633500736 505008128 82472 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=493172 CPUtime=1062.33 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 98485 0 0 0 106186 47 0 0 25 0 4 0 633500736 505008128 82472 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=493172 CPUtime=1062.32 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 122006 0 0 0 106189 43 0 0 25 0 4 0 633500736 505008128 82472 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.42
Current children cumulated vsize (KiB) 493172

[startup+1122.3 s]
/proc/loadavg: 8.31 8.01 5.73 9/298 28115
/proc/meminfo: memFree=23664000/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=506044 CPUtime=4478.81 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 488770 0 0 0 447692 189 0 0 25 0 4 0 633500735 518189056 88375 33554432000 4194304 4650419 140736424447088 18446744073709551615 4438387 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 126511 88375 392 112 0 121476 0
[pid=28075/tid=28076] ppid=28073 vsize=506044 CPUtime=1111.84 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 129512 0 0 0 111141 43 0 0 25 0 4 0 633500736 518189056 88375 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=506044 CPUtime=1122.32 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 99343 0 0 0 112185 47 0 0 25 0 4 0 633500736 518189056 88375 33554432000 4194304 4650419 140736424447088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=506044 CPUtime=1122.32 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 125525 0 0 0 112187 45 0 0 25 0 4 0 633500736 518189056 88375 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.81
Current children cumulated vsize (KiB) 506044

[startup+1182.31 s]
/proc/loadavg: 8.16 8.02 5.87 9/298 28117
/proc/meminfo: memFree=23719172/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=506092 CPUtime=4718.29 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 498055 0 0 0 471633 196 0 0 25 0 4 0 633500735 518238208 82143 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 126523 82143 392 112 0 121488 0
[pid=28075/tid=28076] ppid=28073 vsize=506092 CPUtime=1171.28 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 130922 0 0 0 117084 44 0 0 25 0 4 0 633500736 518238208 82143 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=506092 CPUtime=1182.33 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 99880 0 0 0 118185 48 0 0 25 0 4 0 633500736 518238208 82143 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=506092 CPUtime=1182.33 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 128559 0 0 0 118185 48 0 0 25 0 4 0 633500736 518238208 82143 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.29
Current children cumulated vsize (KiB) 506092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.11 8.02 5.92 10/298 28117
/proc/meminfo: memFree=23718668/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=506152 CPUtime=4800.11 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 501393 0 0 0 479813 198 0 0 25 0 4 0 633500735 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 126538 82663 392 112 0 121503 0
[pid=28075/tid=28076] ppid=28073 vsize=506152 CPUtime=1191.59 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 130928 0 0 0 119115 44 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=506152 CPUtime=1202.83 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 99880 0 0 0 120235 48 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=506152 CPUtime=1202.83 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 129943 0 0 0 120235 48 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 506152

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.11 8.02 5.92 10/298 28117
/proc/meminfo: memFree=23718668/32951124 swapFree=63485424/67111528
[pid=28075] ppid=28073 vsize=506152 CPUtime=4800.11 cores=1,3,5,7
/proc/28075/stat : 28075 (strangenight1-m) R 28073 28075 28032 0 -1 4202496 501393 0 0 0 479813 198 0 0 25 0 4 0 633500735 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28075/statm: 126538 82663 392 112 0 121503 0
[pid=28075/tid=28076] ppid=28073 vsize=506152 CPUtime=1191.59 cores=1,3,5,7
/proc/28075/task/28076/stat : 28076 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 130928 0 0 0 119115 44 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28075/tid=28077] ppid=28073 vsize=506152 CPUtime=1202.83 cores=1,3,5,7
/proc/28075/task/28077/stat : 28077 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 99880 0 0 0 120235 48 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28075/tid=28078] ppid=28073 vsize=506152 CPUtime=1202.83 cores=1,3,5,7
/proc/28075/task/28078/stat : 28078 (strangenight1-m) R 28073 28075 28032 0 -1 4202560 129943 0 0 0 120235 48 0 0 25 0 4 0 633500736 518299648 82663 33554432000 4194304 4650419 140736424447088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 506152

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.83
CPU time (s): 4800.16
CPU user time (s): 4798.16
CPU system time (s): 1.9937
CPU usage (%): 399.072
Max. virtual memory (cumulated for all children) (KiB): 518856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 1.9937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501394
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= 233
involuntary context switches= 20063

runsolver used 2.99754 second user time and 8.27074 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 00:07:28
IDJOB=3369024
IDBENCH=83033
IDSOLVER=1846
FILE ID=node147/3369024-1305410848
RUNJOBID= node147-1305410848-28053
PBS_JOBID= 13324515
Free space on /tmp= 73100 MiB

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

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

MD5SUM BENCH= 7f4758baa378252dd3709cff507a5405
RANDOM SEED=336694040

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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:      24415700 kB
Buffers:        289824 kB
Cached:        4976608 kB
SwapCached:      13132 kB
Active:        1641912 kB
Inactive:      6659244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24415700 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:     3030252 kB
Mapped:          14796 kB
Slab:           140252 kB
PageTables:      29176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44914332 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= 73096 MiB
End job on node147 at 2011-05-15 00:27:33