Trace number 3368966

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.16 1203.84

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf
MD5SUM793faf2fe67c6773a49b839c9edfeeb3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.691894
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-3368966-1305408149.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.37/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
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:      42 undec:       1 neg:      47
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  --
1.16/0.36	c  N dy     9      4095        90      8010         0      3794     56070    112974     25.34     27.83  --
2.37/0.63	c  N dy    18     10778        90      8010         0      7664     56070    214334     25.21     26.80  --
3.17/0.85	c  N dy    32     16107        90      8010         0      8651     56070    227282     25.31     26.65  --
3.99/1.05	c  N dy    45     20386        90      8010         0      7398     56070    172621     25.40     26.74  --
4.76/1.29	c  F st    61     25001        90      8010         0     11676     56070    298349     25.46     24.09  --
4.76/1.29	c  N st    61     25001        90      8010         0     11676     56070    298349     25.46     24.09  --
5.96/1.54	c  N dy    67     30000        90      8010         0     10018     56070    231930     25.46   no data  --
5.96/1.54	c  S st    67     30000        90      8010         0     10018     56070    231930     25.46   no data  --
5.96/1.57	c  S st    67     30502        90      8010         0     10491     56070    246156     25.46   no data  --
5.96/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.54/2.94	c lits-rem:      1633  cl-subs:      705  v-elim:      0  v-fix:    0  time:  5.38 s
12.77/3.30	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.44
12.77/3.30	c calculated reachability. Time: 0.00
12.77/3.30	c  N dy    67     30502        90      8010         0      9786     56070    222255     25.46   no data  --
16.33/4.19	c  N dy    87     45753        90      8010         0      8282     56070    149489     25.03     24.18  --
16.33/4.19	c  S st    87     45753        90      8010         0      8282     56070    149489     25.03     24.18  --
16.73/4.22	c  S st    87     46258        90      8010         0      8763     56070    163966     25.03   no data  --
16.73/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.73/4.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.73/4.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.73/4.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.32/5.19	c lits-rem:       176  cl-subs:       64  v-elim:      0  v-fix:    0  time:  3.84 s
20.32/5.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
20.32/5.20	c vivif2 --  cl tried     8699 cl shrink        0 lits rem          0 time: 0.00
21.96/5.51	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.24
21.96/5.51	c calculated reachability. Time: 0.00
21.96/5.51	c  N dy    87     46258        90      8010         0      8699     56070    161467     25.03   no data  --
22.72/5.75	c  N dy    95     50672        90      8010         0     12782     56070    280386     25.01     26.47  --
23.92/6.02	c  N dy   112     54720        90      8010         0     16543     56070    391616     25.07     26.65  --
25.11/6.30	c  N dy   145     58730        90      8010         0     11076     56070    213490     25.21     26.68  --
25.94/6.56	c  N dy   168     63016        90      8010         0     15082     56070    334293     25.31     26.70  --
27.50/6.96	c  N dy   184     68762        90      8010         0     20440     56070    492783     25.30     26.79  --
27.90/7.01	c  S st   191     69389        90      8010         0     10810     56070    187464     25.32   no data  --
27.90/7.05	c  S st   191     69896        90      8010         0     11289     56070    202043     25.32   no data  --
27.90/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.90/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.90/7.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.90/7.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.89/8.00	c lits-rem:       340  cl-subs:      140  v-elim:      0  v-fix:    0  time:  3.72 s
31.89/8.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.89/8.00	c vivif2 --  cl tried    11149 cl shrink        0 lits rem          0 time: 0.01
33.08/8.36	c asymm  cl-useful: 0/7849/8010 lits-rem:0 time: 1.43
33.08/8.36	c calculated reachability. Time: 0.00
33.08/8.36	c  N dy   191     69896        90      8010         0     11149     56070    196740     25.32   no data  --
35.87/9.07	c  N dy   214     79680        90      8010         0     20182     56070    459787     25.29     26.62  --
38.28/9.64	c  F st   219     87500        90      8010         0     16312     56070    330643     25.15     22.93  --
38.28/9.64	c  N st   219     87500        90      8010         0     16312     56070    330643     25.15     22.93  --
39.86/10.07	c  N dy   229     93097        90      8010         0     21477     56070    484419     25.16     27.72  --
42.66/10.71	c  N dy   243    102221        90      8010         0     17854     56070    361058     25.12     26.44  --
43.48/10.92	c  S st   264    104845        90      8010         0     20266     56070    433033     25.17   no data  --
43.48/10.98	c  S st   264    105346        90      8010         0     20739     56070    447297     25.17   no data  --
43.48/10.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.48/10.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.48/10.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.48/11.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.48/11.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.48/11.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.48/11.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.03/12.85	c lits-rem:      1573  cl-subs:     1638  v-elim:      0  v-fix:    0  time:  7.39 s
51.03/12.86	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.03/12.86	c vivif2 --  cl tried    19101 cl shrink        0 lits rem          0 time: 0.02
52.67/13.26	c asymm  cl-useful: 0/5657/8010 lits-rem:0 time: 1.59
52.67/13.26	c calculated reachability. Time: 0.00
52.67/13.26	c  N dy   264    105346        90      8010         0     19101     56070    395462     25.17   no data  --
55.02/13.87	c  N dy   271    112600        90      8010         0     12927     56070    200052     25.13     26.54  --
57.42/14.50	c  N dy   285    122269        90      8010         0     21831     56070    458981     25.03     26.44  --
61.04/15.39	c  N dy   290    134784        90      8010         0     19502     56070    377773     24.90     26.31  --
64.20/16.11	c  N dy   318    143588        90      8010         0     27692     56070    617074     24.92     26.30  --
66.98/16.88	c  N dy   377    152797        90      8010         0     21525     56070    422119     25.02     27.97  --
68.99/17.30	c  S st   381    158019        90      8010         0     26358     56070    562580     24.98     25.68  --
68.99/17.37	c  S st   381    158522        90      8010         0     26831     56070    576628     24.98   no data  --
68.99/17.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.99/17.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.99/17.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.39/17.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.39/17.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.39/17.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.39/17.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.00/19.87	c lits-rem:      2077  cl-subs:     2038  v-elim:      0  v-fix:    0  time:  9.84 s
79.00/19.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.00/19.88	c vivif2 --  cl tried    24793 cl shrink        0 lits rem          0 time: 0.02
80.15/20.13	c asymm  cl-useful: 0/1945/8010 lits-rem:0 time: 1.00
80.15/20.13	c calculated reachability. Time: 0.00
80.15/20.13	c  N dy   381    158522        90      8010         0     24793     56070    510440     24.98   no data  --
84.14/21.11	c  N dy   420    168640        90      8010         0     18526     56070    313077     25.01     27.77  --
89.32/22.45	c  N dy   459    183656        90      8010         0     32379     56070    718303     24.98     26.30  --
93.71/23.53	c  N dy   516    195835        90      8010         0     27051     56070    547570     25.05     26.55  --
99.30/24.93	c  N dy   575    208716        90      8010         0     21439     56070    362825     25.10     26.51  --
106.87/26.88	c  N dy   594    230601        90      8010         0     23056     56070    390963     25.00     26.45  --
109.71/27.56	c  S st   633    237784        90      8010         0     29763     56070    591002     25.04   no data  --
110.06/27.63	c  S st   633    238285        90      8010         0     30243     56070    604966     25.04   no data  --
110.06/27.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.06/27.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.06/27.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.06/27.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.06/27.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.06/27.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.06/27.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.46/30.73	c lits-rem:      2547  cl-subs:     2061  v-elim:      0  v-fix:    0  time: 12.24 s
122.46/30.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.46/30.74	c vivif2 --  cl tried    28182 cl shrink        0 lits rem          0 time: 0.02
123.22/30.95	c asymm  cl-useful: 0/2197/8010 lits-rem:0 time: 0.84
123.22/30.95	c calculated reachability. Time: 0.00
123.22/30.95	c  N dy   633    238285        90      8010         0     28182     56070    539385     25.04   no data  --
129.60/32.52	c  N dy   676    253674        90      8010         0     23061     56070    376519     25.04     26.37  --
138.77/34.81	c  N dy   766    275020        90      8010         0     22533     56070    342147     25.09     26.55  --
149.20/37.48	c  N dy   844    300547        90      8010         0     24928     56070    391892     25.08     26.53  --
151.54/38.03	c  F st   866    306252        90      8010         0     30227     56070    546003     25.08     23.47  --
157.97/39.70	c  N dy   927    319749        90      8010         0     42767     56070    918874     25.12     27.46  --
167.10/41.91	c  N dy  1009    339763        90      8010         0     39017     56070    790006     25.16     26.67  --
175.87/44.12	c  S st  1123    357430        90      8010         0     32260     56070    574373     25.23   no data  --
176.27/44.20	c  S st  1123    357931        90      8010         0     32744     56070    589054     25.23   no data  --
176.27/44.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.27/44.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.27/44.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
176.27/44.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.27/44.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.27/44.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.27/44.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
191.43/48.03	c lits-rem:      2230  cl-subs:     1452  v-elim:      0  v-fix:    0  time: 15.16 s
191.43/48.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
191.43/48.04	c vivif2 --  cl tried    31292 cl shrink        0 lits rem          0 time: 0.03
192.65/48.39	c asymm  cl-useful: 0/1706/8010 lits-rem:0 time: 1.41
192.65/48.39	c calculated reachability. Time: 0.00
192.65/48.39	c  N dy  1123    357931        90      8010         0     31292     56070    538422     25.23   no data  --
206.23/51.78	c  N dy  1193    380725        90      8010         0     28318     56070    437198     25.25     26.73  --
221.34/55.57	c  N dy  1225    413152        90      8010         0     33292     56070    563596     25.15     26.51  --
233.30/58.52	c  N dy  1337    433164        90      8010         0     25954     56070    335386     25.21     28.36  --
242.88/60.93	c  N dy  1388    454474        90      8010         0     45594     56070    909705     25.19     26.57  --
254.08/63.71	c  N dy  1451    475563        90      8010         0     38307     56070    682503     25.19     26.56  --
266.01/66.75	c  N dy  1520    497337        90      8010         0     30693     56070    436310     25.20     26.69  --
275.19/69.06	c  N dy  1555    517391        90      8010         0     49165     56070    976592     25.17     27.16  --
286.36/71.85	c  S st  1624    536896        90      8010         0     38626     56070    653194     25.17     25.78  --
286.76/71.95	c  S st  1624    537401        90      8010         0     39105     56070    667703     25.17   no data  --
286.76/71.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.76/71.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.76/71.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
286.76/71.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.76/71.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.76/71.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
286.76/71.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
299.51/75.17	c lits-rem:      1557  cl-subs:     1995  v-elim:      0  v-fix:    0  time: 12.70 s
299.51/75.17	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
299.51/75.18	c vivif2 --  cl tried    37110 cl shrink        0 lits rem          0 time: 0.03
300.71/75.41	c asymm  cl-useful: 0/1403/8010 lits-rem:0 time: 0.92
300.71/75.41	c calculated reachability. Time: 0.00
300.71/75.41	c  N dy  1624    537401        90      8010         0     37110     56070    605207     25.17   no data  --
311.87/78.23	c  N dy  1662    557575        90      8010         0     55722     56070   1151785     25.17     26.63  --
322.65/80.98	c  N dy  1729    578058        90      8010         0     45209     56070    825882     25.17     26.53  --
335.01/84.07	c  N dy  1786    598229        90      8010         0     33395     56070    461307     25.17     26.65  --
346.21/86.90	c  N dy  1877    618261        90      8010         0     51992     56070   1011832     25.19     26.58  --
359.79/90.29	c  N dy  1943    639727        90      8010         0     40385     56070    647264     25.20     26.54  --
373.30/93.60	c  N dy  1972    661733        90      8010         0     60562     56070   1230654     25.15     26.67  --
386.12/96.88	c  N dy  2045    682562        90      8010         0     47593     56070    841840     25.15     26.51  --
401.22/100.60	c  N dy  2116    702569        90      8010         0     66109     56070   1388477     25.16     29.17  --
414.39/103.99	c  N dy  2152    724580        90      8010         0     53141     56070    986098     25.14     26.53  --
429.57/107.78	c  N dy  2199    744621        90      8010         0     37450     56070    511813     25.13     28.51  --
441.11/110.63	c  N dy  2246    765184        90      8010         0     56420     56070   1066702     25.12     26.49  --
457.46/114.70	c  N dy  2317    787618        90      8010         0     42080     56070    625790     25.13     26.49  --
468.63/117.54	c  S st  2376    806101        90      8010         0     59265     56070   1132802     25.13     23.51  --
469.06/117.70	c  S st  2376    806601        90      8010         0     59733     56070   1146909     25.13   no data  --
469.06/117.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
469.06/117.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.47/117.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
469.47/117.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.47/117.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.47/117.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
469.47/117.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
514.48/129.03	c lits-rem:      3319  cl-subs:     4413  v-elim:      0  v-fix:    0  time: 44.92 s
514.48/129.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
514.48/129.05	c vivif2 --  cl tried    55320 cl shrink        0 lits rem          0 time: 0.05
516.08/129.40	c asymm  cl-useful: 0/995/8010 lits-rem:0 time: 1.40
516.08/129.40	c calculated reachability. Time: 0.00
516.08/129.40	c  N dy  2376    806601        90      8010         0     55320     56070   1005282     25.13   no data  --
533.63/133.80	c  N dy  2484    826851        90      8010         0     38110     56070    492414     25.16     26.53  --
545.60/136.82	c  N dy  2542    847291        90      8010         0     57039     56070   1048209     25.16     26.70  --
561.60/140.83	c  N dy  2609    867322        90      8010         0     38645     56070    487775     25.16     26.48  --
580.29/145.55	c  N dy  2670    896522        90      8010         0     65610     56070   1280607     25.15     26.49  --
596.29/149.52	c  N dy  2749    916592        90      8010         0     46306     56070    692963     25.16     28.45  --
610.21/153.05	c  N dy  2820    936606        90      8010         0     64803     56070   1237564     25.16     28.16  --
626.86/157.27	c  N dy  2891    957335        90      8010         0     45166     56070    641316     25.17     26.52  --
640.68/160.72	c  N dy  2960    977420        90      8010         0     63770     56070   1191292     25.17     26.57  --
659.21/165.40	c  N dy  3027    998102        90      8010         0     43131     56070    562251     25.18     26.54  --
672.61/168.86	c  N dy  3068   1020225        90      8010         0     63567     56070   1164921     25.17     26.50  --
697.94/175.20	c  N dy  3133   1052475        90      8010         0     52497     56070    814721     25.15     26.49  --
712.30/178.84	c  F st  3191   1071876        90      8010         0     70513     56070   1345535     25.16     23.17  --
712.70/178.99	c  N st  3193   1072501        90      8010         0     71099     56070   1363230     25.16   no data  --
729.85/183.27	c  N dy  3272   1092524        90      8010         0     48036     56070    674502     25.17     27.94  --
744.21/186.83	c  N dy  3339   1112612        90      8010         0     66555     56070   1217415     25.17     27.89  --
764.54/191.90	c  N dy  3429   1132849        90      8010         0     42816     56070    500128     25.18     26.53  --
780.50/196.00	c  N dy  3536   1152895        90      8010         0     61411     56070   1052863     25.20     28.73  --
803.63/201.72	c  N dy  3610   1173455        90      8010         0     80407     56070   1614192     25.21     26.59  --
827.17/207.62	c  N dy  3679   1199858        90      8010         0     61294     56070   1019840     25.19     26.60  --
838.72/210.58	c  S st  3715   1209903        90      8010         0     70639     56070   1295920     25.20     23.67  --
839.92/210.86	c  S st  3715   1210407        90      8010         0     71117     56070   1310203     25.20   no data  --
839.92/210.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
839.92/210.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
840.32/210.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
840.32/210.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
840.32/210.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
840.32/210.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
840.32/210.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
924.91/232.12	c lits-rem:      1954  cl-subs:     5422  v-elim:      0  v-fix:    0  time: 84.39 s
924.91/232.12	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
924.91/232.14	c vivif2 --  cl tried    65695 cl shrink        0 lits rem          0 time: 0.06
926.46/232.52	c asymm  cl-useful: 0/843/8010 lits-rem:0 time: 1.54
926.46/232.53	c calculated reachability. Time: 0.00
926.46/232.53	c  N dy  3715   1210407        90      8010         0     65695     56070   1147521     25.20   no data  --
951.58/238.87	c  N dy  3785   1231973        90      8010         0     85694     56070   1739831     25.20     26.63  --
967.94/242.99	c  N dy  3873   1252002        90      8010         0     59967     56070    971009     25.21     27.43  --
991.47/248.82	c  N dy  3912   1275069        90      8010         0     81304     56070   1599692     25.21     26.71  --
1012.25/254.10	c  N dy  3953   1296775        90      8010         0     56095     56070    833863     25.20     26.66  --
1032.54/259.18	c  N dy  4004   1318704        90      8010         0     76371     56070   1428925     25.20     26.63  --
1066.03/267.52	c  N dy  4074   1350713        90      8010         0     59670     56070    910850     25.19     26.55  --
1088.77/273.28	c  N dy  4128   1375443        90      8010         0     82370     56070   1572564     25.17     26.56  --
1108.32/278.14	c  N dy  4166   1396411        90      8010         0     54788     56070    760160     25.17     26.53  --
1127.85/283.01	c  N dy  4273   1418896        90      8010         0     75619     56070   1379424     25.18     26.56  --
1150.59/288.77	c  N dy  4327   1440530        90      8010         0     95688     56070   1969444     25.18     26.57  --
1168.94/293.36	c  N dy  4436   1462525        90      8010         0     68038     56070   1137966     25.20     26.58  --
1190.87/298.81	c  N dy  4511   1485246        90      8010         0     89019     56070   1760091     25.20     26.58  --
1211.60/304.08	c  N dy  4585   1505340        90      8010         0     58600     56070    832967     25.20     28.12  --
1231.16/308.91	c  N dy  4630   1527841        90      8010         0     79285     56070   1438280     25.20     26.60  --
1255.08/314.95	c  N dy  4679   1549746        90      8010         0     99423     56070   2027293     25.20     26.56  --
1273.43/319.52	c  N dy  4790   1570319        90      8010         0     68646     56070   1118716     25.21     26.68  --
1290.97/323.95	c  N dy  4796   1592465        90      8010         0     88993     56070   1713945     25.18     26.51  --
1348.41/338.30	c  N dy  4829   1655743        90      8010         0     96174     56070   1858861     25.09     26.43  --
1371.97/344.21	c  N dy  4906   1680770        90      8010         0     67941     56070   1060270     25.08     26.42  --
1393.46/349.62	c  N dy  4993   1701769        90      8010         0     87370     56070   1638066     25.09     26.50  --
1403.43/352.16	c  S st  5020   1710409        90      8010         0     95379     56070   1875021     25.09     27.73  --
1404.63/352.45	c  S st  5020   1710910        90      8010         0     95858     56070   1889450     25.09   no data  --
1404.63/352.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1404.63/352.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.03/352.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1405.03/352.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.03/352.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.03/352.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1405.03/352.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1541.03/386.64	c lits-rem:      5808  cl-subs:     8122  v-elim:      0  v-fix:    0  time: 135.80 s
1541.03/386.64	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1541.03/386.66	c vivif2 --  cl tried    87736 cl shrink        0 lits rem          0 time: 0.08
1542.62/387.01	c asymm  cl-useful: 0/622/8010 lits-rem:0 time: 1.42
1542.62/387.02	c calculated reachability. Time: 0.00
1542.62/387.02	c  N dy  5020   1710910        90      8010         0     87736     56070   1633715     25.09   no data  --
1570.93/394.15	c  N dy  5123   1732062        90      8010         0     55070     56070    664135     25.10     26.62  --
1586.92/398.21	c  N dy  5148   1753026        90      8010         0     74288     56070   1219737     25.09     26.47  --
1608.85/403.64	c  N dy  5229   1773077        90      8010         0     92809     56070   1770275     25.10     28.12  --
1634.74/410.16	c  N dy  5312   1794557        90      8010         0     59324     56070    769341     25.10     26.53  --
1658.27/416.02	c  N dy  5429   1815941        90      8010         0     79139     56070   1361521     25.12     26.47  --
1684.19/422.52	c  N dy  5503   1835949        90      8010         0     97695     56070   1913168     25.12     26.96  --
1711.71/429.42	c  N dy  5556   1858645        90      8010         0     64218     56070    892914     25.12     26.55  --
1736.83/435.71	c  N dy  5689   1878724        90      8010         0     82854     56070   1453777     25.14     26.66  --
1766.35/443.16	c  N dy  5782   1900729        90      8010         0    103213     56070   2056255     25.14     26.50  --
1791.46/449.43	c  N dy  5885   1922735        90      8010         0     68114     56070    987495     25.15     26.52  --
1812.61/454.77	c  N dy  5977   1942810        90      8010         0     86650     56070   1536953     25.16     27.08  --
1849.71/464.01	c  N dy  6039   1975488        90      8010         0     60381     56070    740760     25.15     26.55  --
1868.83/468.85	c  N dy  6155   1995628        90      8010         0     79039     56070   1299856     25.16     26.54  --
1893.57/475.09	c  N dy  6205   2019284        90      8010         0    100770     56070   1941550     25.16     26.75  --
1920.32/481.72	c  N dy  6300   2039301        90      8010         0     62046     56070    776340     25.16     27.95  --
1940.62/486.84	c  N dy  6431   2059315        90      8010         0     80659     56070   1335096     25.18     27.64  --
1967.74/493.61	c  N dy  6515   2081414        90      8010         0    101052     56070   1939394     25.18     26.52  --
1994.47/500.34	c  N dy  6578   2101924        90      8010         0     61762     56070    746447     25.18     26.52  --
2013.60/505.13	c  N dy  6673   2122170        90      8010         0     80488     56070   1306370     25.19     26.56  --
2041.12/512.00	c  N dy  6744   2142789        90      8010         0     99543     56070   1870504     25.19     26.58  --
2073.43/520.20	c  N dy  6815   2162825        90      8010         0    118040     56070   2421134     25.20     27.67  --
2105.32/528.17	c  N dy  6921   2195737        90      8010         0     89269     56070   1533948     25.20     26.54  --
2124.87/533.04	c  S st  6981   2210911        90      8010         0    103269     56070   1946448     25.20     24.29  --
2126.07/533.32	c  S st  6981   2211417        90      8010         0    103745     56070   1960739     25.20   no data  --
2126.07/533.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2126.07/533.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2126.07/533.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2126.49/533.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2126.49/533.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2126.49/533.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2126.49/533.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2562.36/642.73	c lits-rem:      4288  cl-subs:     8784  v-elim:      0  v-fix:    0  time: 435.68 s
2562.36/642.73	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2562.36/642.75	c vivif2 --  cl tried    94961 cl shrink        0 lits rem          0 time: 0.08
2563.56/643.08	c asymm  cl-useful: 0/797/8010 lits-rem:0 time: 1.34
2563.56/643.09	c calculated reachability. Time: 0.00
2563.56/643.09	c  N dy  6981   2211417        90      8010         0     94961     56070   1688035     25.20   no data  --
2592.67/650.37	c  N dy  7015   2234139        90      8010         0    115858     56070   2296695     25.19     26.53  --
2614.60/655.86	c  N dy  7096   2254576        90      8010         0     75087     56070   1109019     25.20     26.54  --
2640.51/662.39	c  N dy  7198   2275823        90      8010         0     94796     56070   1695769     25.21     26.71  --
2680.40/672.37	c  N dy  7206   2314458        90      8010         0     69414     56070    910621     25.17     26.50  --
2702.34/677.82	c  N dy  7305   2334551        90      8010         0     88007     56070   1466779     25.18     27.83  --
2730.27/684.82	c  N dy  7402   2354617        90      8010         0    106595     56070   2021967     25.18     31.10  --
2763.76/693.22	c  N dy  7504   2375569        90      8010         0     64250     56070    747147     25.19     26.58  --
2791.68/700.28	c  N dy  7589   2398671        90      8010         0     85581     56070   1380620     25.19     26.65  --
2825.57/708.77	c  N dy  7667   2418990        90      8010         0    104346     56070   1937769     25.20     26.66  --
2861.87/717.81	c  N dy  7794   2439252        90      8010         0    123022     56070   2496715     25.21     26.64  --
2885.84/723.82	c  N dy  7925   2459298        90      8010         0     78944     56070   1172710     25.22     27.02  --
2912.92/730.63	c  N dy  7999   2482483        90      8010         0    100338     56070   1805118     25.22     26.60  --
2942.04/737.90	c  N dy  8072   2502694        90      8010         0    119020     56070   2355641     25.22     26.57  --
2969.96/744.92	c  N dy  8175   2522993        90      8010         0     74000     56070    999199     25.23     26.62  --
2994.70/751.18	c  N dy  8248   2545854        90      8010         0     95110     56070   1623371     25.23     26.75  --
3043.38/763.40	c  N dy  8337   2582649        90      8010         0    128959     56070   2626924     25.23     26.59  --
3064.48/768.67	c  N dy  8423   2602679        90      8010         0     82875     56070   1245097     25.23     26.60  --
3091.21/775.32	c  N dy  8542   2623107        90      8010         0    101798     56070   1817019     25.24     26.57  --
3119.92/782.55	c  N dy  8593   2643652        90      8010         0    120800     56070   2380103     25.24     26.68  --
3152.23/790.67	c  N dy  8725   2664162        90      8010         0     74183     56070    971021     25.25     26.60  --
3178.55/797.25	c  N dy  8804   2684666        90      8010         0     93099     56070   1531938     25.26     26.64  --
3207.66/804.57	c  N dy  8827   2708027        90      8010         0    114541     56070   2168243     25.25     26.64  --
3214.04/806.15	c  S st  8853   2711417        90      8010         0    117687     56070   2263053     25.25     26.82  --
3215.62/806.52	c  S st  8853   2711923        90      8010         0    118156     56070   2277316     25.25   no data  --
3215.62/806.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3215.62/806.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3215.62/806.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3216.02/806.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3216.02/806.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3216.02/806.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3216.02/806.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3928.69/985.32	c lits-rem:      7036  cl-subs:     9988  v-elim:      0  v-fix:    0  time: 712.34 s
3928.69/985.32	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3928.69/985.35	c vivif2 --  cl tried   108168 cl shrink        0 lits rem          0 time: 0.11
3930.68/985.84	c asymm  cl-useful: 0/613/8010 lits-rem:0 time: 1.95
3930.68/985.84	c calculated reachability. Time: 0.00
3930.68/985.84	c  N dy  8853   2711923        90      8010         0    108168     56070   1962779     25.25   no data  --
3971.76/996.12	c  N dy  8932   2732437        90      8010         0    127148     56070   2528436     25.26     26.68  --
4005.26/1004.51	c  N dy  9027   2752446        90      8010         0     79617     56070   1121731     25.26     26.60  --
4053.92/1016.78	c  N dy  9061   2789743        90      8010         0    113712     56070   2113231     25.24     26.63  --
4101.76/1028.70	c  N dy  9144   2811485        90      8010         0    133801     56070   2704859     25.24     26.69  --
4135.27/1037.21	c  N dy  9248   2831500        90      8010         0     85249     56070   1271242     25.25     26.60  --
4168.37/1045.45	c  N dy  9302   2851545        90      8010         0    103770     56070   1819563     25.25     28.87  --
4213.85/1056.88	c  N dy  9384   2873203        90      8010         0    123704     56070   2411483     25.25     26.74  --
4260.49/1068.57	c  N dy  9481   2893483        90      8010         0     74309     56070    923181     25.26     26.85  --
4298.43/1078.07	c  N dy  9580   2916951        90      8010         0     96111     56070   1574579     25.26     26.69  --
4332.29/1086.56	c  N dy  9613   2937008        90      8010         0    114577     56070   2117239     25.26     28.92  --
4379.75/1098.49	c  N dy  9674   2957026        90      8010         0    133063     56070   2663040     25.26     26.75  --
4417.63/1107.91	c  N dy  9756   2977189        90      8010         0     82500     56070   1144713     25.26     26.79  --
4452.31/1116.63	c  N dy  9848   2997226        90      8010         0    101014     56070   1698720     25.27     28.46  --
4504.20/1129.68	c  N dy  9940   3022489        90      8010         0    124376     56070   2394683     25.27     26.82  --
4551.63/1141.59	c  N dy 10042   3042888        90      8010         0     73069     56070    847888     25.28     26.72  --
4582.33/1149.28	c  N dy 10144   3063225        90      8010         0     91877     56070   1410364     25.28     26.64  --
4619.82/1158.68	c  N dy 10259   3083240        90      8010         0    110411     56070   1965248     25.29     27.74  --
4660.10/1168.75	c  N dy 10312   3104221        90      8010         0    129747     56070   2536135     25.29     26.64  --
4699.99/1178.71	c  N dy 10405   3124294        90      8010         0     77157     56070    950389     25.29     27.86  --
4726.70/1185.46	c  N dy 10496   3144332        90      8010         0     95733     56070   1509180     25.30     27.56  --
4758.64/1193.44	c  N dy 10570   3164420        90      8010         0    114298     56070   2061202     25.30     28.81  --
4792.11/1201.80	c  N dy 10646   3184449        90      8010         0    132808     56070   2615444     25.30     28.98  --

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-3368966-1305408149/watcher-3368966-1305408149 -o /tmp/evaluation-result-3368966-1305408149/solver-3368966-1305408149 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368966-1305408149.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: 8.15 8.11 8.05 6/360 19176
/proc/meminfo: memFree=18373364/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 411 0 0 0 1 0 0 0 25 0 4 0 633230786 52465664 352 33554432000 4194304 4650419 140736178199792 18446744073709551615 47920243664818 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 12809 352 303 112 0 7774 0
[pid=19176/tid=19177] ppid=19174 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633230787 52465664 352 33554432000 4194304 4650419 140736178199792 18446744073709551615 47920243664818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633230787 52465664 352 33554432000 4194304 4650419 140736178199792 18446744073709551615 47920243664818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633230787 52465664 352 33554432000 4194304 4650419 140736178199792 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0312211 s]
/proc/loadavg: 8.15 8.11 8.05 6/360 19176
/proc/meminfo: memFree=18373364/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=281916 CPUtime=0.1 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 1475 0 0 0 10 0 0 0 25 0 4 0 633230786 288681984 1377 33554432000 4194304 4650419 140736178199792 18446744073709551615 4370465 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 70479 1377 366 112 0 65444 0
[pid=19176/tid=19177] ppid=19174 vsize=281916 CPUtime=0.02 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 260 0 0 0 2 0 0 0 25 0 4 0 633230787 288681984 1377 33554432000 4194304 4650419 140736178199792 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=281916 CPUtime=0.02 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 254 0 0 0 2 0 0 0 25 0 4 0 633230787 288681984 1377 33554432000 4194304 4650419 140736178199792 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=281916 CPUtime=0.01 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 283 0 0 0 1 0 0 0 25 0 4 0 633230787 288681984 1377 33554432000 4194304 4650419 140736178199792 18446744073709551615 4360410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 281916

