Trace number 3369037

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.18 1203.04

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-3369037-1305410851.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.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	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.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     276 undec:      82 neg:     292
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       634      2752         0         0      8347         0   no data   no data  --
0.07/0.06	c Decided on static restart strategy
0.37/0.17	c  N st     8      4915       634      2752         0      4876      8347    145577   no data   no data  --
1.57/0.44	c  N st    10     11297       634      2752         0      4496      8347     91424   no data   no data  --
2.77/0.73	c  N st    11     17040       634      2752         0     10184      8347    258686   no data   no data  --
4.41/1.18	c  F st    12     25000       634      2752         0     12490      8347    308982   no data   no data  --
4.41/1.19	c  N st    12     25000       634      2752         0     12490      8347    308982   no data   no data  --
5.56/1.44	c Decided on static restart strategy
5.56/1.44	c  N st    18     30001       634      2752         0     10712      8347    240541   no data   no data  --
5.56/1.44	c  S st    18     30001       634      2752         0     10712      8347    240541   no data   no data  --
5.56/1.47	c  S st    18     30502       634      2752         0     11213      8347    253717   no data   no data  --
5.56/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.74	c lits-rem:        94  cl-subs:      330  v-elim:      0  v-fix:    0  time:  1.04 s
6.76/1.75	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
6.76/1.75	c calculated reachability. Time: 0.00
6.76/1.75	c  N st    18     30502       634      2752         0     10883      8347    242775   no data   no data  --
8.38/2.19	c  N st    20     37613       634      2752         0     10088      8347    198163   no data   no data  --
10.35/2.63	c  N st    21     44014       634      2752         0     16358      8347    369197   no data   no data  --
10.75/2.75	c  S st    22     45753       634      2752         0      9292      8347    154954   no data   no data  --
10.75/2.78	c  S st    22     46255       634      2752         0      9794      8347    167511   no data   no data  --
10.75/2.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
10.75/2.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.55/2.91	c lits-rem:        41  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.49 s
11.55/2.91	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
11.55/2.91	c vivif2 --  cl tried     9730 cl shrink        0 lits rem          0 time: 0.01
11.55/2.92	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
11.55/2.92	c calculated reachability. Time: 0.00
11.55/2.92	c  N st    22     46255       634      2752         0      9730      8347    165546   no data   no data  --
15.54/3.93	c  N st    23     60653       634      2752         0     14065      8347    286270   no data   no data  --
18.33/4.61	c  N st    24     69382       634      2752         0     11909      8347    207528   no data   no data  --
18.33/4.61	c  S st    24     69382       634      2752         0     11909      8347    207528   no data   no data  --
18.33/4.64	c  S st    24     69886       634      2752         0     12413      8347    221448   no data   no data  --
18.33/4.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.33/4.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.33/4.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.33/4.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.33/4.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.33/4.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
18.33/4.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.53/4.91	c lits-rem:        89  cl-subs:       79  v-elim:      0  v-fix:    0  time:  1.00 s
19.53/4.91	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
19.53/4.91	c vivif2 --  cl tried    12334 cl shrink        0 lits rem          0 time: 0.01
19.53/4.92	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
19.53/4.92	c calculated reachability. Time: 0.00
19.53/4.92	c  N st    24     69886       634      2752         0     12334      8347    218680   no data   no data  --
25.12/6.32	c  F st    25     87501       634      2752         0     17867      8347    380691   no data   no data  --
25.12/6.32	c  N st    25     87501       634      2752         0     17867      8347    380691   no data   no data  --
26.70/6.73	c Decided on static restart strategy
27.50/6.99	c  N st    32     95539       634      2752         0     12992      8347    201956   no data   no data  --
30.74/7.73	c  N st    34    104829       634      2752         0     22161      8347    470500   no data   no data  --
30.74/7.73	c  S st    34    104829       634      2752         0     22161      8347    470500   no data   no data  --
30.74/7.78	c  S st    34    105331       634      2752         0     22663      8347    483306   no data   no data  --
30.74/7.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.74/7.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.10/7.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.10/7.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.10/7.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
31.10/7.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.89/9.07	c lits-rem:       262  cl-subs:      628  v-elim:      0  v-fix:    0  time:  5.03 s
35.89/9.07	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
35.89/9.08	c vivif2 --  cl tried    22035 cl shrink        0 lits rem          0 time: 0.02
36.28/9.10	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.07
36.28/9.10	c calculated reachability. Time: 0.00
36.28/9.10	c  N st    34    105331       634      2752         0     22035      8347    461331   no data   no data  --
39.88/10.09	c  N st    35    114932       634      2752         0     17705      8347    310692   no data   no data  --
45.86/11.53	c  N st    36    129331       634      2752         0     17104      8347    269545   no data   no data  --
53.44/13.43	c  N st    37    150927       634      2752         0     22555      8347    405325   no data   no data  --
56.24/14.14	c  S st    38    157998       634      2752         0     29515      8347    592706   no data   no data  --
56.66/14.21	c  S st    38    158499       634      2752         0     30016      8347    605656   no data   no data  --
56.66/14.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.66/14.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.66/14.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
56.66/14.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.66/14.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.66/14.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
56.66/14.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.81/16.02	c lits-rem:       546  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  7.11 s
63.81/16.02	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
63.81/16.03	c vivif2 --  cl tried    28791 cl shrink        0 lits rem          0 time: 0.03
63.81/16.05	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.10
63.81/16.05	c calculated reachability. Time: 0.00
63.81/16.05	c  N st    38    158499       634      2752         0     28791      8347    571297   no data   no data  --
85.37/21.49	c  N st    39    207088       634      2752         0     23406      8347    385253   no data   no data  --
100.54/25.29	c  N st    40    237748       634      2752         0     34032      8347    681989   no data   no data  --
100.54/25.29	c  S st    40    237748       634      2752         0     34032      8347    681989   no data   no data  --
100.96/25.38	c  S st    40    238250       634      2752         0     34534      8347    696198   no data   no data  --
100.96/25.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.96/25.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
101.32/25.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
101.32/25.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.32/25.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.32/25.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
101.32/25.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
110.10/27.62	c lits-rem:       656  cl-subs:     1565  v-elim:      0  v-fix:    0  time:  8.78 s
110.10/27.62	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
110.10/27.63	c vivif2 --  cl tried    32969 cl shrink        0 lits rem          0 time: 0.03
110.10/27.66	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.14
110.10/27.66	c calculated reachability. Time: 0.00
110.10/27.66	c  N st    40    238250       634      2752         0     32969      8347    647413   no data   no data  --
142.83/35.80	c  F st    41    306250       634      2752         0     34813      8347    646114   no data   no data  --
142.83/35.80	c  N st    41    306250       634      2752         0     34813      8347    646114   no data   no data  --
145.21/36.46	c Decided on static restart strategy
155.99/39.16	c  N st    51    334552       634      2752         0     39110      8347    761607   no data   no data  --
168.36/42.28	c  N st    53    357375       634      2752         0     36994      8347    693660   no data   no data  --
168.36/42.28	c  S st    53    357375       634      2752         0     36994      8347    693660   no data   no data  --
168.76/42.38	c  S st    53    357877       634      2752         0     37495      8347    706263   no data   no data  --
168.76/42.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
168.76/42.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.16/42.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
169.16/42.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.16/42.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.16/42.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
169.16/42.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
177.14/44.42	c lits-rem:       388  cl-subs:      948  v-elim:      0  v-fix:    0  time:  8.00 s
177.14/44.42	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
177.14/44.43	c vivif2 --  cl tried    36547 cl shrink        0 lits rem          0 time: 0.03
177.14/44.47	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.14
177.14/44.47	c calculated reachability. Time: 0.00
177.14/44.47	c  N st    53    357877       634      2752         0     36547      8347    672649   no data   no data  --
196.69/49.34	c  N st    54    390270       634      2752         0     42829      8347    848543   no data   no data  --
224.22/56.23	c  N st    55    438858       634      2752         0     36480      8347    593542   no data   no data  --
269.31/67.50	c  N st    56    511741       634      2752         0     49931      8347    957041   no data   no data  --
284.07/71.26	c  N st    57    536816       634      2752         0     44162      8347    766148   no data   no data  --
284.07/71.26	c  S st    57    536816       634      2752         0     44162      8347    766148   no data   no data  --
284.47/71.37	c  S st    57    537322       634      2752         0     44668      8347    779760   no data   no data  --
284.47/71.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.47/71.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.47/71.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
284.89/71.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.89/71.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.89/71.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
284.89/71.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
294.09/73.71	c lits-rem:       591  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  9.15 s
294.09/73.71	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
294.09/73.72	c vivif2 --  cl tried    43409 cl shrink        0 lits rem          0 time: 0.03
294.09/73.77	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.18
294.09/73.77	c calculated reachability. Time: 0.00
294.09/73.77	c  N st    57    537322       634      2752         0     43409      8347    740107   no data   no data  --
421.38/105.63	c  N st    58    701307       634      2752         0     37408      8347    452794   no data   no data  --
504.35/126.44	c  N st    59    805985       634      2752         0     66861      8347   1259532   no data   no data  --
504.35/126.44	c  S st    59    805985       634      2752         0     66861      8347   1259532   no data   no data  --
505.12/126.63	c  S st    59    806485       634      2752         0     67361      8347   1272594   no data   no data  --
505.12/126.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
505.12/126.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
505.12/126.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
505.52/126.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
505.52/126.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
505.52/126.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
505.52/126.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
522.68/131.03	c lits-rem:        25  cl-subs:     3804  v-elim:      0  v-fix:    0  time: 17.21 s
522.68/131.03	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
522.68/131.04	c vivif2 --  cl tried    63557 cl shrink        0 lits rem          0 time: 0.06
523.08/131.13	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.35
523.08/131.13	c calculated reachability. Time: 0.00
523.08/131.13	c  N st    59    806485       634      2752         0     63557      8347   1163003   no data   no data  --
751.31/188.38	c  F st    60   1071875       634      2752         0     79262      8347   1484311   no data   no data  --
751.31/188.38	c  N st    60   1071875       634      2752         0     79262      8347   1484311   no data   no data  --
770.07/193.06	c  N dy    95   1092229       634      2752         0     55310      8347    752853     19.39     20.61  --
796.01/199.52	c  N dy   165   1116805       634      2752         0     79645      8347   1427820     18.92     19.93  --
818.75/205.26	c  N dy   231   1137310       634      2752         0     54638      8347    684873     18.83     19.87  --
839.89/210.57	c  N dy   313   1158329       634      2752         0     75463      8347   1262947     18.85     19.86  --
868.65/217.75	c  N dy   401   1179603       634      2752         0     50090      8347    515459     18.89     19.91  --
888.97/222.84	c  N dy   498   1200987       634      2752         0     71283      8347   1100299     18.91     19.92  --
899.36/225.45	c  S st   540   1209727       634      2752         0     79938      8347   1339484     18.92     19.49  --
900.14/225.68	c  S st   540   1210232       634      2752         0     80441      8347   1353008     18.92   no data  --
900.14/225.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
900.14/225.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
900.54/225.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
900.54/225.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
900.54/225.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
900.54/225.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
900.54/225.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
909.72/228.06	c lits-rem:       312  cl-subs:     1394  v-elim:      0  v-fix:    0  time:  9.17 s
909.72/228.06	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
909.72/228.08	c vivif2 --  cl tried    79047 cl shrink        0 lits rem          0 time: 0.07
910.12/228.19	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.42
910.12/228.19	c calculated reachability. Time: 0.00
910.12/228.19	c  N dy   540   1210232       634      2752         0     79047      8347   1312170     18.92   no data  --
937.25/234.92	c  N dy   632   1230372       634      2752         0     51527      8347    526011     18.93     20.00  --
956.01/239.64	c  N dy   710   1250418       634      2752         0     71390      8347   1074873     18.93     24.35  --
981.55/246.10	c  N dy   789   1270629       634      2752         0     91409      8347   1630862     18.94     20.07  --
1007.88/252.68	c  N dy   898   1296327       634      2752         0     68338      8347    967464     18.96     19.99  --
1031.82/258.68	c  N dy   972   1316417       634      2752         0     88234      8347   1520290     18.95     22.92  --
1057.38/265.04	c  N dy  1053   1336595       634      2752         0     58731      8347    670575     18.97     20.25  --
1080.50/270.89	c  N dy  1125   1357462       634      2752         0     79372      8347   1238563     18.95     19.98  --
1110.82/278.47	c  N dy  1245   1377512       634      2752         0     99279      8347   1798370     19.01     20.15  --
1130.78/283.40	c  N dy  1315   1397692       634      2752         0     68707      8347    919003     18.99     20.07  --
1154.71/289.49	c  N dy  1387   1417844       634      2752         0     88642      8347   1477997     18.99     20.16  --
1187.04/297.54	c  N dy  1476   1442721       634      2752         0     61800      8347    699257     18.98     19.99  --
1213.77/304.24	c  N dy  1547   1467041       634      2752         0     85866      8347   1362204     18.95     20.05  --
1245.70/312.23	c  N dy  1661   1487097       634      2752         0     53270      8347    439330     18.99     20.24  --
1264.08/316.87	c  N dy  1743   1507194       634      2752         0     73190      8347    991905     18.98     20.07  --
1290.77/323.54	c  N dy  1826   1527284       634      2752         0     93062      8347   1540833     18.98     22.83  --
1320.72/331.09	c  N dy  1945   1547303       634      2752         0     59434      8347    589398     19.02     20.38  --
1342.26/336.40	c  N dy  2028   1567641       634      2752         0     79563      8347   1149365     19.02     20.17  --
1374.17/344.46	c  N dy  2130   1589009       634      2752         0    100717      8347   1733575     19.03     20.12  --
1399.31/350.73	c  N dy  2205   1610053       634      2752         0     67086      8347    782434     19.03     20.12  --
1423.25/356.73	c  N dy  2286   1630067       634      2752         0     86876      8347   1327341     19.03     20.79  --
1455.57/364.82	c  N dy  2315   1652552       634      2752         0    109062      8347   1941951     18.97     20.11  --
1480.31/371.08	c  N dy  2348   1677180       634      2752         0     77983      8347   1051326     18.90     19.93  --
1511.43/378.82	c  N dy  2413   1699116       634      2752         0     99602      8347   1640277     18.88     19.96  --
1530.99/383.77	c  S st  2457   1710232       634      2752         0    110556      8347   1938511     18.88     17.28  --
1532.18/384.09	c  S st  2457   1710734       634      2752         0    111058      8347   1952144     18.88   no data  --
1532.58/384.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1532.58/384.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1532.58/384.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1532.98/384.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1532.98/384.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1532.98/384.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
1532.98/384.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1551.74/388.92	c lits-rem:       318  cl-subs:     3430  v-elim:      0  v-fix:    0  time: 18.77 s
1551.74/388.92	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
1551.74/388.95	c vivif2 --  cl tried   107628 cl shrink        0 lits rem          0 time: 0.10
1552.53/389.11	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.65
1552.53/389.12	c calculated reachability. Time: 0.00
1552.53/389.12	c  N dy  2457   1710734       634      2752         0    107628      8347   1861692     18.88   no data  --
1576.87/395.21	c  N dy  2563   1730835       634      2752         0     71236      8347    849547     18.90     22.33  --
1602.40/401.64	c  N dy  2683   1750838       634      2752         0     91066      8347   1412834     18.93     20.99  --
1636.33/410.19	c  N dy  2788   1770924       634      2752         0    110973      8347   1966296     18.94     20.21  --
1660.66/416.21	c  N dy  2885   1791216       634      2752         0     73714      8347    888024     18.96     19.96  --
1688.20/423.19	c  N dy  2976   1811319       634      2752         0     93596      8347   1437842     18.97     20.04  --
1731.29/433.99	c  N dy  3074   1831376       634      2752         0    113426      8347   1988410     18.98     20.13  --
1755.66/440.06	c  N dy  3159   1851463       634      2752         0     74916      8347    895296     18.98     20.20  --
1783.16/446.90	c  N dy  3250   1871479       634      2752         0     94705      8347   1450969     18.99     20.05  --
1819.07/455.91	c  N dy  3369   1891813       634      2752         0    114834      8347   2018470     19.01     20.09  --
1845.00/462.40	c  N dy  3468   1912699       634      2752         0     76149      8347    905256     19.02     20.25  --
1872.54/469.32	c  N dy  3575   1932746       634      2752         0     96006      8347   1461405     19.03     21.85  --
1908.45/478.37	c  N dy  3673   1953479       634      2752         0    116548      8347   2041727     19.04     20.10  --
1933.98/484.74	c  N dy  3765   1974042       634      2752         0     76524      8347    902558     19.04     20.14  --
1961.13/491.54	c  N dy  3850   1994153       634      2752         0     96397      8347   1452369     19.05     20.08  --
1997.82/500.70	c  N dy  3954   2014201       634      2752         0    116239      8347   2011827     19.06     20.45  --
2026.16/507.82	c  N dy  4057   2034251       634      2752         0     74796      8347    834632     19.07     20.20  --
2054.13/514.90	c  N dy  4170   2054611       634      2752         0     94963      8347   1401430     19.09     20.12  --
2089.60/523.70	c  N dy  4240   2075374       634      2752         0    115499      8347   1975044     19.08     20.09  --
2120.32/531.47	c  N dy  4342   2096374       634      2752         0     73910      8347    786715     19.09     20.45  --
2147.05/538.11	c  N dy  4357   2117910       634      2752         0     95053      8347   1330043     19.03     20.23  --
2180.99/546.64	c  N dy  4430   2138006       634      2752         0    114899      8347   1883666     19.03     20.71  --
2213.69/554.80	c  N dy  4523   2158068       634      2752         0     71532      8347    701969     19.04     21.91  --
2239.23/561.29	c  N dy  4635   2178102       634      2752         0     91365      8347   1256899     19.05     21.02  --
2273.94/569.97	c  N dy  4722   2198728       634      2752         0    111741      8347   1819974     19.05     20.10  --
2296.69/575.66	c  S st  4756   2210737       634      2752         0    123588      8347   2144072     19.05     19.48  --
2298.29/576.03	c  S st  4756   2211239       634      2752         0    124089      8347   2158450     19.05   no data  --
2298.29/576.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2298.29/576.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2298.69/576.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2298.69/576.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2298.69/576.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2298.69/576.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2298.69/576.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2324.22/582.55	c lits-rem:       598  cl-subs:     2593  v-elim:      0  v-fix:    0  time: 25.41 s
2324.22/582.55	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2324.22/582.57	c vivif2 --  cl tried   121496 cl shrink        0 lits rem          0 time: 0.11
2325.02/582.75	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.70
2325.02/582.75	c calculated reachability. Time: 0.00
2325.02/582.75	c  N dy  4756   2211239       634      2752         0    121496      8347   2081471     19.05   no data  --
2354.55/590.11	c  N dy  4838   2231245       634      2752         0     77011      8347    825690     19.04     24.17  --
2382.09/597.03	c  N dy  4937   2251383       634      2752         0     96945      8347   1390914     19.05     20.09  --
2420.39/606.65	c  N dy  5019   2271386       634      2752         0    116720      8347   1945373     19.06     24.70  --
2458.29/616.15	c  N dy  5113   2293558       634      2752         0     73415      8347    706824     19.06     20.16  --
2484.27/622.63	c  N dy  5222   2313721       634      2752         0     93385      8347   1274075     19.07     20.22  --
2517.74/631.05	c  N dy  5323   2333770       634      2752         0    113253      8347   1843625     19.08     20.13  --
2559.64/641.51	c  N dy  5418   2353952       634      2752         0     66942      8347    499485     19.09     20.10  --
2598.73/651.36	c  N dy  5470   2387165       634      2752         0     99708      8347   1409612     19.06     20.26  --
2635.85/660.61	c  N dy  5583   2407252       634      2752         0    119596      8347   1970488     19.07     21.67  --
2684.93/672.96	c  N dy  5677   2436914       634      2752         0     81629      8347    872165     19.05     20.17  --
2716.89/680.92	c  N dy  5785   2457228       634      2752         0    101745      8347   1439359     19.06     20.13  --
2755.97/690.76	c  N dy  5887   2478358       634      2752         0    122658      8347   2026936     19.07     20.26  --
2794.66/700.45	c  N dy  5986   2498456       634      2752         0     74306      8347    662651     19.08     20.35  --
2820.99/707.08	c  N dy  6103   2518617       634      2752         0     94283      8347   1228925     19.09     20.20  --
2855.70/715.74	c  N dy  6203   2538697       634      2752         0    114140      8347   1789172     19.10     23.29  --
2898.79/726.51	c  N dy  6299   2559098       634      2752         0    134335      8347   2364183     19.11     20.25  --
2931.53/734.75	c  N dy  6339   2583343       634      2752         0     89072      8347   1034517     19.08     20.10  --
2965.04/743.10	c  N dy  6434   2603928       634      2752         0    109453      8347   1605791     19.09     20.13  --
3007.33/753.73	c  N dy  6553   2624074       634      2752         0    129421      8347   2172180     19.10     20.86  --
3048.03/763.93	c  N dy  6631   2648528       634      2752         0     83368      8347    870326     19.10     20.13  --
3075.96/770.93	c  N dy  6696   2668663       634      2752         0    103257      8347   1423812     19.09     20.33  --
3114.27/780.53	c  N dy  6777   2688726       634      2752         0    123100      8347   1977553     19.10     21.56  --
3159.36/791.90	c  N dy  6854   2708803       634      2752         0     71725      8347    523775     19.10     26.05  --
3163.35/792.80	c  S st  6868   2711239       634      2752         0     74118      8347    590015     19.10   no data  --
3164.16/793.03	c  S st  6868   2711740       634      2752         0     74617      8347    604571     19.10   no data  --
3164.16/793.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3164.16/793.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3164.16/793.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
3164.16/793.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3164.58/793.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3164.58/793.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
3164.58/793.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3175.72/795.95	c lits-rem:       279  cl-subs:      123  v-elim:      0  v-fix:    0  time: 11.36 s
3175.72/795.95	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
3175.72/795.97	c vivif2 --  cl tried    74494 cl shrink        0 lits rem          0 time: 0.04
3176.12/796.06	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.38
3176.12/796.06	c calculated reachability. Time: 0.00
3176.12/796.06	c  N dy  6868   2711740       634      2752         0     74494      8347    600637     19.10   no data  --
3213.21/805.39	c  N dy  6925   2739740       634      2752         0    102120      8347   1359201     19.08     20.13  --
3251.95/815.09	c  N dy  7031   2760400       634      2752         0    122558      8347   1937709     19.09     20.15  --
3295.84/826.08	c  N dy  7126   2780479       634      2752         0    142422      8347   2501242     19.10     23.13  --
3323.75/833.08	c  N dy  7213   2800492       634      2752         0     90035      8347   1009638     19.10     20.15  --
3355.67/841.05	c  N dy  7318   2820522       634      2752         0    109851      8347   1568544     19.11     25.61  --
3397.96/851.66	c  N dy  7406   2842377       634      2752         0    131456      8347   2182031     19.11     20.35  --
3439.47/862.09	c  N dy  7521   2862466       634      2752         0     78153      8347    662216     19.12     22.64  --
3467.01/869.00	c  N dy  7602   2882865       634      2752         0     98302      8347   1224214     19.12     20.33  --
3512.08/880.21	c  N dy  7734   2902948       634      2752         0    118174      8347   1789984     19.13     20.21  --
3567.96/894.21	c  N dy  7859   2922966       634      2752         0    138015      8347   2354183     19.14     20.27  --
3607.47/904.12	c  N dy  7946   2943043       634      2752         0     83709      8347    794489     19.15     22.92  --
3638.61/911.96	c  N dy  8089   2963361       634      2752         0    103840      8347   1371188     19.16     20.22  --
3683.66/923.20	c  N dy  8135   2988336       634      2752         0    128472      8347   2044457     19.15     20.17  --
3731.54/935.28	c  N dy  8239   3008356       634      2752         0    148279      8347   2598681     19.15     22.93  --
3760.67/942.55	c  N dy  8329   3028447       634      2752         0     92996      8347   1043579     19.16     20.60  --
3790.99/950.12	c  N dy  8387   3048737       634      2752         0    112966      8347   1598599     19.14     20.18  --
3834.89/961.10	c  N dy  8503   3069206       634      2752         0    133196      8347   2171079     19.15     20.20  --
3881.96/972.92	c  N dy  8572   3089701       634      2752         0     77351      8347    572452     19.15     20.24  --
3909.10/979.70	c  N dy  8693   3109713       634      2752         0     97185      8347   1137814     19.16     20.44  --
3941.81/987.97	c  N dy  8755   3129797       634      2752         0    117029      8347   1690718     19.15     21.50  --
3996.08/1001.51	c  N dy  8868   3149942       634      2752         0    136959      8347   2246355     19.16     20.36  --
4048.75/1014.72	c  N dy  8946   3169984       634      2752         0     79632      8347    615689     19.16     21.64  --
4095.83/1026.56	c  N dy  8999   3204663       634      2752         0    113796      8347   1564334     19.13     20.16  --
4109.00/1029.88	c  S st  9012   3211740       634      2752         0    120767      8347   1753052     19.13     15.81  --
4110.60/1030.27	c  S st  9012   3212247       634      2752         0    121274      8347   1767696     19.13   no data  --
4110.60/1030.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4110.60/1030.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4111.00/1030.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
4111.40/1030.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4111.40/1030.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4111.40/1030.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
4111.40/1030.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4133.35/1035.95	c lits-rem:       217  cl-subs:     3187  v-elim:      0  v-fix:    0  time: 22.10 s
4133.35/1035.95	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
4133.35/1035.98	c vivif2 --  cl tried   118087 cl shrink        0 lits rem          0 time: 0.10
4134.16/1036.15	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.70
4134.16/1036.16	c calculated reachability. Time: 0.00
4134.16/1036.16	c  N dy  9012   3212247       634      2752         0    118087      8347   1687733     19.13   no data  --
4179.22/1047.42	c  N dy  9121   3232624       634      2752         0    138193      8347   2251716     19.14     20.17  --
4227.11/1059.44	c  N dy  9222   3252839       634      2752         0     80197      8347    612247     19.14     20.18  --
4255.04/1066.43	c  N dy  9319   3273039       634      2752         0    100171      8347   1174905     19.15     20.54  --
4290.55/1075.35	c  N dy  9399   3293355       634      2752         0    120265      8347   1738909     19.15     20.17  --
4340.03/1087.71	c  N dy  9483   3315793       634      2752         0    142396      8347   2354315     19.15     20.24  --
4385.12/1099.07	c  N dy  9560   3335816       634      2752         0     83165      8347    674278     19.15     20.38  --
4418.63/1107.40	c  N dy  9654   3355924       634      2752         0    103063      8347   1233348     19.15     20.16  --
4465.72/1119.24	c  N dy  9763   3375976       634      2752         0    122895      8347   1793141     19.16     22.68  --
4524.38/1133.93	c  N dy  9860   3398868       634      2752         0    145529      8347   2428982     19.16     20.48  --
4570.66/1145.57	c  N dy  9968   3418962       634      2752         0     85337      8347    713973     19.16     21.02  --
4602.18/1153.42	c  N dy 10093   3439197       634      2752         0    105374      8347   1286158     19.17     20.27  --
4640.48/1163.08	c  N dy 10175   3460231       634      2752         0    126151      8347   1869773     19.17     20.20  --
4708.32/1180.04	c  N dy 10233   3491601       634      2752         0    157053      8347   2719942     19.15     20.36  --
4740.63/1188.13	c  N dy 10251   3511811       634      2752         0     95923      8347    973471     19.14     20.19  --
4773.76/1196.47	c  N dy 10343   3531902       634      2752         0    115799      8347   1531695     19.14     20.15  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369037-1305410851/watcher-3369037-1305410851 -o /tmp/evaluation-result-3369037-1305410851/solver-3369037-1305410851 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369037-1305410851.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: 0.00 0.00 0.04 1/309 10649
/proc/meminfo: memFree=22941696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=282072 CPUtime=0.01 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 930 0 0 0 1 0 0 0 24 0 4 0 731315583 288841728 858 33554432000 4194304 4650419 140736122957328 18446744073709551615 4536279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 70518 858 359 112 0 65483 0
[pid=10649/tid=10650] ppid=10647 vsize=282816 CPUtime=0 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 259 0 0 0 0 0 0 0 24 0 4 0 731315583 289603584 1279 33554432000 4194304 4650419 140736122957328 18446744073709551615 252458090391 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=282816 CPUtime=0 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 324 0 0 0 0 0 0 0 24 0 4 0 731315583 289603584 1282 33554432000 4194304 4650419 140736122957328 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=282816 CPUtime=0 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 118 0 0 0 0 0 0 0 25 0 4 0 731315583 289603584 1283 33554432000 4194304 4650419 140736122957328 18446744073709551615 4545995 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0254991 s]
/proc/loadavg: 0.00 0.00 0.04 1/309 10649
/proc/meminfo: memFree=22941696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=282812 CPUtime=0.07 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 1518 0 0 0 7 0 0 0 24 0 4 0 731315583 289599488 1391 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 70703 1391 390 112 0 65668 0
[pid=10649/tid=10650] ppid=10647 vsize=282812 CPUtime=0.02 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 275 0 0 0 2 0 0 0 24 0 4 0 731315583 289599488 1391 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=282812 CPUtime=0.02 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 342 0 0 0 2 0 0 0 24 0 4 0 731315583 289599488 1392 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=282812 CPUtime=0.01 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 176 0 0 0 1 0 0 0 25 0 4 0 731315583 289599488 1392 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 282812

