Trace number 3175299

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.21 1201.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
MD5SUM0448cdbfc0b1241b735cac942d079298
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.021
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3175299-1304109354.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.17/0.80	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
3.17/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      18 undec:       1 neg:      31
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.17/0.80	c  N dy    11      4240        50      4450         0      3689     31150     68023     15.69     16.54  --
3.17/0.80	c  N dy    17      8936        50      4450         0      5558     31150     96489     15.35     16.20  --
3.17/0.80	c  N dy    28     12966        50      4450         0      5358     31150     88732     15.31     16.20  --
3.17/0.80	c  N dy    41     17346        50      4450         0      9175     31150    158372     15.36     16.23  --
3.57/1.00	c  N dy    63     22906        50      4450         0      9133     31150    151990     15.41     16.42  --
3.57/1.00	c  F st    71     25000        50      4450         0     10966     31150    185222     15.39   no data  --
3.99/1.10	c  N st    75     27039        50      4450         0      6836     31150    103919     15.39   no data  --
5.17/1.30	c  S st    77     30000        50      4450         0      9411     31150    151032     15.39   no data  --
5.17/1.30	c  S st    77     30502        50      4450         0      9859     31150    159730     15.39   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
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:     50 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.11	c lits-rem:      1365  cl-subs:     1492  v-elim:      0  v-fix:    0  time:  3.45 s
9.17/2.33	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.90
9.17/2.33	c calculated reachability. Time: 0.00
9.17/2.33	c  N dy    77     30502        50      4450         0      8367     31150    133358     15.39   no data  --
9.97/2.58	c  N dy   100     34871        50      4450         0     12175     31150    203148     15.47     16.32  --
10.77/2.80	c  N dy   127     38927        50      4450         0      8925     31150    135904     15.57     16.45  --
11.97/3.09	c  N dy   150     44617        50      4450         0     13893     31150    225537     15.55     16.49  --
12.37/3.16	c  S st   157     45755        50      4450         0     14882     31150    244101     15.58     15.92  --
12.78/3.20	c  S st   157     46257        50      4450         0     15341     31150    252818     15.58   no data  --
12.78/3.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.78/3.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.78/3.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.78/3.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.78/3.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.78/3.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.78/3.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.57/4.44	c lits-rem:      2014  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  4.89 s
17.57/4.44	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.57/4.44	c vivif2 --  cl tried    12852 cl shrink        0 lits rem          0 time: 0.01
18.75/4.76	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.26
18.75/4.76	c calculated reachability. Time: 0.00
18.75/4.76	c  N dy   157     46257        50      4450         0     12852     31150    206797     15.58   no data  --
20.35/5.18	c  N dy   182     54473        50      4450         0     12331     31150    183991     15.44     16.30  --
21.15/5.39	c  N dy   185     58737        50      4450         0     16022     31150    249703     15.36     16.19  --
22.74/5.71	c  N dy   221     64471        50      4450         0     12486     31150    186496     15.43     16.26  --
23.94/6.02	c  N dy   239     69385        50      4450         0     16730     31150    263888     15.46     14.15  --
23.94/6.02	c  S st   239     69385        50      4450         0     16730     31150    263888     15.46     14.15  --
23.94/6.07	c  S st   239     69888        50      4450         0     17178     31150    272565     15.46   no data  --
23.94/6.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.94/6.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.94/6.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.94/6.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.94/6.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.27	c lits-rem:      1745  cl-subs:     2455  v-elim:      0  v-fix:    0  time:  4.76 s
28.74/7.27	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.74/7.28	c vivif2 --  cl tried    14723 cl shrink        0 lits rem          0 time: 0.01
30.35/7.61	c asymm  cl-useful: 0/4364/4450 lits-rem:0 time: 1.33
30.35/7.61	c calculated reachability. Time: 0.00
30.35/7.61	c  N dy   239     69888        50      4450         0     14723     31150    227391     15.46   no data  --
31.93/8.04	c  N dy   252     75786        50      4450         0     10450     31150    139888     15.43     16.38  --
33.53/8.47	c  N dy   260     83612        50      4450         0     17156     31150    256422     15.32     16.32  --
34.74/8.80	c  F st   286     87500        50      4450         0     10316     31150    133393     15.38     14.64  --
35.52/8.91	c  N st   290     89534        50      4450         0     12065     31150    165975     15.38   no data  --
38.33/9.69	c  N dy   300    102677        50      4450         0     12215     31150    158680     15.24     16.08  --
39.14/9.83	c  S st   321    104833        50      4450         0     14097     31150    194218     15.28   no data  --
39.14/9.87	c  S st   321    105336        50      4450         0     14551     31150    203104     15.28   no data  --
39.14/9.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.14/9.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.14/9.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.14/9.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.14/9.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.14/9.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.14/9.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.81	c lits-rem:       851  cl-subs:      984  v-elim:      0  v-fix:    0  time:  3.72 s
43.12/10.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.12/10.82	c vivif2 --  cl tried    13567 cl shrink        0 lits rem          0 time: 0.01
44.31/11.13	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.24
44.31/11.13	c calculated reachability. Time: 0.00
44.31/11.13	c  N dy   321    105336        50      4450         0     13567     31150    185384     15.28   no data  --
47.93/12.01	c  N dy   360    118660        50      4450         0     13081     31150    166920     15.23     16.06  --
49.91/12.55	c  N dy   389    126934        50      4450         0     20197     31150    292616     15.21     16.02  --
52.73/13.29	c  N dy   446    135073        50      4450         0     14340     31150    185194     15.30     17.84  --
55.50/13.95	c  N dy   506    143775        50      4450         0     21902     31150    325446     15.38     17.69  --
59.10/14.83	c  N dy   565    153297        50      4450         0     16342     31150    214049     15.44     16.26  --
60.30/15.16	c  S st   580    158004        50      4450         0     20419     31150    287318     15.43     12.71  --
60.70/15.21	c  S st   580    158506        50      4450         0     20868     31150    296078     15.43   no data  --
60.70/15.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.70/15.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.70/15.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.70/15.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.70/15.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.70/15.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.70/15.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.50/16.42	c lits-rem:      1556  cl-subs:     2084  v-elim:      0  v-fix:    0  time:  4.76 s
65.50/16.42	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.50/16.42	c vivif2 --  cl tried    18784 cl shrink        0 lits rem          0 time: 0.01
66.68/16.79	c asymm  cl-useful: 0/3805/4450 lits-rem:0 time: 1.46
66.68/16.79	c calculated reachability. Time: 0.00
66.68/16.79	c  N dy   580    158506        50      4450         0     18784     31150    258438     15.43   no data  --
71.88/18.02	c  N dy   629    171843        50      4450         0     15735     31150    196017     15.42     16.38  --
75.47/18.94	c  N dy   674    183309        50      4450         0     25654     31150    377257     15.44     16.28  --
79.86/20.05	c  N dy   708    196173        50      4450         0     21265     31150    290298     15.44     16.28  --
85.86/21.57	c  N dy   740    211809        50      4450         0     18344     31150    227638     15.40     16.23  --
91.05/22.88	c  N dy   809    225480        50      4450         0     30170     31150    446149     15.44     16.26  --
95.84/24.04	c  S st   854    237759        50      4450         0     23559     31150    316509     15.45     15.63  --
96.27/24.10	c  S st   854    238261        50      4450         0     24000     31150    324973     15.45   no data  --
96.27/24.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.27/24.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.27/24.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.27/24.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.27/24.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.27/24.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.27/24.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.84/25.56	c lits-rem:      1584  cl-subs:     1985  v-elim:      0  v-fix:    0  time:  5.76 s
101.84/25.56	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
101.84/25.56	c vivif2 --  cl tried    22015 cl shrink        0 lits rem          0 time: 0.01
102.23/25.65	c asymm  cl-useful: 0/645/4450 lits-rem:0 time: 0.33
102.23/25.65	c calculated reachability. Time: 0.00
102.23/25.65	c  N dy   854    238261        50      4450         0     22015     31150    289135     15.45   no data  --
109.45/27.42	c  N dy   895    256667        50      4450         0     19878     31150    239335     15.41     16.23  --
115.82/29.05	c  N dy   959    273585        50      4450         0     34521     31150    505444     15.42     16.40  --
123.03/30.84	c  N dy  1033    291120        50      4450         0     30672     31150    428279     15.43     16.77  --
130.60/32.73	c  F st  1138    306251        50      4450         0     24027     31150    305651     15.49   no data  --
132.19/33.19	c  N dy  1144    311445        50      4450         0     28542     31150    388976     15.49   no data  --
142.18/35.68	c  N dy  1240    331391        50      4450         0     25039     31150    314264     15.52     17.45  --
151.36/37.98	c  N dy  1309    351467        50      4450         0     42321     31150    629178     15.52     17.01  --
154.15/38.67	c  S st  1341    357391        50      4450         0     25819     31150    321613     15.53     13.25  --
154.55/38.74	c  S st  1341    357893        50      4450         0     26263     31150    330310     15.53   no data  --
154.55/38.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.55/38.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.55/38.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
154.55/38.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.55/38.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.55/38.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.55/38.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.75/40.52	c lits-rem:       932  cl-subs:     1416  v-elim:      0  v-fix:    0  time:  7.05 s
161.75/40.52	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.75/40.53	c vivif2 --  cl tried    24847 cl shrink        0 lits rem          0 time: 0.02
162.95/40.87	c asymm  cl-useful: 0/3059/4450 lits-rem:0 time: 1.35
162.95/40.87	c calculated reachability. Time: 0.00
162.95/40.87	c  N dy  1341    357893        50      4450         0     24847     31150    304630     15.53   no data  --
183.32/45.93	c  N dy  1383    402978        50      4450         0     40965     31150    564649     15.34     16.19  --
192.51/48.28	c  N dy  1404    423724        50      4450         0     35739     31150    478263     15.28     16.16  --
204.09/51.16	c  N dy  1536    444116        50      4450         0     29418     31150    367019     15.32     16.25  --
216.47/54.20	c  N dy  1677    464208        50      4450         0     46838     31150    692870     15.38     17.11  --
227.25/56.90	c  N dy  1799    484228        50      4450         0     39153     31150    539816     15.41     17.17  --
240.04/60.17	c  N dy  1931    504528        50      4450         0     30801     31150    375711     15.46     16.31  --
252.82/63.32	c  N dy  2093    524558        50      4450         0     48212     31150    704858     15.51     16.35  --
260.41/65.29	c  S st  2163    536840        50      4450         0     31976     31150    388671     15.53     13.95  --
260.81/65.38	c  S st  2163    537342        50      4450         0     32426     31150    397282     15.53   no data  --
260.81/65.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
260.81/65.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
260.81/65.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
261.21/65.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.21/65.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.21/65.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
261.21/65.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.20/67.95	c lits-rem:      1107  cl-subs:     1771  v-elim:      0  v-fix:    0  time: 10.18 s
271.20/67.95	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
271.20/67.95	c vivif2 --  cl tried    30655 cl shrink        0 lits rem          0 time: 0.02
272.41/68.20	c asymm  cl-useful: 0/1391/4450 lits-rem:0 time: 0.98
272.41/68.20	c calculated reachability. Time: 0.00
272.41/68.20	c  N dy  2163    537342        50      4450         0     30655     31150    365530     15.53   no data  --
283.98/71.17	c  N dy  2247    557697        50      4450         0     48181     31150    688334     15.54     16.37  --
295.56/74.07	c  N dy  2327    577732        50      4450         0     37974     31150    492813     15.54     16.41  --
314.74/78.84	c  N dy  2355    616247        50      4450         0     42301     31150    543986     15.44     16.25  --
329.91/82.60	c  N dy  2467    637059        50      4450         0     31164     31150    353157     15.45     16.27  --
341.90/85.69	c  N dy  2574    657073        50      4450         0     48402     31150    671433     15.47     17.54  --
358.28/89.75	c  N dy  2698    677101        50      4450         0     35622     31150    431552     15.50     17.26  --
372.26/93.23	c  N dy  2821    697297        50      4450         0     52994     31150    754788     15.52     16.41  --
388.63/97.36	c  N dy  2904    720953        50      4450         0     42374     31150    547497     15.52     16.42  --
401.02/100.45	c  N dy  2921    740967        50      4450         0     59408     31150    845587     15.48     17.09  --
414.60/103.85	c  N dy  2976    763431        50      4450         0     46964     31150    615262     15.47     16.44  --
431.77/108.11	c  N dy  3094    783477        50      4450         0     64346     31150    938514     15.49     17.73  --
446.56/111.85	c  N dy  3221    806013        50      4450         0     51054     31150    691538     15.51     14.95  --
446.56/111.85	c  S st  3221    806013        50      4450         0     51054     31150    691538     15.51     14.95  --
446.96/111.99	c  S st  3221    806516        50      4450         0     51503     31150    700219     15.51   no data  --
446.96/111.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
446.96/111.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
447.36/112.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
447.36/112.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
447.36/112.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
447.36/112.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
447.36/112.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
470.92/117.96	c lits-rem:      2629  cl-subs:     5931  v-elim:      0  v-fix:    0  time: 23.65 s
470.92/117.96	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
470.92/117.96	c vivif2 --  cl tried    45572 cl shrink        0 lits rem          0 time: 0.03
471.72/118.18	c asymm  cl-useful: 0/981/4450 lits-rem:0 time: 0.88
471.72/118.19	c calculated reachability. Time: 0.00
471.72/118.19	c  N dy  3221    806516        50      4450         0     45572     31150    592810     15.51   no data  --
490.90/122.90	c  N dy  3290    828507        50      4450         0     64505     31150    937529     15.51     16.43  --
547.62/137.12	c  N dy  3374    929192        50      4450         0     47778     31150    586522     15.29     16.14  --
564.40/141.39	c  N dy  3441    951465        50      4450         0     66851     31150    926174     15.28     16.18  --
581.17/145.54	c  N dy  3598    971525        50      4450         0     48513     31150    621546     15.31     17.50  --
599.95/150.26	c  N dy  3766    991544        50      4450         0     65881     31150    951135     15.34     16.73  --
618.33/154.87	c  N dy  3866   1012069        50      4450         0     46705     31150    564414     15.34     16.18  --
637.12/159.57	c  N dy  4029   1032114        50      4450         0     64011     31150    891763     15.37     18.29  --
660.26/165.39	c  N dy  4189   1055600        50      4450         0     46455     31150    559511     15.39     16.26  --
674.65/168.97	c  F st  4329   1071875        50      4450         0     60509     31150    826780     15.41   no data  --
679.04/170.06	c  N dy  4335   1077067        50      4450         0     64921     31150    907232     15.41   no data  --
702.20/175.89	c  N dy  4469   1101521        50      4450         0     47142     31150    563405     15.43     16.30  --
715.81/179.22	c  N dy  4497   1121605        50      4450         0     64202     31150    863936     15.41     17.52  --
737.61/184.72	c  N dy  4614   1141787        50      4450         0     42111     31150    469859     15.42     16.28  --
756.19/189.44	c  N dy  4743   1167176        50      4450         0     63937     31150    871417     15.43     16.28  --
782.24/196.07	c  N dy  4869   1187395        50      4450         0     41043     31150    441075     15.45     16.29  --
798.47/200.19	c  N dy  4925   1209774        50      4450         0     60110     31150    777196     15.43     13.74  --
798.47/200.19	c  S st  4925   1209774        50      4450         0     60110     31150    777196     15.43     13.74  --
799.25/200.38	c  S st  4925   1210279        50      4450         0     60555     31150    786054     15.43   no data  --
799.25/200.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
799.25/200.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
799.65/200.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
799.65/200.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.65/200.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.65/200.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
799.65/200.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
855.18/214.37	c lits-rem:      2967  cl-subs:     7848  v-elim:      0  v-fix:    0  time: 55.64 s
855.18/214.37	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
855.18/214.37	c vivif2 --  cl tried    52707 cl shrink        0 lits rem          0 time: 0.04
856.77/214.70	c asymm  cl-useful: 0/651/4450 lits-rem:0 time: 1.29
856.77/214.70	c calculated reachability. Time: 0.00
856.77/214.70	c  N dy  4925   1210279        50      4450         0     52707     31150    657425     15.43   no data  --
880.33/220.65	c  N dy  5096   1230378        50      4450         0     70130     31150    989943     15.46     17.13  --
902.70/226.29	c  N dy  5250   1250389        50      4450         0     46682     31150    543273     15.48     18.32  --
918.29/230.17	c  N dy  5317   1270432        50      4450         0     63938     31150    858831     15.48     16.96  --
941.05/235.86	c  N dy  5406   1291467        50      4450         0     82006     31150   1187997     15.48     16.37  --
961.83/241.04	c  N dy  5525   1311844        50      4450         0     57713     31150    738839     15.49     16.38  --
987.81/247.52	c  N dy  5694   1331846        50      4450         0     74968     31150   1068505     15.52     17.87  --
1019.35/255.43	c  N dy  5766   1362221        50      4450         0     57986     31150    717222     15.50     16.50  --
1042.11/261.11	c  N dy  5907   1382298        50      4450         0     75231     31150   1041583     15.52     17.32  --
1066.08/267.19	c  N dy  6005   1403671        50      4450         0     49849     31150    571997     15.52     16.35  --
1084.08/271.61	c  N dy  6094   1424118        50      4450         0     67458     31150    893976     15.52     16.39  --
1108.83/277.84	c  N dy  6189   1446202        50      4450         0     86401     31150   1240086     15.53     16.38  --
1133.19/283.93	c  N dy  6334   1473041        50      4450         0     64835     31150    845433     15.53     16.39  --
1155.95/289.64	c  N dy  6432   1493471        50      4450         0     82380     31150   1168961     15.54     16.36  --
1178.73/295.34	c  N dy  6536   1513696        50      4450         0     54280     31150    646296     15.55     16.38  --
1197.50/300.07	c  N dy  6636   1533725        50      4450         0     71421     31150    962928     15.55     17.40  --
1225.86/307.11	c  N dy  6777   1554214        50      4450         0     89073     31150   1295318     15.56     16.47  --
1246.65/312.38	c  N dy  6923   1574222        50      4450         0     60012     31150    750093     15.58     17.79  --
1267.40/317.52	c  N dy  7026   1594229        50      4450         0     77125     31150   1065372     15.59     16.51  --
1294.99/324.41	c  N dy  7108   1614252        50      4450         0     94386     31150   1381906     15.59     16.47  --
1344.50/336.87	c  N dy  7192   1673920        50      4450         0     49789     31150    540657     15.54     16.63  --
1369.68/343.18	c  N dy  7318   1700265        50      4450         0     72310     31150    950068     15.54     16.58  --
1385.25/347.00	c  S st  7394   1710280        50      4450         0     80932     31150   1112524     15.55     13.91  --
1386.45/347.30	c  S st  7394   1710781        50      4450         0     81370     31150   1121095     15.55   no data  --
1386.45/347.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1386.45/347.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1386.45/347.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1386.45/347.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1386.45/347.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1386.45/347.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1386.45/347.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1545.84/387.22	c lits-rem:      5082  cl-subs:    11388  v-elim:      0  v-fix:    0  time: 159.08 s
1545.84/387.22	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1545.84/387.24	c vivif2 --  cl tried    69982 cl shrink        0 lits rem          0 time: 0.05
1547.41/387.61	c asymm  cl-useful: 0/490/4450 lits-rem:0 time: 1.49
1547.41/387.61	c calculated reachability. Time: 0.00
1547.41/387.61	c  N dy  7394   1710781        50      4450         0     69982     31150    921018     15.55   no data  --
1574.98/394.59	c  N dy  7475   1730835        50      4450         0     87117     31150   1234022     15.55     17.13  --
1598.57/400.43	c  N dy  7524   1751601        50      4450         0     57031     31150    666955     15.54     16.38  --
1620.14/405.82	c  N dy  7657   1772492        50      4450         0     74997     31150   1004065     15.56     16.40  --
1650.48/413.48	c  N dy  7790   1792501        50      4450         0     92208     31150   1327400     15.57     16.49  --
1678.44/420.47	c  N dy  7919   1813157        50      4450         0     60694     31150    732503     15.58     16.43  --
1704.39/426.90	c  N dy  7978   1838916        50      4450         0     82627     31150   1125633     15.57     16.42  --
1733.96/434.31	c  N dy  8096   1859026        50      4450         0     99808     31150   1446440     15.58     16.40  --
1755.53/439.74	c  N dy  8123   1886163        50      4450         0     72569     31150    924715     15.56     16.43  --
1780.29/445.97	c  N dy  8182   1909633        50      4450         0     92550     31150   1287402     15.56     16.38  --
1809.08/453.14	c  N dy  8344   1929696        50      4450         0     58716     31150    682768     15.57     18.09  --
1830.63/458.51	c  N dy  8484   1949759        50      4450         0     75971     31150   1005309     15.58     16.78  --
1858.18/465.47	c  N dy  8604   1969826        50      4450         0     93270     31150   1330397     15.59     17.34  --
1882.56/471.54	c  N dy  8652   1989894        50      4450         0     58190     31150    657735     15.59     16.43  --
1900.53/476.07	c  N dy  8712   2009944        50      4450         0     75188     31150    964029     15.58     16.42  --
1922.91/481.62	c  N dy  8778   2029998        50      4450         0     92232     31150   1271806     15.58     17.06  --
1949.26/488.28	c  N dy  8860   2050235        50      4450         0     56611     31150    624919     15.58     16.52  --
1968.84/493.12	c  N dy  8958   2070629        50      4450         0     74025     31150    944543     15.58     16.55  --
1992.80/499.14	c  N dy  9026   2090691        50      4450         0     91146     31150   1257326     15.58     16.65  --
2031.15/508.76	c  N dy  9179   2114543        50      4450         0     57787     31150    638068     15.59     16.45  --
2053.12/514.27	c  N dy  9323   2134563        50      4450         0     74935     31150    961409     15.60     16.45  --
2081.50/521.33	c  N dy  9412   2156849        50      4450         0     94034     31150   1311103     15.60     16.43  --
2113.84/529.43	c  N dy  9494   2177266        50      4450         0     56793     31150    611481     15.60     16.57  --
2136.61/535.19	c  N dy  9637   2197341        50      4450         0     74047     31150    938245     15.61     17.21  --
2156.20/540.03	c  S st  9686   2210781        50      4450         0     85550     31150   1147283     15.61     15.25  --
2157.38/540.34	c  S st  9686   2211286        50      4450         0     85997     31150   1156075     15.61   no data  --
2157.38/540.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2157.38/540.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2157.38/540.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
2157.78/540.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2157.78/540.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2157.78/540.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2157.78/540.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2331.14/583.82	c lits-rem:      5045  cl-subs:     9971  v-elim:      0  v-fix:    0  time: 173.30 s
2331.14/583.82	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2331.14/583.84	c vivif2 --  cl tried    76026 cl shrink        0 lits rem          0 time: 0.06
2332.73/584.22	c asymm  cl-useful: 0/463/4450 lits-rem:0 time: 1.53
2332.73/584.22	c calculated reachability. Time: 0.00
2332.73/584.22	c  N dy  9686   2211286        50      4450         0     76026     31150    976196     15.61   no data  --
2367.51/592.94	c  N dy  9812   2233202        50      4450         0     94829     31150   1328410     15.62     16.52  --
2403.84/602.09	c  N dy  9896   2253254        50      4450         0     57009     31150    615621     15.62     17.45  --
2429.80/608.58	c  N dy  9977   2273656        50      4450         0     74492     31150    938637     15.62     16.54  --
2479.33/620.93	c  N dy 10010   2313667        50      4450         0    108264     31150   1526286     15.59     16.54  --
2509.69/628.58	c  N dy 10169   2334479        50      4450         0     70277     31150    859126     15.60     16.43  --
2536.05/635.17	c  N dy 10298   2354529        50      4450         0     87445     31150   1182265     15.61     17.49  --
2564.02/642.13	c  N dy 10364   2374582        50      4450         0    104461     31150   1491077     15.61     17.49  --
2596.37/650.27	c  N dy 10513   2394651        50      4450         0     64658     31150    742072     15.62     16.99  --
2621.54/656.58	c  N dy 10654   2414710        50      4450         0     81835     31150   1065462     15.63     17.07  --
2651.10/663.93	c  N dy 10754   2434763        50      4450         0     98978     31150   1384006     15.64     17.63  --
2686.65/672.81	c  N dy 10871   2454764        50      4450         0    116073     31150   1701963     15.64     16.68  --
2709.42/678.50	c  N dy 10996   2474824        50      4450         0     75224     31150    932472     15.65     17.76  --
2738.17/685.75	c  N dy 11064   2500035        50      4450         0     96460     31150   1310508     15.64     16.53  --
2773.73/694.67	c  N dy 11185   2520263        50      4450         0    113853     31150   1637817     15.65     16.49  --
2801.69/701.68	c  N dy 11329   2540362        50      4450         0     72218     31150    868663     15.66     17.30  --
2830.05/708.77	c  N dy 11461   2561993        50      4450         0     90711     31150   1215924     15.66     16.60  --
2858.81/715.92	c  N dy 11524   2582063        50      4450         0    107842     31150   1530987     15.66     16.58  --
2883.98/722.21	c  N dy 11536   2602230        50      4450         0     65144     31150    721263     15.65     16.66  --
2912.74/729.41	c  N dy 11649   2626986        50      4450         0     86320     31150   1114126     15.65     16.51  --
2945.09/737.57	c  N dy 11787   2647007        50      4450         0    103399     31150   1434968     15.66     16.66  --
2977.05/745.58	c  N dy 11841   2667102        50      4450         0    120405     31150   1742582     15.66     16.81  --
3001.81/751.71	c  N dy 11909   2689321        50      4450         0     78796     31150    965943     15.66     16.53  --
3033.37/759.69	c  N dy 12046   2709572        50      4450         0     96193     31150   1295199     15.66     16.51  --
3036.96/760.59	c  S st 12061   2711287        50      4450         0     97676     31150   1323794     15.66   no data  --
3038.56/760.96	c  S st 12061   2711790        50      4450         0     98120     31150   1332436     15.66   no data  --
3038.56/760.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3038.56/760.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3038.96/761.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
3038.96/761.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3038.96/761.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3038.96/761.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3038.96/761.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3514.71/880.11	c lits-rem:      6246  cl-subs:    12349  v-elim:      0  v-fix:    0  time: 475.44 s
3514.71/880.11	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3514.71/880.13	c vivif2 --  cl tried    85771 cl shrink        0 lits rem          0 time: 0.07
3516.31/880.53	c asymm  cl-useful: 0/400/4450 lits-rem:0 time: 1.59
3516.31/880.53	c calculated reachability. Time: 0.00
3516.31/880.53	c  N dy 12061   2711790        50      4450         0     85771     31150   1109229     15.66   no data  --
3561.44/891.82	c  N dy 12098   2737206        50      4450         0    107320     31150   1488691     15.65     16.49  --
3607.37/903.32	c  N dy 12228   2757229        50      4450         0     63994     31150    698449     15.66     18.00  --
3636.54/910.63	c  N dy 12383   2777234        50      4450         0     81180     31150   1026126     15.67     16.52  --
3670.90/919.23	c  N dy 12450   2800169        50      4450         0    100734     31150   1381654     15.67     16.64  --
3717.64/930.93	c  N dy 12598   2821562        50      4450         0    119120     31150   1731002     15.68     16.51  --
3747.21/938.30	c  N dy 12600   2849232        50      4450         0     80320     31150    954622     15.66     16.54  --
3776.35/945.61	c  N dy 12698   2869451        50      4450         0     97639     31150   1276342     15.66     16.51  --
3803.93/952.50	c  N dy 12746   2889637        50      4450         0    114798     31150   1581409     15.65     16.49  --
3838.26/961.16	c  N dy 12837   2910849        50      4450         0     70178     31150    791740     15.65     16.58  --
3863.03/967.34	c  N dy 12927   2931433        50      4450         0     87745     31150   1117469     15.66     16.50  --
3896.20/975.70	c  N dy 13052   2952340        50      4450         0    105648     31150   1452222     15.66     16.50  --
3939.73/986.55	c  N dy 13185   2975801        50      4450         0    125663     31150   1827282     15.67     16.60  --
3970.48/994.28	c  N dy 13251   3002241        50      4450         0     84270     31150   1035817     15.66     16.57  --
3998.84/1001.31	c  N dy 13316   3023100        50      4450         0    101991     31150   1360579     15.66     16.52  --
4033.20/1009.91	c  N dy 13409   3043184        50      4450         0    119114     31150   1675582     15.66     17.89  --
4069.54/1019.02	c  N dy 13522   3063283        50      4450         0     71577     31150    802248     15.67     17.26  --
4095.11/1025.46	c  N dy 13630   3083340        50      4450         0     88730     31150   1122470     15.67     16.51  --
4128.27/1033.77	c  N dy 13758   3103660        50      4450         0    106076     31150   1449092     15.68     16.53  --
4177.42/1046.02	c  N dy 13785   3137019        50      4450         0     68672     31150    738092     15.66     16.61  --
4216.55/1055.86	c  N dy 13924   3165170        50      4450         0     92742     31150   1185841     15.67     16.51  --
4258.48/1066.35	c  N dy 14064   3185236        50      4450         0    109959     31150   1512050     15.67     18.31  --
4295.23/1075.58	c  N dy 14134   3205846        50      4450         0    127451     31150   1830476     15.67     16.58  --
4310.41/1079.33	c  S st 14181   3211793        50      4450         0    132555     31150   1927292     15.68     17.37  --
4313.63/1080.18	c  S st 14181   3212296        50      4450         0     66556     31150    696766     15.68   no data  --
4313.63/1080.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4313.63/1080.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4314.03/1080.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
4314.03/1080.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4314.03/1080.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4314.03/1080.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4314.03/1080.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4360.35/1091.87	c lits-rem:        34  cl-subs:      148  v-elim:      0  v-fix:    0  time: 46.45 s
4360.35/1091.87	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
4360.35/1091.88	c vivif2 --  cl tried    66408 cl shrink        0 lits rem          0 time: 0.04
4361.55/1092.16	c asymm  cl-useful: 0/504/4450 lits-rem:0 time: 1.12
4361.55/1092.16	c calculated reachability. Time: 0.00
4361.55/1092.16	c  N dy 14181   3212296        50      4450         0     66408     31150    694915     15.68   no data  --
4382.32/1097.32	c  N dy 14200   3233557        50      4450         0     84338     31150   1008301     15.67     16.50  --
4415.10/1105.52	c  N dy 14296   3253618        50      4450         0    101398     31150   1324073     15.67     17.37  --
4455.81/1115.79	c  N dy 14414   3275424        50      4450         0    120039     31150   1669800     15.67     16.50  --
4495.36/1125.66	c  N dy 14478   3296518        50      4450         0     70797     31150    766798     15.67     16.57  --
4533.73/1135.29	c  N dy 14601   3324538        50      4450         0     94681     31150   1207661     15.67     16.52  --
4572.05/1144.80	c  N dy 14727   3345898        50      4450         0    112856     31150   1546516     15.68     16.52  --
4614.80/1155.52	c  N dy 14846   3366474        50      4450         0    130377     31150   1873684     15.68     16.52  --
4647.16/1163.62	c  N dy 14934   3386572        50      4450         0     79340     31150    918138     15.68     17.68  --
4709.86/1179.36	c  N dy 14994   3441231        50      4450         0    125259     31149   1701078     15.65     16.62  --
4749.04/1189.15	c  N dy 15088   3464881        50      4450         0     76779     31149    867277     15.65     16.50  --
4776.17/1195.92	c  N dy 15187   3485183        50      4450         0     94072     31149   1186870     15.65     16.53  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.50 5.49 6.93 3/173 26520
/proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 415 0 0 0 0 0 0 0 23 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 216735178683 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 12809 355 306 112 0 7774 0
[pid=26520/tid=26524] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0441421 s]
/proc/loadavg: 3.50 5.49 6.93 3/173 26520
/proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=282036 CPUtime=0.15 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 1131 0 0 0 15 0 0 0 18 0 4 0 601166069 288804864 1042 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370892 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 70509 1042 366 112 0 65474 0
[pid=26520/tid=26524] ppid=26517 vsize=282036 CPUtime=0.04 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 162 0 0 0 4 0 0 0 18 0 4 0 601166069 288804864 1042 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370567 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=282036 CPUtime=0.03 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 155 0 0 0 3 0 0 0 25 0 4 0 601166069 288804864 1043 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=282036 CPUtime=0.04 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 223 0 0 0 4 0 0 0 18 0 4 0 601166069 288804864 1043 33554432000 4194304 4650419 140735844609120 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282036

