Trace number 3175357

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

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.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-3175357-1304120761.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  --
3.18/0.80	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
3.18/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      42 undec:       1 neg:      47
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.18/0.80	c  N dy     9      4095        90      8010         0      3794     56070    112974     25.34     27.83  --
3.18/0.80	c  N dy    18     10778        90      8010         0      7664     56070    214334     25.21     26.80  --
3.58/0.90	c  N dy    32     16107        90      8010         0      8651     56070    227282     25.31     26.65  --
3.98/1.10	c  N dy    45     20386        90      8010         0      7398     56070    172621     25.40     26.74  --
5.17/1.30	c  F st    61     25001        90      8010         0     11676     56070    298349     25.46     24.09  --
5.17/1.30	c  N st    61     25001        90      8010         0     11676     56070    298349     25.46     24.09  --
5.97/1.54	c  N dy    67     30000        90      8010         0     10018     56070    231930     25.46   no data  --
5.97/1.54	c  S st    67     30000        90      8010         0     10018     56070    231930     25.46   no data  --
5.97/1.57	c  S st    67     30502        90      8010         0     10491     56070    246156     25.46   no data  --
5.97/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.56/2.93	c lits-rem:      1633  cl-subs:      705  v-elim:      0  v-fix:    0  time:  5.35 s
12.76/3.29	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.44
12.76/3.29	c calculated reachability. Time: 0.00
12.76/3.29	c  N dy    67     30502        90      8010         0      9786     56070    222255     25.46   no data  --
16.37/4.18	c  N dy    87     45753        90      8010         0      8282     56070    149489     25.03     24.18  --
16.37/4.18	c  S st    87     45753        90      8010         0      8282     56070    149489     25.03     24.18  --
16.77/4.21	c  S st    87     46258        90      8010         0      8763     56070    163966     25.03   no data  --
16.77/4.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.77/4.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.77/4.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.77/4.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.77/4.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.77/4.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.77/4.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.36/5.19	c lits-rem:       176  cl-subs:       64  v-elim:      0  v-fix:    0  time:  3.84 s
20.36/5.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
20.36/5.19	c vivif2 --  cl tried     8699 cl shrink        0 lits rem          0 time: 0.01
21.97/5.50	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.25
21.97/5.50	c calculated reachability. Time: 0.00
21.97/5.50	c  N dy    87     46258        90      8010         0      8699     56070    161467     25.03   no data  --
22.75/5.74	c  N dy    95     50672        90      8010         0     12782     56070    280386     25.01     26.47  --
23.94/6.01	c  N dy   112     54720        90      8010         0     16543     56070    391616     25.07     26.65  --
24.75/6.29	c  N dy   145     58730        90      8010         0     11076     56070    213490     25.21     26.68  --
25.95/6.56	c  N dy   168     63016        90      8010         0     15082     56070    334293     25.31     26.70  --
27.54/6.96	c  N dy   184     68762        90      8010         0     20440     56070    492783     25.30     26.79  --
27.94/7.01	c  S st   191     69389        90      8010         0     10810     56070    187464     25.32   no data  --
27.94/7.05	c  S st   191     69896        90      8010         0     11289     56070    202043     25.32   no data  --
27.94/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.94/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.94/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.94/7.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.94/8.00	c lits-rem:       340  cl-subs:      140  v-elim:      0  v-fix:    0  time:  3.73 s
31.94/8.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.94/8.00	c vivif2 --  cl tried    11149 cl shrink        0 lits rem          0 time: 0.01
33.14/8.36	c asymm  cl-useful: 0/7849/8010 lits-rem:0 time: 1.44
33.14/8.36	c calculated reachability. Time: 0.00
33.14/8.36	c  N dy   191     69896        90      8010         0     11149     56070    196740     25.32   no data  --
35.93/9.08	c  N dy   214     79680        90      8010         0     20182     56070    459787     25.29     26.62  --
38.33/9.65	c  F st   219     87500        90      8010         0     16312     56070    330643     25.15     22.93  --
38.33/9.65	c  N st   219     87500        90      8010         0     16312     56070    330643     25.15     22.93  --
39.94/10.08	c  N dy   229     93097        90      8010         0     21477     56070    484419     25.16     27.72  --
42.73/10.73	c  N dy   243    102221        90      8010         0     17854     56070    361058     25.12     26.44  --
43.53/10.94	c  S st   264    104845        90      8010         0     20266     56070    433033     25.17   no data  --
43.53/11.00	c  S st   264    105346        90      8010         0     20739     56070    447297     25.17   no data  --
43.53/11.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.53/11.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.94/11.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.94/11.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.94/11.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.94/11.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.94/11.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.11/12.84	c lits-rem:      1573  cl-subs:     1638  v-elim:      0  v-fix:    0  time:  7.29 s
51.11/12.85	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.11/12.85	c vivif2 --  cl tried    19101 cl shrink        0 lits rem          0 time: 0.02
52.73/13.26	c asymm  cl-useful: 0/5657/8010 lits-rem:0 time: 1.62
52.73/13.26	c calculated reachability. Time: 0.00
52.73/13.26	c  N dy   264    105346        90      8010         0     19101     56070    395462     25.17   no data  --
55.11/13.86	c  N dy   271    112600        90      8010         0     12927     56070    200052     25.13     26.54  --
57.52/14.49	c  N dy   285    122269        90      8010         0     21831     56070    458981     25.03     26.44  --
61.10/15.39	c  N dy   290    134784        90      8010         0     19502     56070    377773     24.90     26.31  --
64.29/16.12	c  N dy   318    143588        90      8010         0     27692     56070    617074     24.92     26.30  --
67.09/16.89	c  N dy   377    152797        90      8010         0     21525     56070    422119     25.02     27.97  --
69.09/17.31	c  S st   381    158019        90      8010         0     26358     56070    562580     24.98     25.68  --
69.09/17.38	c  S st   381    158522        90      8010         0     26831     56070    576628     24.98   no data  --
69.09/17.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.09/17.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.09/17.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.49/17.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.49/17.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.49/17.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.49/17.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.09/19.86	c lits-rem:      2077  cl-subs:     2038  v-elim:      0  v-fix:    0  time:  9.79 s
79.09/19.86	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.09/19.87	c vivif2 --  cl tried    24793 cl shrink        0 lits rem          0 time: 0.02
80.27/20.12	c asymm  cl-useful: 0/1945/8010 lits-rem:0 time: 1.01
80.27/20.12	c calculated reachability. Time: 0.00
80.27/20.12	c  N dy   381    158522        90      8010         0     24793     56070    510440     24.98   no data  --
84.26/21.10	c  N dy   420    168640        90      8010         0     18526     56070    313077     25.01     27.77  --
89.46/22.45	c  N dy   459    183656        90      8010         0     32379     56070    718303     24.98     26.30  --
93.85/23.51	c  N dy   516    195835        90      8010         0     27051     56070    547570     25.05     26.55  --
99.44/24.91	c  N dy   575    208716        90      8010         0     21439     56070    362825     25.10     26.51  --
107.03/26.86	c  N dy   594    230601        90      8010         0     23056     56070    390963     25.00     26.45  --
109.85/27.55	c  S st   633    237784        90      8010         0     29763     56070    591002     25.04   no data  --
110.25/27.62	c  S st   633    238285        90      8010         0     30243     56070    604966     25.04   no data  --
110.25/27.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.25/27.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.25/27.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.25/27.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.25/27.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.25/27.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.25/27.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.62/30.74	c lits-rem:      2547  cl-subs:     2061  v-elim:      0  v-fix:    0  time: 12.32 s
122.62/30.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.62/30.74	c vivif2 --  cl tried    28182 cl shrink        0 lits rem          0 time: 0.02
123.43/30.94	c asymm  cl-useful: 0/2197/8010 lits-rem:0 time: 0.78
123.43/30.94	c calculated reachability. Time: 0.00
123.43/30.94	c  N dy   633    238285        90      8010         0     28182     56070    539385     25.04   no data  --
129.80/32.52	c  N dy   676    253674        90      8010         0     23061     56070    376519     25.04     26.37  --
138.99/34.82	c  N dy   766    275020        90      8010         0     22533     56070    342147     25.09     26.55  --
149.39/37.50	c  N dy   844    300547        90      8010         0     24928     56070    391892     25.08     26.53  --
151.77/38.04	c  F st   866    306252        90      8010         0     30227     56070    546003     25.08     23.47  --
158.58/39.72	c  N dy   927    319749        90      8010         0     42767     56070    918874     25.12     27.46  --
167.37/41.93	c  N dy  1009    339763        90      8010         0     39017     56070    790006     25.16     26.67  --
176.16/44.16	c  S st  1123    357430        90      8010         0     32260     56070    574373     25.23   no data  --
176.53/44.24	c  S st  1123    357931        90      8010         0     32744     56070    589054     25.23   no data  --
176.53/44.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.53/44.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.53/44.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
176.53/44.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.53/44.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.53/44.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.53/44.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
190.91/47.82	c lits-rem:      2230  cl-subs:     1452  v-elim:      0  v-fix:    0  time: 14.19 s
190.91/47.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
190.91/47.83	c vivif2 --  cl tried    31292 cl shrink        0 lits rem          0 time: 0.03
192.11/48.19	c asymm  cl-useful: 0/1706/8010 lits-rem:0 time: 1.42
192.11/48.19	c calculated reachability. Time: 0.00
192.11/48.19	c  N dy  1123    357931        90      8010         0     31292     56070    538422     25.23   no data  --
205.69/51.58	c  N dy  1193    380725        90      8010         0     28318     56070    437198     25.25     26.73  --
221.27/55.44	c  N dy  1225    413152        90      8010         0     33292     56070    563596     25.15     26.51  --
233.28/58.41	c  N dy  1337    433164        90      8010         0     25954     56070    335386     25.21     28.36  --
242.84/60.83	c  N dy  1388    454474        90      8010         0     45594     56070    909705     25.19     26.57  --
254.03/63.62	c  N dy  1451    475563        90      8010         0     38307     56070    682503     25.19     26.56  --
266.02/66.65	c  N dy  1520    497337        90      8010         0     30693     56070    436310     25.20     26.69  --
275.20/68.98	c  N dy  1555    517391        90      8010         0     49165     56070    976592     25.17     27.16  --
286.38/71.78	c  S st  1624    536896        90      8010         0     38626     56070    653194     25.17     25.78  --
286.78/71.89	c  S st  1624    537401        90      8010         0     39105     56070    667703     25.17   no data  --
286.78/71.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.78/71.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.18/71.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
287.18/71.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.18/71.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.18/71.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
287.18/71.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
299.97/75.13	c lits-rem:      1557  cl-subs:     1995  v-elim:      0  v-fix:    0  time: 12.80 s
299.97/75.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
299.97/75.14	c vivif2 --  cl tried    37110 cl shrink        0 lits rem          0 time: 0.03
300.77/75.37	c asymm  cl-useful: 0/1403/8010 lits-rem:0 time: 0.94
300.77/75.37	c calculated reachability. Time: 0.00
300.77/75.37	c  N dy  1624    537401        90      8010         0     37110     56070    605207     25.17   no data  --
312.36/78.21	c  N dy  1662    557575        90      8010         0     55722     56070   1151785     25.17     26.63  --
323.13/80.98	c  N dy  1729    578058        90      8010         0     45209     56070    825882     25.17     26.53  --
335.51/84.08	c  N dy  1786    598229        90      8010         0     33395     56070    461307     25.17     26.65  --
347.12/86.94	c  N dy  1877    618261        90      8010         0     51992     56070   1011832     25.19     26.58  --
361.08/90.40	c  N dy  1943    639727        90      8010         0     40385     56070    647264     25.20     26.54  --
374.27/93.74	c  N dy  1972    661733        90      8010         0     60562     56070   1230654     25.15     26.67  --
387.07/96.91	c  N dy  2045    682562        90      8010         0     47593     56070    841840     25.15     26.51  --
401.43/100.54	c  N dy  2116    702569        90      8010         0     66109     56070   1388477     25.16     29.17  --
415.00/103.90	c  N dy  2152    724580        90      8010         0     53141     56070    986098     25.14     26.53  --
430.19/107.79	c  N dy  2199    744621        90      8010         0     37450     56070    511813     25.13     28.51  --
441.78/110.65	c  N dy  2246    765184        90      8010         0     56420     56070   1066702     25.12     26.49  --
458.14/114.74	c  N dy  2317    787618        90      8010         0     42080     56070    625790     25.13     26.49  --
469.34/117.59	c  S st  2376    806101        90      8010         0     59265     56070   1132802     25.13     23.51  --
470.15/117.75	c  S st  2376    806601        90      8010         0     59733     56070   1146909     25.13   no data  --
470.15/117.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
470.15/117.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
470.15/117.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
470.56/117.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.56/117.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.56/117.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
470.56/117.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
515.67/129.10	c lits-rem:      3319  cl-subs:     4413  v-elim:      0  v-fix:    0  time: 45.07 s
515.67/129.10	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
515.67/129.11	c vivif2 --  cl tried    55320 cl shrink        0 lits rem          0 time: 0.05
516.87/129.47	c asymm  cl-useful: 0/995/8010 lits-rem:0 time: 1.42
516.87/129.47	c calculated reachability. Time: 0.00
516.87/129.47	c  N dy  2376    806601        90      8010         0     55320     56070   1005282     25.13   no data  --
534.45/133.86	c  N dy  2484    826851        90      8010         0     38110     56070    492414     25.16     26.53  --
546.43/136.88	c  N dy  2542    847291        90      8010         0     57039     56070   1048209     25.16     26.70  --
562.43/140.89	c  N dy  2609    867322        90      8010         0     38645     56070    487775     25.16     26.48  --
581.57/145.62	c  N dy  2670    896522        90      8010         0     65610     56070   1280607     25.15     26.49  --
597.16/149.59	c  N dy  2749    916592        90      8010         0     46306     56070    692963     25.16     28.45  --
611.54/153.13	c  N dy  2820    936606        90      8010         0     64803     56070   1237564     25.16     28.16  --
628.34/157.34	c  N dy  2891    957335        90      8010         0     45166     56070    641316     25.17     26.52  --
642.30/160.82	c  N dy  2960    977420        90      8010         0     63770     56070   1191292     25.17     26.57  --
660.67/165.47	c  N dy  3027    998102        90      8010         0     43131     56070    562251     25.18     26.54  --
674.65/168.96	c  N dy  3068   1020225        90      8010         0     63567     56070   1164921     25.17     26.50  --
699.81/175.28	c  N dy  3133   1052475        90      8010         0     52497     56070    814721     25.15     26.49  --
714.60/178.97	c  F st  3191   1071876        90      8010         0     70513     56070   1345535     25.16     23.17  --
715.40/179.12	c  N st  3193   1072501        90      8010         0     71099     56070   1363230     25.16   no data  --
732.17/183.39	c  N dy  3272   1092524        90      8010         0     48036     56070    674502     25.17     27.94  --
746.56/186.95	c  N dy  3339   1112612        90      8010         0     66555     56070   1217415     25.17     27.89  --
767.33/192.11	c  N dy  3429   1132849        90      8010         0     42816     56070    500128     25.18     26.53  --
784.91/196.57	c  N dy  3536   1152895        90      8010         0     61411     56070   1052863     25.20     28.73  --
807.28/202.15	c  N dy  3610   1173455        90      8010         0     80407     56070   1614192     25.21     26.59  --
831.24/208.10	c  N dy  3679   1199858        90      8010         0     61294     56070   1019840     25.19     26.60  --
841.62/210.72	c  S st  3715   1209903        90      8010         0     70639     56070   1295920     25.20     23.67  --
842.82/211.00	c  S st  3715   1210407        90      8010         0     71117     56070   1310203     25.20   no data  --
842.82/211.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
842.82/211.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
842.82/211.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
843.22/211.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.22/211.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.22/211.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
843.22/211.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
923.91/231.35	c lits-rem:      1954  cl-subs:     5422  v-elim:      0  v-fix:    0  time: 80.87 s
923.91/231.35	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
923.91/231.37	c vivif2 --  cl tried    65695 cl shrink        0 lits rem          0 time: 0.06
925.50/231.76	c asymm  cl-useful: 0/843/8010 lits-rem:0 time: 1.56
925.50/231.76	c calculated reachability. Time: 0.00
925.50/231.76	c  N dy  3715   1210407        90      8010         0     65695     56070   1147521     25.20   no data  --
951.07/238.12	c  N dy  3785   1231973        90      8010         0     85694     56070   1739831     25.20     26.63  --
969.04/242.65	c  N dy  3873   1252002        90      8010         0     59967     56070    971009     25.21     27.43  --
992.22/248.46	c  N dy  3912   1275069        90      8010         0     81304     56070   1599692     25.21     26.71  --
1012.99/253.69	c  N dy  3953   1296775        90      8010         0     56095     56070    833863     25.20     26.66  --
1033.75/258.80	c  N dy  4004   1318704        90      8010         0     76371     56070   1428925     25.20     26.63  --
1066.92/267.10	c  N dy  4074   1350713        90      8010         0     59670     56070    910850     25.19     26.55  --
1089.70/272.80	c  N dy  4128   1375443        90      8010         0     82370     56070   1572564     25.17     26.56  --
1108.45/277.59	c  N dy  4166   1396411        90      8010         0     54788     56070    760160     25.17     26.53  --
1128.03/282.43	c  N dy  4273   1418896        90      8010         0     75619     56070   1379424     25.18     26.56  --
1151.22/288.26	c  N dy  4327   1440530        90      8010         0     95688     56070   1969444     25.18     26.57  --
1169.20/292.79	c  N dy  4436   1462525        90      8010         0     68038     56070   1137966     25.20     26.58  --
1191.53/298.33	c  N dy  4511   1485246        90      8010         0     89019     56070   1760091     25.20     26.58  --
1212.31/303.60	c  N dy  4585   1505340        90      8010         0     58600     56070    832967     25.20     28.12  --
1231.88/308.44	c  N dy  4630   1527841        90      8010         0     79285     56070   1438280     25.20     26.60  --
1255.85/314.46	c  N dy  4679   1549746        90      8010         0     99423     56070   2027293     25.20     26.56  --
1274.24/319.03	c  N dy  4790   1570319        90      8010         0     68646     56070   1118716     25.21     26.68  --
1292.22/323.53	c  N dy  4796   1592465        90      8010         0     88993     56070   1713945     25.18     26.51  --
1349.73/337.90	c  N dy  4829   1655743        90      8010         0     96174     56070   1858861     25.09     26.43  --
1373.29/343.84	c  N dy  4906   1680770        90      8010         0     67941     56070   1060270     25.08     26.42  --
1396.46/349.67	c  N dy  4993   1701769        90      8010         0     87370     56070   1638066     25.09     26.50  --
1406.46/352.18	c  S st  5020   1710409        90      8010         0     95379     56070   1875021     25.09     27.73  --
1407.64/352.44	c  S st  5020   1710910        90      8010         0     95858     56070   1889450     25.09   no data  --
1407.64/352.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1407.64/352.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1407.64/352.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1408.04/352.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1408.04/352.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1408.04/352.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1408.04/352.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1539.46/385.40	c lits-rem:      5808  cl-subs:     8122  v-elim:      0  v-fix:    0  time: 131.14 s
1539.46/385.40	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1539.46/385.42	c vivif2 --  cl tried    87736 cl shrink        0 lits rem          0 time: 0.08
1540.66/385.78	c asymm  cl-useful: 0/622/8010 lits-rem:0 time: 1.45
1540.66/385.78	c calculated reachability. Time: 0.00
1540.66/385.78	c  N dy  5020   1710910        90      8010         0     87736     56070   1633715     25.09   no data  --
1569.42/392.92	c  N dy  5123   1732062        90      8010         0     55070     56070    664135     25.10     26.62  --
1585.40/396.97	c  N dy  5148   1753026        90      8010         0     74288     56070   1219737     25.09     26.47  --
1607.37/402.47	c  N dy  5229   1773077        90      8010         0     92809     56070   1770275     25.10     28.12  --
1633.33/408.92	c  N dy  5312   1794557        90      8010         0     59324     56070    769341     25.10     26.53  --
1656.92/414.85	c  N dy  5429   1815941        90      8010         0     79139     56070   1361521     25.12     26.47  --
1682.89/421.35	c  N dy  5503   1835949        90      8010         0     97695     56070   1913168     25.12     26.96  --
1710.43/428.21	c  N dy  5556   1858645        90      8010         0     64218     56070    892914     25.12     26.55  --
1735.20/434.48	c  N dy  5689   1878724        90      8010         0     82854     56070   1453777     25.14     26.66  --
1765.15/441.94	c  N dy  5782   1900729        90      8010         0    103213     56070   2056255     25.14     26.50  --
1789.91/448.12	c  N dy  5885   1922735        90      8010         0     68114     56070    987495     25.15     26.52  --
1811.48/453.50	c  N dy  5977   1942810        90      8010         0     86650     56070   1536953     25.16     27.08  --
1848.24/462.76	c  N dy  6039   1975488        90      8010         0     60381     56070    740760     25.15     26.55  --
1867.43/467.57	c  N dy  6155   1995628        90      8010         0     79039     56070   1299856     25.16     26.54  --
1892.58/473.84	c  N dy  6205   2019284        90      8010         0    100770     56070   1941550     25.16     26.75  --
1918.94/480.47	c  N dy  6300   2039301        90      8010         0     62046     56070    776340     25.16     27.95  --
1939.31/485.57	c  N dy  6431   2059315        90      8010         0     80659     56070   1335096     25.18     27.64  --
1966.87/492.42	c  N dy  6515   2081414        90      8010         0    101052     56070   1939394     25.18     26.52  --
1994.44/499.31	c  N dy  6578   2101924        90      8010         0     61762     56070    746447     25.18     26.52  --
2015.60/504.69	c  N dy  6673   2122170        90      8010         0     80488     56070   1306370     25.19     26.56  --
2040.77/510.94	c  N dy  6744   2142789        90      8010         0     99543     56070   1870504     25.19     26.58  --
2071.13/518.58	c  N dy  6815   2162825        90      8010         0    118040     56070   2421134     25.20     27.67  --
2104.70/526.99	c  N dy  6921   2195737        90      8010         0     89269     56070   1533948     25.20     26.54  --
2124.26/531.85	c  S st  6981   2210911        90      8010         0    103269     56070   1946448     25.20     24.29  --
2125.46/532.13	c  S st  6981   2211417        90      8010         0    103745     56070   1960739     25.20   no data  --
2125.46/532.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2125.46/532.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2125.46/532.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2125.85/532.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2125.85/532.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2125.85/532.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2125.85/532.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2562.08/641.45	c lits-rem:      4288  cl-subs:     8784  v-elim:      0  v-fix:    0  time: 436.04 s
2562.08/641.46	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2562.08/641.48	c vivif2 --  cl tried    94961 cl shrink        0 lits rem          0 time: 0.10
2563.66/641.82	c asymm  cl-useful: 0/797/8010 lits-rem:0 time: 1.38
2563.66/641.83	c calculated reachability. Time: 0.00
2563.66/641.83	c  N dy  6981   2211417        90      8010         0     94961     56070   1688035     25.20   no data  --
2593.21/649.21	c  N dy  7015   2234139        90      8010         0    115858     56070   2296695     25.19     26.53  --
2614.80/654.68	c  N dy  7096   2254576        90      8010         0     75087     56070   1109019     25.20     26.54  --
2640.76/661.15	c  N dy  7198   2275823        90      8010         0     94796     56070   1695769     25.21     26.71  --
2680.72/671.19	c  N dy  7206   2314458        90      8010         0     69414     56070    910621     25.17     26.50  --
2702.69/676.63	c  N dy  7305   2334551        90      8010         0     88007     56070   1466779     25.18     27.83  --
2730.62/683.66	c  N dy  7402   2354617        90      8010         0    106595     56070   2021967     25.18     31.10  --
2768.20/693.09	c  N dy  7504   2375569        90      8010         0     64250     56070    747147     25.19     26.58  --
2793.35/699.34	c  N dy  7589   2398671        90      8010         0     85581     56070   1380620     25.19     26.65  --
2823.30/706.87	c  N dy  7667   2418990        90      8010         0    104346     56070   1937769     25.20     26.66  --
2860.05/716.09	c  N dy  7794   2439252        90      8010         0    123022     56070   2496715     25.21     26.64  --
2884.02/722.09	c  N dy  7925   2459298        90      8010         0     78944     56070   1172710     25.22     27.02  --
2911.18/728.88	c  N dy  7999   2482483        90      8010         0    100338     56070   1805118     25.22     26.60  --
2940.74/736.23	c  N dy  8072   2502694        90      8010         0    119020     56070   2355641     25.22     26.57  --
2968.70/743.21	c  N dy  8175   2522993        90      8010         0     74000     56070    999199     25.23     26.62  --
2993.47/749.48	c  N dy  8248   2545854        90      8010         0     95110     56070   1623371     25.23     26.75  --
3042.20/761.60	c  N dy  8337   2582649        90      8010         0    128959     56070   2626924     25.23     26.59  --
3062.99/766.88	c  N dy  8423   2602679        90      8010         0     82875     56070   1245097     25.23     26.60  --
3089.74/773.56	c  N dy  8542   2623107        90      8010         0    101798     56070   1817019     25.24     26.57  --
3118.50/780.76	c  N dy  8593   2643652        90      8010         0    120800     56070   2380103     25.24     26.68  --
3151.25/788.94	c  N dy  8725   2664162        90      8010         0     74183     56070    971021     25.25     26.60  --
3177.61/795.55	c  N dy  8804   2684666        90      8010         0     93099     56070   1531938     25.26     26.64  --
3206.37/802.77	c  N dy  8827   2708027        90      8010         0    114541     56070   2168243     25.25     26.64  --
3212.76/804.34	c  S st  8853   2711417        90      8010         0    117687     56070   2263053     25.25     26.82  --
3214.37/804.70	c  S st  8853   2711923        90      8010         0    118156     56070   2277316     25.25   no data  --
3214.37/804.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3214.37/804.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3214.37/804.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3214.77/804.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.77/804.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3214.77/804.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3214.77/804.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3915.43/980.25	c lits-rem:      7036  cl-subs:     9988  v-elim:      0  v-fix:    0  time: 700.51 s
3915.43/980.26	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3915.43/980.28	c vivif2 --  cl tried   108168 cl shrink        0 lits rem          0 time: 0.11
3917.41/980.77	c asymm  cl-useful: 0/613/8010 lits-rem:0 time: 1.95
3917.41/980.78	c calculated reachability. Time: 0.00
3917.41/980.78	c  N dy  8853   2711923        90      8010         0    108168     56070   1962779     25.25   no data  --
3958.56/991.00	c  N dy  8932   2732437        90      8010         0    127148     56070   2528436     25.26     26.68  --
3991.31/999.29	c  N dy  9027   2752446        90      8010         0     79617     56070   1121731     25.26     26.60  --
4040.04/1011.48	c  N dy  9061   2789743        90      8010         0    113712     56070   2113231     25.24     26.63  --
4085.59/1022.88	c  N dy  9144   2811485        90      8010         0    133801     56070   2704859     25.24     26.69  --
4119.94/1031.46	c  N dy  9248   2831500        90      8010         0     85249     56070   1271242     25.25     26.60  --
4153.09/1039.77	c  N dy  9302   2851545        90      8010         0    103770     56070   1819563     25.25     28.87  --
4198.23/1051.08	c  N dy  9384   2873203        90      8010         0    123704     56070   2411483     25.25     26.74  --
4244.99/1062.74	c  N dy  9481   2893483        90      8010         0     74309     56070    923181     25.26     26.85  --
4282.52/1072.12	c  N dy  9580   2916951        90      8010         0     96111     56070   1574579     25.26     26.69  --
4316.07/1080.57	c  N dy  9613   2937008        90      8010         0    114577     56070   2117239     25.26     28.92  --
4363.23/1092.38	c  N dy  9674   2957026        90      8010         0    133063     56070   2663040     25.26     26.75  --
4401.16/1101.84	c  N dy  9756   2977189        90      8010         0     82500     56070   1144713     25.26     26.79  --
4435.51/1110.46	c  N dy  9848   2997226        90      8010         0    101014     56070   1698720     25.27     28.46  --
4489.44/1123.94	c  N dy  9940   3022489        90      8010         0    124376     56070   2394683     25.27     26.82  --
4538.17/1136.19	c  N dy 10042   3042888        90      8010         0     73069     56070    847888     25.28     26.72  --
4568.93/1143.84	c  N dy 10144   3063225        90      8010         0     91877     56070   1410364     25.28     26.64  --
4606.48/1153.23	c  N dy 10259   3083240        90      8010         0    110411     56070   1965248     25.29     27.74  --
4646.43/1163.20	c  N dy 10312   3104221        90      8010         0    129747     56070   2536135     25.29     26.64  --
4688.39/1173.77	c  N dy 10405   3124294        90      8010         0     77157     56070    950389     25.29     27.86  --
4716.73/1180.88	c  N dy 10496   3144332        90      8010         0     95733     56070   1509180     25.30     27.56  --
4750.31/1189.25	c  N dy 10570   3164420        90      8010         0    114298     56070   2061202     25.30     28.81  --
4783.44/1197.55	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: 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-3175357-1304120761/watcher-3175357-1304120761 -o /tmp/evaluation-result-3175357-1304120761/solver-3175357-1304120761 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175357-1304120761.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.03 8.02 6.76 5/184 5644
/proc/meminfo: memFree=30688136/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=199696 CPUtime=0 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) D 5642 5644 4943 0 -1 4202496 686 0 0 0 0 0 0 0 25 0 4 0 523673940 204488704 601 33554432000 4194304 4650419 140733959750608 18446744073709551615 271550581095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 49924 601 343 112 0 44889 0
[pid=5644/tid=5645] ppid=5642 vsize=207904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 26 0 0 0 0 0 0 0 25 0 4 0 523673940 212893696 620 33554432000 4194304 4650419 140733959750608 18446744073709551615 271550537531 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=207904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) D 5642 5644 4943 0 -1 4202560 91 0 0 0 0 0 0 0 25 0 4 0 523673940 212893696 621 33554432000 4194304 4650419 140733959750608 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=207904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 523673940 212893696 625 33554432000 4194304 4650419 140733959750608 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106615 s]
/proc/loadavg: 8.03 8.02 6.76 5/184 5644
/proc/meminfo: memFree=30688136/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=216496 CPUtime=0.41 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 1622 0 0 0 41 0 0 0 18 0 4 0 523673940 221691904 1537 33554432000 4194304 4650419 140733959750608 18446744073709551615 4370515 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 54124 1537 366 112 0 49089 0
[pid=5644/tid=5645] ppid=5642 vsize=216496 CPUtime=0.1 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 243 0 0 0 10 0 0 0 25 0 4 0 523673940 221691904 1537 33554432000 4194304 4650419 140733959750608 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=216496 CPUtime=0.1 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 277 0 0 0 10 0 0 0 18 0 4 0 523673940 221691904 1537 33554432000 4194304 4650419 140733959750608 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=216496 CPUtime=0.1 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 405 0 0 0 10 0 0 0 18 0 4 0 523673940 221691904 1537 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 216496

