Trace number 3366657

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.24 1203.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf
MD5SUM52f4c2549736f42ae4f40e4dd45d91d0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366657-1305411165.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2.76/0.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.76/0.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.76/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.76/0.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
2.76/0.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.76/0.72	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
2.76/0.72	c Finding binary XORs  T:     0.00 s  found:       0
2.76/0.72	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.76/0.72	c calculated reachability. Time: 0.00
2.76/0.72	c Calc default polars -  time:   0.00 s pos:     231 undec:      57 neg:     212
2.76/0.72	c =========================================================================================
2.76/0.72	c types(t): F = full restart, N = normal restart
2.76/0.72	c types(t): S = simplification begin/end, E = solution found
2.76/0.72	c restart types(rt): st = static, dy = dynamic
2.76/0.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       485      2116         0         0      6460         0   no data   no data
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4917       485      2116         0      4836      6460    115924   no data   no data
3.16/0.80	c  N st    10     11302       485      2116         0      4479      6460     77528   no data   no data
3.16/0.80	c  N st    11     17045       485      2116         0     10117      6460    218019   no data   no data
4.37/1.18	c  F st    12     25002       485      2116         0     12375      6460    266925   no data   no data
4.37/1.18	c  N st    12     25002       485      2116         0     12375      6460    266925   no data   no data
5.55/1.40	c Decided on static restart strategy
5.55/1.40	c  N st    18     30000       485      2116         0     10626      6460    193669   no data   no data
5.55/1.40	c  S st    18     30000       485      2116         0     10626      6460    193669   no data   no data
5.55/1.40	c  S st    18     30507       485      2116         0     11133      6460    204800   no data   no data
5.55/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.40	c blocked clauses removed:        8 vars:      2 tried:         485 T: 0.00 s
5.55/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
5.55/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.95/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.50	c lits-rem:       154  cl-subs:      659  v-elim:      0  v-fix:    0  time:  0.06 s
5.95/1.50	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
5.95/1.50	c calculated reachability. Time: 0.00
5.95/1.50	c  N st    18     30507       483      2108         0     10434      6436    187955   no data   no data
7.15/1.89	c  N st    20     37617       483      2108         0      9727      6436    157059   no data   no data
9.18/2.32	c  N st    21     44016       483      2108         0     15933      6436    290579   no data   no data
9.53/2.46	c  S st    22     45760       483      2108         0      8939      6436    122789   no data   no data
9.53/2.48	c  S st    22     46262       483      2108         0      9440      6436    134615   no data   no data
9.53/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.53/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.53/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.53/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.53/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
9.53/2.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.53/2.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.53/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.50	c lits-rem:        15  cl-subs:      102  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.50	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c vivif2 --  cl tried     9338 cl shrink        0 lits rem          0 time: 0.00
9.94/2.51	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
9.94/2.51	c calculated reachability. Time: 0.00
9.94/2.51	c  N st    22     46262       483      2108         0      9338      6436    132557   no data   no data
13.57/3.46	c  N st    23     60660       483      2108         0     13692      6436    222062   no data   no data
16.32/4.13	c  N st    24     69394       483      2108         0     11515      6436    162703   no data   no data
16.32/4.13	c  S st    24     69394       483      2108         0     11515      6436    162703   no data   no data
16.32/4.16	c  S st    24     69900       483      2108         0     12021      6436    174409   no data   no data
16.32/4.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.32/4.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.32/4.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.32/4.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.32/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.32/4.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
16.32/4.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.32/4.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.32/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.32/4.18	c lits-rem:        22  cl-subs:      140  v-elim:      0  v-fix:    0  time:  0.01 s
16.32/4.18	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
16.32/4.19	c vivif2 --  cl tried    11881 cl shrink        0 lits rem          0 time: 0.00
16.32/4.19	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
16.32/4.19	c calculated reachability. Time: 0.00
16.32/4.19	c  N st    24     69900       483      2108         0     11881      6436    171267   no data   no data
21.50/5.48	c  F st    25     87501       483      2108         0     17326      6436    298594   no data   no data
21.50/5.48	c  N st    25     87501       483      2108         0     17326      6436    298594   no data   no data
23.49/5.94	c Decided on static restart strategy
24.30/6.19	c  N st    32     95544       483      2108         0     25173      6436    476555   no data   no data
27.08/6.84	c  N st    34    104850       483      2108         0     21577      6436    369453   no data   no data
27.08/6.84	c  S st    34    104850       483      2108         0     21577      6436    369453   no data   no data
27.08/6.89	c  S st    34    105354       483      2108         0     22081      6436    380862   no data   no data
27.08/6.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.48/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.48/6.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.48/6.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.48/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.48/6.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
27.48/6.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.48/6.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.48/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.88/7.06	c lits-rem:       142  cl-subs:      881  v-elim:      0  v-fix:    0  time:  0.14 s
27.88/7.06	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
27.88/7.06	c vivif2 --  cl tried    21200 cl shrink        0 lits rem          0 time: 0.00
27.88/7.08	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
27.88/7.08	c calculated reachability. Time: 0.00
27.88/7.08	c  N st    34    105354       483      2108         0     21200      6436    360064   no data   no data
31.47/7.90	c  N st    35    114953       483      2108         0     16915      6436    242678   no data   no data
36.66/9.26	c  N st    36    129351       483      2108         0     16377      6436    215144   no data   no data
44.63/11.26	c  N st    37    150948       483      2108         0     21831      6436    323008   no data   no data
47.43/11.91	c  S st    38    158032       483      2108         0     28731      6436    486383   no data   no data
47.43/11.98	c  S st    38    158536       483      2108         0     29235      6436    498310   no data   no data
47.43/11.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.43/11.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.43/11.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.43/11.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.43/11.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.43/11.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
47.43/11.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.83/12.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.83/12.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.42/12.43	c lits-rem:       237  cl-subs:     1831  v-elim:      0  v-fix:    0  time:  0.40 s
49.42/12.43	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
49.42/12.44	c vivif2 --  cl tried    27404 cl shrink        0 lits rem          0 time: 0.01
49.42/12.45	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
49.42/12.45	c calculated reachability. Time: 0.00
49.42/12.45	c  N st    38    158536       483      2108         0     27404      6436    457318   no data   no data
68.97/17.38	c  N st    39    207124       483      2108         0     22211      6436    310791   no data   no data
82.54/20.75	c  N st    40    237804       483      2108         0     32643      6436    532955   no data   no data
82.54/20.75	c  S st    40    237804       483      2108         0     32643      6436    532955   no data   no data
82.94/20.83	c  S st    40    238307       483      2108         0     33142      6436    544842   no data   no data
82.94/20.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.94/20.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.94/20.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.94/20.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.94/20.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.94/20.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
82.94/20.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.94/20.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.94/20.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.93/21.35	c lits-rem:       166  cl-subs:     1699  v-elim:      0  v-fix:    0  time:  0.47 s
84.93/21.35	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
84.93/21.36	c vivif2 --  cl tried    31443 cl shrink        0 lits rem          0 time: 0.01
84.93/21.38	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
84.93/21.38	c calculated reachability. Time: 0.00
84.93/21.38	c  N st    40    238307       483      2108         0     31443      6436    507523   no data   no data
116.85/29.39	c  F st    41    306251       483      2108         0     33167      6436    498034   no data   no data
116.85/29.39	c  N st    41    306251       483      2108         0     33167      6436    498034   no data   no data
119.24/29.98	c Decided on static restart strategy
131.19/32.91	c  N st    51    334556       483      2108         0     37520      6436    575756   no data   no data
142.36/35.79	c  N st    53    357462       483      2108         0     35526      6436    522517   no data   no data
142.36/35.79	c  S st    53    357462       483      2108         0     35526      6436    522517   no data   no data
142.76/35.88	c  S st    53    357967       483      2108         0     36031      6436    534376   no data   no data
142.76/35.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.76/35.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
142.76/35.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.76/35.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.76/35.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.76/35.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
142.76/35.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.17/35.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.17/35.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.36/36.27	c lits-rem:       186  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  0.36 s
144.36/36.27	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
144.36/36.28	c vivif2 --  cl tried    34522 cl shrink        0 lits rem          0 time: 0.01
144.78/36.31	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
144.78/36.31	c calculated reachability. Time: 0.00
144.78/36.31	c  N st    53    357967       483      2108         0     34522      6436    500813   no data   no data
160.72/40.30	c  N st    54    390360       483      2108         0     40505      6436    600371   no data   no data
190.23/47.76	c  N st    55    438948       483      2108         0     34298      6436    441600   no data   no data
228.15/57.22	c  N st    56    511830       483      2108         0     47810      6436    757193   no data   no data
242.89/60.94	c  N st    57    536950       483      2108         0     42066      6436    593213   no data   no data
242.89/60.94	c  S st    57    536950       483      2108         0     42066      6436    593213   no data   no data
243.29/61.04	c  S st    57    537453       483      2108         0     42568      6436    605287   no data   no data
243.29/61.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.29/61.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.29/61.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.29/61.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.29/61.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.29/61.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
243.29/61.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.29/61.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.29/61.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.71/61.67	c lits-rem:       320  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  0.57 s
245.71/61.67	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
245.71/61.68	c vivif2 --  cl tried    40650 cl shrink        0 lits rem          0 time: 0.01
246.13/61.71	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.03
246.13/61.71	c calculated reachability. Time: 0.00
246.13/61.71	c  N st    57    537453       483      2108         0     40650      6436    562511   no data   no data
356.18/89.39	c  N st    58    701438       483      2108         0     69697      6436   1192651   no data   no data
435.16/109.20	c  N st    59    806180       483      2108         0     63602      6436    995398   no data   no data
435.16/109.20	c  S st    59    806180       483      2108         0     63602      6436    995398   no data   no data
435.96/109.37	c  S st    59    806684       483      2108         0     64106      6436   1007058   no data   no data
435.96/109.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
436.36/109.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
436.36/109.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
436.36/109.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.36/109.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.36/109.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
436.36/109.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
436.36/109.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
436.36/109.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.73/112.08	c lits-rem:       478  cl-subs:     5023  v-elim:      0  v-fix:    0  time:  2.60 s
446.73/112.08	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
446.73/112.09	c vivif2 --  cl tried    59083 cl shrink        0 lits rem          0 time: 0.01
447.13/112.14	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.05
447.13/112.14	c calculated reachability. Time: 0.00
447.13/112.14	c  N st    59    806684       483      2108         0     59083      6436    897099   no data   no data
660.14/165.57	c  F st    60   1071875       483      2108         0     75366      6436   1210014   no data   no data
660.14/165.57	c  N st    60   1071875       483      2108         0     75366      6436   1210014   no data   no data
666.52/167.15	c Decided on static restart strategy
685.65/171.95	c  N st    70   1100179       483      2108         0     59068      6436    783368   no data   no data
718.37/180.18	c  N st    72   1136176       483      2108         0     49332      6436    544170   no data   no data
747.48/187.41	c  N st    73   1168568       483      2108         0     81084      6436   1341134   no data   no data
788.17/197.60	c  N st    74   1210028       483      2108         0     75596      6436   1142632   no data   no data
788.17/197.60	c  S st    74   1210028       483      2108         0     75596      6436   1142632   no data   no data
788.97/197.87	c  S st    74   1210535       483      2108         0     76101      6436   1154376   no data   no data
788.97/197.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
789.37/197.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
789.37/197.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
789.37/197.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
789.37/197.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
789.37/197.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
789.37/197.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
789.37/197.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
789.37/197.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.12/201.62	c lits-rem:       207  cl-subs:     4013  v-elim:      0  v-fix:    0  time:  3.60 s
804.12/201.62	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
804.12/201.64	c vivif2 --  cl tried    72088 cl shrink        0 lits rem          0 time: 0.02
804.52/201.73	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.09
804.52/201.74	c calculated reachability. Time: 0.00
804.52/201.74	c  N st    74   1210535       483      2108         0     72088      6436   1070381   no data   no data
879.50/220.59	c  N st    75   1283418       483      2108         0     48408      6436    470871   no data   no data
990.80/248.41	c  N st    76   1392741       483      2108         0     56648      6436    649604   no data   no data
1153.16/289.15	c  N st    77   1556725       483      2108         0     61327      6436    709025   no data   no data
1312.67/329.14	c  N st    78   1710536       483      2108         0    103071      6436   1683747   no data   no data
1312.67/329.14	c  S st    78   1710536       483      2108         0    103071      6436   1683747   no data   no data
1313.87/329.48	c  S st    78   1711040       483      2108         0    103573      6436   1696120   no data   no data
1313.87/329.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1314.27/329.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1314.27/329.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1314.27/329.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1314.27/329.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1314.27/329.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
1314.27/329.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1314.27/329.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1314.67/329.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1356.94/340.23	c lits-rem:       804  cl-subs:     7813  v-elim:      0  v-fix:    0  time: 10.50 s
1356.94/340.23	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
1356.94/340.25	c vivif2 --  cl tried    95760 cl shrink        0 lits rem          0 time: 0.02
1357.34/340.36	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.11
1357.34/340.36	c calculated reachability. Time: 0.00
1357.34/340.36	c  N st    78   1711040       483      2108         0     95760      6436   1520309   no data   no data
1745.87/437.73	c  N st    79   2080005       483      2108         0    107095      6436   1625448   no data   no data
1892.66/474.52	c  N st    80   2211041       483      2108         0    111561      6436   1853796   no data   no data
1892.66/474.52	c  S st    80   2211041       483      2108         0    111561      6436   1853796   no data   no data
1893.86/474.89	c  S st    80   2211543       483      2108         0    112061      6436   1865505   no data   no data
1894.26/474.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1894.26/474.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1894.26/474.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1894.26/474.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1894.26/474.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1894.26/474.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
1894.26/474.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1894.26/474.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1894.66/475.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1934.14/484.92	c lits-rem:       968  cl-subs:     6536  v-elim:      0  v-fix:    0  time:  9.77 s
1934.14/484.92	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
1934.14/484.94	c vivif2 --  cl tried   105525 cl shrink        0 lits rem          0 time: 0.03
1934.54/485.06	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.12
1934.54/485.06	c calculated reachability. Time: 0.00
1934.54/485.06	c  N st    80   2211543       483      2108         0    105525      6436   1712657   no data   no data
2551.23/639.63	c  N st    81   2711543       483      2108         0    129147      6436   2136903   no data   no data
2551.23/639.63	c  S st    81   2711543       483      2108         0    129147      6436   2136903   no data   no data
2552.83/640.07	c  S st    81   2712046       483      2108         0    129650      6436   2148795   no data   no data
2552.83/640.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2553.23/640.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2553.23/640.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2553.23/640.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2553.23/640.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2553.23/640.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
2553.23/640.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2553.23/640.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2553.64/640.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2626.62/658.56	c lits-rem:      1378  cl-subs:    11297  v-elim:      0  v-fix:    0  time: 18.10 s
2626.62/658.56	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
2626.62/658.58	c vivif2 --  cl tried   118353 cl shrink        0 lits rem          0 time: 0.03
2627.42/658.71	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.13
2627.42/658.72	c calculated reachability. Time: 0.00
2627.42/658.72	c  N st    81   2712046       483      2108         0    118353      6436   1892012   no data   no data
3286.81/824.04	c  N st    82   3212047       483      2108         0     94141      6436   1141303   no data   no data
3286.81/824.04	c  S st    82   3212047       483      2108         0     94141      6436   1141303   no data   no data
3288.35/824.41	c  S st    82   3212552       483      2108         0     94646      6436   1153380   no data   no data
3288.35/824.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3288.35/824.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3288.35/824.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3288.35/824.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3288.35/824.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3288.35/824.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
3288.35/824.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3288.75/824.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3288.75/824.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3298.72/827.10	c lits-rem:       178  cl-subs:     3480  v-elim:      0  v-fix:    0  time:  2.53 s
3298.72/827.10	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
3299.12/827.12	c vivif2 --  cl tried    91166 cl shrink        0 lits rem          0 time: 0.02
3299.54/827.25	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.12
3299.54/827.25	c calculated reachability. Time: 0.00
3299.54/827.25	c  N st    82   3212552       483      2108         0     91166      6436   1078895   no data   no data
4064.98/1019.12	c  N st    83   3712554       483      2108         0    101778      6436   1217924   no data   no data
4064.98/1019.12	c  S st    83   3712554       483      2108         0    101778      6436   1217924   no data   no data
4066.58/1019.54	c  S st    83   3713057       483      2108         0    102279      6436   1229968   no data   no data
4066.58/1019.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4066.98/1019.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4066.98/1019.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4066.98/1019.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4066.98/1019.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4066.98/1019.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
4066.98/1019.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4066.98/1019.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4066.98/1019.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4076.94/1022.17	c lits-rem:       202  cl-subs:     3457  v-elim:      0  v-fix:    0  time:  2.45 s
4076.94/1022.17	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
4076.94/1022.19	c vivif2 --  cl tried    98822 cl shrink        0 lits rem          0 time: 0.02
4077.74/1022.30	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.10
4077.74/1022.30	c calculated reachability. Time: 0.00
4077.74/1022.30	c  N st    83   3713057       483      2108         0     98822      6436   1159439   no data   no data
4147.94/1039.93	c  F st    84   3751562       483      2108         0    136314      6436   2057126   no data   no data
4147.94/1039.94	c  N st    84   3751562       483      2108         0    136314      6436   2057126   no data   no data
4159.52/1042.82	c Decided on static restart strategy
4208.57/1055.18	c  N st    94   3779869       483      2108         0    163838      6436   2725225   no data   no data
4255.64/1066.94	c  N st    96   3815863       483      2108         0    116465      6436   1641902   no data   no data
4313.11/1081.38	c  N st    97   3848255       483      2108         0    147926      6436   2432379   no data   no data
4409.64/1105.54	c  N st    98   3896844       483      2108         0    111548      6436   1419614   no data   no data
4533.27/1136.52	c  N st    99   3969726       483      2108         0     97888      6436   1113904   no data   no data
4706.40/1179.99	c  N st   100   4079049       483      2108         0    118201      6436   1510594   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-3366657-1305411165/watcher-3366657-1305411165 -o /tmp/evaluation-result-3366657-1305411165/solver-3366657-1305411165 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366657-1305411165.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: 8.15 8.12 8.09 2/352 13764
/proc/meminfo: memFree=21297732/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=183216 CPUtime=0 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 527 0 0 0 0 0 0 0 25 0 4 0 652714170 187613184 454 33554432000 4194304 4580107 140737465775808 18446744073709551615 218905391813 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13764/statm: 45804 466 333 95 0 40786 0
[pid=13764/tid=13765] ppid=13762 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 203 0 0 0 0 0 0 0 25 0 4 0 652714171 288583680 1021 33554432000 4194304 4580107 140737465775808 18446744073709551615 218905428160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 4 0 652714171 288583680 1032 33554432000 4194304 4580107 140737465775808 18446744073709551615 218905386029 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 4 0 652714171 288583680 1033 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.161363 s]
/proc/loadavg: 8.15 8.12 8.09 2/352 13764
/proc/meminfo: memFree=21297732/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=291160 CPUtime=0.6 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 2052 0 0 0 60 0 0 0 25 0 4 0 652714170 298147840 1662 33554432000 4194304 4580107 140737465775808 18446744073709551615 4485991 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 72790 1662 377 95 0 67772 0
[pid=13764/tid=13765] ppid=13762 vsize=291160 CPUtime=0.14 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 453 0 0 0 14 0 0 0 25 0 4 0 652714171 298147840 1662 33554432000 4194304 4580107 140737465775808 18446744073709551615 218905774215 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=291160 CPUtime=0.15 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 400 0 0 0 15 0 0 0 18 0 4 0 652714171 298147840 1662 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=291160 CPUtime=0.15 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 382 0 0 0 15 0 0 0 25 0 4 0 652714171 298147840 1662 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 291160

