Trace number 3175428

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.36 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf
MD5SUM8f7328be14ce714cebc5a66418b5924c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3175428-1304123483.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.29/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.01 s
0.29/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.29/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.29/0.10	c calculated reachability. Time: 0.00
0.29/0.10	c Calc default polars -  time:   0.00 s pos:     276 undec:      82 neg:     292
0.29/0.10	c =========================================================================================
0.29/0.10	c types(t): F = full restart, N = normal restart
0.29/0.10	c types(t): S = simplification begin/end, E = solution found
0.29/0.10	c restart types(rt): st = static, dy = dynamic
0.29/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.29/0.10	c  B st     0         0       634      2752         0         0      8347         0   no data   no data  --
0.29/0.10	c Decided on static restart strategy
0.39/0.17	c  N st     8      4915       634      2752         0      4876      8347    145577   no data   no data  --
1.58/0.45	c  N st    10     11297       634      2752         0      4496      8347     91424   no data   no data  --
2.78/0.74	c  N st    11     17040       634      2752         0     10184      8347    258686   no data   no data  --
4.77/1.20	c  F st    12     25000       634      2752         0     12490      8347    308982   no data   no data  --
4.77/1.20	c  N st    12     25000       634      2752         0     12490      8347    308982   no data   no data  --
5.57/1.46	c Decided on static restart strategy
5.57/1.46	c  N st    18     30001       634      2752         0     10712      8347    240541   no data   no data  --
5.57/1.46	c  S st    18     30001       634      2752         0     10712      8347    240541   no data   no data  --
5.57/1.49	c  S st    18     30502       634      2752         0     11213      8347    253717   no data   no data  --
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.78/1.77	c lits-rem:        94  cl-subs:      330  v-elim:      0  v-fix:    0  time:  1.05 s
6.78/1.78	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
6.78/1.78	c calculated reachability. Time: 0.00
6.78/1.78	c  N st    18     30502       634      2752         0     10883      8347    242775   no data   no data  --
8.79/2.23	c  N st    20     37613       634      2752         0     10088      8347    198163   no data   no data  --
10.37/2.67	c  N st    21     44014       634      2752         0     16358      8347    369197   no data   no data  --
10.77/2.79	c  S st    22     45753       634      2752         0      9292      8347    154954   no data   no data  --
11.17/2.82	c  S st    22     46255       634      2752         0      9794      8347    167511   no data   no data  --
11.17/2.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.17/2.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.17/2.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.17/2.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.17/2.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.17/2.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
11.17/2.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.57/2.95	c lits-rem:        41  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.49 s
11.57/2.95	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
11.57/2.95	c vivif2 --  cl tried     9730 cl shrink        0 lits rem          0 time: 0.00
11.57/2.96	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
11.57/2.96	c calculated reachability. Time: 0.00
11.57/2.96	c  N st    22     46255       634      2752         0      9730      8347    165546   no data   no data  --
15.56/3.99	c  N st    23     60653       634      2752         0     14065      8347    286270   no data   no data  --
18.35/4.68	c  N st    24     69382       634      2752         0     11909      8347    207528   no data   no data  --
18.35/4.68	c  S st    24     69382       634      2752         0     11909      8347    207528   no data   no data  --
18.75/4.71	c  S st    24     69886       634      2752         0     12413      8347    221448   no data   no data  --
18.75/4.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.75/4.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
18.75/4.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.55/4.98	c lits-rem:        89  cl-subs:       79  v-elim:      0  v-fix:    0  time:  1.04 s
19.55/4.98	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
19.55/4.98	c vivif2 --  cl tried    12334 cl shrink        0 lits rem          0 time: 0.01
19.55/4.99	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
19.55/4.99	c calculated reachability. Time: 0.00
19.55/4.99	c  N st    24     69886       634      2752         0     12334      8347    218680   no data   no data  --
25.55/6.41	c  F st    25     87501       634      2752         0     17867      8347    380691   no data   no data  --
25.55/6.41	c  N st    25     87501       634      2752         0     17867      8347    380691   no data   no data  --
27.14/6.83	c Decided on static restart strategy
28.34/7.10	c  N st    32     95539       634      2752         0     12992      8347    201956   no data   no data  --
31.14/7.85	c  N st    34    104829       634      2752         0     22161      8347    470500   no data   no data  --
31.14/7.85	c  S st    34    104829       634      2752         0     22161      8347    470500   no data   no data  --
31.54/7.91	c  S st    34    105331       634      2752         0     22663      8347    483306   no data   no data  --
31.54/7.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.54/7.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.54/7.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.54/7.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.54/7.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.54/7.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
31.54/7.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
36.74/9.24	c lits-rem:       262  cl-subs:      628  v-elim:      0  v-fix:    0  time:  5.24 s
36.74/9.24	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
36.74/9.25	c vivif2 --  cl tried    22035 cl shrink        0 lits rem          0 time: 0.02
36.74/9.27	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.08
36.74/9.27	c calculated reachability. Time: 0.00
36.74/9.27	c  N st    34    105331       634      2752         0     22035      8347    461331   no data   no data  --
40.72/10.27	c  N st    35    114932       634      2752         0     17705      8347    310692   no data   no data  --
46.72/11.70	c  N st    36    129331       634      2752         0     17104      8347    269545   no data   no data  --
54.31/13.63	c  N st    37    150927       634      2752         0     22555      8347    405325   no data   no data  --
57.13/14.35	c  S st    38    157998       634      2752         0     29515      8347    592706   no data   no data  --
57.51/14.42	c  S st    38    158499       634      2752         0     30016      8347    605656   no data   no data  --
57.51/14.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.51/14.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.51/14.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.51/14.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.51/14.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.51/14.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
57.51/14.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
64.69/16.26	c lits-rem:       546  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  7.21 s
64.69/16.26	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
64.69/16.27	c vivif2 --  cl tried    28791 cl shrink        0 lits rem          0 time: 0.02
64.69/16.29	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.10
64.69/16.29	c calculated reachability. Time: 0.00
64.69/16.29	c  N st    38    158499       634      2752         0     28791      8347    571297   no data   no data  --
87.07/21.80	c  N st    39    207088       634      2752         0     23406      8347    385253   no data   no data  --
102.24/25.69	c  N st    40    237748       634      2752         0     34032      8347    681989   no data   no data  --
102.24/25.69	c  S st    40    237748       634      2752         0     34032      8347    681989   no data   no data  --
102.64/25.77	c  S st    40    238250       634      2752         0     34534      8347    696198   no data   no data  --
102.64/25.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.64/25.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
102.64/25.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
103.04/25.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.04/25.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.04/25.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
103.04/25.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
111.83/28.09	c lits-rem:       656  cl-subs:     1565  v-elim:      0  v-fix:    0  time:  9.11 s
111.83/28.09	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
112.23/28.10	c vivif2 --  cl tried    32969 cl shrink        0 lits rem          0 time: 0.03
112.23/28.13	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.14
112.23/28.14	c calculated reachability. Time: 0.00
112.23/28.14	c  N st    40    238250       634      2752         0     32969      8347    647413   no data   no data  --
145.00/36.39	c  F st    41    306250       634      2752         0     34813      8347    646114   no data   no data  --
145.00/36.39	c  N st    41    306250       634      2752         0     34813      8347    646114   no data   no data  --
147.78/37.05	c Decided on static restart strategy
158.97/39.80	c  N st    51    334552       634      2752         0     39110      8347    761607   no data   no data  --
171.37/42.96	c  N st    53    357375       634      2752         0     36994      8347    693660   no data   no data  --
171.37/42.96	c  S st    53    357375       634      2752         0     36994      8347    693660   no data   no data  --
171.75/43.05	c  S st    53    357877       634      2752         0     37495      8347    706263   no data   no data  --
171.75/43.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.75/43.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.75/43.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
171.75/43.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.75/43.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.75/43.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
171.75/43.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
180.16/45.15	c lits-rem:       388  cl-subs:      948  v-elim:      0  v-fix:    0  time:  8.21 s
180.16/45.15	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
180.16/45.16	c vivif2 --  cl tried    36547 cl shrink        0 lits rem          0 time: 0.03
180.16/45.19	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.14
180.16/45.19	c calculated reachability. Time: 0.00
180.16/45.19	c  N st    53    357877       634      2752         0     36547      8347    672649   no data   no data  --
200.51/50.21	c  N st    54    390270       634      2752         0     42829      8347    848543   no data   no data  --
228.09/57.11	c  N st    55    438858       634      2752         0     36480      8347    593542   no data   no data  --
273.61/68.53	c  N st    56    511741       634      2752         0     49931      8347    957041   no data   no data  --
288.79/72.32	c  N st    57    536816       634      2752         0     44162      8347    766148   no data   no data  --
288.79/72.32	c  S st    57    536816       634      2752         0     44162      8347    766148   no data   no data  --
289.19/72.44	c  S st    57    537322       634      2752         0     44668      8347    779760   no data   no data  --
289.19/72.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
289.19/72.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
289.19/72.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
289.19/72.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
289.19/72.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
289.19/72.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
289.19/72.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
298.80/74.82	c lits-rem:       591  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  9.31 s
298.80/74.82	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
298.80/74.83	c vivif2 --  cl tried    43409 cl shrink        0 lits rem          0 time: 0.04
298.80/74.87	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.18
298.80/74.87	c calculated reachability. Time: 0.00
298.80/74.87	c  N st    57    537322       634      2752         0     43409      8347    740107   no data   no data  --
428.20/107.23	c  N st    58    701307       634      2752         0     37408      8347    452794   no data   no data  --
512.09/128.22	c  N st    59    805985       634      2752         0     66861      8347   1259532   no data   no data  --
512.09/128.22	c  S st    59    805985       634      2752         0     66861      8347   1259532   no data   no data  --
512.89/128.41	c  S st    59    806485       634      2752         0     67361      8347   1272594   no data   no data  --
512.89/128.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
512.89/128.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
512.89/128.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
512.89/128.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
512.89/128.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
512.89/128.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
512.89/128.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
530.87/132.94	c lits-rem:        25  cl-subs:     3804  v-elim:      0  v-fix:    0  time: 17.78 s
530.87/132.94	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
530.87/132.96	c vivif2 --  cl tried    63557 cl shrink        0 lits rem          0 time: 0.06
531.28/133.05	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.38
531.28/133.05	c calculated reachability. Time: 0.00
531.28/133.05	c  N st    59    806485       634      2752         0     63557      8347   1163003   no data   no data  --
762.95/191.07	c  F st    60   1071875       634      2752         0     79262      8347   1484311   no data   no data  --
762.95/191.08	c  N st    60   1071875       634      2752         0     79262      8347   1484311   no data   no data  --
781.74/195.77	c  N dy    95   1092229       634      2752         0     55310      8347    752853     19.39     20.61  --
808.10/202.34	c  N dy   165   1116805       634      2752         0     79645      8347   1427820     18.92     19.93  --
831.26/208.11	c  N dy   231   1137310       634      2752         0     54638      8347    684873     18.83     19.87  --
852.82/213.56	c  N dy   313   1158329       634      2752         0     75463      8347   1262947     18.85     19.86  --
881.58/220.76	c  N dy   401   1179603       634      2752         0     50090      8347    515459     18.89     19.91  --
903.15/226.10	c  N dy   498   1200987       634      2752         0     71283      8347   1100299     18.91     19.92  --
914.74/229.04	c  S st   540   1209727       634      2752         0     79938      8347   1339484     18.92     19.49  --
915.54/229.26	c  S st   540   1210232       634      2752         0     80441      8347   1353008     18.92   no data  --
915.54/229.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
915.54/229.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
915.94/229.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
915.94/229.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
915.94/229.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
915.94/229.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
915.94/229.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
925.13/231.65	c lits-rem:       312  cl-subs:     1394  v-elim:      0  v-fix:    0  time:  9.18 s
925.13/231.65	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
925.13/231.67	c vivif2 --  cl tried    79047 cl shrink        0 lits rem          0 time: 0.06
925.53/231.77	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.42
925.53/231.78	c calculated reachability. Time: 0.00
925.53/231.78	c  N dy   540   1210232       634      2752         0     79047      8347   1312170     18.92   no data  --
951.48/238.24	c  N dy   632   1230372       634      2752         0     51527      8347    526011     18.93     20.00  --
970.68/243.04	c  N dy   710   1250418       634      2752         0     71390      8347   1074873     18.93     24.35  --
997.04/249.60	c  N dy   789   1270629       634      2752         0     91409      8347   1630862     18.94     20.07  --
1023.41/256.28	c  N dy   898   1296327       634      2752         0     68338      8347    967464     18.96     19.99  --
1047.76/262.39	c  N dy   972   1316417       634      2752         0     88234      8347   1520290     18.95     22.92  --
1073.72/268.82	c  N dy  1053   1336595       634      2752         0     58731      8347    670575     18.97     20.25  --
1097.29/274.76	c  N dy  1125   1357462       634      2752         0     79372      8347   1238563     18.95     19.98  --
1127.65/282.37	c  N dy  1245   1377512       634      2752         0     99279      8347   1798370     19.01     20.15  --
1148.02/287.48	c  N dy  1315   1397692       634      2752         0     68707      8347    919003     18.99     20.07  --
1172.81/293.70	c  N dy  1387   1417844       634      2752         0     88642      8347   1477997     18.99     20.16  --
1205.14/301.79	c  N dy  1476   1442721       634      2752         0     61800      8347    699257     18.98     19.99  --
1232.71/308.62	c  N dy  1547   1467041       634      2752         0     85866      8347   1362204     18.95     20.05  --
1264.66/316.63	c  N dy  1661   1487097       634      2752         0     53270      8347    439330     18.99     20.24  --
1283.84/321.44	c  N dy  1743   1507194       634      2752         0     73190      8347    991905     18.98     20.07  --
1310.60/328.19	c  N dy  1826   1527284       634      2752         0     93062      8347   1540833     18.98     22.83  --
1341.36/335.87	c  N dy  1945   1547303       634      2752         0     59434      8347    589398     19.02     20.38  --
1363.73/341.49	c  N dy  2028   1567641       634      2752         0     79563      8347   1149365     19.02     20.17  --
1395.69/349.50	c  N dy  2130   1589009       634      2752         0    100717      8347   1733575     19.03     20.12  --
1421.25/355.89	c  N dy  2205   1610053       634      2752         0     67086      8347    782434     19.03     20.12  --
1445.64/361.98	c  N dy  2286   1630067       634      2752         0     86876      8347   1327341     19.03     20.79  --
1478.38/370.13	c  N dy  2315   1652552       634      2752         0    109062      8347   1941951     18.97     20.11  --
1503.94/376.52	c  N dy  2348   1677180       634      2752         0     77983      8347   1051326     18.90     19.93  --
1535.90/384.55	c  N dy  2413   1699116       634      2752         0     99602      8347   1640277     18.88     19.96  --
1555.87/389.54	c  S st  2457   1710232       634      2752         0    110556      8347   1938511     18.88     17.28  --
1557.07/389.86	c  S st  2457   1710734       634      2752         0    111058      8347   1952144     18.88   no data  --
1557.07/389.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1557.07/389.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1557.47/389.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1557.47/389.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1557.47/389.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1557.47/389.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
1557.47/389.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1576.24/394.62	c lits-rem:       318  cl-subs:     3430  v-elim:      0  v-fix:    0  time: 18.53 s
1576.24/394.62	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
1576.24/394.65	c vivif2 --  cl tried   107628 cl shrink        0 lits rem          0 time: 0.09
1577.06/394.81	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.63
1577.06/394.81	c calculated reachability. Time: 0.00
1577.06/394.81	c  N dy  2457   1710734       634      2752         0    107628      8347   1861692     18.88   no data  --
1601.41/400.97	c  N dy  2563   1730835       634      2752         0     71236      8347    849547     18.90     22.33  --
1627.78/407.52	c  N dy  2683   1750838       634      2752         0     91066      8347   1412834     18.93     20.99  --
1662.12/416.13	c  N dy  2788   1770924       634      2752         0    110973      8347   1966296     18.94     20.21  --
1686.50/422.29	c  N dy  2885   1791216       634      2752         0     73714      8347    888024     18.96     19.96  --
1719.25/430.43	c  N dy  2976   1811319       634      2752         0     93596      8347   1437842     18.97     20.04  --
1758.79/440.35	c  N dy  3074   1831376       634      2752         0    113426      8347   1988410     18.98     20.13  --
1783.17/446.43	c  N dy  3159   1851463       634      2752         0     74916      8347    895296     18.98     20.20  --
1810.72/453.32	c  N dy  3250   1871479       634      2752         0     94705      8347   1450969     18.99     20.05  --
1847.47/462.50	c  N dy  3369   1891813       634      2752         0    114834      8347   2018470     19.01     20.09  --
1873.84/469.11	c  N dy  3468   1912699       634      2752         0     76149      8347    905256     19.02     20.25  --
1901.40/476.06	c  N dy  3575   1932746       634      2752         0     96006      8347   1461405     19.03     21.85  --
1938.15/485.21	c  N dy  3673   1953479       634      2752         0    116548      8347   2041727     19.04     20.10  --
1964.14/491.71	c  N dy  3765   1974042       634      2752         0     76524      8347    902558     19.04     20.14  --
1991.28/498.56	c  N dy  3850   1994153       634      2752         0     96397      8347   1452369     19.05     20.08  --
2028.83/507.98	c  N dy  3954   2014201       634      2752         0    116239      8347   2011827     19.06     20.45  --
2057.59/515.10	c  N dy  4057   2034251       634      2752         0     74796      8347    834632     19.07     20.20  --
2085.96/522.27	c  N dy  4170   2054611       634      2752         0     94963      8347   1401430     19.09     20.12  --
2121.11/531.03	c  N dy  4240   2075374       634      2752         0    115499      8347   1975044     19.08     20.09  --
2153.08/539.05	c  N dy  4342   2096374       634      2752         0     73910      8347    786715     19.09     20.45  --
2179.83/545.75	c  N dy  4357   2117910       634      2752         0     95053      8347   1330043     19.03     20.23  --
2213.78/554.27	c  N dy  4430   2138006       634      2752         0    114899      8347   1883666     19.03     20.71  --
2247.34/562.65	c  N dy  4523   2158068       634      2752         0     71532      8347    701969     19.04     21.91  --
2273.70/569.23	c  N dy  4635   2178102       634      2752         0     91365      8347   1256899     19.05     21.02  --
2309.26/578.15	c  N dy  4722   2198728       634      2752         0    111741      8347   1819974     19.05     20.10  --
2332.43/583.96	c  S st  4756   2210737       634      2752         0    123588      8347   2144072     19.05     19.48  --
2334.02/584.36	c  S st  4756   2211239       634      2752         0    124089      8347   2158450     19.05   no data  --
2334.02/584.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2334.02/584.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2334.42/584.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2334.82/584.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2334.82/584.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2334.82/584.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2334.82/584.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2359.20/590.69	c lits-rem:       598  cl-subs:     2593  v-elim:      0  v-fix:    0  time: 24.72 s
2359.20/590.69	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2359.60/590.72	c vivif2 --  cl tried   121496 cl shrink        0 lits rem          0 time: 0.11
2360.38/590.90	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.72
2360.38/590.90	c calculated reachability. Time: 0.00
2360.38/590.90	c  N dy  4756   2211239       634      2752         0    121496      8347   2081471     19.05   no data  --
2389.97/598.33	c  N dy  4838   2231245       634      2752         0     77011      8347    825690     19.04     24.17  --
2421.50/606.20	c  N dy  4937   2251383       634      2752         0     96945      8347   1390914     19.05     20.09  --
2457.05/615.14	c  N dy  5019   2271386       634      2752         0    116720      8347   1945373     19.06     24.70  --
2495.42/624.78	c  N dy  5113   2293558       634      2752         0     73415      8347    706824     19.06     20.16  --
2521.36/631.28	c  N dy  5222   2313721       634      2752         0     93385      8347   1274075     19.07     20.22  --
2555.73/639.84	c  N dy  5323   2333770       634      2752         0    113253      8347   1843625     19.08     20.13  --
2598.06/650.43	c  N dy  5418   2353952       634      2752         0     66942      8347    499485     19.09     20.10  --
2638.01/660.49	c  N dy  5470   2387165       634      2752         0     99708      8347   1409612     19.06     20.26  --
2675.98/669.91	c  N dy  5583   2407252       634      2752         0    119596      8347   1970488     19.07     21.67  --
2727.89/682.90	c  N dy  5677   2436914       634      2752         0     81629      8347    872165     19.05     20.17  --
2758.24/690.52	c  N dy  5785   2457228       634      2752         0    101745      8347   1439359     19.06     20.13  --
2798.19/700.55	c  N dy  5887   2478358       634      2752         0    122658      8347   2026936     19.07     20.26  --
2837.34/710.33	c  N dy  5986   2498456       634      2752         0     74306      8347    662651     19.08     20.35  --
2864.52/717.11	c  N dy  6103   2518617       634      2752         0     94283      8347   1228925     19.09     20.20  --
2899.67/725.93	c  N dy  6203   2538697       634      2752         0    114140      8347   1789172     19.10     23.29  --
2943.19/736.80	c  N dy  6299   2559098       634      2752         0    134335      8347   2364183     19.11     20.25  --
2976.34/745.17	c  N dy  6339   2583343       634      2752         0     89072      8347   1034517     19.08     20.10  --
3010.30/753.64	c  N dy  6434   2603928       634      2752         0    109453      8347   1605791     19.09     20.13  --
3053.05/764.31	c  N dy  6553   2624074       634      2752         0    129421      8347   2172180     19.10     20.86  --
3094.58/774.79	c  N dy  6631   2648528       634      2752         0     83368      8347    870326     19.10     20.13  --
3123.36/781.96	c  N dy  6696   2668663       634      2752         0    103257      8347   1423812     19.09     20.33  --
3162.50/791.78	c  N dy  6777   2688726       634      2752         0    123100      8347   1977553     19.10     21.56  --
3210.44/803.71	c  N dy  6854   2708803       634      2752         0     71725      8347    523775     19.10     26.05  --
3212.83/804.39	c  S st  6868   2711239       634      2752         0     74118      8347    590015     19.10   no data  --
3213.63/804.58	c  S st  6868   2711740       634      2752         0     74617      8347    604571     19.10   no data  --
3213.63/804.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3213.63/804.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3214.03/804.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
3214.03/804.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.03/804.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3214.03/804.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
3214.03/804.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3222.42/806.79	c lits-rem:       279  cl-subs:      123  v-elim:      0  v-fix:    0  time:  8.58 s
3222.42/806.79	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
3222.82/806.80	c vivif2 --  cl tried    74494 cl shrink        0 lits rem          0 time: 0.04
3222.82/806.88	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.32
3222.82/806.88	c calculated reachability. Time: 0.00
3222.82/806.88	c  N dy  6868   2711740       634      2752         0     74494      8347    600637     19.10   no data  --
3260.39/816.28	c  N dy  6925   2739740       634      2752         0    102120      8347   1359201     19.08     20.13  --
3299.11/825.95	c  N dy  7031   2760400       634      2752         0    122558      8347   1937709     19.09     20.15  --
3343.88/837.11	c  N dy  7126   2780479       634      2752         0    142422      8347   2501242     19.10     23.13  --
3372.22/844.23	c  N dy  7213   2800492       634      2752         0     90035      8347   1009638     19.10     20.15  --
3404.17/852.25	c  N dy  7318   2820522       634      2752         0    109851      8347   1568544     19.11     25.61  --
3446.91/862.96	c  N dy  7406   2842377       634      2752         0    131456      8347   2182031     19.11     20.35  --
3493.65/874.67	c  N dy  7521   2862466       634      2752         0     78153      8347    662216     19.12     22.64  --
3529.60/883.61	c  N dy  7602   2882865       634      2752         0     98302      8347   1224214     19.12     20.33  --
3575.14/895.04	c  N dy  7734   2902948       634      2752         0    118174      8347   1789984     19.13     20.21  --
3621.47/906.68	c  N dy  7859   2922966       634      2752         0    138015      8347   2354183     19.14     20.27  --
3660.25/916.34	c  N dy  7946   2943043       634      2752         0     83709      8347    794489     19.15     22.92  --
3691.78/924.20	c  N dy  8089   2963361       634      2752         0    103840      8347   1371188     19.16     20.22  --
3737.32/935.61	c  N dy  8135   2988336       634      2752         0    128472      8347   2044457     19.15     20.17  --
3785.65/947.78	c  N dy  8239   3008356       634      2752         0    148279      8347   2598681     19.15     22.93  --
3814.81/955.08	c  N dy  8329   3028447       634      2752         0     92996      8347   1043579     19.16     20.60  --
3845.98/962.83	c  N dy  8387   3048737       634      2752         0    112966      8347   1598599     19.14     20.18  --
3890.72/974.00	c  N dy  8503   3069206       634      2752         0    133196      8347   2171079     19.15     20.20  --
3938.25/985.95	c  N dy  8572   3089701       634      2752         0     77351      8347    572452     19.15     20.24  --
3966.22/992.90	c  N dy  8693   3109713       634      2752         0     97185      8347   1137814     19.16     20.44  --
4008.55/1003.53	c  N dy  8755   3129797       634      2752         0    117029      8347   1690718     19.15     21.50  --
4059.29/1016.26	c  N dy  8868   3149942       634      2752         0    136959      8347   2246355     19.16     20.36  --
4111.62/1029.30	c  N dy  8946   3169984       634      2752         0     79632      8347    615689     19.16     21.64  --
4159.15/1041.28	c  N dy  8999   3204663       634      2752         0    113796      8347   1564334     19.13     20.16  --
4172.34/1044.58	c  S st  9012   3211740       634      2752         0    120767      8347   1753052     19.13     15.81  --
4173.95/1044.93	c  S st  9012   3212247       634      2752         0    121274      8347   1767696     19.13   no data  --
4173.95/1044.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4173.95/1044.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4173.95/1045.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
4174.36/1045.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4174.36/1045.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4174.36/1045.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
4174.36/1045.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4193.50/1049.84	c lits-rem:       217  cl-subs:     3187  v-elim:      0  v-fix:    0  time: 19.07 s
4193.50/1049.84	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
4193.50/1049.86	c vivif2 --  cl tried   118087 cl shrink        0 lits rem          0 time: 0.09
4194.30/1050.02	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.65
4194.30/1050.03	c calculated reachability. Time: 0.00
4194.30/1050.03	c  N dy  9012   3212247       634      2752         0    118087      8347   1687733     19.13   no data  --
4239.04/1061.26	c  N dy  9121   3232624       634      2752         0    138193      8347   2251716     19.14     20.17  --
4287.78/1073.49	c  N dy  9222   3252839       634      2752         0     80197      8347    612247     19.14     20.18  --
4316.14/1080.56	c  N dy  9319   3273039       634      2752         0    100171      8347   1174905     19.15     20.54  --
4352.08/1089.57	c  N dy  9399   3293355       634      2752         0    120265      8347   1738909     19.15     20.17  --
4403.61/1102.48	c  N dy  9483   3315793       634      2752         0    142396      8347   2354315     19.15     20.24  --
4461.14/1116.81	c  N dy  9560   3335816       634      2752         0     83165      8347    674278     19.15     20.38  --
4497.10/1125.86	c  N dy  9654   3355924       634      2752         0    103063      8347   1233348     19.15     20.16  --
4536.24/1135.66	c  N dy  9763   3375976       634      2752         0    122895      8347   1793141     19.16     22.68  --
4589.37/1148.92	c  N dy  9860   3398868       634      2752         0    145529      8347   2428982     19.16     20.48  --
4636.50/1160.78	c  N dy  9968   3418962       634      2752         0     85337      8347    713973     19.16     21.02  --
4668.46/1168.76	c  N dy 10093   3439197       634      2752         0    105374      8347   1286158     19.17     20.27  --
4708.01/1178.61	c  N dy 10175   3460231       634      2752         0    126151      8347   1869773     19.17     20.20  --
4776.34/1195.72	c  N dy 10233   3491601       634      2752         0    157053      8347   2719942     19.15     20.36  --

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

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

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