[startup+0.101133 s]
/proc/loadavg: 3.50 5.49 6.93 3/173 26520
/proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=282036 CPUtime=0.38 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 1224 0 0 0 38 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4371161 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 70509 1135 366 112 0 65474 0
[pid=26520/tid=26524] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 171 0 0 0 9 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 158 0 0 0 9 0 0 0 25 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282036

[startup+0.301099 s]
/proc/loadavg: 3.50 5.49 6.93 3/173 26520
/proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=285024 CPUtime=1.18 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 3281 0 0 0 118 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4334336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 71256 2483 390 112 0 66221 0
[pid=26520/tid=26524] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 754 0 0 0 29 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 777 0 0 0 29 0 0 0 25 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 524 0 0 0 29 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285024

[startup+0.701029 s]
/proc/loadavg: 3.50 5.49 6.93 3/173 26520
/proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=286420 CPUtime=2.77 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 5054 0 0 0 277 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 71605 3240 390 112 0 66570 0
[pid=26520/tid=26524] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1160 0 0 0 69 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1175 0 0 0 69 0 0 0 25 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1103 0 0 0 69 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286420

[startup+1.50089 s]
/proc/loadavg: 3.50 5.49 6.93 10/184 26531
/proc/meminfo: memFree=24360504/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=287880 CPUtime=5.97 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 9243 0 0 0 596 1 0 0 20 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 71970 4662 392 112 0 66935 0
[pid=26520/tid=26524] ppid=26517 vsize=287880 CPUtime=1.49 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 2043 0 0 0 149 0 0 0 20 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=287880 CPUtime=1.48 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 2065 0 0 0 148 0 0 0 25 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=287880 CPUtime=1.49 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1818 0 0 0 149 0 0 0 19 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287880

