Trace number 3173933

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? (TO) 4800.19 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
MD5SUM0d5db3c80640d96c57ce9e3d0b9dc725
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.020995
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173933-1304073654.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     282 undec:      73 neg:     295
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       632      2752         0         0      8384         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.41/0.17	c  N st     8      4915       632      2752         0      4859      8384    136491   no data   no data
1.57/0.46	c  N st    10     11297       632      2752         0      4501      8384     88483   no data   no data
2.77/0.75	c  N st    11     17040       632      2752         0     10153      8384    249814   no data   no data
4.39/1.20	c  F st    12     25002       632      2752         0     12402      8384    300688   no data   no data
4.39/1.20	c  N st    12     25002       632      2752         0     12402      8384    300688   no data   no data
5.57/1.46	c  N dy    18     30001       632      2752         0     10692      8384    243233   no data   no data
5.57/1.46	c  S st    18     30001       632      2752         0     10692      8384    243233   no data   no data
5.57/1.49	c  S st    18     30505       632      2752         0     11196      8384    255940   no data   no data
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:       11 vars:      1 tried:         632 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c lits-rem:       121  cl-subs:      376  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.57	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
5.97/1.57	c calculated reachability. Time: 0.00
5.97/1.57	c  N dy    18     30505       631      2741         0     10820      8351    244075   no data   no data
7.16/1.83	c  N dy    26     34785       631      2741         0     15058      8351    358280     18.45     19.47
7.97/2.05	c  N dy    49     38842       631      2741         0     11272      8351    200954     18.62     19.72
9.18/2.32	c  N dy    65     43233       631      2741         0     15634      8351    319915     18.42     19.72
9.96/2.50	c  S st    82     45757       631      2741         0      9263      8351    117614     18.60   no data
9.96/2.53	c  S st    82     46257       631      2741         0      9763      8351    130789     18.60   no data
9.96/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
9.96/2.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.55	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c vivif2 --  cl tried     9755 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.00
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N dy    82     46257       631      2741         0      9755      8351    130532     18.60   no data
10.76/2.79	c  N dy   104     50372       631      2741         0     13836      8351    241371     18.63     20.09
11.96/3.06	c  N dy   114     54404       631      2741         0     17820      8351    344369     18.41     19.53
13.17/3.36	c  N dy   132     59087       631      2741         0     12578      8351    182226     18.39     19.60
14.35/3.67	c  N dy   149     63661       631      2741         0     17109      8351    303316     18.39     19.39
15.56/3.99	c  N dy   172     67755       631      2741         0     21175      8351    414712     18.48     19.56
16.35/4.10	c  S st   175     69386       631      2741         0     11903      8351    139741     18.44     18.60
16.35/4.14	c  S st   175     69894       631      2741         0     12411      8351    153975     18.44   no data
16.35/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
16.35/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.16	c lits-rem:        11  cl-subs:       23  v-elim:      0  v-fix:    0  time:  0.01 s
16.35/4.16	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
16.35/4.16	c vivif2 --  cl tried    12388 cl shrink        0 lits rem          0 time: 0.00
16.35/4.17	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
16.35/4.17	c calculated reachability. Time: 0.00
16.35/4.17	c  N dy   175     69894       631      2741         0     12388      8351    153317     18.44   no data
17.56/4.48	c  N dy   194     74462       631      2741         0     16914      8351    277465     18.45     19.48
19.14/4.87	c  N dy   209     79472       631      2741         0     21861      8351    407630     18.37     19.34
20.75/5.24	c  N dy   238     84562       631      2741         0     15032      8351    204205     18.42     19.41
21.55/5.45	c  F st   253     87501       631      2741         0     17944      8351    282210     18.44   no data
22.37/5.69	c  N st   258     90806       631      2741         0     21219      8351    377543     18.44   no data
24.74/6.20	c  N dy   276     96703       631      2741         0     14182      8351    156087     18.43     19.50
26.36/6.69	c  N dy   307    103388       631      2741         0     20803      8351    337011     18.47     19.60
27.14/6.82	c  S st   317    104841       631      2741         0     22248      8351    377209     18.49   no data
27.14/6.87	c  S st   317    105343       631      2741         0     22747      8351    391759     18.49   no data
27.14/6.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
27.14/6.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.14/6.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.96	c lits-rem:        62  cl-subs:      307  v-elim:      0  v-fix:    0  time:  0.07 s
27.54/6.96	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
27.54/6.97	c vivif2 --  cl tried    22440 cl shrink        0 lits rem          0 time: 0.00
27.54/6.98	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
27.54/6.98	c calculated reachability. Time: 0.00
27.54/6.98	c  N dy   317    105343       631      2741         0     22440      8351    382154     18.49   no data
30.34/7.70	c  N dy   342    113356       631      2741         0     16498      8351    198493     18.48     19.47
33.13/8.30	c  N dy   368    120639       631      2741         0     23700      8351    389838     18.44     19.48
36.32/9.11	c  N dy   412    128951       631      2741         0     17095      8351    199721     18.48     19.58
39.13/9.81	c  N dy   452    137297       631      2741         0     25361      8351    425174     18.51     19.58
42.32/10.68	c  N dy   486    146239       631      2741         0     18356      8351    207433     18.49     19.49
45.91/11.53	c  N dy   514    155751       631      2741         0     27769      8351    456461     18.42     19.41
46.71/11.76	c  S st   525    158015       631      2741         0     30015      8351    516856     18.42   no data
47.11/11.84	c  S st   525    158516       631      2741         0     30516      8351    531429     18.42   no data
47.11/11.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.11/11.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.11/11.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
47.11/11.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.11/11.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.11/11.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.01	c lits-rem:       111  cl-subs:      519  v-elim:      0  v-fix:    0  time:  0.13 s
47.91/12.01	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
47.91/12.01	c vivif2 --  cl tried    29997 cl shrink        0 lits rem          0 time: 0.01
47.91/12.03	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.02
47.91/12.03	c calculated reachability. Time: 0.00
47.91/12.03	c  N dy   525    158516       631      2741         0     29997      8351    515801     18.42   no data
51.91/13.06	c  N dy   571    169434       631      2741         0     23996      8351    340008     18.43     19.47
56.70/14.27	c  N dy   621    180298       631      2741         0     34767      8351    640166     18.46     19.51
61.09/15.38	c  N dy   680    191907       631      2741         0     28424      8351    439536     18.51     19.52
67.07/16.89	c  N dy   743    204717       631      2741         0     22292      8351    253521     18.53     19.64
75.47/18.99	c  N dy   778    223507       631      2741         0     21060      8351    201267     18.45     19.56
81.46/20.48	c  N dy   801    237775       631      2741         0     35156      8351    571979     18.37     16.35
81.46/20.48	c  S st   801    237775       631      2741         0     35156      8351    571979     18.37     16.35
81.86/20.57	c  S st   801    238278       631      2741         0     35659      8351    586261     18.37   no data
81.86/20.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.86/20.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.86/20.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.86/20.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.86/20.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.86/20.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
81.86/20.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.86/20.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.26/20.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.06/20.84	c lits-rem:        58  cl-subs:      916  v-elim:      0  v-fix:    0  time:  0.23 s
83.06/20.84	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
83.06/20.85	c vivif2 --  cl tried    34743 cl shrink        0 lits rem          0 time: 0.01
83.06/20.87	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.02
83.06/20.87	c calculated reachability. Time: 0.00
83.06/20.87	c  N dy   801    238278       631      2741         0     34743      8351    563340     18.37   no data
90.25/22.70	c  N dy   873    253571       631      2741         0     29147      8351    401641     18.38     21.75
99.04/24.88	c  N dy   950    270016       631      2741         0     23644      8351    224789     18.40     19.64
107.43/26.98	c  N dy  1032    287313       631      2741         0     40779      8351    690644     18.43     19.63
116.61/29.26	c  N dy  1126    305746       631      2741         0     36242      8351    548198     18.47     21.73
117.01/29.32	c  F st  1129    306250       631      2741         0     36744      8351    562332     18.47   no data
127.00/31.80	c  N dy  1186    325284       631      2741         0     31841      8351    408207     18.47     24.35
139.78/35.07	c  N dy  1278    348432       631      2741         0     29978      8351    340853     18.46     19.57
144.57/36.20	c  S st  1321    357418       631      2741         0     38883      8351    588018     18.49     17.95
144.57/36.29	c  S st  1321    357918       631      2741         0     39383      8351    602544     18.49   no data
144.57/36.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.99/36.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.99/36.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.99/36.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.99/36.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.99/36.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
144.99/36.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.99/36.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.99/36.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.76/36.54	c lits-rem:        90  cl-subs:      630  v-elim:      0  v-fix:    0  time:  0.20 s
145.76/36.54	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
145.76/36.55	c vivif2 --  cl tried    38753 cl shrink        0 lits rem          0 time: 0.01
145.76/36.58	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
145.76/36.58	c calculated reachability. Time: 0.00
145.76/36.58	c  N dy  1321    357918       631      2741         0     38753      8351    584905     18.49   no data
158.16/39.65	c  N dy  1435    377929       631      2741         0     32859      8351    394576     18.53     22.13
172.53/43.25	c  N dy  1499    401518       631      2741         0     29429      8351    278128     18.49     19.52
184.93/46.33	c  N dy  1612    421820       631      2741         0     49556      8351    832509     18.53     19.55
197.30/49.48	c  N dy  1736    442209       631      2741         0     42072      8351    616779     18.58     19.57
212.07/53.10	c  N dy  1849    462226       631      2741         0     33167      8351    343356     18.62     20.53
226.85/56.81	c  N dy  1929    485178       631      2741         0     55851      8351    961713     18.60     19.72
238.83/59.88	c  N dy  1981    505258       631      2741         0     46020      8351    667144     18.58     20.59
253.62/63.53	c  N dy  2062    525278       631      2741         0     35136      8351    356659     18.58     23.79
260.41/65.24	c  S st  2106    536877       631      2741         0     46609      8351    668860     18.57     19.10
260.81/65.36	c  S st  2106    537378       631      2741         0     47110      8351    683542     18.57   no data
260.81/65.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.81/65.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.81/65.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.81/65.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.81/65.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.81/65.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
260.81/65.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.81/65.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
261.21/65.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.01/65.66	c lits-rem:        63  cl-subs:      668  v-elim:      0  v-fix:    0  time:  0.25 s
262.01/65.66	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
262.01/65.67	c vivif2 --  cl tried    46442 cl shrink        0 lits rem          0 time: 0.01
262.41/65.70	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
262.41/65.71	c calculated reachability. Time: 0.00
262.41/65.71	c  N dy  2106    537378       631      2741         0     46442      8351    664803     18.57   no data
278.38/69.73	c  N dy  2212    557447       631      2741         0     34642      8351    317745     18.59     19.65
291.96/73.14	c  N dy  2321    577804       631      2741         0     54815      8351    875390     18.62     19.65
307.14/76.91	c  N dy  2419    597836       631      2741         0     41961      8351    504920     18.63     21.30
322.72/80.88	c  N dy  2512    617917       631      2741         0     61838      8351   1050124     18.64     20.97
337.50/84.51	c  N dy  2606    638314       631      2741         0     48382      8351    653194     18.65     19.63
355.89/89.13	c  N dy  2710    658686       631      2741         0     68566      8351   1207547     18.66     19.73
369.47/92.55	c  N dy  2815    678721       631      2741         0     53755      8351    794720     18.69     23.97
389.03/97.43	c  N dy  2923    698742       631      2741         0     37936      8351    323544     18.71     22.93
403.01/100.95	c  N dy  2982    718837       631      2741         0     57791      8351    869290     18.69     21.94
421.38/105.51	c  N dy  3040    738928       631      2741         0     41044      8351    389248     18.68     20.08
436.56/109.33	c  N dy  3120    759324       631      2741         0     61239      8351    947525     18.68     19.69
459.33/115.07	c  N dy  3212    784906       631      2741         0     48828      8351    557600     18.67     19.67
477.30/119.52	c  N dy  3330    804962       631      2741         0     68691      8351   1114685     18.70     20.04
478.51/119.84	c  S st  3338    806067       631      2741         0     69784      8351   1144789     18.70     17.94
479.32/120.03	c  S st  3338    806569       631      2741         0     70286      8351   1159198     18.70   no data
479.32/120.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
479.32/120.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
479.32/120.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
479.32/120.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
479.32/120.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.32/120.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
479.32/120.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
479.32/120.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
479.70/120.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.10/121.22	c lits-rem:       197  cl-subs:     2531  v-elim:      0  v-fix:    0  time:  1.10 s
484.10/121.22	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
484.10/121.24	c vivif2 --  cl tried    67755 cl shrink        0 lits rem          0 time: 0.02
484.50/121.30	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.06
484.50/121.30	c calculated reachability. Time: 0.00
484.50/121.30	c  N dy  3338    806569       631      2741         0     67755      8351   1094534     18.70   no data
502.88/125.99	c  N dy  3386    829871       631      2741         0     52229      8351    655306     18.67     19.94
522.86/131.00	c  N dy  3491    850562       631      2741         0     72714      8351   1224933     18.68     19.80
542.41/135.86	c  N dy  3596    873445       631      2741         0     55847      8351    742316     18.69     19.73
562.81/140.99	c  N dy  3691    893513       631      2741         0     75710      8351   1288430     18.70     20.44
581.16/145.51	c  N dy  3760    915794       631      2741         0     57181      8351    747381     18.68     19.73
601.54/150.68	c  N dy  3832    935867       631      2741         0     77036      8351   1299830     18.68     19.70
619.11/155.08	c  N dy  3885    956289       631      2741         0     55644      8351    683543     18.66     19.75
645.47/161.61	c  N dy  3888    984690       631      2741         0     83516      8351   1427760     18.57     19.62
661.05/165.50	c  N dy  3932   1004929       631      2741         0     61099      8351    835717     18.55     19.56
683.02/171.02	c  N dy  4036   1025060       631      2741         0     81007      8351   1386232     18.56     19.58
701.39/175.69	c  N dy  4129   1045122       631      2741         0     57424      8351    702298     18.57     19.59
723.36/181.15	c  N dy  4214   1066561       631      2741         0     78652      8351   1289139     18.57     19.75
730.15/182.87	c  F st  4251   1071877       631      2741         0     83930      8351   1438962     18.58     18.68
737.34/184.68	c Decided on static restart strategy
746.14/186.84	c  N st  4260   1090585       631      2741         0     57882      8351    729792     18.58   no data
770.50/192.97	c  N st  4262   1114583       631      2741         0     81476      8351   1451191     18.58   no data
793.26/198.63	c  N st  4263   1136179       631      2741         0     57417      8351   1199997     18.58   no data
826.44/206.93	c  N st  4264   1168571       631      2741         0     89217      8351   2112604     18.58   no data
864.77/216.52	c  N st  4265   1209854       631      2741         0     83535      8351   1872355     18.58   no data
864.77/216.52	c  S st  4265   1209854       631      2741         0     83535      8351   1872355     18.58   no data
865.58/216.77	c  S st  4265   1210358       631      2741         0     84038      8351   1887152     18.58   no data
865.58/216.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
865.98/216.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
865.98/216.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
865.98/216.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
865.98/216.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
865.98/216.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
865.98/216.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
865.98/216.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
866.36/216.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.53/224.23	c lits-rem:       705  cl-subs:     4155  v-elim:      0  v-fix:    0  time:  7.31 s
895.53/224.23	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
895.53/224.26	c vivif2 --  cl tried    79883 cl shrink        0 lits rem          0 time: 0.03
895.93/224.34	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.09
895.93/224.35	c calculated reachability. Time: 0.00
895.93/224.35	c  N st  4265   1210358       631      2741         0     79883      8351   1764096     18.58   no data
979.01/245.11	c  N st  4266   1283241       631      2741         0     56178      8351    963545     18.58   no data
1079.67/270.33	c  N st  4267   1392569       631      2741         0     64345      8351   1193054     18.58   no data
1256.64/314.68	c  N st  4268   1556556       631      2741         0     69279      8351   1226340     18.58   no data
1446.76/362.27	c  N st  4269   1710359       631      2741         0    110970      8351   2364857     18.58   no data
1446.76/362.27	c  S st  4269   1710359       631      2741         0    110970      8351   2364857     18.58   no data
1448.36/362.63	c  S st  4269   1710862       631      2741         0    111473      8351   2378321     18.58   no data
1448.36/362.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1448.36/362.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1448.76/362.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1448.76/362.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1448.76/362.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1448.76/362.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1448.76/362.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1448.76/362.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1449.16/362.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1537.04/384.80	c lits-rem:      1339  cl-subs:     9089  v-elim:      0  v-fix:    0  time: 21.99 s
1537.04/384.80	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
1537.04/384.83	c vivif2 --  cl tried   102384 cl shrink        0 lits rem          0 time: 0.03
1537.44/384.94	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.11
1537.44/384.94	c calculated reachability. Time: 0.00
1537.44/384.94	c  N st  4269   1710862       631      2741         0    102384      8351   2119371     18.58   no data
1980.02/495.75	c  N st  4270   2079828       631      2741         0    114860      8351   2405462     18.58   no data
2162.19/541.33	c  N st  4271   2210862       631      2741         0    118893      8351   2506056     18.58   no data
2162.19/541.33	c  S st  4271   2210862       631      2741         0    118893      8351   2506056     18.58   no data
2163.77/541.74	c  S st  4271   2211365       631      2741         0    119395      8351   2521157     18.58   no data
2163.77/541.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2164.17/541.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2164.17/541.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2164.17/541.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2164.17/541.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2164.17/541.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2164.17/541.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2164.17/541.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2164.57/541.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.29/556.13	c lits-rem:       769  cl-subs:     4517  v-elim:      0  v-fix:    0  time: 14.20 s
2221.29/556.13	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
2221.29/556.16	c vivif2 --  cl tried   114878 cl shrink        0 lits rem          0 time: 0.04
2222.09/556.30	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.14
2222.09/556.30	c calculated reachability. Time: 0.00
2222.09/556.30	c  N st  4271   2211365       631      2741         0    114878      8351   2367412     18.58   no data
2935.52/734.97	c  N st  4272   2711365       631      2741         0    137739      8351   2850303     18.58   no data
2935.52/734.97	c  S st  4272   2711365       631      2741         0    137739      8351   2850303     18.58   no data
2937.50/735.42	c  S st  4272   2711867       631      2741         0    138240      8351   2864694     18.58   no data
2937.50/735.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2937.90/735.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2937.90/735.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2937.90/735.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2937.90/735.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2937.90/735.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2937.90/735.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2937.90/735.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2938.30/735.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3061.73/766.57	c lits-rem:       708  cl-subs:    10384  v-elim:      0  v-fix:    0  time: 30.93 s
3061.73/766.57	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3062.13/766.60	c vivif2 --  cl tried   127856 cl shrink        0 lits rem          0 time: 0.04
3062.55/766.75	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.15
3062.55/766.76	c calculated reachability. Time: 0.00
3062.55/766.76	c  N st  4272   2711867       631      2741         0    127856      8351   2572005     18.58   no data
3767.56/943.29	c  N st  4273   3211867       631      2741         0    103611      8351   1634180     18.58   no data
3767.56/943.29	c  S st  4273   3211867       631      2741         0    103611      8351   1634180     18.58   no data
3769.16/943.60	c  S st  4273   3212372       631      2741         0    104116      8351   1649127     18.58   no data
3769.16/943.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3769.16/943.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3769.16/943.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3769.16/943.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3769.16/943.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3769.16/943.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3769.16/943.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3769.16/943.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3769.55/943.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3786.72/948.03	c lits-rem:       214  cl-subs:     4007  v-elim:      0  v-fix:    0  time:  4.28 s
3786.72/948.03	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3786.72/948.05	c vivif2 --  cl tried   100109 cl shrink        0 lits rem          0 time: 0.02
3787.12/948.16	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.11
3787.12/948.17	c calculated reachability. Time: 0.00
3787.12/948.17	c  N st  4273   3212372       631      2741         0    100109      8351   1545490     18.58   no data
4554.86/1140.37	c  N st  4274   3712374       631      2741         0    111217      8351   1805315     18.58   no data
4554.86/1140.37	c  S st  4274   3712374       631      2741         0    111217      8351   1805315     18.58   no data
4556.48/1140.72	c  S st  4274   3712879       631      2741         0    111721      8351   1820240     18.58   no data
4556.48/1140.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4556.48/1140.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4556.48/1140.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4556.48/1140.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4556.48/1140.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4556.48/1140.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4556.48/1140.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4556.88/1140.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4556.88/1140.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4576.44/1145.80	c lits-rem:       302  cl-subs:     3019  v-elim:      0  v-fix:    0  time:  4.92 s
4576.44/1145.80	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
4576.84/1145.82	c vivif2 --  cl tried   108702 cl shrink        0 lits rem          0 time: 0.03
4577.24/1145.94	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.12
4577.24/1145.95	c calculated reachability. Time: 0.00
4577.24/1145.95	c  N st  4274   3712879       631      2741         0    108702      8351   1724192     18.58   no data
4644.36/1162.71	c  F st  4275   3751563       631      2741         0    146704      8351   2885501     18.58   no data
4644.36/1162.72	c  N st  4275   3751563       631      2741         0    146704      8351   2885501     18.58   no data
4655.52/1165.52	c Decided on static restart strategy
4699.46/1176.55	c  N st  4285   3779868       631      2741         0     91169      8351   1083996     18.58   no data
4742.61/1187.34	c  N st  4287   3815860       631      2741         0    126741      8351   2208098     18.58   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173933-1304073654/watcher-3173933-1304073654 -o /tmp/evaluation-result-3173933-1304073654/solver-3173933-1304073654 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173933-1304073654.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.05 8.04 8.00 3/174 14096
/proc/meminfo: memFree=26480912/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 518964111 52441088 348 33554432000 4194304 4627427 140736427811568 18446744073709551615 47313731135410 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14096/statm: 12803 348 299 106 0 7774 0
[pid=14096/tid=14097] ppid=14094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518964112 52441088 348 33554432000 4194304 4627427 140736427811568 18446744073709551615 47313731135410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518964112 52441088 348 33554432000 4194304 4627427 140736427811568 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518964112 52441088 348 33554432000 4194304 4627427 140736427811568 18446744073709551615 47313731135404 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.109268 s]
/proc/loadavg: 8.05 8.04 8.00 3/174 14096
/proc/meminfo: memFree=26480912/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=282380 CPUtime=0.41 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 1907 0 0 0 41 0 0 0 25 0 4 0 518964111 289157120 1754 33554432000 4194304 4627427 140736427811568 18446744073709551615 4332978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 70595 1754 384 106 0 65566 0
[pid=14096/tid=14097] ppid=14094 vsize=282380 CPUtime=0.1 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 396 0 0 0 10 0 0 0 25 0 4 0 518964112 289157120 1754 33554432000 4194304 4627427 140736427811568 18446744073709551615 4333362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=282380 CPUtime=0.1 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 425 0 0 0 10 0 0 0 25 0 4 0 518964112 289157120 1754 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=282380 CPUtime=0.1 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 282 0 0 0 10 0 0 0 25 0 4 0 518964112 289157120 1754 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282380

