Trace number 3369023

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.08 1203.04

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.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-3369023-1305410848.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	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.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.75
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.23	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.23	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.23	c calculated reachability. Time: 0.00
0.77/0.23	c Calc default polars -  time:   0.00 s pos:      48 undec:       1 neg:      41
0.77/0.23	c =========================================================================================
0.77/0.23	c types(t): F = full restart, N = normal restart
0.77/0.23	c types(t): S = simplification begin/end, E = solution found
0.77/0.23	c restart types(rt): st = static, dy = dynamic
0.77/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.23	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.38	c  N dy     8      4384        90      8010         0      4036     56070    119193     25.25     26.61  --
0.77/0.53	c  N dy    19      8475        90      8010         0      5518     56070    150901     25.53     26.89  --
0.77/0.72	c  N dy    27     12753        90      8010         0      5568     56070    137067     25.18     26.63  --
1.62/1.04	c  N dy    31     19399        90      8010         0      6468     56070    144929     24.65     25.99  --
4.77/1.25	c  N dy    66     23497        90      8010         0     10289     56070    258962     25.05     26.61  --
5.17/1.34	c  F st    78     25001        90      8010         0     11683     56070    301187     25.18   no data  --
5.97/1.51	c  N st    83     28300        90      8010         0      8425     56070    186574     25.18   no data  --
5.97/1.58	c  S st    84     30001        90      8010         0     10009     56070    234735     25.18   no data  --
6.37/1.62	c  S st    84     30505        90      8010         0     10484     56070    248855     25.18   no data  --
6.37/1.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.37/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.37/1.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.75/2.80	c lits-rem:      1744  cl-subs:      688  v-elim:      0  v-fix:    0  time:  4.66 s
12.34/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.53
12.34/3.19	c calculated reachability. Time: 0.00
12.34/3.19	c  N dy    84     30505        90      8010         0      9796     56070    224807     25.18   no data  --
13.54/3.46	c  N dy   110     35188        90      8010         0     14153     56070    354706     25.38     26.77  --
15.15/3.86	c  N dy   124     42637        90      8010         0     13691     56070    321833     25.29     26.73  --
15.98/4.08	c  S st   140     45759        90      8010         0      8338     56070    149005     25.36     24.58  --
16.34/4.11	c  S st   140     46265        90      8010         0      8815     56070    163432     25.36   no data  --
16.34/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.34/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.34/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.34/4.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.54/4.98	c lits-rem:       176  cl-subs:       72  v-elim:      0  v-fix:    0  time:  3.45 s
19.54/4.98	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.20
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.33/5.64	c  N dy   144     52339        90      8010         0     14334     56070    322585     25.21     26.71  --
26.71/6.74	c  N dy   148     69400        90      8010         0     10698     56070    187439     24.87     24.63  --
26.71/6.74	c  S st   148     69400        90      8010         0     10698     56070    187439     24.87     24.63  --
26.71/6.78	c  S st   148     69903        90      8010         0     11170     56070    201477     24.87   no data  --
26.71/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.71/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.71/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.71/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.70/7.73	c lits-rem:       354  cl-subs:      163  v-elim:      0  v-fix:    0  time:  3.74 s
30.70/7.73	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.70/7.73	c vivif2 --  cl tried    11007 cl shrink        0 lits rem          0 time: 0.01
31.91/8.09	c asymm  cl-useful: 0/7915/8010 lits-rem:0 time: 1.42
31.91/8.09	c calculated reachability. Time: 0.00
31.91/8.09	c  N dy   148     69903        90      8010         0     11007     56070    196287     24.87   no data  --
33.90/8.52	c  N dy   175     76603        90      8010         0     17260     56070    380455     24.92     26.24  --
35.89/9.05	c  N dy   210     82484        90      8010         0     11650     56070    197540     25.02     26.43  --
37.09/9.39	c  F st   224     87500        90      8010         0     16301     56070    333532     25.04     24.35  --
37.52/9.41	c  N st   225     87750        90      8010         0     16535     56070    340530     25.04   no data  --
39.09/9.86	c  N dy   236     93391        90      8010         0     21769     56070    497148     25.06     29.33  --
41.08/10.36	c  N dy   269     99489        90      8010         0     15370     56070    289646     25.14     26.68  --
42.67/10.76	c  S st   281    104855        90      8010         0     20323     56070    436090     25.15     25.34  --
43.07/10.82	c  S st   281    105357        90      8010         0     20797     56070    450061     25.15   no data  --
43.07/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.07/10.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.07/10.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.07/10.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.07/10.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.07/10.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.07/10.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.69/12.77	c lits-rem:      1804  cl-subs:     1511  v-elim:      0  v-fix:    0  time:  7.70 s
50.69/12.77	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.69/12.77	c vivif2 --  cl tried    19286 cl shrink        0 lits rem          0 time: 0.02
52.26/13.18	c asymm  cl-useful: 0/5665/8010 lits-rem:0 time: 1.62
52.26/13.18	c calculated reachability. Time: 0.00
52.26/13.18	c  N dy   281    105357        90      8010         0     19286     56070    399913     25.15   no data  --
55.07/13.84	c  N dy   302    112705        90      8010         0     13181     56070    206639     25.17     26.57  --
57.04/14.38	c  N dy   331    120662        90      8010         0     20539     56070    423019     25.19     26.62  --
60.24/15.12	c  N dy   376    128528        90      8010         0     13953     56070    213477     25.28     26.62  --
62.64/15.73	c  N dy   402    137202        90      8010         0     21968     56070    449129     25.29     26.68  --
65.83/16.57	c  N dy   440    146054        90      8010         0     15394     56070    236515     25.31     26.85  --
69.01/17.31	c  N dy   481    155447        90      8010         0     24157     56070    497030     25.35     28.54  --
69.81/17.53	c  S st   488    158037        90      8010         0     26546     56070    567130     25.35     25.75  --
70.21/17.60	c  S st   488    158539        90      8010         0     27017     56070    581192     25.35   no data  --
70.21/17.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
70.21/17.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.21/17.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
70.21/17.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.21/17.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.21/17.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
70.21/17.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.00/20.32	c lits-rem:      2614  cl-subs:     1928  v-elim:      0  v-fix:    0  time: 10.74 s
81.00/20.32	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
81.00/20.33	c vivif2 --  cl tried    25089 cl shrink        0 lits rem          0 time: 0.02
81.83/20.58	c asymm  cl-useful: 0/1920/8010 lits-rem:0 time: 0.99
81.83/20.58	c calculated reachability. Time: 0.00
81.83/20.58	c  N dy   488    158539        90      8010         0     25089     56070    516051     25.35   no data  --
85.81/21.58	c  N dy   506    170332        90      8010         0     20319     56070    364679     25.30     26.88  --
89.78/22.50	c  N dy   512    181637        90      8010         0     30789     56070    671523     25.22     26.58  --
94.16/23.61	c  N dy   569    193372        90      8010         0     25027     56070    487347     25.27     26.72  --
98.97/24.87	c  N dy   596    205819        90      8010         0     18992     56070    289115     25.22     26.56  --
110.13/27.69	c  N dy   616    237809        90      8010         0     29921     56070    595483     25.00     21.79  --
110.13/27.69	c  S st   616    237809        90      8010         0     29921     56070    595483     25.00     21.79  --
110.53/27.77	c  S st   616    238315        90      8010         0     30397     56070    609583     25.00   no data  --
110.53/27.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.53/27.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.53/27.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.93/27.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.93/27.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.93/27.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.93/27.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.09/30.69	c lits-rem:      2459  cl-subs:     2430  v-elim:      0  v-fix:    0  time: 11.51 s
122.09/30.69	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.49/30.70	c vivif2 --  cl tried    27967 cl shrink        0 lits rem          0 time: 0.02
123.29/30.90	c asymm  cl-useful: 0/2165/8010 lits-rem:0 time: 0.83
123.29/30.91	c calculated reachability. Time: 0.00
123.29/30.91	c  N dy   616    238315        90      8010         0     27967     56070    539442     25.00   no data  --
131.27/32.93	c  N dy   661    259578        90      8010         0     28332     56070    531016     24.98     26.35  --
138.48/34.75	c  N dy   701    276190        90      8010         0     23419     56070    371321     24.97     27.60  --
146.44/36.78	c  N dy   794    294127        90      8010         0     40084     56070    863022     25.04     26.39  --
151.65/38.09	c  F st   846    306252        90      8010         0     30023     56070    543117     25.04   no data  --
156.03/39.12	c  N dy   861    315744        90      8010         0     38856     56070    805310     25.04     26.42  --
166.78/41.82	c  N dy   950    338780        90      8010         0     37954     56070    754284     25.07     26.50  --
174.76/43.84	c  S st   986    357473        90      8010         0     32074     56070    566667     25.06     23.77  --
175.16/43.93	c  S st   986    357976        90      8010         0     32549     56070    580903     25.06   no data  --
175.16/43.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.16/43.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.16/43.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
175.16/43.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.16/43.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.16/43.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.16/43.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
185.94/46.61	c lits-rem:      1357  cl-subs:     1628  v-elim:      0  v-fix:    0  time: 10.57 s
185.94/46.61	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
185.94/46.61	c vivif2 --  cl tried    30921 cl shrink        0 lits rem          0 time: 0.02
186.77/46.82	c asymm  cl-useful: 0/1783/8010 lits-rem:0 time: 0.83
186.77/46.82	c calculated reachability. Time: 0.00
186.77/46.82	c  N dy   986    357976        90      8010         0     30921     56070    528968     25.06   no data  --
201.90/50.67	c  N dy  1035    386945        90      8010         0     33698     56070    595169     25.02     26.37  --
214.67/53.85	c  N dy  1102    407011        90      8010         0     27369     56070    394573     25.03     26.90  --
226.69/56.89	c  N dy  1128    433173        90      8010         0     51328     56070   1084116     24.94     26.51  --
236.63/59.35	c  N dy  1222    453494        90      8010         0     44333     56070    882762     24.97     26.38  --
247.80/62.15	c  N dy  1311    473538        90      8010         0     36146     56070    617024     24.99     27.20  --
264.17/66.30	c  N dy  1393    505308        90      8010         0     37721     56070    635584     24.95     26.29  --
278.14/69.71	c  N dy  1515    525404        90      8010         0     56440     56070   1191056     25.00     28.16  --
283.75/71.19	c  S st  1550    536966        90      8010         0     38411     56070    642293     25.00     23.73  --
284.11/71.29	c  S st  1550    537468        90      8010         0     38884     56070    655950     25.00   no data  --
284.11/71.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.51/71.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.51/71.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
284.51/71.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.51/71.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.51/71.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
284.51/71.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
300.49/75.38	c lits-rem:      1593  cl-subs:     1899  v-elim:      0  v-fix:    0  time: 16.16 s
300.49/75.38	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
300.49/75.39	c vivif2 --  cl tried    36985 cl shrink        0 lits rem          0 time: 0.03
301.68/75.61	c asymm  cl-useful: 0/1412/8010 lits-rem:0 time: 0.89
301.68/75.61	c calculated reachability. Time: 0.00
301.68/75.61	c  N dy  1550    537468        90      8010         0     36985     56070    596523     25.00   no data  --
313.26/78.57	c  N dy  1627    557492        90      8010         0     55590     56070   1147952     25.02     30.01  --
324.42/81.35	c  N dy  1700    577591        90      8010         0     44671     56070    810280     25.03     27.26  --
338.39/84.81	c  N dy  1760    600818        90      8010         0     35616     56070    526438     25.02     26.41  --
357.55/89.64	c  N dy  1876    631014        90      8010         0     32068     56070    404466     25.04     26.40  --
370.32/92.80	c  N dy  1964    651279        90      8010         0     50928     56070    963282     25.06     26.42  --
385.48/96.65	c  N dy  2066    671613        90      8010         0     37343     56070    541979     25.09     26.62  --
397.89/99.79	c  N dy  2122    692614        90      8010         0     56706     56070   1106780     25.09     26.58  --
416.21/104.39	c  N dy  2220    716365        90      8010         0     45298     56070    755868     25.11     26.50  --
435.37/109.15	c  N dy  2309    740173        90      8010         0     67379     56070   1401483     25.12     26.47  --
446.18/111.88	c  N dy  2351    760252        90      8010         0     51654     56070    925253     25.10     27.31  --
464.10/116.33	c  N dy  2463    780266        90      8010         0     70269     56070   1479417     25.13     27.59  --
476.08/119.32	c  N dy  2546    800320        90      8010         0     53695     56070    966390     25.14     28.24  --
480.47/120.50	c  S st  2580    806203        90      8010         0     59181     56070   1130983     25.14   no data  --
481.30/120.66	c  S st  2580    806704        90      8010         0     59649     56070   1144957     25.14   no data  --
481.30/120.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
481.30/120.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
481.30/120.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
481.66/120.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
481.66/120.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.66/120.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
481.66/120.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
526.75/132.07	c lits-rem:      2831  cl-subs:     4210  v-elim:      0  v-fix:    0  time: 45.26 s
526.75/132.07	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
526.75/132.09	c vivif2 --  cl tried    55439 cl shrink        0 lits rem          0 time: 0.05
528.35/132.44	c asymm  cl-useful: 0/995/8010 lits-rem:0 time: 1.42
528.35/132.44	c calculated reachability. Time: 0.00
528.35/132.44	c  N dy  2580    806704        90      8010         0     55439     56070   1009941     25.14   no data  --
548.71/137.52	c  N dy  2641    837910        90      8010         0     48249     56070    784732     25.12     26.76  --
564.71/141.51	c  N dy  2751    858233        90      8010         0     67045     56070   1344290     25.15     26.57  --
578.24/144.99	c  N dy  2810    878305        90      8010         0     48748     56070    785430     25.14     26.51  --
601.79/150.84	c  N dy  2865    913031        90      8010         0     42878     56070    585722     25.09     26.47  --
617.39/154.74	c  N dy  2959    934415        90      8010         0     62721     56070   1173156     25.11     26.53  --
635.70/159.40	c  N dy  3049    955340        90      8010         0     43279     56070    583533     25.11     26.48  --
650.87/163.12	c  N dy  3149    975359        90      8010         0     61848     56070   1133218     25.13     26.53  --
670.07/167.93	c  N dy  3232    995364        90      8010         0     40550     56070    486092     25.14     27.10  --
684.00/171.46	c  N dy  3323   1015432        90      8010         0     59150     56070   1035018     25.16     26.82  --
701.15/175.77	c  N dy  3378   1035434        90      8010         0     77640     56070   1580123     25.16     28.89  --
718.71/180.13	c  N dy  3481   1058651        90      8010         0     58477     56070   1000542     25.17     26.57  --
729.50/182.88	c  F st  3524   1071876        90      8010         0     70727     56070   1363545     25.17   no data  --
736.28/184.55	c  N dy  3546   1078708        90      8010         0     77058     56070   1553174     25.18     27.76  --
753.48/188.85	c  N dy  3633   1099927        90      8010         0     55041     56070    878949     25.19     26.68  --
770.21/193.04	c  N dy  3701   1119964        90      8010         0     73589     56070   1426778     25.19     28.70  --
793.34/198.88	c  N dy  3804   1141901        90      8010         0     51293     56070    750412     25.21     26.55  --
812.90/203.80	c  N dy  3902   1162199        90      8010         0     70075     56070   1309885     25.22     26.60  --
840.45/210.67	c  N dy  3998   1182254        90      8010         0     45155     56070    549679     25.24     26.57  --
866.38/217.19	c  N dy  4058   1210056        90      8010         0     70881     56070   1311213     25.24     23.54  --
866.38/217.19	c  S st  4058   1210056        90      8010         0     70881     56070   1311213     25.24     23.54  --
867.61/217.43	c  S st  4058   1210559        90      8010         0     71356     56070   1325400     25.24   no data  --
867.61/217.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
867.61/217.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
867.61/217.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
867.97/217.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
867.97/217.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
867.97/217.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
867.97/217.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
962.15/241.14	c lits-rem:      3248  cl-subs:     5360  v-elim:      0  v-fix:    0  time: 94.22 s
962.15/241.14	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
962.15/241.15	c vivif2 --  cl tried    65996 cl shrink        0 lits rem          0 time: 0.06
963.78/241.54	c asymm  cl-useful: 0/865/8010 lits-rem:0 time: 1.51
963.78/241.54	c calculated reachability. Time: 0.00
963.78/241.54	c  N dy  4058   1210559        90      8010         0     65996     56070   1157099     25.24   no data  --
984.09/246.66	c  N dy  4132   1230855        90      8010         0     84750     56070   1713679     25.24     26.69  --
1000.46/250.79	c  N dy  4190   1250874        90      8010         0     59103     56070    940658     25.24     27.20  --
1021.61/256.08	c  N dy  4243   1271910        90      8010         0     78578     56070   1519939     25.24     26.69  --
1049.15/262.96	c  N dy  4305   1297490        90      8010         0     56851     56070    848472     25.24     26.61  --
1069.54/268.02	c  N dy  4313   1320931        90      8010         0     78346     56070   1464320     25.20     26.54  --
1095.04/274.47	c  N dy  4369   1343228        90      8010         0     52808     56070    717731     25.20     26.80  --
1122.97/281.49	c  N dy  4464   1373442        90      8010         0     80667     56070   1541559     25.20     26.54  --
1148.15/287.72	c  N dy  4553   1397302        90      8010         0     55685     56070    780470     25.21     26.73  --
1166.11/292.26	c  N dy  4650   1417677        90      8010         0     74558     56070   1344513     25.22     26.61  --
1188.82/297.96	c  N dy  4740   1437729        90      8010         0     93102     56070   1896372     25.23     28.62  --
1211.57/303.65	c  N dy  4804   1465719        90      8010         0     70957     56070   1203995     25.21     26.67  --
1231.55/308.66	c  N dy  4861   1485720        90      8010         0     89417     56070   1744255     25.20     26.93  --
1251.48/313.69	c  N dy  4947   1506083        90      8010         0     59306     56070    854348     25.21     26.60  --
1273.43/319.16	c  N dy  5032   1531684        90      8010         0     82866     56070   1551404     25.21     26.90  --
1298.17/325.31	c  N dy  5085   1555127        90      8010         0     54695     56070    696691     25.21     26.57  --
1316.13/329.86	c  N dy  5198   1575184        90      8010         0     73337     56070   1256300     25.22     29.08  --
1339.28/335.66	c  N dy  5245   1599152        90      8010         0     95457     56070   1908009     25.21     26.68  --
1358.44/340.43	c  N dy  5333   1619361        90      8010         0     63313     56070    941004     25.22     26.60  --
1381.22/346.13	c  N dy  5400   1644807        90      8010         0     86800     56070   1637224     25.22     26.60  --
1411.11/353.63	c  N dy  5502   1668922        90      8010         0     57327     56070    740620     25.22     26.83  --
1428.67/358.07	c  N dy  5504   1693266        90      8010         0     79595     56070   1388575     25.20     26.77  --
1451.05/363.69	c  S st  5612   1710559        90      8010         0     95642     56070   1869293     25.22     23.30  --
1452.22/363.95	c  S st  5612   1711060        90      8010         0     96120     56070   1883905     25.22   no data  --
1452.22/363.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1452.22/363.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1452.62/364.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1452.62/364.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1452.62/364.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1452.62/364.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1452.62/364.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1590.69/398.67	c lits-rem:      3580  cl-subs:     9179  v-elim:      0  v-fix:    0  time: 138.06 s
1590.69/398.67	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1590.69/398.69	c vivif2 --  cl tried    86941 cl shrink        0 lits rem          0 time: 0.08
1592.28/399.04	c asymm  cl-useful: 0/642/8010 lits-rem:0 time: 1.40
1592.28/399.05	c calculated reachability. Time: 0.00
1592.28/399.05	c  N dy  5612   1711060        90      8010         0     86941     56070   1606338     25.22   no data  --
1619.42/405.82	c  N dy  5702   1731140        90      8010         0     53268     56070    609356     25.23     26.59  --
1637.38/410.34	c  N dy  5805   1751267        90      8010         0     71909     56070   1164215     25.24     26.60  --
1655.75/414.95	c  N dy  5831   1772047        90      8010         0     90913     56070   1714765     25.22     26.58  --
1684.88/422.23	c  N dy  5934   1792101        90      8010         0     56126     56070    673911     25.23     27.49  --
1715.21/429.82	c  N dy  6037   1819664        90      8010         0     81463     56070   1417686     25.23     26.61  --
1743.95/437.04	c  N dy  6103   1840753        90      8010         0    100898     56070   1989026     25.23     26.58  --
1776.30/445.14	c  N dy  6136   1871146        90      8010         0     74469     56070   1189429     25.21     26.70  --
1802.64/451.74	c  N dy  6250   1892965        90      8010         0     94680     56070   1793380     25.22     26.59  --
1826.95/457.82	c  N dy  6315   1912985        90      8010         0     57957     56070    692532     25.23     26.56  --
1845.71/462.53	c  N dy  6394   1934020        90      8010         0     77412     56070   1271592     25.23     26.83  --
1871.25/468.94	c  N dy  6461   1956953        90      8010         0     98587     56070   1897690     25.23     26.63  --
1967.42/493.06	c  N dy  6487   2065169        90      8010         0     84189     56070   1414007     25.10     26.56  --
1999.36/501.04	c  N dy  6556   2091694        90      8010         0    108655     56070   2138915     25.10     26.45  --
2120.67/531.44	c  N dy  6587   2211060        90      8010         0    101053     56070   1864249     24.94     25.77  --
2120.67/531.44	c  S st  6587   2211060        90      8010         0    101053     56070   1864249     24.94     25.77  --
2121.87/531.74	c  S st  6587   2211562        90      8010         0    101527     56070   1878712     24.94   no data  --
2121.87/531.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2121.87/531.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2122.27/531.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2122.27/531.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2122.27/531.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2122.27/531.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2122.27/531.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2285.54/572.78	c lits-rem:      3895  cl-subs:    11403  v-elim:      0  v-fix:    0  time: 163.28 s
2285.54/572.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2285.90/572.81	c vivif2 --  cl tried    90124 cl shrink        0 lits rem          0 time: 0.08
2287.10/573.14	c asymm  cl-useful: 0/881/8010 lits-rem:0 time: 1.35
2287.10/573.15	c calculated reachability. Time: 0.00
2287.10/573.15	c  N dy  6587   2211562        90      8010         0     90124     56070   1580690     24.94   no data  --
2321.41/581.71	c  N dy  6720   2233860        90      8010         0    110810     56070   2198802     24.95     26.31  --
2346.16/587.98	c  N dy  6823   2253895        90      8010         0     70459     56070    986207     24.96     26.31  --
2370.10/593.90	c  N dy  6954   2273955        90      8010         0     89085     56070   1544681     24.97     27.25  --
2399.27/601.22	c  N dy  7068   2293977        90      8010         0    107662     56070   2098980     24.98     27.32  --
2429.17/608.78	c  N dy  7136   2313981        90      8010         0     65671     56070    816910     24.99     26.69  --
2453.11/614.75	c  N dy  7240   2334016        90      8010         0     84198     56070   1369304     25.00     29.02  --
2483.44/622.38	c  N dy  7388   2354106        90      8010         0    102917     56070   1933216     25.01     27.30  --
2519.75/631.42	c  N dy  7542   2374247        90      8010         0    121624     56070   2495752     25.03     26.55  --
2542.90/637.22	c  N dy  7654   2394324        90      8010         0     78353     56070   1169647     25.04     28.01  --
2570.47/644.17	c  N dy  7800   2414337        90      8010         0     96913     56070   1728301     25.05     27.11  --
2599.58/651.42	c  N dy  7884   2434368        90      8010         0    115389     56070   2276935     25.06     26.61  --
2630.70/659.27	c  N dy  8026   2454435        90      8010         0     71168     56070    936148     25.07     26.96  --
2653.45/664.92	c  N dy  8124   2474464        90      8010         0     89655     56070   1487196     25.08     26.54  --
2682.18/672.14	c  N dy  8230   2494508        90      8010         0    108289     56070   2042173     25.09     28.34  --
2715.75/680.54	c  N dy  8320   2514522        90      8010         0    126797     56070   2593107     25.09     27.24  --
2747.23/688.42	c  N dy  8454   2538469        90      8010         0     85242     56070   1338785     25.11     26.47  --
2797.93/701.19	c  N dy  8544   2574902        90      8010         0    118778     56070   2328236     25.10     26.46  --
2834.63/710.39	c  N dy  8634   2598479        90      8010         0     75768     56070   1028756     25.10     26.47  --
2859.78/716.68	c  N dy  8762   2618529        90      8010         0     94322     56070   1587286     25.11     28.17  --
2896.49/725.83	c  N dy  8849   2647305        90      8010         0    120796     56070   2374849     25.11     26.54  --
2926.82/733.44	c  N dy  8969   2667854        90      8010         0     74280     56070    975462     25.13     26.54  --
2947.58/738.61	c  N dy  9013   2687894        90      8010         0     92729     56070   1520072     25.12     27.93  --
2980.30/746.80	c  N dy  9143   2708668        90      8010         0    112019     56070   2100814     25.14     26.53  --
2985.09/748.08	c  S st  9160   2711563        90      8010         0    114695     56070   2181621     25.14   no data  --
2986.69/748.40	c  S st  9160   2712066        90      8010         0    115169     56070   2196405     25.14   no data  --
2986.69/748.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2986.69/748.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2986.69/748.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2987.09/748.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2987.09/748.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2987.09/748.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2987.09/748.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3623.22/907.95	c lits-rem:      5214  cl-subs:     8653  v-elim:      0  v-fix:    0  time: 635.97 s
3623.22/907.95	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3623.22/907.97	c vivif2 --  cl tried   106516 cl shrink        0 lits rem          0 time: 0.11
3625.21/908.41	c asymm  cl-useful: 0/648/8010 lits-rem:0 time: 1.74
3625.21/908.42	c calculated reachability. Time: 0.00
3625.21/908.42	c  N dy  9160   2712066        90      8010         0    106516     56070   1914739     25.14   no data  --
3671.91/920.18	c  N dy  9290   2732168        90      8010         0    125145     56070   2474551     25.15     26.61  --
3711.84/930.21	c  N dy  9386   2752598        90      8010         0     77811     56070   1067326     25.15     26.54  --
3740.13/937.25	c  N dy  9420   2773585        90      8010         0     97105     56070   1633776     25.15     26.52  --
3782.83/947.97	c  N dy  9549   2793680        90      8010         0    115752     56070   2195471     25.16     26.61  --
3824.74/958.47	c  N dy  9589   2814685        90      8010         0     67782     56070    745910     25.16     26.53  --
3862.24/967.87	c  N dy  9674   2842135        90      8010         0     93061     56070   1487908     25.15     26.50  --
3895.37/976.12	c  N dy  9686   2865736        90      8010         0    114630     56070   2111353     25.14     26.62  --
3950.43/989.99	c  N dy  9765   2893617        90      8010         0     72231     56070    861956     25.14     26.55  --
3980.76/997.53	c  N dy  9877   2913650        90      8010         0     90867     56070   1422591     25.15     28.88  --
4024.66/1008.59	c  N dy  9959   2938691        90      8010         0    113909     56070   2102984     25.15     26.49  --
4069.75/1019.89	c  N dy 10048   2958706        90      8010         0    132406     56070   2653114     25.16     28.62  --
4104.87/1028.64	c  N dy 10073   2982764        90      8010         0     85246     56070   1210567     25.14     26.54  --
4157.15/1041.75	c  N dy 10165   3015369        90      8010         0    115349     56070   2104470     25.14     26.58  --
4202.65/1053.13	c  N dy 10242   3035383        90      8010         0    133784     56070   2650920     25.15     26.54  --
4251.89/1065.55	c  N dy 10369   3059653        90      8010         0     86229     56070   1241601     25.15     26.48  --
4292.07/1075.72	c  N dy 10502   3079668        90      8010         0    104758     56070   1798488     25.16     26.88  --
4333.04/1086.07	c  N dy 10554   3099735        90      8010         0    123224     56070   2345047     25.16     26.51  --
4392.50/1100.97	c  N dy 10673   3120836        90      8010         0     71723     56070    791122     25.17     26.57  --
4423.23/1108.68	c  N dy 10763   3140857        90      8010         0     90205     56070   1343154     25.17     26.77  --
4474.73/1121.54	c  N dy 10861   3172084        90      8010         0    118880     56070   2185879     25.17     26.51  --
4520.20/1132.93	c  N dy 10987   3192155        90      8010         0    137461     56070   2742917     25.18     26.97  --
4552.14/1140.98	c  S st 11040   3212067        90      8010         0     83878     56070   1133153     25.18     25.55  --
4553.34/1141.26	c  S st 11040   3212570        90      8010         0     84351     56070   1147725     25.18   no data  --
4553.34/1141.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4553.34/1141.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4553.76/1141.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
4553.76/1141.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4553.76/1141.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4553.76/1141.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
4553.76/1141.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4634.34/1161.50	c lits-rem:      1526  cl-subs:     2450  v-elim:      0  v-fix:    0  time: 80.39 s
4634.34/1161.50	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4634.34/1161.51	c vivif2 --  cl tried    81901 cl shrink        0 lits rem          0 time: 0.06
4635.94/1161.91	c asymm  cl-useful: 0/774/8010 lits-rem:0 time: 1.58
4635.94/1161.91	c calculated reachability. Time: 0.00
4635.94/1161.91	c  N dy 11040   3212570        90      8010         0     81901     56070   1071351     25.18   no data  --
4669.86/1170.48	c  N dy 11163   3233742        90      8010         0    101477     56070   1658138     25.19     26.54  --
4703.78/1178.99	c  N dy 11227   3253783        90      8010         0    119991     56070   2207180     25.19     27.17  --
4746.09/1189.56	c  N dy 11309   3274277        90      8010         0    138981     56070   2773561     25.19     26.58  --
4776.82/1197.23	c  N dy 11391   3294298        90      8010         0     84602     56070   1141364     25.20     26.57  --

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-3369023-1305410848/watcher-3369023-1305410848 -o /tmp/evaluation-result-3369023-1305410848/solver-3369023-1305410848 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369023-1305410848.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: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 411 0 0 0 1 0 0 0 22 0 4 0 633500720 52465664 352 33554432000 4194304 4650419 140733833904576 18446744073709551615 47042860132274 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 12809 352 303 112 0 7774 0
[pid=28062/tid=28063] ppid=28060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 633500721 52465664 352 33554432000 4194304 4650419 140733833904576 18446744073709551615 47042860132274 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633500721 52465664 352 33554432000 4194304 4650419 140733833904576 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633500721 52465664 352 33554432000 4194304 4650419 140733833904576 18446744073709551615 47042860132278 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0937789 s]
/proc/loadavg: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=282052 CPUtime=0.35 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 1596 0 0 0 35 0 0 0 23 0 4 0 633500720 288821248 1509 33554432000 4194304 4650419 140733833904576 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 70513 1509 366 112 0 65478 0
[pid=28062/tid=28063] ppid=28060 vsize=282052 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 263 0 0 0 8 0 0 0 24 0 4 0 633500721 288821248 1509 33554432000 4194304 4650419 140733833904576 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=282052 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 269 0 0 0 8 0 0 0 24 0 4 0 633500721 288821248 1509 33554432000 4194304 4650419 140733833904576 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=282052 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 371 0 0 0 8 0 0 0 24 0 4 0 633500721 288821248 1509 33554432000 4194304 4650419 140733833904576 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282052

