Trace number 3175414

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf
MD5SUM1f00de1fd8adbfbf4cc573ef44af531f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

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-3175414-1304123110.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.00/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.75/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.75/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.75/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.75/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.75/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.75/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.75/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.75/0.23	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.75/0.23	c calculated reachability. Time: 0.00
0.75/0.23	c Calc default polars -  time:   0.00 s pos:      48 undec:       1 neg:      41
0.75/0.23	c =========================================================================================
0.75/0.23	c types(t): F = full restart, N = normal restart
0.75/0.23	c types(t): S = simplification begin/end, E = solution found
0.75/0.23	c restart types(rt): st = static, dy = dynamic
0.75/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.75/0.23	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.17/0.37	c  N dy     8      4384        90      8010         0      4036     56070    119193     25.25     26.61  --
1.97/0.53	c  N dy    19      8475        90      8010         0      5518     56070    150901     25.53     26.89  --
2.76/0.72	c  N dy    27     12753        90      8010         0      5568     56070    137067     25.18     26.63  --
3.96/1.04	c  N dy    31     19399        90      8010         0      6468     56070    144929     24.65     25.99  --
4.78/1.25	c  N dy    66     23497        90      8010         0     10289     56070    258962     25.05     26.61  --
5.16/1.34	c  F st    78     25001        90      8010         0     11683     56070    301187     25.18   no data  --
5.96/1.50	c  N st    83     28300        90      8010         0      8425     56070    186574     25.18   no data  --
5.96/1.58	c  S st    84     30001        90      8010         0     10009     56070    234735     25.18   no data  --
6.36/1.61	c  S st    84     30505        90      8010         0     10484     56070    248855     25.18   no data  --
6.36/1.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.36/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.36/1.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.15/2.81	c lits-rem:      1744  cl-subs:      688  v-elim:      0  v-fix:    0  time:  4.69 s
12.75/3.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.56
12.75/3.20	c calculated reachability. Time: 0.00
12.75/3.20	c  N dy    84     30505        90      8010         0      9796     56070    224807     25.18   no data  --
13.57/3.47	c  N dy   110     35188        90      8010         0     14153     56070    354706     25.38     26.77  --
15.15/3.87	c  N dy   124     42637        90      8010         0     13691     56070    321833     25.29     26.73  --
15.95/4.08	c  S st   140     45759        90      8010         0      8338     56070    149005     25.36     24.58  --
16.35/4.11	c  S st   140     46265        90      8010         0      8815     56070    163432     25.36   no data  --
16.35/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.35/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.35/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.35/4.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.54/4.99	c lits-rem:       176  cl-subs:       72  v-elim:      0  v-fix:    0  time:  3.44 s
19.54/4.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.54/4.99	c vivif2 --  cl tried     8743 cl shrink        0 lits rem          0 time: 0.00
20.73/5.29	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.21
20.73/5.29	c calculated reachability. Time: 0.00
20.73/5.29	c  N dy   140     46265        90      8010         0      8743     56070    160679     25.36   no data  --
22.36/5.64	c  N dy   144     52339        90      8010         0     14334     56070    322585     25.21     26.71  --
26.75/6.74	c  N dy   148     69400        90      8010         0     10698     56070    187439     24.87     24.63  --
26.75/6.74	c  S st   148     69400        90      8010         0     10698     56070    187439     24.87     24.63  --
26.75/6.78	c  S st   148     69903        90      8010         0     11170     56070    201477     24.87   no data  --
26.75/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.75/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.75/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.75/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.74/7.72	c lits-rem:       354  cl-subs:      163  v-elim:      0  v-fix:    0  time:  3.72 s
30.74/7.72	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.74/7.73	c vivif2 --  cl tried    11007 cl shrink        0 lits rem          0 time: 0.01
31.92/8.08	c asymm  cl-useful: 0/7915/8010 lits-rem:0 time: 1.42
31.92/8.08	c calculated reachability. Time: 0.00
31.92/8.08	c  N dy   148     69903        90      8010         0     11007     56070    196287     24.87   no data  --
33.92/8.51	c  N dy   175     76603        90      8010         0     17260     56070    380455     24.92     26.24  --
35.91/9.04	c  N dy   210     82484        90      8010         0     11650     56070    197540     25.02     26.43  --
37.11/9.38	c  F st   224     87500        90      8010         0     16301     56070    333532     25.04     24.35  --
37.51/9.40	c  N st   225     87750        90      8010         0     16535     56070    340530     25.04   no data  --
39.11/9.84	c  N dy   236     93391        90      8010         0     21769     56070    497148     25.06     29.33  --
41.10/10.35	c  N dy   269     99489        90      8010         0     15370     56070    289646     25.14     26.68  --
42.70/10.74	c  S st   281    104855        90      8010         0     20323     56070    436090     25.15     25.34  --
43.11/10.80	c  S st   281    105357        90      8010         0     20797     56070    450061     25.15   no data  --
43.11/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.11/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.11/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.11/10.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.11/10.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.11/10.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.11/10.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.70/12.75	c lits-rem:      1804  cl-subs:     1511  v-elim:      0  v-fix:    0  time:  7.70 s
50.70/12.76	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.70/12.76	c vivif2 --  cl tried    19286 cl shrink        0 lits rem          0 time: 0.02
52.29/13.17	c asymm  cl-useful: 0/5665/8010 lits-rem:0 time: 1.63
52.29/13.17	c calculated reachability. Time: 0.00
52.29/13.17	c  N dy   281    105357        90      8010         0     19286     56070    399913     25.15   no data  --
55.09/13.83	c  N dy   302    112705        90      8010         0     13181     56070    206639     25.17     26.57  --
57.10/14.37	c  N dy   331    120662        90      8010         0     20539     56070    423019     25.19     26.62  --
60.28/15.11	c  N dy   376    128528        90      8010         0     13953     56070    213477     25.28     26.62  --
62.67/15.72	c  N dy   402    137202        90      8010         0     21968     56070    449129     25.29     26.68  --
65.89/16.56	c  N dy   440    146054        90      8010         0     15394     56070    236515     25.31     26.85  --
68.67/17.29	c  N dy   481    155447        90      8010         0     24157     56070    497030     25.35     28.54  --
69.87/17.52	c  S st   488    158037        90      8010         0     26546     56070    567130     25.35     25.75  --
69.87/17.59	c  S st   488    158539        90      8010         0     27017     56070    581192     25.35   no data  --
69.87/17.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.87/17.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.87/17.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
70.29/17.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.29/17.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.29/17.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
70.29/17.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.65/20.27	c lits-rem:      2614  cl-subs:     1928  v-elim:      0  v-fix:    0  time: 10.59 s
80.65/20.27	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.65/20.28	c vivif2 --  cl tried    25089 cl shrink        0 lits rem          0 time: 0.02
81.85/20.52	c asymm  cl-useful: 0/1920/8010 lits-rem:0 time: 0.97
81.85/20.52	c calculated reachability. Time: 0.00
81.85/20.52	c  N dy   488    158539        90      8010         0     25089     56070    516051     25.35   no data  --
85.84/21.52	c  N dy   506    170332        90      8010         0     20319     56070    364679     25.30     26.88  --
89.43/22.43	c  N dy   512    181637        90      8010         0     30789     56070    671523     25.22     26.58  --
93.84/23.53	c  N dy   569    193372        90      8010         0     25027     56070    487347     25.27     26.72  --
99.02/24.80	c  N dy   596    205819        90      8010         0     18992     56070    289115     25.22     26.56  --
110.23/27.60	c  N dy   616    237809        90      8010         0     29921     56070    595483     25.00     21.79  --
110.23/27.60	c  S st   616    237809        90      8010         0     29921     56070    595483     25.00     21.79  --
110.23/27.68	c  S st   616    238315        90      8010         0     30397     56070    609583     25.00   no data  --
110.23/27.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.23/27.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.23/27.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.61/27.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.61/27.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.61/27.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.61/27.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.79/30.56	c lits-rem:      2459  cl-subs:     2430  v-elim:      0  v-fix:    0  time: 11.35 s
121.79/30.56	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.79/30.56	c vivif2 --  cl tried    27967 cl shrink        0 lits rem          0 time: 0.02
122.60/30.77	c asymm  cl-useful: 0/2165/8010 lits-rem:0 time: 0.85
122.60/30.78	c calculated reachability. Time: 0.00
122.60/30.78	c  N dy   616    238315        90      8010         0     27967     56070    539442     25.00   no data  --
130.99/32.81	c  N dy   661    259578        90      8010         0     28332     56070    531016     24.98     26.35  --
138.17/34.62	c  N dy   701    276190        90      8010         0     23419     56070    371321     24.97     27.60  --
146.16/36.64	c  N dy   794    294127        90      8010         0     40084     56070    863022     25.04     26.39  --
151.35/37.95	c  F st   846    306252        90      8010         0     30023     56070    543117     25.04   no data  --
155.34/38.97	c  N dy   861    315744        90      8010         0     38856     56070    805310     25.04     26.42  --
166.14/41.67	c  N dy   950    338780        90      8010         0     37954     56070    754284     25.07     26.50  --
174.53/43.70	c  S st   986    357473        90      8010         0     32074     56070    566667     25.06     23.77  --
174.53/43.78	c  S st   986    357976        90      8010         0     32549     56070    580903     25.06   no data  --
174.53/43.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.53/43.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.53/43.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
174.93/43.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.93/43.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.93/43.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
174.93/43.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
185.31/46.45	c lits-rem:      1357  cl-subs:     1628  v-elim:      0  v-fix:    0  time: 10.51 s
185.31/46.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
185.31/46.45	c vivif2 --  cl tried    30921 cl shrink        0 lits rem          0 time: 0.02
186.11/46.66	c asymm  cl-useful: 0/1783/8010 lits-rem:0 time: 0.83
186.11/46.66	c calculated reachability. Time: 0.00
186.11/46.66	c  N dy   986    357976        90      8010         0     30921     56070    528968     25.06   no data  --
201.69/50.51	c  N dy  1035    386945        90      8010         0     33698     56070    595169     25.02     26.37  --
214.06/53.67	c  N dy  1102    407011        90      8010         0     27369     56070    394573     25.03     26.90  --
226.45/56.72	c  N dy  1128    433173        90      8010         0     51328     56070   1084116     24.94     26.51  --
236.04/59.19	c  N dy  1222    453494        90      8010         0     44333     56070    882762     24.97     26.38  --
247.22/61.99	c  N dy  1311    473538        90      8010         0     36146     56070    617024     24.99     27.20  --
264.02/66.12	c  N dy  1393    505308        90      8010         0     37721     56070    635584     24.95     26.29  --
277.57/69.53	c  N dy  1515    525404        90      8010         0     56440     56070   1191056     25.00     28.16  --
283.57/71.01	c  S st  1550    536966        90      8010         0     38411     56070    642293     25.00     23.73  --
283.97/71.11	c  S st  1550    537468        90      8010         0     38884     56070    655950     25.00   no data  --
283.97/71.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.97/71.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.97/71.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.97/71.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.97/71.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.97/71.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
283.97/71.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
299.95/75.19	c lits-rem:      1593  cl-subs:     1899  v-elim:      0  v-fix:    0  time: 16.13 s
299.95/75.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
300.35/75.20	c vivif2 --  cl tried    36985 cl shrink        0 lits rem          0 time: 0.03
301.15/75.42	c asymm  cl-useful: 0/1412/8010 lits-rem:0 time: 0.91
301.15/75.43	c calculated reachability. Time: 0.00
301.15/75.43	c  N dy  1550    537468        90      8010         0     36985     56070    596523     25.00   no data  --
312.73/78.38	c  N dy  1627    557492        90      8010         0     55590     56070   1147952     25.02     30.01  --
323.91/81.16	c  N dy  1700    577591        90      8010         0     44671     56070    810280     25.03     27.26  --
337.90/84.63	c  N dy  1760    600818        90      8010         0     35616     56070    526438     25.02     26.41  --
357.06/89.43	c  N dy  1876    631014        90      8010         0     32068     56070    404466     25.04     26.40  --
369.48/92.54	c  N dy  1964    651279        90      8010         0     50928     56070    963282     25.06     26.42  --
385.03/96.43	c  N dy  2066    671613        90      8010         0     37343     56070    541979     25.09     26.62  --
397.41/99.58	c  N dy  2122    692614        90      8010         0     56706     56070   1106780     25.09     26.58  --
415.78/104.13	c  N dy  2220    716365        90      8010         0     45298     56070    755868     25.11     26.50  --
434.98/108.93	c  N dy  2309    740173        90      8010         0     67379     56070   1401483     25.12     26.47  --
445.75/111.66	c  N dy  2351    760252        90      8010         0     51654     56070    925253     25.10     27.31  --
463.73/116.11	c  N dy  2463    780266        90      8010         0     70269     56070   1479417     25.13     27.59  --
475.31/119.09	c  N dy  2546    800320        90      8010         0     53695     56070    966390     25.14     28.24  --
480.10/120.25	c  S st  2580    806203        90      8010         0     59181     56070   1130983     25.14   no data  --
480.90/120.41	c  S st  2580    806704        90      8010         0     59649     56070   1144957     25.14   no data  --
480.90/120.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
480.90/120.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
480.90/120.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
480.90/120.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
480.90/120.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.90/120.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
480.90/120.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
526.44/131.89	c lits-rem:      2831  cl-subs:     4210  v-elim:      0  v-fix:    0  time: 45.54 s
526.44/131.89	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
526.84/131.90	c vivif2 --  cl tried    55439 cl shrink        0 lits rem          0 time: 0.05
528.03/132.25	c asymm  cl-useful: 0/995/8010 lits-rem:0 time: 1.39
528.03/132.25	c calculated reachability. Time: 0.00
528.03/132.25	c  N dy  2580    806704        90      8010         0     55439     56070   1009941     25.14   no data  --
548.41/137.30	c  N dy  2641    837910        90      8010         0     48249     56070    784732     25.12     26.76  --
564.38/141.31	c  N dy  2751    858233        90      8010         0     67045     56070   1344290     25.15     26.57  --
577.97/144.80	c  N dy  2810    878305        90      8010         0     48748     56070    785430     25.14     26.51  --
601.54/150.65	c  N dy  2865    913031        90      8010         0     42878     56070    585722     25.09     26.47  --
617.11/154.55	c  N dy  2959    934415        90      8010         0     62721     56070   1173156     25.11     26.53  --
635.89/159.22	c  N dy  3049    955340        90      8010         0     43279     56070    583533     25.11     26.48  --
650.69/162.94	c  N dy  3149    975359        90      8010         0     61848     56070   1133218     25.13     26.53  --
669.84/167.77	c  N dy  3232    995364        90      8010         0     40550     56070    486092     25.14     27.10  --
683.82/171.27	c  N dy  3323   1015432        90      8010         0     59150     56070   1035018     25.16     26.82  --
701.39/175.60	c  N dy  3378   1035434        90      8010         0     77640     56070   1580123     25.16     28.89  --
718.58/179.95	c  N dy  3481   1058651        90      8010         0     58477     56070   1000542     25.17     26.57  --
729.38/182.68	c  F st  3524   1071876        90      8010         0     70727     56070   1363545     25.17   no data  --
736.15/184.34	c  N dy  3546   1078708        90      8010         0     77058     56070   1553174     25.18     27.76  --
753.33/188.63	c  N dy  3633   1099927        90      8010         0     55041     56070    878949     25.19     26.68  --
769.70/192.79	c  N dy  3701   1119964        90      8010         0     73589     56070   1426778     25.19     28.70  --
792.47/198.44	c  N dy  3804   1141901        90      8010         0     51293     56070    750412     25.21     26.55  --
812.04/203.38	c  N dy  3902   1162199        90      8010         0     70075     56070   1309885     25.22     26.60  --
839.23/210.15	c  N dy  3998   1182254        90      8010         0     45155     56070    549679     25.24     26.57  --
865.18/216.65	c  N dy  4058   1210056        90      8010         0     70881     56070   1311213     25.24     23.54  --
865.18/216.65	c  S st  4058   1210056        90      8010         0     70881     56070   1311213     25.24     23.54  --
866.37/216.90	c  S st  4058   1210559        90      8010         0     71356     56070   1325400     25.24   no data  --
866.37/216.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
866.37/216.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
866.37/216.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
866.77/217.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
866.77/217.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.77/217.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
866.77/217.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
961.04/240.60	c lits-rem:      3248  cl-subs:     5360  v-elim:      0  v-fix:    0  time: 94.23 s
961.04/240.60	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
961.04/240.62	c vivif2 --  cl tried    65996 cl shrink        0 lits rem          0 time: 0.06
962.66/241.00	c asymm  cl-useful: 0/865/8010 lits-rem:0 time: 1.54
962.66/241.01	c calculated reachability. Time: 0.00
962.66/241.01	c  N dy  4058   1210559        90      8010         0     65996     56070   1157099     25.24   no data  --
983.41/246.24	c  N dy  4132   1230855        90      8010         0     84750     56070   1713679     25.24     26.69  --
999.78/250.35	c  N dy  4190   1250874        90      8010         0     59103     56070    940658     25.24     27.20  --
1020.95/255.60	c  N dy  4243   1271910        90      8010         0     78578     56070   1519939     25.24     26.69  --
1048.12/262.47	c  N dy  4305   1297490        90      8010         0     56851     56070    848472     25.24     26.61  --
1068.49/267.52	c  N dy  4313   1320931        90      8010         0     78346     56070   1464320     25.20     26.54  --
1094.08/273.98	c  N dy  4369   1343228        90      8010         0     52808     56070    717731     25.20     26.80  --
1122.01/280.99	c  N dy  4464   1373442        90      8010         0     80667     56070   1541559     25.20     26.54  --
1146.80/287.18	c  N dy  4553   1397302        90      8010         0     55685     56070    780470     25.21     26.73  --
1165.16/291.70	c  N dy  4650   1417677        90      8010         0     74558     56070   1344513     25.22     26.61  --
1187.92/297.42	c  N dy  4740   1437729        90      8010         0     93102     56070   1896372     25.23     28.62  --
1210.70/303.10	c  N dy  4804   1465719        90      8010         0     70957     56070   1203995     25.21     26.67  --
1230.29/308.09	c  N dy  4861   1485720        90      8010         0     89417     56070   1744255     25.20     26.93  --
1250.64/313.14	c  N dy  4947   1506083        90      8010         0     59306     56070    854348     25.21     26.60  --
1272.21/318.56	c  N dy  5032   1531684        90      8010         0     82866     56070   1551404     25.21     26.90  --
1296.97/324.75	c  N dy  5085   1555127        90      8010         0     54695     56070    696691     25.21     26.57  --
1314.94/329.27	c  N dy  5198   1575184        90      8010         0     73337     56070   1256300     25.22     29.08  --
1338.11/335.07	c  N dy  5245   1599152        90      8010         0     95457     56070   1908009     25.21     26.68  --
1357.29/339.86	c  N dy  5333   1619361        90      8010         0     63313     56070    941004     25.22     26.60  --
1380.07/345.52	c  N dy  5400   1644807        90      8010         0     86800     56070   1637224     25.22     26.60  --
1409.22/352.85	c  N dy  5502   1668922        90      8010         0     57327     56070    740620     25.22     26.83  --
1427.59/357.40	c  N dy  5504   1693266        90      8010         0     79595     56070   1388575     25.20     26.77  --
1449.99/363.04	c  S st  5612   1710559        90      8010         0     95642     56070   1869293     25.22     23.30  --
1450.76/363.29	c  S st  5612   1711060        90      8010         0     96120     56070   1883905     25.22   no data  --
1451.16/363.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1451.16/363.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1451.16/363.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1451.56/363.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1451.56/363.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1451.56/363.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1451.56/363.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1587.77/397.56	c lits-rem:      3580  cl-subs:     9179  v-elim:      0  v-fix:    0  time: 136.34 s
1587.77/397.56	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1587.77/397.58	c vivif2 --  cl tried    86941 cl shrink        0 lits rem          0 time: 0.08
1589.37/397.94	c asymm  cl-useful: 0/642/8010 lits-rem:0 time: 1.41
1589.37/397.94	c calculated reachability. Time: 0.00
1589.37/397.94	c  N dy  5612   1711060        90      8010         0     86941     56070   1606338     25.22   no data  --
1616.53/404.70	c  N dy  5702   1731140        90      8010         0     53268     56070    609356     25.23     26.59  --
1634.11/409.20	c  N dy  5805   1751267        90      8010         0     71909     56070   1164215     25.24     26.60  --
1652.87/413.80	c  N dy  5831   1772047        90      8010         0     90913     56070   1714765     25.22     26.58  --
1681.64/421.08	c  N dy  5934   1792101        90      8010         0     56126     56070    673911     25.23     27.49  --
1712.00/428.64	c  N dy  6037   1819664        90      8010         0     81463     56070   1417686     25.23     26.61  --
1740.76/435.85	c  N dy  6103   1840753        90      8010         0    100898     56070   1989026     25.23     26.58  --
1773.12/443.91	c  N dy  6136   1871146        90      8010         0     74469     56070   1189429     25.21     26.70  --
1799.08/450.49	c  N dy  6250   1892965        90      8010         0     94680     56070   1793380     25.22     26.59  --
1823.47/456.54	c  N dy  6315   1912985        90      8010         0     57957     56070    692532     25.23     26.56  --
1842.22/461.23	c  N dy  6394   1934020        90      8010         0     77412     56070   1271592     25.23     26.83  --
1867.80/467.63	c  N dy  6461   1956953        90      8010         0     98587     56070   1897690     25.23     26.63  --
1964.08/491.73	c  N dy  6487   2065169        90      8010         0     84189     56070   1414007     25.10     26.56  --
1995.61/499.68	c  N dy  6556   2091694        90      8010         0    108655     56070   2138915     25.10     26.45  --
2116.65/529.96	c  N dy  6587   2211060        90      8010         0    101053     56070   1864249     24.94     25.77  --
2116.65/529.96	c  S st  6587   2211060        90      8010         0    101053     56070   1864249     24.94     25.77  --
2117.87/530.26	c  S st  6587   2211562        90      8010         0    101527     56070   1878712     24.94   no data  --
2117.87/530.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2117.87/530.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2118.27/530.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2118.27/530.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2118.27/530.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2118.27/530.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2118.27/530.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2278.83/570.55	c lits-rem:      3895  cl-subs:    11403  v-elim:      0  v-fix:    0  time: 160.39 s
2278.83/570.55	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2278.83/570.57	c vivif2 --  cl tried    90124 cl shrink        0 lits rem          0 time: 0.08
2280.03/570.89	c asymm  cl-useful: 0/881/8010 lits-rem:0 time: 1.30
2280.03/570.90	c calculated reachability. Time: 0.00
2280.03/570.90	c  N dy  6587   2211562        90      8010         0     90124     56070   1580690     24.94   no data  --
2314.38/579.46	c  N dy  6720   2233860        90      8010         0    110810     56070   2198802     24.95     26.31  --
2339.55/585.75	c  N dy  6823   2253895        90      8010         0     70459     56070    986207     24.96     26.31  --
2362.71/591.59	c  N dy  6954   2273955        90      8010         0     89085     56070   1544681     24.97     27.25  --
2391.87/598.86	c  N dy  7068   2293977        90      8010         0    107662     56070   2098980     24.98     27.32  --
2421.82/606.31	c  N dy  7136   2313981        90      8010         0     65671     56070    816910     24.99     26.69  --
2445.39/612.29	c  N dy  7240   2334016        90      8010         0     84198     56070   1369304     25.00     29.02  --
2476.16/619.96	c  N dy  7388   2354106        90      8010         0    102917     56070   1933216     25.01     27.30  --
2512.51/629.03	c  N dy  7542   2374247        90      8010         0    121624     56070   2495752     25.03     26.55  --
2535.30/634.79	c  N dy  7654   2394324        90      8010         0     78353     56070   1169647     25.04     28.01  --
2563.23/641.70	c  N dy  7800   2414337        90      8010         0     96913     56070   1728301     25.05     27.11  --
2592.00/648.92	c  N dy  7884   2434368        90      8010         0    115389     56070   2276935     25.06     26.61  --
2623.58/656.81	c  N dy  8026   2454435        90      8010         0     71168     56070    936148     25.07     26.96  --
2645.92/662.42	c  N dy  8124   2474464        90      8010         0     89655     56070   1487196     25.08     26.54  --
2674.28/669.56	c  N dy  8230   2494508        90      8010         0    108289     56070   2042173     25.09     28.34  --
2707.84/677.91	c  N dy  8320   2514522        90      8010         0    126797     56070   2593107     25.09     27.24  --
2736.19/685.04	c  N dy  8454   2538469        90      8010         0     85242     56070   1338785     25.11     26.47  --
2786.93/697.77	c  N dy  8544   2574902        90      8010         0    118778     56070   2328236     25.10     26.46  --
2826.48/707.69	c  N dy  8634   2598479        90      8010         0     75768     56070   1028756     25.10     26.47  --
2852.44/714.13	c  N dy  8762   2618529        90      8010         0     94322     56070   1587286     25.11     28.17  --
2888.80/723.26	c  N dy  8849   2647305        90      8010         0    120796     56070   2374849     25.11     26.54  --
2919.14/730.87	c  N dy  8969   2667854        90      8010         0     74280     56070    975462     25.13     26.54  --
2939.94/736.02	c  N dy  9013   2687894        90      8010         0     92729     56070   1520072     25.12     27.93  --
2972.27/744.14	c  N dy  9143   2708668        90      8010         0    112019     56070   2100814     25.14     26.53  --
2977.47/745.42	c  S st  9160   2711563        90      8010         0    114695     56070   2181621     25.14   no data  --
2978.67/745.74	c  S st  9160   2712066        90      8010         0    115169     56070   2196405     25.14   no data  --
2978.67/745.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2978.67/745.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2979.09/745.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2979.09/745.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2979.09/745.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2979.09/745.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2979.09/745.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3597.02/900.51	c lits-rem:      5214  cl-subs:     8653  v-elim:      0  v-fix:    0  time: 617.47 s
3597.02/900.51	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3597.02/900.54	c vivif2 --  cl tried   106516 cl shrink        0 lits rem          0 time: 0.11
3599.04/901.01	c asymm  cl-useful: 0/648/8010 lits-rem:0 time: 1.87
3599.04/901.01	c calculated reachability. Time: 0.00
3599.04/901.01	c  N dy  9160   2712066        90      8010         0    106516     56070   1914739     25.14   no data  --
3641.76/911.74	c  N dy  9290   2732168        90      8010         0    125145     56070   2474551     25.15     26.61  --
3681.70/921.80	c  N dy  9386   2752598        90      8010         0     77811     56070   1067326     25.15     26.54  --
3710.85/929.02	c  N dy  9420   2773585        90      8010         0     97105     56070   1633776     25.15     26.52  --
3753.99/939.82	c  N dy  9549   2793680        90      8010         0    115752     56070   2195471     25.16     26.61  --
3795.53/950.25	c  N dy  9589   2814685        90      8010         0     67782     56070    745910     25.16     26.53  --
3832.67/959.55	c  N dy  9674   2842135        90      8010         0     93061     56070   1487908     25.15     26.50  --
3865.43/967.73	c  N dy  9686   2865736        90      8010         0    114630     56070   2111353     25.14     26.62  --
3920.15/981.42	c  N dy  9765   2893617        90      8010         0     72231     56070    861956     25.14     26.55  --
3950.13/988.94	c  N dy  9877   2913650        90      8010         0     90867     56070   1422591     25.15     28.88  --
3993.65/999.87	c  N dy  9959   2938691        90      8010         0    113909     56070   2102984     25.15     26.49  --
4038.78/1011.18	c  N dy 10048   2958706        90      8010         0    132406     56070   2653114     25.16     28.62  --
4073.56/1019.85	c  N dy 10073   2982764        90      8010         0     85246     56070   1210567     25.14     26.54  --
4125.46/1032.84	c  N dy 10165   3015369        90      8010         0    115349     56070   2104470     25.14     26.58  --
4169.00/1043.71	c  N dy 10242   3035383        90      8010         0    133784     56070   2650920     25.15     26.54  --
4218.93/1056.24	c  N dy 10369   3059653        90      8010         0     86229     56070   1241601     25.15     26.48  --
4259.28/1066.39	c  N dy 10502   3079668        90      8010         0    104758     56070   1798488     25.16     26.88  --
4300.02/1076.58	c  N dy 10554   3099735        90      8010         0    123224     56070   2345047     25.16     26.51  --
4359.17/1091.35	c  N dy 10673   3120836        90      8010         0     71723     56070    791122     25.17     26.57  --
4391.50/1099.46	c  N dy 10763   3140857        90      8010         0     90205     56070   1343154     25.17     26.77  --
4447.42/1113.46	c  N dy 10861   3172084        90      8010         0    118880     56070   2185879     25.17     26.51  --
4495.38/1125.49	c  N dy 10987   3192155        90      8010         0    137461     56070   2742917     25.18     26.97  --
4527.71/1133.57	c  S st 11040   3212067        90      8010         0     83878     56070   1133153     25.18     25.55  --
4528.90/1133.84	c  S st 11040   3212570        90      8010         0     84351     56070   1147725     25.18   no data  --
4528.90/1133.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4528.90/1133.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4529.30/1133.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
4529.30/1133.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4529.30/1133.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4529.30/1133.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
4529.30/1133.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4608.40/1153.79	c lits-rem:      1526  cl-subs:     2450  v-elim:      0  v-fix:    0  time: 79.30 s
4608.40/1153.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4608.80/1153.81	c vivif2 --  cl tried    81901 cl shrink        0 lits rem          0 time: 0.06
4610.39/1154.20	c asymm  cl-useful: 0/774/8010 lits-rem:0 time: 1.56
4610.39/1154.20	c calculated reachability. Time: 0.00
4610.39/1154.20	c  N dy 11040   3212570        90      8010         0     81901     56070   1071351     25.18   no data  --
4643.96/1162.69	c  N dy 11163   3233742        90      8010         0    101477     56070   1658138     25.19     26.54  --
4677.91/1171.16	c  N dy 11227   3253783        90      8010         0    119991     56070   2207180     25.19     27.17  --
4719.83/1181.65	c  N dy 11309   3274277        90      8010         0    138981     56070   2773561     25.19     26.58  --
4753.00/1189.94	c  N dy 11391   3294298        90      8010         0     84602     56070   1141364     25.20     26.57  --
4786.55/1198.35	c  N dy 11451   3322967        90      8010         0    111003     56070   1927152     25.19     26.77  --

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-3175414-1304123110/watcher-3175414-1304123110 -o /tmp/evaluation-result-3175414-1304123110/solver-3175414-1304123110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175414-1304123110.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: 4.45 6.83 7.58 2/174 5918
/proc/meminfo: memFree=22827212/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) D 5915 5918 5295 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 4 0 523910616 186683392 366 33554432000 4194304 4650419 140737205143552 18446744073709551615 274473622512 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 45577 366 313 112 0 40542 0
[pid=5918/tid=5921] ppid=5915 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) D 5915 5918 5295 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 4 0 523910616 186683392 366 33554432000 4194304 4650419 140737205143552 18446744073709551615 274474010759 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523910616 186683392 366 33554432000 4194304 4650419 140737205143552 18446744073709551615 4219242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) D 5915 5918 5295 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 4 0 523910616 186683392 366 33554432000 4194304 4650419 140737205143552 18446744073709551615 274473622512 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106144 s]
/proc/loadavg: 4.45 6.83 7.58 2/174 5918
/proc/meminfo: memFree=22827212/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=281900 CPUtime=0.75 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 2207 0 0 0 75 0 0 0 25 0 4 0 523910616 288665600 1794 33554432000 4194304 4650419 140737205143552 18446744073709551615 4370626 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 75065 1795 372 112 0 70030 0
[pid=5918/tid=5921] ppid=5915 vsize=300260 CPUtime=0.18 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 376 0 0 0 18 0 0 0 18 0 4 0 523910616 307466240 1795 33554432000 4194304 4650419 140737205143552 18446744073709551615 4243472 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=300260 CPUtime=0.18 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 295 0 0 0 18 0 0 0 25 0 4 0 523910616 307466240 1795 33554432000 4194304 4650419 140737205143552 18446744073709551615 274474010983 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=300260 CPUtime=0.18 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) D 5915 5918 5295 0 -1 4202560 773 0 0 0 18 0 0 0 25 0 4 0 523910616 307466240 1795 33554432000 4194304 4650419 140737205143552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 281900

