Trace number 3175166

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.17 1201.53

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf
MD5SUM86d70d98b4a1fa931b287202356d4839
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-3175166-1304094384.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.01 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.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.77/0.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.99/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
2.99/0.80	c Finding binary XORs  T:     0.00 s  found:       0
2.99/0.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
2.99/0.80	c calculated reachability. Time: 0.00
2.99/0.80	c Calc default polars -  time:   0.00 s pos:      37 undec:       0 neg:      53
2.99/0.80	c =========================================================================================
2.99/0.80	c types(t): F = full restart, N = normal restart
2.99/0.80	c types(t): S = simplification begin/end, E = solution found
2.99/0.80	c restart types(rt): st = static, dy = dynamic
2.99/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.99/0.80	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
2.99/0.80	c  N dy    13      4642        90      8010         0      4319     56070    128129     25.11     26.47  --
2.99/0.80	c  N dy    26     12427        90      8010         0      5257     56070    127649     25.12     26.48  --
3.57/0.90	c  N dy    44     16707        90      8010         0      9237     56070    245069     25.31     26.68  --
4.77/1.20	c  N dy    50     21551        90      8010         0      8500     56070    205151     25.20     26.62  --
5.16/1.30	c  F st    65     25000        90      8010         0     11699     56070    300373     25.34     25.71  --
5.57/1.40	c  N st    67     25627        90      8010         0     12286     56070    317872     25.34   no data  --
5.98/1.54	c  N dy    71     30000        90      8010         0     10011     56070    233265     25.34   no data  --
5.98/1.54	c  S st    71     30000        90      8010         0     10011     56070    233265     25.34   no data  --
5.98/1.57	c  S st    71     30504        90      8010         0     10487     56070    247389     25.34   no data  --
5.98/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.98/1.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.98/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.98/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.98/1.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.88	c lits-rem:      1428  cl-subs:      778  v-elim:      0  v-fix:    0  time:  5.14 s
12.76/3.23	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.40
12.76/3.23	c calculated reachability. Time: 0.00
12.76/3.23	c  N dy    71     30504        90      8010         0      9709     56070    220622     25.34   no data  --
13.56/3.47	c  N dy    84     34508        90      8010         0     13423     56070    331894     25.42     26.93  --
14.77/3.78	c  N dy    97     40008        90      8010         0     11195     56070    250511     25.45     27.12  --
15.95/4.07	c  N dy   108     44588        90      8010         0     15432     56070    375535     25.46     26.89  --
16.35/4.15	c  S st   114     45758        90      8010         0     16525     56070    407390     25.46     23.50  --
16.35/4.19	c  S st   114     46263        90      8010         0      8725     56070    159577     25.46   no data  --
16.35/4.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.75/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.75/4.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.75/4.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.35/5.15	c lits-rem:       157  cl-subs:       33  v-elim:      0  v-fix:    0  time:  3.77 s
20.35/5.15	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
20.35/5.15	c vivif2 --  cl tried     8692 cl shrink        0 lits rem          0 time: 0.00
21.54/5.45	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.21
21.54/5.46	c calculated reachability. Time: 0.00
21.54/5.46	c  N dy   114     46263        90      8010         0      8692     56070    158144     25.46   no data  --
27.14/6.86	c  N dy   118     69394        90      8010         0     10604     56070    184983     24.74     22.92  --
27.14/6.86	c  S st   118     69394        90      8010         0     10604     56070    184983     24.74     22.92  --
27.14/6.89	c  S st   118     69896        90      8010         0     11082     56070    199323     24.74   no data  --
27.14/6.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.54/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.54/6.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.54/6.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.54/7.91	c lits-rem:       321  cl-subs:      174  v-elim:      0  v-fix:    0  time:  3.99 s
31.54/7.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.54/7.91	c vivif2 --  cl tried    10908 cl shrink        0 lits rem          0 time: 0.01
32.76/8.26	c asymm  cl-useful: 0/7997/8010 lits-rem:0 time: 1.42
32.76/8.27	c calculated reachability. Time: 0.00
32.76/8.27	c  N dy   118     69896        90      8010         0     10908     56070    193945     24.74   no data  --
33.93/8.56	c  N dy   144     74461        90      8010         0     15177     56070    318961     24.81     26.26  --
35.93/9.03	c  N dy   182     79972        90      8010         0     20296     56070    470564     24.92     26.42  --
37.92/9.54	c  N dy   218     86365        90      8010         0     15163     56070    300177     25.02     26.38  --
38.32/9.62	c  F st   227     87501        90      8010         0     16231     56070    332430     25.05     24.61  --
39.52/9.97	c  N dy   233     92695        90      8010         0     21006     56070    475128     25.05   no data  --
41.53/10.46	c  N dy   264     98875        90      8010         0     14716     56070    269594     25.11     26.48  --
43.52/10.92	c  S st   301    104844        90      8010         0     20299     56070    435182     25.18     25.09  --
43.52/10.97	c  S st   301    105346        90      8010         0     20775     56070    449675     25.18   no data  --
43.52/10.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.52/10.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.52/10.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.92/11.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.92/11.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.92/11.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.50/13.00	c lits-rem:      2255  cl-subs:     1337  v-elim:      0  v-fix:    0  time:  7.97 s
51.90/13.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.90/13.00	c vivif2 --  cl tried    19438 cl shrink        0 lits rem          0 time: 0.02
53.51/13.41	c asymm  cl-useful: 0/5633/8010 lits-rem:0 time: 1.62
53.51/13.41	c calculated reachability. Time: 0.00
53.51/13.41	c  N dy   301    105346        90      8010         0     19438     56070    403230     25.18   no data  --
59.12/14.87	c  N dy   332    123506        90      8010         0     23249     56070    494068     25.04     26.39  --
61.89/15.53	c  N dy   362    131577        90      8010         0     16883     56070    300019     25.08     26.53  --
64.68/16.21	c  N dy   412    139978        90      8010         0     24720     56070    533176     25.16     26.50  --
68.29/17.10	c  N dy   434    150604        90      8010         0     19711     56070    363031     25.14     26.54  --
70.68/17.72	c  S st   449    158019        90      8010         0     26547     56070    562400     25.13     26.16  --
71.08/17.80	c  S st   449    158521        90      8010         0     27016     56070    576296     25.13   no data  --
71.08/17.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.08/17.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.08/17.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
71.08/17.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
71.08/17.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.08/17.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
71.08/17.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.46/20.45	c lits-rem:      1907  cl-subs:     2227  v-elim:      0  v-fix:    0  time: 10.46 s
81.46/20.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
81.46/20.45	c vivif2 --  cl tried    24789 cl shrink        0 lits rem          0 time: 0.02
82.26/20.69	c asymm  cl-useful: 0/1901/8010 lits-rem:0 time: 0.95
82.26/20.69	c calculated reachability. Time: 0.00
82.26/20.69	c  N dy   449    158521        90      8010         0     24789     56070    506071     25.13   no data  --
86.65/21.78	c  N dy   513    169626        90      8010         0     19442     56070    339845     25.23     26.66  --
91.85/23.04	c  N dy   537    184413        90      8010         0     33153     56070    740150     25.18     26.55  --
96.24/24.11	c  N dy   572    196798        90      8010         0     27971     56070    574932     25.18     26.56  --
101.44/25.49	c  N dy   575    211988        90      8010         0     24368     56070    444906     25.11     26.50  --
108.23/27.14	c  N dy   648    226271        90      8010         0     19138     56070    275149     25.18     26.52  --
112.22/28.15	c  S st   699    237782        90      8010         0     29834     56070    592216     25.21     25.44  --
112.62/28.24	c  S st   699    238288        90      8010         0     30318     56070    606830     25.21   no data  --
112.62/28.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.62/28.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.62/28.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
112.62/28.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.62/28.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.62/28.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.62/28.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.21/31.20	c lits-rem:      2246  cl-subs:     2000  v-elim:      0  v-fix:    0  time: 11.67 s
124.21/31.20	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
124.63/31.21	c vivif2 --  cl tried    28318 cl shrink        0 lits rem          0 time: 0.02
125.40/31.40	c asymm  cl-useful: 0/2310/8010 lits-rem:0 time: 0.77
125.40/31.40	c calculated reachability. Time: 0.00
125.40/31.40	c  N dy   699    238288        90      8010         0     28318     56070    540416     25.21   no data  --
131.80/33.00	c  N dy   751    254322        90      8010         0     23762     56070    395900     25.23     26.60  --
139.78/35.05	c  N dy   798    274281        90      8010         0     21923     56070    323583     25.23     26.76  --
146.99/36.88	c  N dy   880    291789        90      8010         0     38137     56070    804794     25.28     27.70  --
153.37/38.43	c  F st   923    306250        90      8010         0     30277     56070    551551     25.29     23.58  --
155.39/38.94	c  N dy   929    311445        90      8010         0     35061     56070    695053     25.29   no data  --
164.17/41.11	c  N dy   968    331388        90      8010         0     31302     56070    560107     25.28     26.91  --
173.37/43.41	c  N dy  1005    352146        90      8010         0     27361     56070    425932     25.24     26.77  --
175.74/44.01	c  S st  1036    357433        90      8010         0     32274     56070    571519     25.26   no data  --
175.74/44.09	c  S st  1036    357938        90      8010         0     32742     56070    585535     25.26   no data  --
175.74/44.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.74/44.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.14/44.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
176.14/44.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.14/44.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.14/44.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.14/44.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.13/47.13	c lits-rem:      1576  cl-subs:     1620  v-elim:      0  v-fix:    0  time: 12.01 s
188.13/47.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
188.13/47.14	c vivif2 --  cl tried    31122 cl shrink        0 lits rem          0 time: 0.02
189.73/47.50	c asymm  cl-useful: 0/1711/8010 lits-rem:0 time: 1.43
189.73/47.50	c calculated reachability. Time: 0.00
189.73/47.50	c  N dy  1036    357938        90      8010         0     31122     56070    532574     25.26   no data  --
210.50/52.78	c  N dy  1068    397716        90      8010         0     43715     56070    873950     25.11     26.43  --
222.08/55.63	c  N dy  1177    417978        90      8010         0     37595     56070    697693     25.15     26.55  --
233.28/58.45	c  N dy  1280    438112        90      8010         0     30397     56070    465708     25.19     26.60  --
245.26/61.46	c  N dy  1302    462964        90      8010         0     53235     56070   1127550     25.13     26.49  --
255.65/64.02	c  N dy  1384    483009        90      8010         0     45069     56070    884848     25.16     26.64  --
267.23/66.90	c  N dy  1467    503071        90      8010         0     35970     56070    595945     25.18     28.27  --
278.85/69.84	c  N dy  1505    524006        90      8010         0     55319     56070   1159730     25.14     26.57  --
285.62/71.55	c  S st  1564    536908        90      8010         0     38596     56070    653700     25.16     25.16  --
286.02/71.65	c  S st  1564    537410        90      8010         0     39074     56070    667983     25.16   no data  --
286.02/71.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.02/71.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.02/71.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
286.02/71.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.02/71.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.02/71.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
286.02/71.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.00/74.63	c lits-rem:       720  cl-subs:     1695  v-elim:      0  v-fix:    0  time: 11.78 s
298.00/74.63	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
298.00/74.64	c vivif2 --  cl tried    37379 cl shrink        0 lits rem          0 time: 0.03
298.80/74.88	c asymm  cl-useful: 0/1426/8010 lits-rem:0 time: 0.94
298.80/74.88	c calculated reachability. Time: 0.00
298.80/74.88	c  N dy  1564    537410        90      8010         0     37379     56070    612976     25.16   no data  --
311.99/78.13	c  N dy  1646    557496        90      8010         0     56016     56070   1164880     25.18     26.59  --
323.17/80.96	c  N dy  1721    577520        90      8010         0     45064     56070    825607     25.19     26.58  --
337.95/84.69	c  N dy  1845    597525        90      8010         0     33081     56070    448560     25.24     27.65  --
349.16/87.44	c  N dy  1892    618962        90      8010         0     53001     56070   1038967     25.23     26.57  --
364.72/91.30	c  N dy  1948    642615        90      8010         0     43303     56070    730699     25.21     26.65  --
379.93/95.17	c  N dy  2038    662721        90      8010         0     61904     56070   1282979     25.24     26.76  --
394.69/98.85	c  N dy  2093    688083        90      8010         0     52933     56070    994549     25.22     26.71  --
410.69/102.81	c  N dy  2181    709115        90      8010         0     39138     56070    576543     25.24     26.58  --
427.87/107.20	c  N dy  2225    734572        90      8010         0     62625     56070   1265877     25.21     26.66  --
441.84/110.68	c  N dy  2329    754739        90      8010         0     47121     56070    797434     25.24     26.82  --
459.42/115.10	c  N dy  2389    779266        90      8010         0     69830     56070   1464120     25.23     26.58  --
472.60/118.38	c  N dy  2506    799280        90      8010         0     53228     56070    959729     25.26     26.70  --
477.81/119.68	c  S st  2536    806115        90      8010         0     59551     56070   1146701     25.26     24.33  --
478.61/119.84	c  S st  2536    806620        90      8010         0     60032     56070   1161162     25.26   no data  --
478.61/119.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
478.61/119.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
478.61/119.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
479.00/119.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
479.00/119.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.00/119.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
479.00/119.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
529.35/132.56	c lits-rem:      3093  cl-subs:     3863  v-elim:      0  v-fix:    0  time: 50.52 s
529.35/132.56	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
529.35/132.57	c vivif2 --  cl tried    56169 cl shrink        0 lits rem          0 time: 0.05
530.53/132.87	c asymm  cl-useful: 0/972/8010 lits-rem:0 time: 1.21
530.53/132.88	c calculated reachability. Time: 0.00
530.53/132.88	c  N dy  2536    806620        90      8010         0     56169     56070   1030860     25.26   no data  --
546.54/136.84	c  N dy  2587    827570        90      8010         0     39576     56070    531587     25.25     26.64  --
560.13/140.26	c  N dy  2630    850198        90      8010         0     60471     56070   1140394     25.23     26.67  --
581.28/145.50	c  N dy  2643    885783        90      8010         0     56196     56070    982922     25.12     26.55  --
599.28/150.04	c  N dy  2684    912745        90      8010         0     43301     56070    601135     25.08     26.58  --
617.25/154.55	c  N dy  2724    940633        90      8010         0     68921     56070   1341995     25.05     26.48  --
634.84/158.93	c  N dy  2855    961100        90      8010         0     49248     56070    768838     25.08     26.56  --
650.40/162.80	c  N dy  2941    981714        90      8010         0     68354     56070   1333903     25.09     26.42  --
668.39/167.31	c  N dy  3059   1001721        90      8010         0     47172     56070    687521     25.12     28.01  --
683.96/171.24	c  N dy  3166   1021932        90      8010         0     65911     56070   1243687     25.14     26.47  --
703.54/176.19	c  N dy  3268   1042151        90      8010         0     43947     56070    569072     25.15     26.53  --
718.72/179.94	c  N dy  3375   1062184        90      8010         0     62557     56070   1123344     25.17     27.15  --
727.52/182.16	c  F st  3421   1071875        90      8010         0     71530     56070   1390265     25.18     25.18  --
737.51/184.69	c  N dy  3436   1082824        90      8010         0     81643     56070   1690232     25.18     26.61  --
753.11/188.51	c  N dy  3528   1103446        90      8010         0     59051     56070    998727     25.19     26.69  --
773.47/193.63	c  N dy  3634   1123567        90      8010         0     77697     56070   1552904     25.21     26.58  --
790.65/197.92	c  N dy  3656   1143939        90      8010         0     53743     56070    810638     25.18     26.52  --
810.23/202.89	c  N dy  3743   1164121        90      8010         0     72441     56070   1366047     25.19     26.71  --
835.39/209.16	c  N dy  3852   1184242        90      8010         0     47625     56070    624362     25.21     26.77  --
856.57/214.49	c  N dy  3938   1204277        90      8010         0     66170     56070   1173460     25.22     27.80  --
862.97/216.10	c  S st  3963   1209930        90      8010         0     71374     56070   1327642     25.22     23.69  --
864.15/216.34	c  S st  3963   1210431        90      8010         0     71851     56070   1342252     25.22   no data  --
864.15/216.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
864.15/216.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
864.15/216.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
864.55/216.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.55/216.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.55/216.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
864.55/216.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
944.07/236.33	c lits-rem:      2729  cl-subs:     4905  v-elim:      0  v-fix:    0  time: 79.51 s
944.07/236.33	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
944.07/236.35	c vivif2 --  cl tried    66946 cl shrink        0 lits rem          0 time: 0.06
945.66/236.74	c asymm  cl-useful: 0/810/8010 lits-rem:0 time: 1.57
945.66/236.74	c calculated reachability. Time: 0.00
945.66/236.74	c  N dy  3963   1210431        90      8010         0     66946     56070   1183805     25.22   no data  --
967.24/242.16	c  N dy  4030   1230960        90      8010         0     85966     56070   1745841     25.23     26.67  --
986.44/246.92	c  N dy  4126   1252074        90      8010         0     61312     56070   1014555     25.24     26.79  --
1009.58/252.73	c  N dy  4215   1272235        90      8010         0     80041     56070   1573824     25.26     26.63  --
1032.75/258.54	c  N dy  4293   1292270        90      8010         0     53309     56070    754090     25.26     29.24  --
1051.53/263.20	c  N dy  4365   1312289        90      8010         0     71836     56070   1304044     25.27     26.71  --
1074.70/269.09	c  N dy  4413   1332897        90      8010         0     90852     56070   1863358     25.27     26.63  --
1093.47/273.75	c  N dy  4490   1352993        90      8010         0     63207     56070   1026147     25.27     26.61  --
1118.26/279.92	c  N dy  4612   1373063        90      8010         0     81852     56070   1586377     25.29     27.47  --
1145.41/286.77	c  N dy  4683   1399078        90      8010         0     58640     56070    871248     25.29     26.72  --
1162.21/290.98	c  N dy  4686   1421066        90      8010         0     78703     56070   1451922     25.26     26.68  --
1192.56/298.57	c  N dy  4806   1443082        90      8010         0     51208     56070    636629     25.27     26.62  --
1212.51/303.57	c  N dy  4914   1463176        90      8010         0     69841     56070   1192334     25.28     26.71  --
1238.88/310.19	c  N dy  5000   1484061        90      8010         0     89132     56070   1760873     25.29     26.70  --
1264.86/316.66	c  N dy  5025   1511727        90      8010         0     65624     56070   1036832     25.26     26.65  --
1290.41/323.04	c  N dy  5133   1531825        90      8010         0     84283     56070   1594371     25.27     26.99  --
1317.59/329.89	c  N dy  5244   1553497        90      8010         0     54440     56070    692260     25.28     26.66  --
1347.15/337.24	c  N dy  5334   1588102        90      8010         0     86326     56070   1629152     25.28     26.63  --
1367.14/342.24	c  N dy  5336   1609402        90      8010         0     55096     56070    693010     25.26     26.59  --
1384.71/346.60	c  N dy  5434   1629489        90      8010         0     73736     56070   1251357     25.27     26.62  --
1407.49/352.33	c  N dy  5499   1649538        90      8010         0     92214     56070   1796908     25.27     26.66  --
1430.28/358.09	c  N dy  5570   1670349        90      8010         0     59777     56070    814054     25.27     26.69  --
1463.82/366.43	c  N dy  5598   1709931        90      8010         0     96133     56070   1882842     25.24     26.70  --
1464.62/366.62	c  S st  5603   1710431        90      8010         0     96599     56070   1896881     25.24   no data  --
1465.44/366.88	c  S st  5603   1710934        90      8010         0     97078     56070   1911297     25.24   no data  --
1465.44/366.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1465.44/366.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1465.82/366.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1466.22/367.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1466.22/367.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1466.22/367.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1466.22/367.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1779.82/445.53	c lits-rem:      4356  cl-subs:     9164  v-elim:      0  v-fix:    0  time: 313.61 s
1779.82/445.53	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1779.82/445.55	c vivif2 --  cl tried    87914 cl shrink        0 lits rem          0 time: 0.08
1781.43/445.90	c asymm  cl-useful: 0/628/8010 lits-rem:0 time: 1.43
1781.43/445.91	c calculated reachability. Time: 0.00
1781.43/445.91	c  N dy  5603   1710934        90      8010         0     87914     56070   1636790     25.24   no data  --
1806.99/452.31	c  N dy  5679   1731949        90      8010         0     55118     56070    664105     25.25     26.61  --
1822.97/456.34	c  N dy  5735   1751979        90      8010         0     73580     56070   1210469     25.25     28.03  --
1842.97/461.32	c  N dy  5752   1774005        90      8010         0     93781     56070   1801351     25.23     26.91  --
1870.91/468.36	c  N dy  5831   1798457        90      8010         0     63111     56070    882850     25.24     26.61  --
1894.48/474.20	c  N dy  5925   1818581        90      8010         0     81761     56070   1435268     25.24     26.72  --
1924.04/481.61	c  N dy  6031   1838836        90      8010         0    100555     56070   1997820     25.25     26.93  --
1951.21/488.42	c  N dy  6131   1858845        90      8010         0     64715     56070    913308     25.26     28.12  --
1980.37/495.75	c  N dy  6201   1884738        90      8010         0     88607     56070   1616597     25.26     26.72  --
2011.53/503.52	c  N dy  6329   1904779        90      8010         0    107223     56070   2178148     25.28     27.59  --
2035.51/509.54	c  N dy  6420   1929563        90      8010         0     74679     56070   1189892     25.29     26.68  --
2059.88/515.63	c  N dy  6491   1949566        90      8010         0     93110     56070   1736373     25.29     27.05  --
2092.65/523.85	c  N dy  6584   1970823        90      8010         0     56443     56070    624725     25.30     26.71  --
2110.62/528.33	c  N dy  6652   1991995        90      8010         0     75997     56070   1201497     25.30     26.64  --
2131.81/533.65	c  N dy  6705   2012050        90      8010         0     94455     56070   1741838     25.29     27.02  --
2174.15/544.29	c  N dy  6833   2042098        90      8010         0     64950     56070    853970     25.29     26.77  --
2193.73/549.18	c  N dy  6902   2062165        90      8010         0     83483     56070   1402911     25.30     27.34  --
2220.92/555.95	c  N dy  7013   2082226        90      8010         0    102060     56070   1959719     25.31     27.79  --
2248.47/562.89	c  N dy  7076   2102464        90      8010         0     62486     56070    765270     25.31     27.00  --
2266.45/567.31	c  N dy  7102   2123916        90      8010         0     82267     56070   1347443     25.30     26.65  --
2348.78/587.96	c  N dy  7150   2209175        90      8010         0    100966     56070   1842289     25.21     26.55  --
2351.56/588.60	c  S st  7159   2210934        90      8010         0    102618     56070   1891526     25.21     24.49  --
2352.77/588.90	c  S st  7159   2211441        90      8010         0    103093     56070   1906255     25.21   no data  --
2352.77/588.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2352.77/588.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2352.77/588.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2353.18/589.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2353.18/589.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2353.18/589.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2353.18/589.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2526.93/632.50	c lits-rem:      3914  cl-subs:    12028  v-elim:      0  v-fix:    0  time: 173.61 s
2526.93/632.50	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2526.93/632.52	c vivif2 --  cl tried    91065 cl shrink        0 lits rem          0 time: 0.08
2528.13/632.86	c asymm  cl-useful: 0/828/8010 lits-rem:0 time: 1.34
2528.13/632.86	c calculated reachability. Time: 0.00
2528.13/632.86	c  N dy  7159   2211441        90      8010         0     91065     56070   1585214     25.21   no data  --
2556.09/639.86	c  N dy  7251   2232311        90      8010         0    110370     56070   2162362     25.22     26.57  --
2582.46/646.46	c  N dy  7353   2252389        90      8010         0     69805     56070    963780     25.23     26.56  --
2604.84/652.02	c  N dy  7430   2272529        90      8010         0     88425     56070   1516325     25.23     26.64  --
2637.21/660.13	c  N dy  7550   2294197        90      8010         0    108492     56070   2116623     25.24     26.63  --
2671.96/668.84	c  N dy  7680   2314280        90      8010         0     66505     56070    841133     25.25     26.83  --
2695.54/674.75	c  N dy  7769   2334306        90      8010         0     85003     56070   1394096     25.26     26.60  --
2720.71/681.06	c  N dy  7822   2354653        90      8010         0    103742     56070   1947613     25.26     26.73  --
2765.45/692.28	c  N dy  7850   2392438        90      8010         0     76717     56070   1110078     25.24     26.69  --
2790.21/698.49	c  N dy  7930   2412450        90      8010         0     95219     56070   1663936     25.24     28.56  --
2827.79/707.88	c  N dy  8076   2435944        90      8010         0    116932     56070   2315032     25.25     26.60  --
2855.34/714.79	c  N dy  8172   2455989        90      8010         0     72972     56070    994214     25.26     27.64  --
2894.10/724.40	c  N dy  8279   2486006        90      8010         0    100690     56070   1819638     25.26     26.88  --
2928.48/733.03	c  N dy  8365   2507514        90      8010         0    120569     56070   2413180     25.27     26.87  --
2955.63/739.89	c  N dy  8470   2527612        90      8010         0     75553     56070   1048791     25.28     27.33  --
2986.40/747.56	c  N dy  8576   2553027        90      8010         0     99073     56070   1749644     25.28     26.70  --
3017.96/755.40	c  N dy  8667   2573636        90      8010         0    118169     56070   2320521     25.29     26.64  --
3047.55/762.87	c  N dy  8771   2593675        90      8010         0     72044     56070    925157     25.29     26.82  --
3075.50/769.87	c  N dy  8857   2618754        90      8010         0     95273     56070   1614574     25.30     26.65  --
3106.26/777.56	c  N dy  8897   2644005        90      8010         0    118527     56070   2299253     25.29     26.62  --
3147.82/787.93	c  N dy  9004   2675448        90      8010         0     81797     56070   1191587     25.29     26.64  --
3172.60/794.16	c  N dy  9077   2695463        90      8010         0    100176     56070   1733060     25.29     28.09  --
3195.77/799.90	c  S st  9135   2711441        90      8010         0    114938     56070   2172230     25.29   no data  --
3196.99/800.21	c  S st  9135   2711945        90      8010         0    115411     56070   2186573     25.29   no data  --
3196.99/800.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3196.99/800.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3196.99/800.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3197.37/800.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3197.37/800.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3197.37/800.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3197.37/800.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3848.90/963.41	c lits-rem:      4151  cl-subs:     9780  v-elim:      0  v-fix:    0  time: 651.17 s
3848.90/963.41	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3848.90/963.44	c vivif2 --  cl tried   105631 cl shrink        0 lits rem          0 time: 0.11
3850.90/963.93	c asymm  cl-useful: 0/662/8010 lits-rem:0 time: 1.95
3850.90/963.93	c calculated reachability. Time: 0.00
3850.90/963.93	c  N dy  9135   2711945        90      8010         0    105631     56070   1884850     25.29   no data  --
3892.44/974.31	c  N dy  9224   2732645        90      8010         0    124735     56070   2455041     25.30     26.78  --
3928.80/983.43	c  N dy  9305   2752727        90      8010         0     77235     56070   1053309     25.30     27.97  --
3959.57/991.19	c  N dy  9398   2772815        90      8010         0     95804     56070   1610750     25.31     27.23  --
3998.72/1000.93	c  N dy  9456   2795003        90      8010         0    116210     56070   2216796     25.31     26.64  --
4046.66/1012.93	c  N dy  9540   2815684        90      8010         0     68160     56070    756875     25.31     26.75  --
4076.22/1020.30	c  N dy  9653   2835854        90      8010         0     86779     56070   1315596     25.32     26.81  --
4110.19/1028.89	c  N dy  9720   2855982        90      8010         0    105325     56070   1863650     25.32     26.70  --
4158.53/1040.98	c  N dy  9826   2881418        90      8010         0    128842     56070   2569143     25.33     26.81  --
4212.86/1054.53	c  N dy  9872   2919171        90      8010         0     95387     56070   1532716     25.31     26.66  --
4251.23/1064.19	c  N dy  9954   2939182        90      8010         0    113896     56070   2088075     25.31     28.75  --
4298.75/1076.00	c  N dy 10074   2959208        90      8010         0    132538     56070   2649557     25.32     28.40  --
4335.90/1085.33	c  N dy 10171   2979363        90      8010         0     81957     56070   1133421     25.33     26.73  --
4397.02/1100.61	c  N dy 10197   3024105        90      8010         0    123074     56070   2353375     25.31     26.86  --
4450.95/1114.18	c  N dy 10315   3044111        90      8010         0     71513     56070    802108     25.31     26.77  --
4486.11/1122.92	c  N dy 10404   3064428        90      8010         0     90251     56070   1360451     25.32     26.77  --
4564.41/1142.52	c  N dy 10487   3111346        90      8010         0    133256     56070   2611157     25.30     26.77  --
4596.36/1150.53	c  N dy 10531   3131441        90      8010         0     80943     56070   1070154     25.30     26.65  --
4621.53/1156.83	c  N dy 10566   3151810        90      8010         0     99600     56070   1616625     25.30     26.63  --
4655.09/1165.24	c  N dy 10638   3171871        90      8010         0    118127     56070   2170323     25.30     27.55  --
4694.24/1175.00	c  N dy 10679   3195447        90      8010         0    139662     56070   2798801     25.29     26.78  --
4719.81/1181.45	c  S st 10736   3211947        90      8010         0     83113     56070   1114569     25.29     24.87  --
4721.01/1181.74	c  S st 10736   3212449        90      8010         0     83591     56070   1129321     25.29   no data  --
4721.01/1181.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4721.01/1181.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4721.01/1181.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
4721.42/1181.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4721.42/1181.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4721.42/1181.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
4721.42/1181.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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

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

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