[startup+0.200253 s]
/proc/loadavg: 8.05 8.04 8.00 3/174 14096
/proc/meminfo: memFree=26480912/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=283884 CPUtime=0.77 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 2601 0 0 0 77 0 0 0 25 0 4 0 518964111 290697216 1780 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 70971 1780 385 106 0 65942 0
[pid=14096/tid=14097] ppid=14094 vsize=283884 CPUtime=0.19 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 562 0 0 0 19 0 0 0 25 0 4 0 518964112 290697216 1780 33554432000 4194304 4627427 140736427811568 18446744073709551615 4332800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=283884 CPUtime=0.19 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 599 0 0 0 19 0 0 0 25 0 4 0 518964112 290697216 1780 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=283884 CPUtime=0.19 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 455 0 0 0 19 0 0 0 25 0 4 0 518964112 290697216 1780 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283884

[startup+0.300235 s]
/proc/loadavg: 8.05 8.04 8.00 3/174 14096
/proc/meminfo: memFree=26480912/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=284176 CPUtime=1.17 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 3039 0 0 0 117 0 0 0 25 0 4 0 518964111 290996224 2218 33554432000 4194304 4627427 140736427811568 18446744073709551615 4327413 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 71044 2218 385 106 0 66015 0
[pid=14096/tid=14097] ppid=14094 vsize=284176 CPUtime=0.29 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 665 0 0 0 29 0 0 0 25 0 4 0 518964112 290996224 2218 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=284176 CPUtime=0.29 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 705 0 0 0 29 0 0 0 25 0 4 0 518964112 290996224 2218 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=284176 CPUtime=0.29 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 575 0 0 0 29 0 0 0 25 0 4 0 518964112 290996224 2218 33554432000 4194304 4627427 140736427811568 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284176

