Trace number 3366678

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.38 1202.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf
MD5SUMafbdc7a317cd52b76c978398c2e877e2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.218965
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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-3366678-1305412054.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 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:    700 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.10	c lits-rem:         0  cl-subs:        0  v-elim:     12  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:     317 undec:      89 neg:     294
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       688      2973         0         0      9003         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.41/0.18	c  N st     8      4920       688      2973         0      4844      9003    139998   no data   no data
1.57/0.46	c  N st    10     11302       688      2973         0      4493      9003     92738   no data   no data
2.77/0.75	c  N st    11     17046       688      2973         0     10146      9003    261477   no data   no data
4.38/1.18	c  F st    12     25001       688      2973         0     12440      9003    330299   no data   no data
4.38/1.18	c  N st    12     25001       688      2973         0     12440      9003    330299   no data   no data
5.56/1.44	c  N dy    18     30000       688      2973         0     10726      9003    249050   no data   no data
5.56/1.44	c  S st    18     30000       688      2973         0     10726      9003    249050   no data   no data
5.56/1.47	c  S st    18     30504       688      2973         0     11230      9003    262552   no data   no data
5.56/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.47	c blocked clauses removed:       18 vars:      2 tried:         688 T: 0.00 s
5.56/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
5.56/1.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.53	c lits-rem:       121  cl-subs:      292  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.54	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
5.96/1.54	c calculated reachability. Time: 0.00
5.96/1.54	c  N dy    18     30504       685      2954         0     10937      8951    252790   no data   no data
7.16/1.85	c  N dy    27     35642       685      2954         0      8191      8951    121443     19.28     20.35
7.97/2.07	c  N dy    34     39852       685      2954         0     12356      8951    233280     18.68     19.84
9.19/2.33	c  N dy    47     43853       685      2954         0     16334      8951    344030     18.51     19.53
9.55/2.47	c  S st    57     45756       685      2954         0      9340      8951    123655     18.51   no data
9.95/2.50	c  S st    57     46262       685      2954         0      9846      8951    137326     18.51   no data
9.95/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
9.95/2.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.52	c lits-rem:         9  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.52	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
9.95/2.52	c vivif2 --  cl tried     9835 cl shrink        0 lits rem          0 time: 0.00
9.95/2.52	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
9.95/2.53	c calculated reachability. Time: 0.00
9.95/2.53	c  N dy    57     46262       685      2954         0      9835      8951    136999     18.51   no data
10.75/2.76	c  N dy    87     50324       685      2954         0     13878      8951    252372     18.82     19.88
12.76/3.28	c  N dy   107     57834       685      2954         0     11419      8951    155496     18.68     19.78
13.95/3.52	c  N dy   134     61840       685      2954         0     15396      8951    269983     18.85     20.29
15.15/3.82	c  N dy   153     65875       685      2954         0     19411      8951    383350     18.89     21.12
15.95/4.09	c  S st   155     69393       685      2954         0     11999      8951    147682     18.73     16.38
16.35/4.12	c  S st   155     69897       685      2954         0     12502      8951    161917     18.73   no data
16.35/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
16.35/4.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c lits-rem:        13  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.01 s
16.35/4.15	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
16.35/4.15	c vivif2 --  cl tried    12470 cl shrink        0 lits rem          0 time: 0.00
16.35/4.16	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
16.35/4.16	c calculated reachability. Time: 0.00
16.35/4.16	c  N dy   155     69897       685      2954         0     12470      8951    160861     18.73   no data
18.73/4.76	c  N dy   168     78313       685      2954         0     20811      8951    398785     18.42     19.50
20.34/5.16	c  N dy   203     83488       685      2954         0     14048      8951    180469     18.54     19.56
21.54/5.44	c  F st   222     87502       685      2954         0     18033      8951    291036     18.52   no data
21.95/5.59	c  N st   226     89541       685      2954         0     20055      8951    347501     18.52   no data
24.33/6.13	c  N dy   245     95652       685      2954         0     13217      8951    134793     18.58     19.56
26.34/6.65	c  N dy   264    102974       685      2954         0     20475      8951    336209     18.54     19.83
27.11/6.81	c  S st   279    104845       685      2954         0     22335      8951    390500     18.59     18.34
27.11/6.86	c  S st   279    105349       685      2954         0     22839      8951    404136     18.59   no data
27.11/6.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.11/6.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.11/6.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.11/6.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
27.11/6.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.11/6.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.11/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.96	c lits-rem:        93  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.07 s
27.51/6.96	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
27.51/6.96	c vivif2 --  cl tried    22492 cl shrink        0 lits rem          0 time: 0.00
27.51/6.98	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
27.51/6.98	c calculated reachability. Time: 0.00
27.51/6.98	c  N dy   279    105349       685      2954         0     22492      8951    393524     18.59   no data
30.31/7.61	c  N dy   321    112230       685      2954         0     15435      8951    175021     18.67     19.73
32.31/8.18	c  N dy   363    119444       685      2954         0     22606      8951    375209     18.73     19.77
35.90/9.01	c  N dy   405    127260       685      2954         0     15473      8951    154160     18.77     19.77
38.30/9.66	c  N dy   449    135402       685      2954         0     23548      8951    380259     18.82     19.98
41.89/10.58	c  N dy   479    144790       685      2954         0     16980      8951    173476     18.74     19.86
45.88/11.53	c  N dy   526    155660       685      2954         0     27745      8951    473519     18.74     19.88
46.68/11.78	c  S st   544    158023       685      2954         0     30091      8951    540144     18.76     15.21
47.08/11.85	c  S st   544    158531       685      2954         0     30599      8951    554276     18.76   no data
47.08/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.08/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.08/11.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.08/11.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.08/11.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.08/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
47.08/11.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.08/11.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.08/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.88/12.04	c lits-rem:       126  cl-subs:      460  v-elim:      0  v-fix:    0  time:  0.15 s
47.88/12.04	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
47.88/12.04	c vivif2 --  cl tried    30139 cl shrink        0 lits rem          0 time: 0.01
47.88/12.06	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.02
47.88/12.06	c calculated reachability. Time: 0.00
47.88/12.06	c  N dy   544    158531       685      2954         0     30139      8951    540464     18.76   no data
51.87/13.05	c  N dy   607    168768       685      2954         0     23455      8951    336572     18.85     19.86
56.27/14.18	c  N dy   664    179627       685      2954         0     34244      8951    650351     18.91     20.70
60.66/15.27	c  N dy   743    191187       685      2954         0     27856      8951    438482     19.00     23.99
66.64/16.73	c  N dy   813    203627       685      2954         0     21344      8951    230871     19.05     20.25
72.23/18.12	c  N dy   882    216685       685      2954         0     34319      8951    599032     19.08     22.24
78.63/19.79	c  N dy   954    231359       685      2954         0     28991      8951    420948     19.09     20.11
81.81/20.53	c  S st   988    237796       685      2954         0     35384      8951    602341     19.10     19.97
82.21/20.62	c  S st   988    238300       685      2954         0     35887      8951    617170     19.10   no data
82.21/20.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.21/20.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.21/20.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.21/20.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.21/20.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.21/20.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
82.21/20.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.21/20.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.21/20.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.02/20.84	c lits-rem:       101  cl-subs:      650  v-elim:      0  v-fix:    0  time:  0.18 s
83.02/20.84	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
83.02/20.85	c vivif2 --  cl tried    35237 cl shrink        0 lits rem          0 time: 0.01
83.02/20.87	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.02
83.02/20.87	c calculated reachability. Time: 0.00
83.02/20.87	c  N dy   988    238300       685      2954         0     35237      8951    598229     19.10   no data
90.20/22.66	c  N dy  1054    254012       685      2954         0     29969      8951    428032     19.11     20.13
98.59/24.78	c  N dy  1128    270455       685      2954         0     24468      8951    250321     19.12     20.31
109.37/27.48	c  N dy  1236    291416       685      2954         0     45238      8951    847809     19.16     20.27
116.16/29.14	c  F st  1313    306250       685      2954         0     37139      8951    590677     19.18     17.80
118.98/29.87	c  N dy  1319    311452       685      2954         0     42280      8951    735569     19.18   no data
131.33/32.91	c  N dy  1373    335299       685      2954         0     42036      8951    687025     19.12     20.15
142.90/35.81	c  N dy  1484    356340       685      2954         0     38185      8951    588564     19.17     20.23
143.30/35.97	c  S st  1495    357450       685      2954         0     39288      8951    621413     19.17   no data
143.70/36.06	c  S st  1495    357957       685      2954         0     39794      8951    635899     19.17   no data
143.70/36.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.70/36.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
143.70/36.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.70/36.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.70/36.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.70/36.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
143.70/36.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.70/36.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.10/36.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.50/36.29	c lits-rem:        84  cl-subs:      329  v-elim:      0  v-fix:    0  time:  0.18 s
144.50/36.29	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
144.50/36.29	c vivif2 --  cl tried    39465 cl shrink        0 lits rem          0 time: 0.01
144.92/36.32	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.03
144.92/36.32	c calculated reachability. Time: 0.00
144.92/36.32	c  N dy  1495    357957       685      2954         0     39465      8951    624308     19.17   no data
156.88/39.35	c  N dy  1620    378016       685      2954         0     33582      8951    423279     19.24     22.94
169.25/42.49	c  N dy  1684    398043       685      2954         0     53406      8951    983592     19.24     20.26
180.46/45.25	c  N dy  1806    418122       685      2954         0     46582      8951    782935     19.29     22.57
192.81/48.40	c  N dy  1918    438176       685      2954         0     38725      8951    532533     19.33     22.21
207.18/51.91	c  N dy  1995    458230       685      2954         0     29852      8951    249829     19.32     20.62
218.76/54.83	c  N dy  2034    478869       685      2954         0     50252      8951    813728     19.27     20.32
231.93/58.19	c  N dy  2131    499069       685      2954         0     40590      8951    543468     19.28     20.58
248.70/62.36	c  N dy  2214    522823       685      2954         0     33413      8951    307171     19.26     20.28
257.08/64.43	c  S st  2304    536936       685      2954         0     47392      8951    708995     19.30   no data
257.48/64.54	c  S st  2304    537440       685      2954         0     47894      8951    723556     19.30   no data
257.48/64.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.48/64.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.48/64.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.48/64.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.48/64.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.48/64.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
257.48/64.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.48/64.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.48/64.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.68/64.84	c lits-rem:        98  cl-subs:      543  v-elim:      0  v-fix:    0  time:  0.25 s
258.68/64.84	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
258.68/64.86	c vivif2 --  cl tried    47351 cl shrink        0 lits rem          0 time: 0.01
258.68/64.89	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.04
258.68/64.89	c calculated reachability. Time: 0.00
258.68/64.89	c  N dy  2304    537440       685      2954         0     47351      8951    706948     19.30   no data
275.05/68.95	c  N dy  2409    558210       685      2954         0     36230      8951    365942     19.31     20.38
288.63/72.32	c  N dy  2506    578283       685      2954         0     56115      8951    948500     19.33     21.72
303.79/76.11	c  N dy  2582    599545       685      2954         0     44484      8951    580181     19.33     20.42
319.77/80.17	c  N dy  2683    619703       685      2954         0     64449      8951   1148892     19.34     20.51
333.35/83.54	c  N dy  2756    639712       685      2954         0     50556      8951    723350     19.34     20.52
350.12/87.79	c  N dy  2837    659749       685      2954         0     35770      8951    285635     19.33     21.86
364.51/91.31	c  N dy  2943    680359       685      2954         0     56203      8951    873224     19.36     20.44
382.48/95.88	c  N dy  2988    702068       685      2954         0     42031      8951    447741     19.32     20.38
397.22/99.58	c  N dy  3051    722096       685      2954         0     61845      8951   1013968     19.30     20.33
416.79/104.47	c  N dy  3156    742928       685      2954         0     45856      8951    531052     19.32     20.36
433.96/108.78	c  N dy  3265    763896       685      2954         0     66649      8951   1123227     19.34     20.44
451.13/113.02	c  N dy  3374    783978       685      2954         0     48913      8951    600549     19.37     22.85
468.30/117.32	c  N dy  3457    804057       685      2954         0     68801      8951   1168668     19.37     20.63
470.69/117.90	c  S st  3471    806161       685      2954         0     70897      8951   1230191     19.37   no data
471.09/118.09	c  S st  3471    806663       685      2954         0     71399      8951   1244871     19.37   no data
471.49/118.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
471.49/118.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
471.49/118.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.49/118.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
471.49/118.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.49/118.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
471.49/118.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
471.49/118.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
471.49/118.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.71/118.95	c lits-rem:       232  cl-subs:     1029  v-elim:      0  v-fix:    0  time:  0.75 s
474.71/118.95	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
474.71/118.96	c vivif2 --  cl tried    70370 cl shrink        0 lits rem          0 time: 0.02
475.08/119.03	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.07
475.08/119.03	c calculated reachability. Time: 0.00
475.08/119.03	c  N dy  3471    806663       685      2954         0     70370      8951   1212069     19.37   no data
491.46/123.19	c  N dy  3567    826667       685      2954         0     51513      8951    647633     19.39     20.72
509.86/127.71	c  N dy  3648    846779       685      2954         0     71431      8951   1223718     19.39     20.42
528.18/132.32	c  N dy  3774    868203       685      2954         0     53044      8951    679055     19.42     20.44
556.14/139.34	c  N dy  3851    896899       685      2954         0     40792      8951    298170     19.40     20.46
570.51/142.96	c  N dy  3957    916958       685      2954         0     60697      8951    880500     19.42     22.50
592.47/148.47	c  N dy  4070    937055       685      2954         0     80624      8951   1462701     19.44     20.48
608.84/152.50	c  N dy  4125    957121       685      2954         0     58825      8951    777147     19.43     20.48
629.60/157.77	c  N dy  4226    977318       685      2954         0     78845      8951   1355908     19.44     20.54
648.36/162.47	c  N dy  4312    998388       685      2954         0     57156      8951    730891     19.44     20.47
668.33/167.48	c  N dy  4402   1018732       685      2954         0     77312      8951   1313278     19.44     20.63
691.09/173.10	c  N dy  4485   1042569       685      2954         0     57274      8951    703315     19.43     20.54
711.06/178.14	c  N dy  4582   1062590       685      2954         0     77136      8951   1286744     19.44     20.53
723.04/181.16	c  F st  4650   1071875       685      2954         0     86343      8951   1555698     19.46   no data
728.22/182.44	c Decided on static restart strategy
732.61/183.57	c  N st  4658   1084180       685      2954         0     53947      8951    611071     19.46   no data
758.96/190.16	c  N st  4661   1114577       685      2954         0     83882      8951   1541834     19.46   no data
779.72/195.34	c  N st  4662   1136176       685      2954         0     59664      8951   1307324     19.46   no data
815.26/204.23	c  N st  4663   1168570       685      2954         0     91411      8951   2270901     19.46   no data
858.78/215.16	c  N st  4664   1209994       685      2954         0     85929      8951   1985666     19.46   no data
858.78/215.16	c  S st  4664   1209994       685      2954         0     85929      8951   1985666     19.46   no data
859.98/215.44	c  S st  4664   1210499       685      2954         0     86434      8951   2000665     19.46   no data
859.98/215.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
859.98/215.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
859.98/215.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
859.98/215.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
859.98/215.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
859.98/215.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
859.98/215.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
860.38/215.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
860.38/215.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
904.71/226.64	c lits-rem:       415  cl-subs:     4561  v-elim:      0  v-fix:    0  time: 11.06 s
904.71/226.64	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
904.71/226.67	c vivif2 --  cl tried    81873 cl shrink        0 lits rem          0 time: 0.03
905.12/226.79	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.12
905.12/226.79	c calculated reachability. Time: 0.00
905.12/226.79	c  N st  4664   1210499       685      2954         0     81873      8951   1862721     19.46   no data
976.15/244.59	c  N st  4665   1283382       685      2954         0     58236      8951   1071467     19.46   no data
1095.54/274.42	c  N st  4666   1392706       685      2954         0     66369      8951   1305221     19.46   no data
1274.80/319.39	c  N st  4667   1556690       685      2954         0     71442      8951   1343075     19.46   no data
1452.88/363.94	c  N st  4668   1710500       685      2954         0     57466      8951    767019     19.46   no data
1452.88/363.94	c  S st  4668   1710500       685      2954         0     57466      8951    767019     19.46   no data
1453.28/364.09	c  S st  4668   1711004       685      2954         0     57970      8951    780870     19.46   no data
1453.28/364.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1453.69/364.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1453.69/364.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1453.69/364.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1453.69/364.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1453.69/364.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
1453.69/364.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1453.69/364.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1453.69/364.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.86/364.49	c lits-rem:       184  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.33 s
1454.86/364.49	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
1455.26/364.51	c vivif2 --  cl tried    57725 cl shrink        0 lits rem          0 time: 0.01
1455.26/364.56	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.05
1455.26/364.56	c calculated reachability. Time: 0.00
1455.26/364.56	c  N st  4668   1711004       685      2954         0     57725      8951    773892     19.46   no data
1915.25/479.72	c  N st  4669   2079968       685      2954         0     63291      8951    799931     19.46   no data
2080.92/521.25	c  N st  4670   2211005       685      2954         0     65482      8951    796149     19.46   no data
2080.92/521.25	c  S st  4670   2211005       685      2954         0     65482      8951    796149     19.46   no data
2081.74/521.42	c  S st  4670   2211509       685      2954         0     65986      8951    811521     19.46   no data
2081.74/521.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2081.74/521.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2081.74/521.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2081.74/521.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2081.74/521.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2081.74/521.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
2081.74/521.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2081.74/521.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2081.74/521.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2082.92/521.74	c lits-rem:        40  cl-subs:      243  v-elim:      0  v-fix:    0  time:  0.24 s
2082.92/521.74	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
2082.92/521.75	c vivif2 --  cl tried    65743 cl shrink        0 lits rem          0 time: 0.01
2083.32/521.81	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.06
2083.32/521.81	c calculated reachability. Time: 0.00
2083.32/521.81	c  N st  4670   2211509       685      2954         0     65743      8951    805401     19.46   no data
2768.85/693.57	c  N st  4671   2711510       685      2954         0     81984      8951   1173474     19.46   no data
2768.85/693.57	c  S st  4671   2711510       685      2954         0     81984      8951   1173474     19.46   no data
2769.65/693.79	c  S st  4671   2712011       685      2954         0     82484      8951   1188169     19.46   no data
2770.05/693.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2770.05/693.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2770.05/693.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2770.05/693.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2770.05/693.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2770.05/693.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
2770.05/693.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2770.05/693.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2770.45/693.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2775.25/695.14	c lits-rem:        70  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  1.24 s
2775.25/695.14	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
2775.25/695.16	c vivif2 --  cl tried    80777 cl shrink        0 lits rem          0 time: 0.02
2775.66/695.24	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.08
2775.66/695.24	c calculated reachability. Time: 0.00
2775.66/695.24	c  N st  4671   2712011       685      2954         0     80777      8951   1138614     19.46   no data
3506.68/878.39	c  N st  4672   3212011       685      2954         0    127135      8951   2564945     19.46   no data
3506.68/878.39	c  S st  4672   3212011       685      2954         0    127135      8951   2564945     19.46   no data
3509.09/878.92	c  S st  4672   3212513       685      2954         0    127637      8951   2579989     19.46   no data
3509.09/878.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3509.50/879.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.09
3509.50/879.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3509.50/879.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3509.50/879.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3509.50/879.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
3509.50/879.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3509.50/879.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3509.87/879.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3590.11/899.22	c lits-rem:       655  cl-subs:     5501  v-elim:      0  v-fix:    0  time: 20.06 s
3590.11/899.22	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
3590.11/899.26	c vivif2 --  cl tried   122136 cl shrink        0 lits rem          0 time: 0.03
3590.51/899.39	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.14
3590.91/899.40	c calculated reachability. Time: 0.00
3590.91/899.40	c  N st  4672   3212513       685      2954         0    122136      8951   2404064     19.46   no data
4342.72/1087.70	c  N st  4673   3712513       685      2954         0    133597      8951   2606413     19.46   no data
4342.72/1087.70	c  S st  4673   3712513       685      2954         0    133597      8951   2606413     19.46   no data
4344.71/1088.23	c  S st  4673   3713015       685      2954         0    134098      8951   2622016     19.46   no data
4344.71/1088.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4345.11/1088.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.09
4345.11/1088.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4345.11/1088.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4345.11/1088.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4345.11/1088.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
4345.11/1088.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4345.11/1088.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4345.51/1088.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4423.75/1108.06	c lits-rem:       618  cl-subs:     5423  v-elim:      0  v-fix:    0  time: 19.59 s
4423.75/1108.06	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
4424.15/1108.10	c vivif2 --  cl tried   128675 cl shrink        0 lits rem          0 time: 0.03
4424.55/1108.25	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.15
4424.55/1108.26	c calculated reachability. Time: 0.00
4424.55/1108.26	c  N st  4673   3713015       685      2954         0    128675      8951   2447135     19.46   no data
4506.80/1128.82	c  F st  4674   3751563       685      2954         0    166489      8951   3607615     19.46   no data
4506.80/1128.82	c  N st  4674   3751563       685      2954         0    166489      8951   3607615     19.46   no data
4515.58/1131.09	c Decided on static restart strategy
4547.52/1139.07	c  N st  4684   3779870       685      2954         0    110791      8951   1798249     19.46   no data
4608.21/1154.26	c  N st  4686   3815864       685      2954         0    146119      8951   2980084     19.46   no data
4670.50/1169.80	c  N st  4687   3848256       685      2954         0     93431      8951   1191840     19.46   no data
4752.38/1190.32	c  N st  4688   3896845       685      2954         0    141236      8951   2742372     19.46   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-3366678-1305412054/watcher-3366678-1305412054 -o /tmp/evaluation-result-3366678-1305412054/solver-3366678-1305412054 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366678-1305412054.cnf 