[startup+0 s]
/proc/loadavg: 8.35 8.13 8.02 5/180 8003
/proc/meminfo: memFree=31183064/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 501853992 52465664 356 33554432000 4194304 4650419 140734274017664 18446744073709551615 47747481540530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8003/statm: 12809 356 306 112 0 7774 0
[pid=8003/tid=8004] ppid=8001 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 501853992 52465664 356 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338383803 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501853992 52465664 356 33554432000 4194304 4650419 140734274017664 18446744073709551615 47747481540530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 501853992 52465664 356 33554432000 4194304 4650419 140734274017664 18446744073709551615 270333430870 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.199129 s]
/proc/loadavg: 8.35 8.13 8.02 5/180 8003
/proc/meminfo: memFree=31183064/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=219988 CPUtime=0.76 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 2950 0 0 0 76 0 0 0 18 0 4 0 501853992 225267712 2375 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338044961 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8003/statm: 54997 2375 378 112 0 49962 0
[pid=8003/tid=8004] ppid=8001 vsize=219988 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) D 8001 8003 7164 0 -1 4202560 527 0 0 0 19 0 0 0 25 0 4 0 501853992 225267712 2375 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338044613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=219988 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) D 8001 8003 7164 0 -1 4202560 762 0 0 0 19 0 0 0 25 0 4 0 501853992 225267712 2375 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338427063 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=219988 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 743 0 0 0 19 0 0 0 18 0 4 0 501853992 225267712 2375 33554432000 4194304 4650419 140734274017664 18446744073709551615 4326360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 219988

