Trace number 3369043

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
MD5SUM1e7a565e93334fc4a75fcaa13a0d446a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark363.699
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369043-1305410852.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.37/0.13	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.37/0.13	c -- vars added         60
0.37/0.13	c Parsing time:  0.01 s
0.37/0.13	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.13	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.37/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.37/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.37/0.72	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.72	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.72	c calculated reachability. Time: 0.00
0.37/0.72	c Calc default polars -  time:   0.00 s pos:      32 undec:       0 neg:      28
0.37/0.72	c =========================================================================================
0.37/0.72	c types(t): F = full restart, N = normal restart
0.37/0.72	c types(t): S = simplification begin/end, E = solution found
0.37/0.72	c restart types(rt): st = static, dy = dynamic
0.37/0.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.72	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.72	c  N dy     8      5835        60      5340         0      2956     37380     57230     17.81     18.81  --
0.37/0.72	c  N dy    25     10597        60      5340         0      7193     37380    147203     18.04     19.05  --
0.37/0.72	c  N dy    38     15808        60      5340         0      8043     37380    156761     18.03     19.02  --
0.37/0.92	c  N dy    59     19896        60      5340         0      6726     37380    121269     18.20     19.84  --
3.96/1.02	c  N dy    75     23924        60      5340         0     10282     37380    196835     18.22     19.88  --
4.36/1.12	c  F st    82     25001        60      5340         0     11247     37380    217397     18.25     16.94  --
4.76/1.23	c  N st    87     28296        60      5340         0      8129     37380    143152     18.25   no data  --
5.16/1.30	c  S st    88     30000        60      5340         0      9647     37380    175606     18.25   no data  --
5.16/1.33	c  S st    88     30501        60      5340         0     10102     37380    185688     18.25   no data  --
5.16/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.75/2.23	c lits-rem:      1281  cl-subs:      946  v-elim:      0  v-fix:    0  time:  3.56 s
9.55/2.50	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.05
9.55/2.50	c calculated reachability. Time: 0.00
9.55/2.50	c  N dy    88     30501        60      5340         0      9156     37380    163467     18.25   no data  --
11.19/2.90	c  N dy    94     38123        60      5340         0      8909     37380    146753     18.08     19.05  --
12.35/3.11	c  N dy   117     42227        60      5340         0     12548     37380    224962     18.16     19.14  --
13.15/3.34	c  S st   138     45751        60      5340         0     15710     37380    293222     18.24     17.69  --
13.15/3.38	c  S st   138     46257        60      5340         0      8226     37380    124543     18.24   no data  --
13.15/3.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.15/3.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.15/3.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.15/3.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.15/3.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.15/3.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.15/3.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.13	c lits-rem:       125  cl-subs:       44  v-elim:      0  v-fix:    0  time:  2.96 s
16.33/4.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c vivif2 --  cl tried     8182 cl shrink        0 lits rem          0 time: 0.01
17.13/4.36	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.92
17.13/4.37	c calculated reachability. Time: 0.00
17.13/4.37	c  N dy   138     46257        60      5340         0      8182     37380    123377     18.24   no data  --
17.93/4.58	c  N dy   150     50835        60      5340         0     12225     37380    208486     18.22     19.21  --
19.14/4.88	c  N dy   156     55965        60      5340         0     16759     37380    303413     18.16     19.15  --
21.53/5.48	c  N dy   175     66286        60      5340         0     17082     37380    299501     18.08     19.11  --
22.73/5.70	c  S st   185     69387        60      5340         0     10110     37380    145931     18.08   no data  --
22.73/5.73	c  S st   185     69889        60      5340         0     10559     37380    155644     18.08   no data  --
22.73/5.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.73/5.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.73/5.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
22.73/5.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.73/5.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.73/5.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.73/5.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.32/6.60	c lits-rem:       244  cl-subs:      136  v-elim:      0  v-fix:    0  time:  3.42 s
26.32/6.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.32/6.60	c vivif2 --  cl tried    10423 cl shrink        0 lits rem          0 time: 0.01
27.12/6.87	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.08
27.12/6.87	c calculated reachability. Time: 0.00
27.12/6.87	c  N dy   185     69889        60      5340         0     10423     37380    152183     18.08   no data  --
31.50/7.95	c  F st   202     87500        60      5340         0     15372     37380    243879     17.85     18.05  --
31.50/7.95	c  N st   202     87500        60      5340         0     15372     37380    243879     17.85     18.05  --
33.13/8.36	c  N dy   210     93489        60      5340         0     20723     37380    359204     17.85     18.81  --
35.09/8.84	c  N dy   241     99952        60      5340         0     14963     37380    227826     17.89     18.97  --
36.30/9.13	c  S st   246    104834        60      5340         0     19281     37380    314540     17.81     14.84  --
36.30/9.19	c  S st   246    105335        60      5340         0     19743     37380    324731     17.81   no data  --
36.30/9.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.30/9.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.70/9.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.70/9.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.70/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.70/9.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.70/9.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.48/10.44	c lits-rem:      1660  cl-subs:     2362  v-elim:      0  v-fix:    0  time:  4.93 s
41.48/10.44	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.48/10.45	c vivif2 --  cl tried    17381 cl shrink        0 lits rem          0 time: 0.01
42.67/10.80	c asymm  cl-useful: 0/4431/5340 lits-rem:0 time: 1.38
43.07/10.80	c calculated reachability. Time: 0.00
43.07/10.80	c  N dy   246    105335        60      5340         0     17381     37380    277112     17.81   no data  --
45.07/11.39	c  N dy   285    112941        60      5340         0     24161     37380    421602     17.86     18.82  --
48.25/12.13	c  N dy   318    123893        60      5340         0     21543     37380    357394     17.82     19.00  --
51.10/12.82	c  N dy   366    131888        60      5340         0     15407     37380    219184     17.90     19.46  --
53.45/13.42	c  N dy   390    140367        60      5340         0     22906     37380    376027     17.89     19.48  --
57.44/14.50	c  N dy   417    154300        60      5340         0     21082     37380    322013     17.82     18.81  --
59.03/14.84	c  S st   450    158004        60      5340         0     24388     37380    393726     17.87     18.26  --
59.47/14.91	c  S st   450    158506        60      5340         0     24843     37380    403537     17.87   no data  --
59.47/14.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.47/14.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.47/14.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.47/14.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.47/14.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.47/14.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.47/14.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.01/16.83	c lits-rem:      1759  cl-subs:     2880  v-elim:      0  v-fix:    0  time:  7.57 s
67.01/16.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.01/16.83	c vivif2 --  cl tried    21963 cl shrink        0 lits rem          0 time: 0.02
67.41/16.96	c asymm  cl-useful: 0/909/5340 lits-rem:0 time: 0.49
67.41/16.96	c calculated reachability. Time: 0.00
67.41/16.96	c  N dy   450    158506        60      5340         0     21963     37380    344956     17.87   no data  --
73.04/18.38	c  N dy   451    177788        60      5340         0     23978     37380    374518     17.66     18.65  --
77.79/19.55	c  N dy   537    189171        60      5340         0     18309     37380    255610     17.75     19.86  --
82.17/20.63	c  N dy   587    201971        60      5340         0     29645     37380    495924     17.78     18.73  --
87.75/22.05	c  N dy   681    214910        60      5340         0     24418     37380    375815     17.86     19.87  --
93.75/23.58	c  N dy   711    230440        60      5340         0     20452     37380    274204     17.84     18.79  --
96.14/24.14	c  S st   718    237759        60      5340         0     26881     37380    406467     17.82     17.17  --
96.53/24.21	c  S st   718    238264        60      5340         0     27338     37380    416632     17.82   no data  --
96.53/24.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.53/24.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.53/24.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
96.53/24.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.53/24.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.53/24.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
96.53/24.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
104.51/26.27	c lits-rem:      2143  cl-subs:     2871  v-elim:      0  v-fix:    0  time:  8.11 s
104.51/26.27	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
104.51/26.27	c vivif2 --  cl tried    24467 cl shrink        0 lits rem          0 time: 0.02
106.11/26.66	c asymm  cl-useful: 0/3287/5340 lits-rem:0 time: 1.56
106.11/26.66	c calculated reachability. Time: 0.00
106.11/26.66	c  N dy   718    238264        60      5340         0     24467     37380    358312     17.82   no data  --
115.29/28.99	c  N dy   829    260623        60      5340         0     25889     37380    375037     17.85     18.92  --
123.27/30.93	c  N dy   876    280691        60      5340         0     24249     37380    332997     17.83     18.88  --
131.65/33.06	c  N dy   990    298788        60      5340         0     40410     37380    680800     17.90     18.94  --
134.83/33.82	c  F st  1039    306250        60      5340         0     26694     37380    380488     17.93     18.30  --
140.03/35.10	c  N dy  1071    317917        60      5340         0     37109     37380    600961     17.94     19.61  --
147.65/37.01	c  N dy  1103    337957        60      5340         0     33497     37380    510148     17.89     20.41  --
157.58/39.50	c  S st  1204    357397        60      5340         0     28588     37380    400844     17.93     17.54  --
157.58/39.57	c  S st  1204    357901        60      5340         0     29050     37380    410829     17.93   no data  --
157.58/39.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
157.58/39.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
157.58/39.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
157.99/39.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
157.99/39.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
157.99/39.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
157.99/39.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
166.36/41.72	c lits-rem:      1475  cl-subs:     1671  v-elim:      0  v-fix:    0  time:  8.46 s
166.36/41.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
166.36/41.72	c vivif2 --  cl tried    27379 cl shrink        0 lits rem          0 time: 0.02
167.56/42.01	c asymm  cl-useful: 0/2053/5340 lits-rem:0 time: 1.15
167.56/42.01	c calculated reachability. Time: 0.00
167.56/42.01	c  N dy  1204    357901        60      5340         0     27379     37380    373356     17.93   no data  --
177.97/44.69	c  N dy  1270    378793        60      5340         0     45793     37380    761259     17.93     19.15  --
193.89/48.62	c  N dy  1347    406559        60      5340         0     47434     37380    782046     17.91     18.87  --
202.67/50.86	c  N dy  1400    426676        60      5340         0     41244     37380    638691     17.90     18.91  --
214.24/53.78	c  N dy  1498    449125        60      5340         0     36384     37380    529460     17.92     18.88  --
226.65/56.84	c  N dy  1628    469147        60      5340         0     28564     37380    356493     17.97     19.90  --
236.58/59.39	c  N dy  1670    491707        60      5340         0     48464     37380    765236     17.93     18.89  --
246.96/61.95	c  N dy  1713    512088        60      5340         0     39888     37380    578980     17.90     18.99  --
259.72/65.18	c  N dy  1813    532174        60      5340         0     30291     37380    373272     17.92     19.69  --
262.11/65.75	c  S st  1844    536852        60      5340         0     34435     37380    462063     17.93   no data  --
262.51/65.85	c  S st  1844    537358        60      5340         0     34893     37380    472269     17.93   no data  --
262.51/65.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
262.51/65.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
262.51/65.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
262.51/65.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.51/65.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.51/65.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
262.51/65.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.29/68.08	c lits-rem:       847  cl-subs:     1836  v-elim:      0  v-fix:    0  time:  8.77 s
271.29/68.08	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
271.29/68.08	c vivif2 --  cl tried    33057 cl shrink        0 lits rem          0 time: 0.02
272.89/68.46	c asymm  cl-useful: 0/2660/5340 lits-rem:0 time: 1.52
272.89/68.47	c calculated reachability. Time: 0.00
272.89/68.47	c  N dy  1844    537358        60      5340         0     33057     37380    431490     17.93   no data  --
285.25/71.53	c  N dy  1967    557398        60      5340         0     50941     37380    818622     17.97     20.15  --
298.83/75.00	c  N dy  2027    581783        60      5340         0     44224     37380    649764     17.95     18.94  --
313.19/78.59	c  N dy  2146    602304        60      5340         0     33275     37380    418492     17.99     18.96  --
340.76/85.45	c  N dy  2261    654114        60      5340         0     48664     37380    707040     17.90     19.13  --
359.06/90.06	c  N dy  2296    682406        60      5340         0     42659     37380    576878     17.83     18.80  --
372.62/93.45	c  N dy  2347    702432        60      5340         0     60379     37380    950207     17.82     18.77  --
387.00/97.08	c  N dy  2460    724162        60      5340         0     48043     37380    704318     17.85     18.80  --
405.75/101.70	c  N dy  2582    744189        60      5340         0     33114     37380    372292     17.88     18.83  --
418.12/104.82	c  N dy  2705    764284        60      5340         0     51002     37380    757485     17.90     20.46  --
434.47/108.91	c  N dy  2791    784473        60      5340         0     35192     37380    405762     17.91     19.00  --
448.04/112.34	c  N dy  2931    804613        60      5340         0     53140     37380    795588     17.95     19.02  --
449.24/112.64	c  S st  2938    806038        60      5340         0     54405     37380    822402     17.95     16.80  --
449.64/112.79	c  S st  2938    806541        60      5340         0     54868     37380    832793     17.95   no data  --
449.64/112.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
449.64/112.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.07/112.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
450.07/112.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
450.07/112.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.07/112.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
450.07/112.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
478.36/119.96	c lits-rem:      2991  cl-subs:     4862  v-elim:      0  v-fix:    0  time: 28.39 s
478.36/119.96	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
478.36/119.97	c vivif2 --  cl tried    50006 cl shrink        0 lits rem          0 time: 0.04
479.56/120.22	c asymm  cl-useful: 0/763/5340 lits-rem:0 time: 1.00
479.56/120.22	c calculated reachability. Time: 0.00
479.56/120.22	c  N dy  2938    806541        60      5340         0     50006     37380    722089     17.95   no data  --
496.72/124.55	c  N dy  3008    827507        60      5340         0     68623     37380   1115597     17.95     18.98  --
511.08/128.21	c  N dy  3082    851188        60      5340         0     55168     37380    816484     17.94     19.10  --
530.63/133.00	c  N dy  3220    871276        60      5340         0     37730     37380    439684     17.97     19.01  --
544.19/136.49	c  N dy  3349    891314        60      5340         0     55504     37380    825187     18.00     21.16  --
563.75/141.30	c  N dy  3456    911479        60      5340         0     37077     37380    414253     18.01     18.96  --
583.69/146.32	c  N dy  3531    943792        60      5340         0     65402     37380   1005267     17.99     19.07  --
598.86/150.19	c  N dy  3599    963862        60      5340         0     46098     37380    596504     17.98     19.00  --
616.41/154.57	c  N dy  3716    985584        60      5340         0     65357     37380   1009732     18.00     18.98  --
634.80/159.13	c  N dy  3832   1005664        60      5340         0     45176     37380    569943     18.02     19.16  --
651.52/163.35	c  N dy  3908   1028878        60      5340         0     65723     37380   1004652     18.02     19.09  --
673.89/168.92	c  N dy  3970   1057061        60      5340         0     51558     37380    685033     18.01     18.98  --
686.23/172.03	c  F st  4030   1071875        60      5340         0     64651     37380    962646     18.01     18.15  --
690.22/173.05	c  N dy  4036   1077065        60      5340         0     69207     37380   1061463     18.01   no data  --
708.17/177.51	c  N dy  4129   1097160        60      5340         0     47316     37380    594186     18.02     19.84  --
724.13/181.59	c  N dy  4231   1117405        60      5340         0     65285     37380    980043     18.03     18.99  --
744.87/186.76	c  N dy  4324   1137428        60      5340         0     42362     37380    478218     18.03     21.10  --
763.62/191.44	c  N dy  4408   1163635        60      5340         0     65457     37380    969518     18.03     19.03  --
792.39/198.61	c  N dy  4538   1183896        60      5340         0     41886     37380    457016     18.05     19.09  --
810.34/203.15	c  N dy  4612   1206760        60      5340         0     62020     37380    887106     18.06     19.16  --
813.89/204.05	c  S st  4628   1209812        60      5340         0     64738     37380    945763     18.06     18.68  --
815.08/204.31	c  S st  4628   1210313        60      5340         0     65184     37380    955845     18.06   no data  --
815.08/204.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
815.08/204.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
815.08/204.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
815.08/204.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.08/204.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.08/204.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
815.08/204.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
885.28/221.91	c lits-rem:      3398  cl-subs:     6456  v-elim:      0  v-fix:    0  time: 69.87 s
885.28/221.92	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
885.28/221.93	c vivif2 --  cl tried    58728 cl shrink        0 lits rem          0 time: 0.05
886.48/222.27	c asymm  cl-useful: 0/658/5340 lits-rem:0 time: 1.36
886.48/222.27	c calculated reachability. Time: 0.00
886.48/222.27	c  N dy  4628   1210313        60      5340         0     58728     37380    817460     18.06   no data  --
916.00/229.61	c  N dy  4649   1241774        60      5340         0     44255     37380    497915     18.02     19.07  --
933.21/233.96	c  N dy  4714   1266564        60      5340         0     66082     37380    956965     18.01     19.07  --
953.91/239.13	c  N dy  4793   1286565        60      5340         0     83756     37380   1330846     18.01     19.60  --
970.26/243.24	c  N dy  4871   1307069        60      5340         0     58830     37380    795539     18.01     19.00  --
996.60/249.82	c  N dy  5035   1327103        60      5340         0     76571     37380   1185777     18.04     22.29  --
1022.12/256.28	c  N dy  5105   1350142        60      5340         0     52900     37380    660672     18.04     19.04  --
1044.07/261.78	c  N dy  5231   1370193        60      5340         0     70673     37380   1047932     18.06     19.53  --
1078.02/270.23	c  N dy  5283   1406373        60      5340         0     57372     37380    736204     18.03     18.99  --
1097.52/275.10	c  N dy  5396   1426445        60      5340         0     75108     37380   1117881     18.04     19.81  --
1121.91/281.22	c  N dy  5490   1447038        60      5340         0     47563     37380    530026     18.05     19.01  --
1139.06/285.59	c  N dy  5536   1471242        60      5340         0     68857     37380    975620     18.04     19.19  --
1162.96/291.55	c  N dy  5648   1491288        60      5340         0     86590     37380   1360580     18.05     19.01  --
1182.94/296.51	c  N dy  5764   1511562        60      5340         0     57803     37380    745924     18.06     19.04  --
1201.66/301.20	c  N dy  5852   1532208        60      5340         0     76012     37380   1136504     18.07     19.02  --
1224.00/306.84	c  N dy  5912   1552305        60      5340         0     93750     37380   1512050     18.07     19.81  --
1240.75/311.01	c  N dy  5952   1573205        60      5340         0     64517     37380    866982     18.06     19.14  --
1275.10/319.64	c  N dy  6054   1607262        60      5340         0     94492     37380   1495734     18.05     19.10  --
1299.00/325.69	c  N dy  6151   1635500        60      5340         0     70680     37380    983290     18.05     19.01  --
1324.53/332.08	c  N dy  6307   1655569        60      5340         0     88528     37380   1375082     18.06     19.13  --
1348.07/337.98	c  N dy  6402   1675857        60      5340         0     57194     37380    699582     18.07     19.06  --
1366.03/342.47	c  N dy  6483   1695861        60      5340         0     74887     37380   1073809     18.07     19.11  --
1383.58/346.83	c  S st  6510   1710314        60      5340         0     87644     37380   1342048     18.07     16.07  --
1384.82/347.13	c  S st  6510   1710819        60      5340         0     88090     37380   1352073     18.07   no data  --
1384.82/347.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1384.82/347.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1384.82/347.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1385.22/347.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1385.22/347.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1385.22/347.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1385.22/347.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1578.26/395.69	c lits-rem:      5473  cl-subs:    10701  v-elim:      0  v-fix:    0  time: 193.24 s
1578.26/395.70	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1578.61/395.71	c vivif2 --  cl tried    77389 cl shrink        0 lits rem          0 time: 0.07
1580.21/396.16	c asymm  cl-useful: 0/499/5340 lits-rem:0 time: 1.78
1580.21/396.16	c calculated reachability. Time: 0.00
1580.21/396.16	c  N dy  6510   1710819        60      5340         0     77389     37380   1127741     18.07   no data  --
1617.75/405.58	c  N dy  6643   1730887        60      5340         0     95120     37380   1514573     18.08     20.91  --
1649.22/413.48	c  N dy  6661   1761553        60      5340         0     72076     37380    975463     18.05     19.05  --
1679.93/421.11	c  N dy  6745   1781584        60      5340         0     89741     37380   1355144     18.05     19.05  --
1723.82/432.14	c  N dy  6875   1805302        60      5340         0     60017     37380    738336     18.07     19.02  --
1755.74/440.16	c  N dy  7012   1825340        60      5340         0     77764     37380   1126769     18.08     20.73  --
1792.04/449.29	c  N dy  7094   1845363        60      5340         0     95453     37380   1507286     18.08     19.04  --
1830.33/458.80	c  N dy  7265   1865406        60      5340         0     61352     37380    761724     18.10     20.08  --
1857.86/465.72	c  N dy  7374   1885438        60      5340         0     79005     37380   1142736     18.11     20.09  --
1895.75/475.20	c  N dy  7499   1908335        60      5340         0     99204     37380   1579450     18.12     19.08  --
1920.88/481.55	c  N dy  7580   1929186        60      5340         0     64672     37380    810062     18.12     19.10  --
1944.82/487.50	c  N dy  7722   1949226        60      5340         0     82465     37380   1200550     18.13     19.86  --
1970.36/493.95	c  N dy  7810   1969611        60      5340         0    100401     37380   1586392     18.14     19.13  --
1993.50/499.77	c  N dy  7905   1989695        60      5340         0     64350     37380    800659     18.14     20.21  --
2015.84/505.38	c  N dy  7992   2011751        60      5340         0     83716     37380   1214031     18.14     19.10  --
2058.11/515.93	c  N dy  8085   2044021        60      5340         0     57416     37380    636124     18.13     19.11  --
2078.11/521.01	c  N dy  8181   2064485        60      5340         0     75470     37380   1025439     18.14     19.14  --
2108.83/528.65	c  N dy  8273   2089109        60      5340         0     97175     37380   1490693     18.14     19.37  --
2138.71/536.18	c  N dy  8360   2109131        60      5340         0     59343     37380    667970     18.14     19.23  --
2159.06/541.23	c  N dy  8404   2131773        60      5340         0     79222     37380   1086267     18.14     19.24  --
2185.79/547.98	c  N dy  8531   2151820        60      5340         0     96954     37380   1474641     18.15     20.09  --
2223.69/557.47	c  N dy  8600   2181406        60      5340         0     66584     37380    808038     18.14     19.19  --
2246.83/563.22	c  N dy  8723   2201432        60      5340         0     84296     37380   1193326     18.15     20.49  --
2259.99/566.50	c  S st  8786   2210820        60      5340         0     92597     37380   1375732     18.15   no data  --
2260.79/566.78	c  S st  8786   2211324        60      5340         0     93052     37380   1385614     18.15   no data  --
2260.79/566.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2260.79/566.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2261.19/566.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2261.19/566.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2261.19/566.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2261.19/566.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2261.19/566.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2375.29/595.41	c lits-rem:      6184  cl-subs:     9841  v-elim:      0  v-fix:    0  time: 113.83 s
2375.29/595.41	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2375.29/595.43	c vivif2 --  cl tried    83211 cl shrink        0 lits rem          0 time: 0.07
2376.52/595.76	c asymm  cl-useful: 0/490/5340 lits-rem:0 time: 1.34
2376.52/595.77	c calculated reachability. Time: 0.00
2376.52/595.77	c  N dy  8786   2211324        60      5340         0     83211     37380   1174787     18.15   no data  --
2411.63/604.53	c  N dy  8838   2240373        60      5340         0    108526     37380   1697820     18.14     19.24  --
2436.32/610.77	c  N dy  8958   2260471        60      5340         0     69722     37380    885333     18.15     19.15  --
2465.04/617.98	c  N dy  9093   2283956        60      5340         0     90425     37380   1335619     18.16     19.23  --
2508.58/628.85	c  N dy  9215   2307625        60      5340         0    111310     37380   1785096     18.16     19.18  --
2536.85/635.98	c  N dy  9246   2327700        60      5340         0     71116     37380    890970     18.16     19.14  --
2563.98/642.77	c  N dy  9312   2347733        60      5340         0     88729     37380   1265492     18.16     19.23  --
2606.26/653.39	c  N dy  9421   2369188        60      5340         0    107656     37380   1674406     18.16     19.14  --
2640.96/662.08	c  N dy  9467   2389283        60      5340         0     66431     37380    778525     18.16     19.15  --
2674.08/670.39	c  N dy  9598   2409780        60      5340         0     84589     37380   1174252     18.17     19.14  --
2708.39/678.97	c  N dy  9671   2429787        60      5340         0    102216     37380   1552209     18.17     19.52  --
2771.45/694.76	c  N dy  9747   2472120        60      5340         0     79334     37380   1030021     18.15     19.25  --
2808.91/704.15	c  N dy  9875   2492460        60      5340         0     97325     37380   1422581     18.16     19.12  --
2850.85/714.65	c  N dy  9963   2512960        60      5340         0    115342     37380   1809251     18.16     19.12  --
2899.87/726.93	c  N dy 10089   2542957        60      5340         0     81221     37380   1082100     18.16     19.17  --
2938.21/736.54	c  N dy 10220   2562961        60      5340         0     98854     37380   1466613     18.17     19.87  --
2974.06/745.50	c  N dy 10265   2584254        60      5340         0    117548     37380   1862839     18.17     19.17  --
3007.58/753.91	c  N dy 10319   2609260        60      5340         0     77847     37380    990698     18.16     19.20  --
3035.15/760.83	c  N dy 10422   2629895        60      5340         0     96082     37380   1386314     18.17     19.18  --
3066.62/768.73	c  N dy 10517   2650765        60      5340         0    114438     37380   1780114     18.17     19.13  --
3094.55/775.75	c  N dy 10554   2671104        60      5340         0     69856     37380    811508     18.16     19.24  --
3118.52/781.73	c  N dy 10664   2691370        60      5340         0     87789     37380   1201322     18.17     19.15  --
3144.85/788.39	c  S st 10729   2711324        60      5340         0    105365     37380   1577832     18.17   no data  --
3146.40/788.73	c  S st 10729   2711831        60      5340         0    105824     37380   1588292     18.17   no data  --
3146.40/788.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3146.40/788.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3146.40/788.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3146.80/788.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3146.80/788.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3146.80/788.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3146.80/788.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3533.76/885.86	c lits-rem:      6415  cl-subs:    12397  v-elim:      0  v-fix:    0  time: 386.95 s
3533.76/885.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3533.76/885.88	c vivif2 --  cl tried    93427 cl shrink        0 lits rem          0 time: 0.08
3534.99/886.20	c asymm  cl-useful: 0/567/5340 lits-rem:0 time: 1.26
3534.99/886.20	c calculated reachability. Time: 0.00
3534.99/886.20	c  N dy 10729   2711831        60      5340         0     93427     37380   1329143     18.17   no data  --
3569.67/894.90	c  N dy 10794   2737585        60      5340         0    116027     37380   1807133     18.17     19.15  --
3600.38/902.61	c  N dy 10897   2757630        60      5340         0     71150     37380    846101     18.17     19.76  --
3629.50/909.82	c  N dy 10904   2787720        60      5340         0     97209     37380   1381216     18.15     19.21  --
3656.63/916.66	c  N dy 10931   2807799        60      5340         0    114765     37380   1751273     18.15     19.14  --
3686.15/924.03	c  N dy 10949   2831345        60      5340         0     71625     37380    834418     18.14     19.22  --
3716.06/931.59	c  N dy 11052   2852254        60      5340         0     90003     37380   1231534     18.14     19.13  --
3763.94/943.52	c  N dy 11178   2872530        60      5340         0    107830     37380   1618336     18.15     19.12  --
3831.76/960.57	c  N dy 11264   2906847        60      5340         0     73258     37380    853361     18.14     19.12  --
3867.26/969.41	c  N dy 11394   2926876        60      5340         0     91009     37380   1244267     18.14     20.00  --
3907.15/979.45	c  N dy 11453   2948580        60      5340         0    110082     37380   1645292     18.14     19.18  --
3957.02/991.97	c  N dy 11496   2974380        60      5340         0     66934     37380    720878     18.13     19.28  --
3987.73/999.68	c  N dy 11603   2994422        60      5340         0     84577     37380   1104333     18.14     21.65  --
4026.47/1009.38	c  N dy 11717   3014470        60      5340         0    102252     37380   1487093     18.14     20.28  --
4077.09/1022.05	c  N dy 11855   3034885        60      5340         0    120359     37380   1884613     18.15     19.11  --
4124.96/1034.03	c  N dy 11963   3054977        60      5340         0     71254     37380    803202     18.16     21.07  --
4159.26/1042.65	c  N dy 12054   3077232        60      5340         0     90856     37380   1224361     18.16     19.13  --
4200.35/1052.95	c  N dy 12141   3098482        60      5340         0    109613     37380   1627349     18.16     19.20  --
4250.26/1065.42	c  N dy 12255   3118811        60      5340         0    127473     37380   2015181     18.17     19.16  --
4298.52/1077.56	c  N dy 12390   3141724        60      5340         0     79974     37380    985471     18.17     19.35  --
4334.78/1086.69	c  N dy 12540   3162400        60      5340         0     98245     37380   1386614     18.18     19.16  --
4366.30/1094.57	c  N dy 12606   3182603        60      5340         0    115965     37380   1764475     18.18     19.23  --
4408.98/1105.26	c  N dy 12688   3203384        60      5340         0    134259     37380   2158651     18.18     19.18  --
4426.54/1109.60	c  S st 12726   3211831        60      5340         0     72935     37380    814804     18.18     18.79  --
4427.34/1109.86	c  S st 12726   3212334        60      5340         0     73384     37380    824877     18.18   no data  --
4427.34/1109.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4427.34/1109.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4427.73/1109.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4427.73/1109.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4427.73/1109.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4427.73/1109.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4427.73/1109.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4493.96/1126.57	c lits-rem:       882  cl-subs:     1471  v-elim:      0  v-fix:    0  time: 66.33 s
4493.96/1126.57	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4493.96/1126.58	c vivif2 --  cl tried    71913 cl shrink        0 lits rem          0 time: 0.05
4495.55/1126.96	c asymm  cl-useful: 0/610/5340 lits-rem:0 time: 1.50
4495.55/1126.96	c calculated reachability. Time: 0.00
4495.55/1126.96	c  N dy 12726   3212334        60      5340         0     71913     37380    794894     18.18   no data  --
4520.28/1133.16	c  N dy 12774   3232344        60      5340         0     89452     37380   1163031     18.18     19.88  --
4547.41/1139.94	c  N dy 12781   3254784        60      5340         0    109044     37380   1567767     18.17     19.15  --
4592.94/1151.31	c  N dy 12899   3275306        60      5340         0    127126     37380   1963093     18.18     19.16  --
4643.15/1163.91	c  N dy 13019   3300661        60      5340         0     80092     37380    963021     18.18     19.16  --
4673.87/1171.63	c  N dy 13095   3321278        60      5340         0     98243     37380   1352131     18.18     19.15  --
4715.80/1182.11	c  N dy 13235   3341345        60      5340         0    115878     37380   1740801     18.19     19.64  --
4752.05/1191.23	c  N dy 13321   3361650        60      5340         0    133741     37380   2127770     18.19     19.19  --
4795.14/1202.00	c  N dy 13398   3394210        60      5340         0     91942     37380   1194008     18.19     19.22  --

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-3369043-1305410852/watcher-3369043-1305410852 -o /tmp/evaluation-result-3369043-1305410852/solver-3369043-1305410852 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369043-1305410852.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.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 412 0 0 0 2 0 0 0 23 0 4 0 652685670 52465664 353 33554432000 4194304 4650419 140737126568832 18446744073709551615 47426219497388 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 12809 353 303 112 0 7774 0
[pid=24704/tid=24705] ppid=24702 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652685671 52465664 353 33554432000 4194304 4650419 140737126568832 18446744073709551615 47426219497384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652685671 52465664 353 33554432000 4194304 4650419 140737126568832 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652685671 52465664 353 33554432000 4194304 4650419 140737126568832 18446744073709551615 47426219497394 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0356169 s]
/proc/loadavg: 0.00 0.00 0.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=281908 CPUtime=0.12 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 1199 0 0 0 12 0 0 0 18 0 4 0 652685670 288673792 1107 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 70477 1107 366 112 0 65442 0
[pid=24704/tid=24705] ppid=24702 vsize=281908 CPUtime=0.03 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 191 0 0 0 3 0 0 0 18 0 4 0 652685671 288673792 1107 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=281908 CPUtime=0.02 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 184 0 0 0 2 0 0 0 25 0 4 0 652685671 288673792 1107 33554432000 4194304 4650419 140737126568832 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=281908 CPUtime=0.03 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 223 0 0 0 3 0 0 0 18 0 4 0 652685671 288673792 1107 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 281908