[startup+0.291114 s]
/proc/loadavg: 4.45 6.83 7.58 2/174 5918
/proc/meminfo: memFree=22827212/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=284708 CPUtime=1.13 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 4141 0 0 0 112 1 0 0 25 0 4 0 523910616 291540992 3517 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 71177 3517 390 112 0 66142 0
[pid=5918/tid=5921] ppid=5915 vsize=284708 CPUtime=0.28 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 952 0 0 0 28 0 0 0 18 0 4 0 523910616 291540992 3517 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=284708 CPUtime=0.27 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 976 0 0 0 27 0 0 0 25 0 4 0 523910616 291540992 3517 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=284708 CPUtime=0.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 857 0 0 0 28 0 0 0 25 0 4 0 523910616 291540992 3518 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 284708

[startup+0.30111 s]
/proc/loadavg: 4.45 6.83 7.58 2/174 5918
/proc/meminfo: memFree=22827212/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=284708 CPUtime=1.17 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 4176 0 0 0 116 1 0 0 25 0 4 0 523910616 291540992 3552 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 71177 3552 390 112 0 66142 0
[pid=5918/tid=5921] ppid=5915 vsize=284708 CPUtime=0.29 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 961 0 0 0 29 0 0 0 18 0 4 0 523910616 291540992 3552 33554432000 4194304 4650419 140737205143552 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=284708 CPUtime=0.28 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 985 0 0 0 28 0 0 0 25 0 4 0 523910616 291540992 3552 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=284708 CPUtime=0.29 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 865 0 0 0 29 0 0 0 25 0 4 0 523910616 291540992 3552 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284708