[startup+0.200512 s]
/proc/loadavg: 8.35 8.13 8.02 5/180 8003
/proc/meminfo: memFree=31183064/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=220372 CPUtime=0.77 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 3264 0 0 0 77 0 0 0 18 0 4 0 501853992 225660928 2689 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338044961 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 55093 2693 383 112 0 50058 0
[pid=8003/tid=8004] ppid=8001 vsize=220372 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 615 0 0 0 19 0 0 0 18 0 4 0 501853992 225660928 2695 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338080953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=220372 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 900 0 0 0 19 0 0 0 18 0 4 0 501853992 225660928 2699 33554432000 4194304 4650419 140734274017664 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=220372 CPUtime=0.19 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) D 8001 8003 7164 0 -1 4202560 743 0 0 0 19 0 0 0 18 0 4 0 501853992 225660928 2699 33554432000 4194304 4650419 140734274017664 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 220372

[startup+0.756423 s]
/proc/loadavg: 8.35 8.13 8.02 5/180 8003
/proc/meminfo: memFree=31183064/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=223364 CPUtime=2.99 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 7158 0 0 0 298 1 0 0 18 0 4 0 501853992 228724736 4072 33554432000 4194304 4650419 140734274017664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 55841 4072 390 112 0 50806 0
[pid=8003/tid=8004] ppid=8001 vsize=223364 CPUtime=0.74 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1662 0 0 0 74 0 0 0 18 0 4 0 501853992 228724736 4072 33554432000 4194304 4650419 140734274017664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=223364 CPUtime=0.74 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1777 0 0 0 74 0 0 0 18 0 4 0 501853992 228724736 4072 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=223364 CPUtime=0.74 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1537 0 0 0 74 0 0 0 18 0 4 0 501853992 228724736 4072 33554432000 4194304 4650419 140734274017664 18446744073709551615 270338427015 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 223364

