Trace number 3174216

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.35 1201.54

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
MD5SUM96dadba6913c3cf46368b605f559e4b9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1288.13
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-3174216-1304115342.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.03/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.03/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.05	c calculated reachability. Time: 0.00
0.03/0.05	c Calc default polars -  time:   0.00 s pos:     222 undec:      53 neg:     225
0.03/0.05	c =========================================================================================
0.03/0.05	c types(t): F = full restart, N = normal restart
0.03/0.05	c types(t): S = simplification begin/end, E = solution found
0.03/0.05	c restart types(rt): st = static, dy = dynamic
0.03/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.05	c  B st     0         0       491      2122         0         0      6427         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4919       491      2122         0      4854      6427    112255   no data   no data
3.57/0.90	c  N st    10     11305       491      2122         0      4479      6427     75722   no data   no data
3.57/0.90	c  N st    11     17048       491      2122         0     10108      6427    208341   no data   no data
4.39/1.18	c  F st    12     25002       491      2122         0     12361      6427    249734   no data   no data
4.39/1.18	c  N st    12     25002       491      2122         0     12361      6427    249734   no data   no data
5.17/1.36	c Decided on static restart strategy
5.17/1.36	c  N st    18     30000       491      2122         0     10667      6427    198246   no data   no data
5.17/1.36	c  S st    18     30000       491      2122         0     10667      6427    198246   no data   no data
5.17/1.39	c  S st    18     30503       491      2122         0     11169      6427    209401   no data   no data
5.17/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.39	c blocked clauses removed:       22 vars:      4 tried:         491 T: 0.00 s
5.17/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
5.17/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c lits-rem:       155  cl-subs:      498  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.45	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30503       487      2100         0     10666      6361    196571   no data   no data
7.16/1.84	c  N st    20     37616       487      2100         0      9929      6361    162347   no data   no data
8.79/2.24	c  N st    21     44017       487      2100         0     16191      6361    308250   no data   no data
9.16/2.34	c  S st    22     45754       487      2100         0      9152      6361    129142   no data   no data
9.16/2.37	c  S st    22     46260       487      2100         0      9658      6361    140621   no data   no data
9.16/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
9.16/2.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.39	c lits-rem:        12  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.39	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
9.16/2.39	c vivif2 --  cl tried     9585 cl shrink        0 lits rem          0 time: 0.00
9.56/2.40	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.00
9.56/2.40	c calculated reachability. Time: 0.00
9.56/2.40	c  N st    22     46260       487      2100         0      9585      6361    138990   no data   no data
13.18/3.34	c  N st    23     60657       487      2100         0     13877      6361    226443   no data   no data
15.55/3.97	c  N st    24     69390       487      2100         0     11645      6361    166229   no data   no data
15.55/3.97	c  S st    24     69390       487      2100         0     11645      6361    166229   no data   no data
15.96/4.00	c  S st    24     69892       487      2100         0     12147      6361    177047   no data   no data
15.96/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
15.96/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.04	c lits-rem:        39  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.02 s
15.96/4.04	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
15.96/4.04	c vivif2 --  cl tried    11879 cl shrink        0 lits rem          0 time: 0.00
15.96/4.05	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
15.96/4.05	c calculated reachability. Time: 0.00
15.96/4.05	c  N st    24     69892       487      2100         0     11879      6361    171570   no data   no data
21.14/5.37	c  F st    25     87500       487      2100         0     17359      6361    288563   no data   no data
21.14/5.37	c  N st    25     87500       487      2100         0     17359      6361    288563   no data   no data
22.74/5.75	c Decided on static restart strategy
23.94/6.02	c  N st    32     95536       487      2100         0     25255      6361    471450   no data   no data
26.36/6.64	c  N st    34    104838       487      2100         0     21663      6361    373358   no data   no data
26.36/6.64	c  S st    34    104838       487      2100         0     21663      6361    373358   no data   no data
26.74/6.70	c  S st    34    105343       487      2100         0     22168      6361    384261   no data   no data
26.74/6.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
26.74/6.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
26.74/6.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.74/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.87	c lits-rem:       156  cl-subs:      883  v-elim:      0  v-fix:    0  time:  0.15 s
27.13/6.87	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
27.13/6.88	c vivif2 --  cl tried    21285 cl shrink        0 lits rem          0 time: 0.00
27.13/6.89	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
27.13/6.89	c calculated reachability. Time: 0.00
27.13/6.89	c  N st    34    105343       487      2100         0     21285      6361    364292   no data   no data
30.35/7.68	c  N st    35    114942       487      2100         0     17000      6361    244831   no data   no data
35.14/8.86	c  N st    36    129340       487      2100         0     16384      6361    213619   no data   no data
42.31/10.67	c  N st    37    150936       487      2100         0     21842      6361    327583   no data   no data
44.71/11.29	c  S st    38    158016       487      2100         0     28752      6361    484053   no data   no data
45.11/11.37	c  S st    38    158520       487      2100         0     29256      6361    495171   no data   no data
45.11/11.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.11/11.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.11/11.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.11/11.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.11/11.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.11/11.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
45.11/11.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.11/11.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.51/11.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.71/11.73	c lits-rem:       237  cl-subs:     1518  v-elim:      0  v-fix:    0  time:  0.33 s
46.71/11.73	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
46.71/11.74	c vivif2 --  cl tried    27738 cl shrink        0 lits rem          0 time: 0.01
46.71/11.76	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
46.71/11.76	c calculated reachability. Time: 0.00
46.71/11.76	c  N st    38    158520       487      2100         0     27738      6361    462289   no data   no data
65.90/16.51	c  N st    39    207109       487      2100         0     22372      6361    302935   no data   no data
78.68/19.76	c  N st    40    237781       487      2100         0     32879      6361    556643   no data   no data
78.68/19.76	c  S st    40    237781       487      2100         0     32879      6361    556643   no data   no data
79.09/19.85	c  S st    40    238283       487      2100         0     33381      6361    567802   no data   no data
79.09/19.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.09/19.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.09/19.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.09/19.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.09/19.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.09/19.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
79.09/19.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.09/19.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.46/19.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.38	c lits-rem:       209  cl-subs:     1588  v-elim:      0  v-fix:    0  time:  0.48 s
81.06/20.38	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
81.06/20.38	c vivif2 --  cl tried    31793 cl shrink        0 lits rem          0 time: 0.01
81.46/20.41	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
81.46/20.41	c calculated reachability. Time: 0.00
81.46/20.41	c  N st    40    238283       487      2100         0     31793      6361    529016   no data   no data
111.42/27.97	c  F st    41    306253       487      2100         0     33765      6361    515090   no data   no data
111.42/27.97	c  N st    41    306253       487      2100         0     33765      6361    515090   no data   no data
113.83/28.56	c Decided on static restart strategy
124.20/31.18	c  N st    51    334552       487      2100         0     38069      6361    608784   no data   no data
135.80/34.02	c  N st    53    357424       487      2100         0     35919      6361    538866   no data   no data
135.80/34.02	c  S st    53    357424       487      2100         0     35919      6361    538866   no data   no data
136.20/34.12	c  S st    53    357924       487      2100         0     36417      6361    549934   no data   no data
136.20/34.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.20/34.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.20/34.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.20/34.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.20/34.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.20/34.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
136.20/34.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.20/34.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.20/34.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.39/34.46	c lits-rem:       193  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.30 s
137.39/34.46	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
137.39/34.47	c vivif2 --  cl tried    35282 cl shrink        0 lits rem          0 time: 0.01
137.39/34.49	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
137.39/34.49	c calculated reachability. Time: 0.00
137.39/34.49	c  N st    53    357924       487      2100         0     35282      6361    522118   no data   no data
155.36/38.98	c  N st    54    390317       487      2100         0     41482      6361    633288   no data   no data
179.74/45.06	c  N st    55    438905       487      2100         0     35020      6361    438234   no data   no data
221.67/55.57	c  N st    56    511787       487      2100         0     48570      6361    759928   no data   no data
237.64/59.51	c  N st    57    536887       487      2100         0     42841      6361    604312   no data   no data
237.64/59.51	c  S st    57    536887       487      2100         0     42841      6361    604312   no data   no data
238.04/59.63	c  S st    57    537395       487      2100         0     43348      6361    616673   no data   no data
238.04/59.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
238.04/59.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
238.04/59.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.04/59.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.04/59.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.04/59.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
238.04/59.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
238.04/59.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
238.04/59.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.85/60.36	c lits-rem:       223  cl-subs:     2580  v-elim:      0  v-fix:    0  time:  0.69 s
240.85/60.36	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
240.85/60.37	c vivif2 --  cl tried    40768 cl shrink        0 lits rem          0 time: 0.01
240.85/60.40	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.03
240.85/60.40	c calculated reachability. Time: 0.00
240.85/60.40	c  N st    57    537395       487      2100         0     40768      6361    559592   no data   no data
353.51/88.58	c  N st    58    701379       487      2100         0     69684      6361   1218853   no data   no data
431.03/107.99	c  N st    59    806092       487      2100         0     64068      6361   1011746   no data   no data
431.03/107.99	c  S st    59    806092       487      2100         0     64068      6361   1011746   no data   no data
431.83/108.17	c  S st    59    806596       487      2100         0     64571      6361   1023877   no data   no data
431.83/108.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.23/108.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.23/108.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.23/108.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.23/108.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.23/108.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
432.23/108.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.23/108.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
432.23/108.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.81/110.65	c lits-rem:       383  cl-subs:     4285  v-elim:      0  v-fix:    0  time:  2.40 s
441.81/110.65	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
441.81/110.66	c vivif2 --  cl tried    60286 cl shrink        0 lits rem          0 time: 0.01
442.22/110.72	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.05
442.22/110.72	c calculated reachability. Time: 0.00
442.22/110.72	c  N st    59    806596       487      2100         0     60286      6361    931942   no data   no data
647.58/162.14	c  F st    60   1071878       487      2100         0     75828      6361   1247038   no data   no data
647.58/162.14	c  N st    60   1071878       487      2100         0     75828      6361   1247038   no data   no data
653.98/163.73	c Decided on static restart strategy
674.76/168.92	c  N st    70   1100185       487      2100         0     59833      6361    806497   no data   no data
710.72/177.98	c  N st    72   1136179       487      2100         0     50229      6361    573665   no data   no data
739.08/185.04	c  N st    73   1168573       487      2100         0     81766      6361   1358217   no data   no data
774.64/193.91	c  N st    74   1209895       487      2100         0     76194      6361   1197735   no data   no data
774.64/193.91	c  S st    74   1209895       487      2100         0     76194      6361   1197735   no data   no data
775.44/194.15	c  S st    74   1210399       487      2100         0     76696      6361   1210002   no data   no data
775.44/194.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
775.44/194.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
775.44/194.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
775.44/194.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
775.44/194.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.44/194.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
775.44/194.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
775.84/194.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
775.84/194.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
789.02/197.53	c lits-rem:       410  cl-subs:     4072  v-elim:      0  v-fix:    0  time:  3.28 s
789.02/197.53	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
789.02/197.55	c vivif2 --  cl tried    72624 cl shrink        0 lits rem          0 time: 0.02
789.42/197.62	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.07
789.42/197.62	c calculated reachability. Time: 0.00
789.42/197.62	c  N st    74   1210399       487      2100         0     72624      6361   1110612   no data   no data
878.12/219.84	c  N st    75   1283281       487      2100         0     49253      6361    484625   no data   no data
991.18/248.11	c  N st    76   1392604       487      2100         0     57457      6361    674525   no data   no data
1150.59/288.06	c  N st    77   1556589       487      2100         0     62250      6361    732589   no data   no data
1310.81/328.18	c  N st    78   1710400       487      2100         0    103927      6361   1735433   no data   no data
1310.81/328.18	c  S st    78   1710400       487      2100         0    103927      6361   1735433   no data   no data
1312.41/328.53	c  S st    78   1710903       487      2100         0    104428      6361   1747556   no data   no data
1312.41/328.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1312.41/328.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1312.41/328.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1312.41/328.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1312.41/328.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1312.41/328.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1312.41/328.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1312.81/328.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1312.81/328.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1350.76/338.17	c lits-rem:       693  cl-subs:     7157  v-elim:      0  v-fix:    0  time:  9.50 s
1350.76/338.17	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
1350.76/338.19	c vivif2 --  cl tried    97271 cl shrink        0 lits rem          0 time: 0.02
1351.16/338.29	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.10
1351.16/338.29	c calculated reachability. Time: 0.00
1351.16/338.29	c  N st    78   1710903       487      2100         0     97271      6361   1583590   no data   no data
1760.68/440.72	c  N st    79   2079868       487      2100         0    108757      6361   1707812   no data   no data
1915.30/479.43	c  N st    80   2210904       487      2100         0    112420      6361   1747617   no data   no data
1915.30/479.43	c  S st    80   2210904       487      2100         0    112420      6361   1747617   no data   no data
1916.49/479.79	c  S st    80   2211405       487      2100         0    112921      6361   1759640   no data   no data
1916.49/479.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1916.89/479.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1916.89/479.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1916.89/479.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1916.89/479.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1916.89/479.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1916.89/479.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1916.89/479.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1917.29/479.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1969.22/492.90	c lits-rem:       385  cl-subs:    12019  v-elim:      0  v-fix:    0  time: 12.96 s
1969.22/492.90	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
1969.22/492.92	c vivif2 --  cl tried   100902 cl shrink        0 lits rem          0 time: 0.02
1969.63/493.02	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.10
1969.63/493.03	c calculated reachability. Time: 0.00
1969.63/493.03	c  N st    80   2211405       487      2100         0    100902      6361   1502670   no data   no data
2602.88/651.58	c  N st    81   2711405       487      2100         0    124543      6361   2006642   no data   no data
2602.88/651.58	c  S st    81   2711405       487      2100         0    124543      6361   2006642   no data   no data
2604.48/651.98	c  S st    81   2711909       487      2100         0    125046      6361   2018202   no data   no data
2604.48/651.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2604.88/652.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2604.88/652.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2604.88/652.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2604.88/652.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2604.88/652.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
2604.88/652.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2604.88/652.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2605.28/652.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2673.58/669.23	c lits-rem:      1181  cl-subs:    10774  v-elim:      0  v-fix:    0  time: 17.08 s
2673.58/669.23	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
2673.58/669.26	c vivif2 --  cl tried   114272 cl shrink        0 lits rem          0 time: 0.03
2673.98/669.38	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.13
2673.98/669.39	c calculated reachability. Time: 0.00
2673.98/669.39	c  N st    81   2711909       487      2100         0    114272      6361   1773894   no data   no data
3381.96/846.54	c  N st    82   3211909       487      2100         0     90886      6361   1054826   no data   no data
3381.96/846.54	c  S st    82   3211909       487      2100         0     90886      6361   1054826   no data   no data
3383.16/846.83	c  S st    82   3212410       487      2100         0     91386      6361   1066842   no data   no data
3383.16/846.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3383.16/846.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3383.16/846.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3383.16/846.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3383.16/846.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3383.16/846.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
3383.16/846.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3383.57/846.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3383.57/846.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3387.55/847.97	c lits-rem:       397  cl-subs:     2197  v-elim:      0  v-fix:    0  time:  1.04 s
3387.55/847.97	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
3387.55/847.99	c vivif2 --  cl tried    89189 cl shrink        0 lits rem          0 time: 0.02
3387.97/848.08	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.09
3387.97/848.08	c calculated reachability. Time: 0.00
3387.97/848.08	c  N st    82   3212410       487      2100         0     89189      6361   1020444   no data   no data
4105.12/1027.56	c  N st    83   3712410       487      2100         0     99555      6361   1161754   no data   no data
4105.12/1027.56	c  S st    83   3712410       487      2100         0     99555      6361   1161754   no data   no data
4107.12/1028.02	c  S st    83   3712913       487      2100         0    100057      6361   1174443   no data   no data
4107.12/1028.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4107.52/1028.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4107.52/1028.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4107.52/1028.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4107.52/1028.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4107.52/1028.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
4107.52/1028.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4107.52/1028.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4107.92/1028.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4121.92/1031.72	c lits-rem:       183  cl-subs:     3172  v-elim:      0  v-fix:    0  time:  3.52 s
4121.92/1031.72	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
4121.92/1031.75	c vivif2 --  cl tried    96885 cl shrink        0 lits rem          0 time: 0.03
4122.69/1031.91	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.16
4122.69/1031.92	c calculated reachability. Time: 0.00
4122.69/1031.92	c  N st    83   3712913       487      2100         0     96885      6361   1106638   no data   no data
4198.59/1050.94	c  F st    84   3751562       487      2100         0    134546      6361   2057230   no data   no data
4198.59/1050.95	c  N st    84   3751562       487      2100         0    134546      6361   2057230   no data   no data
4209.80/1053.76	c Decided on static restart strategy
4259.32/1066.11	c  N st    94   3779870       487      2100         0    162261      6361   2708120   no data   no data
4309.66/1078.72	c  N st    96   3815863       487      2100         0    114740      6361   1522096   no data   no data
4357.61/1090.75	c  N st    97   3848255       487      2100         0    146377      6361   2294365   no data   no data
4426.73/1108.03	c  N st    98   3896843       487      2100         0    109910      6361   1397200   no data   no data
4555.78/1140.32	c  N st    99   3969725       487      2100         0     95905      6361   1018573   no data   no data
4716.78/1180.62	c  N st   100   4079053       487      2100         0    116539      6361   1446548   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-3174216-1304115342/watcher-3174216-1304115342 -o /tmp/evaluation-result-3174216-1304115342/solver-3174216-1304115342 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174216-1304115342.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: 3.69 3.96 4.28 2/172 4168
/proc/meminfo: memFree=29370704/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 408 0 0 0 1 0 0 0 22 0 4 0 601764839 52441088 347 33554432000 4194304 4627427 140734545464128 18446744073709551615 47515705366450 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 12803 347 299 106 0 7774 0
[pid=4168/tid=4170] ppid=4166 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 601764839 52441088 347 33554432000 4194304 4627427 140734545464128 18446744073709551615 47515705366450 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 601764839 52441088 347 33554432000 4194304 4627427 140734545464128 18446744073709551615 47515705366440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601764839 52441088 347 33554432000 4194304 4627427 140734545464128 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0146661 s]
/proc/loadavg: 3.69 3.96 4.28 2/172 4168
/proc/meminfo: memFree=29370704/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=281860 CPUtime=0.03 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 1195 0 0 0 3 0 0 0 18 0 4 0 601764839 288624640 1110 33554432000 4194304 4627427 140734545464128 18446744073709551615 251367243531 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 70465 1119 379 106 0 65436 0
[pid=4168/tid=4170] ppid=4166 vsize=281860 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 224 0 0 0 0 0 0 0 18 0 4 0 601764839 288624640 1121 33554432000 4194304 4627427 140734545464128 18446744073709551615 4450253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=281860 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 222 0 0 0 0 0 0 0 18 0 4 0 601764839 288624640 1122 33554432000 4194304 4627427 140734545464128 18446744073709551615 4468116 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=281860 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 137 0 0 0 0 0 0 0 25 0 4 0 601764839 288624640 1122 33554432000 4194304 4627427 140734545464128 18446744073709551615 4330207 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 281860