[startup+0.100605 s]
/proc/loadavg: 0.00 0.00 0.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=282192 CPUtime=0.37 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 1337 0 0 0 37 0 0 0 18 0 4 0 652685670 288964608 1245 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370647 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 70548 1245 366 112 0 65513 0
[pid=24704/tid=24705] ppid=24702 vsize=282192 CPUtime=0.09 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 202 0 0 0 9 0 0 0 18 0 4 0 652685671 288964608 1245 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=282192 CPUtime=0.08 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 196 0 0 0 8 0 0 0 25 0 4 0 652685671 288964608 1245 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=282192 CPUtime=0.09 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 325 0 0 0 9 0 0 0 18 0 4 0 652685671 288964608 1245 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282192

[startup+0.962446 s]
/proc/loadavg: 0.00 0.00 0.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=285964 CPUtime=3.81 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 6757 0 0 0 380 1 0 0 19 0 4 0 652685670 292827136 3753 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71491 3753 391 112 0 66456 0
[pid=24704/tid=24705] ppid=24702 vsize=285964 CPUtime=0.95 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1668 0 0 0 95 0 0 0 18 0 4 0 652685671 292827136 3753 33554432000 4194304 4650419 140737126568832 18446744073709551615 4331989 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=285964 CPUtime=0.94 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1635 0 0 0 94 0 0 0 19 0 4 0 652685671 292827136 3753 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=285964 CPUtime=0.95 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1387 0 0 0 95 0 0 0 19 0 4 0 652685671 292827136 3753 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 285964