[startup+0.80839 s]
/proc/loadavg: 8.35 8.13 8.02 5/180 8003
/proc/meminfo: memFree=31183064/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=223364 CPUtime=3.2 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 7305 0 0 0 319 1 0 0 18 0 4 0 501853992 228724736 4219 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 55841 4219 390 112 0 50806 0
[pid=8003/tid=8004] ppid=8001 vsize=223364 CPUtime=0.79 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1696 0 0 0 79 0 0 0 18 0 4 0 501853992 228724736 4219 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=223364 CPUtime=0.79 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1813 0 0 0 79 0 0 0 18 0 4 0 501853992 228724736 4219 33554432000 4194304 4650419 140734274017664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=223364 CPUtime=0.79 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 1575 0 0 0 79 0 0 0 19 0 4 0 501853992 228724736 4219 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 223364

[startup+1.50026 s]
/proc/loadavg: 8.35 8.13 8.02 9/184 8007
/proc/meminfo: memFree=31163212/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=224784 CPUtime=5.98 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 11005 0 0 0 596 2 0 0 19 0 4 0 501853992 230178816 4920 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 56196 4920 391 112 0 51161 0
[pid=8003/tid=8004] ppid=8001 vsize=224784 CPUtime=1.48 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 2664 0 0 0 148 0 0 0 19 0 4 0 501853992 230178816 4920 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=224784 CPUtime=1.49 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 2815 0 0 0 149 0 0 0 19 0 4 0 501853992 230178816 4920 33554432000 4194304 4650419 140734274017664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=224784 CPUtime=1.49 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 2288 0 0 0 149 0 0 0 19 0 4 0 501853992 230178816 4920 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 224784