[startup+0.100778 s]
/proc/loadavg: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=282052 CPUtime=0.37 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 1617 0 0 0 37 0 0 0 23 0 4 0 633500720 288821248 1530 33554432000 4194304 4650419 140733833904576 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 70513 1530 366 112 0 65478 0
[pid=28062/tid=28063] ppid=28060 vsize=282052 CPUtime=0.09 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 265 0 0 0 9 0 0 0 24 0 4 0 633500721 288821248 1530 33554432000 4194304 4650419 140733833904576 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=282052 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 271 0 0 0 8 0 0 0 24 0 4 0 633500721 288821248 1530 33554432000 4194304 4650419 140733833904576 18446744073709551615 4371128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=282052 CPUtime=0.09 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 385 0 0 0 9 0 0 0 24 0 4 0 633500721 288821248 1530 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282052

[startup+0.40392 s]
/proc/loadavg: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=295548 CPUtime=1.62 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 5007 0 0 0 162 0 0 0 25 0 4 0 633500720 302641152 3675 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 72201 4302 390 112 0 67166 0
[pid=28062/tid=28063] ppid=28060 vsize=288804 CPUtime=1 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2118 0 0 0 100 0 0 0 25 0 4 0 633500721 295735296 4302 33554432000 4194304 4650419 140733833904576 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=288804 CPUtime=1 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2137 0 0 0 100 0 0 0 19 0 4 0 633500721 295735296 4302 33554432000 4194304 4650419 140733833904576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=288804 CPUtime=1 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 1808 0 0 0 100 0 0 0 25 0 4 0 633500721 295735296 4302 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 295548

