Trace number 3366516

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-2-mt (fixed)? (TO) 4800.36 1203.06

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
MD5SUM99f3efd3bfc8a6f99ffbd289ed4a5837
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 variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366516-1305405919.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 1/2556/2556 lits-rem:3 time: 0.00
0.00/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     250 undec:      81 neg:     269
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       585      2541         1         0      7709         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4918       585      2541         1      4850      7709    127866   no data   no data
0.00/0.80	c  N st    10     11302       585      2541         1      4506      7709     85041   no data   no data
0.00/0.80	c  N st    11     17045       585      2541         1     10152      7709    238063   no data   no data
4.37/1.14	c  F st    12     25000       585      2541         1     12455      7709    306679   no data   no data
4.37/1.15	c  N st    12     25000       585      2541         1     12455      7709    306679   no data   no data
5.57/1.41	c  N dy    18     30002       585      2541         1     10725      7709    236709   no data   no data
5.57/1.41	c  S st    18     30002       585      2541         1     10725      7709    236709   no data   no data
5.57/1.44	c  S st    18     30503       585      2541         1     11226      7709    249668   no data   no data
5.57/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.44	c blocked clauses removed:        8 vars:      1 tried:         585 T: 0.00 s
5.57/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
5.57/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.51	c lits-rem:       145  cl-subs:      370  v-elim:      0  v-fix:    0  time:  0.05 s
5.98/1.51	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
5.98/1.51	c calculated reachability. Time: 0.00
5.98/1.51	c  N dy    18     30503       584      2533         1     10856      7685    237692   no data   no data
6.78/1.76	c  N dy    29     34608       584      2533         1     14920      7685    344801     18.29     19.56
7.60/1.98	c  N dy    46     38695       584      2533         1     11123      7685    189748     18.01     20.33
8.76/2.25	c  N dy    61     43180       584      2533         1     15584      7685    305651     17.75     18.76
9.57/2.43	c  S st    70     45755       584      2533         1      9262      7685    116137     17.59   no data
9.57/2.46	c  S st    70     46260       584      2533         1      9767      7685    128270     17.59   no data
9.57/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.57/2.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.48	c lits-rem:         6  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.48	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
9.57/2.48	c vivif2 --  cl tried     9764 cl shrink        0 lits rem          0 time: 0.00
9.57/2.48	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.00
9.57/2.48	c calculated reachability. Time: 0.00
9.57/2.48	c  N dy    70     46260       584      2533         1      9764      7685    128162     17.59   no data
10.77/2.72	c  N dy    86     50370       584      2533         1     13834      7685    234100     17.60     18.72
11.57/2.99	c  N dy   103     54500       584      2533         1     17943      7685    340016     17.63     18.57
13.15/3.34	c  N dy   123     59984       584      2533         1     13474      7685    197200     17.53     18.52
14.35/3.61	c  N dy   140     63991       584      2533         1     17433      7685    297770     17.56     18.54
15.55/3.94	c  N dy   154     68086       584      2533         1     21489      7685    402348     17.53     18.59
15.96/4.03	c  S st   161     69390       584      2533         1     11896      7685    136777     17.55     15.63
15.96/4.06	c  S st   161     69895       584      2533         1     12401      7685    149759     17.55   no data
15.96/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
15.96/4.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.96/4.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c lits-rem:         7  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.01 s
15.96/4.08	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
15.96/4.09	c vivif2 --  cl tried    12367 cl shrink        0 lits rem          0 time: 0.00
15.96/4.09	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
15.96/4.09	c calculated reachability. Time: 0.00
15.96/4.09	c  N dy   161     69895       584      2533         1     12367      7685    148764     17.55   no data
17.55/4.42	c  N dy   183     74931       584      2533         1     17352      7685    277151     17.55     18.49
19.15/4.81	c  N dy   211     79835       584      2533         1     22220      7685    403189     17.61     18.55
21.13/5.33	c  N dy   228     87216       584      2533         1     17613      7685    264683     17.54     18.50
21.13/5.35	c  F st   231     87500       584      2533         1     17895      7685    272406     17.56   no data
22.73/5.73	c Decided on static restart strategy
23.53/5.98	c  N st   238     95541       584      2533         1     13006      7685    252647     17.56   no data
26.72/6.72	c  N st   240    104843       584      2533         1     22172      7685    509264     17.56   no data
26.72/6.72	c  S st   240    104843       584      2533         1     22172      7685    509264     17.56   no data
26.72/6.78	c  S st   240    105346       584      2533         1     22675      7685    522629     17.56   no data
26.72/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.72/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.72/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.72/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.72/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
26.72/6.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.12/6.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.12/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.02	c lits-rem:       480  cl-subs:      726  v-elim:      0  v-fix:    0  time:  0.20 s
27.92/7.02	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
27.92/7.02	c vivif2 --  cl tried    21949 cl shrink        0 lits rem          0 time: 0.01
27.92/7.03	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
27.92/7.04	c calculated reachability. Time: 0.00
27.92/7.04	c  N st   240    105346       584      2533         1     21949      7685    498887     17.56   no data
31.51/7.97	c  N st   241    114944       584      2533         1     17600      7685    318069     17.56   no data
37.50/9.45	c  N st   242    129342       584      2533         1     16959      7685    308998     17.56   no data
45.48/11.40	c  N st   243    150938       584      2533         1     22464      7685    413433     17.56   no data
48.28/12.10	c  S st   244    158019       584      2533         1     29460      7685    611843     17.56   no data
48.28/12.17	c  S st   244    158526       584      2533         1     29967      7685    625386     17.56   no data
48.28/12.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.28/12.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.28/12.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.28/12.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.28/12.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.28/12.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
48.28/12.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.28/12.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.68/12.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.27/12.68	c lits-rem:       231  cl-subs:     1444  v-elim:      0  v-fix:    0  time:  0.47 s
50.27/12.68	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
50.27/12.69	c vivif2 --  cl tried    28523 cl shrink        0 lits rem          0 time: 0.01
50.67/12.71	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
50.67/12.71	c calculated reachability. Time: 0.00
50.67/12.71	c  N st   244    158526       584      2533         1     28523      7685    585837     17.56   no data
70.62/17.76	c  N st   245    207114       584      2533         1     23293      7685    408257     17.56   no data
84.19/21.17	c  N st   246    237789       584      2533         1     33637      7685    631708     17.56   no data
84.19/21.17	c  S st   246    237789       584      2533         1     33637      7685    631708     17.56   no data
84.59/21.27	c  S st   246    238292       584      2533         1     34140      7685    644603     17.56   no data
84.59/21.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.59/21.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.59/21.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.59/21.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.59/21.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.59/21.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
84.59/21.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.59/21.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.00/21.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.39/21.96	c lits-rem:       145  cl-subs:     1737  v-elim:      0  v-fix:    0  time:  0.65 s
87.39/21.96	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
87.39/21.96	c vivif2 --  cl tried    32403 cl shrink        0 lits rem          0 time: 0.01
87.39/21.99	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
87.39/21.99	c calculated reachability. Time: 0.00
87.39/21.99	c  N st   246    238292       584      2533         1     32403      7685    598769     17.56   no data
120.12/30.19	c  F st   247    306250       584      2533         1     34284      7685    596845     17.56   no data
120.12/30.19	c  N st   247    306250       584      2533         1     34284      7685    596845     17.56   no data
122.90/30.81	c Decided on static restart strategy
134.50/33.75	c  N st   257    334556       584      2533         1     38606      7685    712868     17.56   no data
146.46/36.79	c  N st   259    357440       584      2533         1     36545      7685    632896     17.56   no data
146.46/36.79	c  S st   259    357440       584      2533         1     36545      7685    632896     17.56   no data
146.86/36.88	c  S st   259    357943       584      2533         1     37048      7685    645391     17.56   no data
146.86/36.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.26/36.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.26/36.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.26/36.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.26/36.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.26/36.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
147.26/36.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.26/36.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.26/36.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.45/37.28	c lits-rem:       249  cl-subs:     1042  v-elim:      0  v-fix:    0  time:  0.35 s
148.45/37.28	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
148.45/37.29	c vivif2 --  cl tried    36006 cl shrink        0 lits rem          0 time: 0.01
148.85/37.32	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
148.85/37.32	c calculated reachability. Time: 0.00
148.85/37.32	c  N st   259    357943       584      2533         1     36006      7685    614163     17.56   no data
166.40/41.79	c  N st   260    390335       584      2533         1     42325      7685    758917     17.56   no data
193.55/48.50	c  N st   261    438923       584      2533         1     36050      7685    572458     17.56   no data
235.06/58.92	c  N st   262    511806       584      2533         1     49642      7685    922435     17.56   no data
249.82/62.66	c  N st   263    536914       584      2533         1     43887      7685    732550     17.56   no data
249.82/62.66	c  S st   263    536914       584      2533         1     43887      7685    732550     17.56   no data
250.22/62.79	c  S st   263    537417       584      2533         1     44390      7685    745606     17.56   no data
250.22/62.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
250.62/62.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
250.62/62.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
250.62/62.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.62/62.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.62/62.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
250.62/62.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
250.62/62.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
250.62/62.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.62/63.36	c lits-rem:       252  cl-subs:     1008  v-elim:      0  v-fix:    0  time:  0.51 s
252.62/63.36	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
252.62/63.37	c vivif2 --  cl tried    43382 cl shrink        0 lits rem          0 time: 0.01
252.62/63.40	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
252.62/63.40	c calculated reachability. Time: 0.00
252.62/63.40	c  N st   263    537417       584      2533         1     43382      7685    715600     17.56   no data
373.95/93.72	c  N st   264    701401       584      2533         1     37417      7685    449034     17.56   no data
451.01/113.02	c  N st   265    806126       584      2533         1     66693      7685   1268604     17.56   no data
451.01/113.02	c  S st   265    806126       584      2533         1     66693      7685   1268604     17.56   no data
451.77/113.21	c  S st   265    806629       584      2533         1     67195      7685   1281825     17.56   no data
451.77/113.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
451.77/113.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
451.77/113.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
451.77/113.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.77/113.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.77/113.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
451.77/113.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
451.77/113.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
452.17/113.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.54/115.97	c lits-rem:       583  cl-subs:     2358  v-elim:      0  v-fix:    0  time:  2.67 s
462.54/115.97	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
462.54/115.99	c vivif2 --  cl tried    64837 cl shrink        0 lits rem          0 time: 0.02
462.94/116.05	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.06
462.94/116.05	c calculated reachability. Time: 0.00
462.94/116.05	c  N st   265    806629       584      2533         1     64837      7685   1213087     17.56   no data
702.81/176.15	c  F st   266   1071875       584      2533         1     80831      7685   1605196     17.56   no data
702.81/176.16	c  N st   266   1071875       584      2533         1     80831      7685   1605196     17.56   no data
709.20/177.78	c Decided on static restart strategy
727.17/182.21	c  N st   276   1100177       584      2533         1     64508      7685   1077978     17.56   no data
760.28/190.50	c  N st   278   1136170       584      2533         1     54675      7685    739433     17.56   no data
791.41/198.35	c  N st   279   1168563       584      2533         1     86240      7685   1559405     17.56   no data
827.74/207.47	c  N st   280   1209943       584      2533         1     80728      7685   1417576     17.56   no data
827.74/207.47	c  S st   280   1209943       584      2533         1     80728      7685   1417576     17.56   no data
828.93/207.70	c  S st   280   1210450       584      2533         1     81234      7685   1429875     17.56   no data
828.93/207.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
828.93/207.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
828.93/207.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
828.93/207.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
828.93/207.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
828.93/207.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
828.93/207.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
828.93/207.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
829.32/207.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.09/211.01	c lits-rem:       442  cl-subs:     3220  v-elim:      0  v-fix:    0  time:  3.20 s
842.09/211.01	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
842.09/211.03	c vivif2 --  cl tried    78014 cl shrink        0 lits rem          0 time: 0.02
842.49/211.10	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.07
842.49/211.10	c calculated reachability. Time: 0.00
842.49/211.10	c  N st   280   1210450       584      2533         1     78014      7685   1347568     17.56   no data
916.37/229.69	c  N st   281   1283333       584      2533         1     54594      7685    670919     17.56   no data
1020.10/255.60	c  N st   282   1392656       584      2533         1     62554      7685    851937     17.56   no data
1191.31/298.57	c  N st   283   1556640       584      2533         1     67322      7685    936856     17.56   no data
1358.54/340.47	c  N st   284   1710450       584      2533         1    109337      7685   2149211     17.56   no data
1358.54/340.47	c  S st   284   1710450       584      2533         1    109337      7685   2149211     17.56   no data
1360.13/340.83	c  S st   284   1710951       584      2533         1    109836      7685   2162540     17.56   no data
1360.13/340.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1360.13/340.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1360.13/340.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1360.13/340.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1360.13/340.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1360.13/340.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1360.13/340.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1360.53/340.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1360.53/340.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1403.67/351.73	c lits-rem:      1222  cl-subs:     5073  v-elim:      0  v-fix:    0  time: 10.74 s
1403.67/351.73	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1403.67/351.75	c vivif2 --  cl tried   104763 cl shrink        0 lits rem          0 time: 0.03
1404.02/351.86	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
1404.02/351.87	c calculated reachability. Time: 0.00
1404.02/351.87	c  N st   284   1710951       584      2533         1    104763      7685   2016083     17.56   no data
1855.41/464.96	c  N st   285   2079916       584      2533         1    116359      7685   2173315     17.56   no data
2023.82/507.12	c  N st   286   2210952       584      2533         1    120433      7685   2279012     17.56   no data
2023.82/507.12	c  S st   286   2210952       584      2533         1    120433      7685   2279012     17.56   no data
2025.42/507.53	c  S st   286   2211456       584      2533         1    120936      7685   2292868     17.56   no data
2025.42/507.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2025.82/507.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2025.82/507.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2025.82/507.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2025.82/507.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2025.82/507.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2025.82/507.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2025.82/507.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2026.21/507.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2083.28/522.00	c lits-rem:      1279  cl-subs:     6348  v-elim:      0  v-fix:    0  time: 14.29 s
2083.28/522.00	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2083.28/522.03	c vivif2 --  cl tried   114588 cl shrink        0 lits rem          0 time: 0.03
2083.69/522.15	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
2083.69/522.16	c calculated reachability. Time: 0.00
2083.69/522.16	c  N st   286   2211456       584      2533         1    114588      7685   2120253     17.56   no data
2752.58/689.75	c  N st   287   2711456       584      2533         1    138098      7685   2597942     17.56   no data
2752.58/689.75	c  S st   287   2711456       584      2533         1    138098      7685   2597942     17.56   no data
2754.58/690.24	c  S st   287   2711958       584      2533         1    138600      7685   2611263     17.56   no data
2754.58/690.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2754.97/690.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2754.97/690.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2754.97/690.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2754.97/690.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2754.97/690.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2754.97/690.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2754.97/690.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2755.38/690.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2832.79/709.81	c lits-rem:      1870  cl-subs:     8021  v-elim:      0  v-fix:    0  time: 19.37 s
2832.79/709.81	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2832.79/709.85	c vivif2 --  cl tried   130579 cl shrink        0 lits rem          0 time: 0.03
2833.19/709.99	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.14
2833.59/710.00	c calculated reachability. Time: 0.00
2833.59/710.00	c  N st   287   2711958       584      2533         1    130579      7685   2409355     17.56   no data
3534.40/885.62	c  N st   288   3211959       584      2533         1    106380      7685   1609568     17.56   no data
3534.40/885.62	c  S st   288   3211959       584      2533         1    106380      7685   1609568     17.56   no data
3536.00/886.01	c  S st   288   3212461       584      2533         1    106881      7685   1623357     17.56   no data
3536.00/886.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3536.00/886.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3536.00/886.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3536.00/886.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3536.00/886.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3536.00/886.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3536.00/886.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3536.40/886.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3536.40/886.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3564.33/893.17	c lits-rem:       237  cl-subs:     3954  v-elim:      0  v-fix:    0  time:  6.99 s
3564.33/893.17	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3564.73/893.20	c vivif2 --  cl tried   102927 cl shrink        0 lits rem          0 time: 0.03
3565.13/893.34	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.14
3565.13/893.34	c calculated reachability. Time: 0.00
3565.13/893.34	c  N st   288   3212461       584      2533         1    102927      7685   1521747     17.56   no data
4317.02/1081.74	c  N st   289   3712462       584      2533         1    113805      7685   1766207     17.56   no data
4317.02/1081.74	c  S st   289   3712462       584      2533         1    113805      7685   1766207     17.56   no data
4318.23/1082.08	c  S st   289   3712967       584      2533         1    114309      7685   1780150     17.56   no data
4318.23/1082.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4318.65/1082.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4318.65/1082.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4318.65/1082.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4318.65/1082.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4318.65/1082.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4318.65/1082.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4318.65/1082.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4319.01/1082.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4338.96/1087.25	c lits-rem:      1042  cl-subs:     3616  v-elim:      0  v-fix:    0  time:  5.02 s
4338.96/1087.25	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4338.96/1087.27	c vivif2 --  cl tried   110693 cl shrink        0 lits rem          0 time: 0.02
4339.36/1087.39	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
4339.36/1087.39	c calculated reachability. Time: 0.00
4339.36/1087.39	c  N st   289   3712967       584      2533         1    110693      7685   1674657     17.56   no data
4408.41/1104.63	c  F st   290   3751562       584      2533         1    148502      7685   2845766     17.56   no data
4408.41/1104.63	c  N st   290   3751562       584      2533         1    148502      7685   2845766     17.56   no data
4420.77/1107.76	c Decided on static restart strategy
4462.68/1118.22	c  N st   300   3779865       584      2533         1     93084      7685   1073295     17.56   no data
4531.53/1135.58	c  N st   302   3815860       584      2533         1    128355      7685   2091845     17.56   no data
4599.89/1152.84	c  N st   303   3848255       584      2533         1    160085      7685   2993284     17.56   no data
4669.74/1170.32	c  N st   304   3896844       584      2533         1    123397      7685   1883091     17.56   no data
4789.46/1200.39	c  N st   305   3969726       584      2533         1    109444      7685   1480848     17.56   no data

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-3366516-1305405919/watcher-3366516-1305405919 -o /tmp/evaluation-result-3366516-1305405919/solver-3366516-1305405919 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366516-1305405919.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: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 4 0 652191554 52396032 348 33554432000 4194304 4580107 140733659738096 18446744073709551615 208080288753 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 12792 348 299 95 0 7774 0
[pid=2467/tid=2471] ppid=2463 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 652191555 52396032 352 33554432000 4194304 4580107 140733659738096 18446744073709551615 47897500911129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 652191555 52396032 352 33554432000 4194304 4580107 140733659738096 18446744073709551615 47897500911123 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652191555 52396032 352 33554432000 4194304 4580107 140733659738096 18446744073709551615 47897500911617 0 0 4096 2 0 0 0 -1 7 0 0 0