[startup+0.100209 s]
/proc/loadavg: 8.15 8.11 8.05 6/360 19176
/proc/meminfo: memFree=18373364/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=282048 CPUtime=0.37 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 1623 0 0 0 37 0 0 0 25 0 4 0 633230786 288817152 1525 33554432000 4194304 4650419 140736178199792 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 70512 1525 366 112 0 65477 0
[pid=19176/tid=19177] ppid=19174 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 274 0 0 0 9 0 0 0 25 0 4 0 633230787 288817152 1525 33554432000 4194304 4650419 140736178199792 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 268 0 0 0 9 0 0 0 25 0 4 0 633230787 288817152 1525 33554432000 4194304 4650419 140736178199792 18446744073709551615 4370432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=282048 CPUtime=0.08 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 390 0 0 0 8 0 0 0 25 0 4 0 633230787 288817152 1525 33554432000 4194304 4650419 140736178199792 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282048

[startup+0.300175 s]
/proc/loadavg: 8.15 8.11 8.05 6/360 19176
/proc/meminfo: memFree=18373364/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=286300 CPUtime=1.16 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 4114 0 0 0 116 0 0 0 18 0 4 0 633230786 293171200 3458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 71575 3458 390 112 0 66540 0
[pid=19176/tid=19177] ppid=19174 vsize=286300 CPUtime=0.29 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 978 0 0 0 29 0 0 0 25 0 4 0 633230787 293171200 3458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=286300 CPUtime=0.29 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 956 0 0 0 29 0 0 0 25 0 4 0 633230787 293171200 3458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=286300 CPUtime=0.28 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 796 0 0 0 28 0 0 0 25 0 4 0 633230787 293171200 3458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 286300