[startup+0.200601 s]
/proc/loadavg: 8.03 8.02 6.76 5/184 5644
/proc/meminfo: memFree=30688136/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=219380 CPUtime=0.78 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 3461 0 0 0 78 0 0 0 18 0 4 0 523673940 224645120 2888 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 54845 2888 384 112 0 49810 0
[pid=5644/tid=5645] ppid=5642 vsize=219380 CPUtime=0.19 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 529 0 0 0 19 0 0 0 25 0 4 0 523673940 224645120 2888 33554432000 4194304 4650419 140733959750608 18446744073709551615 4426539 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=219380 CPUtime=0.19 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 910 0 0 0 19 0 0 0 18 0 4 0 523673940 224645120 2888 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=219380 CPUtime=0.19 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 734 0 0 0 19 0 0 0 18 0 4 0 523673940 224645120 2888 33554432000 4194304 4650419 140733959750608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 219380

[startup+0.300584 s]
/proc/loadavg: 8.03 8.02 6.76 5/184 5644
/proc/meminfo: memFree=30688136/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=220752 CPUtime=1.18 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 4106 0 0 0 118 0 0 0 18 0 4 0 523673940 226050048 3463 33554432000 4194304 4650419 140733959750608 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 55188 3463 390 112 0 50153 0
[pid=5644/tid=5645] ppid=5642 vsize=220752 CPUtime=0.29 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 923 0 0 0 29 0 0 0 25 0 4 0 523673940 226050048 3463 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=220752 CPUtime=0.29 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 985 0 0 0 29 0 0 0 18 0 4 0 523673940 226050048 3463 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=220752 CPUtime=0.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 811 0 0 0 29 0 0 0 18 0 4 0 523673940 226050048 3463 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 220752