[startup+0.701043 s]
/proc/loadavg: 4.45 6.83 7.58 2/174 5918
/proc/meminfo: memFree=22827212/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=286304 CPUtime=2.76 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 6743 0 0 0 275 1 0 0 25 0 4 0 523910616 293175296 4136 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 71576 4136 390 112 0 66541 0
[pid=5918/tid=5921] ppid=5915 vsize=286304 CPUtime=0.68 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 1695 0 0 0 68 0 0 0 18 0 4 0 523910616 293175296 4136 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=286304 CPUtime=0.68 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 1682 0 0 0 68 0 0 0 25 0 4 0 523910616 293175296 4136 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=286304 CPUtime=0.69 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 1377 0 0 0 69 0 0 0 25 0 4 0 523910616 293175296 4136 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286304

[startup+1.5009 s]
/proc/loadavg: 4.45 6.83 7.58 10/184 5928
/proc/meminfo: memFree=22794524/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=287488 CPUtime=5.96 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 10850 0 0 0 594 2 0 0 25 0 4 0 523910616 294387712 4889 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 71872 4889 391 112 0 66837 0
[pid=5918/tid=5921] ppid=5915 vsize=287488 CPUtime=1.48 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 2738 0 0 0 148 0 0 0 19 0 4 0 523910616 294387712 4890 33554432000 4194304 4650419 140737205143552 18446744073709551615 4332413 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=287488 CPUtime=1.47 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 2777 0 0 0 147 0 0 0 25 0 4 0 523910616 294387712 4890 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=287488 CPUtime=1.48 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 2385 0 0 0 148 0 0 0 25 0 4 0 523910616 294387712 4890 33554432000 4194304 4650419 140737205143552 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287488

