Trace number 3174277

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.4 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf
MD5SUM465b21028c8505bfc2ee7974d056b900
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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-3174277-1304116782.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
3.17/0.80	c -- clauses added:            0 learnts,         2556 normals,            0 xors
3.17/0.80	c -- vars added        600
3.17/0.80	c Parsing time:  0.00 s
3.17/0.80	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
3.17/0.80	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
3.17/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     286 undec:      72 neg:     242
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       587      2545         0         0      7714         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4919       587      2545         0      4851      7714    128962   no data   no data
3.17/0.80	c  N st    10     11303       587      2545         0      4502      7714     87695   no data   no data
3.17/0.80	c  N st    11     17047       587      2545         0     10181      7714    255291   no data   no data
4.39/1.20	c  F st    12     25001       587      2545         0     12469      7714    324440   no data   no data
4.39/1.20	c  N st    12     25001       587      2545         0     12469      7714    324440   no data   no data
5.96/1.50	c Decided on static restart strategy
5.96/1.50	c  N st    18     30000       587      2545         0     10731      7714    232456   no data   no data
5.96/1.50	c  S st    18     30000       587      2545         0     10731      7714    232456   no data   no data
5.96/1.50	c  S st    18     30503       587      2545         0     11234      7714    246372   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.50	c blocked clauses removed:        0 vars:      0 tried:         587 T: 0.00 s
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       137  cl-subs:      366  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.51	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.01
5.96/1.51	c calculated reachability. Time: 0.00
5.96/1.51	c  N st    18     30503       587      2545         0     10868      7714    234588   no data   no data
7.57/1.94	c  N st    20     37615       587      2545         0     10103      7714    192132   no data   no data
9.18/2.34	c  N st    21     44015       587      2545         0     16364      7714    371222   no data   no data
9.56/2.45	c  S st    22     45755       587      2545         0      9311      7714    154024   no data   no data
9.56/2.48	c  S st    22     46256       587      2545         0      9812      7714    166375   no data   no data
9.56/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.48	c bin-w-bin subsume rem            0 bins  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.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.56/2.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.50	c lits-rem:         7  cl-subs:       44  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.50	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c vivif2 --  cl tried     9768 cl shrink        0 lits rem          0 time: 0.00
9.95/2.51	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.01
9.95/2.51	c calculated reachability. Time: 0.00
9.95/2.51	c  N st    22     46256       587      2545         0      9768      7714    165074   no data   no data
13.57/3.47	c  N st    23     60653       587      2545         0     14123      7714    269066   no data   no data
16.36/4.11	c  N st    24     69386       587      2545         0     11957      7714    201541   no data   no data
16.36/4.11	c  S st    24     69386       587      2545         0     11957      7714    201541   no data   no data
16.36/4.14	c  S st    24     69891       587      2545         0     12462      7714    214178   no data   no data
16.36/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
16.36/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.18	c lits-rem:        19  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.18	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
16.36/4.18	c vivif2 --  cl tried    12352 cl shrink        0 lits rem          0 time: 0.00
16.36/4.19	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.01
16.36/4.19	c calculated reachability. Time: 0.00
16.36/4.19	c  N st    24     69891       587      2545         0     12352      7714    210946   no data   no data
21.96/5.57	c  F st    25     87501       587      2545         0     17821      7714    356904   no data   no data
21.96/5.57	c  N st    25     87501       587      2545         0     17821      7714    356904   no data   no data
23.55/5.97	c Decided on static restart strategy
24.74/6.22	c  N st    32     95539       587      2545         0     12959      7714    194772   no data   no data
27.54/6.90	c  N st    34    104837       587      2545         0     22083      7714    447090   no data   no data
27.54/6.90	c  S st    34    104837       587      2545         0     22083      7714    447090   no data   no data
27.54/6.96	c  S st    34    105341       587      2545         0     22585      7714    459740   no data   no data
27.54/6.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
27.54/6.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.17	c lits-rem:       212  cl-subs:      829  v-elim:      0  v-fix:    0  time:  0.18 s
28.34/7.17	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
28.34/7.18	c vivif2 --  cl tried    21756 cl shrink        0 lits rem          0 time: 0.00
28.34/7.19	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.01
28.34/7.19	c calculated reachability. Time: 0.00
28.34/7.19	c  N st    34    105341       587      2545         0     21756      7714    433193   no data   no data
31.93/8.05	c  N st    35    114939       587      2545         0     17427      7714    285264   no data   no data
37.53/9.40	c  N st    36    129337       587      2545         0     16851      7714    253915   no data   no data
45.12/11.32	c  N st    37    150934       587      2545         0     22342      7714    388264   no data   no data
47.51/11.96	c  S st    38    158013       587      2545         0     29336      7714    574921   no data   no data
47.91/12.03	c  S st    38    158521       587      2545         0     29844      7714    589210   no data   no data
47.91/12.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.91/12.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.91/12.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.91/12.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.91/12.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.51/12.45	c lits-rem:       329  cl-subs:     1196  v-elim:      0  v-fix:    0  time:  0.38 s
49.51/12.45	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
49.51/12.46	c vivif2 --  cl tried    28648 cl shrink        0 lits rem          0 time: 0.01
49.51/12.48	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.02
49.51/12.48	c calculated reachability. Time: 0.00
49.51/12.48	c  N st    38    158521       587      2545         0     28648      7714    555614   no data   no data
69.88/17.50	c  N st    39    207110       587      2545         0     23256      7714    371611   no data   no data
82.67/20.73	c  N st    40    237781       587      2545         0     33785      7714    651480   no data   no data
82.67/20.73	c  S st    40    237781       587      2545         0     33785      7714    651480   no data   no data
83.07/20.81	c  S st    40    238287       587      2545         0     34289      7714    664267   no data   no data
83.07/20.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.07/20.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.07/20.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.07/20.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.07/20.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.07/20.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
83.07/20.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.07/20.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.07/20.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.36	c lits-rem:       329  cl-subs:     1094  v-elim:      0  v-fix:    0  time:  0.51 s
85.06/21.36	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
85.06/21.37	c vivif2 --  cl tried    33195 cl shrink        0 lits rem          0 time: 0.01
85.06/21.39	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.02
85.06/21.39	c calculated reachability. Time: 0.00
85.06/21.39	c  N st    40    238287       587      2545         0     33195      7714    632164   no data   no data
118.22/29.65	c  F st    41    306250       587      2545         0     35178      7714    669938   no data   no data
118.22/29.65	c  N st    41    306250       587      2545         0     35178      7714    669938   no data   no data
121.41/30.45	c Decided on static restart strategy
132.99/33.31	c  N st    51    334552       587      2545         0     39403      7714    731625   no data   no data
144.18/36.16	c  N st    53    357430       587      2545         0     37330      7714    666658   no data   no data
144.18/36.16	c  S st    53    357430       587      2545         0     37330      7714    666658   no data   no data
144.58/36.26	c  S st    53    357936       587      2545         0     37836      7714    679085   no data   no data
144.58/36.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.58/36.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.58/36.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.58/36.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.58/36.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.58/36.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
144.58/36.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.58/36.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.58/36.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.18/36.65	c lits-rem:       255  cl-subs:      939  v-elim:      0  v-fix:    0  time:  0.34 s
146.18/36.65	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
146.18/36.65	c vivif2 --  cl tried    36897 cl shrink        0 lits rem          0 time: 0.01
146.18/36.68	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.02
146.18/36.68	c calculated reachability. Time: 0.00
146.18/36.68	c  N st    53    357936       587      2545         0     36897      7714    649509   no data   no data
164.55/41.23	c  N st    54    390331       587      2545         0     43144      7714    803557   no data   no data
192.11/48.15	c  N st    55    438919       587      2545         0     36786      7714    579335   no data   no data
235.26/58.96	c  N st    56    511802       587      2545         0     50329      7714    929876   no data   no data
250.86/62.87	c  N st    57    536904       587      2545         0     44576      7714    767965   no data   no data
250.86/62.87	c  S st    57    536904       587      2545         0     44576      7714    767965   no data   no data
251.24/62.98	c  S st    57    537405       587      2545         0     45075      7714    780933   no data   no data
251.24/62.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.64/63.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
251.64/63.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.64/63.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.64/63.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.64/63.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
251.64/63.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
251.64/63.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.64/63.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.44/63.72	c lits-rem:       371  cl-subs:     1236  v-elim:      0  v-fix:    0  time:  0.68 s
254.44/63.72	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
254.44/63.73	c vivif2 --  cl tried    43839 cl shrink        0 lits rem          0 time: 0.01
254.44/63.76	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.03
254.44/63.76	c calculated reachability. Time: 0.00
254.44/63.76	c  N st    57    537405       587      2545         0     43839      7714    742920   no data   no data
374.27/93.77	c  N st    58    701389       587      2545         0     37800      7714    460510   no data   no data
458.16/114.76	c  N st    59    806107       587      2545         0     67218      7714   1323566   no data   no data
458.16/114.76	c  S st    59    806107       587      2545         0     67218      7714   1323566   no data   no data
458.96/114.94	c  S st    59    806612       587      2545         0     67720      7714   1337334   no data   no data
458.96/114.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
458.96/114.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
458.96/114.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
458.96/114.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.96/114.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.96/114.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
458.96/114.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
458.96/114.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
459.36/115.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.34/118.02	c lits-rem:      1047  cl-subs:     2380  v-elim:      0  v-fix:    0  time:  2.99 s
471.34/118.02	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
471.34/118.04	c vivif2 --  cl tried    65340 cl shrink        0 lits rem          0 time: 0.02
471.75/118.10	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.06
471.75/118.10	c calculated reachability. Time: 0.00
471.75/118.10	c  N st    59    806612       587      2545         0     65340      7714   1263188   no data   no data
705.43/176.67	c  F st    60   1071875       587      2545         0     81354      7714   1545953   no data   no data
705.43/176.67	c  N st    60   1071875       587      2545         0     81354      7714   1545953   no data   no data
711.02/178.05	c Decided on static restart strategy
730.59/182.99	c  N st    70   1100179       587      2545         0     65089      7714   1059451   no data   no data
762.95/191.08	c  N st    72   1136174       587      2545         0     55242      7714    747793   no data   no data
793.31/198.64	c  N st    73   1168567       587      2545         0     87008      7714   1611554   no data   no data
840.85/210.54	c  N st    74   1209920       587      2545         0     81430      7714   1453335   no data   no data
840.85/210.54	c  S st    74   1209920       587      2545         0     81430      7714   1453335   no data   no data
841.65/210.78	c  S st    74   1210423       587      2545         0     81932      7714   1465956   no data   no data
841.65/210.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
842.05/210.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
842.05/210.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
842.05/210.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
842.05/210.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.05/210.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
842.05/210.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
842.05/210.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
842.05/210.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
854.83/214.03	c lits-rem:       572  cl-subs:     2628  v-elim:      0  v-fix:    0  time:  3.13 s
854.83/214.03	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
854.83/214.05	c vivif2 --  cl tried    79304 cl shrink        0 lits rem          0 time: 0.02
855.23/214.12	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.08
855.23/214.13	c calculated reachability. Time: 0.00
855.23/214.13	c  N st    74   1210423       587      2545         0     79304      7714   1391173   no data   no data
933.92/233.84	c  N st    75   1283306       587      2545         0     55458      7714    688995   no data   no data
1062.95/266.12	c  N st    76   1392630       587      2545         0     63548      7714    856621   no data   no data
1247.92/312.40	c  N st    77   1556614       587      2545         0     68326      7714    969270   no data   no data
1436.45/359.70	c  N st    78   1710424       587      2545         0    110373      7714   2091221   no data   no data
1436.45/359.70	c  S st    78   1710424       587      2545         0    110373      7714   2091221   no data   no data
1438.04/360.05	c  S st    78   1710926       587      2545         0    110873      7714   2103964   no data   no data
1438.04/360.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1438.44/360.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1438.44/360.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1438.44/360.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1438.44/360.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1438.44/360.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1438.44/360.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1438.44/360.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1438.84/360.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1499.96/375.53	c lits-rem:       628  cl-subs:     7441  v-elim:      0  v-fix:    0  time: 15.32 s
1499.96/375.53	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
1499.96/375.56	c vivif2 --  cl tried   103432 cl shrink        0 lits rem          0 time: 0.03
1500.36/375.67	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.11
1500.36/375.67	c calculated reachability. Time: 0.00
1500.36/375.67	c  N st    78   1710926       587      2545         0    103432      7714   1904604   no data   no data
1963.74/491.60	c  N st    79   2079890       587      2545         0    114901      7714   2150000   no data   no data
2133.51/534.14	c  N st    80   2210927       587      2545         0    119013      7714   2181733   no data   no data
2133.51/534.14	c  S st    80   2210927       587      2545         0    119013      7714   2181733   no data   no data
2135.11/534.51	c  S st    80   2211432       587      2545         0    119517      7714   2194524   no data   no data
2135.11/534.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2135.11/534.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2135.11/534.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2135.11/534.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2135.11/534.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2135.11/534.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2135.11/534.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2135.53/534.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2135.53/534.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2198.22/550.32	c lits-rem:       454  cl-subs:     8357  v-elim:      0  v-fix:    0  time: 15.63 s
2198.22/550.32	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
2198.22/550.35	c vivif2 --  cl tried   111160 cl shrink        0 lits rem          0 time: 0.03
2198.62/550.48	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.13
2198.62/550.48	c calculated reachability. Time: 0.00
2198.62/550.48	c  N st    80   2211432       587      2545         0    111160      7714   1989744   no data   no data
2868.52/718.16	c  N st    81   2711432       587      2545         0    134961      7714   2520508   no data   no data
2868.52/718.16	c  S st    81   2711432       587      2545         0    134961      7714   2520508   no data   no data
2870.52/718.60	c  S st    81   2711939       587      2545         0    135468      7714   2533983   no data   no data
2870.52/718.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2870.52/718.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2870.52/718.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2870.52/718.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2870.52/718.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2870.52/718.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2870.52/718.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2870.92/718.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2871.32/718.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2940.83/736.29	c lits-rem:       789  cl-subs:     8496  v-elim:      0  v-fix:    0  time: 17.49 s
2940.83/736.29	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
2941.23/736.33	c vivif2 --  cl tried   126972 cl shrink        0 lits rem          0 time: 0.04
2941.63/736.48	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.15
2941.63/736.48	c calculated reachability. Time: 0.00
2941.63/736.48	c  N st    81   2711939       587      2545         0    126972      7714   2325118   no data   no data
3690.63/923.94	c  N st    82   3211939       587      2545         0    102722      7714   1494742   no data   no data
3690.63/923.94	c  S st    82   3211939       587      2545         0    102722      7714   1494742   no data   no data
3691.82/924.27	c  S st    82   3212442       587      2545         0    103225      7714   1507941   no data   no data
3691.82/924.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3692.22/924.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3692.22/924.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3692.22/924.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3692.22/924.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3692.22/924.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3692.22/924.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3692.22/924.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3692.62/924.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3702.60/926.97	c lits-rem:       341  cl-subs:     2464  v-elim:      0  v-fix:    0  time:  2.56 s
3702.60/926.97	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
3702.60/926.99	c vivif2 --  cl tried   100761 cl shrink        0 lits rem          0 time: 0.02
3703.01/927.10	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.11
3703.41/927.10	c calculated reachability. Time: 0.00
3703.41/927.10	c  N st    82   3212442       587      2545         0    100761      7714   1443181   no data   no data
4459.19/1116.35	c  N st    83   3712442       587      2545         0    111381      7714   1637882   no data   no data
4459.19/1116.35	c  S st    83   3712442       587      2545         0    111381      7714   1637882   no data   no data
4460.41/1116.69	c  S st    83   3712944       587      2545         0    111882      7714   1651150   no data   no data
4460.41/1116.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4460.79/1116.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4460.79/1116.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4460.79/1116.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4460.79/1116.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4460.79/1116.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4460.79/1116.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4460.79/1116.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4461.19/1116.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4482.37/1122.13	c lits-rem:       232  cl-subs:     4492  v-elim:      0  v-fix:    0  time:  5.30 s
4482.37/1122.13	c vivif2 --  cl tried     2545 cl shrink        0 lits rem          0 time: 0.00
4482.37/1122.16	c vivif2 --  cl tried   107390 cl shrink        0 lits rem          0 time: 0.03
4482.75/1122.28	c asymm  cl-useful: 0/2545/2545 lits-rem:0 time: 0.12
4482.75/1122.28	c calculated reachability. Time: 0.00
4482.75/1122.28	c  N st    83   3712944       587      2545         0    107390      7714   1521986   no data   no data
4542.28/1137.13	c  F st    84   3751562       587      2545         0    145361      7714   2648532   no data   no data
4542.28/1137.13	c  N st    84   3751562       587      2545         0    145361      7714   2648532   no data   no data
4553.86/1140.02	c Decided on static restart strategy
4601.01/1151.89	c  N st    94   3779868       587      2545         0     90047      7714    980536   no data   no data
4654.53/1165.26	c  N st    96   3815863       587      2545         0    125437      7714   2008756   no data   no data
4721.24/1181.93	c  N st    97   3848255       587      2545         0    157126      7714   2910172   no data   no data
4795.53/1200.57	c  N st    98   3896844       587      2545         0    120576      7714   1880074   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-3174277-1304116782/watcher-3174277-1304116782 -o /tmp/evaluation-result-3174277-1304116782/solver-3174277-1304116782 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174277-1304116782.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.01 7.97 7.40 5/180 20348
/proc/meminfo: memFree=30616348/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 523277993 52441088 347 33554432000 4194304 4627427 140733429550704 18446744073709551615 47593137371058 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 12803 347 299 106 0 7774 0
[pid=20348/tid=20349] ppid=20346 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523277993 52441088 347 33554432000 4194304 4627427 140733429550704 18446744073709551615 47593137371058 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523277993 52441088 347 33554432000 4194304 4627427 140733429550704 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523277993 52441088 347 33554432000 4194304 4627427 140733429550704 18446744073709551615 47593137371058 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.109861 s]
/proc/loadavg: 8.01 7.97 7.40 5/180 20348
/proc/meminfo: memFree=30616348/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=282152 CPUtime=0.41 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 1854 0 0 0 41 0 0 0 18 0 4 0 523277993 288923648 1735 33554432000 4194304 4627427 140733429550704 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 70538 1735 384 106 0 65509 0
[pid=20348/tid=20349] ppid=20346 vsize=282152 CPUtime=0.1 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 392 0 0 0 10 0 0 0 18 0 4 0 523277993 288923648 1735 33554432000 4194304 4627427 140733429550704 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=282152 CPUtime=0.1 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 362 0 0 0 10 0 0 0 25 0 4 0 523277993 288923648 1735 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=282152 CPUtime=0.1 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 297 0 0 0 10 0 0 0 18 0 4 0 523277993 288923648 1735 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282152

