Trace number 3369381

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 (fixed)? (TO) 4800.33 1203.95

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369381-1305412759.cnf'
0.00/0.01	c -- header says num vars:            161
0.00/0.01	c -- header says num clauses:         332
0.08/0.03	c -- clauses added:            0 learnts,          332 normals,            0 xors
0.08/0.03	c -- vars added        161
0.08/0.03	c Parsing time:  0.00 s
0.08/0.03	c  N st     0         0       161       332         0         0       996         0   no data   no data  --
0.08/0.03	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.00
0.08/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.08/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.08/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.08/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
0.08/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.08/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.08/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.08/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.08/0.03	c calculated reachability. Time: 0.00
0.08/0.03	c Calc default polars -  time:   0.00 s pos:       6 undec:     151 neg:       4
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       161       332         0         0       996         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4920       161       332         0      4455       996    110183   no data   no data  --
3.17/0.80	c  N st    10     11303       161       332         0      3978       996     77197   no data   no data  --
3.17/0.80	c  N st    11     17046       161       332         0      8850       996    221995   no data   no data  --
3.17/0.80	c  F st    12     25000       161       332         0     11094       996    269399   no data   no data  --
3.17/0.80	c  N st    12     25000       161       332         0     11094       996    269399   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st    18     30001       161       332         0      9610       996    203490   no data   no data  --
3.57/0.90	c  S st    18     30001       161       332         0      9610       996    203490   no data   no data  --
3.57/0.90	c  S st    18     30501       161       332         0     10092       996    214240   no data   no data  --
3.57/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.57/0.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.10	c lits-rem:      2347  cl-subs:      598  v-elim:      0  v-fix:    0  time:  0.74 s
3.99/1.10	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
3.99/1.10	c calculated reachability. Time: 0.00
3.99/1.10	c  N st    18     30501       161       332         0      9494       996    192461   no data   no data  --
5.15/1.34	c  N st    20     37612       161       332         0      8731       996    174820   no data   no data  --
5.96/1.57	c  N st    21     44012       161       332         0     14483       996    319389   no data   no data  --
6.35/1.65	c  S st    22     45751       161       332         0      8098       996    130029   no data   no data  --
6.35/1.67	c  S st    22     46254       161       332         0      8584       996    140699   no data   no data  --
6.35/1.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.35/1.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.35/1.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
6.35/1.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.35/1.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
6.35/1.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.75/1.72	c lits-rem:       221  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.18 s
6.75/1.72	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
6.75/1.72	c vivif2 --  cl tried     8462 cl shrink        0 lits rem          0 time: 0.01
6.75/1.72	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
6.75/1.72	c calculated reachability. Time: 0.00
6.75/1.72	c  N st    22     46254       161       332         0      8462       996    136904   no data   no data  --
9.15/2.31	c  N st    23     60652       161       332         0     12323       996    237881   no data   no data  --
10.34/2.68	c  N st    24     69383       161       332         0     10412       996    163830   no data   no data  --
10.34/2.68	c  S st    24     69383       161       332         0     10412       996    163830   no data   no data  --
10.74/2.70	c  S st    24     69887       161       332         0     10900       996    174486   no data   no data  --
10.74/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.74/2.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.74/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.74/2.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.74/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.74/2.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
10.74/2.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.54/2.97	c lits-rem:       457  cl-subs:       95  v-elim:      0  v-fix:    0  time:  1.03 s
11.54/2.97	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
11.54/2.97	c vivif2 --  cl tried    10805 cl shrink        0 lits rem          0 time: 0.00
11.54/2.97	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.01
11.54/2.97	c calculated reachability. Time: 0.00
11.54/2.97	c  N st    24     69887       161       332         0     10805       996    171785   no data   no data  --
15.13/3.89	c  F st    25     87500       161       332         0     15642       996    305914   no data   no data  --
15.13/3.89	c  N st    25     87500       161       332         0     15642       996    305914   no data   no data  --
15.93/4.08	c Decided on static restart strategy
16.73/4.21	c  N st    32     95537       161       332         0     22819       996    505063   no data   no data  --
17.91/4.55	c  N st    34    104830       161       332         0     19495       996    386088   no data   no data  --
17.91/4.55	c  S st    34    104830       161       332         0     19495       996    386088   no data   no data  --
17.91/4.59	c  S st    34    105334       161       332         0     19983       996    396500   no data   no data  --
17.91/4.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
17.91/4.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.32/4.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.32/4.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.32/4.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.32/4.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
18.32/4.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.90/6.04	c lits-rem:      2104  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  5.73 s
23.90/6.04	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
23.90/6.05	c vivif2 --  cl tried    18915 cl shrink        0 lits rem          0 time: 0.01
23.90/6.05	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.02
23.90/6.05	c calculated reachability. Time: 0.00
23.90/6.05	c  N st    34    105334       161       332         0     18915       996    359533   no data   no data  --
25.92/6.59	c  N st    35    114933       161       332         0     15000       996    252407   no data   no data  --
29.09/7.34	c  N st    36    129332       161       332         0     14404       996    224614   no data   no data  --
32.28/8.15	c  N st    37    150927       161       332         0     18715       996    328226   no data   no data  --
33.87/8.52	c  S st    38    158001       161       332         0     24926       996    507107   no data   no data  --
33.87/8.56	c  S st    38    158504       161       332         0     25414       996    518496   no data   no data  --
33.87/8.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.87/8.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.87/8.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
33.87/8.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.87/8.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.87/8.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
33.87/8.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.85/10.53	c lits-rem:      4150  cl-subs:     1849  v-elim:      0  v-fix:    0  time:  7.76 s
41.85/10.53	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
41.85/10.53	c vivif2 --  cl tried    23565 cl shrink        0 lits rem          0 time: 0.02
41.85/10.54	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.02
41.85/10.54	c calculated reachability. Time: 0.00
41.85/10.54	c  N st    38    158504       161       332         0     23565       996    451532   no data   no data  --
53.00/13.38	c  N st    39    207092       161       332         0     19320       996    309300   no data   no data  --
60.59/15.24	c  N st    40    237758       161       332         0     28756       996    588368   no data   no data  --
60.59/15.24	c  S st    40    237758       161       332         0     28756       996    588368   no data   no data  --
60.59/15.30	c  S st    40    238263       161       332         0     29246       996    599287   no data   no data  --
60.59/15.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.59/15.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.59/15.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
61.01/15.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.01/15.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.01/15.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
61.01/15.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.55/17.25	c lits-rem:      3061  cl-subs:     2256  v-elim:      0  v-fix:    0  time:  7.68 s
68.55/17.25	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
68.55/17.25	c vivif2 --  cl tried    26990 cl shrink        0 lits rem          0 time: 0.02
68.55/17.26	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.03
68.55/17.26	c calculated reachability. Time: 0.00
68.55/17.26	c  N st    40    238263       161       332         0     26990       996    521475   no data   no data  --
85.30/21.40	c  F st    41    306251       161       332         0     28406       996    528389   no data   no data  --
85.30/21.40	c  N st    41    306251       161       332         0     28406       996    528389   no data   no data  --
86.50/21.71	c Decided on static restart strategy
91.72/23.08	c  N st    51    334554       161       332         0     32620       996    626982   no data   no data  --
97.27/24.49	c  N st    53    357394       161       332         0     31267       996    562468   no data   no data  --
97.27/24.49	c  S st    53    357394       161       332         0     31267       996    562468   no data   no data  --
97.67/24.55	c  S st    53    357900       161       332         0     31761       996    573985   no data   no data  --
97.67/24.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.67/24.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.67/24.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
97.67/24.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.67/24.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.67/24.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
97.67/24.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.25/25.91	c lits-rem:      1904  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  5.32 s
103.25/25.91	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
103.25/25.91	c vivif2 --  cl tried    30712 cl shrink        0 lits rem          0 time: 0.02
103.25/25.92	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.04
103.25/25.92	c calculated reachability. Time: 0.00
103.25/25.92	c  N st    53    357900       161       332         0     30712       996    540700   no data   no data  --
111.63/28.05	c  N st    54    390292       161       332         0     35993       996    680903   no data   no data  --
124.78/31.36	c  N st    55    438880       161       332         0     29958       996    485668   no data   no data  --
142.72/35.88	c  N st    56    511762       161       332         0     41096       996    753490   no data   no data  --
149.90/37.63	c  N st    57    536851       161       332         0     36369       996    634132   no data   no data  --
149.90/37.63	c  S st    57    536851       161       332         0     36369       996    634132   no data   no data  --
149.90/37.70	c  S st    57    537356       161       332         0     36861       996    646688   no data   no data  --
150.30/37.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
150.30/37.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.30/37.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
150.30/37.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.30/37.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.30/37.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
150.30/37.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.93/39.62	c lits-rem:      4440  cl-subs:     1682  v-elim:      0  v-fix:    0  time:  7.57 s
157.93/39.62	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
157.93/39.63	c vivif2 --  cl tried    35179 cl shrink        0 lits rem          0 time: 0.02
157.93/39.64	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.04
157.93/39.64	c calculated reachability. Time: 0.00
157.93/39.64	c  N st    57    537356       161       332         0     35179       996    590190   no data   no data  --
208.94/52.43	c  N st    58    701341       161       332         0     61023       996   1282648   no data   no data  --
242.82/60.94	c  N st    59    806034       161       332         0     54018       996    977851   no data   no data  --
242.82/60.94	c  S st    59    806034       161       332         0     54018       996    977851   no data   no data  --
243.22/61.04	c  S st    59    806541       161       332         0     54514       996    989853   no data   no data  --
243.22/61.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
243.22/61.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
243.22/61.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
243.22/61.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.22/61.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.22/61.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
243.22/61.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.75/66.40	c lits-rem:      5047  cl-subs:     5423  v-elim:      0  v-fix:    0  time: 21.15 s
264.75/66.40	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
264.75/66.41	c vivif2 --  cl tried    49091 cl shrink        0 lits rem          0 time: 0.04
264.75/66.43	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.08
264.75/66.43	c calculated reachability. Time: 0.00
264.75/66.43	c  N st    59    806541       161       332         0     49091       996    833447   no data   no data  --
350.52/88.01	c  F st    60   1071877       161       332         0     65127       996   1211737   no data   no data  --
350.52/88.01	c  N st    60   1071877       161       332         0     65127       996   1211737   no data   no data  --
352.88/88.50	c Decided on static restart strategy
360.86/90.57	c  N st    70   1100178       161       332         0     52163       996    889072   no data   no data  --
374.42/93.92	c  N st    72   1136172       161       332         0     43627       996    608440   no data   no data  --
385.19/96.65	c  N st    73   1168564       161       332         0     70811       996   1357089   no data   no data  --
400.34/100.45	c  N st    74   1209811       161       332         0     67615       996   1254210   no data   no data  --
400.34/100.45	c  S st    74   1209811       161       332         0     67615       996   1254210   no data   no data  --
400.74/100.57	c  S st    74   1210316       161       332         0     68110       996   1265811   no data   no data  --
400.74/100.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
400.74/100.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
400.74/100.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
401.14/100.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
401.14/100.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
401.14/100.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
401.14/100.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.23/108.48	c lits-rem:      2438  cl-subs:     2734  v-elim:      0  v-fix:    0  time: 31.27 s
432.23/108.48	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
432.63/108.50	c vivif2 --  cl tried    65376 cl shrink        0 lits rem          0 time: 0.06
432.63/108.54	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.18
432.63/108.54	c calculated reachability. Time: 0.00
432.63/108.54	c  N st    74   1210316       161       332         0     65376       996   1181696   no data   no data  --
469.70/117.83	c  N st    75   1283199       161       332         0     43467       996    569190   no data   no data  --
524.73/131.66	c  N st    76   1392522       161       332         0     52318       996    757650   no data   no data  --
592.17/148.54	c  N st    77   1556507       161       332         0     54172       996    818047   no data   no data  --
650.74/163.27	c  N st    78   1710316       161       332         0     89528       996   1688869   no data   no data  --
650.74/163.27	c  S st    78   1710316       161       332         0     89528       996   1688869   no data   no data  --
651.54/163.44	c  S st    78   1710822       161       332         0     90026       996   1702078   no data   no data  --
651.54/163.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
651.54/163.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
651.54/163.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
651.94/163.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
651.94/163.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.94/163.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
651.94/163.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
731.70/183.59	c lits-rem:      4103  cl-subs:    12334  v-elim:      0  v-fix:    0  time: 79.94 s
731.70/183.59	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
731.70/183.60	c vivif2 --  cl tried    77692 cl shrink        0 lits rem          0 time: 0.05
732.12/183.65	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.16
732.12/183.65	c calculated reachability. Time: 0.00
732.12/183.65	c  N st    78   1710822       161       332         0     77692       996   1348010   no data   no data  --
894.00/224.20	c  N st    79   2079786       161       332         0     88876       996   1733012   no data   no data  --
952.20/238.87	c  N st    80   2210822       161       332         0     90126       996   1628224   no data   no data  --
952.20/238.87	c  S st    80   2210822       161       332         0     90126       996   1628224   no data   no data  --
953.00/239.05	c  S st    80   2211326       161       332         0     90621       996   1639920   no data   no data  --
953.00/239.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
953.00/239.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
953.00/239.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
953.41/239.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
953.41/239.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
953.41/239.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
953.41/239.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1037.14/260.16	c lits-rem:     15249  cl-subs:    11759  v-elim:      0  v-fix:    0  time: 83.72 s
1037.14/260.16	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1037.14/260.17	c vivif2 --  cl tried    78862 cl shrink        0 lits rem          0 time: 0.06
1037.54/260.21	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.15
1037.54/260.21	c calculated reachability. Time: 0.00
1037.54/260.21	c  N st    80   2211326       161       332         0     78862       996   1291821   no data   no data  --
1274.03/319.50	c  N st    81   2711326       161       332         0     99257       996   1876828   no data   no data  --
1274.03/319.50	c  S st    81   2711326       161       332         0     99257       996   1876828   no data   no data  --
1274.43/319.69	c  S st    81   2711827       161       332         0     99750       996   1889593   no data   no data  --
1274.43/319.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1274.43/319.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1274.83/319.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
1274.83/319.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1274.83/319.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1274.83/319.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
1274.83/319.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1404.40/352.22	c lits-rem:     14267  cl-subs:    16760  v-elim:      0  v-fix:    0  time: 129.19 s
1404.40/352.22	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1404.40/352.24	c vivif2 --  cl tried    82990 cl shrink        0 lits rem          0 time: 0.07
1404.40/352.28	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.17
1404.40/352.28	c calculated reachability. Time: 0.00
1404.40/352.28	c  N st    81   2711827       161       332         0     82990       996   1382068   no data   no data  --
1689.08/423.62	c  N st    82   3211828       161       332         0     67335       996    914748   no data   no data  --
1689.08/423.62	c  S st    82   3211828       161       332         0     67335       996    914748   no data   no data  --
1689.48/423.73	c  S st    82   3212330       161       332         0     67828       996    926306   no data   no data  --
1689.48/423.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1689.48/423.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1689.48/423.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
1689.48/423.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1689.48/423.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1689.48/423.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
1689.48/423.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1699.05/426.14	c lits-rem:      2521  cl-subs:      959  v-elim:      0  v-fix:    0  time:  9.41 s
1699.05/426.14	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
1699.05/426.15	c vivif2 --  cl tried    66869 cl shrink        0 lits rem          0 time: 0.04
1699.05/426.18	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.11
1699.05/426.18	c calculated reachability. Time: 0.00
1699.05/426.18	c  N st    82   3212330       161       332         0     66869       996    897264   no data   no data  --
2021.68/507.04	c  N st    83   3712331       161       332         0     77823       996   1114601   no data   no data  --
2021.68/507.04	c  S st    83   3712331       161       332         0     77823       996   1114601   no data   no data  --
2022.10/507.17	c  S st    83   3712836       161       332         0     78318       996   1127887   no data   no data  --
2022.10/507.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2022.10/507.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2022.44/507.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
2022.44/507.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2022.44/507.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2022.44/507.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2022.44/507.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2035.99/510.66	c lits-rem:      2538  cl-subs:     1143  v-elim:      0  v-fix:    0  time: 13.66 s
2035.99/510.66	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
2035.99/510.68	c vivif2 --  cl tried    77175 cl shrink        0 lits rem          0 time: 0.05
2036.39/510.71	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.12
2036.39/510.71	c calculated reachability. Time: 0.00
2036.39/510.71	c  N st    83   3712836       161       332         0     77175       996   1090792   no data   no data  --
2055.53/515.55	c  F st    84   3751563       161       332         0    109868       996   1963430   no data   no data  --
2055.53/515.55	c  N st    84   3751563       161       332         0    109868       996   1963430   no data   no data  --
2058.32/516.25	c Decided on static restart strategy
2070.68/519.34	c  N st    94   3779865       161       332         0    134761       996   2597594   no data   no data  --
2088.24/523.71	c  N st    96   3815858       161       332         0     93270       996   1507950   no data   no data  --
2105.44/528.05	c  N st    97   3848251       161       332         0    121249       996   2306294   no data   no data  --
2134.51/535.37	c  N st    98   3896839       161       332         0     89344       996   1370565   no data   no data  --
2177.58/546.17	c  N st    99   3969721       161       332         0     77275       996   1048820   no data   no data  --
2241.77/562.21	c  N st   100   4079045       161       332         0     93457       996   1455978   no data   no data  --
2339.46/586.74	c  N st   101   4212836       161       332         0    132456       996   2355986   no data   no data  --
2339.46/586.74	c  S st   101   4212836       161       332         0    132456       996   2355986   no data   no data  --
2340.66/587.04	c  S st   101   4213338       161       332         0    132951       996   2368587   no data   no data  --
2340.66/587.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2340.66/587.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2341.06/587.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2341.46/587.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2341.46/587.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2341.46/587.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2341.46/587.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2522.12/632.51	c lits-rem:      1894  cl-subs:    18536  v-elim:      0  v-fix:    0  time: 180.54 s
2522.12/632.51	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
2522.12/632.54	c vivif2 --  cl tried   114415 cl shrink        0 lits rem          0 time: 0.11
2522.47/632.62	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.31
2522.47/632.62	c calculated reachability. Time: 0.00
2522.47/632.62	c  N st   101   4213338       161       332         0    114415       996   1865921   no data   no data  --
2660.04/667.15	c  N st   102   4459314       161       332         0     91104       996   1408854   no data   no data  --
2809.55/704.67	c  N st   103   4713338       161       332         0    149179       996   2680147   no data   no data  --
2809.55/704.67	c  S st   103   4713338       161       332         0    149179       996   2680147   no data   no data  --
2810.74/704.98	c  S st   103   4713840       161       332         0    149667       996   2693071   no data   no data  --
2810.74/704.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2810.74/704.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2811.17/705.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
2811.59/705.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2811.59/705.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2811.59/705.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
2811.59/705.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3298.74/827.36	c lits-rem:      9816  cl-subs:    12322  v-elim:      0  v-fix:    0  time: 487.02 s
3298.74/827.36	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
3298.74/827.40	c vivif2 --  cl tried   137345 cl shrink        0 lits rem          0 time: 0.14
3299.14/827.48	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.34
3299.14/827.49	c calculated reachability. Time: 0.00
3299.14/827.49	c  N st   103   4713840       161       332         0    137345       996   2340358   no data   no data  --
3597.00/902.20	c  N st   104   5213842       161       332         0    146862       996   2733068   no data   no data  --
3597.00/902.20	c  S st   104   5213842       161       332         0    146862       996   2733068   no data   no data  --
3598.60/902.57	c  S st   104   5214343       161       332         0    147356       996   2745776   no data   no data  --
3598.60/902.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3598.60/902.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3599.00/902.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.37
3599.40/902.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3599.40/902.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3599.40/902.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
3599.40/902.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4142.79/1039.05	c lits-rem:      9271  cl-subs:    14294  v-elim:      0  v-fix:    0  time: 543.16 s
4142.79/1039.05	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
4142.79/1039.08	c vivif2 --  cl tried   133062 cl shrink        0 lits rem          0 time: 0.12
4143.20/1039.16	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.32
4143.20/1039.16	c calculated reachability. Time: 0.00
4143.20/1039.16	c  N st   104   5214343       161       332         0    133062       996   2341117   no data   no data  --
4433.88/1112.06	c  N st   105   5714343       161       332         0    129350       996   2105565   no data   no data  --
4433.88/1112.06	c  S st   105   5714343       161       332         0    129350       996   2105565   no data   no data  --
4435.04/1112.38	c  S st   105   5714849       161       332         0    129849       996   2118202   no data   no data  --
4435.04/1112.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4435.04/1112.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4435.44/1112.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
4435.84/1112.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4435.84/1112.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4435.84/1112.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    161 time:  0.00 s
4435.84/1112.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4597.29/1153.03	c lits-rem:      3574  cl-subs:    12703  v-elim:      0  v-fix:    0  time: 161.42 s
4597.29/1153.03	c vivif2 --  cl tried      332 cl shrink        0 lits rem          0 time: 0.00
4597.29/1153.05	c vivif2 --  cl tried   117146 cl shrink        0 lits rem          0 time: 0.10
4597.69/1153.13	c asymm  cl-useful: 0/332/332 lits-rem:0 time: 0.33
4597.69/1153.14	c calculated reachability. Time: 0.00
4597.69/1153.14	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: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.67 7.97 7.85 2/379 12454
/proc/meminfo: memFree=14893352/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 731506546 52465664 352 33554432000 4194304 4650419 140736601743888 18446744073709551615 47947629299634 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 12809 352 303 112 0 7774 0
[pid=12454/tid=12455] ppid=12452 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 731506547 52465664 352 33554432000 4194304 4650419 140736601743888 18446744073709551615 47947629299628 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 4 0 731506547 52465664 352 33554432000 4194304 4650419 140736601743888 18446744073709551615 47947629299634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 731506547 52465664 352 33554432000 4194304 4650419 140736601743888 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0264269 s]
/proc/loadavg: 7.67 7.97 7.85 2/379 12454
/proc/meminfo: memFree=14893352/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=281800 CPUtime=0.08 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 815 0 0 0 8 0 0 0 18 0 4 0 731506546 288563200 724 33554432000 4194304 4650419 140736601743888 18446744073709551615 4306767 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 70450 724 389 112 0 65415 0
[pid=12454/tid=12455] ppid=12452 vsize=281800 CPUtime=0.02 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 117 0 0 0 2 0 0 0 18 0 4 0 731506547 288563200 724 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=281800 CPUtime=0.02 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 89 0 0 0 2 0 0 0 18 0 4 0 731506547 288563200 724 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=281800 CPUtime=0.01 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 97 0 0 0 1 0 0 0 25 0 4 0 731506547 288563200 724 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 281800

