Trace number 3366342

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.46 1203.14

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-3366342-1305402125.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.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     282 undec:      73 neg:     295
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       632      2752         0         0      8384         0   no data   no data
0.19/0.07	c Decided on static restart strategy
0.36/0.17	c  N st     8      4915       632      2752         0      4859      8384    136491   no data   no data
1.56/0.45	c  N st    10     11297       632      2752         0      4501      8384     88483   no data   no data
2.76/0.75	c  N st    11     17040       632      2752         0     10153      8384    249814   no data   no data
4.40/1.19	c  F st    12     25002       632      2752         0     12402      8384    300688   no data   no data
4.40/1.19	c  N st    12     25002       632      2752         0     12402      8384    300688   no data   no data
5.56/1.45	c  N dy    18     30001       632      2752         0     10692      8384    243233   no data   no data
5.56/1.45	c  S st    18     30001       632      2752         0     10692      8384    243233   no data   no data
5.56/1.49	c  S st    18     30505       632      2752         0     11196      8384    255940   no data   no data
5.56/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.49	c blocked clauses removed:       11 vars:      1 tried:         632 T: 0.00 s
5.56/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.56/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c lits-rem:       121  cl-subs:      376  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.56	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
5.96/1.56	c calculated reachability. Time: 0.00
5.96/1.56	c  N dy    18     30505       631      2741         0     10820      8351    244075   no data   no data
7.15/1.82	c  N dy    26     34785       631      2741         0     15058      8351    358280     18.45     19.47
7.96/2.04	c  N dy    49     38842       631      2741         0     11272      8351    200954     18.62     19.72
9.14/2.30	c  N dy    65     43233       631      2741         0     15634      8351    319915     18.42     19.72
9.54/2.48	c  S st    82     45757       631      2741         0      9263      8351    117614     18.60   no data
9.94/2.51	c  S st    82     46257       631      2741         0      9763      8351    130789     18.60   no data
9.94/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
9.94/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.53	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.53	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
9.94/2.53	c vivif2 --  cl tried     9755 cl shrink        0 lits rem          0 time: 0.00
9.94/2.53	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
9.94/2.54	c calculated reachability. Time: 0.00
9.94/2.54	c  N dy    82     46257       631      2741         0      9755      8351    130532     18.60   no data
10.74/2.77	c  N dy   104     50372       631      2741         0     13836      8351    241371     18.63     20.09
11.95/3.04	c  N dy   114     54404       631      2741         0     17820      8351    344369     18.41     19.53
13.18/3.34	c  N dy   132     59087       631      2741         0     12578      8351    182226     18.39     19.60
14.33/3.64	c  N dy   149     63661       631      2741         0     17109      8351    303316     18.39     19.39
15.54/3.96	c  N dy   172     67755       631      2741         0     21175      8351    414712     18.48     19.56
15.93/4.07	c  S st   175     69386       631      2741         0     11903      8351    139741     18.44     18.60
16.33/4.10	c  S st   175     69894       631      2741         0     12411      8351    153975     18.44   no data
16.33/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
16.33/4.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.13	c lits-rem:        11  cl-subs:       23  v-elim:      0  v-fix:    0  time:  0.01 s
16.33/4.13	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c vivif2 --  cl tried    12388 cl shrink        0 lits rem          0 time: 0.00
16.33/4.14	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
16.33/4.14	c calculated reachability. Time: 0.00
16.33/4.14	c  N dy   175     69894       631      2741         0     12388      8351    153317     18.44   no data
17.57/4.45	c  N dy   194     74462       631      2741         0     16914      8351    277465     18.45     19.48
19.12/4.83	c  N dy   209     79472       631      2741         0     21861      8351    407630     18.37     19.34
20.72/5.20	c  N dy   238     84562       631      2741         0     15032      8351    204205     18.42     19.41
21.54/5.41	c  F st   253     87501       631      2741         0     17944      8351    282210     18.44   no data
22.31/5.65	c  N st   258     90806       631      2741         0     21219      8351    377543     18.44   no data
24.31/6.16	c  N dy   276     96703       631      2741         0     14182      8351    156087     18.43     19.50
26.35/6.64	c  N dy   307    103388       631      2741         0     20803      8351    337011     18.47     19.60
26.70/6.77	c  S st   317    104841       631      2741         0     22248      8351    377209     18.49   no data
27.10/6.82	c  S st   317    105343       631      2741         0     22747      8351    391759     18.49   no data
27.10/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.10/6.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.10/6.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.10/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
27.10/6.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.10/6.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.10/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.91	c lits-rem:        62  cl-subs:      307  v-elim:      0  v-fix:    0  time:  0.07 s
27.49/6.91	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
27.49/6.92	c vivif2 --  cl tried    22440 cl shrink        0 lits rem          0 time: 0.00
27.49/6.93	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.01
27.49/6.93	c calculated reachability. Time: 0.00
27.49/6.93	c  N dy   317    105343       631      2741         0     22440      8351    382154     18.49   no data
30.32/7.64	c  N dy   342    113356       631      2741         0     16498      8351    198493     18.48     19.47
32.69/8.23	c  N dy   368    120639       631      2741         0     23700      8351    389838     18.44     19.48
35.87/9.04	c  N dy   412    128951       631      2741         0     17095      8351    199721     18.48     19.58
38.67/9.74	c  N dy   452    137297       631      2741         0     25361      8351    425174     18.51     19.58
41.87/10.59	c  N dy   486    146239       631      2741         0     18356      8351    207433     18.49     19.49
45.45/11.43	c  N dy   514    155751       631      2741         0     27769      8351    456461     18.42     19.41
46.25/11.67	c  S st   525    158015       631      2741         0     30015      8351    516856     18.42   no data
46.65/11.74	c  S st   525    158516       631      2741         0     30516      8351    531429     18.42   no data
46.65/11.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.65/11.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.65/11.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.65/11.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.65/11.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.65/11.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
46.65/11.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.65/11.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.65/11.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.45/11.90	c lits-rem:       111  cl-subs:      519  v-elim:      0  v-fix:    0  time:  0.13 s
47.45/11.90	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
47.45/11.91	c vivif2 --  cl tried    29997 cl shrink        0 lits rem          0 time: 0.01
47.45/11.93	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.02
47.45/11.93	c calculated reachability. Time: 0.00
47.45/11.93	c  N dy   525    158516       631      2741         0     29997      8351    515801     18.42   no data
51.44/12.94	c  N dy   571    169434       631      2741         0     23996      8351    340008     18.43     19.47
56.23/14.15	c  N dy   621    180298       631      2741         0     34767      8351    640166     18.46     19.51
60.62/15.25	c  N dy   680    191907       631      2741         0     28424      8351    439536     18.51     19.52
66.60/16.74	c  N dy   743    204717       631      2741         0     22292      8351    253521     18.53     19.64
74.97/18.82	c  N dy   778    223507       631      2741         0     21060      8351    201267     18.45     19.56
80.57/20.29	c  N dy   801    237775       631      2741         0     35156      8351    571979     18.37     16.35
80.57/20.29	c  S st   801    237775       631      2741         0     35156      8351    571979     18.37     16.35
80.97/20.38	c  S st   801    238278       631      2741         0     35659      8351    586261     18.37   no data
80.97/20.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.97/20.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.97/20.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.97/20.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.97/20.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.97/20.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
80.97/20.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.37/20.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.37/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.17/20.64	c lits-rem:        58  cl-subs:      916  v-elim:      0  v-fix:    0  time:  0.23 s
82.17/20.64	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
82.17/20.65	c vivif2 --  cl tried    34743 cl shrink        0 lits rem          0 time: 0.01
82.17/20.68	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.02
82.17/20.68	c calculated reachability. Time: 0.00
82.17/20.68	c  N dy   801    238278       631      2741         0     34743      8351    563340     18.37   no data
89.34/22.48	c  N dy   873    253571       631      2741         0     29147      8351    401641     18.38     21.75
98.13/24.65	c  N dy   950    270016       631      2741         0     23644      8351    224789     18.40     19.64
106.50/26.73	c  N dy  1032    287313       631      2741         0     40779      8351    690644     18.43     19.63
115.68/29.01	c  N dy  1126    305746       631      2741         0     36242      8351    548198     18.47     21.73
115.68/29.07	c  F st  1129    306250       631      2741         0     36744      8351    562332     18.47   no data
125.65/31.53	c  N dy  1186    325284       631      2741         0     31841      8351    408207     18.47     24.35
138.41/34.77	c  N dy  1278    348432       631      2741         0     29978      8351    340853     18.46     19.57
142.81/35.88	c  S st  1321    357418       631      2741         0     38883      8351    588018     18.49     17.95
143.21/35.97	c  S st  1321    357918       631      2741         0     39383      8351    602544     18.49   no data
143.21/35.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.21/35.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
143.21/35.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.21/35.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.21/35.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.21/35.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
143.21/35.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.61/36.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.61/36.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.43/36.21	c lits-rem:        90  cl-subs:      630  v-elim:      0  v-fix:    0  time:  0.20 s
144.43/36.21	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
144.43/36.22	c vivif2 --  cl tried    38753 cl shrink        0 lits rem          0 time: 0.01
144.43/36.25	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
144.43/36.25	c calculated reachability. Time: 0.00
144.43/36.25	c  N dy  1321    357918       631      2741         0     38753      8351    584905     18.49   no data
156.77/39.31	c  N dy  1435    377929       631      2741         0     32859      8351    394576     18.53     22.13
170.76/42.88	c  N dy  1499    401518       631      2741         0     29429      8351    278128     18.49     19.52
183.11/45.92	c  N dy  1612    421820       631      2741         0     49556      8351    832509     18.53     19.55
195.48/49.04	c  N dy  1736    442209       631      2741         0     42072      8351    616779     18.58     19.57
209.84/52.64	c  N dy  1849    462226       631      2741         0     33167      8351    343356     18.62     20.53
224.20/56.28	c  N dy  1929    485178       631      2741         0     55851      8351    961713     18.60     19.72
236.60/59.33	c  N dy  1981    505258       631      2741         0     46020      8351    667144     18.58     20.59
250.93/62.95	c  N dy  2062    525278       631      2741         0     35136      8351    356659     18.58     23.79
257.73/64.65	c  S st  2106    536877       631      2741         0     46609      8351    668860     18.57     19.10
258.13/64.77	c  S st  2106    537378       631      2741         0     47110      8351    683542     18.57   no data
258.13/64.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.13/64.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
258.13/64.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.13/64.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.13/64.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.13/64.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
258.13/64.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.13/64.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
258.54/64.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.31/65.06	c lits-rem:        63  cl-subs:      668  v-elim:      0  v-fix:    0  time:  0.24 s
259.31/65.06	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
259.31/65.07	c vivif2 --  cl tried    46442 cl shrink        0 lits rem          0 time: 0.01
259.71/65.10	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
259.71/65.10	c calculated reachability. Time: 0.00
259.71/65.10	c  N dy  2106    537378       631      2741         0     46442      8351    664803     18.57   no data
275.68/69.12	c  N dy  2212    557447       631      2741         0     34642      8351    317745     18.59     19.65
288.84/72.47	c  N dy  2321    577804       631      2741         0     54815      8351    875390     18.62     19.65
304.00/76.21	c  N dy  2419    597836       631      2741         0     41961      8351    504920     18.63     21.30
319.57/80.11	c  N dy  2512    617917       631      2741         0     61838      8351   1050124     18.64     20.97
333.93/83.72	c  N dy  2606    638314       631      2741         0     48382      8351    653194     18.65     19.63
352.28/88.31	c  N dy  2710    658686       631      2741         0     68566      8351   1207547     18.66     19.73
365.44/91.68	c  N dy  2815    678721       631      2741         0     53755      8351    794720     18.69     23.97
385.01/96.56	c  N dy  2923    698742       631      2741         0     37936      8351    323544     18.71     22.93
398.57/99.98	c  N dy  2982    718837       631      2741         0     57791      8351    869290     18.69     21.94
416.96/104.52	c  N dy  3040    738928       631      2741         0     41044      8351    389248     18.68     20.08
431.68/108.28	c  N dy  3120    759324       631      2741         0     61239      8351    947525     18.68     19.69
454.82/114.01	c  N dy  3212    784906       631      2741         0     48828      8351    557600     18.67     19.67
472.38/118.41	c  N dy  3330    804962       631      2741         0     68691      8351   1114685     18.70     20.04
473.60/118.71	c  S st  3338    806067       631      2741         0     69784      8351   1144789     18.70     17.94
474.37/118.90	c  S st  3338    806569       631      2741         0     70286      8351   1159198     18.70   no data
474.37/118.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
474.37/118.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
474.37/118.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
474.37/118.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
474.37/118.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.37/118.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
474.37/118.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
474.37/118.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
474.37/118.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.76/120.09	c lits-rem:       197  cl-subs:     2531  v-elim:      0  v-fix:    0  time:  1.10 s
478.76/120.09	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
479.16/120.11	c vivif2 --  cl tried    67755 cl shrink        0 lits rem          0 time: 0.02
479.16/120.17	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.06
479.16/120.17	c calculated reachability. Time: 0.00
479.16/120.17	c  N dy  3338    806569       631      2741         0     67755      8351   1094534     18.70   no data
497.92/124.87	c  N dy  3386    829871       631      2741         0     52229      8351    655306     18.67     19.94
517.50/129.81	c  N dy  3491    850562       631      2741         0     72714      8351   1224933     18.68     19.80
537.02/134.63	c  N dy  3596    873445       631      2741         0     55847      8351    742316     18.69     19.73
557.41/139.72	c  N dy  3691    893513       631      2741         0     75710      8351   1288430     18.70     20.44
575.32/144.21	c  N dy  3760    915794       631      2741         0     57181      8351    747381     18.68     19.73
595.68/149.33	c  N dy  3832    935867       631      2741         0     77036      8351   1299830     18.68     19.70
613.23/153.70	c  N dy  3885    956289       631      2741         0     55644      8351    683543     18.66     19.75
638.76/160.16	c  N dy  3888    984690       631      2741         0     83516      8351   1427760     18.57     19.62
654.33/164.05	c  N dy  3932   1004929       631      2741         0     61099      8351    835717     18.55     19.56
675.92/169.45	c  N dy  4036   1025060       631      2741         0     81007      8351   1386232     18.56     19.58
694.63/174.11	c  N dy  4129   1045122       631      2741         0     57424      8351    702298     18.57     19.59
715.77/179.45	c  N dy  4214   1066561       631      2741         0     78652      8351   1289139     18.57     19.75
722.56/181.14	c  F st  4251   1071877       631      2741         0     83930      8351   1438962     18.58     18.68
729.74/182.92	c Decided on static restart strategy
738.52/185.10	c  N st  4260   1090585       631      2741         0     57882      8351    729792     18.58   no data
762.47/191.17	c  N st  4262   1114583       631      2741         0     81476      8351   1451191     18.58   no data
784.81/196.79	c  N st  4263   1136179       631      2741         0     57417      8351   1199997     18.58   no data
817.92/205.03	c  N st  4264   1168571       631      2741         0     89217      8351   2112604     18.58   no data
855.87/214.56	c  N st  4265   1209854       631      2741         0     83535      8351   1872355     18.58   no data
855.87/214.56	c  S st  4265   1209854       631      2741         0     83535      8351   1872355     18.58   no data
857.02/214.81	c  S st  4265   1210358       631      2741         0     84038      8351   1887152     18.58   no data
857.02/214.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
857.02/214.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
857.02/214.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
857.02/214.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
857.02/214.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
857.02/214.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
857.02/214.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
857.02/214.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
857.42/214.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
884.95/221.83	c lits-rem:       705  cl-subs:     4155  v-elim:      0  v-fix:    0  time:  6.88 s
884.95/221.83	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
884.95/221.87	c vivif2 --  cl tried    79883 cl shrink        0 lits rem          0 time: 0.03
885.35/221.95	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.09
885.35/221.96	c calculated reachability. Time: 0.00
885.35/221.96	c  N st  4265   1210358       631      2741         0     79883      8351   1764096     18.58   no data
968.34/242.77	c  N st  4266   1283241       631      2741         0     56178      8351    963545     18.58   no data
1068.49/267.80	c  N st  4267   1392569       631      2741         0     64345      8351   1193054     18.58   no data
1244.06/311.86	c  N st  4268   1556556       631      2741         0     69279      8351   1226340     18.58   no data
1433.19/359.23	c  N st  4269   1710359       631      2741         0    110970      8351   2364857     18.58   no data
1433.19/359.23	c  S st  4269   1710359       631      2741         0    110970      8351   2364857     18.58   no data
1434.39/359.58	c  S st  4269   1710862       631      2741         0    111473      8351   2378321     18.58   no data
1434.39/359.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1434.81/359.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1434.81/359.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1434.81/359.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1434.81/359.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1434.81/359.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1434.81/359.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1434.81/359.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1435.22/359.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1522.16/381.51	c lits-rem:      1339  cl-subs:     9089  v-elim:      0  v-fix:    0  time: 21.76 s
1522.16/381.51	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
1522.16/381.54	c vivif2 --  cl tried   102384 cl shrink        0 lits rem          0 time: 0.03
1522.58/381.66	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.12
1522.58/381.66	c calculated reachability. Time: 0.00
1522.58/381.66	c  N st  4269   1710862       631      2741         0    102384      8351   2119371     18.58   no data
1962.65/491.90	c  N st  4270   2079828       631      2741         0    114860      8351   2405462     18.58   no data
2143.01/537.15	c  N st  4271   2210862       631      2741         0    118893      8351   2506056     18.58   no data
2143.01/537.15	c  S st  4271   2210862       631      2741         0    118893      8351   2506056     18.58   no data
2144.61/537.55	c  S st  4271   2211365       631      2741         0    119395      8351   2521157     18.58   no data
2144.61/537.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2145.01/537.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2145.01/537.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2145.01/537.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2145.01/537.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2145.01/537.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2145.01/537.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2145.01/537.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2145.41/537.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2201.66/551.83	c lits-rem:       769  cl-subs:     4517  v-elim:      0  v-fix:    0  time: 14.09 s
2201.66/551.83	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
2201.66/551.87	c vivif2 --  cl tried   114878 cl shrink        0 lits rem          0 time: 0.03
2202.46/552.00	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.14
2202.46/552.01	c calculated reachability. Time: 0.00
2202.46/552.01	c  N st  4271   2211365       631      2741         0    114878      8351   2367412     18.58   no data
2911.89/729.83	c  N st  4272   2711365       631      2741         0    137739      8351   2850303     18.58   no data
2911.89/729.83	c  S st  4272   2711365       631      2741         0    137739      8351   2850303     18.58   no data
2913.49/730.29	c  S st  4272   2711867       631      2741         0    138240      8351   2864694     18.58   no data
2913.49/730.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2913.91/730.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2913.91/730.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2913.91/730.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2913.91/730.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2913.91/730.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2913.91/730.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2914.32/730.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2914.32/730.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3036.81/761.14	c lits-rem:       708  cl-subs:    10384  v-elim:      0  v-fix:    0  time: 30.65 s
3036.81/761.14	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3036.81/761.18	c vivif2 --  cl tried   127856 cl shrink        0 lits rem          0 time: 0.04
3037.57/761.33	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.15
3037.57/761.33	c calculated reachability. Time: 0.00
3037.57/761.33	c  N st  4272   2711867       631      2741         0    127856      8351   2572005     18.58   no data
3737.83/936.83	c  N st  4273   3211867       631      2741         0    103611      8351   1634180     18.58   no data
3737.83/936.83	c  S st  4273   3211867       631      2741         0    103611      8351   1634180     18.58   no data
3739.05/937.14	c  S st  4273   3212372       631      2741         0    104116      8351   1649127     18.58   no data
3739.05/937.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3739.05/937.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3739.05/937.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3739.05/937.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3739.05/937.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3739.05/937.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3739.05/937.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3739.47/937.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3739.47/937.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3756.61/941.53	c lits-rem:       214  cl-subs:     4007  v-elim:      0  v-fix:    0  time:  4.25 s
3756.61/941.53	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3756.61/941.55	c vivif2 --  cl tried   100109 cl shrink        0 lits rem          0 time: 0.02
3757.02/941.66	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.11
3757.02/941.67	c calculated reachability. Time: 0.00
3757.02/941.67	c  N st  4273   3212372       631      2741         0    100109      8351   1545490     18.58   no data
4518.68/1132.59	c  N st  4274   3712374       631      2741         0    111217      8351   1805315     18.58   no data
4518.68/1132.59	c  S st  4274   3712374       631      2741         0    111217      8351   1805315     18.58   no data
4520.30/1132.95	c  S st  4274   3712879       631      2741         0    111721      8351   1820240     18.58   no data
4520.30/1132.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4520.72/1133.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4520.72/1133.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4520.72/1133.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4520.72/1133.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4520.72/1133.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4520.72/1133.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4520.72/1133.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4520.72/1133.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4540.21/1137.98	c lits-rem:       302  cl-subs:     3019  v-elim:      0  v-fix:    0  time:  4.88 s
4540.21/1137.98	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
4540.61/1138.01	c vivif2 --  cl tried   108702 cl shrink        0 lits rem          0 time: 0.03
4541.01/1138.13	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.12
4541.01/1138.13	c calculated reachability. Time: 0.00
4541.01/1138.13	c  N st  4274   3712879       631      2741         0    108702      8351   1724192     18.58   no data
4608.06/1154.92	c  F st  4275   3751563       631      2741         0    146704      8351   2885501     18.58   no data
4608.06/1154.93	c  N st  4275   3751563       631      2741         0    146704      8351   2885501     18.58   no data
4619.21/1157.72	c Decided on static restart strategy
4662.71/1168.60	c  N st  4285   3779868       631      2741         0     91169      8351   1083996     18.58   no data
4705.40/1179.32	c  N st  4287   3815860       631      2741         0    126741      8351   2208098     18.58   no data
4764.05/1194.03	c  N st  4288   3848252       631      2741         0    158685      8351   3216082     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: 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-3366342-1305402125/watcher-3366342-1305402125 -o /tmp/evaluation-result-3366342-1305402125/solver-3366342-1305402125 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366342-1305402125.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: 7.47 7.98 8.05 2/302 18965
/proc/meminfo: memFree=18235072/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 651812163 52396032 347 33554432000 4194304 4580107 140734343220672 18446744073709551615 47371109078962 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 12792 347 299 95 0 7774 0
[pid=18965/tid=18967] ppid=18963 vsize=281988 CPUtime=0 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 4 0 651812163 288755712 814 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=281988 CPUtime=0 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 154 0 0 0 0 0 0 0 25 0 4 0 651812163 288755712 814 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=281988 CPUtime=0 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 4 0 651812163 288755712 814 33554432000 4194304 4580107 140734343220672 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0553821 s]
/proc/loadavg: 7.47 7.98 8.05 2/302 18965
/proc/meminfo: memFree=18235072/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=282332 CPUtime=0.19 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 1614 0 0 0 19 0 0 0 25 0 4 0 651812163 289107968 1499 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 70583 1499 376 95 0 65565 0
[pid=18965/tid=18967] ppid=18963 vsize=282332 CPUtime=0.04 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 316 0 0 0 4 0 0 0 25 0 4 0 651812163 289107968 1499 33554432000 4194304 4580107 140734343220672 18446744073709551615 4320853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=282332 CPUtime=0.04 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 366 0 0 0 4 0 0 0 25 0 4 0 651812163 289107968 1499 33554432000 4194304 4580107 140734343220672 18446744073709551615 4322312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=282332 CPUtime=0.04 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 181 0 0 0 4 0 0 0 25 0 4 0 651812163 289107968 1499 33554432000 4194304 4580107 140734343220672 18446744073709551615 4321310 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282332