[startup+1.11756 s]
/proc/loadavg: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=288804 CPUtime=4.44 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 8829 0 0 0 443 1 0 0 25 0 4 0 633500720 295735296 4576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 72201 4576 391 112 0 67166 0
[pid=28062/tid=28063] ppid=28060 vsize=288804 CPUtime=1.1 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2183 0 0 0 110 0 0 0 25 0 4 0 633500721 295735296 4576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=288804 CPUtime=1.1 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2204 0 0 0 110 0 0 0 19 0 4 0 633500721 295735296 4576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=288804 CPUtime=1.1 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 1887 0 0 0 110 0 0 0 25 0 4 0 633500721 295735296 4576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 288804

[startup+1.50049 s]
/proc/loadavg: 0.00 0.00 0.08 1/286 28062
/proc/meminfo: memFree=24427704/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=289328 CPUtime=5.97 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 10940 0 0 0 596 1 0 0 25 0 4 0 633500720 296271872 4912 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 72332 4912 391 112 0 67297 0
[pid=28062/tid=28063] ppid=28060 vsize=289328 CPUtime=1.48 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2700 0 0 0 148 0 0 0 25 0 4 0 633500721 296271872 4912 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=289328 CPUtime=1.48 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2742 0 0 0 148 0 0 0 19 0 4 0 633500721 296271872 4912 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=289328 CPUtime=1.49 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 2392 0 0 0 149 0 0 0 25 0 4 0 633500721 296271872 4912 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289328