running on 4 cores: 0,2,4,6

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.81 7.95 5.95 5/253 13470
/proc/meminfo: memFree=21333596/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 652803242 52396032 347 33554432000 4194304 4580107 140733935500336 18446744073709551615 47955948775346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 12792 347 299 95 0 7774 0
[pid=13470/tid=13471] ppid=13468 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652803242 52396032 352 33554432000 4194304 4580107 140733935500336 18446744073709551615 47955948775346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652803242 52396032 352 33554432000 4194304 4580107 140733935500336 18446744073709551615 47955948774937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652803242 52396032 352 33554432000 4194304 4580107 140733935500336 18446744073709551615 47955948774937 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.109574 s]
/proc/loadavg: 7.81 7.95 5.95 5/253 13470
/proc/meminfo: memFree=21333596/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=282384 CPUtime=0.41 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 1947 0 0 0 41 0 0 0 25 0 4 0 652803242 289161216 1790 33554432000 4194304 4580107 140733935500336 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 70596 1790 377 95 0 65578 0
[pid=13470/tid=13471] ppid=13468 vsize=282384 CPUtime=0.1 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 413 0 0 0 10 0 0 0 25 0 4 0 652803242 289161216 1790 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=282384 CPUtime=0.1 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 422 0 0 0 10 0 0 0 25 0 4 0 652803242 289161216 1790 33554432000 4194304 4580107 140733935500336 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=282384 CPUtime=0.1 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 291 0 0 0 10 0 0 0 25 0 4 0 652803242 289161216 1790 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282384