[startup+0.100643 s]
/proc/loadavg: 3.69 3.96 4.28 2/172 4168
/proc/meminfo: memFree=29370704/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=281860 CPUtime=0.37 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 1631 0 0 0 37 0 0 0 18 0 4 0 601764839 288624640 1546 33554432000 4194304 4627427 140734545464128 18446744073709551615 4332764 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 70465 1546 384 106 0 65436 0
[pid=4168/tid=4170] ppid=4166 vsize=281860 CPUtime=0.09 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 335 0 0 0 9 0 0 0 18 0 4 0 601764839 288624640 1547 33554432000 4194304 4627427 140734545464128 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=281860 CPUtime=0.09 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 320 0 0 0 9 0 0 0 18 0 4 0 601764839 288624640 1547 33554432000 4194304 4627427 140734545464128 18446744073709551615 4329807 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=281860 CPUtime=0.08 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 234 0 0 0 8 0 0 0 25 0 4 0 601764839 288624640 1547 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281860

[startup+0.300607 s]
/proc/loadavg: 3.69 3.96 4.28 2/172 4168
/proc/meminfo: memFree=29370704/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=283168 CPUtime=1.18 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 2666 0 0 0 117 1 0 0 18 0 4 0 601764839 289964032 2027 33554432000 4194304 4627427 140734545464128 18446744073709551615 4332599 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 70792 2027 385 106 0 65763 0
[pid=4168/tid=4170] ppid=4166 vsize=283168 CPUtime=0.29 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 571 0 0 0 29 0 0 0 18 0 4 0 601764839 289964032 2027 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=283168 CPUtime=0.29 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 573 0 0 0 29 0 0 0 18 0 4 0 601764839 289964032 2027 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=283168 CPUtime=0.28 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 516 0 0 0 28 0 0 0 25 0 4 0 601764839 289964032 2027 33554432000 4194304 4627427 140734545464128 18446744073709551615 4330318 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283168