[startup+0.100373 s]
/proc/loadavg: 7.47 7.98 8.05 2/302 18965
/proc/meminfo: memFree=18235072/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=282464 CPUtime=0.36 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 1857 0 0 0 36 0 0 0 25 0 4 0 651812163 289243136 1742 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 70616 1742 377 95 0 65598 0
[pid=18965/tid=18967] ppid=18963 vsize=282464 CPUtime=0.09 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 366 0 0 0 9 0 0 0 25 0 4 0 651812163 289243136 1742 33554432000 4194304 4580107 140734343220672 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=282464 CPUtime=0.09 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 434 0 0 0 9 0 0 0 25 0 4 0 651812163 289243136 1742 33554432000 4194304 4580107 140734343220672 18446744073709551615 4320880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=282464 CPUtime=0.08 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 239 0 0 0 8 0 0 0 25 0 4 0 651812163 289243136 1742 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282464

[startup+0.300339 s]
/proc/loadavg: 7.47 7.98 8.05 2/302 18965
/proc/meminfo: memFree=18235072/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=284092 CPUtime=1.16 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 3028 0 0 0 116 0 0 0 25 0 4 0 651812163 290910208 2245 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 71023 2245 377 95 0 66005 0
[pid=18965/tid=18967] ppid=18963 vsize=284092 CPUtime=0.29 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 664 0 0 0 29 0 0 0 25 0 4 0 651812163 290910208 2245 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=284092 CPUtime=0.29 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 732 0 0 0 29 0 0 0 25 0 4 0 651812163 290910208 2245 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=284092 CPUtime=0.28 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 517 0 0 0 28 0 0 0 25 0 4 0 651812163 290910208 2246 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284092