[startup+0.200505 s]
/proc/loadavg: 7.81 7.95 5.95 5/253 13470
/proc/meminfo: memFree=21333596/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=283972 CPUtime=0.77 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 2674 0 0 0 77 0 0 0 25 0 4 0 652803242 290787328 1805 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 70993 1805 377 95 0 65975 0
[pid=13470/tid=13471] ppid=13468 vsize=283972 CPUtime=0.19 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 598 0 0 0 19 0 0 0 25 0 4 0 652803242 290787328 1805 33554432000 4194304 4580107 140733935500336 18446744073709551615 4322524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=283972 CPUtime=0.19 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 604 0 0 0 19 0 0 0 25 0 4 0 652803242 290787328 1805 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=283972 CPUtime=0.19 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 474 0 0 0 19 0 0 0 25 0 4 0 652803242 290787328 1805 33554432000 4194304 4580107 140733935500336 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283972

[startup+0.300487 s]
/proc/loadavg: 7.81 7.95 5.95 5/253 13470
/proc/meminfo: memFree=21333596/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=284104 CPUtime=1.17 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 3090 0 0 0 117 0 0 0 25 0 4 0 652803242 290922496 2221 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294442 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 71026 2221 377 95 0 66008 0
[pid=13470/tid=13471] ppid=13468 vsize=284104 CPUtime=0.29 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 698 0 0 0 29 0 0 0 25 0 4 0 652803242 290922496 2221 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=284104 CPUtime=0.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 707 0 0 0 29 0 0 0 25 0 4 0 652803242 290922496 2221 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=284260 CPUtime=0.29 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 593 0 0 0 29 0 0 0 25 0 4 0 652803242 291082240 2233 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284104