[startup+0.86045 s]
/proc/loadavg: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285316 CPUtime=3.41 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 5704 0 0 0 340 1 0 0 25 0 4 0 652191554 292163584 2672 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71329 2672 377 95 0 66311 0
[pid=2467/tid=2471] ppid=2463 vsize=285316 CPUtime=0.85 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1366 0 0 0 85 0 0 0 25 0 4 0 652191555 292163584 2672 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285316 CPUtime=0.85 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1346 0 0 0 85 0 0 0 19 0 4 0 652191555 292163584 2672 33554432000 4194304 4580107 140733659738096 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285316 CPUtime=0.84 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1244 0 0 0 84 0 0 0 19 0 4 0 652191555 292163584 2672 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 285316

[startup+0.900443 s]
/proc/loadavg: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285316 CPUtime=3.57 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 5806 0 0 0 356 1 0 0 25 0 4 0 652191554 292163584 2774 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71329 2775 377 95 0 66311 0
[pid=2467/tid=2471] ppid=2463 vsize=285316 CPUtime=0.89 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1392 0 0 0 89 0 0 0 25 0 4 0 652191555 292163584 2775 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285316 CPUtime=0.89 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1371 0 0 0 89 0 0 0 19 0 4 0 652191555 292163584 2775 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285316 CPUtime=0.88 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1269 0 0 0 88 0 0 0 19 0 4 0 652191555 292163584 2775 33554432000 4194304 4580107 140733659738096 18446744073709551615 4316324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 285316