[startup+3.10019 s]
/proc/loadavg: 0.00 0.00 0.08 9/298 28079
/proc/meminfo: memFree=24331192/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=295312 CPUtime=12.34 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 20895 0 0 0 1232 2 0 0 25 0 4 0 633500720 302399488 12576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 73828 12576 392 112 0 68793 0
[pid=28062/tid=28063] ppid=28060 vsize=295312 CPUtime=3.09 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 4514 0 0 0 308 1 0 0 25 0 4 0 633500721 302399488 12576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4370572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=295312 CPUtime=3.06 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 5719 0 0 0 306 0 0 0 24 0 4 0 633500721 302399488 12576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4444843 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=295312 CPUtime=3.08 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 5770 0 0 0 308 0 0 0 25 0 4 0 633500721 302399488 12576 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295312

[startup+6.3006 s]
/proc/loadavg: 0.64 0.13 0.13 9/298 28079
/proc/meminfo: memFree=24305108/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=284480 CPUtime=25.11 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 29803 0 0 0 2507 4 0 0 25 0 4 0 633500720 291307520 16937 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 71120 16937 392 112 0 66085 0
[pid=28062/tid=28063] ppid=28060 vsize=284480 CPUtime=6.29 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 7676 0 0 0 628 1 0 0 25 0 4 0 633500721 291307520 16937 33554432000 4194304 4650419 140733833904576 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=284480 CPUtime=6.22 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 7689 0 0 0 622 0 0 0 25 0 4 0 633500721 291307520 16938 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=284480 CPUtime=6.28 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 7791 0 0 0 627 1 0 0 25 0 4 0 633500721 291307520 16938 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 284480

