Trace number 3273665

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-1-mt? (TO) 4800.29 1202.04

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
MD5SUMebbfc0ffb6aa4fcba0d5ce3964018543
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables161
Number of clauses332
Sum of the clauses size996
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3332
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3273665-1304128178.cnf'
0.00/0.00	c -- header says num vars:            161
0.00/0.00	c -- header says num clauses:         332
0.00/0.00	c -- clauses added:            0 learnts,          332 normals,            0 xors
0.00/0.00	c -- vars added        161
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       161       332         0         0       996         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.00
0.00/0.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
0.00/0.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.67	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.67	c calculated reachability. Time: 0.00
0.00/0.67	c Calc default polars -  time:   0.00 s pos:       6 undec:     151 neg:       4
0.00/0.67	c =========================================================================================
0.00/0.67	c types(t): F = full restart, N = normal restart
0.00/0.67	c types(t): S = simplification begin/end, E = solution found
0.00/0.67	c restart types(rt): st = static, dy = dynamic
0.00/0.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.80/0.74	c  B st     0         0       161       332         0         0       996         0   no data   no data  --
2.80/0.74	c Decided on static restart strategy
2.80/0.74	c  N st     8      4920       161       332         0      4455       996    110183   no data   no data  --
2.80/0.74	c  N st    10     11303       161       332         0      3978       996     77197   no data   no data  --
2.80/0.74	c  N st    11     17046       161       332         0      8850       996    221995   no data   no data  --
2.80/0.74	c  F st    12     25000       161       332         0     11094       996    269399   no data   no data  --
2.80/0.74	c  N st    12     25000       161       332         0     11094       996    269399   no data   no data  --
3.18/0.85	c Decided on static restart strategy
3.18/0.85	c  N st    18     30001       161       332         0      9610       996    203490   no data   no data  --
3.18/0.85	c  S st    18     30001       161       332         0      9610       996    203490   no data   no data  --
3.18/0.87	c  S st    18     30501       161       332         0     10092       996    214240   no data   no data  --
3.18/0.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.18/0.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.18/0.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.18/0.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
3.18/0.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.07	c lits-rem:      2347  cl-subs:      598  v-elim:      0  v-fix:    0  time:  0.76 s
3.97/1.07	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
3.97/1.07	c calculated reachability. Time: 0.00
3.97/1.07	c  N st    18     30501       161       332         0      9494       996    192461   no data   no data  --
5.17/1.32	c  N st    20     37612       161       332         0      8731       996    174820   no data   no data  --
5.97/1.56	c  N st    21     44012       161       332         0     14483       996    319389   no data   no data  --
6.37/1.63	c  S st    22     45751       161       332         0      8098       996    130029   no data   no data  --
6.37/1.65	c  S st    22     46254       161       332         0      8584       996    140699   no data   no data  --
6.37/1.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
6.37/1.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
6.37/1.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.37/1.70	c lits-rem:       221  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.18 s
6.37/1.70	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
6.37/1.70	c vivif2 --  cl tried     8462 cl shrink        0 lits rem          0 time: 0.01
6.79/1.70	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
6.79/1.70	c calculated reachability. Time: 0.00
6.79/1.70	c  N st    22     46254       161       332         0      8462       996    136904   no data   no data  --
8.76/2.29	c  N st    23     60652       161       332         0     12323       996    237881   no data   no data  --
10.37/2.66	c  N st    24     69383       161       332         0     10412       996    163830   no data   no data  --
10.37/2.66	c  S st    24     69383       161       332         0     10412       996    163830   no data   no data  --
10.37/2.68	c  S st    24     69887       161       332         0     10900       996    174486   no data   no data  --
10.37/2.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.37/2.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.37/2.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
10.37/2.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.58/2.94	c lits-rem:       457  cl-subs:       95  v-elim:      0  v-fix:    0  time:  1.02 s
11.58/2.94	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
11.58/2.94	c vivif2 --  cl tried    10805 cl shrink        0 lits rem          0 time: 0.01
11.58/2.95	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
11.58/2.95	c calculated reachability. Time: 0.00
11.58/2.95	c  N st    24     69887       161       332         0     10805       996    171785   no data   no data  --
15.16/3.86	c  F st    25     87500       161       332         0     15642       996    305914   no data   no data  --
15.16/3.86	c  N st    25     87500       161       332         0     15642       996    305914   no data   no data  --
15.98/4.05	c Decided on static restart strategy
16.35/4.18	c  N st    32     95537       161       332         0     22819       996    505063   no data   no data  --
17.95/4.52	c  N st    34    104830       161       332         0     19495       996    386088   no data   no data  --
17.95/4.52	c  S st    34    104830       161       332         0     19495       996    386088   no data   no data  --
17.95/4.56	c  S st    34    105334       161       332         0     19983       996    396500   no data   no data  --
17.95/4.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.95/4.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.95/4.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.95/4.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.95/4.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
17.95/4.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.02	c lits-rem:      2104  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  5.74 s
23.95/6.02	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
23.95/6.02	c vivif2 --  cl tried    18915 cl shrink        0 lits rem          0 time: 0.02
23.95/6.03	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.02
23.95/6.03	c calculated reachability. Time: 0.00
23.95/6.03	c  N st    34    105334       161       332         0     18915       996    359533   no data   no data  --
25.94/6.57	c  N st    35    114933       161       332         0     15000       996    252407   no data   no data  --
29.16/7.31	c  N st    36    129332       161       332         0     14404       996    224614   no data   no data  --
32.33/8.12	c  N st    37    150927       161       332         0     18715       996    328226   no data   no data  --
33.56/8.49	c  S st    38    158001       161       332         0     24926       996    507107   no data   no data  --
33.93/8.53	c  S st    38    158504       161       332         0     25414       996    518496   no data   no data  --
33.93/8.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.93/8.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.93/8.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
33.93/8.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.93/8.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.93/8.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
33.93/8.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.53/10.50	c lits-rem:      4150  cl-subs:     1849  v-elim:      0  v-fix:    0  time:  7.77 s
41.53/10.50	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
41.95/10.50	c vivif2 --  cl tried    23565 cl shrink        0 lits rem          0 time: 0.02
41.95/10.51	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.02
41.95/10.51	c calculated reachability. Time: 0.00
41.95/10.51	c  N st    38    158504       161       332         0     23565       996    451532   no data   no data  --
53.10/13.36	c  N st    39    207092       161       332         0     19320       996    309300   no data   no data  --
60.70/15.21	c  N st    40    237758       161       332         0     28756       996    588368   no data   no data  --
60.70/15.21	c  S st    40    237758       161       332         0     28756       996    588368   no data   no data  --
60.70/15.26	c  S st    40    238263       161       332         0     29246       996    599287   no data   no data  --
60.70/15.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.70/15.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.70/15.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
60.70/15.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.70/15.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.70/15.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
60.70/15.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.71/17.22	c lits-rem:      3061  cl-subs:     2256  v-elim:      0  v-fix:    0  time:  7.69 s
68.71/17.22	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
68.71/17.22	c vivif2 --  cl tried    26990 cl shrink        0 lits rem          0 time: 0.02
68.71/17.23	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.03
68.71/17.23	c calculated reachability. Time: 0.00
68.71/17.23	c  N st    40    238263       161       332         0     26990       996    521475   no data   no data  --
85.07/21.36	c  F st    41    306251       161       332         0     28406       996    528389   no data   no data  --
85.07/21.36	c  N st    41    306251       161       332         0     28406       996    528389   no data   no data  --
86.28/21.67	c Decided on static restart strategy
91.86/23.04	c  N st    51    334554       161       332         0     32620       996    626982   no data   no data  --
97.45/24.45	c  N st    53    357394       161       332         0     31267       996    562468   no data   no data  --
97.45/24.45	c  S st    53    357394       161       332         0     31267       996    562468   no data   no data  --
97.85/24.50	c  S st    53    357900       161       332         0     31761       996    573985   no data   no data  --
97.85/24.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.85/24.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.85/24.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
97.85/24.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.85/24.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.85/24.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
97.85/24.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.04/25.87	c lits-rem:      1904  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  5.35 s
103.04/25.87	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
103.04/25.87	c vivif2 --  cl tried    30712 cl shrink        0 lits rem          0 time: 0.02
103.04/25.88	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.03
103.04/25.88	c calculated reachability. Time: 0.00
103.04/25.88	c  N st    53    357900       161       332         0     30712       996    540700   no data   no data  --
111.84/28.01	c  N st    54    390292       161       332         0     35993       996    680903   no data   no data  --
125.02/31.32	c  N st    55    438880       161       332         0     29958       996    485668   no data   no data  --
143.00/35.83	c  N st    56    511762       161       332         0     41096       996    753490   no data   no data  --
149.78/37.58	c  N st    57    536851       161       332         0     36369       996    634132   no data   no data  --
149.78/37.58	c  S st    57    536851       161       332         0     36369       996    634132   no data   no data  --
150.18/37.64	c  S st    57    537356       161       332         0     36861       996    646688   no data   no data  --
150.18/37.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
150.18/37.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.18/37.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
150.18/37.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.18/37.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.18/37.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
150.18/37.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.77/39.58	c lits-rem:      4440  cl-subs:     1682  v-elim:      0  v-fix:    0  time:  7.61 s
157.77/39.58	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
157.77/39.58	c vivif2 --  cl tried    35179 cl shrink        0 lits rem          0 time: 0.03
157.77/39.59	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.04
157.77/39.59	c calculated reachability. Time: 0.00
157.77/39.59	c  N st    57    537356       161       332         0     35179       996    590190   no data   no data  --
208.91/52.35	c  N st    58    701341       161       332         0     61023       996   1282648   no data   no data  --
242.85/60.88	c  N st    59    806034       161       332         0     54018       996    977851   no data   no data  --
242.85/60.88	c  S st    59    806034       161       332         0     54018       996    977851   no data   no data  --
243.25/60.97	c  S st    59    806541       161       332         0     54514       996    989853   no data   no data  --
243.25/60.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
243.25/60.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
243.25/60.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
243.66/61.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.66/61.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.66/61.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
243.66/61.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.43/66.22	c lits-rem:      5047  cl-subs:     5423  v-elim:      0  v-fix:    0  time: 20.72 s
264.43/66.22	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
264.43/66.23	c vivif2 --  cl tried    49091 cl shrink        0 lits rem          0 time: 0.04
264.43/66.25	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.09
264.43/66.25	c calculated reachability. Time: 0.00
264.43/66.25	c  N st    59    806541       161       332         0     49091       996    833447   no data   no data  --
350.71/87.81	c  F st    60   1071877       161       332         0     65127       996   1211737   no data   no data  --
350.71/87.81	c  N st    60   1071877       161       332         0     65127       996   1211737   no data   no data  --
352.72/88.31	c Decided on static restart strategy
360.70/90.37	c  N st    70   1100178       161       332         0     52163       996    889072   no data   no data  --
374.29/93.71	c  N st    72   1136172       161       332         0     43627       996    608440   no data   no data  --
385.09/96.43	c  N st    73   1168564       161       332         0     70811       996   1357089   no data   no data  --
400.25/100.22	c  N st    74   1209811       161       332         0     67615       996   1254210   no data   no data  --
400.25/100.22	c  S st    74   1209811       161       332         0     67615       996   1254210   no data   no data  --
400.65/100.35	c  S st    74   1210316       161       332         0     68110       996   1265811   no data   no data  --
400.65/100.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
400.65/100.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
400.65/100.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
401.05/100.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
401.05/100.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
401.05/100.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
401.05/100.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.21/108.27	c lits-rem:      2438  cl-subs:     2734  v-elim:      0  v-fix:    0  time: 31.34 s
432.21/108.27	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
432.21/108.28	c vivif2 --  cl tried    65376 cl shrink        0 lits rem          0 time: 0.07
432.61/108.33	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.18
432.61/108.33	c calculated reachability. Time: 0.00
432.61/108.33	c  N st    74   1210316       161       332         0     65376       996   1181696   no data   no data  --
470.16/117.71	c  N st    75   1283199       161       332         0     43467       996    569190   no data   no data  --
524.88/131.41	c  N st    76   1392522       161       332         0     52318       996    757650   no data   no data  --
591.99/148.29	c  N st    77   1556507       161       332         0     54172       996    818047   no data   no data  --
650.72/162.98	c  N st    78   1710316       161       332         0     89528       996   1688869   no data   no data  --
650.72/162.98	c  S st    78   1710316       161       332         0     89528       996   1688869   no data   no data  --
651.52/163.15	c  S st    78   1710822       161       332         0     90026       996   1702078   no data   no data  --
651.52/163.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
651.52/163.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
651.52/163.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
651.92/163.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
651.92/163.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.92/163.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
651.92/163.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
731.83/183.22	c lits-rem:      4103  cl-subs:    12334  v-elim:      0  v-fix:    0  time: 79.75 s
731.83/183.22	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
731.83/183.24	c vivif2 --  cl tried    77692 cl shrink        0 lits rem          0 time: 0.06
731.83/183.27	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.14
731.83/183.27	c calculated reachability. Time: 0.00
731.83/183.27	c  N st    78   1710822       161       332         0     77692       996   1348010   no data   no data  --
893.59/223.74	c  N st    79   2079786       161       332         0     88876       996   1733012   no data   no data  --
952.31/238.40	c  N st    80   2210822       161       332         0     90126       996   1628224   no data   no data  --
952.31/238.40	c  S st    80   2210822       161       332         0     90126       996   1628224   no data   no data  --
952.71/238.59	c  S st    80   2211326       161       332         0     90621       996   1639920   no data   no data  --
952.71/238.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
952.71/238.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
953.11/238.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
953.11/238.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
953.11/238.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
953.11/238.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
953.11/238.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1036.60/259.53	c lits-rem:     15249  cl-subs:    11759  v-elim:      0  v-fix:    0  time: 83.20 s
1036.60/259.53	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1036.60/259.55	c vivif2 --  cl tried    78862 cl shrink        0 lits rem          0 time: 0.06
1036.60/259.58	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.15
1036.60/259.59	c calculated reachability. Time: 0.00
1036.60/259.59	c  N st    80   2211326       161       332         0     78862       996   1291821   no data   no data  --
1272.71/318.69	c  N st    81   2711326       161       332         0     99257       996   1876828   no data   no data  --
1272.71/318.69	c  S st    81   2711326       161       332         0     99257       996   1876828   no data   no data  --
1273.49/318.87	c  S st    81   2711827       161       332         0     99750       996   1889593   no data   no data  --
1273.49/318.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1273.49/318.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1273.89/318.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
1273.89/318.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1273.89/318.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1273.89/318.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
1273.89/318.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1402.51/351.19	c lits-rem:     14267  cl-subs:    16760  v-elim:      0  v-fix:    0  time: 128.61 s
1402.51/351.19	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1402.91/351.21	c vivif2 --  cl tried    82990 cl shrink        0 lits rem          0 time: 0.07
1402.91/351.25	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.17
1402.91/351.26	c calculated reachability. Time: 0.00
1402.91/351.26	c  N st    81   2711827       161       332         0     82990       996   1382068   no data   no data  --
1687.33/422.50	c  N st    82   3211828       161       332         0     67335       996    914748   no data   no data  --
1687.33/422.50	c  S st    82   3211828       161       332         0     67335       996    914748   no data   no data  --
1688.13/422.61	c  S st    82   3212330       161       332         0     67828       996    926306   no data   no data  --
1688.13/422.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1688.13/422.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1688.13/422.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
1688.13/422.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1688.13/422.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1688.13/422.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
1688.13/422.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1697.72/425.03	c lits-rem:      2521  cl-subs:      959  v-elim:      0  v-fix:    0  time:  9.46 s
1697.72/425.03	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1697.72/425.04	c vivif2 --  cl tried    66869 cl shrink        0 lits rem          0 time: 0.05
1697.72/425.07	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.11
1697.72/425.08	c calculated reachability. Time: 0.00
1697.72/425.08	c  N st    82   3212330       161       332         0     66869       996    897264   no data   no data  --
2020.09/505.79	c  N st    83   3712331       161       332         0     77823       996   1114601   no data   no data  --
2020.09/505.79	c  S st    83   3712331       161       332         0     77823       996   1114601   no data   no data  --
2020.89/505.93	c  S st    83   3712836       161       332         0     78318       996   1127887   no data   no data  --
2020.89/505.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2020.89/505.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2020.89/505.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
2020.89/505.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2020.89/505.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.89/505.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2020.89/505.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2034.87/509.44	c lits-rem:      2538  cl-subs:     1143  v-elim:      0  v-fix:    0  time: 13.79 s
2034.87/509.44	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
2034.87/509.46	c vivif2 --  cl tried    77175 cl shrink        0 lits rem          0 time: 0.05
2034.87/509.49	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.13
2034.87/509.49	c calculated reachability. Time: 0.00
2034.87/509.49	c  N st    83   3712836       161       332         0     77175       996   1090792   no data   no data  --
2054.04/514.29	c  F st    84   3751563       161       332         0    109868       996   1963430   no data   no data  --
2054.04/514.29	c  N st    84   3751563       161       332         0    109868       996   1963430   no data   no data  --
2056.84/514.98	c Decided on static restart strategy
2069.22/518.09	c  N st    94   3779865       161       332         0    134761       996   2597594   no data   no data  --
2086.81/522.48	c  N st    96   3815858       161       332         0     93270       996   1507950   no data   no data  --
2104.38/526.81	c  N st    97   3848251       161       332         0    121249       996   2306294   no data   no data  --
2133.56/534.12	c  N st    98   3896839       161       332         0     89344       996   1370565   no data   no data  --
2176.28/544.87	c  N st    99   3969721       161       332         0     77275       996   1048820   no data   no data  --
2238.20/560.36	c  N st   100   4079045       161       332         0     93457       996   1455978   no data   no data  --
2336.47/584.94	c  N st   101   4212836       161       332         0    132456       996   2355986   no data   no data  --
2336.47/584.94	c  S st   101   4212836       161       332         0    132456       996   2355986   no data   no data  --
2337.67/585.26	c  S st   101   4213338       161       332         0    132951       996   2368587   no data   no data  --
2337.67/585.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2337.67/585.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2338.07/585.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
2338.47/585.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2338.47/585.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2338.47/585.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2338.47/585.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2525.42/632.28	c lits-rem:      1894  cl-subs:    18536  v-elim:      0  v-fix:    0  time: 187.03 s
2525.42/632.28	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
2525.82/632.31	c vivif2 --  cl tried   114415 cl shrink        0 lits rem          0 time: 0.09
2525.82/632.37	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.26
2525.82/632.38	c calculated reachability. Time: 0.00
2525.82/632.38	c  N st   101   4213338       161       332         0    114415       996   1865921   no data   no data  --
2663.63/666.84	c  N st   102   4459314       161       332         0     91104       996   1408854   no data   no data  --
2809.42/703.37	c  N st   103   4713338       161       332         0    149179       996   2680147   no data   no data  --
2809.42/703.37	c  S st   103   4713338       161       332         0    149179       996   2680147   no data   no data  --
2810.64/703.69	c  S st   103   4713840       161       332         0    149667       996   2693071   no data   no data  --
2811.01/703.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2811.01/703.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2811.01/703.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.32
2811.41/703.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2811.41/703.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2811.41/703.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2811.41/703.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3311.81/829.40	c lits-rem:      9816  cl-subs:    12322  v-elim:      0  v-fix:    0  time: 499.85 s
3311.81/829.40	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
3311.81/829.43	c vivif2 --  cl tried   137345 cl shrink        0 lits rem          0 time: 0.12
3312.21/829.52	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.35
3312.21/829.52	c calculated reachability. Time: 0.00
3312.21/829.52	c  N st   103   4713840       161       332         0    137345       996   2340358   no data   no data  --
3610.21/904.18	c  N st   104   5213842       161       332         0    146862       996   2733068   no data   no data  --
3610.21/904.18	c  S st   104   5213842       161       332         0    146862       996   2733068   no data   no data  --
3611.81/904.55	c  S st   104   5214343       161       332         0    147356       996   2745776   no data   no data  --
3611.81/904.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3611.81/904.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3612.21/904.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.38
3612.61/904.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3612.61/904.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3612.61/904.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
3612.61/904.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4160.27/1041.85	c lits-rem:      9271  cl-subs:    14294  v-elim:      0  v-fix:    0  time: 547.46 s
4160.27/1041.85	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
4160.27/1041.88	c vivif2 --  cl tried   133062 cl shrink        0 lits rem          0 time: 0.12
4160.67/1041.96	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.32
4160.67/1041.96	c calculated reachability. Time: 0.00
4160.67/1041.96	c  N st   104   5214343       161       332         0    133062       996   2341117   no data   no data  --
4452.30/1114.99	c  N st   105   5714343       161       332         0    129350       996   2105565   no data   no data  --
4452.30/1114.99	c  S st   105   5714343       161       332         0    129350       996   2105565   no data   no data  --
4453.88/1115.33	c  S st   105   5714849       161       332         0    129849       996   2118202   no data   no data  --
4453.88/1115.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4453.88/1115.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4454.28/1115.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
4454.28/1115.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4454.28/1115.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4454.28/1115.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
4454.28/1115.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4623.26/1157.74	c lits-rem:      3574  cl-subs:    12703  v-elim:      0  v-fix:    0  time: 168.79 s
4623.26/1157.74	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
4623.26/1157.77	c vivif2 --  cl tried   117146 cl shrink        0 lits rem          0 time: 0.10
4623.68/1157.85	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.32
4623.68/1157.85	c calculated reachability. Time: 0.00
4623.68/1157.85	c  N st   105   5714849       161       332         0    117146       996   1778064   no data   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-3273665-1304128178/watcher-3273665-1304128178 -o /tmp/evaluation-result-3273665-1304128178/solver-3273665-1304128178 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3273665-1304128178.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: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=281772 CPUtime=0 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 607 0 0 0 0 0 0 0 17 0 4 0 603048467 288534528 522 33554432000 4194304 4650419 140734435558928 18446744073709551615 231894986472 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 70443 524 359 112 0 65408 0
[pid=6725/tid=6727] ppid=6721 vsize=289988 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 4 0 603048467 296947712 537 33554432000 4194304 4650419 140734435558928 18446744073709551615 231895533658 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=289988 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 4 0 603048467 296947712 539 33554432000 4194304 4650419 140734435558928 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=289988 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 4 0 603048467 296947712 539 33554432000 4194304 4650419 140734435558928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.707969 s]
/proc/loadavg: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=284720 CPUtime=2.8 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 5468 0 0 0 279 1 0 0 18 0 4 0 603048467 291553280 2585 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 71180 2585 393 112 0 66145 0
[pid=6725/tid=6727] ppid=6721 vsize=284720 CPUtime=0.7 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1229 0 0 0 70 0 0 0 18 0 4 0 603048467 291553280 2585 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=284720 CPUtime=0.69 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1343 0 0 0 69 0 0 0 19 0 4 0 603048467 291553280 2585 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=284720 CPUtime=0.7 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1242 0 0 0 70 0 0 0 18 0 4 0 603048467 291553280 2585 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 284720