[startup+1.00044 s]
/proc/loadavg: 0.00 0.00 0.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=286176 CPUtime=3.96 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 7030 0 0 0 395 1 0 0 19 0 4 0 652685670 293044224 3709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71544 3709 391 112 0 66509 0
[pid=24704/tid=24705] ppid=24702 vsize=286176 CPUtime=0.99 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1684 0 0 0 99 0 0 0 18 0 4 0 652685671 293044224 3709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=286176 CPUtime=0.98 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1654 0 0 0 98 0 0 0 19 0 4 0 652685671 293044224 3709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=286176 CPUtime=0.99 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 1608 0 0 0 99 0 0 0 19 0 4 0 652685671 293044224 3709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 286176

[startup+1.50035 s]
/proc/loadavg: 0.00 0.00 0.07 1/319 24704
/proc/meminfo: memFree=25305736/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=286820 CPUtime=5.97 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 10099 0 0 0 595 2 0 0 20 0 4 0 652685670 293703680 5440 33554432000 4194304 4650419 140737126568832 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71705 5440 392 112 0 66670 0
[pid=24704/tid=24705] ppid=24702 vsize=286820 CPUtime=1.49 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 2145 0 0 0 149 0 0 0 19 0 4 0 652685671 293703680 5440 33554432000 4194304 4650419 140737126568832 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=286820 CPUtime=1.48 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 2133 0 0 0 148 0 0 0 19 0 4 0 652685671 293703680 5440 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=286820 CPUtime=1.49 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 2085 0 0 0 149 0 0 0 20 0 4 0 652685671 293703680 5440 33554432000 4194304 4650419 140737126568832 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286820