[startup+0.100485 s]
/proc/loadavg: 0.00 0.00 0.04 1/309 10649
/proc/meminfo: memFree=22941696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=282812 CPUtime=0.37 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 1887 0 0 0 37 0 0 0 24 0 4 0 731315583 289599488 1760 33554432000 4194304 4650419 140736122957328 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 70703 1761 391 112 0 65668 0
[pid=10649/tid=10650] ppid=10647 vsize=282812 CPUtime=0.09 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 357 0 0 0 9 0 0 0 24 0 4 0 731315583 289599488 1761 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=282812 CPUtime=0.09 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 433 0 0 0 9 0 0 0 24 0 4 0 731315583 289599488 1761 33554432000 4194304 4650419 140736122957328 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=282812 CPUtime=0.08 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 288 0 0 0 8 0 0 0 25 0 4 0 731315583 289599488 1761 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282812

[startup+0.300448 s]
/proc/loadavg: 0.00 0.00 0.04 1/309 10649
/proc/meminfo: memFree=22941696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=284220 CPUtime=1.17 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 3132 0 0 0 117 0 0 0 25 0 4 0 731315583 291041280 2316 33554432000 4194304 4650419 140736122957328 18446744073709551615 4355024 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 71055 2316 393 112 0 66020 0
[pid=10649/tid=10650] ppid=10647 vsize=284220 CPUtime=0.29 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 670 0 0 0 29 0 0 0 25 0 4 0 731315583 291041280 2316 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=284220 CPUtime=0.29 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 740 0 0 0 29 0 0 0 25 0 4 0 731315583 291041280 2316 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365483 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=284220 CPUtime=0.28 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 601 0 0 0 28 0 0 0 25 0 4 0 731315583 291041280 2316 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284220