[startup+0.701103 s]
/proc/loadavg: 8.15 8.11 8.05 6/360 19176
/proc/meminfo: memFree=18373364/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=288036 CPUtime=2.77 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 6686 0 0 0 276 1 0 0 18 0 4 0 633230786 294948864 4065 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 72009 4065 390 112 0 66974 0
[pid=19176/tid=19177] ppid=19174 vsize=288036 CPUtime=0.69 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 1667 0 0 0 69 0 0 0 25 0 4 0 633230787 294948864 4065 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=288036 CPUtime=0.69 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 1617 0 0 0 69 0 0 0 25 0 4 0 633230787 294948864 4065 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=288036 CPUtime=0.68 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 1336 0 0 0 68 0 0 0 25 0 4 0 633230787 294948864 4065 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288036

[startup+1.50096 s]
/proc/loadavg: 8.13 8.11 8.05 9/364 19180
/proc/meminfo: memFree=18363412/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=289320 CPUtime=5.96 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 10946 0 0 0 594 2 0 0 19 0 4 0 633230786 296263680 4923 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 72330 4923 391 112 0 67295 0
[pid=19176/tid=19177] ppid=19174 vsize=289320 CPUtime=1.49 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 2716 0 0 0 149 0 0 0 25 0 4 0 633230787 296263680 4923 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=289320 CPUtime=1.48 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 2689 0 0 0 148 0 0 0 25 0 4 0 633230787 296263680 4923 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=289320 CPUtime=1.46 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 2404 0 0 0 146 0 0 0 25 0 4 0 633230787 296263680 4923 33554432000 4194304 4650419 140736178199792 18446744073709551615 4334392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289320