[startup+3.10061 s]
/proc/loadavg: 3.50 5.49 6.93 9/184 26531
/proc/meminfo: memFree=24326824/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=282864 CPUtime=12.37 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 14717 0 0 0 1235 2 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 70716 9148 392 112 0 65681 0
[pid=26520/tid=26524] ppid=26517 vsize=282864 CPUtime=3.09 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3153 0 0 0 309 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=282864 CPUtime=3.07 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3870 0 0 0 307 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4536730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=282864 CPUtime=3.09 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3874 0 0 0 309 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 282864

[startup+6.30106 s]
/proc/loadavg: 3.86 5.53 6.94 9/184 26532
/proc/meminfo: memFree=24292352/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=290208 CPUtime=25.15 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 22837 0 0 0 2511 4 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 72552 12808 392 112 0 67517 0
[pid=26520/tid=26524] ppid=26517 vsize=290208 CPUtime=6.29 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 5491 0 0 0 628 1 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=290208 CPUtime=6.26 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 6298 0 0 0 625 1 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4444997 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=290208 CPUtime=6.29 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 5626 0 0 0 629 0 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290208

[startup+12.7009 s]
/proc/loadavg: 4.19 5.57 6.95 9/184 26532
/proc/meminfo: memFree=24256532/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=298368 CPUtime=50.71 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 30579 0 0 0 5065 6 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 74592 16006 392 112 0 69557 0
[pid=26520/tid=26524] ppid=26517 vsize=298368 CPUtime=12.69 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 7629 0 0 0 1268 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=298368 CPUtime=12.62 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 7402 0 0 0 1261 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=298368 CPUtime=12.69 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 8636 0 0 0 1268 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298368

