Trace number 3366625

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3366625-1305410849.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     222 undec:      53 neg:     225
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       491      2122         0         0      6427         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.42/0.15	c  N st     8      4919       491      2122         0      4854      6427    112255   no data   no data
1.56/0.42	c  N st    10     11305       491      2122         0      4479      6427     75722   no data   no data
2.36/0.68	c  N st    11     17048       491      2122         0     10108      6427    208341   no data   no data
4.40/1.11	c  F st    12     25002       491      2122         0     12361      6427    249734   no data   no data
4.40/1.11	c  N st    12     25002       491      2122         0     12361      6427    249734   no data   no data
5.16/1.35	c Decided on static restart strategy
5.16/1.35	c  N st    18     30000       491      2122         0     10667      6427    198246   no data   no data
5.16/1.35	c  S st    18     30000       491      2122         0     10667      6427    198246   no data   no data
5.16/1.38	c  S st    18     30503       491      2122         0     11169      6427    209401   no data   no data
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.39	c blocked clauses removed:       22 vars:      4 tried:         491 T: 0.00 s
5.16/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
5.16/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c lits-rem:       155  cl-subs:      498  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.45	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
5.55/1.45	c calculated reachability. Time: 0.00
5.55/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.19/2.34	c  S st    22     45754       487      2100         0      9152      6361    129142   no data   no data
9.19/2.37	c  S st    22     46260       487      2100         0      9658      6361    140621   no data   no data
9.19/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
9.19/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.39	c lits-rem:        12  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.39	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9585 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
9.19/2.40	c calculated reachability. Time: 0.00
9.19/2.40	c  N st    22     46260       487      2100         0      9585      6361    138990   no data   no data
13.18/3.33	c  N st    23     60657       487      2100         0     13877      6361    226443   no data   no data
15.53/3.96	c  N st    24     69390       487      2100         0     11645      6361    166229   no data   no data
15.53/3.96	c  S st    24     69390       487      2100         0     11645      6361    166229   no data   no data
15.93/4.00	c  S st    24     69892       487      2100         0     12147      6361    177047   no data   no data
15.93/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
15.93/4.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.03	c lits-rem:        39  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.02 s
15.93/4.03	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
15.93/4.03	c vivif2 --  cl tried    11879 cl shrink        0 lits rem          0 time: 0.00
15.93/4.04	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
15.93/4.04	c calculated reachability. Time: 0.00
15.93/4.04	c  N st    24     69892       487      2100         0     11879      6361    171570   no data   no data
21.11/5.36	c  F st    25     87500       487      2100         0     17359      6361    288563   no data   no data
21.11/5.36	c  N st    25     87500       487      2100         0     17359      6361    288563   no data   no data
22.70/5.75	c Decided on static restart strategy
23.90/6.01	c  N st    32     95536       487      2100         0     25255      6361    471450   no data   no data
26.34/6.64	c  N st    34    104838       487      2100         0     21663      6361    373358   no data   no data
26.34/6.64	c  S st    34    104838       487      2100         0     21663      6361    373358   no data   no data
26.34/6.69	c  S st    34    105343       487      2100         0     22168      6361    384261   no data   no data
26.34/6.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.34/6.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.34/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
26.34/6.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.74/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.08/6.86	c lits-rem:       156  cl-subs:      883  v-elim:      0  v-fix:    0  time:  0.14 s
27.08/6.86	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
27.08/6.87	c vivif2 --  cl tried    21285 cl shrink        0 lits rem          0 time: 0.00
27.08/6.88	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.01
27.08/6.88	c calculated reachability. Time: 0.00
27.08/6.88	c  N st    34    105343       487      2100         0     21285      6361    364292   no data   no data
30.29/7.68	c  N st    35    114942       487      2100         0     17000      6361    244831   no data   no data
35.11/8.86	c  N st    36    129340       487      2100         0     16384      6361    213619   no data   no data
42.25/10.68	c  N st    37    150936       487      2100         0     21842      6361    327583   no data   no data
45.03/11.30	c  S st    38    158016       487      2100         0     28752      6361    484053   no data   no data
45.03/11.37	c  S st    38    158520       487      2100         0     29256      6361    495171   no data   no data
45.03/11.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.03/11.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.03/11.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.03/11.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.03/11.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.03/11.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
45.03/11.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.03/11.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.43/11.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.63/11.73	c lits-rem:       237  cl-subs:     1518  v-elim:      0  v-fix:    0  time:  0.33 s
46.63/11.73	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
46.63/11.74	c vivif2 --  cl tried    27738 cl shrink        0 lits rem          0 time: 0.01
46.63/11.76	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
46.63/11.76	c calculated reachability. Time: 0.00
46.63/11.76	c  N st    38    158520       487      2100         0     27738      6361    462289   no data   no data
65.82/16.52	c  N st    39    207109       487      2100         0     22372      6361    302935   no data   no data
78.53/19.81	c  N st    40    237781       487      2100         0     32879      6361    556643   no data   no data
78.53/19.81	c  S st    40    237781       487      2100         0     32879      6361    556643   no data   no data
78.97/19.91	c  S st    40    238283       487      2100         0     33381      6361    567802   no data   no data
78.97/19.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.37/19.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.37/19.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.37/19.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.37/19.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.37/19.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
79.37/19.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.37/19.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.37/19.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.31/20.43	c lits-rem:       209  cl-subs:     1588  v-elim:      0  v-fix:    0  time:  0.48 s
81.31/20.43	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
81.31/20.44	c vivif2 --  cl tried    31793 cl shrink        0 lits rem          0 time: 0.01
81.31/20.46	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
81.31/20.46	c calculated reachability. Time: 0.00
81.31/20.46	c  N st    40    238283       487      2100         0     31793      6361    529016   no data   no data
111.63/28.01	c  F st    41    306253       487      2100         0     33765      6361    515090   no data   no data
111.63/28.01	c  N st    41    306253       487      2100         0     33765      6361    515090   no data   no data
113.63/28.60	c Decided on static restart strategy
124.38/31.23	c  N st    51    334552       487      2100         0     38069      6361    608784   no data   no data
135.56/34.07	c  N st    53    357424       487      2100         0     35919      6361    538866   no data   no data
135.56/34.07	c  S st    53    357424       487      2100         0     35919      6361    538866   no data   no data
136.00/34.17	c  S st    53    357924       487      2100         0     36417      6361    549934   no data   no data
136.00/34.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.00/34.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.00/34.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.00/34.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.00/34.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.00/34.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
136.00/34.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.00/34.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.00/34.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.54/34.51	c lits-rem:       193  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.30 s
137.54/34.51	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
137.54/34.51	c vivif2 --  cl tried    35282 cl shrink        0 lits rem          0 time: 0.01
137.54/34.54	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.02
137.54/34.54	c calculated reachability. Time: 0.00
137.54/34.54	c  N st    53    357924       487      2100         0     35282      6361    522118   no data   no data
155.49/39.02	c  N st    54    390317       487      2100         0     41482      6361    633288   no data   no data
179.41/45.09	c  N st    55    438905       487      2100         0     35020      6361    438234   no data   no data
221.68/55.60	c  N st    56    511787       487      2100         0     48570      6361    759928   no data   no data
237.27/59.53	c  N st    57    536887       487      2100         0     42841      6361    604312   no data   no data
237.27/59.53	c  S st    57    536887       487      2100         0     42841      6361    604312   no data   no data
237.62/59.65	c  S st    57    537395       487      2100         0     43348      6361    616673   no data   no data
237.62/59.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
237.62/59.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
237.62/59.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
237.62/59.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
237.62/59.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.62/59.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
237.62/59.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
237.62/59.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
238.02/59.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.42/60.39	c lits-rem:       223  cl-subs:     2580  v-elim:      0  v-fix:    0  time:  0.69 s
240.42/60.39	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
240.82/60.40	c vivif2 --  cl tried    40768 cl shrink        0 lits rem          0 time: 0.01
240.82/60.42	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.03
240.82/60.43	c calculated reachability. Time: 0.00
240.82/60.43	c  N st    57    537395       487      2100         0     40768      6361    559592   no data   no data
353.26/88.67	c  N st    58    701379       487      2100         0     69684      6361   1218853   no data   no data
430.26/107.99	c  N st    59    806092       487      2100         0     64068      6361   1011746   no data   no data
430.26/107.99	c  S st    59    806092       487      2100         0     64068      6361   1011746   no data   no data
431.00/108.17	c  S st    59    806596       487      2100         0     64571      6361   1023877   no data   no data
431.00/108.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.40/108.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.40/108.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.40/108.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.40/108.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.40/108.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
431.40/108.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.40/108.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
431.40/108.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.98/110.66	c lits-rem:       383  cl-subs:     4285  v-elim:      0  v-fix:    0  time:  2.41 s
440.98/110.66	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
440.98/110.67	c vivif2 --  cl tried    60286 cl shrink        0 lits rem          0 time: 0.01
441.38/110.73	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.05
441.38/110.73	c calculated reachability. Time: 0.00
441.38/110.73	c  N st    59    806596       487      2100         0     60286      6361    931942   no data   no data
646.33/162.13	c  F st    60   1071878       487      2100         0     75828      6361   1247038   no data   no data
646.33/162.13	c  N st    60   1071878       487      2100         0     75828      6361   1247038   no data   no data
652.71/163.71	c Decided on static restart strategy
673.44/168.90	c  N st    70   1100185       487      2100         0     59833      6361    806497   no data   no data
709.33/177.99	c  N st    72   1136179       487      2100         0     50229      6361    573665   no data   no data
737.63/185.07	c  N st    73   1168573       487      2100         0     81766      6361   1358217   no data   no data
773.12/193.94	c  N st    74   1209895       487      2100         0     76194      6361   1197735   no data   no data
773.12/193.94	c  S st    74   1209895       487      2100         0     76194      6361   1197735   no data   no data
773.92/194.18	c  S st    74   1210399       487      2100         0     76696      6361   1210002   no data   no data
773.92/194.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
774.32/194.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
774.32/194.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
774.32/194.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
774.32/194.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
774.32/194.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
774.32/194.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
774.32/194.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
774.32/194.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
787.48/197.55	c lits-rem:       410  cl-subs:     4072  v-elim:      0  v-fix:    0  time:  3.28 s
787.48/197.55	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
787.48/197.57	c vivif2 --  cl tried    72624 cl shrink        0 lits rem          0 time: 0.02
787.87/197.63	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.07
787.87/197.64	c calculated reachability. Time: 0.00
787.87/197.64	c  N st    74   1210399       487      2100         0     72624      6361   1110612   no data   no data
878.38/220.33	c  N st    75   1283281       487      2100         0     49253      6361    484625   no data   no data
990.44/248.49	c  N st    76   1392604       487      2100         0     57457      6361    674525   no data   no data
1149.92/288.40	c  N st    77   1556589       487      2100         0     62250      6361    732589   no data   no data
1309.42/328.49	c  N st    78   1710400       487      2100         0    103927      6361   1735433   no data   no data
1309.42/328.49	c  S st    78   1710400       487      2100         0    103927      6361   1735433   no data   no data
1311.02/328.83	c  S st    78   1710903       487      2100         0    104428      6361   1747556   no data   no data
1311.02/328.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1311.02/328.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1311.02/328.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1311.02/328.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1311.02/328.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1311.02/328.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1311.02/328.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1311.46/328.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1311.46/328.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1350.09/338.62	c lits-rem:       693  cl-subs:     7157  v-elim:      0  v-fix:    0  time:  9.65 s
1350.09/338.62	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
1350.09/338.64	c vivif2 --  cl tried    97271 cl shrink        0 lits rem          0 time: 0.02
1350.49/338.75	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.10
1350.49/338.75	c calculated reachability. Time: 0.00
1350.49/338.75	c  N st    78   1710903       487      2100         0     97271      6361   1583590   no data   no data
1758.83/441.11	c  N st    79   2079868       487      2100         0    108757      6361   1707812   no data   no data
1912.75/479.77	c  N st    80   2210904       487      2100         0    112420      6361   1747617   no data   no data
1912.75/479.77	c  S st    80   2210904       487      2100         0    112420      6361   1747617   no data   no data
1914.29/480.13	c  S st    80   2211405       487      2100         0    112921      6361   1759640   no data   no data
1914.29/480.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1914.29/480.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1914.29/480.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1914.29/480.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1914.29/480.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1914.69/480.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1914.69/480.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1914.69/480.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1914.69/480.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1966.93/493.36	c lits-rem:       385  cl-subs:    12019  v-elim:      0  v-fix:    0  time: 13.08 s
1966.93/493.36	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
1966.93/493.38	c vivif2 --  cl tried   100902 cl shrink        0 lits rem          0 time: 0.02
1967.33/493.49	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.10
1967.33/493.49	c calculated reachability. Time: 0.00
1967.33/493.49	c  N st    80   2211405       487      2100         0    100902      6361   1502670   no data   no data
2599.72/652.07	c  N st    81   2711405       487      2100         0    124543      6361   2006642   no data   no data
2599.72/652.07	c  S st    81   2711405       487      2100         0    124543      6361   2006642   no data   no data
2601.36/652.47	c  S st    81   2711909       487      2100         0    125046      6361   2018202   no data   no data
2601.36/652.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2601.70/652.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2601.70/652.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2601.70/652.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2601.70/652.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2601.70/652.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
2601.70/652.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2601.70/652.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2602.10/652.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2671.88/670.14	c lits-rem:      1181  cl-subs:    10774  v-elim:      0  v-fix:    0  time: 17.51 s
2671.88/670.14	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
2671.88/670.17	c vivif2 --  cl tried   114272 cl shrink        0 lits rem          0 time: 0.03
2672.28/670.30	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.13
2672.67/670.30	c calculated reachability. Time: 0.00
2672.67/670.30	c  N st    81   2711909       487      2100         0    114272      6361   1773894   no data   no data
3378.03/847.22	c  N st    82   3211909       487      2100         0     90886      6361   1054826   no data   no data
3378.03/847.22	c  S st    82   3211909       487      2100         0     90886      6361   1054826   no data   no data
3379.24/847.51	c  S st    82   3212410       487      2100         0     91386      6361   1066842   no data   no data
3379.24/847.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3379.24/847.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3379.24/847.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3379.24/847.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3379.24/847.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3379.24/847.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
3379.24/847.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3379.24/847.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3379.63/847.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3383.62/848.64	c lits-rem:       397  cl-subs:     2197  v-elim:      0  v-fix:    0  time:  1.03 s
3383.62/848.64	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
3383.62/848.66	c vivif2 --  cl tried    89189 cl shrink        0 lits rem          0 time: 0.02
3384.02/848.75	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.09
3384.02/848.75	c calculated reachability. Time: 0.00
3384.02/848.75	c  N st    82   3212410       487      2100         0     89189      6361   1020444   no data   no data
4094.97/1027.00	c  N st    83   3712410       487      2100         0     99555      6361   1161754   no data   no data
4094.97/1027.00	c  S st    83   3712410       487      2100         0     99555      6361   1161754   no data   no data
4096.17/1027.39	c  S st    83   3712913       487      2100         0    100057      6361   1174443   no data   no data
4096.17/1027.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4096.61/1027.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4096.61/1027.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4096.61/1027.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4096.61/1027.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4096.61/1027.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
4096.61/1027.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4096.61/1027.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4097.01/1027.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4106.12/1029.84	c lits-rem:       183  cl-subs:     3172  v-elim:      0  v-fix:    0  time:  2.32 s
4106.12/1029.84	c vivif2 --  cl tried     2100 cl shrink        0 lits rem          0 time: 0.00
4106.12/1029.87	c vivif2 --  cl tried    96885 cl shrink        0 lits rem          0 time: 0.02
4106.92/1030.03	c asymm  cl-useful: 0/2100/2100 lits-rem:0 time: 0.16
4106.92/1030.03	c calculated reachability. Time: 0.00
4106.92/1030.03	c  N st    83   3712913       487      2100         0     96885      6361   1106638   no data   no data
4189.86/1050.87	c  F st    84   3751562       487      2100         0    134546      6361   2057230   no data   no data
4189.86/1050.88	c  N st    84   3751562       487      2100         0    134546      6361   2057230   no data   no data
4201.87/1053.82	c Decided on static restart strategy
4250.86/1066.13	c  N st    94   3779870       487      2100         0    162261      6361   2708120   no data   no data
4301.10/1078.78	c  N st    96   3815863       487      2100         0    114740      6361   1522096   no data   no data
4349.36/1090.83	c  N st    97   3848255       487      2100         0    146377      6361   2294365   no data   no data
4418.32/1108.15	c  N st    98   3896843       487      2100         0    109910      6361   1397200   no data   no data
4547.12/1140.43	c  N st    99   3969725       487      2100         0     95905      6361   1018573   no data   no data
4707.01/1180.59	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366625-1305410849/watcher-3366625-1305410849 -o /tmp/evaluation-result-3366625-1305410849/solver-3366625-1305410849 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366625-1305410849.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: 0.08 0.02 0.08 1/380 28732
/proc/meminfo: memFree=27045876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=282136 CPUtime=0.02 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 1154 0 0 0 2 0 0 0 23 0 4 0 652683640 288907264 1062 33554432000 4194304 4580107 140736085491104 18446744073709551615 251814264727 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 70534 1063 375 95 0 65516 0
[pid=28732/tid=28733] ppid=28730 vsize=282136 CPUtime=0.01 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 228 0 0 0 1 0 0 0 24 0 4 0 652683640 288907264 1063 33554432000 4194304 4580107 140736085491104 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=282136 CPUtime=0 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 226 0 0 0 0 0 0 0 24 0 4 0 652683640 288907264 1063 33554432000 4194304 4580107 140736085491104 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=282136 CPUtime=0 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 4 0 652683640 288907264 1063 33554432000 4194304 4580107 140736085491104 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.11477 s]
/proc/loadavg: 0.08 0.02 0.08 1/380 28732
/proc/meminfo: memFree=27045876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=282404 CPUtime=0.42 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 1699 0 0 0 42 0 0 0 23 0 4 0 652683640 289181696 1607 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 70601 1607 377 95 0 65583 0
[pid=28732/tid=28733] ppid=28730 vsize=282404 CPUtime=0.11 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 358 0 0 0 11 0 0 0 24 0 4 0 652683640 289181696 1607 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=282404 CPUtime=0.1 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 361 0 0 0 10 0 0 0 25 0 4 0 652683640 289181696 1607 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=282404 CPUtime=0.1 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 211 0 0 0 10 0 0 0 23 0 4 0 652683640 289181696 1608 33554432000 4194304 4580107 140736085491104 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404