[startup+3.10068 s]
/proc/loadavg: 8.13 8.11 8.05 9/364 19180
/proc/meminfo: memFree=18347912/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=299416 CPUtime=12.34 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 20903 0 0 0 1231 3 0 0 24 0 4 0 633230786 306601984 12633 33554432000 4194304 4650419 140736178199792 18446744073709551615 4369942 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 74854 12633 392 112 0 69819 0
[pid=19176/tid=19177] ppid=19174 vsize=299416 CPUtime=3.09 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 4561 0 0 0 309 0 0 0 25 0 4 0 633230787 306601984 12633 33554432000 4194304 4650419 140736178199792 18446744073709551615 4441818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=299416 CPUtime=3.09 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 5649 0 0 0 308 1 0 0 25 0 4 0 633230787 306601984 12633 33554432000 4194304 4650419 140736178199792 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=299416 CPUtime=3.06 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 5824 0 0 0 305 1 0 0 25 0 4 0 633230787 306601984 12633 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 299416

[startup+6.3011 s]
/proc/loadavg: 8.13 8.11 8.05 9/364 19180
/proc/meminfo: memFree=18326744/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=291064 CPUtime=25.11 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 29761 0 0 0 2506 5 0 0 25 0 4 0 633230786 298049536 15932 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 72766 15932 392 112 0 67731 0
[pid=19176/tid=19177] ppid=19174 vsize=291064 CPUtime=6.28 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 8004 0 0 0 628 0 0 0 25 0 4 0 633230787 298049536 15932 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=291064 CPUtime=6.28 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 7434 0 0 0 627 1 0 0 25 0 4 0 633230787 298049536 15933 33554432000 4194304 4650419 140736178199792 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=291064 CPUtime=6.22 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 7828 0 0 0 621 1 0 0 25 0 4 0 633230787 298049536 15933 33554432000 4194304 4650419 140736178199792 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 291064