[startup+0.200515 s]
/proc/loadavg: 8.15 8.12 8.09 2/352 13764
/proc/meminfo: memFree=21297732/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=283248 CPUtime=0.75 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 2323 0 0 0 75 0 0 0 25 0 4 0 652714170 290045952 1648 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 70812 1648 377 95 0 65794 0
[pid=13764/tid=13765] ppid=13762 vsize=283248 CPUtime=0.18 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 487 0 0 0 18 0 0 0 25 0 4 0 652714171 290045952 1648 33554432000 4194304 4580107 140737465775808 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=283248 CPUtime=0.19 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 505 0 0 0 19 0 0 0 18 0 4 0 652714171 290045952 1648 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=283248 CPUtime=0.19 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 413 0 0 0 19 0 0 0 25 0 4 0 652714171 290045952 1648 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 283248

[startup+0.300476 s]
/proc/loadavg: 8.15 8.12 8.09 2/352 13764
/proc/meminfo: memFree=21297732/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=283380 CPUtime=1.16 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 2752 0 0 0 115 1 0 0 25 0 4 0 652714170 290181120 2077 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 70845 2077 377 95 0 65827 0
[pid=13764/tid=13765] ppid=13762 vsize=283380 CPUtime=0.28 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 596 0 0 0 28 0 0 0 25 0 4 0 652714171 290181120 2077 33554432000 4194304 4580107 140737465775808 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=283380 CPUtime=0.29 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 607 0 0 0 29 0 0 0 18 0 4 0 652714171 290181120 2077 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=283380 CPUtime=0.29 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 526 0 0 0 29 0 0 0 25 0 4 0 652714171 290181120 2077 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283380

