Trace number 3174248

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3174248-1304115997.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	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
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     231 undec:      57 neg:     212
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       485      2116         0         0      6460         0   no data   no data
0.06/0.09	c Decided on static restart strategy
0.51/0.15	c  N st     8      4917       485      2116         0      4836      6460    115924   no data   no data
1.57/0.41	c  N st    10     11302       485      2116         0      4479      6460     77528   no data   no data
2.36/0.67	c  N st    11     17045       485      2116         0     10117      6460    218019   no data   no data
3.98/1.10	c  F st    12     25002       485      2116         0     12375      6460    266925   no data   no data
3.98/1.10	c  N st    12     25002       485      2116         0     12375      6460    266925   no data   no data
5.16/1.36	c Decided on static restart strategy
5.16/1.36	c  N st    18     30000       485      2116         0     10626      6460    193669   no data   no data
5.16/1.36	c  S st    18     30000       485      2116         0     10626      6460    193669   no data   no data
5.16/1.39	c  S st    18     30507       485      2116         0     11133      6460    204800   no data   no data
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.39	c blocked clauses removed:        8 vars:      2 tried:         485 T: 0.00 s
5.16/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
5.16/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c lits-rem:       154  cl-subs:      659  v-elim:      0  v-fix:    0  time:  0.06 s
5.56/1.47	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
5.56/1.47	c calculated reachability. Time: 0.00
5.56/1.47	c  N st    18     30507       483      2108         0     10434      6436    187955   no data   no data
7.16/1.88	c  N st    20     37617       483      2108         0      9727      6436    157059   no data   no data
9.16/2.30	c  N st    21     44016       483      2108         0     15933      6436    290579   no data   no data
9.56/2.44	c  S st    22     45760       483      2108         0      8939      6436    122789   no data   no data
9.56/2.47	c  S st    22     46262       483      2108         0      9440      6436    134615   no data   no data
9.56/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
9.56/2.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:        15  cl-subs:      102  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.49	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried     9338 cl shrink        0 lits rem          0 time: 0.00
9.56/2.50	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.00
9.95/2.50	c calculated reachability. Time: 0.00
9.95/2.50	c  N st    22     46262       483      2108         0      9338      6436    132557   no data   no data
13.55/3.44	c  N st    23     60660       483      2108         0     13692      6436    222062   no data   no data
16.35/4.10	c  N st    24     69394       483      2108         0     11515      6436    162703   no data   no data
16.35/4.10	c  S st    24     69394       483      2108         0     11515      6436    162703   no data   no data
16.35/4.13	c  S st    24     69900       483      2108         0     12021      6436    174409   no data   no data
16.35/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
16.35/4.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.35/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.16	c lits-rem:        22  cl-subs:      140  v-elim:      0  v-fix:    0  time:  0.02 s
16.35/4.16	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
16.35/4.16	c vivif2 --  cl tried    11881 cl shrink        0 lits rem          0 time: 0.00
16.35/4.17	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
16.35/4.17	c calculated reachability. Time: 0.00
16.35/4.17	c  N st    24     69900       483      2108         0     11881      6436    171267   no data   no data
21.56/5.44	c  F st    25     87501       483      2108         0     17326      6436    298594   no data   no data
21.56/5.44	c  N st    25     87501       483      2108         0     17326      6436    298594   no data   no data
23.13/5.89	c Decided on static restart strategy
24.33/6.15	c  N st    32     95544       483      2108         0     25173      6436    476555   no data   no data
26.72/6.78	c  N st    34    104850       483      2108         0     21577      6436    369453   no data   no data
26.72/6.78	c  S st    34    104850       483      2108         0     21577      6436    369453   no data   no data
27.12/6.84	c  S st    34    105354       483      2108         0     22081      6436    380862   no data   no data
27.12/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.12/6.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.12/6.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
27.12/6.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.12/6.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.12/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.00	c lits-rem:       142  cl-subs:      881  v-elim:      0  v-fix:    0  time:  0.14 s
27.93/7.00	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
27.93/7.01	c vivif2 --  cl tried    21200 cl shrink        0 lits rem          0 time: 0.00
27.93/7.02	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.01
27.93/7.02	c calculated reachability. Time: 0.00
27.93/7.02	c  N st    34    105354       483      2108         0     21200      6436    360064   no data   no data
31.12/7.82	c  N st    35    114953       483      2108         0     16915      6436    242678   no data   no data
36.31/9.18	c  N st    36    129351       483      2108         0     16377      6436    215144   no data   no data
44.31/11.16	c  N st    37    150948       483      2108         0     21831      6436    323008   no data   no data
47.11/11.80	c  S st    38    158032       483      2108         0     28731      6436    486383   no data   no data
47.11/11.88	c  S st    38    158536       483      2108         0     29235      6436    498310   no data   no data
47.11/11.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.11/11.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.11/11.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
47.11/11.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.11/11.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.10/12.31	c lits-rem:       237  cl-subs:     1831  v-elim:      0  v-fix:    0  time:  0.40 s
49.10/12.31	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
49.10/12.32	c vivif2 --  cl tried    27404 cl shrink        0 lits rem          0 time: 0.01
49.10/12.34	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
49.10/12.34	c calculated reachability. Time: 0.00
49.10/12.34	c  N st    38    158536       483      2108         0     27404      6436    457318   no data   no data
68.68/17.21	c  N st    39    207124       483      2108         0     22211      6436    310791   no data   no data
81.85/20.53	c  N st    40    237804       483      2108         0     32643      6436    532955   no data   no data
81.85/20.53	c  S st    40    237804       483      2108         0     32643      6436    532955   no data   no data
82.25/20.61	c  S st    40    238307       483      2108         0     33142      6436    544842   no data   no data
82.25/20.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.25/20.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.25/20.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.25/20.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.25/20.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.25/20.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
82.25/20.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.25/20.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.25/20.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.24/21.12	c lits-rem:       166  cl-subs:     1699  v-elim:      0  v-fix:    0  time:  0.47 s
84.24/21.12	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
84.24/21.13	c vivif2 --  cl tried    31443 cl shrink        0 lits rem          0 time: 0.01
84.24/21.15	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
84.24/21.15	c calculated reachability. Time: 0.00
84.24/21.15	c  N st    40    238307       483      2108         0     31443      6436    507523   no data   no data
115.81/29.06	c  F st    41    306251       483      2108         0     33167      6436    498034   no data   no data
115.81/29.06	c  N st    41    306251       483      2108         0     33167      6436    498034   no data   no data
118.22/29.63	c Decided on static restart strategy
129.79/32.52	c  N st    51    334556       483      2108         0     37520      6436    575756   no data   no data
140.97/35.38	c  N st    53    357462       483      2108         0     35526      6436    522517   no data   no data
140.97/35.38	c  S st    53    357462       483      2108         0     35526      6436    522517   no data   no data
141.37/35.46	c  S st    53    357967       483      2108         0     36031      6436    534376   no data   no data
141.37/35.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.37/35.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.37/35.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.37/35.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.37/35.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.37/35.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
141.37/35.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.37/35.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.77/35.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.97/35.85	c lits-rem:       186  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  0.35 s
142.97/35.85	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
142.97/35.86	c vivif2 --  cl tried    34522 cl shrink        0 lits rem          0 time: 0.01
142.97/35.88	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.02
142.97/35.88	c calculated reachability. Time: 0.00
142.97/35.88	c  N st    53    357967       483      2108         0     34522      6436    500813   no data   no data
158.94/39.82	c  N st    54    390360       483      2108         0     40505      6436    600371   no data   no data
188.11/47.12	c  N st    55    438948       483      2108         0     34298      6436    441600   no data   no data
225.25/56.41	c  N st    56    511830       483      2108         0     47810      6436    757193   no data   no data
239.63/60.07	c  N st    57    536950       483      2108         0     42066      6436    593213   no data   no data
239.63/60.07	c  S st    57    536950       483      2108         0     42066      6436    593213   no data   no data
240.03/60.17	c  S st    57    537453       483      2108         0     42568      6436    605287   no data   no data
240.03/60.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.03/60.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.03/60.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.03/60.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.03/60.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.03/60.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
240.03/60.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.43/60.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.43/60.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.43/60.79	c lits-rem:       320  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  0.57 s
242.43/60.79	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
242.83/60.80	c vivif2 --  cl tried    40650 cl shrink        0 lits rem          0 time: 0.01
242.83/60.83	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.03
242.83/60.83	c calculated reachability. Time: 0.00
242.83/60.83	c  N st    57    537453       483      2108         0     40650      6436    562511   no data   no data
351.88/88.14	c  N st    58    701438       483      2108         0     69697      6436   1192651   no data   no data
430.19/107.74	c  N st    59    806180       483      2108         0     63602      6436    995398   no data   no data
430.19/107.74	c  S st    59    806180       483      2108         0     63602      6436    995398   no data   no data
430.97/107.92	c  S st    59    806684       483      2108         0     64106      6436   1007058   no data   no data
430.97/107.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
430.97/107.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
430.97/107.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
430.97/107.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
430.97/107.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
430.97/107.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
430.97/107.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
430.97/107.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.37/108.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.35/110.56	c lits-rem:       478  cl-subs:     5023  v-elim:      0  v-fix:    0  time:  2.56 s
441.35/110.56	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
441.35/110.58	c vivif2 --  cl tried    59083 cl shrink        0 lits rem          0 time: 0.01
441.75/110.63	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.05
441.75/110.63	c calculated reachability. Time: 0.00
441.75/110.63	c  N st    59    806684       483      2108         0     59083      6436    897099   no data   no data
652.26/163.31	c  F st    60   1071875       483      2108         0     75366      6436   1210014   no data   no data
652.26/163.32	c  N st    60   1071875       483      2108         0     75366      6436   1210014   no data   no data
658.26/164.86	c Decided on static restart strategy
677.42/169.63	c  N st    70   1100179       483      2108         0     59068      6436    783368   no data   no data
709.78/177.73	c  N st    72   1136176       483      2108         0     49332      6436    544170   no data   no data
738.17/184.88	c  N st    73   1168568       483      2108         0     81084      6436   1341134   no data   no data
775.69/194.22	c  N st    74   1210028       483      2108         0     75596      6436   1142632   no data   no data
775.69/194.22	c  S st    74   1210028       483      2108         0     75596      6436   1142632   no data   no data
776.89/194.52	c  S st    74   1210535       483      2108         0     76101      6436   1154376   no data   no data
776.89/194.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
776.89/194.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
776.89/194.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
776.89/194.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
776.89/194.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
776.89/194.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
776.89/194.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
776.89/194.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
777.32/194.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.47/198.46	c lits-rem:       207  cl-subs:     4013  v-elim:      0  v-fix:    0  time:  3.82 s
792.47/198.46	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
792.47/198.48	c vivif2 --  cl tried    72088 cl shrink        0 lits rem          0 time: 0.02
792.86/198.57	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.09
792.86/198.57	c calculated reachability. Time: 0.00
792.86/198.57	c  N st    74   1210535       483      2108         0     72088      6436   1070381   no data   no data
869.16/217.68	c  N st    75   1283418       483      2108         0     48408      6436    470871   no data   no data
978.62/245.10	c  N st    76   1392741       483      2108         0     56648      6436    649604   no data   no data
1139.59/285.38	c  N st    77   1556725       483      2108         0     61327      6436    709025   no data   no data
1297.37/324.89	c  N st    78   1710536       483      2108         0    103071      6436   1683747   no data   no data
1297.37/324.89	c  S st    78   1710536       483      2108         0    103071      6436   1683747   no data   no data
1298.97/325.22	c  S st    78   1711040       483      2108         0    103573      6436   1696120   no data   no data
1298.97/325.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1298.97/325.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1298.97/325.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1298.97/325.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1298.97/325.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1298.97/325.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
1298.97/325.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1299.37/325.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1299.37/325.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1340.52/335.61	c lits-rem:       804  cl-subs:     7813  v-elim:      0  v-fix:    0  time: 10.24 s
1340.52/335.61	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
1340.52/335.63	c vivif2 --  cl tried    95760 cl shrink        0 lits rem          0 time: 0.02
1340.92/335.74	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.11
1340.92/335.74	c calculated reachability. Time: 0.00
1340.92/335.74	c  N st    78   1711040       483      2108         0     95760      6436   1520309   no data   no data
1725.18/431.90	c  N st    79   2080005       483      2108         0    107095      6436   1625448   no data   no data
1870.19/468.22	c  N st    80   2211041       483      2108         0    111561      6436   1853796   no data   no data
1870.19/468.22	c  S st    80   2211041       483      2108         0    111561      6436   1853796   no data   no data
1871.40/468.60	c  S st    80   2211543       483      2108         0    112061      6436   1865505   no data   no data
1871.80/468.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1871.80/468.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1871.80/468.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1871.80/468.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1871.80/468.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1871.80/468.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
1871.80/468.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1871.80/468.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1872.17/468.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1910.13/478.25	c lits-rem:       968  cl-subs:     6536  v-elim:      0  v-fix:    0  time:  9.50 s
1910.13/478.25	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
1910.13/478.27	c vivif2 --  cl tried   105525 cl shrink        0 lits rem          0 time: 0.03
1910.53/478.39	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.11
1910.53/478.39	c calculated reachability. Time: 0.00
1910.53/478.39	c  N st    80   2211543       483      2108         0    105525      6436   1712657   no data   no data
2520.09/630.92	c  N st    81   2711543       483      2108         0    129147      6436   2136903   no data   no data
2520.09/630.92	c  S st    81   2711543       483      2108         0    129147      6436   2136903   no data   no data
2521.70/631.35	c  S st    81   2712046       483      2108         0    129650      6436   2148795   no data   no data
2521.70/631.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2522.11/631.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2522.11/631.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2522.11/631.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2522.11/631.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2522.11/631.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
2522.11/631.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2522.11/631.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2522.48/631.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2593.98/649.43	c lits-rem:      1378  cl-subs:    11297  v-elim:      0  v-fix:    0  time: 17.91 s
2593.98/649.44	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
2593.98/649.46	c vivif2 --  cl tried   118353 cl shrink        0 lits rem          0 time: 0.03
2594.78/649.60	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.13
2594.78/649.60	c calculated reachability. Time: 0.00
2594.78/649.60	c  N st    81   2712046       483      2108         0    118353      6436   1892012   no data   no data
3225.92/807.69	c  N st    82   3212047       483      2108         0     94141      6436   1141303   no data   no data
3225.92/807.69	c  S st    82   3212047       483      2108         0     94141      6436   1141303   no data   no data
3227.52/808.06	c  S st    82   3212552       483      2108         0     94646      6436   1153380   no data   no data
3227.52/808.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3227.92/808.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3227.92/808.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3227.92/808.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3227.92/808.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3227.92/808.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
3227.92/808.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3227.92/808.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3227.92/808.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3237.92/810.66	c lits-rem:       178  cl-subs:     3480  v-elim:      0  v-fix:    0  time:  2.46 s
3237.92/810.66	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
3237.92/810.68	c vivif2 --  cl tried    91166 cl shrink        0 lits rem          0 time: 0.02
3238.70/810.80	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.12
3238.70/810.80	c calculated reachability. Time: 0.00
3238.70/810.80	c  N st    82   3212552       483      2108         0     91166      6436   1078895   no data   no data
4003.25/1002.25	c  N st    83   3712554       483      2108         0    101778      6436   1217924   no data   no data
4003.25/1002.25	c  S st    83   3712554       483      2108         0    101778      6436   1217924   no data   no data
4004.45/1002.59	c  S st    83   3713057       483      2108         0    102279      6436   1229968   no data   no data
4004.85/1002.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4004.85/1002.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4004.85/1002.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4004.85/1002.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4004.85/1002.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4004.85/1002.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    483 time:  0.00 s
4004.85/1002.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4004.85/1002.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4005.25/1002.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4012.44/1004.51	c lits-rem:       202  cl-subs:     3457  v-elim:      0  v-fix:    0  time:  1.80 s
4012.44/1004.51	c vivif2 --  cl tried     2108 cl shrink        0 lits rem          0 time: 0.00
4012.44/1004.53	c vivif2 --  cl tried    98822 cl shrink        0 lits rem          0 time: 0.02
4012.84/1004.63	c asymm  cl-useful: 0/2108/2108 lits-rem:0 time: 0.10
4012.84/1004.63	c calculated reachability. Time: 0.00
4012.84/1004.63	c  N st    83   3713057       483      2108         0     98822      6436   1159439   no data   no data
4087.13/1023.23	c  F st    84   3751562       483      2108         0    136314      6436   2057126   no data   no data
4087.13/1023.23	c  N st    84   3751562       483      2108         0    136314      6436   2057126   no data   no data
4097.92/1025.91	c Decided on static restart strategy
4147.47/1038.36	c  N st    94   3779869       483      2108         0    163838      6436   2725225   no data   no data
4200.20/1051.56	c  N st    96   3815863       483      2108         0    116465      6436   1641902   no data   no data
4256.91/1065.73	c  N st    97   3848255       483      2108         0    147926      6436   2432379   no data   no data
4350.77/1089.28	c  N st    98   3896844       483      2108         0    111548      6436   1419614   no data   no data
4474.60/1120.21	c  N st    99   3969726       483      2108         0     97888      6436   1113904   no data   no data
4645.57/1163.05	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174248-1304115997/watcher-3174248-1304115997 -o /tmp/evaluation-result-3174248-1304115997/solver-3174248-1304115997 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174248-1304115997.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: 5.91 7.61 7.58 2/172 23131
/proc/meminfo: memFree=31048288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 601830383 52441088 348 33554432000 4194304 4627427 140736589377056 18446744073709551615 47319261165490 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 12803 348 299 106 0 7774 0
[pid=23131/tid=23132] ppid=23129 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601830383 52441088 348 33554432000 4194304 4627427 140736589377056 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601830383 52441088 348 33554432000 4194304 4627427 140736589377056 18446744073709551615 47319261165494 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601830383 52441088 348 33554432000 4194304 4627427 140736589377056 18446744073709551615 47319261165490 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.023864 s]
/proc/loadavg: 5.91 7.61 7.58 2/172 23131
/proc/meminfo: memFree=31048288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=282000 CPUtime=0.06 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 1276 0 0 0 6 0 0 0 18 0 4 0 601830383 288768000 1153 33554432000 4194304 4627427 140736589377056 18446744073709551615 4329872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 70500 1153 384 106 0 65471 0
[pid=23131/tid=23132] ppid=23129 vsize=282000 CPUtime=0.01 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 265 0 0 0 1 0 0 0 25 0 4 0 601830383 288768000 1153 33554432000 4194304 4627427 140736589377056 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=282000 CPUtime=0.01 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 182 0 0 0 1 0 0 0 18 0 4 0 601830383 288768000 1153 33554432000 4194304 4627427 140736589377056 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=282000 CPUtime=0.01 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 147 0 0 0 1 0 0 0 18 0 4 0 601830383 288768000 1153 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282000