[startup+0.700376 s]
/proc/loadavg: 0.00 0.00 0.04 1/309 10649
/proc/meminfo: memFree=22941696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=285252 CPUtime=2.77 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 4911 0 0 0 277 0 0 0 25 0 4 0 731315583 292098048 3067 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 71313 3067 393 112 0 66278 0
[pid=10649/tid=10650] ppid=10647 vsize=285252 CPUtime=0.69 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 1123 0 0 0 69 0 0 0 25 0 4 0 731315583 292098048 3067 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=285252 CPUtime=0.69 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 1200 0 0 0 69 0 0 0 25 0 4 0 731315583 292098048 3067 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=285252 CPUtime=0.68 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 1018 0 0 0 68 0 0 0 25 0 4 0 731315583 292098048 3067 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285252

[startup+1.50023 s]
/proc/loadavg: 0.00 0.00 0.04 9/321 10666
/proc/meminfo: memFree=22915048/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=292780 CPUtime=5.96 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 9869 0 0 0 595 1 0 0 25 0 4 0 731315583 299806720 5163 33554432000 4194304 4650419 140736122957328 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 73195 5163 395 112 0 68160 0
[pid=10649/tid=10650] ppid=10647 vsize=292780 CPUtime=1.49 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 2038 0 0 0 149 0 0 0 25 0 4 0 731315583 299806720 5163 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=292780 CPUtime=1.49 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 2134 0 0 0 149 0 0 0 25 0 4 0 731315583 299806720 5163 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=292780 CPUtime=1.47 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 1796 0 0 0 147 0 0 0 25 0 4 0 731315583 299806720 5163 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292780