[startup+12.7004 s]
/proc/loadavg: 1.23 0.26 0.17 9/298 28079
/proc/meminfo: memFree=24261256/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=312680 CPUtime=50.69 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 41730 0 0 0 5062 7 0 0 25 0 4 0 633500720 320184320 22401 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 78170 22401 392 112 0 73135 0
[pid=28062/tid=28063] ppid=28060 vsize=312680 CPUtime=12.69 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 10015 0 0 0 1268 1 0 0 25 0 4 0 633500721 320184320 22402 33554432000 4194304 4650419 140733833904576 18446744073709551615 4439607 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=312680 CPUtime=12.58 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 9743 0 0 0 1257 1 0 0 25 0 4 0 633500721 320184320 22402 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=312680 CPUtime=12.7 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 12032 0 0 0 1268 2 0 0 25 0 4 0 633500721 320184320 22402 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 312680

[startup+25.5011 s]
/proc/loadavg: 2.73 0.64 0.29 9/298 28080
/proc/meminfo: memFree=24209988/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=317456 CPUtime=101.74 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 63570 0 0 0 10164 10 0 0 25 0 4 0 633500720 325074944 31299 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 79364 31299 392 112 0 74329 0
[pid=28062/tid=28063] ppid=28060 vsize=317456 CPUtime=25.49 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 14987 0 0 0 2547 2 0 0 25 0 4 0 633500721 325074944 31299 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=317456 CPUtime=25.26 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 14364 0 0 0 2524 2 0 0 25 0 4 0 633500721 325074944 31299 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=317456 CPUtime=25.48 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 18075 0 0 0 2546 2 0 0 25 0 4 0 633500721 325074944 31299 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 317456