[startup+3.10062 s]
/proc/loadavg: 4.74 6.85 7.59 10/184 5928
/proc/meminfo: memFree=22763152/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=289788 CPUtime=12.35 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 20791 0 0 0 1232 3 0 0 25 0 4 0 523910616 296742912 12572 33554432000 4194304 4650419 140737205143552 18446744073709551615 4370686 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 72447 12572 392 112 0 67412 0
[pid=5918/tid=5921] ppid=5915 vsize=289788 CPUtime=3.08 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 4635 0 0 0 308 0 0 0 25 0 4 0 523910616 296742912 12572 33554432000 4194304 4650419 140737205143552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=289788 CPUtime=3.07 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 5556 0 0 0 306 1 0 0 25 0 4 0 523910616 296742912 12572 33554432000 4194304 4650419 140737205143552 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=289788 CPUtime=3.09 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 5764 0 0 0 308 1 0 0 25 0 4 0 523910616 296742912 12572 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 289788

[startup+6.30106 s]
/proc/loadavg: 4.74 6.85 7.59 10/184 5928
/proc/meminfo: memFree=22716652/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=281856 CPUtime=25.13 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 29742 0 0 0 2508 5 0 0 25 0 4 0 523910616 288620544 15417 33554432000 4194304 4650419 140737205143552 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 70464 15417 392 112 0 65429 0
[pid=5918/tid=5921] ppid=5915 vsize=281856 CPUtime=6.28 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 8025 0 0 0 628 0 0 0 25 0 4 0 523910616 288620544 15417 33554432000 4194304 4650419 140737205143552 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=281856 CPUtime=6.25 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 7289 0 0 0 624 1 0 0 25 0 4 0 523910616 288620544 15417 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=281856 CPUtime=6.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 7816 0 0 0 627 1 0 0 25 0 4 0 523910616 288620544 15417 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 281856