[startup+0.100415 s]
/proc/loadavg: 7.67 7.97 7.85 2/379 12454
/proc/meminfo: memFree=14893352/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=282788 CPUtime=0.37 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 1538 0 0 0 37 0 0 0 18 0 4 0 731506546 289574912 1221 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 70697 1221 392 112 0 65662 0
[pid=12454/tid=12455] ppid=12452 vsize=282788 CPUtime=0.09 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 259 0 0 0 9 0 0 0 18 0 4 0 731506547 289574912 1221 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=282788 CPUtime=0.09 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 317 0 0 0 9 0 0 0 18 0 4 0 731506547 289574912 1221 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=282788 CPUtime=0.08 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 293 0 0 0 8 0 0 0 25 0 4 0 731506547 289574912 1221 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282788

[startup+0.30038 s]
/proc/loadavg: 7.67 7.97 7.85 2/379 12454
/proc/meminfo: memFree=14893352/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=283992 CPUtime=1.17 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 3047 0 0 0 117 0 0 0 18 0 4 0 731506546 290807808 1731 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 70998 1731 392 112 0 65963 0
[pid=12454/tid=12455] ppid=12452 vsize=283992 CPUtime=0.29 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 666 0 0 0 29 0 0 0 18 0 4 0 731506547 290807808 1731 33554432000 4194304 4650419 140736601743888 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=283992 CPUtime=0.29 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 682 0 0 0 29 0 0 0 18 0 4 0 731506547 290807808 1731 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=283992 CPUtime=0.28 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 623 0 0 0 28 0 0 0 25 0 4 0 731506547 290807808 1731 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283992