[startup+0 s]
/proc/loadavg: 8.07 8.06 7.98 5/180 19481
/proc/meminfo: memFree=30832424/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 4 0 523947028 288677888 728 33554432000 4194304 4650419 140733797931696 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19481/statm: 70478 730 343 112 0 65443 0
[pid=19481/tid=19482] ppid=19479 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 117 0 0 0 0 0 0 0 25 0 4 0 523947028 288677888 741 33554432000 4194304 4650419 140733797931696 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 61 0 0 0 0 0 0 0 25 0 4 0 523947028 288677888 753 33554432000 4194304 4650419 140733797931696 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 119 0 0 0 0 0 0 0 25 0 4 0 523947028 288677888 755 33554432000 4194304 4650419 140733797931696 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0807279 s]
/proc/loadavg: 8.07 8.06 7.98 5/180 19481
/proc/meminfo: memFree=30832424/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=283352 CPUtime=0.29 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 1838 0 0 0 29 0 0 0 25 0 4 0 523947028 290152448 1672 33554432000 4194304 4650419 140733797931696 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 70838 1672 391 112 0 65803 0
[pid=19481/tid=19482] ppid=19479 vsize=283352 CPUtime=0.07 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 383 0 0 0 7 0 0 0 25 0 4 0 523947028 290152448 1672 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=283352 CPUtime=0.07 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 404 0 0 0 7 0 0 0 25 0 4 0 523947028 290152448 1672 33554432000 4194304 4650419 140733797931696 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=283352 CPUtime=0.07 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 253 0 0 0 7 0 0 0 25 0 4 0 523947028 290152448 1672 33554432000 4194304 4650419 140733797931696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 283352