[startup+0.70027 s]
/proc/loadavg: 7.47 7.98 8.05 2/302 18965
/proc/meminfo: memFree=18235072/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=284952 CPUtime=2.76 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 4685 0 0 0 276 0 0 0 25 0 4 0 651812163 291790848 2897 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 71238 2897 377 95 0 66220 0
[pid=18965/tid=18967] ppid=18963 vsize=284952 CPUtime=0.69 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 1075 0 0 0 69 0 0 0 25 0 4 0 651812163 291790848 2897 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=284952 CPUtime=0.69 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 1149 0 0 0 69 0 0 0 25 0 4 0 651812163 291790848 2897 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=284952 CPUtime=0.68 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 950 0 0 0 68 0 0 0 25 0 4 0 651812163 291790848 2897 33554432000 4194304 4580107 140734343220672 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284952

[startup+1.50113 s]
/proc/loadavg: 7.51 7.98 8.04 9/314 18977
/proc/meminfo: memFree=18207820/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=286472 CPUtime=5.96 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 8254 0 0 0 595 1 0 0 25 0 4 0 651812163 293347328 3676 33554432000 4194304 4580107 140734343220672 18446744073709551615 274473628705 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 71618 3682 379 95 0 66600 0
[pid=18965/tid=18967] ppid=18963 vsize=286472 CPUtime=1.48 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 1909 0 0 0 148 0 0 0 25 0 4 0 651812163 293347328 3685 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=286472 CPUtime=1.49 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 2003 0 0 0 149 0 0 0 25 0 4 0 651812163 293347328 3688 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=286472 CPUtime=1.47 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 1774 0 0 0 147 0 0 0 25 0 4 0 651812163 293347328 3691 33554432000 4194304 4580107 140734343220672 18446744073709551615 4318360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286472