[startup+3.10105 s]
/proc/loadavg: 0.00 0.00 0.07 9/331 24721
/proc/meminfo: memFree=25214576/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=285136 CPUtime=12.35 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 16654 0 0 0 1232 3 0 0 25 0 4 0 652685670 291979264 10201 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71284 10201 392 112 0 66249 0
[pid=24704/tid=24705] ppid=24702 vsize=285136 CPUtime=3.08 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 3693 0 0 0 308 0 0 0 24 0 4 0 652685671 291979264 10201 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=285136 CPUtime=3.05 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 4370 0 0 0 305 0 0 0 25 0 4 0 652685671 291979264 10202 33554432000 4194304 4650419 140737126568832 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=285136 CPUtime=3.08 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 4338 0 0 0 308 0 0 0 25 0 4 0 652685671 291979264 10202 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285136

[startup+6.30046 s]
/proc/loadavg: 0.72 0.15 0.12 9/331 24722
/proc/meminfo: memFree=25193988/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=276684 CPUtime=25.12 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 23955 0 0 0 2507 5 0 0 25 0 4 0 652685670 283324416 12408 33554432000 4194304 4650419 140737126568832 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 69171 12408 392 112 0 64136 0
[pid=24704/tid=24705] ppid=24702 vsize=276684 CPUtime=6.29 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 6150 0 0 0 628 1 0 0 25 0 4 0 652685671 283324416 12408 33554432000 4194304 4650419 140737126568832 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=276684 CPUtime=6.23 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 5823 0 0 0 622 1 0 0 25 0 4 0 652685671 283324416 12408 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=276684 CPUtime=6.29 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 6376 0 0 0 628 1 0 0 25 0 4 0 652685671 283324416 12408 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365110 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 276684