[startup+3.10093 s]
/proc/loadavg: 0.64 0.13 0.08 9/321 10666
/proc/meminfo: memFree=22891736/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=275872 CPUtime=12.35 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 18114 0 0 0 1233 2 0 0 25 0 4 0 731315583 282492928 10677 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 68968 10677 395 112 0 63933 0
[pid=10649/tid=10650] ppid=10647 vsize=275872 CPUtime=3.09 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 4136 0 0 0 309 0 0 0 25 0 4 0 731315583 282492928 10677 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=275872 CPUtime=3.09 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 4934 0 0 0 309 0 0 0 25 0 4 0 731315583 282492928 10677 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=275872 CPUtime=3.06 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 4039 0 0 0 305 1 0 0 25 0 4 0 731315583 282492928 10677 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 275872

[startup+6.30033 s]
/proc/loadavg: 0.64 0.13 0.08 9/321 10666
/proc/meminfo: memFree=22828892/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=278156 CPUtime=25.12 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 26786 0 0 0 2508 4 0 0 25 0 4 0 731315583 284831744 13848 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 69539 13848 395 112 0 64504 0
[pid=10649/tid=10650] ppid=10647 vsize=278156 CPUtime=6.29 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 6635 0 0 0 628 1 0 0 25 0 4 0 731315583 284831744 13848 33554432000 4194304 4650419 140736122957328 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=278156 CPUtime=6.29 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 7197 0 0 0 629 0 0 0 25 0 4 0 731315583 284831744 13848 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=278156 CPUtime=6.22 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 5648 0 0 0 621 1 0 0 25 0 4 0 731315583 284831744 13848 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 278156

