Trace number 3174269

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.42 1201.74

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-3174269-1304116475.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.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     317 undec:      89 neg:     294
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       688      2973         0         0      9003         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4920       688      2973         0      4844      9003    139998   no data   no data
0.00/0.80	c  N st    10     11302       688      2973         0      4493      9003     92738   no data   no data
0.00/0.80	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.57/1.44	c  N dy    18     30000       688      2973         0     10726      9003    249050   no data   no data
5.57/1.44	c  S st    18     30000       688      2973         0     10726      9003    249050   no data   no data
5.57/1.47	c  S st    18     30504       688      2973         0     11230      9003    262552   no data   no data
5.57/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.48	c blocked clauses removed:       18 vars:      2 tried:         688 T: 0.00 s
5.57/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
5.57/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c lits-rem:       121  cl-subs:      292  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.54	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
5.97/1.54	c calculated reachability. Time: 0.00
5.97/1.54	c  N dy    18     30504       685      2954         0     10937      8951    252790   no data   no data
7.19/1.85	c  N dy    27     35642       685      2954         0      8191      8951    121443     19.28     20.35
7.97/2.08	c  N dy    34     39852       685      2954         0     12356      8951    233280     18.68     19.84
9.16/2.34	c  N dy    47     43853       685      2954         0     16334      8951    344030     18.51     19.53
9.56/2.48	c  S st    57     45756       685      2954         0      9340      8951    123655     18.51   no data
9.97/2.50	c  S st    57     46262       685      2954         0      9846      8951    137326     18.51   no data
9.97/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.97/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.97/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
9.97/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.52	c lits-rem:         9  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.52	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
9.97/2.53	c vivif2 --  cl tried     9835 cl shrink        0 lits rem          0 time: 0.00
9.97/2.53	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
9.97/2.53	c calculated reachability. Time: 0.00
9.97/2.53	c  N dy    57     46262       685      2954         0      9835      8951    136999     18.51   no data
10.77/2.76	c  N dy    87     50324       685      2954         0     13878      8951    252372     18.82     19.88
12.76/3.29	c  N dy   107     57834       685      2954         0     11419      8951    155496     18.68     19.78
13.96/3.53	c  N dy   134     61840       685      2954         0     15396      8951    269983     18.85     20.29
15.16/3.83	c  N dy   153     65875       685      2954         0     19411      8951    383350     18.89     21.12
15.97/4.10	c  S st   155     69393       685      2954         0     11999      8951    147682     18.73     16.38
16.38/4.13	c  S st   155     69897       685      2954         0     12502      8951    161917     18.73   no data
16.38/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.38/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.38/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.38/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.38/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
16.38/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.38/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.38/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.16	c lits-rem:        13  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.01 s
16.38/4.16	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
16.38/4.16	c vivif2 --  cl tried    12470 cl shrink        0 lits rem          0 time: 0.00
16.38/4.17	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
16.38/4.17	c calculated reachability. Time: 0.00
16.38/4.17	c  N dy   155     69897       685      2954         0     12470      8951    160861     18.73   no data
18.74/4.77	c  N dy   168     78313       685      2954         0     20811      8951    398785     18.42     19.50
20.37/5.18	c  N dy   203     83488       685      2954         0     14048      8951    180469     18.54     19.56
21.54/5.45	c  F st   222     87502       685      2954         0     18033      8951    291036     18.52   no data
22.35/5.61	c  N st   226     89541       685      2954         0     20055      8951    347501     18.52   no data
24.35/6.14	c  N dy   245     95652       685      2954         0     13217      8951    134793     18.58     19.56
26.34/6.67	c  N dy   264    102974       685      2954         0     20475      8951    336209     18.54     19.83
27.14/6.82	c  S st   279    104845       685      2954         0     22335      8951    390500     18.59     18.34
27.14/6.88	c  S st   279    105349       685      2954         0     22839      8951    404136     18.59   no data
27.14/6.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
27.14/6.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.14/6.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.98	c lits-rem:        93  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.07 s
27.54/6.98	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
27.54/6.99	c vivif2 --  cl tried    22492 cl shrink        0 lits rem          0 time: 0.00
27.94/7.00	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.01
27.94/7.00	c calculated reachability. Time: 0.00
27.94/7.00	c  N dy   279    105349       685      2954         0     22492      8951    393524     18.59   no data
30.34/7.63	c  N dy   321    112230       685      2954         0     15435      8951    175021     18.67     19.73
32.73/8.20	c  N dy   363    119444       685      2954         0     22606      8951    375209     18.73     19.77
35.93/9.04	c  N dy   405    127260       685      2954         0     15473      8951    154160     18.77     19.77
38.34/9.69	c  N dy   449    135402       685      2954         0     23548      8951    380259     18.82     19.98
42.33/10.61	c  N dy   479    144790       685      2954         0     16980      8951    173476     18.74     19.86
45.91/11.57	c  N dy   526    155660       685      2954         0     27745      8951    473519     18.74     19.88
47.14/11.82	c  S st   544    158023       685      2954         0     30091      8951    540144     18.76     15.21
47.14/11.89	c  S st   544    158531       685      2954         0     30599      8951    554276     18.76   no data
47.14/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.51/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.51/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.51/11.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.51/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
47.51/11.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.51/11.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.07	c lits-rem:       126  cl-subs:      460  v-elim:      0  v-fix:    0  time:  0.15 s
47.91/12.07	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
47.91/12.08	c vivif2 --  cl tried    30139 cl shrink        0 lits rem          0 time: 0.01
48.31/12.10	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.02
48.31/12.10	c calculated reachability. Time: 0.00
48.31/12.10	c  N dy   544    158531       685      2954         0     30139      8951    540464     18.76   no data
51.90/13.09	c  N dy   607    168768       685      2954         0     23455      8951    336572     18.85     19.86
56.69/14.22	c  N dy   664    179627       685      2954         0     34244      8951    650351     18.91     20.70
61.09/15.33	c  N dy   743    191187       685      2954         0     27856      8951    438482     19.00     23.99
66.68/16.78	c  N dy   813    203627       685      2954         0     21344      8951    230871     19.05     20.25
72.28/18.17	c  N dy   882    216685       685      2954         0     34319      8951    599032     19.08     22.24
79.07/19.84	c  N dy   954    231359       685      2954         0     28991      8951    420948     19.09     20.11
81.88/20.59	c  S st   988    237796       685      2954         0     35384      8951    602341     19.10     19.97
82.28/20.67	c  S st   988    238300       685      2954         0     35887      8951    617170     19.10   no data
82.28/20.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.28/20.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.28/20.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.28/20.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.28/20.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.28/20.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
82.28/20.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.66/20.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.66/20.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.45/20.90	c lits-rem:       101  cl-subs:      650  v-elim:      0  v-fix:    0  time:  0.19 s
83.45/20.91	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
83.45/20.91	c vivif2 --  cl tried    35237 cl shrink        0 lits rem          0 time: 0.01
83.45/20.94	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.02
83.45/20.94	c calculated reachability. Time: 0.00
83.45/20.94	c  N dy   988    238300       685      2954         0     35237      8951    598229     19.10   no data
90.67/22.73	c  N dy  1054    254012       685      2954         0     29969      8951    428032     19.11     20.13
99.04/24.85	c  N dy  1128    270455       685      2954         0     24468      8951    250321     19.12     20.31
109.83/27.55	c  N dy  1236    291416       685      2954         0     45238      8951    847809     19.16     20.27
116.62/29.21	c  F st  1313    306250       685      2954         0     37139      8951    590677     19.18     17.80
119.41/29.94	c  N dy  1319    311452       685      2954         0     42280      8951    735569     19.18   no data
131.40/32.98	c  N dy  1373    335299       685      2954         0     42036      8951    687025     19.12     20.15
142.98/35.89	c  N dy  1484    356340       685      2954         0     38185      8951    588564     19.17     20.23
143.80/36.05	c  S st  1495    357450       685      2954         0     39288      8951    621413     19.17   no data
144.18/36.14	c  S st  1495    357957       685      2954         0     39794      8951    635899     19.17   no data
144.18/36.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.18/36.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.18/36.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.18/36.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.18/36.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.18/36.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
144.18/36.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.18/36.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.18/36.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.97/36.37	c lits-rem:        84  cl-subs:      329  v-elim:      0  v-fix:    0  time:  0.18 s
144.97/36.37	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
144.97/36.38	c vivif2 --  cl tried    39465 cl shrink        0 lits rem          0 time: 0.01
145.37/36.41	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.03
145.37/36.41	c calculated reachability. Time: 0.00
145.37/36.41	c  N dy  1495    357957       685      2954         0     39465      8951    624308     19.17   no data
157.36/39.45	c  N dy  1620    378016       685      2954         0     33582      8951    423279     19.24     22.94
169.76/42.59	c  N dy  1684    398043       685      2954         0     53406      8951    983592     19.24     20.26
180.92/45.34	c  N dy  1806    418122       685      2954         0     46582      8951    782935     19.29     22.57
193.32/48.49	c  N dy  1918    438176       685      2954         0     38725      8951    532533     19.33     22.21
207.69/52.01	c  N dy  1995    458230       685      2954         0     29852      8951    249829     19.32     20.62
219.28/54.94	c  N dy  2034    478869       685      2954         0     50252      8951    813728     19.27     20.32
232.85/58.33	c  N dy  2131    499069       685      2954         0     40590      8951    543468     19.28     20.58
249.63/62.51	c  N dy  2214    522823       685      2954         0     33413      8951    307171     19.26     20.28
257.65/64.58	c  S st  2304    536936       685      2954         0     47392      8951    708995     19.30   no data
258.05/64.69	c  S st  2304    537440       685      2954         0     47894      8951    723556     19.30   no data
258.05/64.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.43/64.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
258.43/64.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.43/64.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.43/64.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.43/64.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
258.43/64.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.43/64.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
258.43/64.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.62/65.00	c lits-rem:        98  cl-subs:      543  v-elim:      0  v-fix:    0  time:  0.25 s
259.62/65.00	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
259.62/65.01	c vivif2 --  cl tried    47351 cl shrink        0 lits rem          0 time: 0.01
259.62/65.04	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.03
259.62/65.05	c calculated reachability. Time: 0.00
259.62/65.05	c  N dy  2304    537440       685      2954         0     47351      8951    706948     19.30   no data
276.00/69.11	c  N dy  2409    558210       685      2954         0     36230      8951    365942     19.31     20.38
289.18/72.49	c  N dy  2506    578283       685      2954         0     56115      8951    948500     19.33     21.72
304.76/76.30	c  N dy  2582    599545       685      2954         0     44484      8951    580181     19.33     20.42
320.74/80.34	c  N dy  2683    619703       685      2954         0     64449      8951   1148892     19.34     20.51
334.32/83.72	c  N dy  2756    639712       685      2954         0     50556      8951    723350     19.34     20.52
351.09/87.99	c  N dy  2837    659749       685      2954         0     35770      8951    285635     19.33     21.86
365.48/91.54	c  N dy  2943    680359       685      2954         0     56203      8951    873224     19.36     20.44
383.86/96.14	c  N dy  2988    702068       685      2954         0     42031      8951    447741     19.32     20.38
398.66/99.86	c  N dy  3051    722096       685      2954         0     61845      8951   1013968     19.30     20.33
418.21/104.76	c  N dy  3156    742928       685      2954         0     45856      8951    531052     19.32     20.36
435.39/109.06	c  N dy  3265    763896       685      2954         0     66649      8951   1123227     19.34     20.44
452.57/113.31	c  N dy  3374    783978       685      2954         0     48913      8951    600549     19.37     22.85
469.74/117.62	c  N dy  3457    804057       685      2954         0     68801      8951   1168668     19.37     20.63
472.14/118.21	c  S st  3471    806161       685      2954         0     70897      8951   1230191     19.37   no data
472.54/118.40	c  S st  3471    806663       685      2954         0     71399      8951   1244871     19.37   no data
472.54/118.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
472.95/118.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
472.95/118.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
472.95/118.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
472.95/118.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.95/118.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
472.95/118.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
472.95/118.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
472.95/118.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.13/119.25	c lits-rem:       232  cl-subs:     1029  v-elim:      0  v-fix:    0  time:  0.76 s
476.13/119.25	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
476.13/119.27	c vivif2 --  cl tried    70370 cl shrink        0 lits rem          0 time: 0.02
476.53/119.33	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.07
476.53/119.34	c calculated reachability. Time: 0.00
476.53/119.34	c  N dy  3471    806663       685      2954         0     70370      8951   1212069     19.37   no data
493.31/123.52	c  N dy  3567    826667       685      2954         0     51513      8951    647633     19.39     20.72
511.28/128.05	c  N dy  3648    846779       685      2954         0     71431      8951   1223718     19.39     20.42
529.66/132.68	c  N dy  3774    868203       685      2954         0     53044      8951    679055     19.42     20.44
558.02/139.72	c  N dy  3851    896899       685      2954         0     40792      8951    298170     19.40     20.46
572.41/143.36	c  N dy  3957    916958       685      2954         0     60697      8951    880500     19.42     22.50
594.37/148.88	c  N dy  4070    937055       685      2954         0     80624      8951   1462701     19.44     20.48
610.75/152.92	c  N dy  4125    957121       685      2954         0     58825      8951    777147     19.43     20.48
631.55/158.19	c  N dy  4226    977318       685      2954         0     78845      8951   1355908     19.44     20.54
650.70/162.91	c  N dy  4312    998388       685      2954         0     57156      8951    730891     19.44     20.47
670.69/167.92	c  N dy  4402   1018732       685      2954         0     77312      8951   1313278     19.44     20.63
693.06/173.58	c  N dy  4485   1042569       685      2954         0     57274      8951    703315     19.43     20.54
713.41/178.62	c  N dy  4582   1062590       685      2954         0     77136      8951   1286744     19.44     20.53
725.39/181.62	c  F st  4650   1071875       685      2954         0     86343      8951   1555698     19.46   no data
730.59/182.93	c Decided on static restart strategy
734.98/184.05	c  N st  4658   1084180       685      2954         0     53947      8951    611071     19.46   no data
761.35/190.64	c  N st  4661   1114577       685      2954         0     83882      8951   1541834     19.46   no data
782.12/195.86	c  N st  4662   1136176       685      2954         0     59664      8951   1307324     19.46   no data
817.68/204.76	c  N st  4663   1168570       685      2954         0     91411      8951   2270901     19.46   no data
861.61/215.71	c  N st  4664   1209994       685      2954         0     85929      8951   1985666     19.46   no data
861.61/215.71	c  S st  4664   1209994       685      2954         0     85929      8951   1985666     19.46   no data
862.41/215.98	c  S st  4664   1210499       685      2954         0     86434      8951   2000665     19.46   no data
862.41/215.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
862.81/216.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
862.81/216.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.81/216.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.81/216.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.81/216.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
862.81/216.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
862.81/216.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
863.22/216.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
903.17/226.18	c lits-rem:       415  cl-subs:     4561  v-elim:      0  v-fix:    0  time: 10.05 s
903.17/226.18	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
903.58/226.20	c vivif2 --  cl tried    81873 cl shrink        0 lits rem          0 time: 0.03
903.98/226.32	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.11
903.98/226.32	c calculated reachability. Time: 0.00
903.98/226.32	c  N st  4664   1210499       685      2954         0     81873      8951   1862721     19.46   no data
976.65/244.54	c  N st  4665   1283382       685      2954         0     58236      8951   1071467     19.46   no data
1096.10/274.49	c  N st  4666   1392706       685      2954         0     66369      8951   1305221     19.46   no data
1276.66/319.64	c  N st  4667   1556690       685      2954         0     71442      8951   1343075     19.46   no data
1455.22/364.32	c  N st  4668   1710500       685      2954         0     57466      8951    767019     19.46   no data
1455.22/364.32	c  S st  4668   1710500       685      2954         0     57466      8951    767019     19.46   no data
1455.62/364.48	c  S st  4668   1711004       685      2954         0     57970      8951    780870     19.46   no data
1455.62/364.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1456.02/364.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1456.02/364.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1456.02/364.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1456.02/364.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1456.02/364.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
1456.02/364.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1456.02/364.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1456.02/364.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1457.24/364.88	c lits-rem:       184  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.34 s
1457.24/364.88	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
1457.24/364.90	c vivif2 --  cl tried    57725 cl shrink        0 lits rem          0 time: 0.01
1457.64/364.95	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.05
1457.64/364.95	c calculated reachability. Time: 0.00
1457.64/364.95	c  N st  4668   1711004       685      2954         0     57725      8951    773892     19.46   no data
1919.39/480.58	c  N st  4669   2079968       685      2954         0     63291      8951    799931     19.46   no data
2086.38/522.33	c  N st  4670   2211005       685      2954         0     65482      8951    796149     19.46   no data
2086.38/522.33	c  S st  4670   2211005       685      2954         0     65482      8951    796149     19.46   no data
2087.17/522.50	c  S st  4670   2211509       685      2954         0     65986      8951    811521     19.46   no data
2087.17/522.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2087.17/522.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2087.17/522.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2087.17/522.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2087.17/522.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2087.17/522.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
2087.17/522.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2087.17/522.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2087.17/522.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2088.37/522.82	c lits-rem:        40  cl-subs:      243  v-elim:      0  v-fix:    0  time:  0.24 s
2088.37/522.82	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
2088.37/522.84	c vivif2 --  cl tried    65743 cl shrink        0 lits rem          0 time: 0.01
2088.37/522.90	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.06
2088.77/522.90	c calculated reachability. Time: 0.00
2088.77/522.90	c  N st  4670   2211509       685      2954         0     65743      8951    805401     19.46   no data
2777.05/695.25	c  N st  4671   2711510       685      2954         0     81984      8951   1173474     19.46   no data
2777.05/695.25	c  S st  4671   2711510       685      2954         0     81984      8951   1173474     19.46   no data
2777.85/695.48	c  S st  4671   2712011       685      2954         0     82484      8951   1188169     19.46   no data
2777.85/695.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2778.25/695.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2778.25/695.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2778.25/695.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2778.25/695.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2778.25/695.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
2778.25/695.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2778.25/695.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2778.25/695.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2783.44/696.83	c lits-rem:        70  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  1.24 s
2783.44/696.83	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
2783.44/696.85	c vivif2 --  cl tried    80777 cl shrink        0 lits rem          0 time: 0.02
2783.84/696.93	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.08
2783.84/696.93	c calculated reachability. Time: 0.00
2783.84/696.93	c  N st  4671   2712011       685      2954         0     80777      8951   1138614     19.46   no data
3518.08/880.78	c  N st  4672   3212011       685      2954         0    127135      8951   2564945     19.46   no data
3518.08/880.78	c  S st  4672   3212011       685      2954         0    127135      8951   2564945     19.46   no data
3520.46/881.38	c  S st  4672   3212513       685      2954         0    127637      8951   2579989     19.46   no data
3520.86/881.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3521.26/881.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.11
3521.26/881.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3521.26/881.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3521.26/881.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3521.26/881.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
3521.26/881.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3521.26/881.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3521.65/881.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3593.18/899.53	c lits-rem:       655  cl-subs:     5501  v-elim:      0  v-fix:    0  time: 17.85 s
3593.18/899.53	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
3593.18/899.56	c vivif2 --  cl tried   122136 cl shrink        0 lits rem          0 time: 0.04
3593.96/899.70	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.14
3593.96/899.71	c calculated reachability. Time: 0.00
3593.96/899.71	c  N st  4672   3212513       685      2954         0    122136      8951   2404064     19.46   no data
4344.17/1087.52	c  N st  4673   3712513       685      2954         0    133597      8951   2606413     19.46   no data
4344.17/1087.52	c  S st  4673   3712513       685      2954         0    133597      8951   2606413     19.46   no data
4346.15/1088.05	c  S st  4673   3713015       685      2954         0    134098      8951   2622016     19.46   no data
4346.15/1088.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4346.55/1088.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.09
4346.55/1088.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4346.55/1088.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4346.55/1088.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4346.55/1088.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    685 time:  0.00 s
4346.55/1088.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4346.95/1088.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4347.35/1088.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4440.03/1111.52	c lits-rem:       618  cl-subs:     5423  v-elim:      0  v-fix:    0  time: 23.22 s
4440.03/1111.52	c vivif2 --  cl tried     2954 cl shrink        0 lits rem          0 time: 0.00
4440.03/1111.56	c vivif2 --  cl tried   128675 cl shrink        0 lits rem          0 time: 0.04
4440.84/1111.76	c asymm  cl-useful: 0/2954/2954 lits-rem:0 time: 0.20
4440.84/1111.77	c calculated reachability. Time: 0.00
4440.84/1111.77	c  N st  4673   3713015       685      2954         0    128675      8951   2447135     19.46   no data
4526.71/1133.22	c  F st  4674   3751563       685      2954         0    166489      8951   3607615     19.46   no data
4526.71/1133.22	c  N st  4674   3751563       685      2954         0    166489      8951   3607615     19.46   no data
4534.70/1135.27	c Decided on static restart strategy
4561.46/1141.97	c  N st  4684   3779870       685      2954         0    110791      8951   1798249     19.46   no data
4622.18/1157.16	c  N st  4686   3815864       685      2954         0    146119      8951   2980084     19.46   no data
4684.89/1172.80	c  N st  4687   3848256       685      2954         0     93431      8951   1191840     19.46   no data
4766.78/1193.38	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 47685784291250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 12803 347 299 106 0 7774 0
[pid=17524/tid=17527] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 47685784291250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.283383 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351016 CPUtime=3.2 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 5380 0 0 0 320 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87754 3168 385 106 0 82725 0
[pid=17524/tid=17527] ppid=17520 vsize=351016 CPUtime=0.79 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1232 0 0 0 79 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351016 CPUtime=0.8 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1271 0 0 0 80 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351016 CPUtime=0.79 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1107 0 0 0 79 0 0 0 18 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 351016