[startup+0.700415 s]
/proc/loadavg: 7.81 7.95 5.95 5/253 13470
/proc/meminfo: memFree=21333596/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=285216 CPUtime=2.77 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 4854 0 0 0 277 0 0 0 25 0 4 0 652803242 292061184 2935 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 71304 2935 377 95 0 66286 0
[pid=13470/tid=13471] ppid=13468 vsize=285216 CPUtime=0.69 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1130 0 0 0 69 0 0 0 25 0 4 0 652803242 292061184 2935 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=285216 CPUtime=0.69 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1157 0 0 0 69 0 0 0 25 0 4 0 652803242 292061184 2935 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=285216 CPUtime=0.69 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1031 0 0 0 69 0 0 0 25 0 4 0 652803242 292061184 2935 33554432000 4194304 4580107 140733935500336 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285216

[startup+1.50027 s]
/proc/loadavg: 7.81 7.95 5.95 9/257 13474
/proc/meminfo: memFree=21320668/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=286616 CPUtime=5.96 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 9990 0 0 0 595 1 0 0 25 0 4 0 652803242 293494784 5087 33554432000 4194304 4580107 140733935500336 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 71654 5087 379 95 0 66636 0
[pid=13470/tid=13471] ppid=13468 vsize=286616 CPUtime=1.48 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 2005 0 0 0 148 0 0 0 25 0 4 0 652803242 293494784 5087 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=286616 CPUtime=1.48 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 2060 0 0 0 148 0 0 0 25 0 4 0 652803242 293494784 5087 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=286616 CPUtime=1.49 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 1929 0 0 0 149 0 0 0 25 0 4 0 652803242 293494784 5087 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286616