[startup+0.134832 s]
/proc/loadavg: 5.91 7.61 7.58 2/172 23131
/proc/meminfo: memFree=31048288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=282144 CPUtime=0.51 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 1830 0 0 0 51 0 0 0 18 0 4 0 601830383 288915456 1707 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308824 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 70536 1707 384 106 0 65507 0
[pid=23131/tid=23132] ppid=23129 vsize=282144 CPUtime=0.12 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 392 0 0 0 12 0 0 0 25 0 4 0 601830383 288915456 1707 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=282144 CPUtime=0.12 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 316 0 0 0 12 0 0 0 18 0 4 0 601830383 288915456 1707 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=282144 CPUtime=0.12 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 291 0 0 0 12 0 0 0 18 0 4 0 601830383 288915456 1707 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 282144

[startup+0.300805 s]
/proc/loadavg: 5.91 7.61 7.58 2/172 23131
/proc/meminfo: memFree=31048288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=283452 CPUtime=1.17 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 2778 0 0 0 117 0 0 0 18 0 4 0 601830383 290254848 2092 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309540 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 70863 2092 385 106 0 65834 0
[pid=23131/tid=23132] ppid=23129 vsize=283452 CPUtime=0.28 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 634 0 0 0 28 0 0 0 25 0 4 0 601830383 290254848 2092 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=283452 CPUtime=0.29 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 551 0 0 0 29 0 0 0 18 0 4 0 601830383 290254848 2092 33554432000 4194304 4627427 140736589377056 18446744073709551615 4333628 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=283452 CPUtime=0.29 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 523 0 0 0 29 0 0 0 18 0 4 0 601830383 290254848 2092 33554432000 4194304 4627427 140736589377056 18446744073709551615 4330061 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283452