[startup+0.200846 s]
/proc/loadavg: 8.01 7.97 7.40 5/180 20348
/proc/meminfo: memFree=30616348/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=283448 CPUtime=0.77 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 2526 0 0 0 77 0 0 0 18 0 4 0 523277993 290250752 1771 33554432000 4194304 4627427 140733429550704 18446744073709551615 4327626 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 70862 1771 385 106 0 65833 0
[pid=20348/tid=20349] ppid=20346 vsize=283448 CPUtime=0.19 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 560 0 0 0 19 0 0 0 18 0 4 0 523277993 290250752 1771 33554432000 4194304 4627427 140733429550704 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=283448 CPUtime=0.19 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 527 0 0 0 19 0 0 0 25 0 4 0 523277993 290250752 1771 33554432000 4194304 4627427 140733429550704 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=283448 CPUtime=0.19 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 465 0 0 0 19 0 0 0 18 0 4 0 523277993 290250752 1771 33554432000 4194304 4627427 140733429550704 18446744073709551615 4305916 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283448

[startup+0.300828 s]
/proc/loadavg: 8.01 7.97 7.40 5/180 20348
/proc/meminfo: memFree=30616348/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=283744 CPUtime=1.17 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 2979 0 0 0 117 0 0 0 18 0 4 0 523277993 290553856 2224 33554432000 4194304 4627427 140733429550704 18446744073709551615 4507192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 70936 2224 385 106 0 65907 0
[pid=20348/tid=20349] ppid=20346 vsize=283744 CPUtime=0.29 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 523277993 290553856 2224 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=283744 CPUtime=0.29 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 646 0 0 0 29 0 0 0 25 0 4 0 523277993 290553856 2224 33554432000 4194304 4627427 140733429550704 18446744073709551615 4329636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=283744 CPUtime=0.29 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 576 0 0 0 29 0 0 0 18 0 4 0 523277993 290553856 2225 33554432000 4194304 4627427 140733429550704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283744