[startup+0.700311 s]
/proc/loadavg: 7.67 7.97 7.85 2/379 12454
/proc/meminfo: memFree=14893352/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=285316 CPUtime=2.77 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 5360 0 0 0 276 1 0 0 18 0 4 0 731506546 292163584 2481 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366199 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 71329 2481 393 112 0 66294 0
[pid=12454/tid=12455] ppid=12452 vsize=285316 CPUtime=0.69 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 1177 0 0 0 69 0 0 0 18 0 4 0 731506547 292163584 2481 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=285316 CPUtime=0.69 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 1337 0 0 0 69 0 0 0 18 0 4 0 731506547 292163584 2481 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=285316 CPUtime=0.68 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 1248 0 0 0 68 0 0 0 25 0 4 0 731506547 292163584 2481 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285316

[startup+1.50117 s]
/proc/loadavg: 7.67 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14857072/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=296672 CPUtime=5.96 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 13814 0 0 0 594 2 0 0 20 0 4 0 731506546 303792128 8859 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 74168 8859 394 112 0 69133 0
[pid=12454/tid=12455] ppid=12452 vsize=296672 CPUtime=1.49 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 3077 0 0 0 149 0 0 0 20 0 4 0 731506547 303792128 8859 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=296672 CPUtime=1.48 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 3734 0 0 0 148 0 0 0 19 0 4 0 731506547 303792128 8859 33554432000 4194304 4650419 140736601743888 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=296672 CPUtime=1.47 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 3240 0 0 0 147 0 0 0 25 0 4 0 731506547 303792128 8859 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 296672