[startup+0.700511 s]
/proc/loadavg: 8.03 8.02 6.76 5/184 5644
/proc/meminfo: memFree=30688136/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=222356 CPUtime=2.78 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 6665 0 0 0 277 1 0 0 18 0 4 0 523673940 227692544 4054 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 55589 4054 390 112 0 50554 0
[pid=5644/tid=5645] ppid=5642 vsize=222356 CPUtime=0.69 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 1652 0 0 0 69 0 0 0 25 0 4 0 523673940 227692544 4054 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=222356 CPUtime=0.69 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 1709 0 0 0 69 0 0 0 18 0 4 0 523673940 227692544 4054 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=222356 CPUtime=0.69 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 1290 0 0 0 69 0 0 0 18 0 4 0 523673940 227692544 4054 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 222356

[startup+1.50037 s]
/proc/loadavg: 8.03 8.02 6.76 10/188 5648
/proc/meminfo: memFree=30670608/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=223724 CPUtime=5.97 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 10892 0 0 0 596 1 0 0 19 0 4 0 523673940 229093376 4912 33554432000 4194304 4650419 140733959750608 18446744073709551615 4334529 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 55931 4912 391 112 0 50896 0
[pid=5644/tid=5645] ppid=5642 vsize=223724 CPUtime=1.48 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 2682 0 0 0 148 0 0 0 25 0 4 0 523673940 229093376 4912 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=223724 CPUtime=1.48 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 2825 0 0 0 148 0 0 0 19 0 4 0 523673940 229093376 4912 33554432000 4194304 4650419 140733959750608 18446744073709551615 4333838 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=223724 CPUtime=1.49 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 2345 0 0 0 149 0 0 0 20 0 4 0 523673940 229093376 4912 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 223724