[startup+3.10094 s]
/proc/loadavg: 8.35 8.13 8.02 9/184 8007
/proc/meminfo: memFree=31131592/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=230912 CPUtime=12.36 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 20844 0 0 0 1232 4 0 0 23 0 4 0 501853992 236453888 12755 33554432000 4194304 4650419 140734274017664 18446744073709551615 4370519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 57728 12755 392 112 0 52693 0
[pid=8003/tid=8004] ppid=8001 vsize=230912 CPUtime=3.07 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 4478 0 0 0 307 0 0 0 24 0 4 0 501853992 236453888 12755 33554432000 4194304 4650419 140734274017664 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=230912 CPUtime=3.08 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 5865 0 0 0 307 1 0 0 23 0 4 0 501853992 236453888 12755 33554432000 4194304 4650419 140734274017664 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=230912 CPUtime=3.08 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 5499 0 0 0 307 1 0 0 25 0 4 0 501853992 236453888 12755 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 230912

[startup+6.30031 s]
/proc/loadavg: 8.32 8.12 8.02 9/184 8007
/proc/meminfo: memFree=31115216/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=221564 CPUtime=25.14 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 30086 0 0 0 2508 6 0 0 25 0 4 0 501853992 226881536 16960 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 55391 16960 392 112 0 50356 0
[pid=8003/tid=8004] ppid=8001 vsize=221564 CPUtime=6.26 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 7899 0 0 0 625 1 0 0 25 0 4 0 501853992 226881536 16960 33554432000 4194304 4650419 140734274017664 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=221564 CPUtime=6.28 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 7848 0 0 0 627 1 0 0 25 0 4 0 501853992 226881536 16960 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=221564 CPUtime=6.28 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 7651 0 0 0 626 2 0 0 25 0 4 0 501853992 226881536 16960 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 221564