[startup+12.701 s]
/proc/loadavg: 8.19 8.12 8.06 9/364 19180
/proc/meminfo: memFree=18298756/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=298144 CPUtime=50.63 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 44152 0 0 0 5055 8 0 0 25 0 4 0 633230786 305299456 21708 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 74536 21708 392 112 0 69501 0
[pid=19176/tid=19177] ppid=19174 vsize=298144 CPUtime=12.69 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 10229 0 0 0 1268 1 0 0 25 0 4 0 633230787 305299456 21708 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=298144 CPUtime=12.68 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 11344 0 0 0 1266 2 0 0 25 0 4 0 633230787 305299456 21708 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=298144 CPUtime=12.54 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 12163 0 0 0 1252 2 0 0 25 0 4 0 633230787 305299456 21708 33554432000 4194304 4650419 140736178199792 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 298144

[startup+25.5007 s]
/proc/loadavg: 8.16 8.11 8.06 9/364 19181
/proc/meminfo: memFree=18263524/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=292620 CPUtime=101.68 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 68672 0 0 0 10154 14 0 0 25 0 4 0 633230786 299642880 28458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 73155 28458 392 112 0 68120 0
[pid=19176/tid=19177] ppid=19174 vsize=292620 CPUtime=25.48 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 15714 0 0 0 2546 2 0 0 25 0 4 0 633230787 299642880 28458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=292620 CPUtime=25.49 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 17496 0 0 0 2545 4 0 0 25 0 4 0 633230787 299642880 28458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=292620 CPUtime=25.19 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 18177 0 0 0 2515 4 0 0 25 0 4 0 633230787 299642880 28458 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 292620