[startup+1.00043 s]
/proc/loadavg: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285448 CPUtime=3.97 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 6063 0 0 0 396 1 0 0 25 0 4 0 652191554 292298752 3031 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71362 3031 377 95 0 66344 0
[pid=2467/tid=2471] ppid=2463 vsize=285448 CPUtime=0.99 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1453 0 0 0 99 0 0 0 25 0 4 0 652191555 292298752 3031 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285448 CPUtime=0.99 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1430 0 0 0 99 0 0 0 19 0 4 0 652191555 292298752 3031 33554432000 4194304 4580107 140733659738096 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285448 CPUtime=0.98 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1342 0 0 0 98 0 0 0 19 0 4 0 652191555 292298752 3031 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285448

[startup+1.10041 s]
/proc/loadavg: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285448 CPUtime=4.37 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 6324 0 0 0 436 1 0 0 25 0 4 0 652191554 292298752 3292 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71362 3292 377 95 0 66344 0
[pid=2467/tid=2471] ppid=2463 vsize=285448 CPUtime=1.09 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1511 0 0 0 109 0 0 0 25 0 4 0 652191555 292298752 3292 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285448 CPUtime=1.09 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1496 0 0 0 109 0 0 0 19 0 4 0 652191555 292298752 3293 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285448 CPUtime=1.08 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1402 0 0 0 108 0 0 0 19 0 4 0 652191555 292298752 3293 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285448