[startup+0.200756 s]
/proc/loadavg: 0.08 0.02 0.08 1/380 28732
/proc/meminfo: memFree=27045876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=283692 CPUtime=0.77 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 2262 0 0 0 77 0 0 0 23 0 4 0 652683640 290500608 1616 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294704 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 70923 1616 377 95 0 65905 0
[pid=28732/tid=28733] ppid=28730 vsize=283692 CPUtime=0.19 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 495 0 0 0 19 0 0 0 24 0 4 0 652683640 290500608 1616 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=283692 CPUtime=0.19 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 496 0 0 0 19 0 0 0 25 0 4 0 652683640 290500608 1616 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=283692 CPUtime=0.18 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 363 0 0 0 18 0 0 0 24 0 4 0 652683640 290500608 1616 33554432000 4194304 4580107 140736085491104 18446744073709551615 4321769 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283692

[startup+0.300739 s]
/proc/loadavg: 0.08 0.02 0.08 1/380 28732
/proc/meminfo: memFree=27045876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=284000 CPUtime=1.17 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 2661 0 0 0 117 0 0 0 23 0 4 0 652683640 290816000 2015 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 71000 2015 377 95 0 65982 0
[pid=28732/tid=28733] ppid=28730 vsize=284000 CPUtime=0.29 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 578 0 0 0 29 0 0 0 25 0 4 0 652683640 290816000 2015 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=284000 CPUtime=0.29 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 599 0 0 0 29 0 0 0 25 0 4 0 652683640 290816000 2015 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=284000 CPUtime=0.28 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 468 0 0 0 28 0 0 0 25 0 4 0 652683640 290816000 2015 33554432000 4194304 4580107 140736085491104 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284000