[startup+51.1011 s]
/proc/loadavg: 8.18 8.12 8.06 9/364 19181
/proc/meminfo: memFree=18211024/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=300856 CPUtime=203.79 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 98849 0 0 0 20356 23 0 0 25 0 4 0 633230786 308076544 34646 33554432000 4194304 4650419 140736178199792 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 75214 34646 392 112 0 70179 0
[pid=19176/tid=19177] ppid=19174 vsize=300856 CPUtime=51.08 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 22212 0 0 0 5104 4 0 0 25 0 4 0 633230787 308076544 34646 33554432000 4194304 4650419 140736178199792 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=300856 CPUtime=51.09 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 25395 0 0 0 5103 6 0 0 25 0 4 0 633230787 308076544 34646 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=300856 CPUtime=50.51 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 27479 0 0 0 5043 8 0 0 25 0 4 0 633230787 308076544 34646 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 300856

[startup+102.314 s]
/proc/loadavg: 8.11 8.11 8.06 9/364 19183
/proc/meminfo: memFree=18199476/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=310512 CPUtime=408.05 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 148501 0 0 0 40765 40 0 0 25 0 4 0 633230786 317964288 37588 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 77628 37588 392 112 0 72593 0
[pid=19176/tid=19177] ppid=19174 vsize=310512 CPUtime=102.28 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 33179 0 0 0 10221 7 0 0 25 0 4 0 633230787 317964288 37588 33554432000 4194304 4650419 140736178199792 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=310512 CPUtime=102.29 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 34701 0 0 0 10221 8 0 0 25 0 4 0 633230787 317964288 37588 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=310512 CPUtime=101.13 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 44572 0 0 0 10101 12 0 0 25 0 4 0 633230787 317964288 37588 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 310512