[startup+0.700759 s]
/proc/loadavg: 8.01 7.97 7.40 5/180 20348
/proc/meminfo: memFree=30616348/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=284688 CPUtime=2.77 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 4646 0 0 0 277 0 0 0 18 0 4 0 523277993 291520512 2918 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 71172 2918 385 106 0 66143 0
[pid=20348/tid=20349] ppid=20346 vsize=284688 CPUtime=0.69 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1080 0 0 0 69 0 0 0 18 0 4 0 523277993 291520512 2918 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=284688 CPUtime=0.69 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1062 0 0 0 69 0 0 0 25 0 4 0 523277993 291520512 2918 33554432000 4194304 4627427 140733429550704 18446744073709551615 4322064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=284688 CPUtime=0.69 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 991 0 0 0 69 0 0 0 18 0 4 0 523277993 291520512 2918 33554432000 4194304 4627427 140733429550704 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284688

[startup+1.50062 s]
/proc/loadavg: 8.09 7.99 7.40 9/184 20352
/proc/meminfo: memFree=30584076/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=286056 CPUtime=5.96 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 9504 0 0 0 596 0 0 0 20 0 4 0 523277993 292921344 4989 33554432000 4194304 4627427 140733429550704 18446744073709551615 4427861 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 71514 4989 389 106 0 66485 0
[pid=20348/tid=20349] ppid=20346 vsize=286056 CPUtime=1.49 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1892 0 0 0 149 0 0 0 20 0 4 0 523277993 292921344 4989 33554432000 4194304 4627427 140733429550704 18446744073709551615 4332840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=286056 CPUtime=1.48 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1902 0 0 0 148 0 0 0 25 0 4 0 523277993 292921344 4989 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=286056 CPUtime=1.49 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 1843 0 0 0 149 0 0 0 20 0 4 0 523277993 292921344 4989 33554432000 4194304 4627427 140733429550704 18446744073709551615 4299724 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286056