[startup+0.700672 s]
/proc/loadavg: 0.08 0.02 0.08 1/380 28732
/proc/meminfo: memFree=27045876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=284736 CPUtime=2.76 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 4183 0 0 0 276 0 0 0 25 0 4 0 652683640 291569664 2682 33554432000 4194304 4580107 140736085491104 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 71184 2682 377 95 0 66166 0
[pid=28732/tid=28733] ppid=28730 vsize=284736 CPUtime=0.69 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 934 0 0 0 69 0 0 0 25 0 4 0 652683640 291569664 2682 33554432000 4194304 4580107 140736085491104 18446744073709551615 4321307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=284736 CPUtime=0.69 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 652683640 291569664 2682 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=284736 CPUtime=0.68 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 847 0 0 0 68 0 0 0 25 0 4 0 652683640 291569664 2682 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284736

[startup+1.50054 s]
/proc/loadavg: 0.08 0.02 0.08 11/392 28749
/proc/meminfo: memFree=27015384/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=286340 CPUtime=5.95 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 8443 0 0 0 594 1 0 0 25 0 4 0 652683640 293212160 4519 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 71585 4519 379 95 0 66567 0
[pid=28732/tid=28733] ppid=28730 vsize=286340 CPUtime=1.49 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 1719 0 0 0 149 0 0 0 25 0 4 0 652683640 293212160 4519 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=286340 CPUtime=1.49 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 1740 0 0 0 149 0 0 0 25 0 4 0 652683640 293212160 4519 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=286340 CPUtime=1.46 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 1564 0 0 0 146 0 0 0 25 0 4 0 652683640 293212160 4520 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286340