[startup+0.700349 s]
/proc/loadavg: 8.15 8.12 8.09 2/352 13764
/proc/meminfo: memFree=21297732/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=284416 CPUtime=2.76 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 4314 0 0 0 275 1 0 0 25 0 4 0 652714170 291241984 2763 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 71104 2763 377 95 0 66086 0
[pid=13764/tid=13765] ppid=13762 vsize=284416 CPUtime=0.68 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 994 0 0 0 68 0 0 0 25 0 4 0 652714171 291241984 2763 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=284416 CPUtime=0.69 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 990 0 0 0 69 0 0 0 18 0 4 0 652714171 291241984 2763 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=284416 CPUtime=0.68 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 921 0 0 0 68 0 0 0 25 0 4 0 652714171 291241984 2763 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284416

[startup+1.50021 s]
/proc/loadavg: 8.29 8.16 8.10 9/361 13798
/proc/meminfo: memFree=21278152/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=285600 CPUtime=5.95 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 8602 0 0 0 593 2 0 0 25 0 4 0 652714170 292454400 4432 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 71400 4432 379 95 0 66382 0
[pid=13764/tid=13765] ppid=13762 vsize=285600 CPUtime=1.48 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 1766 0 0 0 148 0 0 0 25 0 4 0 652714171 292454400 4432 33554432000 4194304 4580107 140737465775808 18446744073709551615 4321038 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=285600 CPUtime=1.49 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 1772 0 0 0 149 0 0 0 19 0 4 0 652714171 292454400 4432 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=285600 CPUtime=1.48 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 1689 0 0 0 148 0 0 0 25 0 4 0 652714171 292454400 4432 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285600