[startup+3.10098 s]
/proc/loadavg: 7.81 7.95 5.95 9/257 13474
/proc/meminfo: memFree=21306160/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=288096 CPUtime=12.36 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 20088 0 0 0 1233 3 0 0 25 0 4 0 652803242 295010304 11427 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 72024 11427 379 95 0 67006 0
[pid=13470/tid=13471] ppid=13468 vsize=288096 CPUtime=3.07 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 4472 0 0 0 307 0 0 0 25 0 4 0 652803242 295010304 11427 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=288096 CPUtime=3.08 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 5610 0 0 0 308 0 0 0 25 0 4 0 652803242 295010304 11427 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=288096 CPUtime=3.08 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 4989 0 0 0 308 0 0 0 25 0 4 0 652803242 295010304 11427 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 288096

[startup+6.3004 s]
/proc/loadavg: 7.83 7.95 5.96 9/257 13475
/proc/meminfo: memFree=21282772/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=289036 CPUtime=25.13 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 30432 0 0 0 2508 5 0 0 25 0 4 0 652803242 295972864 14365 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 72259 14365 379 95 0 67241 0
[pid=13470/tid=13471] ppid=13468 vsize=289036 CPUtime=6.24 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 8530 0 0 0 623 1 0 0 25 0 4 0 652803242 295972864 14365 33554432000 4194304 4580107 140733935500336 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=289036 CPUtime=6.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 7598 0 0 0 628 1 0 0 25 0 4 0 652803242 295972864 14365 33554432000 4194304 4580107 140733935500336 18446744073709551615 4507797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=289036 CPUtime=6.29 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 7440 0 0 0 628 1 0 0 25 0 4 0 652803242 295972864 14365 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 289036