[startup+3.10034 s]
/proc/loadavg: 8.09 7.99 7.40 9/184 20352
/proc/meminfo: memFree=30554688/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=304560 CPUtime=12.36 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 18881 0 0 0 1234 2 0 0 25 0 4 0 523277993 311869440 10641 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 76140 10641 389 106 0 71111 0
[pid=20348/tid=20349] ppid=20346 vsize=304560 CPUtime=3.09 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 4223 0 0 0 309 0 0 0 25 0 4 0 523277993 311869440 10641 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=304560 CPUtime=3.07 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 5220 0 0 0 307 0 0 0 25 0 4 0 523277993 311869440 10641 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=304560 CPUtime=3.08 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 4199 0 0 0 308 0 0 0 25 0 4 0 523277993 311869440 10641 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304560

[startup+6.30077 s]
/proc/loadavg: 8.08 7.99 7.41 9/184 20352
/proc/meminfo: memFree=30506056/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=311168 CPUtime=25.14 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 30241 0 0 0 2510 4 0 0 25 0 4 0 523277993 318636032 15870 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 77792 15870 389 106 0 72763 0
[pid=20348/tid=20349] ppid=20346 vsize=311168 CPUtime=6.28 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 7990 0 0 0 628 0 0 0 25 0 4 0 523277993 318636032 15870 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=311168 CPUtime=6.25 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 8644 0 0 0 624 1 0 0 25 0 4 0 523277993 318636032 15870 33554432000 4194304 4627427 140733429550704 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=311168 CPUtime=6.28 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 5767 0 0 0 628 0 0 0 25 0 4 0 523277993 318636032 15870 33554432000 4194304 4627427 140733429550704 18446744073709551615 4327579 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 311168