[startup+12.7009 s]
/proc/loadavg: 5.24 6.89 7.59 10/184 5929
/proc/meminfo: memFree=22665868/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=312556 CPUtime=50.7 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 44285 0 0 0 5060 10 0 0 25 0 4 0 523910616 320057344 22361 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 78139 22361 392 112 0 73104 0
[pid=5918/tid=5921] ppid=5915 vsize=312556 CPUtime=12.69 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 11783 0 0 0 1267 2 0 0 25 0 4 0 523910616 320057344 22361 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=312556 CPUtime=12.61 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 10502 0 0 0 1259 2 0 0 25 0 4 0 523910616 320057344 22361 33554432000 4194304 4650419 140737205143552 18446744073709551615 4360164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=312556 CPUtime=12.68 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 11620 0 0 0 1266 2 0 0 25 0 4 0 523910616 320057344 22361 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 312556

[startup+25.5007 s]
/proc/loadavg: 5.66 6.92 7.59 10/184 5929
/proc/meminfo: memFree=22622764/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=293528 CPUtime=101.82 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 69508 0 0 0 10166 16 0 0 25 0 4 0 523910616 300572672 28233 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 73382 28233 392 112 0 68347 0
[pid=5918/tid=5921] ppid=5915 vsize=293528 CPUtime=25.49 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 18787 0 0 0 2545 4 0 0 25 0 4 0 523910616 300572672 28233 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=293528 CPUtime=25.34 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 15743 0 0 0 2531 3 0 0 25 0 4 0 523910616 300572672 28233 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=293528 CPUtime=25.48 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 17676 0 0 0 2544 4 0 0 25 0 4 0 523910616 300572672 28233 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 293528