[startup+3.10085 s]
/proc/loadavg: 7.51 7.98 8.04 9/314 18977
/proc/meminfo: memFree=18181284/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=273908 CPUtime=12.34 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 18696 0 0 0 1231 3 0 0 25 0 4 0 651812163 280481792 10912 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 68477 10912 379 95 0 63459 0
[pid=18965/tid=18967] ppid=18963 vsize=273908 CPUtime=3.08 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 4229 0 0 0 308 0 0 0 25 0 4 0 651812163 280481792 10912 33554432000 4194304 4580107 140734343220672 18446744073709551615 4318353 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=273908 CPUtime=3.08 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 5139 0 0 0 308 0 0 0 25 0 4 0 651812163 280481792 10912 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=273908 CPUtime=3.05 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 4156 0 0 0 305 0 0 0 25 0 4 0 651812163 280481792 10912 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 273908

[startup+6.30029 s]
/proc/loadavg: 7.51 7.98 8.04 9/314 18977
/proc/meminfo: memFree=18123936/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=273764 CPUtime=25.11 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 27695 0 0 0 2505 6 0 0 25 0 4 0 651812163 280334336 15013 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 68441 15013 379 95 0 63423 0
[pid=18965/tid=18967] ppid=18963 vsize=273764 CPUtime=6.28 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 8098 0 0 0 627 1 0 0 25 0 4 0 651812163 280334336 15013 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=273764 CPUtime=6.28 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 7358 0 0 0 627 1 0 0 25 0 4 0 651812163 280334336 15013 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=273764 CPUtime=6.22 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 5125 0 0 0 622 0 0 0 25 0 4 0 651812163 280334336 15014 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 273764