[startup+3.10108 s]
/proc/loadavg: 8.03 8.02 6.76 9/188 5648
/proc/meminfo: memFree=30653868/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=229476 CPUtime=12.36 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 20571 0 0 0 1233 3 0 0 25 0 4 0 523673940 234983424 12457 33554432000 4194304 4650419 140733959750608 18446744073709551615 4370491 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 57369 12457 392 112 0 52334 0
[pid=5644/tid=5645] ppid=5642 vsize=229476 CPUtime=3.08 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 4490 0 0 0 308 0 0 0 25 0 4 0 523673940 234983424 12457 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=229476 CPUtime=3.09 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 5888 0 0 0 308 1 0 0 25 0 4 0 523673940 234983424 12457 33554432000 4194304 4650419 140733959750608 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=229476 CPUtime=3.09 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 5543 0 0 0 308 1 0 0 25 0 4 0 523673940 234983424 12457 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 229476

[startup+6.30049 s]
/proc/loadavg: 8.02 8.02 6.76 9/188 5648
/proc/meminfo: memFree=30622132/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=248488 CPUtime=25.15 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 29106 0 0 0 2509 6 0 0 25 0 4 0 523673940 254451712 15305 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 62122 15305 392 112 0 57087 0
[pid=5644/tid=5645] ppid=5642 vsize=248488 CPUtime=6.26 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 7433 0 0 0 625 1 0 0 25 0 4 0 523673940 254451712 15305 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=248488 CPUtime=6.28 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 7761 0 0 0 627 1 0 0 25 0 4 0 523673940 254451712 15305 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=248488 CPUtime=6.28 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 7620 0 0 0 627 1 0 0 25 0 4 0 523673940 254451712 15305 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 248488