[startup+0.70017 s]
/proc/loadavg: 8.05 8.04 8.00 3/174 14096
/proc/meminfo: memFree=26480912/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=285184 CPUtime=2.77 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 4692 0 0 0 277 0 0 0 25 0 4 0 518964111 292028416 2866 33554432000 4194304 4627427 140736427811568 18446744073709551615 4332309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 71296 2866 385 106 0 66267 0
[pid=14096/tid=14097] ppid=14094 vsize=285184 CPUtime=0.69 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1091 0 0 0 69 0 0 0 25 0 4 0 518964112 292028416 2866 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=285184 CPUtime=0.69 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1092 0 0 0 69 0 0 0 25 0 4 0 518964112 292028416 2866 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=285184 CPUtime=0.69 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1007 0 0 0 69 0 0 0 25 0 4 0 518964112 292028416 2866 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285184

[startup+1.50103 s]
/proc/loadavg: 8.21 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26458972/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=286632 CPUtime=5.97 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 8073 0 0 0 596 1 0 0 25 0 4 0 518964111 293511168 3457 33554432000 4194304 4627427 140736427811568 18446744073709551615 4239077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 71658 3457 389 106 0 66629 0
[pid=14096/tid=14097] ppid=14094 vsize=286632 CPUtime=1.49 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1889 0 0 0 149 0 0 0 25 0 4 0 518964112 293511168 3457 33554432000 4194304 4627427 140736427811568 18446744073709551615 4328761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=286632 CPUtime=1.48 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1931 0 0 0 148 0 0 0 25 0 4 0 518964112 293511168 3458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=286632 CPUtime=1.49 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 1866 0 0 0 149 0 0 0 25 0 4 0 518964112 293511168 3458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286632