[startup+12.7012 s]
/proc/loadavg: 7.59 7.98 8.04 9/314 18977
/proc/meminfo: memFree=18072720/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=300256 CPUtime=50.64 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 41309 0 0 0 5055 9 0 0 25 0 4 0 651812163 307462144 22854 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 75064 22854 379 95 0 70046 0
[pid=18965/tid=18967] ppid=18963 vsize=300256 CPUtime=12.68 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 11604 0 0 0 1266 2 0 0 25 0 4 0 651812163 307462144 22854 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=300256 CPUtime=12.69 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 9241 0 0 0 1267 2 0 0 25 0 4 0 651812163 307462144 22854 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=300256 CPUtime=12.56 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 9486 0 0 0 1254 2 0 0 25 0 4 0 651812163 307462144 22854 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 300256

[startup+25.5009 s]
/proc/loadavg: 7.65 7.98 8.04 9/314 18978
/proc/meminfo: memFree=18031688/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=338116 CPUtime=101.71 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 55895 0 0 0 10158 13 0 0 25 0 4 0 651812163 346230784 28478 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 84529 28478 379 95 0 79511 0
[pid=18965/tid=18967] ppid=18963 vsize=338116 CPUtime=25.49 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 14968 0 0 0 2546 3 0 0 25 0 4 0 651812163 346230784 28478 33554432000 4194304 4580107 140734343220672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=338116 CPUtime=25.49 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 13745 0 0 0 2546 3 0 0 25 0 4 0 651812163 346230784 28478 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=338116 CPUtime=25.23 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 12554 0 0 0 2520 3 0 0 25 0 4 0 651812163 346230784 28478 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 338116