[startup+162.301 s]

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

[pid=19176] ppid=19174 vsize=429476 CPUtime=2560.79 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 462361 0 0 0 255911 168 0 0 25 0 4 0 633230786 439783424 73701 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 107369 73701 392 112 0 102334 0
[pid=19176/tid=19177] ppid=19174 vsize=429476 CPUtime=642.18 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 119825 0 0 0 64175 43 0 0 25 0 4 0 633230787 439783424 73701 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=429476 CPUtime=641.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 107772 0 0 0 64112 39 0 0 25 0 4 0 633230787 439783424 73701 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=429476 CPUtime=634.78 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 130783 0 0 0 63431 47 0 0 25 0 4 0 633230787 439783424 73701 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.79
Current children cumulated vsize (KiB) 429476

[startup+702.3 s]
/proc/loadavg: 8.02 8.06 8.06 9/364 19263
/proc/meminfo: memFree=18258388/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=429700 CPUtime=2800.06 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 485396 0 0 0 279827 179 0 0 25 0 4 0 633230786 440012800 75545 33554432000 4194304 4650419 140736178199792 18446744073709551615 4311000 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 107425 75545 392 112 0 102390 0
[pid=19176/tid=19177] ppid=19174 vsize=429700 CPUtime=702.16 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 126347 0 0 0 70170 46 0 0 25 0 4 0 633230787 440012800 75545 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=429700 CPUtime=701.5 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 110827 0 0 0 70109 41 0 0 25 0 4 0 633230787 440012800 75545 33554432000 4194304 4650419 140736178199792 18446744073709551615 4334293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=429700 CPUtime=694.09 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 137719 0 0 0 69358 51 0 0 25 0 4 0 633230787 440012800 75545 33554432000 4194304 4650419 140736178199792 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.06
Current children cumulated vsize (KiB) 429700

[startup+762.314 s]
/proc/loadavg: 8.05 8.06 8.06 9/364 19264
/proc/meminfo: memFree=18180356/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=445900 CPUtime=3039.4 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 510049 0 0 0 303752 188 0 0 25 0 4 0 633230786 456601600 85176 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 111475 85176 392 112 0 106440 0
[pid=19176/tid=19177] ppid=19174 vsize=445900 CPUtime=762.15 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 133615 0 0 0 76167 48 0 0 25 0 4 0 633230787 456601600 85176 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=445900 CPUtime=761.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 114974 0 0 0 76108 43 0 0 25 0 4 0 633230787 456601600 85176 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=445900 CPUtime=753.4 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 145054 0 0 0 75287 53 0 0 25 0 4 0 633230787 456601600 85176 33554432000 4194304 4650419 140736178199792 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.4
Current children cumulated vsize (KiB) 445900

[startup+822.301 s]
/proc/loadavg: 8.17 8.09 8.07 9/364 19266
/proc/meminfo: memFree=18167180/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=446132 CPUtime=3278.64 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 527230 0 0 0 327667 197 0 0 25 0 4 0 633230786 456839168 83066 33554432000 4194304 4650419 140736178199792 18446744073709551615 4438666 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 111533 83066 392 112 0 106498 0
[pid=19176/tid=19177] ppid=19174 vsize=446132 CPUtime=822.14 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 140277 0 0 0 82161 53 0 0 25 0 4 0 633230787 456839168 83066 33554432000 4194304 4650419 140736178199792 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=446132 CPUtime=821.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 114974 0 0 0 82107 44 0 0 25 0 4 0 633230787 456839168 83066 33554432000 4194304 4650419 140736178199792 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=446132 CPUtime=812.7 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 152424 0 0 0 81213 57 0 0 25 0 4 0 633230787 456839168 83066 33554432000 4194304 4650419 140736178199792 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.64
Current children cumulated vsize (KiB) 446132

[startup+882.3 s]
/proc/loadavg: 8.18 8.10 8.08 9/364 19267
/proc/meminfo: memFree=18157120/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=446812 CPUtime=3517.92 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 539277 0 0 0 351588 204 0 0 25 0 4 0 633230786 457535488 84906 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 111703 84906 392 112 0 106668 0
[pid=19176/tid=19177] ppid=19174 vsize=446812 CPUtime=882.13 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 146686 0 0 0 88156 57 0 0 25 0 4 0 633230787 457535488 84906 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=446812 CPUtime=881.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 115237 0 0 0 88107 44 0 0 25 0 4 0 633230787 457535488 84906 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=446812 CPUtime=871.98 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 157799 0 0 0 87139 59 0 0 25 0 4 0 633230787 457535488 84906 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.92
Current children cumulated vsize (KiB) 446812