[startup+12.7011 s]
/proc/loadavg: 1.23 0.26 0.13 9/321 10666
/proc/meminfo: memFree=22780308/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=294144 CPUtime=50.65 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 41079 0 0 0 5057 8 0 0 25 0 4 0 731315583 301203456 22192 33554432000 4194304 4650419 140736122957328 18446744073709551615 4334521 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 73536 22192 395 112 0 68501 0
[pid=10649/tid=10650] ppid=10647 vsize=294144 CPUtime=12.68 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 11123 0 0 0 1267 1 0 0 25 0 4 0 731315583 301203456 22192 33554432000 4194304 4650419 140736122957328 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=294144 CPUtime=12.69 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 10538 0 0 0 1267 2 0 0 25 0 4 0 731315583 301203456 22192 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=294144 CPUtime=12.56 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 8212 0 0 0 1254 2 0 0 25 0 4 0 731315583 301203456 22192 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 294144

[startup+25.5008 s]
/proc/loadavg: 2.80 0.66 0.26 9/321 10667
/proc/meminfo: memFree=22705412/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=311216 CPUtime=101.72 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 58217 0 0 0 10158 14 0 0 25 0 4 0 731315583 318685184 33419 33554432000 4194304 4650419 140736122957328 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 77804 33419 395 112 0 72769 0
[pid=10649/tid=10650] ppid=10647 vsize=311216 CPUtime=25.48 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 17526 0 0 0 2546 2 0 0 25 0 4 0 731315583 318685184 33419 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=311216 CPUtime=25.49 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 14080 0 0 0 2546 3 0 0 25 0 4 0 731315583 318685184 33419 33554432000 4194304 4650419 140736122957328 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=311216 CPUtime=25.22 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 11131 0 0 0 2519 3 0 0 25 0 4 0 731315583 318685184 33419 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 311216