[startup+3.10091 s]
/proc/loadavg: 8.29 8.16 8.10 9/361 13798
/proc/meminfo: memFree=21237504/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=292868 CPUtime=12.33 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 17914 0 0 0 1229 4 0 0 25 0 4 0 652714170 299896832 9180 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 73217 9180 379 95 0 68199 0
[pid=13764/tid=13765] ppid=13762 vsize=292868 CPUtime=3.08 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 4137 0 0 0 308 0 0 0 25 0 4 0 652714171 299896832 9180 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=292868 CPUtime=3.09 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 4888 0 0 0 308 1 0 0 25 0 4 0 652714171 299896832 9180 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=292868 CPUtime=3.08 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 4385 0 0 0 307 1 0 0 25 0 4 0 652714171 299896832 9180 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295327 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 292868

[startup+6.30033 s]
/proc/loadavg: 8.27 8.15 8.10 9/361 13798
/proc/meminfo: memFree=21200676/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=293884 CPUtime=25.1 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 28927 0 0 0 2503 7 0 0 25 0 4 0 652714170 300937216 12142 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 73471 12142 379 95 0 68453 0
[pid=13764/tid=13765] ppid=13762 vsize=293884 CPUtime=6.28 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 7603 0 0 0 627 1 0 0 25 0 4 0 652714171 300937216 12143 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=293884 CPUtime=6.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 8386 0 0 0 627 1 0 0 25 0 4 0 652714171 300937216 12143 33554432000 4194304 4580107 140737465775808 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=293884 CPUtime=6.28 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 6179 0 0 0 627 1 0 0 25 0 4 0 652714171 300937216 12143 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 293884