[startup+1.50033 s]
/proc/loadavg: 5.06 7.31 7.71 4/294 2467
/proc/meminfo: memFree=13124884/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285996 CPUtime=5.98 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 9497 0 0 0 596 2 0 0 25 0 4 0 652191554 292859904 4975 33554432000 4194304 4580107 140733659738096 18446744073709551615 4415664 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71499 4975 379 95 0 66481 0
[pid=2467/tid=2471] ppid=2463 vsize=285996 CPUtime=1.49 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1930 0 0 0 149 0 0 0 25 0 4 0 652191555 292859904 4975 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285996 CPUtime=1.49 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1915 0 0 0 149 0 0 0 20 0 4 0 652191555 292859904 4976 33554432000 4194304 4580107 140733659738096 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285996 CPUtime=1.48 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 1824 0 0 0 148 0 0 0 20 0 4 0 652191555 292859904 4976 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 285996

[startup+3.10103 s]
/proc/loadavg: 5.54 7.37 7.73 9/302 2475
/proc/meminfo: memFree=13046832/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=275720 CPUtime=12.35 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 18790 0 0 0 1232 3 0 0 25 0 4 0 652191554 282337280 11120 33554432000 4194304 4580107 140733659738096 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 68930 11120 379 95 0 63912 0
[pid=2467/tid=2471] ppid=2463 vsize=275720 CPUtime=3.08 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 4140 0 0 0 308 0 0 0 25 0 4 0 652191555 282337280 11120 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=275720 CPUtime=3.09 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 5201 0 0 0 308 1 0 0 25 0 4 0 652191555 282337280 11120 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=275720 CPUtime=3.06 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 4595 0 0 0 306 0 0 0 25 0 4 0 652191555 282337280 11120 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293182 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) 275720