[startup+12.7003 s]
/proc/loadavg: 1.30 0.28 0.16 9/331 24722
/proc/meminfo: memFree=25149384/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=283780 CPUtime=50.69 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 35933 0 0 0 5062 7 0 0 25 0 4 0 652685670 290590720 18383 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 70945 18383 392 112 0 65910 0
[pid=24704/tid=24705] ppid=24702 vsize=283780 CPUtime=12.7 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 8898 0 0 0 1269 1 0 0 25 0 4 0 652685671 290590720 18383 33554432000 4194304 4650419 140737126568832 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=283780 CPUtime=12.56 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 8707 0 0 0 1255 1 0 0 25 0 4 0 652685671 290590720 18383 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=283780 CPUtime=12.7 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 9895 0 0 0 1269 1 0 0 25 0 4 0 652685671 290590720 18383 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 283780

[startup+25.5009 s]
/proc/loadavg: 2.87 0.67 0.29 9/331 24722
/proc/meminfo: memFree=25113356/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=284440 CPUtime=101.73 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 52450 0 0 0 10162 11 0 0 25 0 4 0 652685670 291266560 21543 33554432000 4194304 4650419 140737126568832 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71110 21543 392 112 0 66075 0
[pid=24704/tid=24705] ppid=24702 vsize=284440 CPUtime=25.48 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 12339 0 0 0 2546 2 0 0 25 0 4 0 652685671 291266560 21543 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=284440 CPUtime=25.24 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 13493 0 0 0 2521 3 0 0 25 0 4 0 652685671 291266560 21543 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=284440 CPUtime=25.49 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 14493 0 0 0 2546 3 0 0 25 0 4 0 652685671 291266560 21543 33554432000 4194304 4650419 140737126568832 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 284440