[startup+0.800953 s]
/proc/loadavg: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=285028 CPUtime=3.18 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 6131 0 0 0 317 1 0 0 19 0 4 0 603048467 291868672 2609 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 71257 2609 393 112 0 66222 0
[pid=6725/tid=6727] ppid=6721 vsize=285028 CPUtime=0.79 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1483 0 0 0 79 0 0 0 18 0 4 0 603048467 291868672 2609 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=285028 CPUtime=0.78 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1436 0 0 0 78 0 0 0 19 0 4 0 603048467 291868672 2609 33554432000 4194304 4650419 140734435558928 18446744073709551615 4333550 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=285028 CPUtime=0.79 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1310 0 0 0 79 0 0 0 18 0 4 0 603048467 291868672 2609 33554432000 4194304 4650419 140734435558928 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 285028

[startup+0.900936 s]
/proc/loadavg: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=290544 CPUtime=3.57 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 7726 0 0 0 356 1 0 0 19 0 4 0 603048467 297517056 4204 33554432000 4194304 4650419 140734435558928 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 72636 4204 394 112 0 67601 0
[pid=6725/tid=6727] ppid=6721 vsize=290544 CPUtime=0.89 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1566 0 0 0 89 0 0 0 19 0 4 0 603048467 297517056 4204 33554432000 4194304 4650419 140734435558928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=290544 CPUtime=0.88 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1546 0 0 0 88 0 0 0 19 0 4 0 603048467 297517056 4204 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=290544 CPUtime=0.89 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1380 0 0 0 89 0 0 0 19 0 4 0 603048467 297517056 4204 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 290544