[startup+25.5007 s]
/proc/loadavg: 5.03 5.69 6.96 9/184 26532
/proc/meminfo: memFree=24210264/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=319080 CPUtime=101.84 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 45457 0 0 0 10174 10 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 79770 20709 392 112 0 74735 0
[pid=26520/tid=26524] ppid=26517 vsize=319080 CPUtime=25.49 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 11711 0 0 0 2547 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4315476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=319080 CPUtime=25.35 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 10525 0 0 0 2533 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=319080 CPUtime=25.49 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 13079 0 0 0 2547 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 319080

[startup+51.1002 s]
/proc/loadavg: 6.18 5.90 7.00 9/184 26533
/proc/meminfo: memFree=24171760/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=309724 CPUtime=204.09 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 66593 0 0 0 20392 17 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 77431 24259 392 112 0 72396 0
[pid=26520/tid=26524] ppid=26517 vsize=309724 CPUtime=51.08 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 17020 0 0 0 5105 3 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=309724 CPUtime=50.81 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 15320 0 0 0 5078 3 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=309724 CPUtime=51.09 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 19244 0 0 0 5105 4 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 309724

[startup+102.306 s]
/proc/loadavg: 7.35 6.26 7.06 9/184 26534
/proc/meminfo: memFree=24145676/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=332596 CPUtime=408.62 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 98281 0 0 0 40836 26 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 83149 29514 392 112 0 78114 0
[pid=26520/tid=26524] ppid=26517 vsize=332596 CPUtime=102.28 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 22903 0 0 0 10223 5 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=332596 CPUtime=101.72 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 21744 0 0 0 10168 4 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=332596 CPUtime=102.29 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 30956 0 0 0 10221 8 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 332596