[startup+51.1011 s]
/proc/loadavg: 4.62 1.26 0.50 9/331 24723
/proc/meminfo: memFree=25083388/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=286280 CPUtime=203.87 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 79279 0 0 0 20369 18 0 0 25 0 4 0 652685670 293150720 26471 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 71570 26471 392 112 0 66535 0
[pid=24704/tid=24705] ppid=24702 vsize=286280 CPUtime=51.09 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 19317 0 0 0 5105 4 0 0 25 0 4 0 652685671 293150720 26471 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=286280 CPUtime=50.57 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 20476 0 0 0 5052 5 0 0 25 0 4 0 652685671 293150720 26471 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=286280 CPUtime=51.09 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 21523 0 0 0 5105 4 0 0 25 0 4 0 652685671 293150720 26471 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 286280

[startup+102.301 s]
/proc/loadavg: 6.63 2.33 0.90 9/331 24724
/proc/meminfo: memFree=25047396/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=320984 CPUtime=408.14 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 123288 0 0 0 40782 32 0 0 25 0 4 0 652685670 328687616 29018 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 80246 29018 392 112 0 75211 0
[pid=24704/tid=24705] ppid=24702 vsize=320984 CPUtime=102.29 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 28949 0 0 0 10223 6 0 0 25 0 4 0 652685671 328687616 29018 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=320984 CPUtime=101.24 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 31950 0 0 0 10115 9 0 0 25 0 4 0 652685671 328687616 29018 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=320984 CPUtime=102.28 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 34901 0 0 0 10221 7 0 0 25 0 4 0 652685671 328687616 29018 33554432000 4194304 4650419 140737126568832 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 320984