[startup+0.700739 s]
/proc/loadavg: 5.91 7.61 7.58 2/172 23131
/proc/meminfo: memFree=31048288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=284300 CPUtime=2.77 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 4352 0 0 0 276 1 0 0 18 0 4 0 601830383 291123200 2790 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 71075 2790 385 106 0 66046 0
[pid=23131/tid=23132] ppid=23129 vsize=284300 CPUtime=0.68 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 1030 0 0 0 68 0 0 0 25 0 4 0 601830383 291123200 2790 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=284300 CPUtime=0.69 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 921 0 0 0 69 0 0 0 18 0 4 0 601830383 291123200 2790 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=284300 CPUtime=0.69 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 935 0 0 0 69 0 0 0 18 0 4 0 601830383 291123200 2790 33554432000 4194304 4627427 140736589377056 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284300

[startup+1.50061 s]
/proc/loadavg: 5.91 7.61 7.58 9/184 23143
/proc/meminfo: memFree=31027120/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=290104 CPUtime=5.96 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 8673 0 0 0 595 1 0 0 20 0 4 0 601830383 297066496 4630 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 72526 4630 389 106 0 67497 0
[pid=23131/tid=23132] ppid=23129 vsize=290104 CPUtime=1.47 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 1810 0 0 0 147 0 0 0 25 0 4 0 601830383 297066496 4630 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=290104 CPUtime=1.49 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 1699 0 0 0 149 0 0 0 20 0 4 0 601830383 297066496 4630 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=290104 CPUtime=1.49 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 1689 0 0 0 149 0 0 0 20 0 4 0 601830383 297066496 4630 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290104