[startup+1.00092 s]
/proc/loadavg: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=281984 CPUtime=3.97 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 8252 0 0 0 396 1 0 0 19 0 4 0 603048467 288751616 4092 33554432000 4194304 4650419 140734435558928 18446744073709551615 4419568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 70496 4092 394 112 0 65461 0
[pid=6725/tid=6727] ppid=6721 vsize=281984 CPUtime=0.99 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1649 0 0 0 99 0 0 0 19 0 4 0 603048467 288751616 4092 33554432000 4194304 4650419 140734435558928 18446744073709551615 4339946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=281984 CPUtime=0.98 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1781 0 0 0 98 0 0 0 19 0 4 0 603048467 288751616 4092 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=281984 CPUtime=0.99 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 1588 0 0 0 99 0 0 0 19 0 4 0 603048467 288751616 4092 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 281984

[startup+1.50082 s]
/proc/loadavg: 6.33 7.71 7.93 4/176 6725
/proc/meminfo: memFree=29496480/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=282200 CPUtime=5.97 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 13827 0 0 0 595 2 0 0 20 0 4 0 603048467 288972800 8459 33554432000 4194304 4650419 140734435558928 18446744073709551615 4367305 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 70550 8459 394 112 0 65515 0
[pid=6725/tid=6727] ppid=6721 vsize=282200 CPUtime=1.49 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 3262 0 0 0 149 0 0 0 20 0 4 0 603048467 288972800 8459 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=282200 CPUtime=1.48 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 3801 0 0 0 148 0 0 0 20 0 4 0 603048467 288972800 8459 33554432000 4194304 4650419 140734435558928 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=282200 CPUtime=1.48 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 3007 0 0 0 148 0 0 0 20 0 4 0 603048467 288972800 8459 33554432000 4194304 4650419 140734435558928 18446744073709551615 4438865 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 282200