[startup+12.7012 s]
/proc/loadavg: 8.25 8.15 8.10 9/361 13799
/proc/meminfo: memFree=21150276/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=302240 CPUtime=50.63 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 45510 0 0 0 5053 10 0 0 25 0 4 0 652714170 309493760 18204 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 75560 18204 379 95 0 70542 0
[pid=13764/tid=13765] ppid=13762 vsize=302240 CPUtime=12.69 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 11668 0 0 0 1267 2 0 0 25 0 4 0 652714171 309493760 18204 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=302240 CPUtime=12.68 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 11378 0 0 0 1266 2 0 0 25 0 4 0 652714171 309493760 18204 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=302240 CPUtime=12.68 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 10748 0 0 0 1266 2 0 0 25 0 4 0 652714171 309493760 18204 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 302240

[startup+25.5008 s]
/proc/loadavg: 8.28 8.16 8.10 9/361 13799
/proc/meminfo: memFree=21086292/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=293692 CPUtime=101.68 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 68748 0 0 0 10153 15 0 0 25 0 4 0 652714170 300740608 23670 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 73423 23670 379 95 0 68405 0
[pid=13764/tid=13765] ppid=13762 vsize=293692 CPUtime=25.48 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 17859 0 0 0 2545 3 0 0 25 0 4 0 652714171 300740608 23670 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=293692 CPUtime=25.48 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 17435 0 0 0 2545 3 0 0 25 0 4 0 652714171 300740608 23670 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=293692 CPUtime=25.48 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 15647 0 0 0 2545 3 0 0 25 0 4 0 652714171 300740608 23670 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 293692