[startup+3.10027 s]
/proc/loadavg: 0.08 0.02 0.08 9/392 28749
/proc/meminfo: memFree=26979920/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=295604 CPUtime=12.34 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 17665 0 0 0 1230 4 0 0 25 0 4 0 652683640 302698496 9260 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 73901 9260 379 95 0 68883 0
[pid=28732/tid=28733] ppid=28730 vsize=295604 CPUtime=3.09 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 3989 0 0 0 308 1 0 0 25 0 4 0 652683640 302698496 9260 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=295604 CPUtime=3.09 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 4679 0 0 0 308 1 0 0 25 0 4 0 652683640 302698496 9260 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=295604 CPUtime=3.04 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 4160 0 0 0 304 0 0 0 25 0 4 0 652683640 302698496 9260 33554432000 4194304 4580107 140736085491104 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295604

[startup+6.30073 s]
/proc/loadavg: 0.71 0.15 0.12 9/392 28749
/proc/meminfo: memFree=26949036/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=301280 CPUtime=25.1 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 27573 0 0 0 2504 6 0 0 25 0 4 0 652683640 308510720 12741 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 75320 12741 380 95 0 70302 0
[pid=28732/tid=28733] ppid=28730 vsize=301280 CPUtime=6.29 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 7182 0 0 0 627 2 0 0 25 0 4 0 652683640 308510720 12741 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=301280 CPUtime=6.29 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 7409 0 0 0 628 1 0 0 25 0 4 0 652683640 308510720 12741 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=301280 CPUtime=6.21 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 6160 0 0 0 620 1 0 0 25 0 4 0 652683640 308510720 12741 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 301280