[startup+3.10053 s]
/proc/loadavg: 6.33 7.71 7.93 10/184 6733
/proc/meminfo: memFree=29405592/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=274884 CPUtime=12.36 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 20162 0 0 0 1233 3 0 0 25 0 4 0 603048467 281481216 12123 33554432000 4194304 4650419 140734435558928 18446744073709551615 4366068 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 68721 12123 394 112 0 63686 0
[pid=6725/tid=6727] ppid=6721 vsize=274884 CPUtime=3.08 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 5959 0 0 0 308 0 0 0 25 0 4 0 603048467 281481216 12123 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=274884 CPUtime=3.07 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 4601 0 0 0 307 0 0 0 25 0 4 0 603048467 281481216 12123 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=274884 CPUtime=3.09 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 4263 0 0 0 308 1 0 0 25 0 4 0 603048467 281481216 12123 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 274884

[startup+6.30093 s]
/proc/loadavg: 6.47 7.71 7.93 10/184 6733
/proc/meminfo: memFree=29365052/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=290160 CPUtime=25.14 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 31277 0 0 0 2509 5 0 0 25 0 4 0 603048467 297123840 18085 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 72540 18085 394 112 0 67505 0
[pid=6725/tid=6727] ppid=6721 vsize=290160 CPUtime=6.29 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 9577 0 0 0 628 1 0 0 25 0 4 0 603048467 297123840 18085 33554432000 4194304 4650419 140734435558928 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=290160 CPUtime=6.26 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 7005 0 0 0 625 1 0 0 25 0 4 0 603048467 297123840 18085 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=290160 CPUtime=6.29 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 6619 0 0 0 628 1 0 0 25 0 4 0 603048467 297123840 18085 33554432000 4194304 4650419 140734435558928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 290160