[startup+51.1003 s]
/proc/loadavg: 4.58 1.25 0.50 9/298 28080
/proc/meminfo: memFree=24180072/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=329032 CPUtime=203.9 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 95427 0 0 0 20372 18 0 0 25 0 4 0 633500720 336928768 33935 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 82258 33935 392 112 0 77223 0
[pid=28062/tid=28063] ppid=28060 vsize=329032 CPUtime=51.09 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 21105 0 0 0 5106 3 0 0 25 0 4 0 633500721 336928768 33935 33554432000 4194304 4650419 140733833904576 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=329032 CPUtime=50.63 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 23710 0 0 0 5060 3 0 0 25 0 4 0 633500721 336928768 33935 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=329032 CPUtime=51.07 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 27540 0 0 0 5102 5 0 0 25 0 4 0 633500721 336928768 33935 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 329032

[startup+102.301 s]
/proc/loadavg: 6.62 2.32 0.90 9/298 28082
/proc/meminfo: memFree=24130708/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=350244 CPUtime=408.23 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 141549 0 0 0 40790 33 0 0 25 0 4 0 633500720 358649856 42184 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 87561 42184 392 112 0 82526 0
[pid=28062/tid=28063] ppid=28060 vsize=350244 CPUtime=102.29 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 24641 0 0 0 10225 4 0 0 25 0 4 0 633500721 358649856 42184 33554432000 4194304 4650419 140733833904576 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=350244 CPUtime=101.36 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 38545 0 0 0 10127 9 0 0 25 0 4 0 633500721 358649856 42184 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=350244 CPUtime=102.27 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 45511 0 0 0 10217 10 0 0 25 0 4 0 633500721 358649856 42184 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 350244