[startup+12.7003 s]
/proc/loadavg: 8.02 8.02 6.77 9/188 5648
/proc/meminfo: memFree=30581260/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=249088 CPUtime=50.71 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 41826 0 0 0 5063 8 0 0 25 0 4 0 523673940 255066112 22005 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 62272 22005 392 112 0 57237 0
[pid=5644/tid=5645] ppid=5642 vsize=249088 CPUtime=12.62 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 10707 0 0 0 1261 1 0 0 25 0 4 0 523673940 255066112 22005 33554432000 4194304 4650419 140733959750608 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=249088 CPUtime=12.69 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 11652 0 0 0 1267 2 0 0 25 0 4 0 523673940 255066112 22005 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=249088 CPUtime=12.68 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 11795 0 0 0 1266 2 0 0 25 0 4 0 523673940 255066112 22005 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 249088

[startup+25.501 s]
/proc/loadavg: 8.09 8.04 6.79 9/188 5649
/proc/meminfo: memFree=30556676/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=242752 CPUtime=101.84 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 62373 0 0 0 10170 14 0 0 25 0 4 0 523673940 248578048 27083 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 60688 27083 392 112 0 55653 0
[pid=5644/tid=5645] ppid=5642 vsize=242752 CPUtime=25.35 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 15315 0 0 0 2532 3 0 0 25 0 4 0 523673940 248578048 27083 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=242752 CPUtime=25.49 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 18228 0 0 0 2546 3 0 0 25 0 4 0 523673940 248578048 27083 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=242752 CPUtime=25.48 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 17005 0 0 0 2544 4 0 0 25 0 4 0 523673940 248578048 27083 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 242752