[startup+0.700534 s]
/proc/loadavg: 3.69 3.96 4.28 2/172 4168
/proc/meminfo: memFree=29370704/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=283904 CPUtime=2.77 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 4172 0 0 0 276 1 0 0 18 0 4 0 601764839 290717696 2678 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 70976 2678 385 106 0 65947 0
[pid=4168/tid=4170] ppid=4166 vsize=283904 CPUtime=0.69 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 954 0 0 0 69 0 0 0 18 0 4 0 601764839 290717696 2678 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=283904 CPUtime=0.69 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 950 0 0 0 69 0 0 0 18 0 4 0 601764839 290717696 2678 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=283904 CPUtime=0.68 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 905 0 0 0 68 0 0 0 25 0 4 0 601764839 290717696 2678 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 283904

[startup+1.50039 s]
/proc/loadavg: 3.69 3.96 4.28 11/184 4180
/proc/meminfo: memFree=29347048/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=285188 CPUtime=5.97 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 8450 0 0 0 595 2 0 0 20 0 4 0 601764839 292032512 4573 33554432000 4194304 4627427 140734545464128 18446744073709551615 4325047 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 71297 4573 389 106 0 66268 0
[pid=4168/tid=4170] ppid=4166 vsize=285188 CPUtime=1.49 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 1723 0 0 0 149 0 0 0 20 0 4 0 601764839 292032512 4573 33554432000 4194304 4627427 140734545464128 18446744073709551615 4306552 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=285188 CPUtime=1.49 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 1716 0 0 0 149 0 0 0 20 0 4 0 601764839 292032512 4573 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=285188 CPUtime=1.47 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 1642 0 0 0 147 0 0 0 25 0 4 0 601764839 292032512 4573 33554432000 4194304 4627427 140734545464128 18446744073709551615 4327559 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285188