[startup+0.90903 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351556 CPUtime=3.6 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6130 0 0 0 360 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87889 2907 385 106 0 82860 0
[pid=17524/tid=17527] ppid=17520 vsize=351556 CPUtime=0.89 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1457 0 0 0 89 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351556 CPUtime=0.9 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1504 0 0 0 90 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351556 CPUtime=0.89 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1323 0 0 0 89 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 351556

[startup+1.00101 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351748 CPUtime=3.97 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6397 0 0 0 397 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87937 3174 385 106 0 82908 0
[pid=17524/tid=17527] ppid=17520 vsize=351748 CPUtime=0.98 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1515 0 0 0 98 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351748 CPUtime=0.99 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1583 0 0 0 99 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351748 CPUtime=0.99 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1377 0 0 0 99 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4330960 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 351748

[startup+1.101 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351748 CPUtime=4.38 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6661 0 0 0 437 1 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87937 3438 385 106 0 82908 0
[pid=17524/tid=17527] ppid=17520 vsize=351748 CPUtime=1.08 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1574 0 0 0 108 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351748 CPUtime=1.09 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1656 0 0 0 109 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351748 CPUtime=1.08 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1451 0 0 0 108 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 351748

[startup+1.50092 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=358224 CPUtime=5.97 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 10068 0 0 0 596 1 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89556 5200 389 106 0 84527 0
[pid=17524/tid=17527] ppid=17520 vsize=358224 CPUtime=1.48 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 2021 0 0 0 148 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=358224 CPUtime=1.49 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 2129 0 0 0 149 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=358224 CPUtime=1.48 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1897 0 0 0 148 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 358224

[startup+3.10062 s]
/proc/loadavg: 8.08 8.06 7.75 10/184 17533
/proc/meminfo: memFree=22988960/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=367104 CPUtime=12.35 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 19993 0 0 0 1232 3 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4334681 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 91776 11231 389 106 0 86747 0
[pid=17524/tid=17527] ppid=17520 vsize=367104 CPUtime=3.07 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 4494 0 0 0 307 0 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4328761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=367104 CPUtime=3.08 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 5648 0 0 0 308 0 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=367104 CPUtime=3.08 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 4943 0 0 0 307 1 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 367104

[startup+6.30702 s]
/proc/loadavg: 8.08 8.06 7.75 9/184 17533
/proc/meminfo: memFree=22969752/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=359112 CPUtime=25.16 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 29976 0 0 0 2510 6 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89778 13196 389 106 0 84749 0
[pid=17524/tid=17527] ppid=17520 vsize=359112 CPUtime=6.26 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 8489 0 0 0 624 2 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=359112 CPUtime=6.29 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 7740 0 0 0 628 1 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=359112 CPUtime=6.28 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 7279 0 0 0 627 1 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 359112

[startup+12.7008 s]
/proc/loadavg: 8.07 8.05 7.75 9/184 17533
/proc/meminfo: memFree=22912428/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=358676 CPUtime=50.71 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 47976 0 0 0 5061 10 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4322568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89669 23804 389 106 0 84640 0
[pid=17524/tid=17527] ppid=17520 vsize=358676 CPUtime=12.62 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 12119 0 0 0 1260 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=358676 CPUtime=12.68 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 12854 0 0 0 1266 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=358676 CPUtime=12.68 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 11833 0 0 0 1266 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 358676

[startup+25.5004 s]
/proc/loadavg: 8.06 8.05 7.76 10/184 17533
/proc/meminfo: memFree=22858748/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=370400 CPUtime=101.83 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 69390 0 0 0 10167 16 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 92600 28848 389 106 0 87571 0
[pid=17524/tid=17527] ppid=17520 vsize=370400 CPUtime=25.35 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 18128 0 0 0 2531 4 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=370400 CPUtime=25.48 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 19266 0 0 0 2545 3 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=370400 CPUtime=25.48 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 17644 0 0 0 2544 4 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 370400

[startup+51.1007 s]
/proc/loadavg: 8.04 8.05 7.76 10/184 17534
/proc/meminfo: memFree=22823940/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=370752 CPUtime=204.1 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 96007 0 0 0 20382 28 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 92688 36381 389 106 0 87659 0
[pid=17524/tid=17527] ppid=17520 vsize=370752 CPUtime=50.82 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 27713 0 0 0 5073 9 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=370752 CPUtime=51.08 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 27182 0 0 0 5101 7 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=370752 CPUtime=51.09 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 24070 0 0 0 5102 7 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 370752

[startup+102.301 s]
/proc/loadavg: 8.05 8.05 7.78 9/184 17535
/proc/meminfo: memFree=22779040/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=438516 CPUtime=408.62 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 140387 0 0 0 40820 42 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 109629 42116 389 106 0 104600 0
[pid=17524/tid=17527] ppid=17520 vsize=438516 CPUtime=101.73 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 45874 0 0 0 10159 14 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=438516 CPUtime=102.28 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 35990 0 0 0 10217 11 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=438516 CPUtime=102.28 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 35273 0 0 0 10218 10 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 438516

[startup+162.301 s]

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

[pid=17524] ppid=17520 vsize=610948 CPUtime=2805.41 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 377482 0 0 0 280381 160 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 152737 100750 390 106 0 147708 0
[pid=17524/tid=17527] ppid=17520 vsize=610948 CPUtime=698.46 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 128880 0 0 0 69792 54 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=610948 CPUtime=702.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 79599 0 0 0 70197 33 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=610948 CPUtime=702.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 95660 0 0 0 70192 39 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 610948

[startup+762.301 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 17553
/proc/meminfo: memFree=22269912/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=689636 CPUtime=3045.09 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 404515 0 0 0 304333 176 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 172409 116945 390 106 0 167380 0
[pid=17524/tid=17527] ppid=17520 vsize=689636 CPUtime=758.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 135254 0 0 0 75756 58 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=689636 CPUtime=762.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 85554 0 0 0 76193 37 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=689636 CPUtime=762.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 103302 0 0 0 76187 44 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 689636

[startup+822.301 s]
/proc/loadavg: 8.00 8.02 7.91 10/184 17554
/proc/meminfo: memFree=22251052/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=807584 CPUtime=3284.77 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 428251 0 0 0 328287 190 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 201896 113654 390 106 0 196867 0
[pid=17524/tid=17527] ppid=17520 vsize=807584 CPUtime=817.81 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 139846 0 0 0 81721 60 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=807584 CPUtime=822.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 89606 0 0 0 82191 39 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=807584 CPUtime=822.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 110527 0 0 0 82184 47 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 807584

[startup+882.3 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 17556
/proc/meminfo: memFree=22239752/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=696956 CPUtime=3524.44 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 451226 0 0 0 352246 198 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 174239 118809 390 106 0 169210 0
[pid=17524/tid=17527] ppid=17520 vsize=696956 CPUtime=877.48 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 147194 0 0 0 87685 63 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=696956 CPUtime=882.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 89821 0 0 0 88191 40 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=696956 CPUtime=882.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 117201 0 0 0 88183 48 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 696956

[startup+942.3 s]
/proc/loadavg: 8.04 8.03 7.92 11/184 17558
/proc/meminfo: memFree=22228088/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=827220 CPUtime=3764.14 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 471738 0 0 0 376203 211 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309540 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 206805 121925 390 106 0 201776 0
[pid=17524/tid=17527] ppid=17520 vsize=827220 CPUtime=937.16 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 151625 0 0 0 93650 66 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=827220 CPUtime=942.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 95306 0 0 0 94189 42 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=827220 CPUtime=942.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 122574 0 0 0 94179 53 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 827220

[startup+1002.3 s]
/proc/loadavg: 8.07 8.04 7.93 9/184 17559
/proc/meminfo: memFree=22198432/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=813648 CPUtime=4003.81 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 493221 0 0 0 400158 223 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 203412 130461 390 106 0 198383 0
[pid=17524/tid=17527] ppid=17520 vsize=813648 CPUtime=996.83 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 155768 0 0 0 99616 67 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=813648 CPUtime=1002.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 100763 0 0 0 100186 45 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=813648 CPUtime=1002.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 130261 0 0 0 100175 57 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 813648

[startup+1062.31 s]
/proc/loadavg: 8.02 8.03 7.93 10/184 17561
/proc/meminfo: memFree=22162336/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=816428 CPUtime=4243.5 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 509904 0 0 0 424117 233 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 204107 125224 390 106 0 199078 0
[pid=17524/tid=17527] ppid=17520 vsize=816428 CPUtime=1056.5 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 159264 0 0 0 105581 69 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=816428 CPUtime=1062.32 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 103041 0 0 0 106185 47 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=816428 CPUtime=1062.33 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 133060 0 0 0 106174 59 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 816428

[startup+1122.3 s]
/proc/loadavg: 8.01 8.02 7.93 10/184 17562
/proc/meminfo: memFree=22168508/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=887704 CPUtime=4483.17 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 527989 0 0 0 448075 242 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 221926 137628 390 106 0 216897 0
[pid=17524/tid=17527] ppid=17520 vsize=887704 CPUtime=1116.17 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 164500 0 0 0 111546 71 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=887704 CPUtime=1122.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 106462 0 0 0 112182 49 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=887704 CPUtime=1122.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 137101 0 0 0 112172 60 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 887704

[startup+1182.3 s]
/proc/loadavg: 8.07 8.03 7.93 10/184 17564
/proc/meminfo: memFree=22152372/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=887564 CPUtime=4722.85 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 546007 0 0 0 472032 253 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 221891 138694 390 106 0 216862 0
[pid=17524/tid=17527] ppid=17520 vsize=887564 CPUtime=1175.85 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 165876 0 0 0 117513 72 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=887564 CPUtime=1182.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 111662 0 0 0 118179 52 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=887564 CPUtime=1182.33 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141454 0 0 0 118170 63 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 887564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.03 7.93 10/184 17565
/proc/meminfo: memFree=22180024/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=834140 CPUtime=4800.36 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 551328 0 0 0 479780 256 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 208535 139543 390 106 0 203506 0
[pid=17524/tid=17527] ppid=17520 vsize=834140 CPUtime=1195.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 168582 0 0 0 119441 73 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=834140 CPUtime=1201.72 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 112947 0 0 0 120118 54 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=834140 CPUtime=1201.73 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141477 0 0 0 120110 63 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 834140

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

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

[startup+1201.7 s]
/proc/loadavg: 8.05 8.03 7.93 10/184 17565
/proc/meminfo: memFree=22180024/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=834140 CPUtime=4800.36 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 551328 0 0 0 479780 256 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 208535 139543 390 106 0 203506 0
[pid=17524/tid=17527] ppid=17520 vsize=834140 CPUtime=1195.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 168582 0 0 0 119441 73 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=834140 CPUtime=1201.72 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 112947 0 0 0 120118 54 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=834140 CPUtime=1201.73 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141477 0 0 0 120110 63 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 834140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.42
CPU user time (s): 4797.82
CPU system time (s): 2.5946
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 935820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.59461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551329
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= 480
involuntary context switches= 35133

runsolver used 1.81872 second user time and 4.75228 second system time

The end

Launcher Data

Begin job on node105 at 2011-04-30 00:34:35
IDJOB=3174269
IDBENCH=83087
IDSOLVER=1586
FILE ID=node105/3174269-1304116475
RUNJOBID= node105-1304115271-17412
PBS_JOBID= 13170708
Free space on /tmp= 71940 MiB

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

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

MD5SUM BENCH= afbdc7a317cd52b76c978398c2e877e2
RANDOM SEED=949009764

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      23077336 kB
Buffers:       2159340 kB
Cached:        7104572 kB
SwapCached:          4 kB
Active:         578944 kB
Inactive:      8748464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23077336 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11512 kB
Writeback:          32 kB
AnonPages:       63072 kB
Mapped:          14688 kB
Slab:           483580 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187288 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= 71928 MiB
End job on node105 at 2011-04-30 00:54:39