[startup+12.7006 s]
/proc/loadavg: 8.07 7.99 7.41 9/184 20352
/proc/meminfo: memFree=30440108/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=328112 CPUtime=50.71 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 47042 0 0 0 5063 8 0 0 25 0 4 0 523277993 335986688 23514 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 82028 23514 389 106 0 76999 0
[pid=20348/tid=20349] ppid=20346 vsize=328112 CPUtime=12.68 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 12769 0 0 0 1267 1 0 0 25 0 4 0 523277993 335986688 23514 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=328112 CPUtime=12.62 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 11894 0 0 0 1260 2 0 0 25 0 4 0 523277993 335986688 23514 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=328112 CPUtime=12.68 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 8580 0 0 0 1267 1 0 0 25 0 4 0 523277993 335986688 23514 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 328112

[startup+25.5004 s]
/proc/loadavg: 8.13 8.00 7.42 9/184 20352
/proc/meminfo: memFree=30385420/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=329504 CPUtime=101.83 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 70809 0 0 0 10169 14 0 0 25 0 4 0 523277993 337412096 29936 33554432000 4194304 4627427 140733429550704 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 82376 29936 389 106 0 77347 0
[pid=20348/tid=20349] ppid=20346 vsize=329504 CPUtime=25.48 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 20775 0 0 0 2545 3 0 0 25 0 4 0 523277993 337412096 29936 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=329504 CPUtime=25.35 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 19784 0 0 0 2530 5 0 0 25 0 4 0 523277993 337412096 29936 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=329504 CPUtime=25.49 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 9207 0 0 0 2547 2 0 0 25 0 4 0 523277993 337412096 29936 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 329504