[startup+3.10109 s]
/proc/loadavg: 3.69 3.96 4.28 9/184 4180
/proc/meminfo: memFree=29315552/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=285924 CPUtime=12.36 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 17385 0 0 0 1233 3 0 0 25 0 4 0 601764839 292786176 9148 33554432000 4194304 4627427 140734545464128 18446744073709551615 4324208 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 71481 9148 389 106 0 66452 0
[pid=4168/tid=4170] ppid=4166 vsize=285924 CPUtime=3.08 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 3986 0 0 0 308 0 0 0 25 0 4 0 601764839 292786176 9148 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=285924 CPUtime=3.09 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 4648 0 0 0 308 1 0 0 25 0 4 0 601764839 292786176 9148 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=285924 CPUtime=3.07 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 4227 0 0 0 307 0 0 0 25 0 4 0 601764839 292786176 9148 33554432000 4194304 4627427 140734545464128 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 285924

[startup+6.3005 s]
/proc/loadavg: 4.04 4.03 4.30 9/184 4180
/proc/meminfo: memFree=29284720/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=287676 CPUtime=25.14 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 27928 0 0 0 2509 5 0 0 25 0 4 0 601764839 294580224 12433 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 71919 12433 389 106 0 66890 0
[pid=4168/tid=4170] ppid=4166 vsize=287676 CPUtime=6.29 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 7353 0 0 0 628 1 0 0 25 0 4 0 601764839 294580224 12433 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=287676 CPUtime=6.29 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 7510 0 0 0 628 1 0 0 25 0 4 0 601764839 294580224 12433 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=287676 CPUtime=6.25 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 6255 0 0 0 625 0 0 0 25 0 4 0 601764839 294580224 12433 33554432000 4194304 4627427 140734545464128 18446744073709551615 4327429 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287676