[startup+51.1004 s]
/proc/loadavg: 8.13 8.05 6.83 9/188 5649
/proc/meminfo: memFree=30550108/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=305516 CPUtime=204.09 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 92848 0 0 0 20387 22 0 0 25 0 4 0 523673940 312848384 32346 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 76379 32346 392 112 0 71344 0
[pid=5644/tid=5645] ppid=5642 vsize=305516 CPUtime=50.81 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 24272 0 0 0 5077 4 0 0 25 0 4 0 523673940 312848384 32346 33554432000 4194304 4650419 140733959750608 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=305516 CPUtime=51.09 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 27371 0 0 0 5104 5 0 0 25 0 4 0 523673940 312848384 32346 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=305516 CPUtime=51.08 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 25758 0 0 0 5101 7 0 0 25 0 4 0 523673940 312848384 32346 33554432000 4194304 4650419 140733959750608 18446744073709551615 4306787 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 305516

[startup+102.301 s]
/proc/loadavg: 8.30 8.10 6.91 9/188 5651
/proc/meminfo: memFree=30519172/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=267648 CPUtime=408.63 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 143671 0 0 0 40827 36 0 0 25 0 4 0 523673940 274071552 37995 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 66912 37995 392 112 0 61877 0
[pid=5644/tid=5645] ppid=5642 vsize=267648 CPUtime=101.73 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 39097 0 0 0 10165 8 0 0 25 0 4 0 523673940 274071552 37995 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=267648 CPUtime=102.3 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 42427 0 0 0 10221 9 0 0 25 0 4 0 523673940 274071552 37995 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=267648 CPUtime=102.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 37264 0 0 0 10219 10 0 0 25 0 4 0 523673940 274071552 37995 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 267648