[startup+51.1012 s]
/proc/loadavg: 8.24 8.16 8.10 9/361 13800
/proc/meminfo: memFree=21040204/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=297800 CPUtime=203.8 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 104728 0 0 0 20355 25 0 0 25 0 4 0 652714170 304947200 31212 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 74450 31212 379 95 0 69432 0
[pid=13764/tid=13765] ppid=13762 vsize=297800 CPUtime=51.08 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 28267 0 0 0 5103 5 0 0 25 0 4 0 652714171 304947200 31212 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=297800 CPUtime=51.08 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 26666 0 0 0 5102 6 0 0 25 0 4 0 652714171 304947200 31212 33554432000 4194304 4580107 140737465775808 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=297800 CPUtime=51.08 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 23559 0 0 0 5103 5 0 0 25 0 4 0 652714171 304947200 31212 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 297800

[startup+102.301 s]
/proc/loadavg: 8.31 8.18 8.11 9/361 13801
/proc/meminfo: memFree=20980152/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=322256 CPUtime=408.06 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 160222 0 0 0 40765 41 0 0 25 0 4 0 652714170 329990144 37556 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293087 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 80564 37556 379 95 0 75546 0
[pid=13764/tid=13765] ppid=13762 vsize=322256 CPUtime=102.28 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 42507 0 0 0 10219 9 0 0 25 0 4 0 652714171 329990144 37559 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=322256 CPUtime=102.29 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 39779 0 0 0 10219 10 0 0 25 0 4 0 652714171 329990144 37559 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=322256 CPUtime=102.29 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 38517 0 0 0 10219 10 0 0 25 0 4 0 652714171 329990144 37559 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 322256

[startup+162.301 s]

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

[pid=13764] ppid=13762 vsize=560936 CPUtime=2801.31 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 492419 0 0 0 279968 163 0 0 25 0 4 0 652714170 574398464 89089 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 140234 89089 379 95 0 135216 0
[pid=13764/tid=13765] ppid=13762 vsize=560936 CPUtime=702.18 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 122118 0 0 0 70176 42 0 0 25 0 4 0 652714171 574398464 89089 33554432000 4194304 4580107 140737465775808 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=560936 CPUtime=702.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 123106 0 0 0 70186 42 0 0 25 0 4 0 652714171 574398464 89089 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=560936 CPUtime=702.29 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 122670 0 0 0 70188 41 0 0 25 0 4 0 652714171 574398464 89089 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 560936