[startup+162.301 s]

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

[pid=26520] ppid=26517 vsize=369068 CPUtime=2804.49 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 305745 0 0 0 280337 112 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 92267 61537 392 112 0 87232 0
[pid=26520/tid=26524] ppid=26517 vsize=369068 CPUtime=701.57 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 60307 0 0 0 70134 23 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=369068 CPUtime=698.47 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 79018 0 0 0 69820 27 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=369068 CPUtime=702.14 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 85963 0 0 0 70182 32 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.49
Current children cumulated vsize (KiB) 369068

[startup+762.307 s]
/proc/loadavg: 8.10 7.92 7.58 9/184 26555
/proc/meminfo: memFree=23863832/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=358516 CPUtime=3044.17 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 320229 0 0 0 304300 117 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 89629 60568 392 112 0 84594 0
[pid=26520/tid=26524] ppid=26517 vsize=358516 CPUtime=761.57 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 60668 0 0 0 76134 23 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=358516 CPUtime=758.14 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 84539 0 0 0 75785 29 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=358516 CPUtime=762.16 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 89161 0 0 0 76183 33 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.17
Current children cumulated vsize (KiB) 358516

[startup+822.301 s]
/proc/loadavg: 8.11 7.96 7.61 9/184 26556
/proc/meminfo: memFree=23839632/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=369844 CPUtime=3283.83 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 331561 0 0 0 328262 121 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 92461 61772 392 112 0 87426 0
[pid=26520/tid=26524] ppid=26517 vsize=369844 CPUtime=821.56 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62344 0 0 0 82132 24 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=369844 CPUtime=817.82 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 87521 0 0 0 81751 31 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=369844 CPUtime=822.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 92132 0 0 0 82182 33 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.83
Current children cumulated vsize (KiB) 369844