[startup+3.10089 s]
/proc/loadavg: 7.70 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14818264/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=314700 CPUtime=12.34 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 20186 0 0 0 1231 3 0 0 25 0 4 0 731506546 322252800 12530 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 78675 12530 394 112 0 73640 0
[pid=12454/tid=12455] ppid=12452 vsize=314700 CPUtime=3.09 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 5854 0 0 0 308 1 0 0 25 0 4 0 731506547 322252800 12530 33554432000 4194304 4650419 140736601743888 18446744073709551615 4438768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=314700 CPUtime=3.09 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 4598 0 0 0 308 1 0 0 25 0 4 0 731506547 322252800 12530 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=314700 CPUtime=3.05 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 4506 0 0 0 305 0 0 0 25 0 4 0 731506547 322252800 12530 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 314700

[startup+6.30034 s]
/proc/loadavg: 7.70 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14759636/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=315020 CPUtime=25.1 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 29017 0 0 0 2505 5 0 0 25 0 4 0 731506546 322580480 18061 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 78755 18061 394 112 0 73720 0
[pid=12454/tid=12455] ppid=12452 vsize=315020 CPUtime=6.29 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 8254 0 0 0 627 2 0 0 25 0 4 0 731506547 322580480 18061 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=315020 CPUtime=6.29 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 7370 0 0 0 628 1 0 0 25 0 4 0 731506547 322580480 18061 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=315020 CPUtime=6.21 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 5848 0 0 0 621 0 0 0 25 0 4 0 731506547 322580480 18061 33554432000 4194304 4650419 140736601743888 18446744073709551615 4307300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 315020