[startup+51.1012 s]
/proc/loadavg: 6.59 7.04 7.61 9/184 5929
/proc/meminfo: memFree=22580248/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=325352 CPUtime=204.08 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 105067 0 0 0 20383 25 0 0 25 0 4 0 523910616 333160448 36181 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 81338 36181 392 112 0 76303 0
[pid=5918/tid=5921] ppid=5915 vsize=325352 CPUtime=51.08 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 27297 0 0 0 5102 6 0 0 25 0 4 0 523910616 333160448 36181 33554432000 4194304 4650419 140737205143552 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=325352 CPUtime=50.81 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 25783 0 0 0 5076 5 0 0 25 0 4 0 523910616 333160448 36181 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=325352 CPUtime=51.08 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 25435 0 0 0 5102 6 0 0 25 0 4 0 523910616 333160448 36181 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 325352

[startup+102.301 s]
/proc/loadavg: 7.57 7.23 7.65 10/184 5931
/proc/meminfo: memFree=22536344/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=328168 CPUtime=408.62 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 160256 0 0 0 40819 43 0 0 25 0 4 0 523910616 336044032 40698 33554432000 4194304 4650419 140737205143552 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 82042 40698 392 112 0 77007 0
[pid=5918/tid=5921] ppid=5915 vsize=328168 CPUtime=102.29 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 40107 0 0 0 10218 11 0 0 25 0 4 0 523910616 336044032 40698 33554432000 4194304 4650419 140737205143552 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=328168 CPUtime=101.72 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 38608 0 0 0 10163 9 0 0 25 0 4 0 523910616 336044032 40698 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=328168 CPUtime=102.29 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 43453 0 0 0 10217 12 0 0 25 0 4 0 523910616 336044032 40698 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 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) 328168