[startup+51.101 s]
/proc/loadavg: 4.57 1.25 0.46 9/321 10667
/proc/meminfo: memFree=22648636/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=308864 CPUtime=203.87 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 86261 0 0 0 20364 23 0 0 25 0 4 0 731315583 316276736 37949 33554432000 4194304 4650419 140736122957328 18446744073709551615 4328357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 77216 37949 395 112 0 72181 0
[pid=10649/tid=10650] ppid=10647 vsize=308864 CPUtime=51.09 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 26692 0 0 0 5104 5 0 0 25 0 4 0 731315583 316276736 37949 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=308864 CPUtime=51.09 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 19885 0 0 0 5104 5 0 0 25 0 4 0 731315583 316276736 37949 33554432000 4194304 4650419 140736122957328 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=308864 CPUtime=50.58 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 16532 0 0 0 5052 6 0 0 25 0 4 0 731315583 316276736 37949 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 308864

[startup+102.311 s]
/proc/loadavg: 6.67 2.39 0.90 9/321 10669
/proc/meminfo: memFree=22606696/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=389712 CPUtime=408.21 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 128662 0 0 0 40779 42 0 0 25 0 4 0 731315583 399065088 42617 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 97428 42617 395 112 0 92393 0
[pid=10649/tid=10650] ppid=10647 vsize=389712 CPUtime=102.3 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 41323 0 0 0 10219 11 0 0 25 0 4 0 731315583 399065088 42617 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=389712 CPUtime=102.3 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 26323 0 0 0 10222 8 0 0 25 0 4 0 731315583 399065088 42617 33554432000 4194304 4650419 140736122957328 18446744073709551615 4360439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=389712 CPUtime=101.27 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 24288 0 0 0 10117 10 0 0 25 0 4 0 731315583 399065088 42617 33554432000 4194304 4650419 140736122957328 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.21
Current children cumulated vsize (KiB) 389712