[startup+12.7002 s]
/proc/loadavg: 7.74 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14711100/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=334928 CPUtime=50.61 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 45035 0 0 0 5053 8 0 0 25 0 4 0 731506546 342966272 23043 33554432000 4194304 4650419 140736601743888 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 83732 23043 394 112 0 78697 0
[pid=12454/tid=12455] ppid=12452 vsize=334928 CPUtime=12.69 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 11322 0 0 0 1267 2 0 0 25 0 4 0 731506547 342966272 23043 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=334928 CPUtime=12.68 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 12606 0 0 0 1267 1 0 0 25 0 4 0 731506547 342966272 23043 33554432000 4194304 4650419 140736601743888 18446744073709551615 4475954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=334928 CPUtime=12.53 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 8873 0 0 0 1252 1 0 0 25 0 4 0 731506547 342966272 23043 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 334928

[startup+25.501 s]
/proc/loadavg: 7.78 7.97 7.85 9/390 12466
/proc/meminfo: memFree=14655220/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=345636 CPUtime=101.65 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 71281 0 0 0 10151 14 0 0 25 0 4 0 731506546 353931264 28197 33554432000 4194304 4650419 140736601743888 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 86409 28197 394 112 0 81374 0
[pid=12454/tid=12455] ppid=12452 vsize=345636 CPUtime=25.48 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 20005 0 0 0 2545 3 0 0 25 0 4 0 731506547 353931264 28197 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=345636 CPUtime=25.49 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 20269 0 0 0 2546 3 0 0 25 0 4 0 731506547 353931264 28197 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=345636 CPUtime=25.16 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 10421 0 0 0 2515 1 0 0 25 0 4 0 731506547 353931264 28197 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 345636