[startup+51.1009 s]
/proc/loadavg: 8.08 8.00 7.44 9/184 20353
/proc/meminfo: memFree=30328172/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=293332 CPUtime=204.1 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 102761 0 0 0 20383 27 0 0 25 0 4 0 523277993 300371968 39755 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 73333 39755 389 106 0 68304 0
[pid=20348/tid=20349] ppid=20346 vsize=293332 CPUtime=51.09 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 27163 0 0 0 5103 6 0 0 25 0 4 0 523277993 300371968 39755 33554432000 4194304 4627427 140733429550704 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=293332 CPUtime=50.8 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 29920 0 0 0 5072 8 0 0 25 0 4 0 523277993 300371968 39755 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=293332 CPUtime=51.09 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 14988 0 0 0 5104 5 0 0 25 0 4 0 523277993 300371968 39755 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 293332

[startup+102.301 s]
/proc/loadavg: 8.07 8.01 7.47 9/184 20354
/proc/meminfo: memFree=30220876/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=435264 CPUtime=408.64 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 137397 0 0 0 40829 35 0 0 25 0 4 0 523277993 445710336 51860 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 108816 51860 389 106 0 103787 0
[pid=20348/tid=20349] ppid=20346 vsize=435264 CPUtime=102.3 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 35422 0 0 0 10221 9 0 0 25 0 4 0 523277993 445710336 51860 33554432000 4194304 4627427 140733429550704 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=435264 CPUtime=101.73 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 39047 0 0 0 10162 11 0 0 25 0 4 0 523277993 445710336 51860 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=435264 CPUtime=102.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 22594 0 0 0 10223 7 0 0 25 0 4 0 523277993 445710336 51860 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 435264

[startup+162.3 s]

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

[pid=20348] ppid=20346 vsize=579116 CPUtime=2565.73 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 396079 0 0 0 256416 157 0 0 25 0 4 0 523277993 593014784 95332 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 144779 95332 389 106 0 139750 0
[pid=20348/tid=20349] ppid=20346 vsize=579116 CPUtime=642.3 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 82597 0 0 0 64197 33 0 0 25 0 4 0 523277993 593014784 95332 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=579116 CPUtime=638.8 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 110413 0 0 0 63835 45 0 0 25 0 4 0 523277993 593014784 95332 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=579116 CPUtime=642.29 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 100295 0 0 0 64183 46 0 0 25 0 4 0 523277993 593014784 95332 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 579116