[startup+12.7007 s]
/proc/loadavg: 1.30 0.28 0.17 9/392 28749
/proc/meminfo: memFree=26910680/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=302036 CPUtime=50.61 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 44354 0 0 0 5053 8 0 0 25 0 4 0 652683640 309284864 18224 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 75509 18224 379 95 0 70491 0
[pid=28732/tid=28733] ppid=28730 vsize=302036 CPUtime=12.69 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 11052 0 0 0 1266 3 0 0 25 0 4 0 652683640 309284864 18224 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=302036 CPUtime=12.68 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 10519 0 0 0 1267 1 0 0 25 0 4 0 652683640 309284864 18224 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=302036 CPUtime=12.52 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 10665 0 0 0 1251 1 0 0 25 0 4 0 652683640 309284864 18225 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 302036

[startup+25.5005 s]
/proc/loadavg: 2.78 0.66 0.29 9/392 28750
/proc/meminfo: memFree=26868908/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=319632 CPUtime=101.65 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 67090 0 0 0 10151 14 0 0 25 0 4 0 652683640 327303168 26857 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 79908 26857 379 95 0 74890 0
[pid=28732/tid=28733] ppid=28730 vsize=319632 CPUtime=25.49 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 17438 0 0 0 2545 4 0 0 25 0 4 0 652683640 327303168 26857 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=319632 CPUtime=25.49 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 16443 0 0 0 2546 3 0 0 25 0 4 0 652683640 327303168 26857 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=319632 CPUtime=25.16 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 15243 0 0 0 2514 2 0 0 25 0 4 0 652683640 327303168 26857 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 319632