[startup+51.1005 s]
/proc/loadavg: 7.97 8.00 7.86 9/390 12467
/proc/meminfo: memFree=14585452/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=359540 CPUtime=203.74 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 118243 0 0 0 20349 25 0 0 25 0 4 0 731506546 368168960 35473 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 89885 35473 394 112 0 84850 0
[pid=12454/tid=12455] ppid=12452 vsize=359540 CPUtime=51.08 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 34179 0 0 0 5101 7 0 0 25 0 4 0 731506547 368168960 35473 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=359540 CPUtime=51.09 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 34760 0 0 0 5102 7 0 0 25 0 4 0 731506547 368168960 35473 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=359540 CPUtime=50.47 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 15685 0 0 0 5044 3 0 0 25 0 4 0 731506547 368168960 35473 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 359540

[startup+102.316 s]
/proc/loadavg: 8.04 8.01 7.87 9/390 12468
/proc/meminfo: memFree=14455360/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=424400 CPUtime=407.96 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 203899 0 0 0 40751 45 0 0 25 0 4 0 731506546 434585600 54157 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 106100 54157 394 112 0 101065 0
[pid=12454/tid=12455] ppid=12452 vsize=424400 CPUtime=102.3 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 62807 0 0 0 10216 14 0 0 25 0 4 0 731506547 434585600 54157 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=424400 CPUtime=102.3 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 58527 0 0 0 10217 13 0 0 25 0 4 0 731506547 434585600 54157 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=424400 CPUtime=101.04 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 27196 0 0 0 10099 5 0 0 25 0 4 0 731506547 434585600 54157 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 424400

[startup+162.301 s]

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