[startup+162.3 s]

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

[pid=10649] ppid=10647 vsize=614556 CPUtime=2562.85 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 333969 0 0 0 256146 139 0 0 25 0 4 0 731315583 629305344 99008 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 153639 99008 395 112 0 148604 0
[pid=10649/tid=10650] ppid=10647 vsize=614556 CPUtime=642.32 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 116960 0 0 0 64183 49 0 0 25 0 4 0 731315583 629305344 99009 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=614556 CPUtime=642.32 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 84041 0 0 0 64199 33 0 0 25 0 4 0 731315583 629305344 99009 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=614556 CPUtime=635.89 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 69429 0 0 0 63557 32 0 0 25 0 4 0 731315583 629305344 99009 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.85
Current children cumulated vsize (KiB) 614556

[startup+702.301 s]
/proc/loadavg: 8.12 7.33 4.29 9/321 10715
/proc/meminfo: memFree=22307960/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=627836 CPUtime=2802.24 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 351819 0 0 0 280077 147 0 0 25 0 4 0 731315583 642904064 93243 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 156959 93243 395 112 0 151924 0
[pid=10649/tid=10650] ppid=10647 vsize=627836 CPUtime=702.31 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 124318 0 0 0 70180 51 0 0 25 0 4 0 731315583 642904064 93243 33554432000 4194304 4650419 140736122957328 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=627836 CPUtime=702.31 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 89722 0 0 0 70195 36 0 0 25 0 4 0 731315583 642904064 93243 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=627836 CPUtime=695.28 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 72472 0 0 0 69495 33 0 0 25 0 4 0 731315583 642904064 93243 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.24
Current children cumulated vsize (KiB) 627836

[startup+762.312 s]
/proc/loadavg: 8.14 7.48 4.55 9/321 10716
/proc/meminfo: memFree=22293544/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=559148 CPUtime=3041.68 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 372464 0 0 0 304013 155 0 0 25 0 4 0 731315583 572567552 88851 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 139787 88851 395 112 0 134752 0
[pid=10649/tid=10650] ppid=10647 vsize=559148 CPUtime=762.33 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 130798 0 0 0 76179 54 0 0 25 0 4 0 731315583 572567552 88851 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=559148 CPUtime=762.33 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 97183 0 0 0 76193 40 0 0 25 0 4 0 731315583 572567552 88851 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=559148 CPUtime=754.7 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 76318 0 0 0 75435 35 0 0 25 0 4 0 731315583 572567552 88851 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.68
Current children cumulated vsize (KiB) 559148

[startup+822.3 s]
/proc/loadavg: 8.13 7.59 4.75 9/321 10718
/proc/meminfo: memFree=22228036/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=583840 CPUtime=3281.05 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 395935 0 0 0 327938 167 0 0 25 0 4 0 731315583 597852160 96216 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 145960 96216 395 112 0 140925 0
[pid=10649/tid=10650] ppid=10647 vsize=583840 CPUtime=822.31 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 137834 0 0 0 82174 57 0 0 25 0 4 0 731315583 597852160 96216 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=583840 CPUtime=822.31 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 106904 0 0 0 82188 43 0 0 25 0 4 0 731315583 597852160 96216 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=583840 CPUtime=814.09 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 80398 0 0 0 81372 37 0 0 25 0 4 0 731315583 597852160 96216 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.05
Current children cumulated vsize (KiB) 583840

[startup+882.301 s]
/proc/loadavg: 8.24 7.71 4.98 9/321 10719
/proc/meminfo: memFree=22227280/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=648292 CPUtime=3520.46 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 418850 0 0 0 351867 179 0 0 25 0 4 0 731315583 663851008 101983 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 162073 101983 395 112 0 157038 0
[pid=10649/tid=10650] ppid=10647 vsize=648292 CPUtime=882.31 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 147288 0 0 0 88170 61 0 0 25 0 4 0 731315583 663851008 101983 33554432000 4194304 4650419 140736122957328 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=648292 CPUtime=882.32 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 115045 0 0 0 88185 47 0 0 25 0 4 0 731315583 663851008 101983 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=648292 CPUtime=873.49 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 82445 0 0 0 87310 39 0 0 25 0 4 0 731315583 663851008 101983 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.46
Current children cumulated vsize (KiB) 648292

[startup+942.301 s]
/proc/loadavg: 8.21 7.79 5.17 9/321 10721
/proc/meminfo: memFree=22153720/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=700740 CPUtime=3759.87 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 437440 0 0 0 375799 188 0 0 25 0 4 0 731315583 717557760 110522 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 175185 110522 395 112 0 170150 0
[pid=10649/tid=10650] ppid=10647 vsize=700740 CPUtime=942.32 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 152754 0 0 0 94168 64 0 0 25 0 4 0 731315583 717557760 110522 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=700740 CPUtime=942.32 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 122820 0 0 0 94181 51 0 0 25 0 4 0 731315583 717557760 110522 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=700740 CPUtime=932.89 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 87592 0 0 0 93248 41 0 0 25 0 4 0 731315583 717557760 110522 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.87
Current children cumulated vsize (KiB) 700740