[startup+6.31142 s]
/proc/loadavg: 5.82 7.40 7.74 10/302 2475
/proc/meminfo: memFree=13016312/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=285480 CPUtime=25.17 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 28921 0 0 0 2512 5 0 0 25 0 4 0 652191554 292331520 14642 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 71370 14642 379 95 0 66352 0
[pid=2467/tid=2471] ppid=2463 vsize=285480 CPUtime=6.3 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 6780 0 0 0 630 0 0 0 25 0 4 0 652191555 292331520 14642 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=285480 CPUtime=6.29 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 8665 0 0 0 628 1 0 0 25 0 4 0 652191555 292331520 14642 33554432000 4194304 4580107 140733659738096 18446744073709551615 4507875 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=285480 CPUtime=6.24 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 6609 0 0 0 624 0 0 0 25 0 4 0 652191555 292331520 14642 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 285480

[startup+12.7002 s]
/proc/loadavg: 5.99 7.41 7.74 10/302 2476
/proc/meminfo: memFree=12986384/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=294540 CPUtime=50.67 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 44085 0 0 0 5059 8 0 0 25 0 4 0 652191554 301608960 23299 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 73635 23299 379 95 0 68617 0
[pid=2467/tid=2471] ppid=2463 vsize=294540 CPUtime=12.69 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 9290 0 0 0 1268 1 0 0 25 0 4 0 652191555 301608960 23299 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=294540 CPUtime=12.68 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 11844 0 0 0 1266 2 0 0 25 0 4 0 652191555 301608960 23299 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=294540 CPUtime=12.58 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 10345 0 0 0 1257 1 0 0 25 0 4 0 652191555 301608960 23299 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 294540