[pid=12454] ppid=12452 vsize=771028 CPUtime=2800.37 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 633977 0 0 0 279852 185 0 0 25 0 4 0 731506546 789532672 135108 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 192757 135108 394 112 0 187722 0
[pid=12454/tid=12455] ppid=12452 vsize=771028 CPUtime=702.23 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 196551 0 0 0 70166 57 0 0 25 0 4 0 731506547 789532672 135108 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=771028 CPUtime=702.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 189727 0 0 0 70172 56 0 0 25 0 4 0 731506547 789532672 135108 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=771028 CPUtime=693.54 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 81388 0 0 0 69329 25 0 0 25 0 4 0 731506547 789532672 135108 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.37
Current children cumulated vsize (KiB) 771028

[startup+762.315 s]
/proc/loadavg: 8.02 8.06 7.96 9/390 12486
/proc/meminfo: memFree=13778860/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=719744 CPUtime=3039.65 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 655948 0 0 0 303768 197 0 0 25 0 4 0 731506546 737017856 135050 33554432000 4194304 4650419 140736601743888 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 179936 135050 394 112 0 174901 0
[pid=12454/tid=12455] ppid=12452 vsize=719744 CPUtime=762.24 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 208061 0 0 0 76159 65 0 0 25 0 4 0 731506547 737017856 135050 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=719744 CPUtime=762.29 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 193159 0 0 0 76173 56 0 0 25 0 4 0 731506547 737017856 135050 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=719744 CPUtime=752.77 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 86992 0 0 0 75249 28 0 0 25 0 4 0 731506547 737017856 135050 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.65
Current children cumulated vsize (KiB) 719744

[startup+822.301 s]
/proc/loadavg: 8.00 8.05 7.96 9/390 12487
/proc/meminfo: memFree=13774236/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=703512 CPUtime=3278.81 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 674678 0 0 0 327676 205 0 0 25 0 4 0 731506546 720396288 135469 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 175878 135469 394 112 0 170843 0
[pid=12454/tid=12455] ppid=12452 vsize=703512 CPUtime=822.2 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 218286 0 0 0 82152 68 0 0 25 0 4 0 731506547 720396288 135469 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=703512 CPUtime=822.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 194407 0 0 0 82172 56 0 0 25 0 4 0 731506547 720396288 135469 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=703512 CPUtime=812 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 94238 0 0 0 81167 33 0 0 25 0 4 0 731506547 720396288 135469 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.81
Current children cumulated vsize (KiB) 703512

[startup+882.301 s]
/proc/loadavg: 8.11 8.07 7.97 9/390 12489
/proc/meminfo: memFree=13691500/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=703900 CPUtime=3518.06 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 719575 0 0 0 351587 219 0 0 25 0 4 0 731506546 720793600 140742 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 175975 140742 394 112 0 170940 0
[pid=12454/tid=12455] ppid=12452 vsize=703900 CPUtime=882.19 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 232228 0 0 0 88146 73 0 0 25 0 4 0 731506547 720793600 140742 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=703900 CPUtime=882.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 205856 0 0 0 88168 60 0 0 25 0 4 0 731506547 720793600 140742 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=703900 CPUtime=871.25 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 99246 0 0 0 87091 34 0 0 25 0 4 0 731506547 720793600 140742 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.06
Current children cumulated vsize (KiB) 703900

[startup+942.301 s]
/proc/loadavg: 8.04 8.05 7.97 9/390 12491
/proc/meminfo: memFree=13660472/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=720716 CPUtime=3757.25 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 733879 0 0 0 375500 225 0 0 25 0 4 0 731506546 738013184 140969 33554432000 4194304 4650419 140736601743888 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 180179 140969 394 112 0 175144 0
[pid=12454/tid=12455] ppid=12452 vsize=720716 CPUtime=942.19 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 242306 0 0 0 94141 78 0 0 25 0 4 0 731506547 738013184 140969 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=720716 CPUtime=942.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 205856 0 0 0 94168 60 0 0 25 0 4 0 731506547 738013184 140969 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=720716 CPUtime=930.46 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 99928 0 0 0 93012 34 0 0 25 0 4 0 731506547 738013184 140969 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.25
Current children cumulated vsize (KiB) 720716

[startup+1002.3 s]
/proc/loadavg: 8.14 8.07 7.98 9/390 12492
/proc/meminfo: memFree=13694416/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=721008 CPUtime=3996.46 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 749960 0 0 0 399414 232 0 0 25 0 4 0 731506546 738312192 141796 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 180252 141796 394 112 0 175217 0
[pid=12454/tid=12455] ppid=12452 vsize=721008 CPUtime=1002.17 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 251896 0 0 0 100133 84 0 0 25 0 4 0 731506547 738312192 141796 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=721008 CPUtime=1002.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 212347 0 0 0 100167 61 0 0 25 0 4 0 731506547 738312192 141796 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=721008 CPUtime=989.67 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 99928 0 0 0 98933 34 0 0 25 0 4 0 731506547 738312192 141796 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.46
Current children cumulated vsize (KiB) 721008