[startup+51.1004 s]
/proc/loadavg: 7.83 8.00 8.05 9/314 18978
/proc/meminfo: memFree=18013604/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=323936 CPUtime=203.85 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 85604 0 0 0 20362 23 0 0 25 0 4 0 651812163 331710464 29435 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 80984 29435 379 95 0 75966 0
[pid=18965/tid=18967] ppid=18963 vsize=323936 CPUtime=51.08 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 21980 0 0 0 5103 5 0 0 25 0 4 0 651812163 331710464 29435 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=323936 CPUtime=51.09 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 21520 0 0 0 5103 6 0 0 25 0 4 0 651812163 331710464 29435 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=323936 CPUtime=50.57 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 19997 0 0 0 5052 5 0 0 25 0 4 0 651812163 331710464 29435 33554432000 4194304 4580107 140734343220672 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 323936

[startup+102.312 s]
/proc/loadavg: 8.07 8.03 8.05 9/314 18980
/proc/meminfo: memFree=17965716/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=325896 CPUtime=408.19 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 134414 0 0 0 40778 41 0 0 25 0 4 0 651812163 333717504 33815 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 81474 33815 379 95 0 76456 0
[pid=18965/tid=18967] ppid=18963 vsize=325896 CPUtime=102.29 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 34365 0 0 0 10220 9 0 0 25 0 4 0 651812163 333717504 33815 33554432000 4194304 4580107 140734343220672 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=325896 CPUtime=102.3 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 32539 0 0 0 10220 10 0 0 25 0 4 0 651812163 333717504 33815 33554432000 4194304 4580107 140734343220672 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=325896 CPUtime=101.27 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 33277 0 0 0 10118 9 0 0 25 0 4 0 651812163 333717504 33815 33554432000 4194304 4580107 140734343220672 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 325896