[startup+25.5008 s]
/proc/loadavg: 6.38 7.44 7.75 10/302 2476
/proc/meminfo: memFree=12943924/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=273536 CPUtime=101.75 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 59749 0 0 0 10162 13 0 0 25 0 4 0 652191554 280100864 27272 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 68384 27272 379 95 0 63366 0
[pid=2467/tid=2471] ppid=2463 vsize=273536 CPUtime=25.48 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 12387 0 0 0 2546 2 0 0 25 0 4 0 652191555 280100864 27272 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=273536 CPUtime=25.48 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 17632 0 0 0 2544 4 0 0 25 0 4 0 652191555 280100864 27272 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=273536 CPUtime=25.26 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 11227 0 0 0 2525 1 0 0 25 0 4 0 652191555 280100864 27272 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 273536

[startup+51.1009 s]
/proc/loadavg: 6.93 7.49 7.75 9/302 2477
/proc/meminfo: memFree=12892876/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=283860 CPUtime=203.93 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 85412 0 0 0 20370 23 0 0 25 0 4 0 652191554 290672640 35842 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 70965 35842 379 95 0 65947 0
[pid=2467/tid=2471] ppid=2463 vsize=283860 CPUtime=51.09 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 17521 0 0 0 5104 5 0 0 25 0 4 0 652191555 290672640 35842 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=283860 CPUtime=51.09 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 23722 0 0 0 5103 6 0 0 25 0 4 0 652191555 290672640 35842 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=283860 CPUtime=50.63 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 17607 0 0 0 5059 4 0 0 25 0 4 0 652191555 290672640 35842 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 283860

[startup+102.301 s]
/proc/loadavg: 7.62 7.59 7.77 9/302 2508
/proc/meminfo: memFree=12840276/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=296836 CPUtime=408.27 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 121858 0 0 0 40791 36 0 0 25 0 4 0 652191554 303960064 43263 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 74209 43263 379 95 0 69191 0
[pid=2467/tid=2471] ppid=2463 vsize=296836 CPUtime=102.3 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 26175 0 0 0 10222 8 0 0 25 0 4 0 652191555 303960064 43263 33554432000 4194304 4580107 140733659738096 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=296836 CPUtime=102.28 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 30624 0 0 0 10219 9 0 0 25 0 4 0 652191555 303960064 43263 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=296836 CPUtime=101.36 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 27470 0 0 0 10129 7 0 0 25 0 4 0 652191555 303960064 43263 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 296836

[startup+162.301 s]

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

[pid=2467] ppid=2463 vsize=642984 CPUtime=2563.4 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 370434 0 0 0 256188 152 0 0 25 0 4 0 652191554 658415616 103007 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 160746 103007 379 95 0 155728 0
[pid=2467/tid=2471] ppid=2463 vsize=642984 CPUtime=642.31 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 95552 0 0 0 64190 41 0 0 25 0 4 0 652191555 658415616 103007 33554432000 4194304 4580107 140733659738096 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=642984 CPUtime=642.31 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 95549 0 0 0 64192 39 0 0 25 0 4 0 652191555 658415616 103007 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=642984 CPUtime=636.43 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 86733 0 0 0 63609 34 0 0 25 0 4 0 652191555 658415616 103007 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.4
Current children cumulated vsize (KiB) 642984

[startup+702.301 s]
/proc/loadavg: 8.04 8.02 7.91 9/302 2524
/proc/meminfo: memFree=12335000/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=655640 CPUtime=2802.86 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 391597 0 0 0 280124 162 0 0 25 0 4 0 652191554 671375360 110968 33554432000 4194304 4580107 140733659738096 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 163910 110968 379 95 0 158892 0
[pid=2467/tid=2471] ppid=2463 vsize=655640 CPUtime=702.32 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 105074 0 0 0 70186 46 0 0 25 0 4 0 652191555 671375360 110968 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=655640 CPUtime=702.31 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 99105 0 0 0 70190 41 0 0 25 0 4 0 652191555 671375360 110968 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=655640 CPUtime=695.89 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 92004 0 0 0 69552 37 0 0 25 0 4 0 652191555 671375360 110968 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.86
Current children cumulated vsize (KiB) 655640