[startup+162.301 s]

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

[pid=5644] ppid=5642 vsize=423692 CPUtime=2565.65 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 449221 0 0 0 256420 145 0 0 25 0 4 0 523673940 433860608 74957 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 105923 74957 392 112 0 100888 0
[pid=5644/tid=5645] ppid=5642 vsize=423692 CPUtime=638.75 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 119577 0 0 0 63839 36 0 0 25 0 4 0 523673940 433860608 74957 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=423692 CPUtime=642.3 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 120127 0 0 0 64194 36 0 0 25 0 4 0 523673940 433860608 74957 33554432000 4194304 4650419 140733959750608 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=423692 CPUtime=642.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 120466 0 0 0 64183 46 0 0 25 0 4 0 523673940 433860608 74957 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 423692

[startup+702.301 s]
/proc/loadavg: 8.18 8.13 7.47 9/188 5667
/proc/meminfo: memFree=30301004/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=423980 CPUtime=2805.33 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 471099 0 0 0 280380 153 0 0 25 0 4 0 523673940 434155520 72459 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 105995 72459 392 112 0 100960 0
[pid=5644/tid=5645] ppid=5642 vsize=423980 CPUtime=698.42 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 128370 0 0 0 69803 39 0 0 25 0 4 0 523673940 434155520 72459 33554432000 4194304 4650419 140733959750608 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=423980 CPUtime=702.3 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 124718 0 0 0 70192 38 0 0 25 0 4 0 523673940 434155520 72459 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=423980 CPUtime=702.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 128155 0 0 0 70181 48 0 0 25 0 4 0 523673940 434155520 72459 33554432000 4194304 4650419 140733959750608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 423980

[startup+762.301 s]
/proc/loadavg: 6.56 7.73 7.37 5/179 5686
/proc/meminfo: memFree=30671984/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=448952 CPUtime=3045.02 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 494162 0 0 0 304341 161 0 0 25 0 4 0 523673940 459726848 78451 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 112238 78451 392 112 0 107203 0
[pid=5644/tid=5645] ppid=5642 vsize=448952 CPUtime=758.08 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 135301 0 0 0 75767 41 0 0 25 0 4 0 523673940 459726848 78451 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=448952 CPUtime=762.31 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 129303 0 0 0 76191 40 0 0 25 0 4 0 523673940 459726848 78451 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=448952 CPUtime=762.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 135768 0 0 0 76179 51 0 0 25 0 4 0 523673940 459726848 78451 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 448952

[startup+822.3 s]
/proc/loadavg: 5.00 7.07 7.17 5/179 5688
/proc/meminfo: memFree=30651220/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=514720 CPUtime=3284.67 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 516443 0 0 0 328295 172 0 0 25 0 4 0 523673940 527073280 83577 33554432000 4194304 4650419 140733959750608 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 128680 83577 392 112 0 123645 0
[pid=5644/tid=5645] ppid=5642 vsize=514720 CPUtime=817.75 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 142186 0 0 0 81731 44 0 0 25 0 4 0 523673940 527073280 83577 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=514720 CPUtime=822.31 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 131870 0 0 0 82189 42 0 0 25 0 4 0 523673940 527073280 83577 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=514720 CPUtime=822.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 142686 0 0 0 82173 56 0 0 25 0 4 0 523673940 527073280 83577 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 514720

[startup+882.306 s]
/proc/loadavg: 4.56 6.56 6.98 5/179 5690
/proc/meminfo: memFree=30622184/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=620320 CPUtime=3524.36 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 536908 0 0 0 352254 182 0 0 25 0 4 0 523673940 635207680 90967 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 155080 90967 392 112 0 150045 0
[pid=5644/tid=5645] ppid=5642 vsize=620320 CPUtime=877.42 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 147772 0 0 0 87695 47 0 0 25 0 4 0 523673940 635207680 90967 33554432000 4194304 4650419 140733959750608 18446744073709551615 4313695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=620320 CPUtime=882.32 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 138347 0 0 0 88187 45 0 0 25 0 4 0 523673940 635207680 90967 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=620320 CPUtime=882.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 148895 0 0 0 88171 59 0 0 25 0 4 0 523673940 635207680 90967 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 620320