[startup+3.10034 s]
/proc/loadavg: 5.91 7.61 7.58 9/184 23143
/proc/meminfo: memFree=30993888/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=290828 CPUtime=12.36 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 17650 0 0 0 1233 3 0 0 25 0 4 0 601830383 297807872 9260 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 72707 9260 390 106 0 67678 0
[pid=23131/tid=23132] ppid=23129 vsize=290828 CPUtime=3.07 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 4134 0 0 0 307 0 0 0 25 0 4 0 601830383 297807872 9260 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=290828 CPUtime=3.08 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 4644 0 0 0 308 0 0 0 25 0 4 0 601830383 297807872 9260 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=290828 CPUtime=3.08 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 4380 0 0 0 308 0 0 0 25 0 4 0 601830383 297807872 9260 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 290828

[startup+6.30081 s]
/proc/loadavg: 6.08 7.62 7.58 9/184 23143
/proc/meminfo: memFree=30948288/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=292504 CPUtime=25.13 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 28319 0 0 0 2509 4 0 0 25 0 4 0 601830383 299524096 12446 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 73126 12446 389 106 0 68097 0
[pid=23131/tid=23132] ppid=23129 vsize=292504 CPUtime=6.25 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 7530 0 0 0 624 1 0 0 25 0 4 0 601830383 299524096 12446 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=292504 CPUtime=6.28 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 7886 0 0 0 628 0 0 0 25 0 4 0 601830383 299524096 12446 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=292504 CPUtime=6.29 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 6239 0 0 0 628 1 0 0 25 0 4 0 601830383 299524096 12446 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 292504