[startup+762.301 s]
/proc/loadavg: 8.13 8.14 8.09 9/361 13819
/proc/meminfo: memFree=20470500/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=536440 CPUtime=3040.68 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 519900 0 0 0 303894 174 0 0 25 0 4 0 652714170 549314560 87728 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 134110 87728 379 95 0 129092 0
[pid=13764/tid=13765] ppid=13762 vsize=536440 CPUtime=762.17 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 128264 0 0 0 76173 44 0 0 25 0 4 0 652714171 549314560 87729 33554432000 4194304 4580107 140737465775808 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=536440 CPUtime=762.29 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 130101 0 0 0 76184 45 0 0 25 0 4 0 652714171 549314560 87729 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=536440 CPUtime=762.32 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 129018 0 0 0 76188 44 0 0 25 0 4 0 652714171 549314560 87729 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.68
Current children cumulated vsize (KiB) 536440

[startup+822.3 s]
/proc/loadavg: 8.15 8.14 8.09 9/361 13820
/proc/meminfo: memFree=20433892/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=584064 CPUtime=3279.98 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 550453 0 0 0 327814 184 0 0 25 0 4 0 652714170 598081536 97818 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 146016 97818 379 95 0 140998 0
[pid=13764/tid=13765] ppid=13762 vsize=584064 CPUtime=822.16 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 138341 0 0 0 82169 47 0 0 25 0 4 0 652714171 598081536 97818 33554432000 4194304 4580107 140737465775808 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=584064 CPUtime=822.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 135927 0 0 0 82180 48 0 0 25 0 4 0 652714171 598081536 97818 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=584064 CPUtime=822.3 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 137672 0 0 0 82184 46 0 0 25 0 4 0 652714171 598081536 97818 33554432000 4194304 4580107 140737465775808 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.98
Current children cumulated vsize (KiB) 584064

[startup+882.313 s]
/proc/loadavg: 8.05 8.11 8.09 9/361 13822
/proc/meminfo: memFree=20407928/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=571800 CPUtime=3519.35 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 572071 0 0 0 351740 195 0 0 25 0 4 0 652714170 585523200 99996 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 142950 99996 379 95 0 137932 0
[pid=13764/tid=13765] ppid=13762 vsize=571800 CPUtime=882.16 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 143212 0 0 0 88167 49 0 0 25 0 4 0 652714171 585523200 99996 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=571800 CPUtime=882.29 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 141723 0 0 0 88178 51 0 0 25 0 4 0 652714171 585523200 99996 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=571800 CPUtime=882.31 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 143940 0 0 0 88182 49 0 0 25 0 4 0 652714171 585523200 99996 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.35
Current children cumulated vsize (KiB) 571800