[startup+762.3 s]
/proc/loadavg: 8.01 8.02 7.91 9/302 2526
/proc/meminfo: memFree=12322964/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=655692 CPUtime=3042.31 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 409987 0 0 0 304059 172 0 0 25 0 4 0 652191554 671428608 115136 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 163923 115136 379 95 0 158905 0
[pid=2467/tid=2471] ppid=2463 vsize=655692 CPUtime=762.31 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 112071 0 0 0 76182 49 0 0 25 0 4 0 652191555 671428608 115136 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=655692 CPUtime=762.31 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 103953 0 0 0 76187 44 0 0 25 0 4 0 652191555 671428608 115136 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=655692 CPUtime=755.34 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 92008 0 0 0 75497 37 0 0 25 0 4 0 652191555 671428608 115136 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.31
Current children cumulated vsize (KiB) 655692

[startup+822.301 s]
/proc/loadavg: 8.00 8.01 7.91 9/302 2527
/proc/meminfo: memFree=12290956/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=721532 CPUtime=3281.79 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 429227 0 0 0 327998 181 0 0 25 0 4 0 652191554 738848768 117491 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 180383 117491 379 95 0 175365 0
[pid=2467/tid=2471] ppid=2463 vsize=721532 CPUtime=822.32 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 120851 0 0 0 82179 53 0 0 25 0 4 0 652191555 738848768 117491 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=721532 CPUtime=822.31 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 109349 0 0 0 82184 47 0 0 25 0 4 0 652191555 738848768 117491 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=721532 CPUtime=814.8 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 92195 0 0 0 81443 37 0 0 25 0 4 0 652191555 738848768 117491 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.79
Current children cumulated vsize (KiB) 721532

[startup+882.3 s]
/proc/loadavg: 8.12 8.04 7.93 9/302 2529
/proc/meminfo: memFree=12261048/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=656048 CPUtime=3521.23 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 451634 0 0 0 351932 191 0 0 25 0 4 0 652191554 671793152 124067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 164012 124067 379 95 0 158994 0
[pid=2467/tid=2471] ppid=2463 vsize=656048 CPUtime=882.33 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 134142 0 0 0 88175 58 0 0 25 0 4 0 652191555 671793152 124067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=656048 CPUtime=882.31 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 112225 0 0 0 88183 48 0 0 25 0 4 0 652191555 671793152 124067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=656048 CPUtime=874.24 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 93001 0 0 0 87387 37 0 0 25 0 4 0 652191555 671793152 124067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.23
Current children cumulated vsize (KiB) 656048

[startup+942.301 s]
/proc/loadavg: 8.17 8.06 7.94 9/302 2539
/proc/meminfo: memFree=12237472/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=656300 CPUtime=3760.7 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 462355 0 0 0 375872 198 0 0 25 0 4 0 652191554 672051200 125066 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 164075 125066 379 95 0 159057 0
[pid=2467/tid=2471] ppid=2463 vsize=656300 CPUtime=942.33 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 137993 0 0 0 94173 60 0 0 25 0 4 0 652191555 672051200 125067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=656300 CPUtime=942.33 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 114088 0 0 0 94183 50 0 0 25 0 4 0 652191555 672051200 125067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=656300 CPUtime=933.7 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 93031 0 0 0 93332 38 0 0 25 0 4 0 652191555 672051200 125067 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.7
Current children cumulated vsize (KiB) 656300

[startup+1002.3 s]
/proc/loadavg: 8.17 8.08 7.95 9/302 2541
/proc/meminfo: memFree=12189436/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=773680 CPUtime=4000.14 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 478874 0 0 0 399807 207 0 0 25 0 4 0 652191554 792248320 130209 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 193420 130209 379 95 0 188402 0
[pid=2467/tid=2471] ppid=2463 vsize=773680 CPUtime=1002.32 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 144507 0 0 0 100168 64 0 0 25 0 4 0 652191555 792248320 130209 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=773680 CPUtime=1002.32 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 120109 0 0 0 100179 53 0 0 25 0 4 0 652191555 792248320 130209 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=773680 CPUtime=993.15 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 93068 0 0 0 99277 38 0 0 25 0 4 0 652191555 792248320 130209 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.14
Current children cumulated vsize (KiB) 773680