[startup+702.301 s]
/proc/loadavg: 8.19 8.11 7.76 9/184 20370
/proc/meminfo: memFree=29801676/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=555392 CPUtime=2805.41 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 417217 0 0 0 280375 166 0 0 25 0 4 0 523277993 568721408 95561 33554432000 4194304 4627427 140733429550704 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 138848 95561 389 106 0 133819 0
[pid=20348/tid=20349] ppid=20346 vsize=555392 CPUtime=702.3 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 87410 0 0 0 70194 36 0 0 25 0 4 0 523277993 568721408 95561 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=555392 CPUtime=698.47 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 118007 0 0 0 69799 48 0 0 25 0 4 0 523277993 568721408 95561 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=555392 CPUtime=702.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 101166 0 0 0 70183 47 0 0 25 0 4 0 523277993 568721408 95561 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 555392

[startup+762.3 s]
/proc/loadavg: 8.19 8.12 7.78 9/184 20372
/proc/meminfo: memFree=29758596/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=568252 CPUtime=3045.11 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 439203 0 0 0 304333 178 0 0 25 0 4 0 523277993 581890048 97983 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 142063 97983 389 106 0 137034 0
[pid=20348/tid=20349] ppid=20346 vsize=568252 CPUtime=762.31 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 89996 0 0 0 76194 37 0 0 25 0 4 0 523277993 581890048 97983 33554432000 4194304 4627427 140733429550704 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=568252 CPUtime=758.15 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 124803 0 0 0 75763 52 0 0 25 0 4 0 523277993 581890048 97983 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=568252 CPUtime=762.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 106387 0 0 0 76180 50 0 0 25 0 4 0 523277993 581890048 97983 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 568252

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 7.80 9/184 20373
/proc/meminfo: memFree=29735240/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=568736 CPUtime=3284.77 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 461144 0 0 0 328287 190 0 0 25 0 4 0 523277993 582385664 97951 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 142184 97951 389 106 0 137155 0
[pid=20348/tid=20349] ppid=20346 vsize=568736 CPUtime=822.31 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 93993 0 0 0 82191 40 0 0 25 0 4 0 523277993 582385664 97951 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=568736 CPUtime=817.83 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 132270 0 0 0 81727 56 0 0 25 0 4 0 523277993 582385664 97951 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=568736 CPUtime=822.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 113398 0 0 0 82175 55 0 0 25 0 4 0 523277993 582385664 97951 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 568736

[startup+882.307 s]
/proc/loadavg: 8.17 8.13 7.83 9/184 20375
/proc/meminfo: memFree=29712740/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=585148 CPUtime=3524.47 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 479168 0 0 0 352247 200 0 0 25 0 4 0 523277993 599191552 105435 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 146287 105435 389 106 0 141258 0
[pid=20348/tid=20349] ppid=20346 vsize=585148 CPUtime=882.32 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 96873 0 0 0 88190 42 0 0 25 0 4 0 523277993 599191552 105435 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=585148 CPUtime=877.5 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 139130 0 0 0 87691 59 0 0 25 0 4 0 523277993 599191552 105435 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=585148 CPUtime=882.31 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 115061 0 0 0 88175 56 0 0 25 0 4 0 523277993 599191552 105435 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 585148

[startup+942.301 s]
/proc/loadavg: 8.16 8.14 7.84 9/184 20377
/proc/meminfo: memFree=29627388/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=650784 CPUtime=3764.12 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 499784 0 0 0 376200 212 0 0 25 0 4 0 523277993 666402816 109343 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 162696 109343 389 106 0 157667 0
[pid=20348/tid=20349] ppid=20346 vsize=650784 CPUtime=942.31 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 99907 0 0 0 94187 44 0 0 25 0 4 0 523277993 666402816 109343 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=650784 CPUtime=937.17 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 146157 0 0 0 93655 62 0 0 25 0 4 0 523277993 666402816 109343 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=650784 CPUtime=942.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 118680 0 0 0 94172 58 0 0 25 0 4 0 523277993 666402816 109343 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 650784

[startup+1002.3 s]
/proc/loadavg: 8.15 8.14 7.86 9/184 20378
/proc/meminfo: memFree=29575132/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=663920 CPUtime=4003.8 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 520413 0 0 0 400158 222 0 0 25 0 4 0 523277993 679854080 118799 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 165980 118799 389 106 0 160951 0
[pid=20348/tid=20349] ppid=20346 vsize=663920 CPUtime=1002.31 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 104479 0 0 0 100185 46 0 0 25 0 4 0 523277993 679854080 118799 33554432000 4194304 4627427 140733429550704 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=663920 CPUtime=996.85 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 154929 0 0 0 99619 66 0 0 25 0 4 0 523277993 679854080 118799 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=663920 CPUtime=1002.31 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 122006 0 0 0 100171 60 0 0 25 0 4 0 523277993 679854080 118799 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 663920

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 7.88 9/184 20380
/proc/meminfo: memFree=29494616/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=664124 CPUtime=4243.48 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 541639 0 0 0 424116 232 0 0 25 0 4 0 523277993 680062976 127906 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 166031 127906 389 106 0 161002 0
[pid=20348/tid=20349] ppid=20346 vsize=664124 CPUtime=1062.31 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 108769 0 0 0 106182 49 0 0 25 0 4 0 523277993 680062976 127906 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=664124 CPUtime=1056.52 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 161634 0 0 0 105584 68 0 0 25 0 4 0 523277993 680062976 127906 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=664124 CPUtime=1062.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 125219 0 0 0 106169 61 0 0 25 0 4 0 523277993 680062976 127906 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 664124