[startup+12.7003 s]
/proc/loadavg: 4.35 4.09 4.32 9/184 4180
/proc/meminfo: memFree=29245228/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=288956 CPUtime=50.7 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 44846 0 0 0 5063 7 0 0 25 0 4 0 601764839 295890944 17930 33554432000 4194304 4627427 140734545464128 18446744073709551615 4299705 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 72239 17930 389 106 0 67210 0
[pid=4168/tid=4170] ppid=4166 vsize=288956 CPUtime=12.69 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 11273 0 0 0 1267 2 0 0 25 0 4 0 601764839 295890944 17930 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=288956 CPUtime=12.68 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 10721 0 0 0 1267 1 0 0 25 0 4 0 601764839 295890944 17930 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=288956 CPUtime=12.62 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 10356 0 0 0 1261 1 0 0 25 0 4 0 601764839 295890944 17930 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 288956

[startup+25.501 s]
/proc/loadavg: 5.16 4.28 4.38 9/184 4181
/proc/meminfo: memFree=29201568/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=300312 CPUtime=101.83 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 68242 0 0 0 10171 12 0 0 25 0 4 0 601764839 307519488 25888 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 75078 25888 389 106 0 70049 0
[pid=4168/tid=4170] ppid=4166 vsize=300312 CPUtime=25.49 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 18035 0 0 0 2545 4 0 0 25 0 4 0 601764839 307519488 25888 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=300312 CPUtime=25.49 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 16584 0 0 0 2546 3 0 0 25 0 4 0 601764839 307519488 25888 33554432000 4194304 4627427 140734545464128 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=300312 CPUtime=25.35 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 14996 0 0 0 2533 2 0 0 25 0 4 0 601764839 307519488 25888 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 300312