[startup+12.7007 s]
/proc/loadavg: 6.23 7.62 7.58 9/184 23143
/proc/meminfo: memFree=30899376/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=302660 CPUtime=50.7 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 44832 0 0 0 5062 8 0 0 25 0 4 0 601830383 309923840 18783 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 75665 18783 389 106 0 70636 0
[pid=23131/tid=23132] ppid=23129 vsize=302660 CPUtime=12.61 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 11360 0 0 0 1259 2 0 0 25 0 4 0 601830383 309923840 18783 33554432000 4194304 4627427 140736589377056 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=302660 CPUtime=12.69 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 11073 0 0 0 1268 1 0 0 25 0 4 0 601830383 309923840 18783 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=302660 CPUtime=12.69 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 10829 0 0 0 1267 2 0 0 25 0 4 0 601830383 309923840 18783 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 302660

[startup+25.5006 s]
/proc/loadavg: 6.62 7.64 7.59 9/184 23145
/proc/meminfo: memFree=30838244/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=318424 CPUtime=101.83 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 67555 0 0 0 10171 12 0 0 25 0 4 0 601830383 326066176 24572 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 79606 24572 389 106 0 74577 0
[pid=23131/tid=23132] ppid=23129 vsize=318424 CPUtime=25.34 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 17215 0 0 0 2532 2 0 0 25 0 4 0 601830383 326066176 24572 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=318424 CPUtime=25.48 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 16455 0 0 0 2547 1 0 0 25 0 4 0 601830383 326066176 24572 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=318424 CPUtime=25.48 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 15921 0 0 0 2546 2 0 0 25 0 4 0 601830383 326066176 24572 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 318424