[startup+0.105411 s]
/proc/loadavg: 8.07 8.06 7.98 5/180 19481
/proc/meminfo: memFree=30832424/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=283508 CPUtime=0.39 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 1958 0 0 0 39 0 0 0 25 0 4 0 523947028 290312192 1792 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 70877 1792 391 112 0 65842 0
[pid=19481/tid=19482] ppid=19479 vsize=283508 CPUtime=0.1 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 411 0 0 0 10 0 0 0 25 0 4 0 523947028 290312192 1793 33554432000 4194304 4650419 140733797931696 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=283508 CPUtime=0.09 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 442 0 0 0 9 0 0 0 25 0 4 0 523947028 290312192 1793 33554432000 4194304 4650419 140733797931696 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=283508 CPUtime=0.09 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 279 0 0 0 9 0 0 0 25 0 4 0 523947028 290312192 1794 33554432000 4194304 4650419 140733797931696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283508

[startup+0.300379 s]
/proc/loadavg: 8.07 8.06 7.98 5/180 19481
/proc/meminfo: memFree=30832424/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=285068 CPUtime=1.17 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 3167 0 0 0 117 0 0 0 25 0 4 0 523947028 291909632 2312 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 71267 2313 393 112 0 66232 0
[pid=19481/tid=19482] ppid=19479 vsize=285068 CPUtime=0.29 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 723 0 0 0 29 0 0 0 25 0 4 0 523947028 291909632 2313 33554432000 4194304 4650419 140733797931696 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=285068 CPUtime=0.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 753 0 0 0 29 0 0 0 25 0 4 0 523947028 291909632 2313 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=285068 CPUtime=0.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 573 0 0 0 29 0 0 0 25 0 4 0 523947028 291909632 2313 33554432000 4194304 4650419 140733797931696 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285068