[startup+51.1012 s]
/proc/loadavg: 4.62 1.26 0.50 9/392 28750
/proc/meminfo: memFree=26827396/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=328424 CPUtime=203.73 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 99792 0 0 0 20350 23 0 0 25 0 4 0 652683640 336306176 32899 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 82106 32899 379 95 0 77088 0
[pid=28732/tid=28733] ppid=28730 vsize=328424 CPUtime=51.09 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 26592 0 0 0 5103 6 0 0 25 0 4 0 652683640 336306176 32899 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=328424 CPUtime=51.08 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 24555 0 0 0 5103 5 0 0 25 0 4 0 652683640 336306176 32899 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=328424 CPUtime=50.44 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 22658 0 0 0 5039 5 0 0 25 0 4 0 652683640 336306176 32899 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 328424

[startup+102.301 s]
/proc/loadavg: 6.60 2.31 0.90 9/392 28752
/proc/meminfo: memFree=26777656/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=415944 CPUtime=407.93 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 147698 0 0 0 40752 41 0 0 25 0 4 0 652683640 425926656 41351 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 103986 41351 379 95 0 98968 0
[pid=28732/tid=28733] ppid=28730 vsize=415944 CPUtime=102.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 39538 0 0 0 10220 10 0 0 25 0 4 0 652683640 425926656 41351 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=415944 CPUtime=102.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 34558 0 0 0 10220 10 0 0 25 0 4 0 652683640 425926656 41351 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=415944 CPUtime=101 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 35240 0 0 0 10091 9 0 0 25 0 4 0 652683640 425926656 41351 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.93
Current children cumulated vsize (KiB) 415944

[startup+162.301 s]

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

[pid=28732] ppid=28730 vsize=532536 CPUtime=2561.04 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 451738 0 0 0 255933 171 0 0 25 0 4 0 652683640 545316864 83318 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 133134 83318 379 95 0 128116 0
[pid=28732/tid=28733] ppid=28730 vsize=532536 CPUtime=642.29 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 109770 0 0 0 64189 40 0 0 25 0 4 0 652683640 545316864 83318 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=532536 CPUtime=642.29 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 109670 0 0 0 64186 43 0 0 25 0 4 0 652683640 545316864 83318 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=532536 CPUtime=634.13 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 111236 0 0 0 63370 43 0 0 25 0 4 0 652683640 545316864 83318 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.04
Current children cumulated vsize (KiB) 532536

[startup+702.301 s]
/proc/loadavg: 8.09 7.31 4.31 9/392 28798
/proc/meminfo: memFree=26419864/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=598724 CPUtime=2800.27 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 475115 0 0 0 279844 183 0 0 25 0 4 0 652683640 613093376 92990 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 149681 92990 379 95 0 144663 0
[pid=28732/tid=28733] ppid=28730 vsize=598724 CPUtime=702.29 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 117758 0 0 0 70186 43 0 0 25 0 4 0 652683640 613093376 92990 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=598724 CPUtime=702.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 116262 0 0 0 70182 48 0 0 25 0 4 0 652683640 613093376 92990 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=598724 CPUtime=693.36 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 115447 0 0 0 69291 45 0 0 25 0 4 0 652683640 613093376 92990 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.27
Current children cumulated vsize (KiB) 598724