[startup+942.3 s]
/proc/loadavg: 8.17 8.11 8.08 9/364 19269
/proc/meminfo: memFree=18096216/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=553712 CPUtime=3757.21 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 556343 0 0 0 375511 210 0 0 25 0 4 0 633230786 567001088 89107 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 138428 89107 392 112 0 133393 0
[pid=19176/tid=19177] ppid=19174 vsize=553712 CPUtime=942.11 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 152423 0 0 0 94153 58 0 0 25 0 4 0 633230787 567001088 89107 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=553712 CPUtime=941.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 117584 0 0 0 94105 46 0 0 25 0 4 0 633230787 567001088 89107 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=553712 CPUtime=931.27 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 166781 0 0 0 93065 62 0 0 25 0 4 0 633230787 567001088 89107 33554432000 4194304 4650419 140736178199792 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.21
Current children cumulated vsize (KiB) 553712

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 8.09 9/364 19271
/proc/meminfo: memFree=18085784/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=553768 CPUtime=3996.49 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 575030 0 0 0 399433 216 0 0 25 0 4 0 633230786 567058432 91204 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 138442 91204 392 112 0 133407 0
[pid=19176/tid=19177] ppid=19174 vsize=553768 CPUtime=1002.1 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 159850 0 0 0 100151 59 0 0 25 0 4 0 633230787 567058432 91204 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=553768 CPUtime=1001.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 122014 0 0 0 100103 48 0 0 25 0 4 0 633230787 567058432 91204 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=553768 CPUtime=990.56 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 171616 0 0 0 98993 63 0 0 25 0 4 0 633230787 567058432 91204 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.49
Current children cumulated vsize (KiB) 553768

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/364 19272
/proc/meminfo: memFree=18099016/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=564000 CPUtime=4235.78 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 599406 0 0 0 423356 222 0 0 25 0 4 0 633230786 577536000 88747 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 141000 88747 392 112 0 135965 0
[pid=19176/tid=19177] ppid=19174 vsize=564000 CPUtime=1062.1 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 168008 0 0 0 106149 61 0 0 25 0 4 0 633230787 577536000 88747 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=564000 CPUtime=1061.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 126704 0 0 0 106101 50 0 0 25 0 4 0 633230787 577536000 88747 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=564000 CPUtime=1049.86 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 181218 0 0 0 104922 64 0 0 25 0 4 0 633230787 577536000 88747 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.78
Current children cumulated vsize (KiB) 564000

[startup+1122.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/364 19274
/proc/meminfo: memFree=18080388/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=564000 CPUtime=4475.05 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 621217 0 0 0 447276 229 0 0 25 0 4 0 633230786 577536000 94610 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 141000 94610 392 112 0 135965 0
[pid=19176/tid=19177] ppid=19174 vsize=564000 CPUtime=1122.08 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 174702 0 0 0 112146 62 0 0 25 0 4 0 633230787 577536000 94610 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=564000 CPUtime=1121.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 126804 0 0 0 112101 50 0 0 25 0 4 0 633230787 577536000 94610 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=564000 CPUtime=1109.15 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 190536 0 0 0 110849 66 0 0 25 0 4 0 633230787 577536000 94610 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.05
Current children cumulated vsize (KiB) 564000

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 8.09 9/364 19275
/proc/meminfo: memFree=18085208/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=617212 CPUtime=4714.35 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 639687 0 0 0 471199 236 0 0 25 0 4 0 633230786 632025088 89811 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 154303 89811 392 112 0 149268 0
[pid=19176/tid=19177] ppid=19174 vsize=617212 CPUtime=1182.07 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 181178 0 0 0 118142 65 0 0 25 0 4 0 633230787 632025088 89811 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=617212 CPUtime=1181.51 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 126805 0 0 0 118101 50 0 0 25 0 4 0 633230787 632025088 89811 33554432000 4194304 4650419 140736178199792 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=617212 CPUtime=1168.45 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 200012 0 0 0 116777 68 0 0 25 0 4 0 633230787 632025088 89811 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.35
Current children cumulated vsize (KiB) 617212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.07 8.09 8.08 9/364 19276
/proc/meminfo: memFree=18063880/32951124 swapFree=67111348/67111528
[pid=19176] ppid=19174 vsize=564176 CPUtime=4800.1 cores=0,2,4,6
/proc/19176/stat : 19176 (strangenight1-m) R 19174 19176 18878 0 -1 4202496 646829 0 0 0 479771 239 0 0 25 0 4 0 633230786 577716224 92999 33554432000 4194304 4650419 140736178199792 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19176/statm: 141044 92999 392 112 0 136009 0
[pid=19176/tid=19177] ppid=19174 vsize=564176 CPUtime=1203.58 cores=0,2,4,6
/proc/19176/task/19177/stat : 19177 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 182780 0 0 0 120292 66 0 0 25 0 4 0 633230787 577716224 93001 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=564176 CPUtime=1203.03 cores=0,2,4,6
/proc/19176/task/19178/stat : 19178 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 127826 0 0 0 120252 51 0 0 25 0 4 0 633230787 577716224 93001 33554432000 4194304 4650419 140736178199792 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=564176 CPUtime=1189.69 cores=0,2,4,6
/proc/19176/task/19179/stat : 19179 (strangenight1-m) R 19174 19176 18878 0 -1 4202560 202929 0 0 0 118900 69 0 0 25 0 4 0 633230787 577716224 93001 33554432000 4194304 4650419 140736178199792 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 564176

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.16
CPU user time (s): 4797.75
CPU system time (s): 2.41763
CPU usage (%): 398.738
Max. virtual memory (cumulated for all children) (KiB): 669520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.41763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646832
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= 678
involuntary context switches= 25429

runsolver used 3.9634 second user time and 10.1935 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 23:22:29
IDJOB=3368966
IDBENCH=82975
IDSOLVER=1846
FILE ID=node145/3368966-1305408149
RUNJOBID= node145-1305405721-18896
PBS_JOBID= 13324499
Free space on /tmp= 73652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368966-1305408149/watcher-3368966-1305408149 -o /tmp/evaluation-result-3368966-1305408149/solver-3368966-1305408149 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368966-1305408149.cnf

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

MD5SUM BENCH= 793faf2fe67c6773a49b839c9edfeeb3
RANDOM SEED=1858029388

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18373520 kB
Buffers:        296340 kB
Cached:        8125584 kB
SwapCached:          0 kB
Active:        7601624 kB
Inactive:      6621512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18373520 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6356 kB
Writeback:           0 kB
AnonPages:     5801100 kB
Mapped:          28084 kB
Slab:           255612 kB
PageTables:      34596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79769016 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= 73648 MiB
End job on node145 at 2011-05-14 23:42:35