[startup+0.700313 s]
/proc/loadavg: 8.07 8.06 7.98 5/180 19481
/proc/meminfo: memFree=30832424/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=286332 CPUtime=2.78 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 4943 0 0 0 277 1 0 0 25 0 4 0 523947028 293203968 3060 33554432000 4194304 4650419 140733797931696 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 71583 3060 393 112 0 66548 0
[pid=19481/tid=19482] ppid=19479 vsize=286332 CPUtime=0.69 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 1177 0 0 0 69 0 0 0 25 0 4 0 523947028 293203968 3060 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=286332 CPUtime=0.69 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 1214 0 0 0 69 0 0 0 25 0 4 0 523947028 293203968 3060 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=286332 CPUtime=0.69 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 986 0 0 0 69 0 0 0 25 0 4 0 523947028 293203968 3060 33554432000 4194304 4650419 140733797931696 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286332

[startup+1.50018 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 19485
/proc/meminfo: memFree=30815652/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=288088 CPUtime=5.97 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 8379 0 0 0 595 2 0 0 25 0 4 0 523947028 295002112 3681 33554432000 4194304 4650419 140733797931696 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 72022 3681 395 112 0 66987 0
[pid=19481/tid=19482] ppid=19479 vsize=288088 CPUtime=1.49 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 2099 0 0 0 149 0 0 0 25 0 4 0 523947028 295002112 3681 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=288088 CPUtime=1.48 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 2149 0 0 0 148 0 0 0 25 0 4 0 523947028 295002112 3681 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=288088 CPUtime=1.48 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 1748 0 0 0 148 0 0 0 25 0 4 0 523947028 295002112 3681 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288088

[startup+3.10091 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 19485
/proc/meminfo: memFree=30794944/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=285984 CPUtime=12.37 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 17991 0 0 0 1233 4 0 0 25 0 4 0 523947028 292847616 10666 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 71496 10666 395 112 0 66461 0
[pid=19481/tid=19482] ppid=19479 vsize=285984 CPUtime=3.08 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 4194 0 0 0 308 0 0 0 25 0 4 0 523947028 292847616 10666 33554432000 4194304 4650419 140733797931696 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=285984 CPUtime=3.08 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 4771 0 0 0 308 0 0 0 25 0 4 0 523947028 292847616 10666 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=285984 CPUtime=3.08 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 3998 0 0 0 308 0 0 0 25 0 4 0 523947028 292847616 10666 33554432000 4194304 4650419 140733797931696 18446744073709551615 4339788 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285984

[startup+6.30038 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 19485
/proc/meminfo: memFree=30750416/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=287820 CPUtime=25.15 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 26883 0 0 0 2509 6 0 0 25 0 4 0 523947028 294727680 14069 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 71955 14069 395 112 0 66920 0
[pid=19481/tid=19482] ppid=19479 vsize=287820 CPUtime=6.29 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 6710 0 0 0 628 1 0 0 25 0 4 0 523947028 294727680 14069 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=287820 CPUtime=6.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 6973 0 0 0 628 1 0 0 25 0 4 0 523947028 294727680 14069 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=287820 CPUtime=6.28 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 5931 0 0 0 627 1 0 0 25 0 4 0 523947028 294727680 14069 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287820

[startup+12.7003 s]
/proc/loadavg: 8.06 8.06 7.98 9/184 19485
/proc/meminfo: memFree=30697808/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=318976 CPUtime=50.71 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 41249 0 0 0 5062 9 0 0 25 0 4 0 523947028 326631424 22859 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 79744 22859 395 112 0 74709 0
[pid=19481/tid=19482] ppid=19479 vsize=318976 CPUtime=12.69 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 11139 0 0 0 1267 2 0 0 25 0 4 0 523947028 326631424 22859 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=318976 CPUtime=12.69 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 10093 0 0 0 1267 2 0 0 25 0 4 0 523947028 326631424 22859 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=318976 CPUtime=12.68 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 8872 0 0 0 1266 2 0 0 25 0 4 0 523947028 326631424 22859 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 318976

[startup+25.5012 s]
/proc/loadavg: 8.05 8.06 7.98 9/184 19485
/proc/meminfo: memFree=30621052/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=345812 CPUtime=101.84 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 57794 0 0 0 10171 13 0 0 25 0 4 0 523947028 354111488 31880 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 86453 31880 395 112 0 81418 0
[pid=19481/tid=19482] ppid=19479 vsize=345812 CPUtime=25.48 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 17604 0 0 0 2545 3 0 0 25 0 4 0 523947028 354111488 31880 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=345812 CPUtime=25.49 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 12835 0 0 0 2547 2 0 0 25 0 4 0 523947028 354111488 31880 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=345812 CPUtime=25.48 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 13186 0 0 0 2545 3 0 0 25 0 4 0 523947028 354111488 31880 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 345812

[startup+51.1009 s]
/proc/loadavg: 8.03 8.05 7.98 9/184 19486
/proc/meminfo: memFree=30588840/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=336540 CPUtime=204.11 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 83817 0 0 0 20389 22 0 0 25 0 4 0 523947028 344616960 35237 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 84135 35237 395 112 0 79100 0
[pid=19481/tid=19482] ppid=19479 vsize=336540 CPUtime=51.09 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 26729 0 0 0 5102 7 0 0 25 0 4 0 523947028 344616960 35237 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=336540 CPUtime=51.08 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 16517 0 0 0 5106 2 0 0 25 0 4 0 523947028 344616960 35237 33554432000 4194304 4650419 140733797931696 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=336540 CPUtime=51.09 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 19477 0 0 0 5103 6 0 0 25 0 4 0 523947028 344616960 35237 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 336540

[startup+102.306 s]
/proc/loadavg: 8.01 8.04 7.98 9/184 19487
/proc/meminfo: memFree=30489704/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=377148 CPUtime=408.65 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 128072 0 0 0 40827 38 0 0 25 0 4 0 523947028 386199552 43472 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 94287 43472 395 112 0 89252 0
[pid=19481/tid=19482] ppid=19479 vsize=377148 CPUtime=102.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 41333 0 0 0 10217 13 0 0 25 0 4 0 523947028 386199552 43472 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=377148 CPUtime=102.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 23850 0 0 0 10224 5 0 0 25 0 4 0 523947028 386199552 43472 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=377148 CPUtime=102.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 31749 0 0 0 10219 10 0 0 25 0 4 0 523947028 386199552 43472 33554432000 4194304 4650419 140733797931696 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 377148

[startup+162.301 s]

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

[pid=19481] ppid=19479 vsize=653900 CPUtime=2805.38 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 366059 0 0 0 280383 155 0 0 25 0 4 0 523947028 669593600 99632 33554432000 4194304 4650419 140733797931696 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 163475 99632 395 112 0 158440 0
[pid=19481/tid=19482] ppid=19479 vsize=653900 CPUtime=702.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 125487 0 0 0 70175 55 0 0 25 0 4 0 523947028 669593600 99632 33554432000 4194304 4650419 140733797931696 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=653900 CPUtime=702.28 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 68585 0 0 0 70202 26 0 0 25 0 4 0 523947028 669593600 99632 33554432000 4194304 4650419 140733797931696 18446744073709551615 4339892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=653900 CPUtime=702.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 100454 0 0 0 70184 45 0 0 25 0 4 0 523947028 669593600 99632 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 653900

[startup+762.307 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 19505
/proc/meminfo: memFree=29984892/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=653900 CPUtime=3045.08 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 382580 0 0 0 304343 165 0 0 25 0 4 0 523947028 669593600 100679 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 163475 100679 395 112 0 158440 0
[pid=19481/tid=19482] ppid=19479 vsize=653900 CPUtime=762.31 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 129590 0 0 0 76173 58 0 0 25 0 4 0 523947028 669593600 100679 33554432000 4194304 4650419 140733797931696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=653900 CPUtime=762.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 71953 0 0 0 76201 28 0 0 25 0 4 0 523947028 669593600 100679 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=653900 CPUtime=762.3 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 103818 0 0 0 76184 46 0 0 25 0 4 0 523947028 669593600 100679 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 653900

[startup+822.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 19507
/proc/meminfo: memFree=30013360/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=718832 CPUtime=3284.73 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 398748 0 0 0 328298 175 0 0 25 0 4 0 523947028 736083968 98587 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 179708 98587 395 112 0 174673 0
[pid=19481/tid=19482] ppid=19479 vsize=718832 CPUtime=822.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 133424 0 0 0 82170 60 0 0 25 0 4 0 523947028 736083968 98587 33554432000 4194304 4650419 140733797931696 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=718832 CPUtime=822.28 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 75502 0 0 0 82198 30 0 0 25 0 4 0 523947028 736083968 98587 33554432000 4194304 4650419 140733797931696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=718832 CPUtime=822.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 109258 0 0 0 82180 49 0 0 25 0 4 0 523947028 736083968 98587 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 718832

[startup+882.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 19508
/proc/meminfo: memFree=29943504/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=655796 CPUtime=3524.4 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 417595 0 0 0 352256 184 0 0 25 0 4 0 523947028 671535104 98016 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 163949 98016 395 112 0 158914 0
[pid=19481/tid=19482] ppid=19479 vsize=655796 CPUtime=882.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 138986 0 0 0 88168 62 0 0 25 0 4 0 523947028 671535104 98016 33554432000 4194304 4650419 140733797931696 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=655796 CPUtime=882.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 80402 0 0 0 88195 34 0 0 25 0 4 0 523947028 671535104 98016 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=655796 CPUtime=882.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 114580 0 0 0 88177 52 0 0 25 0 4 0 523947028 671535104 98016 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 655796

[startup+942.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 19509
/proc/meminfo: memFree=29934288/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=773400 CPUtime=3764.08 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 434041 0 0 0 376213 195 0 0 25 0 4 0 523947028 791961600 107215 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 193350 107215 395 112 0 188315 0
[pid=19481/tid=19482] ppid=19479 vsize=773400 CPUtime=942.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 144345 0 0 0 94165 65 0 0 25 0 4 0 523947028 791961600 107215 33554432000 4194304 4650419 140733797931696 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=773400 CPUtime=942.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 86321 0 0 0 94191 38 0 0 25 0 4 0 523947028 791961600 107215 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=773400 CPUtime=942.3 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 119134 0 0 0 94174 56 0 0 25 0 4 0 523947028 791961600 107215 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 773400

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 8.01 9/184 19511
/proc/meminfo: memFree=29901384/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=719132 CPUtime=4003.76 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 451878 0 0 0 400171 205 0 0 25 0 4 0 523947028 736391168 113135 33554432000 4194304 4650419 140733797931696 18446744073709551615 4314861 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 179783 113135 395 112 0 174748 0
[pid=19481/tid=19482] ppid=19479 vsize=719132 CPUtime=1002.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 148125 0 0 0 100163 67 0 0 25 0 4 0 523947028 736391168 113135 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=719132 CPUtime=1002.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 92988 0 0 0 100188 41 0 0 25 0 4 0 523947028 736391168 113135 33554432000 4194304 4650419 140733797931696 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=719132 CPUtime=1002.3 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 124597 0 0 0 100171 59 0 0 25 0 4 0 523947028 736391168 113135 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 719132

[startup+1062.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 19513
/proc/meminfo: memFree=29839844/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=745036 CPUtime=4243.44 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 472245 0 0 0 424128 216 0 0 25 0 4 0 523947028 762916864 121120 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 186259 121120 395 112 0 181224 0
[pid=19481/tid=19482] ppid=19479 vsize=745036 CPUtime=1062.31 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 155017 0 0 0 106160 71 0 0 25 0 4 0 523947028 762916864 121120 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=745036 CPUtime=1062.28 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 98475 0 0 0 106185 43 0 0 25 0 4 0 523947028 762916864 121120 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=745036 CPUtime=1062.29 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 129093 0 0 0 106168 61 0 0 25 0 4 0 523947028 762916864 121120 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 745036

[startup+1122.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/184 19515
/proc/meminfo: memFree=29812876/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=690740 CPUtime=4483.11 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 485422 0 0 0 448086 225 0 0 25 0 4 0 523947028 707317760 120922 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 172685 120922 395 112 0 167650 0
[pid=19481/tid=19482] ppid=19479 vsize=690740 CPUtime=1122.3 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 159097 0 0 0 112157 73 0 0 25 0 4 0 523947028 707317760 120922 33554432000 4194304 4650419 140733797931696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=690740 CPUtime=1122.29 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 102108 0 0 0 112183 46 0 0 25 0 4 0 523947028 707317760 120922 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=690740 CPUtime=1122.3 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 130862 0 0 0 112168 62 0 0 25 0 4 0 523947028 707317760 120922 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366888 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 690740

[startup+1182.3 s]
/proc/loadavg: 8.01 8.06 8.00 9/184 19516
/proc/meminfo: memFree=29854984/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=677360 CPUtime=4722.79 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 505104 0 0 0 472044 235 0 0 25 0 4 0 523947028 693616640 123612 33554432000 4194304 4650419 140733797931696 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 169340 123612 395 112 0 164305 0
[pid=19481/tid=19482] ppid=19479 vsize=677360 CPUtime=1182.31 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 166088 0 0 0 118154 77 0 0 25 0 4 0 523947028 693616640 123612 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=677360 CPUtime=1182.28 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 107389 0 0 0 118180 48 0 0 25 0 4 0 523947028 693616640 123612 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=677360 CPUtime=1182.3 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 135596 0 0 0 118165 65 0 0 25 0 4 0 523947028 693616640 123612 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 677360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.69 7.98 7.98 5/175 19535
/proc/meminfo: memFree=30376304/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=725488 CPUtime=4800.3 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 509645 0 0 0 479792 238 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 181372 127883 395 112 0 176337 0
[pid=19481/tid=19482] ppid=19479 vsize=725488 CPUtime=1201.71 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 167621 0 0 0 120094 77 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=725488 CPUtime=1201.69 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 107389 0 0 0 120121 48 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=725488 CPUtime=1201.71 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 136703 0 0 0 120105 66 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 725488

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

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

[startup+1201.7 s]
/proc/loadavg: 7.69 7.98 7.98 5/175 19535
/proc/meminfo: memFree=30376304/32950928 swapFree=67111448/67111528
[pid=19481] ppid=19479 vsize=725488 CPUtime=4800.3 cores=1,3,5,7
/proc/19481/stat : 19481 (strangenight1-m) R 19479 19481 19209 0 -1 4202496 509645 0 0 0 479792 238 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19481/statm: 181372 127883 395 112 0 176337 0
[pid=19481/tid=19482] ppid=19479 vsize=725488 CPUtime=1201.71 cores=1,3,5,7
/proc/19481/task/19482/stat : 19482 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 167621 0 0 0 120094 77 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19481/tid=19483] ppid=19479 vsize=725488 CPUtime=1201.69 cores=1,3,5,7
/proc/19481/task/19483/stat : 19483 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 107389 0 0 0 120121 48 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19481/tid=19484] ppid=19479 vsize=725488 CPUtime=1201.71 cores=1,3,5,7
/proc/19481/task/19484/stat : 19484 (strangenight1-m) R 19479 19481 19209 0 -1 4202560 136703 0 0 0 120105 66 0 0 25 0 4 0 523947028 742899712 127883 33554432000 4194304 4650419 140733797931696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 725488

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.36
CPU user time (s): 4797.95
CPU system time (s): 2.40463
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 826800

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

runsolver used 1.85472 second user time and 4.72028 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 02:31:23
IDJOB=3175428
IDBENCH=83046
IDSOLVER=1588
FILE ID=node126/3175428-1304123483
RUNJOBID= node126-1304121071-19228
PBS_JOBID= 13170739
Free space on /tmp= 71592 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175428-1304123483/watcher-3175428-1304123483 -o /tmp/evaluation-result-3175428-1304123483/solver-3175428-1304123483 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175428-1304123483.cnf

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

MD5SUM BENCH= 8f7328be14ce714cebc5a66418b5924c
RANDOM SEED=1587860178

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30832580 kB
Buffers:        268084 kB
Cached:        1424380 kB
SwapCached:         76 kB
Active:         194056 kB
Inactive:      1613736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30832580 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           12484 kB
Writeback:           0 kB
AnonPages:      115560 kB
Mapped:          15536 kB
Slab:           247488 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   351112 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= 71592 MiB
End job on node126 at 2011-04-30 02:51:27