[startup+762.301 s]
/proc/loadavg: 8.03 7.43 4.54 9/392 28799
/proc/meminfo: memFree=26387216/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=586568 CPUtime=3039.56 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 496691 0 0 0 303762 194 0 0 25 0 4 0 652683640 600645632 97637 33554432000 4194304 4580107 140736085491104 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 146642 97637 379 95 0 141624 0
[pid=28732/tid=28733] ppid=28730 vsize=586568 CPUtime=762.31 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 124117 0 0 0 76185 46 0 0 25 0 4 0 652683640 600645632 97638 33554432000 4194304 4580107 140736085491104 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=586568 CPUtime=762.31 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 122570 0 0 0 76179 52 0 0 25 0 4 0 652683640 600645632 97638 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=586568 CPUtime=752.6 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 119552 0 0 0 75213 47 0 0 25 0 4 0 652683640 600645632 97638 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.56
Current children cumulated vsize (KiB) 586568

[startup+822.301 s]
/proc/loadavg: 8.01 7.53 4.75 9/392 28801
/proc/meminfo: memFree=26387568/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=586764 CPUtime=3278.75 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 519866 0 0 0 327670 205 0 0 25 0 4 0 652683640 600846336 97631 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 146691 97631 379 95 0 141673 0
[pid=28732/tid=28733] ppid=28730 vsize=586764 CPUtime=822.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 129848 0 0 0 82181 49 0 0 25 0 4 0 652683640 600846336 97631 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=586764 CPUtime=822.29 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 128543 0 0 0 82175 54 0 0 25 0 4 0 652683640 600846336 97631 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=586764 CPUtime=811.83 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 127360 0 0 0 81133 50 0 0 25 0 4 0 652683640 600846336 97631 33554432000 4194304 4580107 140736085491104 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.75
Current children cumulated vsize (KiB) 586764

[startup+882.314 s]
/proc/loadavg: 8.00 7.62 4.95 9/392 28802
/proc/meminfo: memFree=26349960/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=599628 CPUtime=3518.04 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 541363 0 0 0 351590 214 0 0 25 0 4 0 652683640 614019072 105964 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 149907 105964 379 95 0 144889 0
[pid=28732/tid=28733] ppid=28730 vsize=599628 CPUtime=882.31 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 137482 0 0 0 88180 51 0 0 25 0 4 0 652683640 614019072 105964 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=599628 CPUtime=882.31 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 131179 0 0 0 88176 55 0 0 25 0 4 0 652683640 614019072 105964 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=599628 CPUtime=871.07 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 132576 0 0 0 87055 52 0 0 25 0 4 0 652683640 614019072 105964 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.04
Current children cumulated vsize (KiB) 599628

[startup+942.3 s]
/proc/loadavg: 8.06 7.70 5.14 9/392 28804
/proc/meminfo: memFree=26327492/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=615528 CPUtime=3757.23 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 562727 0 0 0 375498 225 0 0 25 0 4 0 652683640 630300672 108963 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 153882 108963 379 95 0 148864 0
[pid=28732/tid=28733] ppid=28730 vsize=615528 CPUtime=942.29 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 143699 0 0 0 94175 54 0 0 25 0 4 0 652683640 630300672 108963 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=615528 CPUtime=942.29 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 137231 0 0 0 94170 59 0 0 25 0 4 0 652683640 630300672 108963 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=615528 CPUtime=930.31 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 137550 0 0 0 92976 55 0 0 25 0 4 0 652683640 630300672 108963 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.23
Current children cumulated vsize (KiB) 615528

[startup+1002.3 s]
/proc/loadavg: 8.12 7.78 5.33 9/392 28806
/proc/meminfo: memFree=26320876/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=615948 CPUtime=3996.47 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 586823 0 0 0 399412 235 0 0 25 0 4 0 652683640 630730752 107865 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 153987 107865 379 95 0 148969 0
[pid=28732/tid=28733] ppid=28730 vsize=615948 CPUtime=1002.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 149800 0 0 0 100173 57 0 0 25 0 4 0 652683640 630730752 107865 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=615948 CPUtime=1002.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 142976 0 0 0 100169 61 0 0 25 0 4 0 652683640 630730752 107865 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=615948 CPUtime=989.54 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 143691 0 0 0 98897 57 0 0 25 0 4 0 652683640 630730752 107865 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.47
Current children cumulated vsize (KiB) 615948

[startup+1062.3 s]
/proc/loadavg: 8.08 7.83 5.50 9/392 28807
/proc/meminfo: memFree=26317132/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=603472 CPUtime=4235.71 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 601428 0 0 0 423328 243 0 0 25 0 4 0 652683640 617955328 108782 33554432000 4194304 4580107 140736085491104 18446744073709551615 4320644 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 150868 108782 379 95 0 145850 0
[pid=28732/tid=28733] ppid=28730 vsize=603472 CPUtime=1062.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 150544 0 0 0 106172 58 0 0 25 0 4 0 652683640 617955328 108782 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=603472 CPUtime=1062.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 147395 0 0 0 106166 64 0 0 25 0 4 0 652683640 617955328 108782 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=603472 CPUtime=1048.78 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 149026 0 0 0 104819 59 0 0 25 0 4 0 652683640 617955328 108782 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.71
Current children cumulated vsize (KiB) 603472