[startup+162.301 s]

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

[pid=28062] ppid=28060 vsize=486644 CPUtime=2802.71 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 443223 0 0 0 280121 150 0 0 25 0 4 0 633500720 498323456 83041 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 121661 83041 392 112 0 116626 0
[pid=28062/tid=28063] ppid=28060 vsize=486644 CPUtime=702.3 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 79613 0 0 0 70205 25 0 0 25 0 4 0 633500721 498323456 83041 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=486644 CPUtime=695.92 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 124003 0 0 0 69553 39 0 0 25 0 4 0 633500721 498323456 83041 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=486644 CPUtime=702.19 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 138524 0 0 0 70169 50 0 0 25 0 4 0 633500721 498323456 83041 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.71
Current children cumulated vsize (KiB) 486644

[startup+762.3 s]
/proc/loadavg: 8.19 7.50 4.56 9/298 28101
/proc/meminfo: memFree=23795932/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=486872 CPUtime=3042.15 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 466576 0 0 0 304055 160 0 0 25 0 4 0 633500720 498556928 89964 33554432000 4194304 4650419 140733833904576 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 121718 89964 392 112 0 116683 0
[pid=28062/tid=28063] ppid=28060 vsize=486872 CPUtime=762.31 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 86172 0 0 0 76203 28 0 0 25 0 4 0 633500721 498556928 89964 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=486872 CPUtime=755.37 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 127977 0 0 0 75496 41 0 0 25 0 4 0 633500721 498556928 89964 33554432000 4194304 4650419 140733833904576 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=486872 CPUtime=762.18 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 145317 0 0 0 76165 53 0 0 25 0 4 0 633500721 498556928 89964 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.15
Current children cumulated vsize (KiB) 486872

[startup+822.301 s]
/proc/loadavg: 8.26 7.63 4.79 9/298 28103
/proc/meminfo: memFree=23788212/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=500160 CPUtime=3281.64 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 481645 0 0 0 327997 167 0 0 25 0 4 0 633500720 512163840 88563 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 125040 88563 392 112 0 120005 0
[pid=28062/tid=28063] ppid=28060 vsize=500160 CPUtime=822.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 92328 0 0 0 82201 31 0 0 25 0 4 0 633500721 512163840 88564 33554432000 4194304 4650419 140733833904576 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=500160 CPUtime=814.83 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 130274 0 0 0 81442 41 0 0 25 0 4 0 633500721 512163840 88564 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=500160 CPUtime=822.18 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 151934 0 0 0 82162 56 0 0 25 0 4 0 633500721 512163840 88564 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.64
Current children cumulated vsize (KiB) 500160

[startup+882.301 s]
/proc/loadavg: 8.13 7.71 5.00 9/298 28105
/proc/meminfo: memFree=23754824/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=487288 CPUtime=3521.07 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 499849 0 0 0 351930 177 0 0 25 0 4 0 633500720 498982912 93438 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 121822 93438 392 112 0 116787 0
[pid=28062/tid=28063] ppid=28060 vsize=487288 CPUtime=882.31 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 97531 0 0 0 88197 34 0 0 25 0 4 0 633500721 498982912 93438 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=487288 CPUtime=874.28 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 136301 0 0 0 87385 43 0 0 25 0 4 0 633500721 498982912 93438 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=487288 CPUtime=882.16 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 158907 0 0 0 88156 60 0 0 25 0 4 0 633500721 498982912 93438 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.07
Current children cumulated vsize (KiB) 487288

[startup+942.311 s]
/proc/loadavg: 8.08 7.78 5.19 9/298 28106
/proc/meminfo: memFree=23723076/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=555304 CPUtime=3760.52 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 515308 0 0 0 375869 183 0 0 25 0 4 0 633500720 568631296 101169 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 138826 101169 392 112 0 133791 0
[pid=28062/tid=28063] ppid=28060 vsize=555304 CPUtime=942.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 101579 0 0 0 94196 36 0 0 25 0 4 0 633500721 568631296 101169 33554432000 4194304 4650419 140733833904576 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=555304 CPUtime=933.72 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 140948 0 0 0 93326 46 0 0 25 0 4 0 633500721 568631296 101169 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=555304 CPUtime=942.16 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 164836 0 0 0 94155 61 0 0 25 0 4 0 633500721 568631296 101169 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.52
Current children cumulated vsize (KiB) 555304