[startup+12.701 s]
/proc/loadavg: 8.29 8.12 8.02 9/184 8008
/proc/meminfo: memFree=31098208/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=249608 CPUtime=50.7 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 41496 0 0 0 5061 9 0 0 25 0 4 0 501853992 255598592 22621 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 62402 22621 392 112 0 57367 0
[pid=8003/tid=8004] ppid=8001 vsize=249608 CPUtime=12.61 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 10290 0 0 0 1260 1 0 0 25 0 4 0 501853992 255598592 22621 33554432000 4194304 4650419 140734274017664 18446744073709551615 4419568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=249608 CPUtime=12.69 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 11060 0 0 0 1267 2 0 0 25 0 4 0 501853992 255598592 22621 33554432000 4194304 4650419 140734274017664 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=249608 CPUtime=12.68 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 11269 0 0 0 1265 3 0 0 25 0 4 0 501853992 255598592 22621 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 249608

[startup+25.5005 s]
/proc/loadavg: 8.23 8.12 8.02 9/184 8008
/proc/meminfo: memFree=31054072/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=255924 CPUtime=101.84 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 59479 0 0 0 10169 15 0 0 25 0 4 0 501853992 262066176 29764 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 63981 29764 392 112 0 58946 0
[pid=8003/tid=8004] ppid=8001 vsize=255924 CPUtime=25.35 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 13541 0 0 0 2533 2 0 0 25 0 4 0 501853992 262066176 29764 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=255924 CPUtime=25.49 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 16504 0 0 0 2545 4 0 0 25 0 4 0 501853992 262066176 29764 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=255924 CPUtime=25.48 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 16026 0 0 0 2543 5 0 0 25 0 4 0 501853992 262066176 29764 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 255924