[startup+1062.31 s]
/proc/loadavg: 8.19 8.09 7.96 9/302 2543
/proc/meminfo: memFree=12149732/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=722232 CPUtime=4239.63 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 497259 0 0 0 423745 218 0 0 25 0 4 0 652191554 739565568 139517 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 180558 139517 379 95 0 175540 0
[pid=2467/tid=2471] ppid=2463 vsize=722232 CPUtime=1062.34 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 150978 0 0 0 106166 68 0 0 25 0 4 0 652191555 739565568 139517 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=722232 CPUtime=1062.33 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 124529 0 0 0 106177 56 0 0 25 0 4 0 652191555 739565568 139517 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=722232 CPUtime=1052.59 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 93326 0 0 0 105221 38 0 0 25 0 4 0 652191555 739565568 139517 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.63
Current children cumulated vsize (KiB) 722232

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 7.97 9/302 2547
/proc/meminfo: memFree=12129860/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=801004 CPUtime=4479.04 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 517678 0 0 0 447677 227 0 0 25 0 4 0 652191554 820228096 140996 33554432000 4194304 4580107 140733659738096 18446744073709551615 4320867 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 200251 140996 381 95 0 195233 0
[pid=2467/tid=2471] ppid=2463 vsize=801004 CPUtime=1122.33 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 161085 0 0 0 112161 72 0 0 25 0 4 0 652191555 820228096 140996 33554432000 4194304 4580107 140733659738096 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=801004 CPUtime=1122.32 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 128789 0 0 0 112174 58 0 0 25 0 4 0 652191555 820228096 140996 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=801004 CPUtime=1112.03 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 96497 0 0 0 111164 39 0 0 25 0 4 0 652191555 820228096 140996 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.04
Current children cumulated vsize (KiB) 801004

[startup+1182.3 s]
/proc/loadavg: 8.40 8.20 8.01 9/302 2550
/proc/meminfo: memFree=12098644/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=814264 CPUtime=4717.63 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 534872 0 0 0 471525 238 0 0 25 0 4 0 652191554 833806336 151568 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 203566 151568 381 95 0 198548 0
[pid=2467/tid=2471] ppid=2463 vsize=814264 CPUtime=1182.33 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 165045 0 0 0 118158 75 0 0 25 0 4 0 652191555 833806336 151568 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=814264 CPUtime=1182.32 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 132256 0 0 0 118172 60 0 0 25 0 4 0 652191555 833806336 151568 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=814264 CPUtime=1170.61 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 101288 0 0 0 117019 42 0 0 25 0 4 0 652191555 833806336 151568 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.63
Current children cumulated vsize (KiB) 814264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.28 8.18 8.01 10/302 2550
/proc/meminfo: memFree=12090948/32950928 swapFree=67083212/67111528
[pid=2467] ppid=2463 vsize=814304 CPUtime=4800.29 cores=1,3,5,7
/proc/2467/stat : 2467 (strangenight2-m) R 2463 2467 2430 0 -1 4202496 540792 0 0 0 479787 242 0 0 25 0 4 0 652191554 833847296 146560 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2467/statm: 203576 146560 381 95 0 198558 0
[pid=2467/tid=2471] ppid=2463 vsize=814304 CPUtime=1203.05 cores=1,3,5,7
/proc/2467/task/2471/stat : 2471 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 167807 0 0 0 120228 77 0 0 25 0 4 0 652191555 833847296 146562 33554432000 4194304 4580107 140733659738096 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2467/tid=2472] ppid=2463 vsize=814304 CPUtime=1203.04 cores=1,3,5,7
/proc/2467/task/2472/stat : 2472 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 134813 0 0 0 120242 62 0 0 25 0 4 0 652191555 833847296 146562 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2467/tid=2473] ppid=2463 vsize=814304 CPUtime=1191.13 cores=1,3,5,7
/proc/2467/task/2473/stat : 2473 (strangenight2-m) R 2463 2467 2430 0 -1 4202560 101288 0 0 0 119071 42 0 0 25 0 4 0 652191555 833847296 146562 33554432000 4194304 4580107 140733659738096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 814304

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.06
CPU time (s): 4800.36
CPU user time (s): 4797.91
CPU system time (s): 2.44763
CPU usage (%): 399.014
Max. virtual memory (cumulated for all children) (KiB): 973704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.44763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540794
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= 236
involuntary context switches= 32081

runsolver used 3.05253 second user time and 8.02978 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 22:45:19
IDJOB=3366516
IDBENCH=82925
IDSOLVER=1844
FILE ID=node127/3366516-1305405919
RUNJOBID= node127-1305405919-2449
PBS_JOBID= 13324505
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366516-1305405919/watcher-3366516-1305405919 -o /tmp/evaluation-result-3366516-1305405919/solver-3366516-1305405919 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366516-1305405919.cnf

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

MD5SUM BENCH= 99f3efd3bfc8a6f99ffbd289ed4a5837
RANDOM SEED=1500397252

node127.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.823
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.64
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.823
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.83
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.823
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.823
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.823
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      13125344 kB
Buffers:        288992 kB
Cached:        3364724 kB
SwapCached:       1620 kB
Active:       16821352 kB
Inactive:      2666320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13125344 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:           10920 kB
Writeback:           0 kB
AnonPages:    15831916 kB
Mapped:          24932 kB
Slab:           226096 kB
PageTables:      47048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44317420 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= 73468 MiB
End job on node127 at 2011-05-14 23:05:24