[startup+882.301 s]
/proc/loadavg: 8.11 7.99 7.64 9/184 26558
/proc/meminfo: memFree=23853620/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=369896 CPUtime=3523.5 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 345629 0 0 0 352225 125 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 92474 62077 392 112 0 87439 0
[pid=26520/tid=26524] ppid=26517 vsize=369896 CPUtime=881.56 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62344 0 0 0 88132 24 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=369896 CPUtime=877.48 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 90462 0 0 0 87716 32 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=369896 CPUtime=882.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 95834 0 0 0 88181 34 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.5
Current children cumulated vsize (KiB) 369896

[startup+942.301 s]
/proc/loadavg: 8.15 8.02 7.67 9/184 26559
/proc/meminfo: memFree=23835108/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=382404 CPUtime=3763.16 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 358224 0 0 0 376186 130 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 95601 64899 392 112 0 90566 0
[pid=26520/tid=26524] ppid=26517 vsize=382404 CPUtime=941.55 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62889 0 0 0 94130 25 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=382404 CPUtime=937.16 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 94836 0 0 0 93682 34 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=382404 CPUtime=942.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 98934 0 0 0 94179 36 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.16
Current children cumulated vsize (KiB) 382404

[startup+1002.3 s]
/proc/loadavg: 8.13 8.03 7.70 9/184 26561
/proc/meminfo: memFree=23789448/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=447712 CPUtime=4002.83 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 368792 0 0 0 400149 134 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 111928 70722 392 112 0 106893 0
[pid=26520/tid=26524] ppid=26517 vsize=447712 CPUtime=1001.54 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 63116 0 0 0 100129 25 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=447712 CPUtime=996.84 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 95722 0 0 0 99649 35 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=447712 CPUtime=1002.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103668 0 0 0 100177 38 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.83
Current children cumulated vsize (KiB) 447712