[startup+51.1064 s]
/proc/loadavg: 7.74 8.02 7.99 5/175 8026
/proc/meminfo: memFree=31236268/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=332724 CPUtime=204.13 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 85663 0 0 0 20389 24 0 0 25 0 4 0 501853992 340709376 35658 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 83181 35658 392 112 0 78146 0
[pid=8003/tid=8004] ppid=8001 vsize=332724 CPUtime=50.82 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 17514 0 0 0 5079 3 0 0 25 0 4 0 501853992 340709376 35658 33554432000 4194304 4650419 140734274017664 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=332724 CPUtime=51.09 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 26086 0 0 0 5102 7 0 0 25 0 4 0 501853992 340709376 35658 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=332724 CPUtime=51.08 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 21612 0 0 0 5101 7 0 0 25 0 4 0 501853992 340709376 35658 33554432000 4194304 4650419 140734274017664 18446744073709551615 4313699 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 332724

[startup+102.3 s]
/proc/loadavg: 5.62 7.40 7.78 5/175 8027
/proc/meminfo: memFree=31202828/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=356460 CPUtime=408.68 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 128322 0 0 0 40828 40 0 0 25 0 4 0 501853992 365015040 44841 33554432000 4194304 4650419 140734274017664 18446744073709551615 4334083 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 89115 44841 392 112 0 84080 0
[pid=8003/tid=8004] ppid=8001 vsize=356460 CPUtime=101.79 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 24031 0 0 0 10174 5 0 0 25 0 4 0 501853992 365015040 44841 33554432000 4194304 4650419 140734274017664 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=356460 CPUtime=102.29 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 41231 0 0 0 10215 14 0 0 25 0 4 0 501853992 365015040 44841 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=356460 CPUtime=102.28 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 31531 0 0 0 10217 11 0 0 25 0 4 0 501853992 365015040 44841 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 356460

[startup+162.3 s]

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

[pid=8003] ppid=8001 vsize=474100 CPUtime=2566.08 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 367747 0 0 0 256447 161 0 0 25 0 4 0 501853992 485478400 78104 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 118525 78104 392 112 0 113490 0
[pid=8003/tid=8004] ppid=8001 vsize=474100 CPUtime=639.14 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 65992 0 0 0 63882 32 0 0 25 0 4 0 501853992 485478400 78104 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=474100 CPUtime=642.29 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 123510 0 0 0 64183 46 0 0 25 0 4 0 501853992 485478400 78104 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=474100 CPUtime=642.31 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 95169 0 0 0 64184 47 0 0 25 0 4 0 501853992 485478400 78104 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2566.08
Current children cumulated vsize (KiB) 474100

[startup+702.306 s]
/proc/loadavg: 4.05 4.49 5.98 5/175 8043
/proc/meminfo: memFree=31058900/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=475332 CPUtime=2805.81 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 390041 0 0 0 280406 175 0 0 25 0 4 0 501853992 486739968 79857 33554432000 4194304 4650419 140734274017664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 118833 79857 392 112 0 113798 0
[pid=8003/tid=8004] ppid=8001 vsize=475332 CPUtime=698.85 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 72859 0 0 0 69848 37 0 0 25 0 4 0 501853992 486739968 79857 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=475332 CPUtime=702.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 127196 0 0 0 70182 48 0 0 25 0 4 0 501853992 486739968 79857 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=475332 CPUtime=702.32 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 101450 0 0 0 70181 51 0 0 25 0 4 0 501853992 486739968 79857 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.81
Current children cumulated vsize (KiB) 475332

[startup+762.3 s]
/proc/loadavg: 4.13 4.43 5.86 5/175 8045
/proc/meminfo: memFree=31046216/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=479236 CPUtime=3045.53 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 412723 0 0 0 304366 187 0 0 25 0 4 0 501853992 490737664 83210 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 119809 83210 392 112 0 114774 0
[pid=8003/tid=8004] ppid=8001 vsize=479236 CPUtime=758.58 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 79266 0 0 0 75818 40 0 0 25 0 4 0 501853992 490737664 83210 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=479236 CPUtime=762.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 131280 0 0 0 76180 50 0 0 25 0 4 0 501853992 490737664 83210 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=479236 CPUtime=762.31 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 108707 0 0 0 76176 55 0 0 25 0 4 0 501853992 490737664 83210 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.53
Current children cumulated vsize (KiB) 479236

[startup+822.3 s]
/proc/loadavg: 4.12 4.36 5.75 5/175 8046
/proc/meminfo: memFree=31032892/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=479456 CPUtime=3285.24 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 431950 0 0 0 328324 200 0 0 25 0 4 0 501853992 490962944 86176 33554432000 4194304 4650419 140734274017664 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 119864 86176 392 112 0 114829 0
[pid=8003/tid=8004] ppid=8001 vsize=479456 CPUtime=818.29 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 86381 0 0 0 81783 46 0 0 25 0 4 0 501853992 490962944 86176 33554432000 4194304 4650419 140734274017664 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=479456 CPUtime=822.29 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 135139 0 0 0 82177 52 0 0 25 0 4 0 501853992 490962944 86176 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=479456 CPUtime=822.31 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 112285 0 0 0 82174 57 0 0 25 0 4 0 501853992 490962944 86176 33554432000 4194304 4650419 140734274017664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3285.24
Current children cumulated vsize (KiB) 479456

[startup+882.301 s]
/proc/loadavg: 4.04 4.29 5.64 5/175 8048
/proc/meminfo: memFree=31028760/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=479700 CPUtime=3524.94 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 446737 0 0 0 352284 210 0 0 25 0 4 0 501853992 491212800 87526 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 119925 87526 392 112 0 114890 0
[pid=8003/tid=8004] ppid=8001 vsize=479700 CPUtime=877.97 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 92676 0 0 0 87747 50 0 0 25 0 4 0 501853992 491212800 87526 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=479700 CPUtime=882.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 137591 0 0 0 88176 54 0 0 25 0 4 0 501853992 491212800 87526 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=479700 CPUtime=882.31 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 118325 0 0 0 88170 61 0 0 25 0 4 0 501853992 491212800 87526 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.94
Current children cumulated vsize (KiB) 479700