[startup+162.301 s]

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

[pid=5918] ppid=5915 vsize=455396 CPUtime=2565.63 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 477564 0 0 0 256398 165 0 0 25 0 4 0 523910616 466325504 79434 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 113849 79434 392 112 0 108814 0
[pid=5918/tid=5921] ppid=5915 vsize=455396 CPUtime=642.3 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 122460 0 0 0 64186 44 0 0 25 0 4 0 523910616 466325504 79434 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=455396 CPUtime=638.74 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 115421 0 0 0 63838 36 0 0 25 0 4 0 523910616 466325504 79434 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=455396 CPUtime=642.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 130459 0 0 0 64179 49 0 0 25 0 4 0 523910616 466325504 79434 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 455396

[startup+702.301 s]
/proc/loadavg: 8.00 7.94 7.83 10/184 5947
/proc/meminfo: memFree=22224208/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=481136 CPUtime=2805.3 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 497154 0 0 0 280357 173 0 0 25 0 4 0 523910616 492683264 83630 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 120284 83630 392 112 0 115249 0
[pid=5918/tid=5921] ppid=5915 vsize=481136 CPUtime=702.3 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 130166 0 0 0 70184 46 0 0 25 0 4 0 523910616 492683264 83630 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=481136 CPUtime=698.4 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 118598 0 0 0 69804 36 0 0 25 0 4 0 523910616 492683264 83630 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=481136 CPUtime=702.29 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 136044 0 0 0 70177 52 0 0 25 0 4 0 523910616 492683264 83630 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 481136

[startup+762.301 s]
/proc/loadavg: 8.11 7.98 7.85 10/184 5949
/proc/meminfo: memFree=22186236/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=510028 CPUtime=3045 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 520988 0 0 0 304317 183 0 0 25 0 4 0 523910616 522268672 85415 33554432000 4194304 4650419 140737205143552 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 127507 85415 392 112 0 122472 0
[pid=5918/tid=5921] ppid=5915 vsize=510028 CPUtime=762.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 137445 0 0 0 76181 50 0 0 25 0 4 0 523910616 522268672 85415 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=510028 CPUtime=758.07 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 120363 0 0 0 75770 37 0 0 25 0 4 0 523910616 522268672 85415 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=510028 CPUtime=762.29 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 142775 0 0 0 76174 55 0 0 25 0 4 0 523910616 522268672 85415 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 510028

[startup+822.3 s]
/proc/loadavg: 8.19 8.02 7.87 10/184 5950
/proc/meminfo: memFree=22173312/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=562744 CPUtime=3284.65 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 538196 0 0 0 328274 191 0 0 25 0 4 0 523910616 576249856 84920 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 140686 84920 392 112 0 135651 0
[pid=5918/tid=5921] ppid=5915 vsize=562744 CPUtime=822.3 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 139450 0 0 0 82179 51 0 0 25 0 4 0 523910616 576249856 84920 33554432000 4194304 4650419 140737205143552 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=562744 CPUtime=817.74 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 126085 0 0 0 81734 40 0 0 25 0 4 0 523910616 576249856 84920 33554432000 4194304 4650419 140737205143552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=562744 CPUtime=822.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 149083 0 0 0 82170 58 0 0 25 0 4 0 523910616 576249856 84920 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 562744

[startup+882.307 s]
/proc/loadavg: 8.20 8.04 7.88 10/184 5952
/proc/meminfo: memFree=22169068/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=510640 CPUtime=3524.35 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 567302 0 0 0 352233 202 0 0 25 0 4 0 523910616 522895360 87534 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 127660 87534 392 112 0 122625 0
[pid=5918/tid=5921] ppid=5915 vsize=510640 CPUtime=882.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 145715 0 0 0 88176 55 0 0 25 0 4 0 523910616 522895360 87534 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=510640 CPUtime=877.41 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 132472 0 0 0 87698 43 0 0 25 0 4 0 523910616 522895360 87534 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=510640 CPUtime=882.29 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 156125 0 0 0 88167 62 0 0 25 0 4 0 523910616 522895360 87534 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 510640