[startup+1122.3 s]
/proc/loadavg: 8.20 8.16 7.90 9/184 20381
/proc/meminfo: memFree=29569328/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=651076 CPUtime=4483.15 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 554675 0 0 0 448076 239 0 0 25 0 4 0 523277993 666701824 117783 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 162769 117783 389 106 0 157740 0
[pid=20348/tid=20349] ppid=20346 vsize=651076 CPUtime=1122.32 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 110494 0 0 0 112182 50 0 0 25 0 4 0 523277993 666701824 117783 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=651076 CPUtime=1116.2 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 168268 0 0 0 111548 72 0 0 25 0 4 0 523277993 666701824 117783 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=651076 CPUtime=1122.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 126853 0 0 0 112168 62 0 0 25 0 4 0 523277993 666701824 117783 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 651076

[startup+1182.3 s]
/proc/loadavg: 8.11 8.14 7.91 9/184 20383
/proc/meminfo: memFree=29479508/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=730384 CPUtime=4722.84 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 575467 0 0 0 472033 251 0 0 25 0 4 0 523277993 747913216 129904 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 182596 129904 389 106 0 177567 0
[pid=20348/tid=20349] ppid=20346 vsize=730384 CPUtime=1182.32 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 114835 0 0 0 118179 53 0 0 25 0 4 0 523277993 747913216 129905 33554432000 4194304 4627427 140733429550704 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=730384 CPUtime=1175.87 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 175951 0 0 0 117513 74 0 0 25 0 4 0 523277993 747913216 129905 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=730384 CPUtime=1182.3 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 130426 0 0 0 118166 64 0 0 25 0 4 0 523277993 747913216 129905 33554432000 4194304 4627427 140733429550704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 730384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.76 8.06 7.89 5/179 20385
/proc/meminfo: memFree=30136736/32950928 swapFree=67111428/67111528
[pid=20348] ppid=20346 vsize=699296 CPUtime=4800.34 cores=1,3,5,7
/proc/20348/stat : 20348 (strangenight2-m) R 20346 20348 20152 0 -1 4202496 581782 0 0 0 479780 254 0 0 25 0 4 0 523277993 716079104 124943 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20348/statm: 174824 124943 389 106 0 169795 0
[pid=20348/tid=20349] ppid=20346 vsize=699296 CPUtime=1201.72 cores=1,3,5,7
/proc/20348/task/20349/stat : 20349 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 115746 0 0 0 120119 53 0 0 25 0 4 0 523277993 716079104 124943 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20348/tid=20350] ppid=20346 vsize=699296 CPUtime=1195.16 cores=1,3,5,7
/proc/20348/task/20350/stat : 20350 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 178421 0 0 0 119440 76 0 0 25 0 4 0 523277993 716079104 124943 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20348/tid=20351] ppid=20346 vsize=699296 CPUtime=1201.72 cores=1,3,5,7
/proc/20348/task/20351/stat : 20351 (strangenight2-m) R 20346 20348 20152 0 -1 4202560 130766 0 0 0 120107 65 0 0 25 0 4 0 523277993 716079104 124943 33554432000 4194304 4627427 140733429550704 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 699296

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.4
CPU user time (s): 4797.83
CPU system time (s): 2.57161
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 820048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.83
system time used= 2.57161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581783
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= 280
involuntary context switches= 32859

runsolver used 1.83272 second user time and 4.73928 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 00:39:42
IDJOB=3174277
IDBENCH=83095
IDSOLVER=1586
FILE ID=node123/3174277-1304116782
RUNJOBID= node123-1304115576-20171
PBS_JOBID= 13170709
Free space on /tmp= 72812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174277-1304116782/watcher-3174277-1304116782 -o /tmp/evaluation-result-3174277-1304116782/solver-3174277-1304116782 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174277-1304116782.cnf

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

MD5SUM BENCH= 465b21028c8505bfc2ee7974d056b900
RANDOM SEED=1577023714

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30616628 kB
Buffers:        580704 kB
Cached:        1303924 kB
SwapCached:        100 kB
Active:         163084 kB
Inactive:      1808612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30616628 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:           11320 kB
Writeback:           0 kB
AnonPages:       86588 kB
Mapped:          15508 kB
Slab:           298500 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   297148 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= 72804 MiB
End job on node123 at 2011-04-30 00:59:46