[startup+162.3 s]

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

[pid=24704] ppid=24702 vsize=378332 CPUtime=2562.38 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 357190 0 0 0 256106 132 0 0 25 0 4 0 652685670 387411968 66991 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366900 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 94583 66991 392 112 0 89548 0
[pid=24704/tid=24705] ppid=24702 vsize=378332 CPUtime=642.31 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 93387 0 0 0 64201 30 0 0 25 0 4 0 652685671 387411968 66991 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=378332 CPUtime=635.44 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 99091 0 0 0 63506 38 0 0 25 0 4 0 652685671 387411968 66991 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=378332 CPUtime=642.31 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 76580 0 0 0 64205 26 0 0 25 0 4 0 652685671 387411968 66991 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.38
Current children cumulated vsize (KiB) 378332

[startup+702.301 s]
/proc/loadavg: 8.14 7.33 4.31 9/331 24740
/proc/meminfo: memFree=24701976/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=390744 CPUtime=2801.74 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 371682 0 0 0 280035 139 0 0 25 0 4 0 652685670 400121856 68935 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 97686 68935 392 112 0 92651 0
[pid=24704/tid=24705] ppid=24702 vsize=390744 CPUtime=702.31 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 98429 0 0 0 70200 31 0 0 25 0 4 0 652685671 400121856 68935 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=390744 CPUtime=694.79 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 104364 0 0 0 69438 41 0 0 25 0 4 0 652685671 400121856 68935 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=390744 CPUtime=702.31 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 76808 0 0 0 70205 26 0 0 25 0 4 0 652685671 400121856 68935 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.74
Current children cumulated vsize (KiB) 390744

[startup+762.3 s]
/proc/loadavg: 8.10 7.46 4.54 9/331 24742
/proc/meminfo: memFree=24703552/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=390972 CPUtime=3041.08 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 392071 0 0 0 303961 147 0 0 25 0 4 0 652685670 400355328 69361 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 97743 69361 392 112 0 92708 0
[pid=24704/tid=24705] ppid=24702 vsize=390972 CPUtime=762.31 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 108763 0 0 0 76198 33 0 0 25 0 4 0 652685671 400355328 69361 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=390972 CPUtime=754.13 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 109046 0 0 0 75370 43 0 0 25 0 4 0 652685671 400355328 69361 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=390972 CPUtime=762.31 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 77168 0 0 0 76205 26 0 0 25 0 4 0 652685671 400355328 69361 33554432000 4194304 4650419 140737126568832 18446744073709551615 4333940 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.08
Current children cumulated vsize (KiB) 390972

[startup+822.3 s]
/proc/loadavg: 8.08 7.57 4.76 9/331 24743
/proc/meminfo: memFree=24675508/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=384980 CPUtime=3280.48 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 407962 0 0 0 327893 155 0 0 25 0 4 0 652685670 394219520 70743 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 96245 70743 392 112 0 91210 0
[pid=24704/tid=24705] ppid=24702 vsize=384980 CPUtime=822.32 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 111278 0 0 0 82198 34 0 0 25 0 4 0 652685671 394219520 70743 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=384980 CPUtime=813.48 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 114277 0 0 0 81302 46 0 0 25 0 4 0 652685671 394219520 70743 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=384980 CPUtime=822.33 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 79900 0 0 0 82204 29 0 0 25 0 4 0 652685671 394219520 70743 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.48
Current children cumulated vsize (KiB) 384980

[startup+882.3 s]
/proc/loadavg: 8.03 7.65 4.96 9/331 24745
/proc/meminfo: memFree=24673140/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=385508 CPUtime=3519.8 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 427503 0 0 0 351821 159 0 0 25 0 4 0 652685670 394760192 71296 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 96377 71296 392 112 0 91342 0
[pid=24704/tid=24705] ppid=24702 vsize=385508 CPUtime=882.32 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 111817 0 0 0 88197 35 0 0 25 0 4 0 652685671 394760192 71296 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=385508 CPUtime=872.83 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 118124 0 0 0 87234 49 0 0 25 0 4 0 652685671 394760192 71296 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=385508 CPUtime=882.32 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 80117 0 0 0 88203 29 0 0 25 0 4 0 652685671 394760192 71296 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.8
Current children cumulated vsize (KiB) 385508