[startup+12.7002 s]
/proc/loadavg: 7.84 7.95 5.97 9/257 13475
/proc/meminfo: memFree=21237164/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=286364 CPUtime=50.67 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 48288 0 0 0 5059 8 0 0 25 0 4 0 652803242 293236736 24452 33554432000 4194304 4580107 140733935500336 18446744073709551615 4317829 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 71591 24452 379 95 0 66573 0
[pid=13470/tid=13471] ppid=13468 vsize=286364 CPUtime=12.59 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 12594 0 0 0 1258 1 0 0 25 0 4 0 652803242 293236736 24452 33554432000 4194304 4580107 140733935500336 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=286364 CPUtime=12.68 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 12477 0 0 0 1266 2 0 0 25 0 4 0 652803242 293236736 24453 33554432000 4194304 4580107 140733935500336 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=286364 CPUtime=12.68 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 12654 0 0 0 1266 2 0 0 25 0 4 0 652803242 293236736 24453 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 286364

[startup+25.5009 s]
/proc/loadavg: 7.88 7.95 6.01 9/257 13475
/proc/meminfo: memFree=21220792/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=296292 CPUtime=101.78 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 69509 0 0 0 10164 14 0 0 25 0 4 0 652803242 303403008 30572 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 74073 30572 379 95 0 69055 0
[pid=13470/tid=13471] ppid=13468 vsize=296292 CPUtime=25.29 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 16949 0 0 0 2527 2 0 0 25 0 4 0 652803242 303403008 30572 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=296292 CPUtime=25.48 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 18996 0 0 0 2545 3 0 0 25 0 4 0 652803242 303403008 30572 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=296292 CPUtime=25.48 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 18864 0 0 0 2544 4 0 0 25 0 4 0 652803242 303403008 30572 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 296292

[startup+51.1013 s]
/proc/loadavg: 8.05 7.99 6.07 9/257 13476
/proc/meminfo: memFree=21184452/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=306576 CPUtime=203.99 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 95136 0 0 0 20378 21 0 0 25 0 4 0 652803242 313933824 39333 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 76644 39333 379 95 0 71626 0
[pid=13470/tid=13471] ppid=13468 vsize=306576 CPUtime=50.7 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 25702 0 0 0 5065 5 0 0 25 0 4 0 652803242 313933824 39333 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=306576 CPUtime=51.09 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 24287 0 0 0 5104 5 0 0 25 0 4 0 652803242 313933824 39333 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=306576 CPUtime=51.08 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 25286 0 0 0 5103 5 0 0 25 0 4 0 652803242 313933824 39333 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 306576

[startup+102.301 s]
/proc/loadavg: 8.22 8.05 6.19 9/257 13508
/proc/meminfo: memFree=21201184/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=327620 CPUtime=408.43 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 127728 0 0 0 40810 33 0 0 25 0 4 0 652803242 335482880 48523 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 81905 48523 379 95 0 76887 0
[pid=13470/tid=13471] ppid=13468 vsize=327620 CPUtime=101.53 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 40130 0 0 0 10144 9 0 0 25 0 4 0 652803242 335482880 48524 33554432000 4194304 4580107 140733935500336 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=327620 CPUtime=102.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 26698 0 0 0 10223 6 0 0 25 0 4 0 652803242 335482880 48524 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=327620 CPUtime=102.28 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 33685 0 0 0 10219 9 0 0 25 0 4 0 652803242 335482880 48524 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 327620

[startup+162.301 s]

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

[pid=13470] ppid=13468 vsize=543132 CPUtime=2564.44 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 355606 0 0 0 256326 118 0 0 25 0 4 0 652803242 556167168 88867 33554432000 4194304 4580107 140733935500336 18446744073709551615 4324666 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 135783 88867 379 95 0 130765 0
[pid=13470/tid=13471] ppid=13468 vsize=543132 CPUtime=637.61 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 116147 0 0 0 63722 39 0 0 25 0 4 0 652803242 556167168 88867 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=543132 CPUtime=642.28 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 37371 0 0 0 64218 10 0 0 25 0 4 0 652803242 556167168 88867 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=543132 CPUtime=642.21 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 104490 0 0 0 64186 35 0 0 25 0 4 0 652803242 556167168 88867 33554432000 4194304 4580107 140733935500336 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2564.44
Current children cumulated vsize (KiB) 543132