[startup+51.1002 s]
/proc/loadavg: 6.19 4.60 4.48 9/184 4181
/proc/meminfo: memFree=29155836/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=281676 CPUtime=204.09 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 102844 0 0 0 20386 23 0 0 25 0 4 0 601764839 288436224 32274 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 70419 32274 389 106 0 65390 0
[pid=4168/tid=4170] ppid=4166 vsize=281676 CPUtime=51.08 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 28274 0 0 0 5102 6 0 0 25 0 4 0 601764839 288436224 32274 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=281676 CPUtime=51.09 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 25503 0 0 0 5103 6 0 0 25 0 4 0 601764839 288436224 32274 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=281676 CPUtime=50.81 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 21702 0 0 0 5077 4 0 0 25 0 4 0 601764839 288436224 32274 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 281676

[startup+102.307 s]
/proc/loadavg: 5.33 4.63 4.50 5/175 4200
/proc/meminfo: memFree=29219128/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=313412 CPUtime=408.68 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 151448 0 0 0 40828 40 0 0 25 0 4 0 601764839 320933888 39656 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 78353 39656 389 106 0 73324 0
[pid=4168/tid=4170] ppid=4166 vsize=313412 CPUtime=102.29 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 40234 0 0 0 10219 10 0 0 25 0 4 0 601764839 320933888 39656 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=313412 CPUtime=102.3 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 37094 0 0 0 10221 9 0 0 25 0 4 0 601764839 320933888 39656 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=313412 CPUtime=101.77 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 35285 0 0 0 10168 9 0 0 25 0 4 0 601764839 320933888 39656 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 313412

[startup+162.301 s]

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

[pid=4168] ppid=4166 vsize=573160 CPUtime=2805.84 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 484105 0 0 0 280388 196 0 0 25 0 4 0 601764839 586915840 95207 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 143290 95207 389 106 0 138261 0
[pid=4168/tid=4170] ppid=4166 vsize=573160 CPUtime=702.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 120140 0 0 0 70184 46 0 0 25 0 4 0 601764839 586915840 95207 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=573160 CPUtime=702.31 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 125695 0 0 0 70180 51 0 0 25 0 4 0 601764839 586915840 95207 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=573160 CPUtime=698.89 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 117786 0 0 0 69841 48 0 0 25 0 4 0 601764839 586915840 95207 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.84
Current children cumulated vsize (KiB) 573160