[startup+942.301 s]
/proc/loadavg: 4.01 4.24 5.53 5/175 8049
/proc/meminfo: memFree=30979400/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=504912 CPUtime=3764.62 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 462337 0 0 0 376245 217 0 0 25 0 4 0 501853992 517029888 99632 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 126228 99632 392 112 0 121193 0
[pid=8003/tid=8004] ppid=8001 vsize=504912 CPUtime=937.64 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 101694 0 0 0 93711 53 0 0 25 0 4 0 501853992 517029888 99632 33554432000 4194304 4650419 140734274017664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=504912 CPUtime=942.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 143131 0 0 0 94173 57 0 0 25 0 4 0 501853992 517029888 99632 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=504912 CPUtime=942.32 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 119367 0 0 0 94170 62 0 0 25 0 4 0 501853992 517029888 99632 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.62
Current children cumulated vsize (KiB) 504912

[startup+1002.3 s]
/proc/loadavg: 4.00 4.19 5.43 5/175 8051
/proc/meminfo: memFree=30982584/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=570448 CPUtime=4004.31 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 468160 0 0 0 400210 221 0 0 25 0 4 0 501853992 584138752 98734 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 142612 98734 392 112 0 137577 0
[pid=8003/tid=8004] ppid=8001 vsize=570448 CPUtime=997.33 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 101796 0 0 0 99680 53 0 0 25 0 4 0 501853992 584138752 98734 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=570448 CPUtime=1002.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 145241 0 0 0 100171 59 0 0 25 0 4 0 501853992 584138752 98734 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=570448 CPUtime=1002.32 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 119367 0 0 0 100170 62 0 0 25 0 4 0 501853992 584138752 98734 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4004.31
Current children cumulated vsize (KiB) 570448

[startup+1062.3 s]
/proc/loadavg: 4.06 4.17 5.35 5/175 8053
/proc/meminfo: memFree=30994432/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=583792 CPUtime=4244.02 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 477173 0 0 0 424175 227 0 0 25 0 4 0 501853992 597803008 95831 33554432000 4194304 4650419 140734274017664 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 145948 95831 392 112 0 140913 0
[pid=8003/tid=8004] ppid=8001 vsize=583792 CPUtime=1057.04 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 101797 0 0 0 105650 54 0 0 25 0 4 0 501853992 597803008 95831 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=583792 CPUtime=1062.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 150627 0 0 0 106168 62 0 0 25 0 4 0 501853992 597803008 95831 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=583792 CPUtime=1062.32 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 119961 0 0 0 106170 62 0 0 25 0 4 0 501853992 597803008 95831 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4244.02
Current children cumulated vsize (KiB) 583792

[startup+1122.3 s]
/proc/loadavg: 4.08 4.15 5.26 5/175 8054
/proc/meminfo: memFree=30969212/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=583852 CPUtime=4483.72 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 486958 0 0 0 448137 235 0 0 25 0 4 0 501853992 597864448 102127 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 145963 102127 392 112 0 140928 0
[pid=8003/tid=8004] ppid=8001 vsize=583852 CPUtime=1116.73 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 101797 0 0 0 111619 54 0 0 25 0 4 0 501853992 597864448 102127 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=583852 CPUtime=1122.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 154612 0 0 0 112165 65 0 0 25 0 4 0 501853992 597864448 102127 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=583852 CPUtime=1122.32 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 119961 0 0 0 112170 62 0 0 25 0 4 0 501853992 597864448 102127 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.72
Current children cumulated vsize (KiB) 583852

[startup+1182.3 s]
/proc/loadavg: 4.08 4.14 5.19 5/175 8056
/proc/meminfo: memFree=30982676/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=637340 CPUtime=4723.4 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 497846 0 0 0 472099 241 0 0 25 0 4 0 501853992 652636160 98684 33554432000 4194304 4650419 140734274017664 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 159335 98684 392 112 0 154300 0
[pid=8003/tid=8004] ppid=8001 vsize=637340 CPUtime=1176.4 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 104779 0 0 0 117585 55 0 0 25 0 4 0 501853992 652636160 98684 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=637340 CPUtime=1182.3 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 154983 0 0 0 118165 65 0 0 25 0 4 0 501853992 652636160 98684 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=637340 CPUtime=1182.33 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 124385 0 0 0 118168 65 0 0 25 0 4 0 501853992 652636160 98684 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4723.4
Current children cumulated vsize (KiB) 637340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.06 4.13 5.16 5/175 8056
/proc/meminfo: memFree=30982412/32951124 swapFree=67111356/67111528
[pid=8003] ppid=8001 vsize=584020 CPUtime=4800.12 cores=1,3,5,7
/proc/8003/stat : 8003 (strangenight1-m) R 8001 8003 7164 0 -1 4202496 501254 0 0 0 479769 243 0 0 25 0 4 0 501853992 598036480 98661 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8003/statm: 146005 98661 392 112 0 140970 0
[pid=8003/tid=8004] ppid=8001 vsize=584020 CPUtime=1195.5 cores=1,3,5,7
/proc/8003/task/8004/stat : 8004 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 105821 0 0 0 119494 56 0 0 25 0 4 0 501853992 598036480 98661 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8003/tid=8005] ppid=8001 vsize=584020 CPUtime=1201.51 cores=1,3,5,7
/proc/8003/task/8005/stat : 8005 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 154983 0 0 0 120086 65 0 0 25 0 4 0 501853992 598036480 98661 33554432000 4194304 4650419 140734274017664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8003/tid=8006] ppid=8001 vsize=584020 CPUtime=1201.53 cores=1,3,5,7
/proc/8003/task/8006/stat : 8006 (strangenight1-m) R 8001 8003 7164 0 -1 4202560 126751 0 0 0 120087 66 0 0 25 0 4 0 501853992 598036480 98661 33554432000 4194304 4650419 140734274017664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 584020

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.53
CPU time (s): 4800.17
CPU user time (s): 4797.72
CPU system time (s): 2.45263
CPU usage (%): 399.505
Max. virtual memory (cumulated for all children) (KiB): 689584

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

runsolver used 1.66475 second user time and 4.40333 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 18:26:24
IDJOB=3175166
IDBENCH=82784
IDSOLVER=1588
FILE ID=node143/3175166-1304094384
RUNJOBID= node143-1304092854-7806
PBS_JOBID= 13170544
Free space on /tmp= 72920 MiB

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

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

MD5SUM BENCH= 86d70d98b4a1fa931b287202356d4839
RANDOM SEED=524973376

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31183344 kB
Buffers:        221956 kB
Cached:        1018072 kB
SwapCached:        168 kB
Active:         473000 kB
Inactive:      1019480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31183344 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:      252608 kB
Mapped:          15720 kB
Slab:           212136 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   505256 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= 72920 MiB
End job on node143 at 2011-04-29 18:46:27