[startup+1002.3 s]
/proc/loadavg: 8.13 7.84 5.36 9/321 10723
/proc/meminfo: memFree=22153324/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=648800 CPUtime=3999.27 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 457322 0 0 0 399730 197 0 0 25 0 4 0 731315583 664371200 112757 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 162200 112757 395 112 0 157165 0
[pid=10649/tid=10650] ppid=10647 vsize=648800 CPUtime=1002.32 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 159704 0 0 0 100164 68 0 0 25 0 4 0 731315583 664371200 112757 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=648800 CPUtime=1002.33 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 133310 0 0 0 100178 55 0 0 25 0 4 0 731315583 664371200 112757 33554432000 4194304 4650419 140736122957328 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=648800 CPUtime=992.29 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 89796 0 0 0 99186 43 0 0 25 0 4 0 731315583 664371200 112757 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.27
Current children cumulated vsize (KiB) 648800

[startup+1062.3 s]
/proc/loadavg: 8.10 7.88 5.51 9/321 10724
/proc/meminfo: memFree=22102572/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=715588 CPUtime=4238.68 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 476348 0 0 0 423661 207 0 0 25 0 4 0 731315583 732762112 120513 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 178897 120513 395 112 0 173862 0
[pid=10649/tid=10650] ppid=10647 vsize=715588 CPUtime=1062.33 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 166600 0 0 0 106162 71 0 0 25 0 4 0 731315583 732762112 120513 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=715588 CPUtime=1062.33 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 140628 0 0 0 106175 58 0 0 25 0 4 0 731315583 732762112 120513 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=715588 CPUtime=1051.7 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 94164 0 0 0 105123 47 0 0 25 0 4 0 731315583 732762112 120513 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.68
Current children cumulated vsize (KiB) 715588

[startup+1122.3 s]
/proc/loadavg: 8.12 7.93 5.69 9/321 10726
/proc/meminfo: memFree=22083708/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=649328 CPUtime=4478.09 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 490558 0 0 0 447593 216 0 0 25 0 4 0 731315583 664911872 119059 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 162332 119059 395 112 0 157297 0
[pid=10649/tid=10650] ppid=10647 vsize=649328 CPUtime=1122.32 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 171474 0 0 0 112159 73 0 0 25 0 4 0 731315583 664911872 119059 33554432000 4194304 4650419 140736122957328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=649328 CPUtime=1122.33 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 148265 0 0 0 112171 62 0 0 25 0 4 0 731315583 664911872 119059 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=649328 CPUtime=1111.1 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 95562 0 0 0 111062 48 0 0 25 0 4 0 731315583 664911872 119059 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.09
Current children cumulated vsize (KiB) 649328

[startup+1182.3 s]
/proc/loadavg: 8.08 7.96 5.83 9/321 10727
/proc/meminfo: memFree=22077732/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=751028 CPUtime=4717.5 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 508958 0 0 0 471524 226 0 0 25 0 4 0 731315583 769052672 121923 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 187757 121923 395 112 0 182722 0
[pid=10649/tid=10650] ppid=10647 vsize=751028 CPUtime=1182.32 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 178038 0 0 0 118156 76 0 0 25 0 4 0 731315583 769052672 121923 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=751028 CPUtime=1182.33 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 156088 0 0 0 118166 67 0 0 25 0 4 0 731315583 769052672 121923 33554432000 4194304 4650419 140736122957328 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=751028 CPUtime=1170.51 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 99106 0 0 0 117001 50 0 0 25 0 4 0 731315583 769052672 121923 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.5
Current children cumulated vsize (KiB) 751028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.19 7.99 5.89 9/321 10728
/proc/meminfo: memFree=22037668/32951124 swapFree=59305796/67111528
[pid=10649] ppid=10647 vsize=703464 CPUtime=4800.11 cores=1,3,5,7
/proc/10649/stat : 10649 (strangenight1-m) R 10647 10649 10621 0 -1 4202496 513229 0 0 0 479782 229 0 0 25 0 4 0 731315583 720347136 125475 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10649/statm: 175866 125475 395 112 0 170831 0
[pid=10649/tid=10650] ppid=10647 vsize=703464 CPUtime=1203.04 cores=1,3,5,7
/proc/10649/task/10650/stat : 10650 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 180705 0 0 0 120226 78 0 0 25 0 4 0 731315583 720347136 125476 33554432000 4194304 4650419 140736122957328 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10649/tid=10651] ppid=10647 vsize=703464 CPUtime=1203.04 cores=1,3,5,7
/proc/10649/task/10651/stat : 10651 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 157638 0 0 0 120236 68 0 0 25 0 4 0 731315583 720347136 125476 33554432000 4194304 4650419 140736122957328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10649/tid=10652] ppid=10647 vsize=703464 CPUtime=1191 cores=1,3,5,7
/proc/10649/task/10652/stat : 10652 (strangenight1-m) R 10647 10649 10621 0 -1 4202560 99106 0 0 0 119050 50 0 0 25 0 4 0 731315583 720347136 125476 33554432000 4194304 4650419 140736122957328 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 703464

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.18
CPU user time (s): 4797.86
CPU system time (s): 2.31365
CPU usage (%): 399.005
Max. virtual memory (cumulated for all children) (KiB): 803708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.31365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513230
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= 182
involuntary context switches= 18731

runsolver used 3.2615 second user time and 8.80366 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 00:07:31
IDJOB=3369037
IDBENCH=83046
IDSOLVER=1846
FILE ID=node111/3369037-1305410851
RUNJOBID= node111-1305410850-10640
PBS_JOBID= 13324532
Free space on /tmp= 73676 MiB

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

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

MD5SUM BENCH= 8f7328be14ce714cebc5a66418b5924c
RANDOM SEED=1865181958

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22941976 kB
Buffers:        263996 kB
Cached:        6501900 kB
SwapCached:      13720 kB
Active:         925080 kB
Inactive:      8869112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22941976 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:     3024008 kB
Mapped:          12152 kB
Slab:           114888 kB
PageTables:      35924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53312796 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= 73664 MiB
End job on node111 at 2011-05-15 00:27:36