[startup+702.301 s]
/proc/loadavg: 8.16 8.15 7.12 9/257 13554
/proc/meminfo: memFree=20134728/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=554696 CPUtime=2803.99 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 379027 0 0 0 280272 127 0 0 25 0 4 0 652803242 568008704 103644 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 138674 103644 379 95 0 133656 0
[pid=13470/tid=13471] ppid=13468 vsize=554696 CPUtime=697.17 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 121994 0 0 0 69676 41 0 0 25 0 4 0 652803242 568008704 103644 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=554696 CPUtime=702.28 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 40971 0 0 0 70215 13 0 0 25 0 4 0 652803242 568008704 103644 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=554696 CPUtime=702.21 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 109803 0 0 0 70184 37 0 0 25 0 4 0 652803242 568008704 103644 33554432000 4194304 4580107 140733935500336 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.99
Current children cumulated vsize (KiB) 554696

[startup+762.301 s]
/proc/loadavg: 8.15 8.15 7.18 9/257 13556
/proc/meminfo: memFree=20120328/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=565852 CPUtime=3043.58 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 398463 0 0 0 304223 135 0 0 25 0 4 0 652803242 579432448 104481 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 141463 104481 379 95 0 136445 0
[pid=13470/tid=13471] ppid=13468 vsize=565852 CPUtime=756.74 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 126464 0 0 0 75631 43 0 0 25 0 4 0 652803242 579432448 104482 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=565852 CPUtime=762.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 43351 0 0 0 76215 14 0 0 25 0 4 0 652803242 579432448 104482 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=565852 CPUtime=762.21 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 114338 0 0 0 76183 38 0 0 25 0 4 0 652803242 579432448 104482 33554432000 4194304 4580107 140733935500336 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.58
Current children cumulated vsize (KiB) 565852

[startup+822.301 s]
/proc/loadavg: 8.31 8.20 7.26 9/257 13557
/proc/meminfo: memFree=19735280/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=671088 CPUtime=3283.11 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 416232 0 0 0 328169 142 0 0 25 0 4 0 652803242 687194112 107065 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 167772 107065 379 95 0 162754 0
[pid=13470/tid=13471] ppid=13468 vsize=671088 CPUtime=816.3 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 131083 0 0 0 81585 45 0 0 25 0 4 0 652803242 687194112 107065 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=671088 CPUtime=822.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 43952 0 0 0 82214 15 0 0 25 0 4 0 652803242 687194112 107065 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=671088 CPUtime=822.19 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 118568 0 0 0 82180 39 0 0 25 0 4 0 652803242 687194112 107065 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.11
Current children cumulated vsize (KiB) 671088

[startup+882.31 s]
/proc/loadavg: 8.27 8.20 7.32 9/257 13559
/proc/meminfo: memFree=19716412/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=679016 CPUtime=3522.67 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 439678 0 0 0 352116 151 0 0 25 0 4 0 652803242 695312384 121327 33554432000 4194304 4580107 140733935500336 18446744073709551615 4406486 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 169754 121327 379 95 0 164736 0
[pid=13470/tid=13471] ppid=13468 vsize=679016 CPUtime=875.84 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 135871 0 0 0 87538 46 0 0 25 0 4 0 652803242 695312384 121327 33554432000 4194304 4580107 140733935500336 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=679016 CPUtime=882.3 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 44423 0 0 0 88214 16 0 0 25 0 4 0 652803242 695312384 121327 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=679016 CPUtime=882.19 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 122679 0 0 0 88178 41 0 0 25 0 4 0 652803242 695312384 121327 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.67
Current children cumulated vsize (KiB) 679016

[startup+942.3 s]
/proc/loadavg: 8.21 8.20 7.37 9/257 13561
/proc/meminfo: memFree=19748504/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=634804 CPUtime=3762.2 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 453017 0 0 0 376062 158 0 0 25 0 4 0 652803242 650039296 122046 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 158701 122046 379 95 0 153683 0
[pid=13470/tid=13471] ppid=13468 vsize=634804 CPUtime=935.39 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 137749 0 0 0 93492 47 0 0 25 0 4 0 652803242 650039296 122046 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=634804 CPUtime=942.28 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 46973 0 0 0 94211 17 0 0 25 0 4 0 652803242 650039296 122046 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=634804 CPUtime=942.18 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 126414 0 0 0 94175 43 0 0 25 0 4 0 652803242 650039296 122046 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.2
Current children cumulated vsize (KiB) 634804

[startup+1002.3 s]
/proc/loadavg: 8.11 8.17 7.41 9/257 13562
/proc/meminfo: memFree=19614304/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=700268 CPUtime=4001.74 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 470272 0 0 0 400009 165 0 0 25 0 4 0 652803242 717074432 129094 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 175067 129094 379 95 0 170049 0
[pid=13470/tid=13471] ppid=13468 vsize=700268 CPUtime=994.95 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 138358 0 0 0 99448 47 0 0 25 0 4 0 652803242 717074432 129094 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=700268 CPUtime=1002.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 48175 0 0 0 100211 18 0 0 25 0 4 0 652803242 717074432 129094 33554432000 4194304 4580107 140733935500336 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=700268 CPUtime=1002.17 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 134221 0 0 0 100170 47 0 0 25 0 4 0 652803242 717074432 129094 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.74
Current children cumulated vsize (KiB) 700268