[startup+1122.3 s]
/proc/loadavg: 8.14 7.90 5.67 9/392 28809
/proc/meminfo: memFree=26304472/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=616628 CPUtime=4474.95 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 622491 0 0 0 447240 255 0 0 25 0 4 0 652683640 631427072 109812 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 154157 109812 379 95 0 149139 0
[pid=28732/tid=28733] ppid=28730 vsize=616628 CPUtime=1122.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 156443 0 0 0 112169 61 0 0 25 0 4 0 652683640 631427072 109812 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=616628 CPUtime=1122.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 152850 0 0 0 112163 67 0 0 25 0 4 0 652683640 631427072 109812 33554432000 4194304 4580107 140736085491104 18446744073709551615 4339077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=616628 CPUtime=1108.01 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 152723 0 0 0 110740 61 0 0 25 0 4 0 652683640 631427072 109812 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4474.95
Current children cumulated vsize (KiB) 616628

[startup+1182.3 s]
/proc/loadavg: 8.13 7.95 5.82 9/392 28810
/proc/meminfo: memFree=26281004/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=604144 CPUtime=4714.2 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 642823 0 0 0 471154 266 0 0 25 0 4 0 652683640 618643456 107230 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 151036 107230 379 95 0 146018 0
[pid=28732/tid=28733] ppid=28730 vsize=604144 CPUtime=1182.3 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 162494 0 0 0 118165 65 0 0 25 0 4 0 652683640 618643456 107230 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=604144 CPUtime=1182.3 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 158030 0 0 0 118161 69 0 0 25 0 4 0 652683640 618643456 107230 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=604144 CPUtime=1167.26 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 156042 0 0 0 116663 63 0 0 25 0 4 0 652683640 618643456 107230 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294475 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.2
Current children cumulated vsize (KiB) 604144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.23 7.98 5.88 9/392 28811
/proc/meminfo: memFree=26281372/32950928 swapFree=44388876/67111528
[pid=28732] ppid=28730 vsize=604256 CPUtime=4800.36 cores=1,3,5,7
/proc/28732/stat : 28732 (strangenight2-m) R 28730 28732 28704 0 -1 4202496 650571 0 0 0 479766 270 0 0 25 0 4 0 652683640 618758144 108077 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28732/statm: 151064 108077 379 95 0 146046 0
[pid=28732/tid=28733] ppid=28730 vsize=604256 CPUtime=1203.91 cores=1,3,5,7
/proc/28732/task/28733/stat : 28733 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 163912 0 0 0 120326 65 0 0 25 0 4 0 652683640 618758144 108077 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28732/tid=28734] ppid=28730 vsize=604256 CPUtime=1203.92 cores=1,3,5,7
/proc/28732/task/28734/stat : 28734 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 160515 0 0 0 120321 71 0 0 25 0 4 0 652683640 618758144 108077 33554432000 4194304 4580107 140736085491104 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28732/tid=28735] ppid=28730 vsize=604256 CPUtime=1188.58 cores=1,3,5,7
/proc/28732/task/28735/stat : 28735 (strangenight2-m) R 28730 28732 28704 0 -1 4202560 158497 0 0 0 118793 65 0 0 25 0 4 0 652683640 618758144 108077 33554432000 4194304 4580107 140736085491104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 604256

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): 1203.94
CPU time (s): 4800.41
CPU user time (s): 4797.68
CPU system time (s): 2.72558
CPU usage (%): 398.725
Max. virtual memory (cumulated for all children) (KiB): 706384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.68
system time used= 2.72558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650571
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= 410
involuntary context switches= 20263

runsolver used 4.26035 second user time and 11.0923 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 00:07:29
IDJOB=3366625
IDBENCH=83034
IDSOLVER=1844
FILE ID=node126/3366625-1305410849
RUNJOBID= node126-1305410848-28723
PBS_JOBID= 13324522
Free space on /tmp= 73324 MiB

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

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

MD5SUM BENCH= 96dadba6913c3cf46368b605f559e4b9
RANDOM SEED=1106751146

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27046280 kB
Buffers:        260740 kB
Cached:        2435240 kB
SwapCached:      92524 kB
Active:         738204 kB
Inactive:      4915400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27046280 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     2877740 kB
Mapped:          14820 kB
Slab:           108736 kB
PageTables:      75284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88088348 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= 73316 MiB
End job on node126 at 2011-05-15 00:27:35