[startup+942.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/361 13823
/proc/meminfo: memFree=20402300/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=637624 CPUtime=3758.63 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 596464 0 0 0 375659 204 0 0 25 0 4 0 652714170 652926976 107659 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 159406 107659 379 95 0 154388 0
[pid=13764/tid=13765] ppid=13762 vsize=637624 CPUtime=942.13 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 148415 0 0 0 94162 51 0 0 25 0 4 0 652714171 652926976 107659 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=637624 CPUtime=942.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 148127 0 0 0 94175 53 0 0 25 0 4 0 652714171 652926976 107660 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=637624 CPUtime=942.3 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 150502 0 0 0 94178 52 0 0 25 0 4 0 652714171 652926976 107660 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.63
Current children cumulated vsize (KiB) 637624

[startup+1002.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/361 13825
/proc/meminfo: memFree=20397912/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=546640 CPUtime=3997.98 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 617769 0 0 0 399585 213 0 0 25 0 4 0 652714170 559759360 107159 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 136660 107159 379 95 0 131642 0
[pid=13764/tid=13765] ppid=13762 vsize=546640 CPUtime=1002.12 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 151428 0 0 0 100160 52 0 0 25 0 4 0 652714171 559759360 107159 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=546640 CPUtime=1002.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 154005 0 0 0 100173 55 0 0 25 0 4 0 652714171 559759360 107159 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=546640 CPUtime=1002.3 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 156699 0 0 0 100175 55 0 0 25 0 4 0 652714171 559759360 107159 33554432000 4194304 4580107 140737465775808 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.98
Current children cumulated vsize (KiB) 546640

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.08 9/361 13827
/proc/meminfo: memFree=20366740/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=581588 CPUtime=4237.3 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 640852 0 0 0 423509 221 0 0 25 0 4 0 652714170 595546112 106698 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 145397 106698 379 95 0 140379 0
[pid=13764/tid=13765] ppid=13762 vsize=581588 CPUtime=1062.12 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 159713 0 0 0 106157 55 0 0 25 0 4 0 652714171 595546112 106698 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=581588 CPUtime=1062.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 157681 0 0 0 106171 57 0 0 25 0 4 0 652714171 595546112 106698 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=581588 CPUtime=1062.31 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 162601 0 0 0 106174 57 0 0 25 0 4 0 652714171 595546112 106698 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 581588

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/361 13828
/proc/meminfo: memFree=20413832/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=604168 CPUtime=4476.63 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 659358 0 0 0 447432 231 0 0 25 0 4 0 652714170 618668032 107075 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 151042 107075 379 95 0 146024 0
[pid=13764/tid=13765] ppid=13762 vsize=604168 CPUtime=1122.11 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 163776 0 0 0 112153 58 0 0 25 0 4 0 652714171 618668032 107075 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=604168 CPUtime=1122.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 164561 0 0 0 112168 60 0 0 25 0 4 0 652714171 618668032 107075 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=604168 CPUtime=1122.31 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 165712 0 0 0 112172 59 0 0 25 0 4 0 652714171 618668032 107075 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.63
Current children cumulated vsize (KiB) 604168

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 8.09 9/361 13830
/proc/meminfo: memFree=20383680/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=630628 CPUtime=4715.97 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 683820 0 0 0 471356 241 0 0 25 0 4 0 652714170 645763072 104126 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 157657 104126 379 95 0 152639 0
[pid=13764/tid=13765] ppid=13762 vsize=630628 CPUtime=1182.1 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 169853 0 0 0 118150 60 0 0 25 0 4 0 652714171 645763072 104126 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=630628 CPUtime=1182.28 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 170515 0 0 0 118166 62 0 0 25 0 4 0 652714171 645763072 104126 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=630628 CPUtime=1182.31 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 172283 0 0 0 118169 62 0 0 25 0 4 0 652714171 645763072 104126 33554432000 4194304 4580107 140737465775808 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.97
Current children cumulated vsize (KiB) 630628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.17 8.12 8.09 10/361 13830
/proc/meminfo: memFree=20348208/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=578556 CPUtime=4800.17 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 690652 0 0 0 479771 246 0 0 25 0 4 0 652714170 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 144639 107351 379 95 0 139621 0
[pid=13764/tid=13765] ppid=13762 vsize=578556 CPUtime=1203.21 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 171072 0 0 0 120261 60 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=578556 CPUtime=1203.41 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 173434 0 0 0 120276 65 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=578556 CPUtime=1203.44 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 173834 0 0 0 120281 63 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 578556

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

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

[startup+1203.4 s]
/proc/loadavg: 8.17 8.12 8.09 10/361 13830
/proc/meminfo: memFree=20348208/32951124 swapFree=65581052/67111528
[pid=13764] ppid=13762 vsize=578556 CPUtime=4800.17 cores=0,2,4,6
/proc/13764/stat : 13764 (strangenight2-m) R 13762 13764 13351 0 -1 4202496 690652 0 0 0 479771 246 0 0 25 0 4 0 652714170 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13764/statm: 144639 107351 379 95 0 139621 0
[pid=13764/tid=13765] ppid=13762 vsize=578556 CPUtime=1203.21 cores=0,2,4,6
/proc/13764/task/13765/stat : 13765 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 171072 0 0 0 120261 60 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13764/tid=13766] ppid=13762 vsize=578556 CPUtime=1203.41 cores=0,2,4,6
/proc/13764/task/13766/stat : 13766 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 173434 0 0 0 120276 65 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13764/tid=13767] ppid=13762 vsize=578556 CPUtime=1203.44 cores=0,2,4,6
/proc/13764/task/13767/stat : 13767 (strangenight2-m) R 13762 13764 13351 0 -1 4202560 173834 0 0 0 120281 63 0 0 25 0 4 0 652714171 592441344 107351 33554432000 4194304 4580107 140737465775808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 578556

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.24
CPU user time (s): 4797.76
CPU system time (s): 2.48162
CPU usage (%): 398.873
Max. virtual memory (cumulated for all children) (KiB): 701656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.48162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690655
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= 268
involuntary context switches= 20771

runsolver used 3.78043 second user time and 9.57654 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-15 00:12:45
IDJOB=3366657
IDBENCH=83066
IDSOLVER=1844
FILE ID=node137/3366657-1305411165
RUNJOBID= node137-1305409959-13665
PBS_JOBID= 13324510
Free space on /tmp= 73672 MiB

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

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

MD5SUM BENCH= 52f4c2549736f42ae4f40e4dd45d91d0
RANDOM SEED=1321566365

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21298012 kB
Buffers:        282592 kB
Cached:        3704800 kB
SwapCached:      36328 kB
Active:        1624060 kB
Inactive:      9805576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21298012 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:     7415532 kB
Mapped:          19324 kB
Slab:           119980 kB
PageTables:      38328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75926724 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= 73664 MiB
End job on node137 at 2011-05-15 00:32:50