[startup+162.301 s]

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

[pid=18965] ppid=18963 vsize=530508 CPUtime=2802.16 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 372770 0 0 0 280051 165 0 0 25 0 4 0 651812163 543240192 91574 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 132627 91574 379 95 0 127609 0
[pid=18965/tid=18967] ppid=18963 vsize=530508 CPUtime=702.28 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 75890 0 0 0 70193 35 0 0 25 0 4 0 651812163 543240192 91574 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=530508 CPUtime=702.3 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 96888 0 0 0 70183 47 0 0 25 0 4 0 651812163 543240192 91574 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=530508 CPUtime=695.26 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 82876 0 0 0 69491 35 0 0 25 0 4 0 651812163 543240192 91574 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.16
Current children cumulated vsize (KiB) 530508

[startup+762.312 s]
/proc/loadavg: 8.05 8.10 8.07 9/314 18997
/proc/meminfo: memFree=17515104/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=582264 CPUtime=3041.61 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 385416 0 0 0 303990 171 0 0 25 0 4 0 651812163 596238336 100826 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 145566 100826 379 95 0 140548 0
[pid=18965/tid=18967] ppid=18963 vsize=582264 CPUtime=762.29 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 75942 0 0 0 76194 35 0 0 25 0 4 0 651812163 596238336 100826 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=582264 CPUtime=762.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 100604 0 0 0 76182 49 0 0 25 0 4 0 651812163 596238336 100826 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=582264 CPUtime=754.66 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 83650 0 0 0 75431 35 0 0 25 0 4 0 651812163 596238336 100826 33554432000 4194304 4580107 140734343220672 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.61
Current children cumulated vsize (KiB) 582264

[startup+822.301 s]
/proc/loadavg: 8.05 8.09 8.07 9/314 18999
/proc/meminfo: memFree=17549540/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=582480 CPUtime=3280.97 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 391606 0 0 0 327921 176 0 0 25 0 4 0 651812163 596459520 97301 33554432000 4194304 4580107 140734343220672 18446744073709551615 4305283 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 145620 97301 379 95 0 140602 0
[pid=18965/tid=18967] ppid=18963 vsize=582480 CPUtime=822.28 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 76203 0 0 0 82193 35 0 0 25 0 4 0 651812163 596459520 97301 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=582480 CPUtime=822.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 102676 0 0 0 82180 51 0 0 25 0 4 0 651812163 596459520 97301 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=582480 CPUtime=814.06 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 83753 0 0 0 81371 35 0 0 25 0 4 0 651812163 596459520 97301 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.97
Current children cumulated vsize (KiB) 582480

[startup+882.3 s]
/proc/loadavg: 8.09 8.09 8.07 9/314 19001
/proc/meminfo: memFree=17486988/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=545076 CPUtime=3520.37 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 406230 0 0 0 351853 184 0 0 25 0 4 0 651812163 558157824 104612 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 136269 104612 379 95 0 131251 0
[pid=18965/tid=18967] ppid=18963 vsize=545076 CPUtime=882.27 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 76619 0 0 0 88192 35 0 0 25 0 4 0 651812163 558157824 104612 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=545076 CPUtime=882.3 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 108090 0 0 0 88176 54 0 0 25 0 4 0 651812163 558157824 104612 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=545076 CPUtime=873.45 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 83867 0 0 0 87310 35 0 0 25 0 4 0 651812163 558157824 104612 33554432000 4194304 4580107 140734343220672 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.37
Current children cumulated vsize (KiB) 545076

[startup+942.301 s]
/proc/loadavg: 8.17 8.10 8.08 9/314 19002
/proc/meminfo: memFree=17466092/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=545484 CPUtime=3759.77 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 416753 0 0 0 375788 189 0 0 25 0 4 0 651812163 558575616 104321 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 136371 104321 379 95 0 131353 0
[pid=18965/tid=18967] ppid=18963 vsize=545484 CPUtime=942.28 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 76905 0 0 0 94192 36 0 0 25 0 4 0 651812163 558575616 104321 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=545484 CPUtime=942.3 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 110601 0 0 0 94175 55 0 0 25 0 4 0 651812163 558575616 104321 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=545484 CPUtime=932.87 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 86506 0 0 0 93250 37 0 0 25 0 4 0 651812163 558575616 104321 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.77
Current children cumulated vsize (KiB) 545484

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 8.08 9/314 19004
/proc/meminfo: memFree=17443244/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=642640 CPUtime=3999.18 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 430837 0 0 0 399719 199 0 0 25 0 4 0 651812163 658063360 110155 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 160660 110155 379 95 0 155642 0
[pid=18965/tid=18967] ppid=18963 vsize=642640 CPUtime=1002.27 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 80142 0 0 0 100191 36 0 0 25 0 4 0 651812163 658063360 110155 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=642640 CPUtime=1002.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 115067 0 0 0 100172 59 0 0 25 0 4 0 651812163 658063360 110155 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=642640 CPUtime=992.26 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 87285 0 0 0 99189 37 0 0 25 0 4 0 651812163 658063360 110155 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.18
Current children cumulated vsize (KiB) 642640