[startup+942.3 s]
/proc/loadavg: 8.20 8.06 7.90 10/184 5953
/proc/meminfo: memFree=22102080/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=576232 CPUtime=3763.98 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 586022 0 0 0 376187 211 0 0 25 0 4 0 523910616 590061568 100700 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 144058 100700 392 112 0 139023 0
[pid=5918/tid=5921] ppid=5915 vsize=576232 CPUtime=942.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 152187 0 0 0 94173 58 0 0 25 0 4 0 523910616 590061568 100700 33554432000 4194304 4650419 140737205143552 18446744073709551615 4438893 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=576232 CPUtime=937.06 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 137288 0 0 0 93660 46 0 0 25 0 4 0 523910616 590061568 100700 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=576232 CPUtime=942.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 158678 0 0 0 94165 63 0 0 25 0 4 0 523910616 590061568 100700 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 576232

[startup+1002.3 s]
/proc/loadavg: 8.18 8.08 7.91 10/184 5955
/proc/meminfo: memFree=22127960/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=604112 CPUtime=4003.63 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 608659 0 0 0 400145 218 0 0 25 0 4 0 523910616 618610688 91685 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 151028 91685 392 112 0 145993 0
[pid=5918/tid=5921] ppid=5915 vsize=604112 CPUtime=1002.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 160089 0 0 0 100172 59 0 0 25 0 4 0 523910616 618610688 91685 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=604112 CPUtime=996.71 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 140146 0 0 0 99623 48 0 0 25 0 4 0 523910616 618610688 91685 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=604112 CPUtime=1002.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 167274 0 0 0 100164 64 0 0 25 0 4 0 523910616 618610688 91685 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 604112

[startup+1062.3 s]
/proc/loadavg: 8.07 8.06 7.91 9/184 5957
/proc/meminfo: memFree=22120496/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=592112 CPUtime=4243.3 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 632820 0 0 0 424104 226 0 0 25 0 4 0 523910616 606322688 90555 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 148028 90555 392 112 0 142993 0
[pid=5918/tid=5921] ppid=5915 vsize=592112 CPUtime=1062.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 162732 0 0 0 106172 59 0 0 25 0 4 0 523910616 606322688 90555 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=592112 CPUtime=1056.39 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 145992 0 0 0 105587 52 0 0 25 0 4 0 523910616 606322688 90555 33554432000 4194304 4650419 140737205143552 18446744073709551615 4438591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=592112 CPUtime=1062.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 176551 0 0 0 106163 65 0 0 25 0 4 0 523910616 606322688 90555 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 592112

[startup+1122.3 s]
/proc/loadavg: 8.02 8.05 7.91 10/184 5958
/proc/meminfo: memFree=22100140/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=659264 CPUtime=4482.97 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 651831 0 0 0 448065 232 0 0 25 0 4 0 523910616 675086336 95973 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 164816 95973 392 112 0 159781 0
[pid=5918/tid=5921] ppid=5915 vsize=659264 CPUtime=1122.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 163654 0 0 0 112171 60 0 0 25 0 4 0 523910616 675086336 95973 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=659264 CPUtime=1116.05 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 152441 0 0 0 111552 53 0 0 25 0 4 0 523910616 675086336 95973 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=659264 CPUtime=1122.28 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 183549 0 0 0 112162 66 0 0 25 0 4 0 523910616 675086336 95973 33554432000 4194304 4650419 140737205143552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 659264

[startup+1182.3 s]
/proc/loadavg: 8.01 8.04 7.91 9/184 5960
/proc/meminfo: memFree=22102596/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=578448 CPUtime=4722.65 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 670840 0 0 0 472022 243 0 0 25 0 4 0 523910616 592330752 90238 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 144612 90238 392 112 0 139577 0
[pid=5918/tid=5921] ppid=5915 vsize=578448 CPUtime=1182.31 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 170388 0 0 0 118168 63 0 0 25 0 4 0 523910616 592330752 90238 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=578448 CPUtime=1175.72 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 154413 0 0 0 117519 53 0 0 25 0 4 0 523910616 592330752 90238 33554432000 4194304 4650419 140737205143552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=578448 CPUtime=1182.27 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 189524 0 0 0 118157 70 0 0 25 0 4 0 523910616 592330752 90238 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 578448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.03 7.91 10/184 5960
/proc/meminfo: memFree=22073568/32950928 swapFree=67111524/67111528
[pid=5918] ppid=5915 vsize=646764 CPUtime=4800.16 cores=0,2,4,6
/proc/5918/stat : 5918 (strangenight1-m) R 5915 5918 5295 0 -1 4202496 677616 0 0 0 479770 246 0 0 25 0 4 0 523910616 662286336 92907 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5918/statm: 161691 92907 392 112 0 156656 0
[pid=5918/tid=5921] ppid=5915 vsize=646764 CPUtime=1201.72 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 171511 0 0 0 120108 64 0 0 25 0 4 0 523910616 662286336 92907 33554432000 4194304 4650419 140737205143552 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5918/tid=5922] ppid=5915 vsize=646764 CPUtime=1195.01 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 155734 0 0 0 119448 53 0 0 25 0 4 0 523910616 662286336 92907 33554432000 4194304 4650419 140737205143552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5918/tid=5926] ppid=5915 vsize=646764 CPUtime=1201.68 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (strangenight1-m) R 5915 5918 5295 0 -1 4202560 191107 0 0 0 120097 71 0 0 25 0 4 0 523910616 662286336 92907 33554432000 4194304 4650419 140737205143552 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) 646764

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): 1201.73
CPU time (s): 4800.2
CPU user time (s): 4797.72
CPU system time (s): 2.47862
CPU usage (%): 399.44
Max. virtual memory (cumulated for all children) (KiB): 659264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.72
system time used= 2.47862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 677616
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= 726
involuntary context switches= 34447

runsolver used 1.77673 second user time and 4.82926 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 02:25:10
IDJOB=3175414
IDBENCH=83032
IDSOLVER=1588
FILE ID=node125/3175414-1304123110
RUNJOBID= node125-1304123109-5901
PBS_JOBID= 13170720
Free space on /tmp= 72764 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175414-1304123110/watcher-3175414-1304123110 -o /tmp/evaluation-result-3175414-1304123110/solver-3175414-1304123110 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175414-1304123110.cnf

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

MD5SUM BENCH= 1f00de1fd8adbfbf4cc573ef44af531f
RANDOM SEED=262367697

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:     32950928 kB
MemFree:      22827516 kB
Buffers:       2125152 kB
Cached:        7411216 kB
SwapCached:          4 kB
Active:        2140544 kB
Inactive:      7459516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22827516 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12404 kB
Writeback:          24 kB
AnonPages:       62696 kB
Mapped:          14480 kB
Slab:           460484 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188760 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= 72752 MiB
End job on node125 at 2011-04-30 02:45:13