[startup+762.307 s]
/proc/loadavg: 4.12 4.12 4.26 5/175 4217
/proc/meminfo: memFree=28989080/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=585712 CPUtime=3045.58 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 504197 0 0 0 304350 208 0 0 25 0 4 0 601764839 599769088 97094 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 146428 97094 389 106 0 141399 0
[pid=4168/tid=4170] ppid=4166 vsize=585712 CPUtime=762.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 125231 0 0 0 76182 48 0 0 25 0 4 0 601764839 599769088 97094 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=585712 CPUtime=762.32 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 132321 0 0 0 76176 56 0 0 25 0 4 0 601764839 599769088 97094 33554432000 4194304 4627427 140734545464128 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=585712 CPUtime=758.61 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 118185 0 0 0 75812 49 0 0 25 0 4 0 601764839 599769088 97094 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.58
Current children cumulated vsize (KiB) 585712

[startup+822.301 s]
/proc/loadavg: 4.04 4.10 4.24 5/175 4219
/proc/meminfo: memFree=28985564/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=573372 CPUtime=3285.28 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 522589 0 0 0 328310 218 0 0 25 0 4 0 601764839 587132928 97675 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 143343 97675 389 106 0 138314 0
[pid=4168/tid=4170] ppid=4166 vsize=573372 CPUtime=822.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 130876 0 0 0 82179 51 0 0 25 0 4 0 601764839 587132928 97675 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=573372 CPUtime=822.31 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 132619 0 0 0 82175 56 0 0 25 0 4 0 601764839 587132928 97675 33554432000 4194304 4627427 140734545464128 18446744073709551615 4340223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=573372 CPUtime=818.33 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 125998 0 0 0 81781 52 0 0 25 0 4 0 601764839 587132928 97675 33554432000 4194304 4627427 140734545464128 18446744073709551615 4427841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3285.28
Current children cumulated vsize (KiB) 573372

[startup+882.301 s]
/proc/loadavg: 4.01 4.08 4.22 5/175 4220
/proc/meminfo: memFree=28960100/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=599516 CPUtime=3524.99 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 545116 0 0 0 352271 228 0 0 25 0 4 0 601764839 613904384 104227 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 149879 104227 389 106 0 144850 0
[pid=4168/tid=4170] ppid=4166 vsize=599516 CPUtime=882.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 136719 0 0 0 88178 52 0 0 25 0 4 0 601764839 613904384 104227 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=599516 CPUtime=882.31 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 141058 0 0 0 88170 61 0 0 25 0 4 0 601764839 613904384 104227 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=599516 CPUtime=878.02 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 131860 0 0 0 87747 55 0 0 25 0 4 0 601764839 613904384 104227 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.99
Current children cumulated vsize (KiB) 599516

[startup+942.3 s]
/proc/loadavg: 4.00 4.06 4.20 5/175 4222
/proc/meminfo: memFree=28960308/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=600052 CPUtime=3764.71 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 570517 0 0 0 376228 243 0 0 25 0 4 0 601764839 614453248 104477 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 150013 104477 389 106 0 144984 0
[pid=4168/tid=4170] ppid=4166 vsize=600052 CPUtime=942.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 143007 0 0 0 94173 57 0 0 25 0 4 0 601764839 614453248 104477 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=600052 CPUtime=942.31 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 147406 0 0 0 94167 64 0 0 25 0 4 0 601764839 614453248 104477 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=600052 CPUtime=937.74 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 138115 0 0 0 93716 58 0 0 25 0 4 0 601764839 614453248 104477 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.71
Current children cumulated vsize (KiB) 600052

[startup+1002.3 s]
/proc/loadavg: 4.00 4.05 4.18 5/175 4224
/proc/meminfo: memFree=28964116/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=600464 CPUtime=4004.43 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 595549 0 0 0 400186 257 0 0 25 0 4 0 601764839 614875136 103382 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 150116 103382 389 106 0 145087 0
[pid=4168/tid=4170] ppid=4166 vsize=600464 CPUtime=1002.3 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 149568 0 0 0 100170 60 0 0 25 0 4 0 601764839 614875136 103382 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=600464 CPUtime=1002.32 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 153386 0 0 0 100165 67 0 0 25 0 4 0 601764839 614875136 103382 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=600464 CPUtime=997.45 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 144474 0 0 0 99684 61 0 0 25 0 4 0 601764839 614875136 103382 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4004.43
Current children cumulated vsize (KiB) 600464

[startup+1062.3 s]
/proc/loadavg: 4.00 4.03 4.17 5/175 4225
/proc/meminfo: memFree=28931204/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=639276 CPUtime=4244.14 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 615579 0 0 0 424144 270 0 0 25 0 4 0 601764839 654618624 111622 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 159819 111622 389 106 0 154790 0
[pid=4168/tid=4170] ppid=4166 vsize=639276 CPUtime=1062.31 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 155926 0 0 0 106167 64 0 0 25 0 4 0 601764839 654618624 111622 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=639276 CPUtime=1062.32 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 158486 0 0 0 106160 72 0 0 25 0 4 0 601764839 654618624 111622 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=639276 CPUtime=1057.17 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 147749 0 0 0 105653 64 0 0 25 0 4 0 601764839 654618624 111622 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4244.14
Current children cumulated vsize (KiB) 639276