[startup+12.7007 s]
/proc/loadavg: 6.67 7.73 7.94 10/184 6733
/proc/meminfo: memFree=29307628/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=306052 CPUtime=50.73 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 47640 0 0 0 5064 9 0 0 25 0 4 0 603048467 313397248 24785 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 76513 24785 394 112 0 71478 0
[pid=6725/tid=6727] ppid=6721 vsize=306052 CPUtime=12.69 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 12786 0 0 0 1267 2 0 0 25 0 4 0 603048467 313397248 24785 33554432000 4194304 4650419 140734435558928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=306052 CPUtime=12.62 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 12042 0 0 0 1260 2 0 0 25 0 4 0 603048467 313397248 24785 33554432000 4194304 4650419 140734435558928 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=306052 CPUtime=12.7 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 9996 0 0 0 1268 2 0 0 25 0 4 0 603048467 313397248 24785 33554432000 4194304 4650419 140734435558928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 306052

[startup+25.5003 s]
/proc/loadavg: 7.03 7.76 7.94 10/184 6733
/proc/meminfo: memFree=29261716/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=308244 CPUtime=101.84 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 76036 0 0 0 10168 16 0 0 25 0 4 0 603048467 315641856 29767 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 77061 29767 394 112 0 72026 0
[pid=6725/tid=6727] ppid=6721 vsize=308244 CPUtime=25.49 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 21570 0 0 0 2545 4 0 0 25 0 4 0 603048467 315641856 29767 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=308244 CPUtime=25.36 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 20019 0 0 0 2531 5 0 0 25 0 4 0 603048467 315641856 29767 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=308244 CPUtime=25.49 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 14046 0 0 0 2546 3 0 0 25 0 4 0 603048467 315641856 29767 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 308244