[startup+1062.3 s]
/proc/loadavg: 8.11 8.04 7.72 9/184 26563
/proc/meminfo: memFree=23765992/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=460880 CPUtime=4242.51 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 375183 0 0 0 424114 137 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 115220 72643 392 112 0 110185 0
[pid=26520/tid=26524] ppid=26517 vsize=460880 CPUtime=1061.54 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 63284 0 0 0 106129 25 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=460880 CPUtime=1056.51 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 98831 0 0 0 105616 35 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=460880 CPUtime=1062.16 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103947 0 0 0 106178 38 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.51
Current children cumulated vsize (KiB) 460880

[startup+1122.3 s]
/proc/loadavg: 8.10 8.04 7.74 9/184 26564
/proc/meminfo: memFree=23790636/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=383432 CPUtime=4482.17 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 388216 0 0 0 448075 142 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 95858 67420 392 112 0 90823 0
[pid=26520/tid=26524] ppid=26517 vsize=383432 CPUtime=1121.54 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 65564 0 0 0 112127 27 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=383432 CPUtime=1116.18 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 100338 0 0 0 111582 36 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=383432 CPUtime=1122.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 109884 0 0 0 112175 40 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.17
Current children cumulated vsize (KiB) 383432

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.76 9/184 26566
/proc/meminfo: memFree=23747956/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=396284 CPUtime=4721.85 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 398260 0 0 0 472038 147 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 99071 69506 392 112 0 94036 0
[pid=26520/tid=26524] ppid=26517 vsize=396284 CPUtime=1181.53 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 118126 27 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=396284 CPUtime=1175.86 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 102810 0 0 0 117548 38 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=396284 CPUtime=1182.15 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 112482 0 0 0 118174 41 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.85
Current children cumulated vsize (KiB) 396284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 8.04 7.76 5/179 26567
/proc/meminfo: memFree=24093440/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=409088 CPUtime=4800.16 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 401657 0 0 0 479867 149 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 102272 72902 392 112 0 97237 0
[pid=26520/tid=26524] ppid=26517 vsize=409088 CPUtime=1201.14 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 120087 27 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=409088 CPUtime=1195.35 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103355 0 0 0 119497 38 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=409088 CPUtime=1201.76 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 113429 0 0 0 120134 42 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 409088

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

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