[startup+51.1003 s]
/proc/loadavg: 7.16 7.68 7.60 9/184 23145
/proc/meminfo: memFree=30794628/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=309800 CPUtime=204.09 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 104266 0 0 0 20389 20 0 0 25 0 4 0 601830383 317235200 33272 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 77450 33272 389 106 0 72421 0
[pid=23131/tid=23132] ppid=23129 vsize=309800 CPUtime=50.81 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 28181 0 0 0 5076 5 0 0 25 0 4 0 601830383 317235200 33272 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=309800 CPUtime=51.08 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 25577 0 0 0 5105 3 0 0 25 0 4 0 601830383 317235200 33272 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=309800 CPUtime=51.08 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 24260 0 0 0 5104 4 0 0 25 0 4 0 601830383 317235200 33272 33554432000 4194304 4627427 140736589377056 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 309800

[startup+102.307 s]
/proc/loadavg: 7.76 7.76 7.63 9/184 23147
/proc/meminfo: memFree=30729232/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=321708 CPUtime=408.62 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 158469 0 0 0 40827 35 0 0 25 0 4 0 601830383 329428992 37847 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 80427 37847 389 106 0 75398 0
[pid=23131/tid=23132] ppid=23129 vsize=321708 CPUtime=101.72 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 42580 0 0 0 10164 8 0 0 25 0 4 0 601830383 329428992 37847 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=321708 CPUtime=102.29 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 38575 0 0 0 10223 6 0 0 25 0 4 0 601830383 329428992 37847 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=321708 CPUtime=102.29 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 38982 0 0 0 10220 9 0 0 25 0 4 0 601830383 329428992 37847 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 321708

[startup+162.301 s]

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

[pid=23131] ppid=23129 vsize=581988 CPUtime=2805.3 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 509942 0 0 0 280366 164 0 0 25 0 4 0 601830383 595955712 87972 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 145497 87972 389 106 0 140468 0
[pid=23131/tid=23132] ppid=23129 vsize=581988 CPUtime=698.45 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 130079 0 0 0 69803 42 0 0 25 0 4 0 601830383 595955712 87972 33554432000 4194304 4627427 140736589377056 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=581988 CPUtime=702.29 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 118514 0 0 0 70193 36 0 0 25 0 4 0 601830383 595955712 87972 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=581988 CPUtime=702.29 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 129465 0 0 0 70186 43 0 0 25 0 4 0 601830383 595955712 87972 33554432000 4194304 4627427 140736589377056 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 581988