[startup+51.1005 s]
/proc/loadavg: 7.36 7.78 7.94 10/184 6734
/proc/meminfo: memFree=29194376/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=316548 CPUtime=204.11 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 127899 0 0 0 20383 28 0 0 25 0 4 0 603048467 324145152 35810 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 79137 35810 394 112 0 74102 0
[pid=6725/tid=6727] ppid=6721 vsize=316548 CPUtime=51.08 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 35929 0 0 0 5101 7 0 0 25 0 4 0 603048467 324145152 35810 33554432000 4194304 4650419 140734435558928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=316548 CPUtime=50.82 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 35448 0 0 0 5074 8 0 0 25 0 4 0 603048467 324145152 35810 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=316548 CPUtime=51.09 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 21796 0 0 0 5103 6 0 0 25 0 4 0 603048467 324145152 35810 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 316548

[startup+102.301 s]
/proc/loadavg: 7.77 7.83 7.95 9/184 6735
/proc/meminfo: memFree=29049376/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=462632 CPUtime=408.64 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 216184 0 0 0 40813 51 0 0 25 0 4 0 603048467 473735168 58029 33554432000 4194304 4650419 140734435558928 18446744073709551615 4438387 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 115658 58029 394 112 0 110623 0
[pid=6725/tid=6727] ppid=6721 vsize=462632 CPUtime=102.28 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 64128 0 0 0 10215 13 0 0 25 0 4 0 603048467 473735168 58029 33554432000 4194304 4650419 140734435558928 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=462632 CPUtime=101.75 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 58880 0 0 0 10161 14 0 0 25 0 4 0 603048467 473735168 58029 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=462632 CPUtime=102.29 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 35237 0 0 0 10219 10 0 0 25 0 4 0 603048467 473735168 58029 33554432000 4194304 4650419 140734435558928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 462632