[startup+3.10077 s]
/proc/loadavg: 8.21 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26421884/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=280856 CPUtime=12.36 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 19089 0 0 0 1233 3 0 0 25 0 4 0 518964111 287596544 11239 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 70214 11239 389 106 0 65185 0
[pid=14096/tid=14097] ppid=14094 vsize=280856 CPUtime=3.09 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 4314 0 0 0 308 1 0 0 25 0 4 0 518964112 287596544 11239 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=280856 CPUtime=3.07 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 5143 0 0 0 307 0 0 0 25 0 4 0 518964112 287596544 11239 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=280856 CPUtime=3.08 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 4561 0 0 0 308 0 0 0 25 0 4 0 518964112 287596544 11239 33554432000 4194304 4627427 140736427811568 18446744073709551615 4352163 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 280856

[startup+6.30023 s]
/proc/loadavg: 8.19 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26362408/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=289984 CPUtime=25.14 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 28942 0 0 0 2508 6 0 0 25 0 4 0 518964111 296943616 16002 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 72496 16002 389 106 0 67467 0
[pid=14096/tid=14097] ppid=14094 vsize=289984 CPUtime=6.28 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 7760 0 0 0 627 1 0 0 25 0 4 0 518964112 296943616 16002 33554432000 4194304 4627427 140736427811568 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=289984 CPUtime=6.25 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 7489 0 0 0 624 1 0 0 25 0 4 0 518964112 296943616 16002 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=289984 CPUtime=6.28 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 6560 0 0 0 627 1 0 0 25 0 4 0 518964112 296943616 16002 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 289984