[startup+762.307 s]
/proc/loadavg: 8.49 8.14 7.87 9/184 23166
/proc/meminfo: memFree=30281380/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=570036 CPUtime=3044.99 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 539824 0 0 0 304323 176 0 0 25 0 4 0 601830383 583716864 85228 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 142509 85228 389 106 0 137480 0
[pid=23131/tid=23132] ppid=23129 vsize=570036 CPUtime=758.13 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 136599 0 0 0 75769 44 0 0 25 0 4 0 601830383 583716864 85228 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=570036 CPUtime=762.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 125915 0 0 0 76191 39 0 0 25 0 4 0 601830383 583716864 85228 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=570036 CPUtime=762.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 136943 0 0 0 76184 46 0 0 25 0 4 0 601830383 583716864 85228 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 570036

[startup+822.301 s]
/proc/loadavg: 8.33 8.16 7.89 9/184 23168
/proc/meminfo: memFree=30225396/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=582940 CPUtime=3284.64 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 567143 0 0 0 328279 185 0 0 25 0 4 0 601830383 596930560 96252 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 145735 96252 389 106 0 140706 0
[pid=23131/tid=23132] ppid=23129 vsize=582940 CPUtime=817.8 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 142774 0 0 0 81734 46 0 0 25 0 4 0 601830383 596930560 96252 33554432000 4194304 4627427 140736589377056 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=582940 CPUtime=822.29 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 132241 0 0 0 82187 42 0 0 25 0 4 0 601830383 596930560 96252 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=582940 CPUtime=822.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 145530 0 0 0 82182 48 0 0 25 0 4 0 601830383 596930560 96252 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 582940

[startup+882.301 s]
/proc/loadavg: 8.15 8.14 7.90 9/184 23170
/proc/meminfo: memFree=30203656/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=570712 CPUtime=3524.31 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 589594 0 0 0 352236 195 0 0 25 0 4 0 601830383 584409088 96752 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 142678 96752 389 106 0 137649 0
[pid=23131/tid=23132] ppid=23129 vsize=570712 CPUtime=877.47 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 146669 0 0 0 87699 48 0 0 25 0 4 0 601830383 584409088 96752 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=570712 CPUtime=882.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 138177 0 0 0 88185 45 0 0 25 0 4 0 601830383 584409088 96752 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=570712 CPUtime=882.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 152049 0 0 0 88179 51 0 0 25 0 4 0 601830383 584409088 96752 33554432000 4194304 4627427 140736589377056 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 570712

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 7.91 9/184 23172
/proc/meminfo: memFree=30206336/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=580300 CPUtime=3763.98 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 614972 0 0 0 376192 206 0 0 25 0 4 0 601830383 594227200 98947 33554432000 4194304 4627427 140736589377056 18446744073709551615 4330061 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 145075 98947 389 106 0 140046 0
[pid=23131/tid=23132] ppid=23129 vsize=580300 CPUtime=937.15 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 151807 0 0 0 93664 51 0 0 25 0 4 0 601830383 594227200 98947 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=580300 CPUtime=942.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 145207 0 0 0 94182 48 0 0 25 0 4 0 601830383 594227200 98947 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=580300 CPUtime=942.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 158611 0 0 0 94176 54 0 0 25 0 4 0 601830383 594227200 98947 33554432000 4194304 4627427 140736589377056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 580300

[startup+1002.3 s]
/proc/loadavg: 8.27 8.16 7.93 9/184 23174
/proc/meminfo: memFree=30169960/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=633256 CPUtime=4003.65 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 636677 0 0 0 400148 217 0 0 25 0 4 0 601830383 648454144 107851 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 158314 107851 389 106 0 153285 0
[pid=23131/tid=23132] ppid=23129 vsize=633256 CPUtime=996.82 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 157792 0 0 0 99628 54 0 0 25 0 4 0 601830383 648454144 107851 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=633256 CPUtime=1002.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 148046 0 0 0 100181 49 0 0 25 0 4 0 601830383 648454144 107851 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=633256 CPUtime=1002.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 165148 0 0 0 100173 57 0 0 25 0 4 0 601830383 648454144 107851 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 633256