[startup+1122.3 s]
/proc/loadavg: 4.06 4.04 4.17 5/175 4227
/proc/meminfo: memFree=28918272/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=653588 CPUtime=4483.86 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 636190 0 0 0 448103 283 0 0 25 0 4 0 601764839 669274112 114798 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 163397 114798 389 106 0 158368 0
[pid=4168/tid=4170] ppid=4166 vsize=653588 CPUtime=1122.31 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 161971 0 0 0 112163 68 0 0 25 0 4 0 601764839 669274112 114798 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=653588 CPUtime=1122.33 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 163982 0 0 0 112158 75 0 0 25 0 4 0 601764839 669274112 114798 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=653588 CPUtime=1116.88 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 153905 0 0 0 111620 68 0 0 25 0 4 0 601764839 669274112 114798 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.86
Current children cumulated vsize (KiB) 653588

[startup+1182.3 s]
/proc/loadavg: 4.07 4.05 4.16 5/175 4228
/proc/meminfo: memFree=28925648/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=653776 CPUtime=4723.57 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 657340 0 0 0 472063 294 0 0 25 0 4 0 601764839 669466624 112914 33554432000 4194304 4627427 140734545464128 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 163444 112914 389 106 0 158415 0
[pid=4168/tid=4170] ppid=4166 vsize=653776 CPUtime=1182.31 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 167923 0 0 0 118160 71 0 0 25 0 4 0 601764839 669466624 112914 33554432000 4194304 4627427 140734545464128 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=653776 CPUtime=1182.33 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 169169 0 0 0 118156 77 0 0 25 0 4 0 601764839 669466624 112914 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=653776 CPUtime=1176.58 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 158148 0 0 0 117589 69 0 0 25 0 4 0 601764839 669466624 112914 33554432000 4194304 4627427 140734545464128 18446744073709551615 4329707 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4723.57
Current children cumulated vsize (KiB) 653776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.05 4.04 4.16 5/175 4229
/proc/meminfo: memFree=28920168/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=653828 CPUtime=4800.3 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 662091 0 0 0 479733 297 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 163457 114142 389 106 0 158428 0
[pid=4168/tid=4170] ppid=4166 vsize=653828 CPUtime=1201.52 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 169184 0 0 0 120080 72 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4333275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=653828 CPUtime=1201.53 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 171512 0 0 0 120075 78 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=653828 CPUtime=1195.69 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 158193 0 0 0 119500 69 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 653828

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

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

[startup+1201.5 s]
/proc/loadavg: 4.05 4.04 4.16 5/175 4229
/proc/meminfo: memFree=28920168/32950928 swapFree=67111352/67111528
[pid=4168] ppid=4166 vsize=653828 CPUtime=4800.3 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 3239 0 -1 4202496 662091 0 0 0 479733 297 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4168/statm: 163457 114142 389 106 0 158428 0
[pid=4168/tid=4170] ppid=4166 vsize=653828 CPUtime=1201.52 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 169184 0 0 0 120080 72 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4333275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=653828 CPUtime=1201.53 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 171512 0 0 0 120075 78 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4173] ppid=4166 vsize=653828 CPUtime=1195.69 cores=1,3,5,7
/proc/4168/task/4173/stat : 4173 (strangenight2-m) R 4166 4168 3239 0 -1 4202560 158193 0 0 0 119500 69 0 0 25 0 4 0 601764839 669519872 114142 33554432000 4194304 4627427 140734545464128 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 653828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.54
CPU time (s): 4800.35
CPU user time (s): 4797.35
CPU system time (s): 3.00054
CPU usage (%): 399.518
Max. virtual memory (cumulated for all children) (KiB): 770964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 3.00054
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662091
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= 592
involuntary context switches= 24496

runsolver used 1.56376 second user time and 4.26235 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 00:15:42
IDJOB=3174216
IDBENCH=83034
IDSOLVER=1586
FILE ID=node113/3174216-1304115342
RUNJOBID= node113-1304115342-4154
PBS_JOBID= 13170664
Free space on /tmp= 71168 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174216-1304115342/watcher-3174216-1304115342 -o /tmp/evaluation-result-3174216-1304115342/solver-3174216-1304115342 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174216-1304115342.cnf

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

MD5SUM BENCH= 96dadba6913c3cf46368b605f559e4b9
RANDOM SEED=1262794939

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29370984 kB
Buffers:        725560 kB
Cached:        2274324 kB
SwapCached:         12 kB
Active:         156404 kB
Inactive:      2906588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29370984 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           10892 kB
Writeback:           0 kB
AnonPages:       63608 kB
Mapped:          14480 kB
Slab:           452992 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187408 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= 71160 MiB
End job on node113 at 2011-04-30 00:35:45