[startup+12.7012 s]
/proc/loadavg: 8.18 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26293288/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=317780 CPUtime=50.71 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 41702 0 0 0 5063 8 0 0 25 0 4 0 518964111 325406720 24822 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 79445 24822 389 106 0 74416 0
[pid=14096/tid=14097] ppid=14094 vsize=317780 CPUtime=12.69 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 11396 0 0 0 1267 2 0 0 25 0 4 0 518964112 325406720 24822 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=317780 CPUtime=12.62 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 9709 0 0 0 1260 2 0 0 25 0 4 0 518964112 325406720 24822 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=317780 CPUtime=12.69 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 10552 0 0 0 1267 2 0 0 25 0 4 0 518964112 325406720 24822 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 317780

[startup+25.501 s]
/proc/loadavg: 8.14 8.06 8.01 9/184 14122
/proc/meminfo: memFree=26238608/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=327504 CPUtime=101.83 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 54949 0 0 0 10173 10 0 0 25 0 4 0 518964111 335364096 27490 33554432000 4194304 4627427 140736427811568 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 81876 27490 389 106 0 76847 0
[pid=14096/tid=14097] ppid=14094 vsize=327504 CPUtime=25.48 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 15923 0 0 0 2546 2 0 0 25 0 4 0 518964112 335364096 27490 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=327504 CPUtime=25.35 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 13132 0 0 0 2533 2 0 0 25 0 4 0 518964112 335364096 27490 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=327504 CPUtime=25.48 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 11497 0 0 0 2546 2 0 0 25 0 4 0 518964112 335364096 27490 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 327504