[startup+162.301 s]

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

[pid=6725] ppid=6721 vsize=661592 CPUtime=2805.43 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 659710 0 0 0 280316 227 0 0 25 0 4 0 603048467 677470208 128499 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 165398 128499 394 112 0 160363 0
[pid=6725/tid=6727] ppid=6721 vsize=661592 CPUtime=702.29 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 210912 0 0 0 70161 68 0 0 25 0 4 0 603048467 677470208 128499 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=661592 CPUtime=698.52 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 164021 0 0 0 69797 55 0 0 25 0 4 0 603048467 677470208 128499 33554432000 4194304 4650419 140734435558928 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=661592 CPUtime=702.31 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 116286 0 0 0 70182 49 0 0 25 0 4 0 603048467 677470208 128499 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 661592

[startup+762.3 s]
/proc/loadavg: 8.39 8.13 8.03 10/189 7197
/proc/meminfo: memFree=28355592/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=696012 CPUtime=3043.77 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 683542 0 0 0 304136 241 0 0 25 0 4 0 603048467 712716288 132375 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 174003 132375 394 112 0 168968 0
[pid=6725/tid=6727] ppid=6721 vsize=696012 CPUtime=762.17 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 221710 0 0 0 76141 76 0 0 25 0 4 0 603048467 712716288 132375 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=696012 CPUtime=758.16 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 164021 0 0 0 75761 55 0 0 25 0 4 0 603048467 712716288 132375 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=696012 CPUtime=762.25 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 123550 0 0 0 76173 52 0 0 25 0 4 0 603048467 712716288 132375 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.77
Current children cumulated vsize (KiB) 696012

[startup+822.301 s]
/proc/loadavg: 8.20 8.12 8.03 9/184 7230
/proc/meminfo: memFree=28345856/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=681992 CPUtime=3283.46 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 701700 0 0 0 328096 250 0 0 25 0 4 0 603048467 698359808 134023 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 170498 134023 394 112 0 165463 0
[pid=6725/tid=6727] ppid=6721 vsize=681992 CPUtime=822.18 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 230810 0 0 0 82138 80 0 0 25 0 4 0 603048467 698359808 134023 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=681992 CPUtime=817.83 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 164777 0 0 0 81728 55 0 0 25 0 4 0 603048467 698359808 134023 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=681992 CPUtime=822.26 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 131718 0 0 0 82169 57 0 0 25 0 4 0 603048467 698359808 134023 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.46
Current children cumulated vsize (KiB) 681992

[startup+882.301 s]
/proc/loadavg: 8.12 8.11 8.03 10/184 7231
/proc/meminfo: memFree=28267192/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=709164 CPUtime=3523.12 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 744348 0 0 0 352047 265 0 0 25 0 4 0 603048467 726183936 143717 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 177291 143717 394 112 0 172256 0
[pid=6725/tid=6727] ppid=6721 vsize=709164 CPUtime=882.17 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 244709 0 0 0 88131 86 0 0 25 0 4 0 603048467 726183936 143717 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=709164 CPUtime=877.5 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 175391 0 0 0 87691 59 0 0 25 0 4 0 603048467 726183936 143717 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=709164 CPUtime=882.26 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 141990 0 0 0 88165 61 0 0 25 0 4 0 603048467 726183936 143717 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.12
Current children cumulated vsize (KiB) 709164

[startup+942.307 s]
/proc/loadavg: 8.09 8.10 8.03 10/184 7233
/proc/meminfo: memFree=28256608/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=709264 CPUtime=3762.83 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 755554 0 0 0 376008 275 0 0 25 0 4 0 603048467 726286336 144918 33554432000 4194304 4650419 140734435558928 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 177316 144918 394 112 0 172281 0
[pid=6725/tid=6727] ppid=6721 vsize=709264 CPUtime=942.18 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 254458 0 0 0 94124 94 0 0 25 0 4 0 603048467 726286336 144918 33554432000 4194304 4650419 140734435558928 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=709264 CPUtime=937.18 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 176641 0 0 0 93658 60 0 0 25 0 4 0 603048467 726286336 144918 33554432000 4194304 4650419 140734435558928 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=709264 CPUtime=942.27 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 142070 0 0 0 94166 61 0 0 25 0 4 0 603048467 726286336 144918 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.83
Current children cumulated vsize (KiB) 709264

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.03 10/184 7234
/proc/meminfo: memFree=28252096/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=709556 CPUtime=4002.49 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 766088 0 0 0 399967 282 0 0 25 0 4 0 603048467 726585344 145393 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 177389 145393 394 112 0 172354 0
[pid=6725/tid=6727] ppid=6721 vsize=709556 CPUtime=1002.17 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 264845 0 0 0 100116 101 0 0 25 0 4 0 603048467 726585344 145393 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=709556 CPUtime=996.85 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 176788 0 0 0 99625 60 0 0 25 0 4 0 603048467 726585344 145393 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=709556 CPUtime=1002.27 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 142070 0 0 0 100166 61 0 0 25 0 4 0 603048467 726585344 145393 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.49
Current children cumulated vsize (KiB) 709556

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.03 10/184 7236
/proc/meminfo: memFree=28195644/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=788656 CPUtime=4242.16 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 794117 0 0 0 423922 294 0 0 25 0 4 0 603048467 807583744 151428 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 197164 151428 394 112 0 192129 0
[pid=6725/tid=6727] ppid=6721 vsize=788656 CPUtime=1062.17 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 282185 0 0 0 106109 108 0 0 25 0 4 0 603048467 807583744 151428 33554432000 4194304 4650419 140734435558928 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=788656 CPUtime=1056.53 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 181282 0 0 0 105589 64 0 0 25 0 4 0 603048467 807583744 151428 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=788656 CPUtime=1062.26 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 146607 0 0 0 106164 62 0 0 25 0 4 0 603048467 807583744 151428 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.16
Current children cumulated vsize (KiB) 788656

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.04 9/184 7238
/proc/meminfo: memFree=28192120/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=789348 CPUtime=4481.85 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 810308 0 0 0 447879 306 0 0 25 0 4 0 603048467 808292352 151075 33554432000 4194304 4650419 140734435558928 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 197337 151075 394 112 0 192302 0
[pid=6725/tid=6727] ppid=6721 vsize=789348 CPUtime=1122.17 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 282957 0 0 0 112109 108 0 0 25 0 4 0 603048467 808292352 151075 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=789348 CPUtime=1116.2 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 188465 0 0 0 111551 69 0 0 25 0 4 0 603048467 808292352 151075 33554432000 4194304 4650419 140734435558928 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=789348 CPUtime=1122.27 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 152694 0 0 0 112161 66 0 0 25 0 4 0 603048467 808292352 151075 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.85
Current children cumulated vsize (KiB) 789348