[startup+1062.3 s]
/proc/loadavg: 8.23 8.16 7.94 9/184 23174
/proc/meminfo: memFree=30165096/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=567816 CPUtime=4243.33 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 652726 0 0 0 424107 226 0 0 25 0 4 0 601830383 581443584 107944 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 141954 107944 389 106 0 136925 0
[pid=23131/tid=23132] ppid=23129 vsize=567816 CPUtime=1056.5 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 162348 0 0 0 105594 56 0 0 25 0 4 0 601830383 581443584 107944 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=567816 CPUtime=1062.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 153628 0 0 0 106177 53 0 0 25 0 4 0 601830383 581443584 107944 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=567816 CPUtime=1062.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 169089 0 0 0 106170 60 0 0 25 0 4 0 601830383 581443584 107944 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 567816

[startup+1122.3 s]
/proc/loadavg: 8.21 8.16 7.95 9/184 23176
/proc/meminfo: memFree=30176348/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=633932 CPUtime=4482.99 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 671140 0 0 0 448066 233 0 0 25 0 4 0 601830383 649146368 110702 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 158483 110702 389 106 0 153454 0
[pid=23131/tid=23132] ppid=23129 vsize=633932 CPUtime=1116.17 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 165272 0 0 0 111560 57 0 0 25 0 4 0 601830383 649146368 110702 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=633932 CPUtime=1122.3 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 160704 0 0 0 112174 56 0 0 25 0 4 0 601830383 649146368 110702 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=633932 CPUtime=1122.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 175673 0 0 0 112167 63 0 0 25 0 4 0 601830383 649146368 110702 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 633932

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 7.96 9/184 23178
/proc/meminfo: memFree=30119132/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=582056 CPUtime=4722.67 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 692449 0 0 0 472025 242 0 0 25 0 4 0 601830383 596025344 113679 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 145514 113679 389 106 0 140485 0
[pid=23131/tid=23132] ppid=23129 vsize=582056 CPUtime=1175.84 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 171383 0 0 0 117525 59 0 0 25 0 4 0 601830383 596025344 113679 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=582056 CPUtime=1182.31 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 164497 0 0 0 118173 58 0 0 25 0 4 0 601830383 596025344 113679 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=582056 CPUtime=1182.3 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 182252 0 0 0 118164 66 0 0 25 0 4 0 601830383 596025344 113679 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 582056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.15 7.96 9/184 23178
/proc/meminfo: memFree=30069136/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=569004 CPUtime=4800.17 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 700689 0 0 0 479772 245 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 142251 115062 389 106 0 137222 0
[pid=23131/tid=23132] ppid=23129 vsize=569004 CPUtime=1195.13 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 172816 0 0 0 119453 60 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=569004 CPUtime=1201.71 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 167303 0 0 0 120112 59 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=569004 CPUtime=1201.7 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 183800 0 0 0 120104 66 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309095 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) 569004

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.15 7.96 9/184 23178
/proc/meminfo: memFree=30069136/32951124 swapFree=67103364/67111528
[pid=23131] ppid=23129 vsize=569004 CPUtime=4800.17 cores=0,2,4,6
/proc/23131/stat : 23131 (strangenight2-m) R 23129 23131 23098 0 -1 4202496 700689 0 0 0 479772 245 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23131/statm: 142251 115062 389 106 0 137222 0
[pid=23131/tid=23132] ppid=23129 vsize=569004 CPUtime=1195.13 cores=0,2,4,6
/proc/23131/task/23132/stat : 23132 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 172816 0 0 0 119453 60 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23131/tid=23133] ppid=23129 vsize=569004 CPUtime=1201.71 cores=0,2,4,6
/proc/23131/task/23133/stat : 23133 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 167303 0 0 0 120112 59 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23131/tid=23134] ppid=23129 vsize=569004 CPUtime=1201.7 cores=0,2,4,6
/proc/23131/task/23134/stat : 23134 (strangenight2-m) R 23129 23131 23098 0 -1 4202560 183800 0 0 0 120104 66 0 0 25 0 4 0 601830383 582660096 115062 33554432000 4194304 4627427 140736589377056 18446744073709551615 4309095 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) 569004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.22
CPU user time (s): 4797.75
CPU system time (s): 2.47862
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 736724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.47862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 700689
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= 560
involuntary context switches= 20084

runsolver used 1.9507 second user time and 4.6243 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 00:26:37
IDJOB=3174248
IDBENCH=83066
IDSOLVER=1586
FILE ID=node118/3174248-1304115997
RUNJOBID= node118-1304115997-23116
PBS_JOBID= 13170712
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 52f4c2549736f42ae4f40e4dd45d91d0
RANDOM SEED=1777278253

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31048444 kB
Buffers:        368684 kB
Cached:        1133432 kB
SwapCached:       2188 kB
Active:          63848 kB
Inactive:      1497328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31048444 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           11356 kB
Writeback:           0 kB
AnonPages:       58772 kB
Mapped:          14008 kB
Slab:           275796 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190524 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= 71608 MiB
End job on node118 at 2011-04-30 00:46:41