[startup+1201.9 s]
/proc/loadavg: 8.07 8.04 7.76 5/179 26567
/proc/meminfo: memFree=24093440/32951124 swapFree=67102140/67111528
[pid=26520] ppid=26517 vsize=409088 CPUtime=4800.16 cores=0,2,4,6
/proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 401657 0 0 0 479867 149 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26520/statm: 102272 72902 392 112 0 97237 0
[pid=26520/tid=26524] ppid=26517 vsize=409088 CPUtime=1201.14 cores=0,2,4,6
/proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 120087 27 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26520/tid=26525] ppid=26517 vsize=409088 CPUtime=1195.35 cores=0,2,4,6
/proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103355 0 0 0 119497 38 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26520/tid=26526] ppid=26517 vsize=409088 CPUtime=1201.76 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 113429 0 0 0 120134 42 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 409088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.21
CPU user time (s): 4798.7
CPU system time (s): 1.50877
CPU usage (%): 399.376
Max. virtual memory (cumulated for all children) (KiB): 467732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.7
system time used= 1.50877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401657
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= 353
involuntary context switches= 36536

runsolver used 1.74173 second user time and 4.83226 second system time

The end

Launcher Data

Begin job on node119 at 2011-04-29 22:35:54
IDJOB=3175299
IDBENCH=82917
IDSOLVER=1588
FILE ID=node119/3175299-1304109354
RUNJOBID= node119-1304109354-26504
PBS_JOBID= 13170637
Free space on /tmp= 71816 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175299-1304109354/watcher-3175299-1304109354 -o /tmp/evaluation-result-3175299-1304109354/solver-3175299-1304109354 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175299-1304109354.cnf

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

MD5SUM BENCH= 0448cdbfc0b1241b735cac942d079298
RANDOM SEED=1311634581

node119.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.815
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.63
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.815
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.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24388540 kB
Buffers:       1909152 kB
Cached:        6032648 kB
SwapCached:       3688 kB
Active:         158240 kB
Inactive:      7842732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24388540 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:       58716 kB
Mapped:          14344 kB
Slab:           498848 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187496 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= 71808 MiB
End job on node119 at 2011-04-29 22:55:58