[startup+1182.3 s]
/proc/loadavg: 8.11 8.12 8.04 10/184 7239
/proc/meminfo: memFree=28179532/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=789348 CPUtime=4721.52 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 842439 0 0 0 471837 315 0 0 25 0 4 0 603048467 808292352 157557 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 197337 157557 394 112 0 192302 0
[pid=6725/tid=6727] ppid=6721 vsize=789348 CPUtime=1182.18 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 300744 0 0 0 118106 112 0 0 25 0 4 0 603048467 808292352 157557 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=789348 CPUtime=1175.88 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 193840 0 0 0 117516 72 0 0 25 0 4 0 603048467 808292352 157557 33554432000 4194304 4650419 140734435558928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=789348 CPUtime=1182.28 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 161094 0 0 0 118159 69 0 0 25 0 4 0 603048467 808292352 157557 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.52
Current children cumulated vsize (KiB) 789348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.15 8.13 8.05 5/179 7241
/proc/meminfo: memFree=28843572/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=789348 CPUtime=4800.23 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 867175 0 0 0 479701 322 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 197337 160988 395 112 0 192302 0
[pid=6725/tid=6727] ppid=6721 vsize=789348 CPUtime=1201.88 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 310908 0 0 0 120075 113 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=789348 CPUtime=1195.46 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 197656 0 0 0 119472 74 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=789348 CPUtime=1201.98 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 171813 0 0 0 120127 71 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 789348

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

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

[startup+1202 s]
/proc/loadavg: 8.15 8.13 8.05 5/179 7241
/proc/meminfo: memFree=28843572/32950928 swapFree=67111356/67111528
[pid=6725] ppid=6721 vsize=789348 CPUtime=4800.23 cores=1,3,5,7
/proc/6725/stat : 6725 (strangenight1-m) R 6721 6725 5921 0 -1 4202496 867175 0 0 0 479701 322 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6725/statm: 197337 160988 395 112 0 192302 0
[pid=6725/tid=6727] ppid=6721 vsize=789348 CPUtime=1201.88 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 310908 0 0 0 120075 113 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6725/tid=6729] ppid=6721 vsize=789348 CPUtime=1195.46 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 197656 0 0 0 119472 74 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6725/tid=6731] ppid=6721 vsize=789348 CPUtime=1201.98 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (strangenight1-m) R 6721 6725 5921 0 -1 4202560 171813 0 0 0 120127 71 0 0 25 0 4 0 603048467 808292352 160988 33554432000 4194304 4650419 140734435558928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 789348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.04
CPU time (s): 4800.29
CPU user time (s): 4797.04
CPU system time (s): 3.2525
CPU usage (%): 399.344
Max. virtual memory (cumulated for all children) (KiB): 905600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.04
system time used= 3.25251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 867176
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= 147
involuntary context switches= 36658

runsolver used 1.65475 second user time and 4.87626 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 03:49:38
IDJOB=3273665
IDBENCH=83144
IDSOLVER=1588
FILE ID=node114/3273665-1304128178
RUNJOBID= node114-1304128178-6707
PBS_JOBID= 13170736
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n160-s73223945-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273665-1304128178/watcher-3273665-1304128178 -o /tmp/evaluation-result-3273665-1304128178/solver-3273665-1304128178 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3273665-1304128178.cnf

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

MD5SUM BENCH= ebbfc0ffb6aa4fcba0d5ce3964018543
RANDOM SEED=539196230

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29496916 kB
Buffers:       1080236 kB
Cached:        1804792 kB
SwapCached:        168 kB
Active:         161608 kB
Inactive:      2787568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29496916 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12488 kB
Writeback:           0 kB
AnonPages:       63984 kB
Mapped:          14488 kB
Slab:           440808 kB
PageTables:       4336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186472 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= 73392 MiB
End job on node114 at 2011-04-30 04:09:42