[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.08 9/314 19005
/proc/meminfo: memFree=17429300/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=568976 CPUtime=4238.58 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 443210 0 0 0 423653 205 0 0 25 0 4 0 651812163 582631424 110963 33554432000 4194304 4580107 140734343220672 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 142244 110963 379 95 0 137226 0
[pid=18965/tid=18967] ppid=18963 vsize=568976 CPUtime=1062.27 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 82893 0 0 0 106190 37 0 0 25 0 4 0 651812163 582631424 110963 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=568976 CPUtime=1062.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 117572 0 0 0 106171 60 0 0 25 0 4 0 651812163 582631424 110963 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=568976 CPUtime=1051.67 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 88189 0 0 0 105129 38 0 0 25 0 4 0 651812163 582631424 110963 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.58
Current children cumulated vsize (KiB) 568976

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 8.09 9/314 19007
/proc/meminfo: memFree=17398380/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=718796 CPUtime=4477.98 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 454979 0 0 0 447584 214 0 0 25 0 4 0 651812163 736047104 117593 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 179699 117593 379 95 0 174681 0
[pid=18965/tid=18967] ppid=18963 vsize=718796 CPUtime=1122.27 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 83349 0 0 0 112189 38 0 0 25 0 4 0 651812163 736047104 117593 33554432000 4194304 4580107 140734343220672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=718796 CPUtime=1122.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 122023 0 0 0 112168 63 0 0 25 0 4 0 651812163 736047104 117593 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=718796 CPUtime=1111.07 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 88669 0 0 0 111068 39 0 0 25 0 4 0 651812163 736047104 117593 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.98
Current children cumulated vsize (KiB) 718796

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/314 19018
/proc/meminfo: memFree=17378644/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=581416 CPUtime=4717.37 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 467036 0 0 0 471517 220 0 0 25 0 4 0 651812163 595369984 116040 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 145354 116040 379 95 0 140336 0
[pid=18965/tid=18967] ppid=18963 vsize=581416 CPUtime=1182.26 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 85847 0 0 0 118187 39 0 0 25 0 4 0 651812163 595369984 116040 33554432000 4194304 4580107 140734343220672 18446744073709551615 4295946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=581416 CPUtime=1182.31 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 124358 0 0 0 118166 65 0 0 25 0 4 0 651812163 595369984 116040 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=581416 CPUtime=1170.48 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 88947 0 0 0 117009 39 0 0 25 0 4 0 651812163 595369984 116040 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.37
Current children cumulated vsize (KiB) 581416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.08 8.10 8.08 9/314 19018
/proc/meminfo: memFree=17402304/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=678396 CPUtime=4800.39 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 472180 0 0 0 479815 224 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 169599 116930 379 95 0 164581 0
[pid=18965/tid=18967] ppid=18963 vsize=678396 CPUtime=1203.07 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 86943 0 0 0 120267 40 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=678396 CPUtime=1203.12 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 125497 0 0 0 120246 66 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=678396 CPUtime=1191.06 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 89242 0 0 0 119067 39 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 678396

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

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

[startup+1203.1 s]
/proc/loadavg: 8.08 8.10 8.08 9/314 19018
/proc/meminfo: memFree=17402304/32950928 swapFree=67111348/67111528
[pid=18965] ppid=18963 vsize=678396 CPUtime=4800.39 cores=1,3,5,7
/proc/18965/stat : 18965 (strangenight2-m) R 18963 18965 18635 0 -1 4202496 472180 0 0 0 479815 224 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18965/statm: 169599 116930 379 95 0 164581 0
[pid=18965/tid=18967] ppid=18963 vsize=678396 CPUtime=1203.07 cores=1,3,5,7
/proc/18965/task/18967/stat : 18967 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 86943 0 0 0 120267 40 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18965/tid=18969] ppid=18963 vsize=678396 CPUtime=1203.12 cores=1,3,5,7
/proc/18965/task/18969/stat : 18969 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 125497 0 0 0 120246 66 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18965/tid=18970] ppid=18963 vsize=678396 CPUtime=1191.06 cores=1,3,5,7
/proc/18965/task/18970/stat : 18970 (strangenight2-m) R 18963 18965 18635 0 -1 4202560 89242 0 0 0 119067 39 0 0 25 0 4 0 651812163 694677504 116930 33554432000 4194304 4580107 140734343220672 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 678396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.46
CPU user time (s): 4798.19
CPU system time (s): 2.26965
CPU usage (%): 398.994
Max. virtual memory (cumulated for all children) (KiB): 719652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.19
system time used= 2.26965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472180
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= 341
involuntary context switches= 34834

runsolver used 3.20751 second user time and 8.87465 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 21:42:05
IDJOB=3366342
IDBENCH=82751
IDSOLVER=1844
FILE ID=node125/3366342-1305402125
RUNJOBID= node125-1305402125-18951
PBS_JOBID= 13324489
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= 0d5db3c80640d96c57ce9e3d0b9dc725
RANDOM SEED=1085635424

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18235104 kB
Buffers:        253980 kB
Cached:        4032720 kB
SwapCached:          0 kB
Active:       11124760 kB
Inactive:      3217080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18235104 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11432 kB
Writeback:           0 kB
AnonPages:    10055196 kB
Mapped:          28996 kB
Slab:           274408 kB
PageTables:      35792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 50988100 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= 73188 MiB
End job on node125 at 2011-05-14 22:02:10