[startup+51.1007 s]
/proc/loadavg: 8.09 8.06 8.01 9/184 14122
/proc/meminfo: memFree=26192776/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=356804 CPUtime=204.09 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 80584 0 0 0 20389 20 0 0 25 0 4 0 518964111 365367296 31458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 89201 31458 389 106 0 84172 0
[pid=14096/tid=14097] ppid=14094 vsize=356804 CPUtime=51.08 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 22016 0 0 0 5103 5 0 0 25 0 4 0 518964112 365367296 31458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=356804 CPUtime=50.81 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 21333 0 0 0 5076 5 0 0 25 0 4 0 518964112 365367296 31458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=356804 CPUtime=51.07 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 16268 0 0 0 5104 3 0 0 25 0 4 0 518964112 365367296 31458 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 356804

[startup+102.301 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 14124
/proc/meminfo: memFree=26147256/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=333920 CPUtime=408.62 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 125856 0 0 0 40824 38 0 0 25 0 4 0 518964111 341934080 32181 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 83480 32181 389 106 0 78451 0
[pid=14096/tid=14097] ppid=14094 vsize=333920 CPUtime=102.29 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 33219 0 0 0 10219 10 0 0 25 0 4 0 518964112 341934080 32181 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=333920 CPUtime=101.74 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 32326 0 0 0 10165 9 0 0 25 0 4 0 518964112 341934080 32181 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=333920 CPUtime=102.27 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 27974 0 0 0 10220 7 0 0 25 0 4 0 518964112 341934080 32181 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 333920

[startup+162.301 s]

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

[pid=14096] ppid=14094 vsize=546076 CPUtime=2565.62 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 386385 0 0 0 256402 160 0 0 25 0 4 0 518964111 559181824 88520 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 136519 88520 389 106 0 131490 0
[pid=14096/tid=14097] ppid=14094 vsize=546076 CPUtime=642.29 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 93840 0 0 0 64188 41 0 0 25 0 4 0 518964112 559181824 88520 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=546076 CPUtime=638.79 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 90294 0 0 0 63843 36 0 0 25 0 4 0 518964112 559181824 88520 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=546076 CPUtime=642.22 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 85617 0 0 0 64189 33 0 0 25 0 4 0 518964112 559181824 88520 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.62
Current children cumulated vsize (KiB) 546076

[startup+702.301 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 14140
/proc/meminfo: memFree=25654092/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=546076 CPUtime=2805.29 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 403755 0 0 0 280359 170 0 0 25 0 4 0 518964111 559181824 96825 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 136519 96825 389 106 0 131490 0
[pid=14096/tid=14097] ppid=14094 vsize=546076 CPUtime=702.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 98227 0 0 0 70186 44 0 0 25 0 4 0 518964112 559181824 96825 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=546076 CPUtime=698.47 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 96086 0 0 0 69807 40 0 0 25 0 4 0 518964112 559181824 96825 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=546076 CPUtime=702.22 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 85617 0 0 0 70189 33 0 0 25 0 4 0 518964112 559181824 96825 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 546076

[startup+762.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 14141
/proc/meminfo: memFree=25646148/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=597428 CPUtime=3044.98 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 411286 0 0 0 304321 177 0 0 25 0 4 0 518964111 611766272 95677 33554432000 4194304 4627427 140736427811568 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 149357 95677 389 106 0 144328 0
[pid=14096/tid=14097] ppid=14094 vsize=597428 CPUtime=762.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 102172 0 0 0 76184 46 0 0 25 0 4 0 518964112 611766272 95677 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=597428 CPUtime=758.14 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 98538 0 0 0 75771 43 0 0 25 0 4 0 518964112 611766272 95677 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=597428 CPUtime=762.22 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 85620 0 0 0 76189 33 0 0 25 0 4 0 518964112 611766272 95677 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 597428

[startup+822.3 s]
/proc/loadavg: 8.12 8.12 8.04 9/184 14142
/proc/meminfo: memFree=25626300/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=502144 CPUtime=3284.62 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 425084 0 0 0 328276 186 0 0 25 0 4 0 518964111 514195456 99095 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 125536 99095 389 106 0 120507 0
[pid=14096/tid=14097] ppid=14094 vsize=502144 CPUtime=822.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 107725 0 0 0 82179 51 0 0 25 0 4 0 518964112 514195456 99095 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=502144 CPUtime=817.82 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 101193 0 0 0 81737 45 0 0 25 0 4 0 518964112 514195456 99095 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=502144 CPUtime=822.2 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 88048 0 0 0 82186 34 0 0 25 0 4 0 518964112 514195456 99095 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 502144

[startup+882.306 s]
/proc/loadavg: 8.25 8.15 8.05 9/184 14144
/proc/meminfo: memFree=25647500/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=575916 CPUtime=3524.31 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 437004 0 0 0 352238 193 0 0 25 0 4 0 518964111 589737984 92513 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 143979 92513 389 106 0 138950 0
[pid=14096/tid=14097] ppid=14094 vsize=575916 CPUtime=882.31 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 110437 0 0 0 88179 52 0 0 25 0 4 0 518964112 589737984 92513 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=575916 CPUtime=877.49 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 104894 0 0 0 87702 47 0 0 25 0 4 0 518964112 589737984 92513 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=575916 CPUtime=882.21 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 89890 0 0 0 88185 36 0 0 25 0 4 0 518964112 589737984 92513 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 575916

[startup+942.3 s]
/proc/loadavg: 8.20 8.15 8.06 9/184 14146
/proc/meminfo: memFree=25653088/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=487228 CPUtime=3763.96 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 453339 0 0 0 376195 201 0 0 25 0 4 0 518964111 498921472 92245 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 121807 92245 389 106 0 116778 0
[pid=14096/tid=14097] ppid=14094 vsize=487228 CPUtime=942.29 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 116089 0 0 0 94175 54 0 0 25 0 4 0 518964112 498921472 92245 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=487228 CPUtime=937.16 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 108946 0 0 0 93667 49 0 0 25 0 4 0 518964112 498921472 92245 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=487228 CPUtime=942.19 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 90970 0 0 0 94183 36 0 0 25 0 4 0 518964112 498921472 92245 33554432000 4194304 4627427 140736427811568 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 487228

[startup+1002.3 s]
/proc/loadavg: 8.17 8.15 8.06 9/184 14148
/proc/meminfo: memFree=25597396/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=619436 CPUtime=4003.63 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 474974 0 0 0 400148 215 0 0 25 0 4 0 518964111 634302464 98111 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 154859 98111 389 106 0 149830 0
[pid=14096/tid=14097] ppid=14094 vsize=619436 CPUtime=1002.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 126161 0 0 0 100171 59 0 0 25 0 4 0 518964112 634302464 98111 33554432000 4194304 4627427 140736427811568 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=619436 CPUtime=996.83 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 111144 0 0 0 99632 51 0 0 25 0 4 0 518964112 634302464 98111 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=619436 CPUtime=1002.19 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 94496 0 0 0 100180 39 0 0 25 0 4 0 518964112 634302464 98111 33554432000 4194304 4627427 140736427811568 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 619436

[startup+1062.3 s]
/proc/loadavg: 8.12 8.14 8.06 9/184 14149
/proc/meminfo: memFree=25510352/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=629960 CPUtime=4243.3 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 494925 0 0 0 424105 225 0 0 25 0 4 0 518964111 645079040 108320 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 157490 108320 389 106 0 152461 0
[pid=14096/tid=14097] ppid=14094 vsize=629960 CPUtime=1062.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 131611 0 0 0 106168 62 0 0 25 0 4 0 518964112 645079040 108320 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=629960 CPUtime=1056.51 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 114520 0 0 0 105598 53 0 0 25 0 4 0 518964112 645079040 108320 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=629960 CPUtime=1062.18 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 97866 0 0 0 106178 40 0 0 25 0 4 0 518964112 645079040 108320 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 629960

[startup+1122.3 s]
/proc/loadavg: 8.10 8.13 8.06 9/184 14150
/proc/meminfo: memFree=25544812/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=630384 CPUtime=4482.97 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 504763 0 0 0 448064 233 0 0 25 0 4 0 518964111 645513216 108549 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 157596 108549 389 106 0 152567 0
[pid=14096/tid=14097] ppid=14094 vsize=630384 CPUtime=1122.3 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 136115 0 0 0 112165 65 0 0 25 0 4 0 518964112 645513216 108549 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=630384 CPUtime=1116.19 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 115225 0 0 0 111565 54 0 0 25 0 4 0 518964112 645513216 108549 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=630384 CPUtime=1122.18 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 98110 0 0 0 112178 40 0 0 25 0 4 0 518964112 645513216 108549 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 630384

[startup+1182.3 s]
/proc/loadavg: 8.04 8.10 8.06 9/184 14152
/proc/meminfo: memFree=25525460/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=581440 CPUtime=4722.64 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 521377 0 0 0 472020 244 0 0 25 0 4 0 518964111 595394560 106143 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 145360 106143 389 106 0 140331 0
[pid=14096/tid=14097] ppid=14094 vsize=581440 CPUtime=1182.31 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 141517 0 0 0 118162 69 0 0 25 0 4 0 518964112 595394560 106143 33554432000 4194304 4627427 140736427811568 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=581440 CPUtime=1175.86 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 118806 0 0 0 117530 56 0 0 25 0 4 0 518964112 595394560 106143 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=581440 CPUtime=1182.18 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 98671 0 0 0 118177 41 0 0 25 0 4 0 518964112 595394560 106143 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 581440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.09 8.05 9/184 14153
/proc/meminfo: memFree=25527568/32950928 swapFree=67111524/67111528
[pid=14096] ppid=14094 vsize=635560 CPUtime=4800.14 cores=1,3,5,7
/proc/14096/stat : 14096 (strangenight2-m) R 14094 14096 13699 0 -1 4202496 524667 0 0 0 479767 247 0 0 25 0 4 0 518964111 650813440 109433 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14096/statm: 158890 109433 389 106 0 153861 0
[pid=14096/tid=14097] ppid=14094 vsize=635560 CPUtime=1201.71 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 142653 0 0 0 120101 70 0 0 25 0 4 0 518964112 650813440 109433 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14096/tid=14098] ppid=14094 vsize=635560 CPUtime=1195.16 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 118806 0 0 0 119460 56 0 0 25 0 4 0 518964112 650813440 109433 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=635560 CPUtime=1201.58 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (strangenight2-m) R 14094 14096 13699 0 -1 4202560 99210 0 0 0 120117 41 0 0 25 0 4 0 518964112 650813440 109433 33554432000 4194304 4627427 140736427811568 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 635560

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.19
CPU user time (s): 4797.7
CPU system time (s): 2.49262
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 744572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.7
system time used= 2.49262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524667
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= 397
involuntary context switches= 21690

runsolver used 1.88071 second user time and 4.69728 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 12:40:54
IDJOB=3173933
IDBENCH=82751
IDSOLVER=1586
FILE ID=node126/3173933-1304073654
RUNJOBID= node126-1304072450-14000
PBS_JOBID= 13170481
Free space on /tmp= 71592 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173933-1304073654/watcher-3173933-1304073654 -o /tmp/evaluation-result-3173933-1304073654/solver-3173933-1304073654 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173933-1304073654.cnf

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

MD5SUM BENCH= 0d5db3c80640d96c57ce9e3d0b9dc725
RANDOM SEED=259797219

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26481068 kB
Buffers:       1418252 kB
Cached:        4441156 kB
SwapCached:          4 kB
Active:         373900 kB
Inactive:      5550648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26481068 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5488 kB
Writeback:           0 kB
AnonPages:       64860 kB
Mapped:          14744 kB
Slab:           481072 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   196272 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= 71588 MiB
End job on node126 at 2011-04-29 13:00:58