[startup+942.313 s]
/proc/loadavg: 8.01 7.71 5.15 9/331 24746
/proc/meminfo: memFree=24661316/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=504216 CPUtime=3759.19 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 444685 0 0 0 375752 167 0 0 25 0 4 0 652685670 516317184 79154 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 126054 79154 392 112 0 121019 0
[pid=24704/tid=24705] ppid=24702 vsize=504216 CPUtime=942.32 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 116589 0 0 0 94195 37 0 0 25 0 4 0 652685671 516317184 79154 33554432000 4194304 4650419 140737126568832 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=504216 CPUtime=932.19 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 123135 0 0 0 93167 52 0 0 25 0 4 0 652685671 516317184 79154 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=504216 CPUtime=942.33 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 80770 0 0 0 94204 29 0 0 25 0 4 0 652685671 516317184 79154 33554432000 4194304 4650419 140737126568832 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.19
Current children cumulated vsize (KiB) 504216

[startup+1002.3 s]
/proc/loadavg: 8.10 7.79 5.33 9/331 24748
/proc/meminfo: memFree=24641692/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=504276 CPUtime=3998.51 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 450944 0 0 0 399679 172 0 0 25 0 4 0 652685670 516378624 77918 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 126069 77918 392 112 0 121034 0
[pid=24704/tid=24705] ppid=24702 vsize=504276 CPUtime=1002.31 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 116589 0 0 0 100194 37 0 0 25 0 4 0 652685671 516378624 77918 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=504276 CPUtime=991.52 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 126376 0 0 0 99099 53 0 0 25 0 4 0 652685671 516378624 77918 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=504276 CPUtime=1002.32 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 80770 0 0 0 100203 29 0 0 25 0 4 0 652685671 516378624 77918 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.51
Current children cumulated vsize (KiB) 504276

[startup+1062.3 s]
/proc/loadavg: 8.13 7.86 5.51 9/331 24750
/proc/meminfo: memFree=24656916/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=504388 CPUtime=4237.85 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 458280 0 0 0 423608 177 0 0 25 0 4 0 652685670 516493312 79851 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 126097 79851 392 112 0 121062 0
[pid=24704/tid=24705] ppid=24702 vsize=504388 CPUtime=1062.32 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 116589 0 0 0 106195 37 0 0 25 0 4 0 652685671 516493312 79851 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=504388 CPUtime=1050.86 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 131134 0 0 0 105029 57 0 0 25 0 4 0 652685671 516493312 79851 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=504388 CPUtime=1062.32 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 80770 0 0 0 106203 29 0 0 25 0 4 0 652685671 516493312 79851 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.85
Current children cumulated vsize (KiB) 504388

[startup+1122.3 s]
/proc/loadavg: 8.13 7.91 5.67 9/331 24751
/proc/meminfo: memFree=24650188/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=475920 CPUtime=4477.2 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 469357 0 0 0 447537 183 0 0 25 0 4 0 652685670 487342080 76709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 118980 76709 392 112 0 113945 0
[pid=24704/tid=24705] ppid=24702 vsize=475920 CPUtime=1122.32 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 119473 0 0 0 112193 39 0 0 25 0 4 0 652685671 487342080 76709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=475920 CPUtime=1110.21 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 135591 0 0 0 110962 59 0 0 25 0 4 0 652685671 487342080 76709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=475920 CPUtime=1122.32 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 80957 0 0 0 112203 29 0 0 25 0 4 0 652685671 487342080 76709 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.2
Current children cumulated vsize (KiB) 475920

[startup+1182.3 s]
/proc/loadavg: 8.20 7.97 5.83 9/331 24753
/proc/meminfo: memFree=24641988/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=488472 CPUtime=4716.55 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 493042 0 0 0 471463 192 0 0 25 0 4 0 652685670 500195328 79400 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 122118 79400 392 112 0 117083 0
[pid=24704/tid=24705] ppid=24702 vsize=488472 CPUtime=1182.33 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 122803 0 0 0 118191 42 0 0 25 0 4 0 652685671 500195328 79400 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=488472 CPUtime=1169.56 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 150670 0 0 0 116894 62 0 0 25 0 4 0 652685671 500195328 79400 33554432000 4194304 4650419 140737126568832 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=488472 CPUtime=1182.33 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 83369 0 0 0 118202 31 0 0 25 0 4 0 652685671 500195328 79400 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.55
Current children cumulated vsize (KiB) 488472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.14 7.97 5.87 9/331 24753
/proc/meminfo: memFree=24630324/32951124 swapFree=44485764/67111528
[pid=24704] ppid=24702 vsize=501456 CPUtime=4800.36 cores=1,3,5,7
/proc/24704/stat : 24704 (strangenight1-m) R 24702 24704 24676 0 -1 4202496 498382 0 0 0 479840 196 0 0 25 0 4 0 652685670 513490944 82072 33554432000 4194304 4650419 140737126568832 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24704/statm: 125364 82072 392 112 0 120329 0
[pid=24704/tid=24705] ppid=24702 vsize=501456 CPUtime=1203.34 cores=1,3,5,7
/proc/24704/task/24705/stat : 24705 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 124850 0 0 0 120291 43 0 0 25 0 4 0 652685671 513490944 82072 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24704/tid=24706] ppid=24702 vsize=501456 CPUtime=1190.33 cores=1,3,5,7
/proc/24704/task/24706/stat : 24706 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 151804 0 0 0 118970 63 0 0 25 0 4 0 652685671 513490944 82072 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=501456 CPUtime=1203.34 cores=1,3,5,7
/proc/24704/task/24707/stat : 24707 (strangenight1-m) R 24702 24704 24676 0 -1 4202560 83369 0 0 0 120303 31 0 0 25 0 4 0 652685671 513490944 82072 33554432000 4194304 4650419 140737126568832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 501456

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.33
CPU time (s): 4800.4
CPU user time (s): 4798.42
CPU system time (s): 1.9777
CPU usage (%): 398.926
Max. virtual memory (cumulated for all children) (KiB): 517276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.42
system time used= 1.9777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498383
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= 658
involuntary context switches= 20514

runsolver used 3.44948 second user time and 9.57954 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-15 00:07:32
IDJOB=3369043
IDBENCH=83052
IDSOLVER=1846
FILE ID=node105/3369043-1305410852
RUNJOBID= node105-1305410851-24695
PBS_JOBID= 13324538
Free space on /tmp= 73592 MiB

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

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

MD5SUM BENCH= 1e7a565e93334fc4a75fcaa13a0d446a
RANDOM SEED=1566319223

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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:      25306140 kB
Buffers:        274816 kB
Cached:        5902280 kB
SwapCached:      39656 kB
Active:         566084 kB
Inactive:      6819440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25306140 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:     1176524 kB
Mapped:           9868 kB
Slab:           127944 kB
PageTables:      66108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65317168 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= 73576 MiB
End job on node105 at 2011-05-15 00:27:38