[startup+942.301 s]
/proc/loadavg: 4.35 6.12 6.80 5/179 5700
/proc/meminfo: memFree=30611312/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=514960 CPUtime=3764.01 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 551054 0 0 0 376214 187 0 0 25 0 4 0 523673940 527319040 93201 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 128740 93201 392 112 0 123705 0
[pid=5644/tid=5645] ppid=5642 vsize=514960 CPUtime=937.1 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 150887 0 0 0 93661 49 0 0 25 0 4 0 523673940 527319040 93201 33554432000 4194304 4650419 140733959750608 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=514960 CPUtime=942.31 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 141748 0 0 0 94185 46 0 0 25 0 4 0 523673940 527319040 93201 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=514960 CPUtime=942.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 154727 0 0 0 94169 61 0 0 25 0 4 0 523673940 527319040 93201 33554432000 4194304 4650419 140733959750608 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 514960

[startup+1002.3 s]
/proc/loadavg: 4.20 5.75 6.63 5/179 5702
/proc/meminfo: memFree=30613876/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=581620 CPUtime=4003.69 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 556447 0 0 0 400178 191 0 0 25 0 4 0 523673940 595578880 92760 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 145405 92760 392 112 0 140370 0
[pid=5644/tid=5645] ppid=5642 vsize=581620 CPUtime=996.77 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 150887 0 0 0 99628 49 0 0 25 0 4 0 523673940 595578880 92760 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=581620 CPUtime=1002.32 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 145352 0 0 0 100183 49 0 0 25 0 4 0 523673940 595578880 92760 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=581620 CPUtime=1002.29 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 155781 0 0 0 100167 62 0 0 25 0 4 0 523673940 595578880 92760 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 581620

[startup+1062.3 s]
/proc/loadavg: 4.22 5.46 6.47 5/179 5703
/proc/meminfo: memFree=30608728/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=537304 CPUtime=4243.37 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 562597 0 0 0 424142 195 0 0 25 0 4 0 523673940 550199296 94074 33554432000 4194304 4650419 140733959750608 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 134326 94074 392 112 0 129291 0
[pid=5644/tid=5645] ppid=5642 vsize=537304 CPUtime=1056.45 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 150887 0 0 0 105596 49 0 0 25 0 4 0 523673940 550199296 94074 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=537304 CPUtime=1062.31 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 147861 0 0 0 106181 50 0 0 25 0 4 0 523673940 550199296 94074 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=537304 CPUtime=1062.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 157115 0 0 0 106167 63 0 0 25 0 4 0 523673940 550199296 94074 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 537304

[startup+1122.3 s]
/proc/loadavg: 4.19 5.22 6.33 5/179 5708
/proc/meminfo: memFree=30608596/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=537304 CPUtime=4483.04 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 563324 0 0 0 448109 195 0 0 25 0 4 0 523673940 550199296 93954 33554432000 4194304 4650419 140733959750608 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 134326 93954 392 112 0 129291 0
[pid=5644/tid=5645] ppid=5642 vsize=537304 CPUtime=1116.12 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 150887 0 0 0 111563 49 0 0 25 0 4 0 523673940 550199296 93954 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=537304 CPUtime=1122.32 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 147861 0 0 0 112182 50 0 0 25 0 4 0 523673940 550199296 93954 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=537304 CPUtime=1122.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 157840 0 0 0 112167 63 0 0 25 0 4 0 523673940 550199296 93954 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 537304

[startup+1182.3 s]
/proc/loadavg: 4.21 5.04 6.19 5/179 5710
/proc/meminfo: memFree=30593936/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=548500 CPUtime=4722.73 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 571606 0 0 0 472072 201 0 0 25 0 4 0 523673940 561664000 97827 33554432000 4194304 4650419 140733959750608 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 137125 97827 392 112 0 132090 0
[pid=5644/tid=5645] ppid=5642 vsize=548500 CPUtime=1175.79 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 155732 0 0 0 117527 52 0 0 25 0 4 0 523673940 561664000 97827 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=548500 CPUtime=1182.32 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 147861 0 0 0 118182 50 0 0 25 0 4 0 523673940 561664000 97827 33554432000 4194304 4650419 140733959750608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=548500 CPUtime=1182.3 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 158372 0 0 0 118167 63 0 0 25 0 4 0 523673940 561664000 97827 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 548500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.23 4.99 6.15 5/179 5710
/proc/meminfo: memFree=30597392/32951124 swapFree=67111336/67111528
[pid=5644] ppid=5642 vsize=601500 CPUtime=4800.24 cores=0,2,4,6
/proc/5644/stat : 5644 (strangenight1-m) R 5642 5644 4943 0 -1 4202496 577920 0 0 0 479821 203 0 0 25 0 4 0 523673940 615936000 96902 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5644/statm: 150375 96902 392 112 0 145340 0
[pid=5644/tid=5645] ppid=5642 vsize=601500 CPUtime=1195.08 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 158585 0 0 0 119455 53 0 0 25 0 4 0 523673940 615936000 96902 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5644/tid=5646] ppid=5642 vsize=601500 CPUtime=1201.73 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 148783 0 0 0 120122 51 0 0 25 0 4 0 523673940 615936000 96902 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=601500 CPUtime=1201.71 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (strangenight1-m) R 5642 5644 4943 0 -1 4202560 160896 0 0 0 120107 64 0 0 25 0 4 0 523673940 615936000 96902 33554432000 4194304 4650419 140733959750608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 601500

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.28
CPU user time (s): 4798.23
CPU system time (s): 2.04869
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 620320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.23
system time used= 2.04869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577922
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= 588
involuntary context switches= 83582

runsolver used 1.93571 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-30 01:46:01
IDJOB=3175357
IDBENCH=82975
IDSOLVER=1588
FILE ID=node133/3175357-1304120761
RUNJOBID= node133-1304119540-5467
PBS_JOBID= 13170705
Free space on /tmp= 71888 MiB

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

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

MD5SUM BENCH= 793faf2fe67c6773a49b839c9edfeeb3
RANDOM SEED=1398798239

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30688416 kB
Buffers:        505516 kB
Cached:        1058240 kB
SwapCached:        124 kB
Active:         425500 kB
Inactive:      1493236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30688416 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:            6440 kB
Writeback:           0 kB
AnonPages:      355184 kB
Mapped:          15532 kB
Slab:           280076 kB
PageTables:       5392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   590120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71888 MiB
End job on node133 at 2011-04-30 02:06:04