[startup+1002.3 s]
/proc/loadavg: 8.20 7.86 5.37 9/298 28108
/proc/meminfo: memFree=23730604/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=568648 CPUtime=3999.92 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 534503 0 0 0 399803 189 0 0 25 0 4 0 633500720 582295552 98202 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 142162 98202 392 112 0 137127 0
[pid=28062/tid=28063] ppid=28060 vsize=568648 CPUtime=1002.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 101731 0 0 0 100196 36 0 0 25 0 4 0 633500721 582295552 98202 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=568648 CPUtime=993.15 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 143457 0 0 0 99268 47 0 0 25 0 4 0 633500721 582295552 98202 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=568648 CPUtime=1002.15 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 176067 0 0 0 100152 63 0 0 25 0 4 0 633500721 582295552 98202 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.92
Current children cumulated vsize (KiB) 568648

[startup+1062.3 s]
/proc/loadavg: 8.28 7.93 5.55 10/299 28113
/proc/meminfo: memFree=23696352/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=568708 CPUtime=4239.18 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 553100 0 0 0 423724 194 0 0 25 0 4 0 633500720 582356992 95151 33554432000 4194304 4650419 140733833904576 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 142177 95151 392 112 0 137142 0
[pid=28062/tid=28063] ppid=28060 vsize=568708 CPUtime=1062.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 101737 0 0 0 106196 36 0 0 25 0 4 0 633500721 582356992 95151 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=568708 CPUtime=1052.41 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 147431 0 0 0 105192 49 0 0 25 0 4 0 633500721 582356992 95151 33554432000 4194304 4650419 140733833904576 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=568708 CPUtime=1062.14 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 188228 0 0 0 106149 65 0 0 25 0 4 0 633500721 582356992 95151 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.18
Current children cumulated vsize (KiB) 568708

[startup+1122.3 s]
/proc/loadavg: 8.31 8.01 5.73 9/298 28115
/proc/meminfo: memFree=23664372/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=687364 CPUtime=4477.9 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 568224 0 0 0 447590 200 0 0 25 0 4 0 633500720 703860736 101021 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 171841 101021 392 112 0 166806 0
[pid=28062/tid=28063] ppid=28060 vsize=687364 CPUtime=1122.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 102737 0 0 0 112195 37 0 0 25 0 4 0 633500721 703860736 101021 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=687364 CPUtime=1111.15 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 147671 0 0 0 111066 49 0 0 25 0 4 0 633500721 703860736 101021 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=687364 CPUtime=1122.13 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 197440 0 0 0 112146 67 0 0 25 0 4 0 633500721 703860736 101021 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.9
Current children cumulated vsize (KiB) 687364

[startup+1182.3 s]
/proc/loadavg: 8.16 8.02 5.87 9/298 28117
/proc/meminfo: memFree=23719420/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=568928 CPUtime=4717.35 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 582429 0 0 0 471528 207 0 0 25 0 4 0 633500720 582582272 92818 33554432000 4194304 4650419 140733833904576 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 142232 92818 392 112 0 137197 0
[pid=28062/tid=28063] ppid=28060 vsize=568928 CPUtime=1182.32 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 108813 0 0 0 118192 40 0 0 25 0 4 0 633500721 582582272 92818 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=568928 CPUtime=1170.6 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 147671 0 0 0 117011 49 0 0 25 0 4 0 633500721 582582272 92818 33554432000 4194304 4650419 140733833904576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=568928 CPUtime=1182.12 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 203737 0 0 0 118143 69 0 0 25 0 4 0 633500721 582582272 92818 33554432000 4194304 4650419 140733833904576 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.35
Current children cumulated vsize (KiB) 568928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.01 s]
/proc/loadavg: 8.11 8.02 5.92 5/294 28118
/proc/meminfo: memFree=24047424/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=635796 CPUtime=4800.03 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 589458 0 0 0 479792 211 0 0 25 0 4 0 633500720 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 158949 92837 392 112 0 153914 0
[pid=28062/tid=28063] ppid=28060 vsize=635796 CPUtime=1203.04 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 111194 0 0 0 120263 41 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=635796 CPUtime=1191.12 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 148509 0 0 0 119062 50 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=635796 CPUtime=1202.84 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 205338 0 0 0 120214 70 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4313370 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 635796

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

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

[startup+1203.01 s]
/proc/loadavg: 8.11 8.02 5.92 5/294 28118
/proc/meminfo: memFree=24047424/32951124 swapFree=63485424/67111528
[pid=28062] ppid=28060 vsize=635796 CPUtime=4800.03 cores=0,2,4,6
/proc/28062/stat : 28062 (strangenight1-m) R 28060 28062 28032 0 -1 4202496 589458 0 0 0 479792 211 0 0 25 0 4 0 633500720 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28062/statm: 158949 92837 392 112 0 153914 0
[pid=28062/tid=28063] ppid=28060 vsize=635796 CPUtime=1203.04 cores=0,2,4,6
/proc/28062/task/28063/stat : 28063 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 111194 0 0 0 120263 41 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28062/tid=28064] ppid=28060 vsize=635796 CPUtime=1191.12 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 148509 0 0 0 119062 50 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=635796 CPUtime=1202.84 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (strangenight1-m) R 28060 28062 28032 0 -1 4202560 205338 0 0 0 120214 70 0 0 25 0 4 0 633500721 651055104 92837 33554432000 4194304 4650419 140733833904576 18446744073709551615 4313370 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 635796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.08
CPU user time (s): 4797.95
CPU system time (s): 2.12868
CPU usage (%): 398.995
Max. virtual memory (cumulated for all children) (KiB): 700712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.12868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589458
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= 257
involuntary context switches= 23696

runsolver used 3.15852 second user time and 7.8878 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 00:07:28
IDJOB=3369023
IDBENCH=83032
IDSOLVER=1846
FILE ID=node147/3369023-1305410848
RUNJOBID= node147-1305410848-28051
PBS_JOBID= 13324515
Free space on /tmp= 73108 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369023-1305410848/watcher-3369023-1305410848 -o /tmp/evaluation-result-3369023-1305410848/solver-3369023-1305410848 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369023-1305410848.cnf

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

MD5SUM BENCH= 1f00de1fd8adbfbf4cc573ef44af531f
RANDOM SEED=336694040

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24427992 kB
Buffers:        289788 kB
Cached:        4970436 kB
SwapCached:      13132 kB
Active:        1629808 kB
Inactive:      6659160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24427992 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:     3025208 kB
Mapped:          14408 kB
Slab:           140252 kB
PageTables:      29176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44828036 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= 73104 MiB
End job on node147 at 2011-05-15 00:27:33