[startup+1062.3 s]
/proc/loadavg: 8.14 8.17 7.45 9/257 13564
/proc/meminfo: memFree=19454568/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=637808 CPUtime=4241.32 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 483057 0 0 0 423960 172 0 0 25 0 4 0 652803242 653115392 121041 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 159452 121041 379 95 0 154434 0
[pid=13470/tid=13471] ppid=13468 vsize=637808 CPUtime=1054.52 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 139586 0 0 0 105404 48 0 0 25 0 4 0 652803242 653115392 121041 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=637808 CPUtime=1062.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 48516 0 0 0 106211 18 0 0 25 0 4 0 652803242 653115392 121041 33554432000 4194304 4580107 140733935500336 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=637808 CPUtime=1062.17 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 136769 0 0 0 106169 48 0 0 25 0 4 0 652803242 653115392 121041 33554432000 4194304 4580107 140733935500336 18446744073709551615 4281621 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.32
Current children cumulated vsize (KiB) 637808

[startup+1122.3 s]
/proc/loadavg: 8.08 8.15 7.49 9/257 13565
/proc/meminfo: memFree=19343192/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=882144 CPUtime=4480.85 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 502660 0 0 0 447906 179 0 0 25 0 4 0 652803242 903315456 134179 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 220536 134179 379 95 0 215518 0
[pid=13470/tid=13471] ppid=13468 vsize=882144 CPUtime=1114.06 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 141076 0 0 0 111358 48 0 0 25 0 4 0 652803242 903315456 134179 33554432000 4194304 4580107 140733935500336 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=882144 CPUtime=1122.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 51814 0 0 0 112209 20 0 0 25 0 4 0 652803242 903315456 134179 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=882144 CPUtime=1122.17 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 142333 0 0 0 112167 50 0 0 25 0 4 0 652803242 903315456 134179 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4480.85
Current children cumulated vsize (KiB) 882144

[startup+1182.3 s]
/proc/loadavg: 8.20 8.18 7.54 9/257 13567
/proc/meminfo: memFree=19400944/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=691868 CPUtime=4720.41 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 520372 0 0 0 471855 186 0 0 25 0 4 0 652803242 708472832 130380 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 172967 130380 379 95 0 167949 0
[pid=13470/tid=13471] ppid=13468 vsize=691868 CPUtime=1173.62 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 145271 0 0 0 117313 49 0 0 25 0 4 0 652803242 708472832 130380 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=691868 CPUtime=1182.29 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 52415 0 0 0 118208 21 0 0 25 0 4 0 652803242 708472832 130380 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=691868 CPUtime=1182.15 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 148074 0 0 0 118164 51 0 0 25 0 4 0 652803242 708472832 130380 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.41
Current children cumulated vsize (KiB) 691868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 8.21 8.18 7.55 9/257 13567
/proc/meminfo: memFree=19298764/32951124 swapFree=67056788/67111528
[pid=13470] ppid=13468 vsize=706188 CPUtime=4800.31 cores=0,2,4,6
/proc/13470/stat : 13470 (strangenight2-m) R 13468 13470 13336 0 -1 4202496 525715 0 0 0 479842 189 0 0 25 0 4 0 652803242 723136512 135105 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13470/statm: 176547 135105 379 95 0 171529 0
[pid=13470/tid=13471] ppid=13468 vsize=706188 CPUtime=1193.48 cores=0,2,4,6
/proc/13470/task/13471/stat : 13471 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 147940 0 0 0 119298 50 0 0 25 0 4 0 652803242 723136512 135105 33554432000 4194304 4580107 140733935500336 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13470/tid=13472] ppid=13468 vsize=706188 CPUtime=1202.31 cores=0,2,4,6
/proc/13470/task/13472/stat : 13472 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 52415 0 0 0 120210 21 0 0 25 0 4 0 652803242 723136512 135105 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13470/tid=13473] ppid=13468 vsize=706188 CPUtime=1202.17 cores=0,2,4,6
/proc/13470/task/13473/stat : 13473 (strangenight2-m) R 13468 13470 13336 0 -1 4202560 149303 0 0 0 120165 52 0 0 25 0 4 0 652803242 723136512 135105 33554432000 4194304 4580107 140733935500336 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 706188

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): 1202.35
CPU time (s): 4800.38
CPU user time (s): 4798.46
CPU system time (s): 1.91871
CPU usage (%): 399.249
Max. virtual memory (cumulated for all children) (KiB): 882144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.46
system time used= 1.91871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525715
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= 228
involuntary context switches= 71938

runsolver used 2.43163 second user time and 6.43402 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 00:27:34
IDJOB=3366678
IDBENCH=83087
IDSOLVER=1844
FILE ID=node133/3366678-1305412054
RUNJOBID= node133-1305410848-13354
PBS_JOBID= 13324520
Free space on /tmp= 73648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366678-1305412054/watcher-3366678-1305412054 -o /tmp/evaluation-result-3366678-1305412054/solver-3366678-1305412054 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366678-1305412054.cnf

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

MD5SUM BENCH= afbdc7a317cd52b76c978398c2e877e2
RANDOM SEED=740118240

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.74
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.834
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:     32951124 kB
MemFree:      21333760 kB
Buffers:        276012 kB
Cached:        3219024 kB
SwapCached:       8724 kB
Active:        8919128 kB
Inactive:      2417932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21333760 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:            5512 kB
Writeback:           0 kB
AnonPages:     7839020 kB
Mapped:          21508 kB
Slab:           194700 kB
PageTables:      24520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19722744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-15 00:47:38