[startup+1062.3 s]
/proc/loadavg: 8.16 8.09 8.00 9/390 12494
/proc/meminfo: memFree=13633508/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=775160 CPUtime=4235.69 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 790935 0 0 0 423326 243 0 0 25 0 4 0 731506546 793763840 148475 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366213 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 193790 148475 394 112 0 188755 0
[pid=12454/tid=12455] ppid=12452 vsize=775160 CPUtime=1062.16 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 268798 0 0 0 106127 89 0 0 25 0 4 0 731506547 793763840 148475 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=775160 CPUtime=1062.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 226643 0 0 0 106164 64 0 0 25 0 4 0 731506547 793763840 148475 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=775160 CPUtime=1048.92 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 103336 0 0 0 104857 35 0 0 25 0 4 0 731506547 793763840 148475 33554432000 4194304 4650419 140736601743888 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.69
Current children cumulated vsize (KiB) 775160

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.00 9/390 12495
/proc/meminfo: memFree=13605956/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=788300 CPUtime=4474.9 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 810543 0 0 0 447237 253 0 0 25 0 4 0 731506546 807219200 152401 33554432000 4194304 4650419 140736601743888 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 197075 152401 394 112 0 192040 0
[pid=12454/tid=12455] ppid=12452 vsize=788300 CPUtime=1122.15 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 268798 0 0 0 112126 89 0 0 25 0 4 0 731506547 807219200 152401 33554432000 4194304 4650419 140736601743888 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=788300 CPUtime=1122.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 231221 0 0 0 112160 68 0 0 25 0 4 0 731506547 807219200 152401 33554432000 4194304 4650419 140736601743888 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=788300 CPUtime=1108.15 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 106736 0 0 0 110777 38 0 0 25 0 4 0 731506547 807219200 152401 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.9
Current children cumulated vsize (KiB) 788300

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.00 9/390 12497
/proc/meminfo: memFree=13558556/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=859952 CPUtime=4714.11 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 824733 0 0 0 471149 262 0 0 25 0 4 0 731506546 880590848 165032 33554432000 4194304 4650419 140736601743888 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 214988 165032 394 112 0 209953 0
[pid=12454/tid=12455] ppid=12452 vsize=859952 CPUtime=1182.13 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 268998 0 0 0 118124 89 0 0 25 0 4 0 731506547 880590848 165032 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=859952 CPUtime=1182.28 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 235901 0 0 0 118157 71 0 0 25 0 4 0 731506547 880590848 165032 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=859952 CPUtime=1167.37 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 110939 0 0 0 116697 40 0 0 25 0 4 0 731506547 880590848 165032 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.11
Current children cumulated vsize (KiB) 859952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.15 8.10 8.01 5/386 12499
/proc/meminfo: memFree=14248260/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=860508 CPUtime=4800.27 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 828899 0 0 0 479763 264 0 0 25 0 4 0 731506546 881160192 159676 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 215127 159676 394 112 0 210092 0
[pid=12454/tid=12455] ppid=12452 vsize=860508 CPUtime=1203.75 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 270282 0 0 0 120286 89 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=860508 CPUtime=1203.89 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 236542 0 0 0 120318 71 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=860508 CPUtime=1188.69 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 110939 0 0 0 118829 40 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 860508

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

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

[startup+1203.9 s]
/proc/loadavg: 8.15 8.10 8.01 5/386 12499
/proc/meminfo: memFree=14248260/32951124 swapFree=65586204/67111528
[pid=12454] ppid=12452 vsize=860508 CPUtime=4800.27 cores=0,2,4,6
/proc/12454/stat : 12454 (strangenight1-m) R 12452 12454 11857 0 -1 4202496 828899 0 0 0 479763 264 0 0 25 0 4 0 731506546 881160192 159676 33554432000 4194304 4650419 140736601743888 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12454/statm: 215127 159676 394 112 0 210092 0
[pid=12454/tid=12455] ppid=12452 vsize=860508 CPUtime=1203.75 cores=0,2,4,6
/proc/12454/task/12455/stat : 12455 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 270282 0 0 0 120286 89 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12454/tid=12456] ppid=12452 vsize=860508 CPUtime=1203.89 cores=0,2,4,6
/proc/12454/task/12456/stat : 12456 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 236542 0 0 0 120318 71 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12454/tid=12457] ppid=12452 vsize=860508 CPUtime=1188.69 cores=0,2,4,6
/proc/12454/task/12457/stat : 12457 (strangenight1-m) R 12452 12454 11857 0 -1 4202560 110939 0 0 0 118829 40 0 0 25 0 4 0 731506547 881160192 159677 33554432000 4194304 4650419 140736601743888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 860508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.95
CPU time (s): 4800.33
CPU user time (s): 4797.67
CPU system time (s): 2.66759
CPU usage (%): 398.716
Max. virtual memory (cumulated for all children) (KiB): 918320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.67
system time used= 2.66759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 828900
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= 245
involuntary context switches= 22059

runsolver used 4.34534 second user time and 10.8074 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-15 00:39:19
IDJOB=3369381
IDBENCH=83144
IDSOLVER=1846
FILE ID=node119/3369381-1305412759
RUNJOBID= node119-1305412759-12439
PBS_JOBID= 13324506
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= ebbfc0ffb6aa4fcba0d5ce3964018543
RANDOM SEED=1124551468

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14895120 kB
Buffers:        286132 kB
Cached:        4557684 kB
SwapCached:       4756 kB
Active:       14702504 kB
Inactive:      3021464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14895120 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           11860 kB
Writeback:           0 kB
AnonPages:    12878276 kB
Mapped:          29468 kB
Slab:           211048 kB
PageTables:      56728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102461512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73188 MiB
End job on node119 at 2011-05-15 00:59:25