Trace number 3366404

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf
MD5SUM12cee07ed764769ddb26400b2603221c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark827.068
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-3366404-1305403431.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.00	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:     10  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:     206 undec:      57 neg:     237
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       490      2119         0         0      6416         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.37/0.15	c  N st     8      4921       490      2119         0      4849      6416    114367   no data   no data
1.57/0.41	c  N st    10     11304       490      2119         0      4474      6416     74766   no data   no data
2.37/0.66	c  N st    11     17050       490      2119         0     10123      6416    208532   no data   no data
3.99/1.07	c  F st    12     25000       490      2119         0     12379      6416    262425   no data   no data
3.99/1.07	c  N st    12     25000       490      2119         0     12379      6416    262425   no data   no data
5.15/1.31	c Decided on static restart strategy
5.15/1.31	c  N st    18     30001       490      2119         0     10685      6416    201211   no data   no data
5.15/1.31	c  S st    18     30001       490      2119         0     10685      6416    201211   no data   no data
5.15/1.34	c  S st    18     30505       490      2119         0     11189      6416    212627   no data   no data
5.15/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.34	c blocked clauses removed:       13 vars:      2 tried:         490 T: 0.00 s
5.15/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
5.15/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c lits-rem:       150  cl-subs:      551  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.41	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
5.55/1.41	c calculated reachability. Time: 0.00
5.55/1.41	c  N st    18     30505       488      2106         0     10635      6377    198220   no data   no data
7.16/1.82	c  N st    20     37617       488      2106         0      9908      6377    164263   no data   no data
8.38/2.19	c  N st    21     44017       488      2106         0     16173      6377    312815   no data   no data
9.14/2.33	c  S st    22     45758       488      2106         0      9110      6377    127821   no data   no data
9.14/2.36	c  S st    22     46267       488      2106         0      9614      6377    139372   no data   no data
9.14/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/2.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
9.14/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.38	c lits-rem:        22  cl-subs:       65  v-elim:      0  v-fix:    0  time:  0.01 s
9.14/2.38	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
9.14/2.38	c vivif2 --  cl tried     9549 cl shrink        0 lits rem          0 time: 0.00
9.14/2.38	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.00
9.14/2.38	c calculated reachability. Time: 0.00
9.14/2.38	c  N st    22     46267       488      2106         0      9549      6377    137694   no data   no data
13.18/3.35	c  N st    23     60664       488      2106         0     13904      6377    230389   no data   no data
15.94/4.03	c  N st    24     69401       488      2106         0     11701      6377    170780   no data   no data
15.94/4.03	c  S st    24     69401       488      2106         0     11701      6377    170780   no data   no data
15.94/4.06	c  S st    24     69908       488      2106         0     12207      6377    182109   no data   no data
15.94/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.94/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.94/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
15.94/4.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.94/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.09	c lits-rem:        41  cl-subs:      160  v-elim:      0  v-fix:    0  time:  0.02 s
15.94/4.09	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
15.94/4.09	c vivif2 --  cl tried    12047 cl shrink        0 lits rem          0 time: 0.00
16.33/4.10	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
16.33/4.10	c calculated reachability. Time: 0.00
16.33/4.10	c  N st    24     69908       488      2106         0     12047      6377    178112   no data   no data
21.13/5.37	c  F st    25     87500       488      2106         0     17479      6377    298342   no data   no data
21.13/5.37	c  N st    25     87500       488      2106         0     17479      6377    298342   no data   no data
22.71/5.77	c Decided on static restart strategy
23.91/6.02	c  N st    32     95544       488      2106         0     25350      6377    479256   no data   no data
26.35/6.68	c  N st    34    104864       488      2106         0     21727      6377    379210   no data   no data
26.35/6.68	c  S st    34    104864       488      2106         0     21727      6377    379210   no data   no data
26.70/6.74	c  S st    34    105368       488      2106         0     22230      6377    390995   no data   no data
26.70/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
26.70/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.70/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.70/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.70/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
26.70/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.70/6.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.70/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.94	c lits-rem:       200  cl-subs:      934  v-elim:      0  v-fix:    0  time:  0.17 s
27.50/6.94	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
27.50/6.94	c vivif2 --  cl tried    21296 cl shrink        0 lits rem          0 time: 0.00
27.50/6.95	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
27.50/6.95	c calculated reachability. Time: 0.00
27.50/6.95	c  N st    34    105368       488      2106         0     21296      6377    368245   no data   no data
30.73/7.78	c  N st    35    114966       488      2106         0     17072      6377    250905   no data   no data
36.27/9.11	c  N st    36    129363       488      2106         0     16458      6377    218160   no data   no data
43.90/11.07	c  N st    37    150959       488      2106         0     21883      6377    329102   no data   no data
46.65/11.77	c  S st    38    158054       488      2106         0     28820      6377    495201   no data   no data
47.05/11.85	c  S st    38    158558       488      2106         0     29324      6377    506266   no data   no data
47.05/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.05/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.05/11.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.05/11.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.05/11.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.05/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
47.05/11.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.05/11.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.05/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.64/12.29	c lits-rem:       162  cl-subs:     1893  v-elim:      0  v-fix:    0  time:  0.41 s
48.64/12.29	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
49.04/12.30	c vivif2 --  cl tried    27431 cl shrink        0 lits rem          0 time: 0.00
49.04/12.32	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
49.04/12.32	c calculated reachability. Time: 0.00
49.04/12.32	c  N st    38    158558       488      2106         0     27431      6377    463757   no data   no data
68.59/17.28	c  N st    39    207146       488      2106         0     22149      6377    305179   no data   no data
82.98/20.91	c  N st    40    237840       488      2106         0     32570      6377    528538   no data   no data
82.98/20.91	c  S st    40    237840       488      2106         0     32570      6377    528538   no data   no data
83.39/20.99	c  S st    40    238346       488      2106         0     33074      6377    539965   no data   no data
83.39/20.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.74/21.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.74/21.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.74/21.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.74/21.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.74/21.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
83.74/21.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
83.74/21.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.74/21.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.74/21.54	c lits-rem:       202  cl-subs:     1933  v-elim:      0  v-fix:    0  time:  0.52 s
85.74/21.54	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
85.74/21.55	c vivif2 --  cl tried    31141 cl shrink        0 lits rem          0 time: 0.01
85.74/21.57	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
85.74/21.57	c calculated reachability. Time: 0.00
85.74/21.57	c  N st    40    238346       488      2106         0     31141      6377    499157   no data   no data
116.86/29.30	c  F st    41    306251       488      2106         0     33013      6377    499880   no data   no data
116.86/29.30	c  N st    41    306251       488      2106         0     33013      6377    499880   no data   no data
119.25/29.93	c Decided on static restart strategy
131.24/32.93	c  N st    51    334557       488      2106         0     37405      6377    604859   no data   no data
143.59/36.03	c  N st    53    357520       488      2106         0     35392      6377    518801   no data   no data
143.59/36.03	c  S st    53    357520       488      2106         0     35392      6377    518801   no data   no data
143.99/36.12	c  S st    53    358025       488      2106         0     35897      6377    530366   no data   no data
143.99/36.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.99/36.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
143.99/36.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.99/36.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.99/36.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.99/36.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
143.99/36.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.99/36.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.99/36.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.17/36.49	c lits-rem:       196  cl-subs:     1492  v-elim:      0  v-fix:    0  time:  0.33 s
145.17/36.49	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
145.17/36.49	c vivif2 --  cl tried    34405 cl shrink        0 lits rem          0 time: 0.01
145.57/36.52	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
145.57/36.52	c calculated reachability. Time: 0.00
145.57/36.52	c  N st    53    358025       488      2106         0     34405      6377    496922   no data   no data
162.73/40.84	c  N st    54    390418       488      2106         0     40685      6377    647423   no data   no data
191.05/47.96	c  N st    55    439007       488      2106         0     34365      6377    454162   no data   no data
232.93/58.47	c  N st    56    511891       488      2106         0     47768      6377    745917   no data   no data
246.90/61.99	c  N st    57    537038       488      2106         0     42117      6377    607532   no data   no data
246.90/61.99	c  S st    57    537038       488      2106         0     42117      6377    607532   no data   no data
247.70/62.11	c  S st    57    537540       488      2106         0     42619      6377    619077   no data   no data
247.70/62.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
247.70/62.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
247.70/62.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
247.70/62.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.70/62.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.70/62.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
247.70/62.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
247.70/62.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
247.70/62.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.72/62.65	c lits-rem:       190  cl-subs:     1557  v-elim:      0  v-fix:    0  time:  0.50 s
249.72/62.65	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
249.72/62.65	c vivif2 --  cl tried    41062 cl shrink        0 lits rem          0 time: 0.01
249.72/62.68	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.03
249.72/62.69	c calculated reachability. Time: 0.00
249.72/62.69	c  N st    57    537540       488      2106         0     41062      6377    580275   no data   no data
360.59/90.46	c  N st    58    701524       488      2106         0     70253      6377   1272567   no data   no data
433.20/108.65	c  N st    59    806311       488      2106         0     64326      6377   1043984   no data   no data
433.20/108.65	c  S st    59    806311       488      2106         0     64326      6377   1043984   no data   no data
434.02/108.84	c  S st    59    806815       488      2106         0     64830      6377   1055236   no data   no data
434.02/108.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
434.02/108.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
434.02/108.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
434.02/108.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
434.02/108.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.02/108.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
434.02/108.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
434.02/108.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
434.44/108.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.80/111.08	c lits-rem:       571  cl-subs:     3649  v-elim:      0  v-fix:    0  time:  2.16 s
442.80/111.08	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
442.80/111.10	c vivif2 --  cl tried    61181 cl shrink        0 lits rem          0 time: 0.01
443.21/111.15	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.05
443.21/111.15	c calculated reachability. Time: 0.00
443.21/111.15	c  N st    59    806815       488      2106         0     61181      6377    976799   no data   no data
646.21/162.00	c  F st    60   1071876       488      2106         0     76591      6377   1262839   no data   no data
646.21/162.00	c  N st    60   1071876       488      2106         0     76591      6377   1262839   no data   no data
652.61/163.63	c Decided on static restart strategy
670.98/168.26	c  N st    70   1100179       488      2106         0     60588      6377    836922   no data   no data
706.09/177.02	c  N st    72   1136171       488      2106         0     50916      6377    589600   no data   no data
736.38/184.67	c  N st    73   1168564       488      2106         0     82515      6377   1373325   no data   no data
774.26/194.10	c  N st    74   1210222       488      2106         0     77340      6377   1234618   no data   no data
774.26/194.10	c  S st    74   1210222       488      2106         0     77340      6377   1234618   no data   no data
775.46/194.44	c  S st    74   1210725       488      2106         0     77842      6377   1246366   no data   no data
775.46/194.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
775.46/194.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
775.46/194.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
775.46/194.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
775.46/194.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.46/194.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
775.46/194.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
775.87/194.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
775.87/194.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
796.60/199.72	c lits-rem:       560  cl-subs:     3588  v-elim:      0  v-fix:    0  time:  5.17 s
796.60/199.72	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
796.60/199.74	c vivif2 --  cl tried    74254 cl shrink        0 lits rem          0 time: 0.02
797.00/199.84	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
797.00/199.84	c calculated reachability. Time: 0.00
797.00/199.84	c  N st    74   1210725       488      2106         0     74254      6377   1157272   no data   no data
872.39/218.77	c  N st    75   1283609       488      2106         0     50605      6377    519166   no data   no data
977.30/245.04	c  N st    76   1392932       488      2106         0     58573      6377    682626   no data   no data
1139.26/285.61	c  N st    77   1556918       488      2106         0     63358      6377    759685   no data   no data
1297.63/325.37	c  N st    78   1710728       488      2106         0    104876      6377   1736209   no data   no data
1297.63/325.37	c  S st    78   1710728       488      2106         0    104876      6377   1736209   no data   no data
1299.22/325.73	c  S st    78   1711231       488      2106         0    105379      6377   1748167   no data   no data
1299.22/325.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1299.22/325.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1299.22/325.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1299.22/325.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1299.22/325.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.22/325.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
1299.22/325.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1299.61/325.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1299.61/325.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1352.66/339.10	c lits-rem:       890  cl-subs:    10258  v-elim:      0  v-fix:    0  time: 13.24 s
1352.66/339.10	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1352.66/339.12	c vivif2 --  cl tried    95121 cl shrink        0 lits rem          0 time: 0.02
1353.06/339.23	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
1353.06/339.23	c calculated reachability. Time: 0.00
1353.06/339.23	c  N st    78   1711231       488      2106         0     95121      6377   1510935   no data   no data
1781.54/446.63	c  N st    79   2080197       488      2106         0    106834      6377   1628153   no data   no data
1942.65/487.02	c  N st    80   2211231       488      2106         0    110946      6377   1677126   no data   no data
1942.65/487.02	c  S st    80   2211231       488      2106         0    110946      6377   1677126   no data   no data
1944.24/487.41	c  S st    80   2211736       488      2106         0    111451      6377   1688971   no data   no data
1944.24/487.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1944.24/487.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1944.24/487.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1944.24/487.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1944.24/487.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1944.24/487.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
1944.24/487.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1944.64/487.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1944.64/487.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1980.55/496.56	c lits-rem:      1043  cl-subs:     8844  v-elim:      0  v-fix:    0  time:  9.01 s
1980.55/496.56	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1980.55/496.58	c vivif2 --  cl tried   102607 cl shrink        0 lits rem          0 time: 0.02
1980.95/496.69	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.11
1981.35/496.70	c calculated reachability. Time: 0.00
1981.35/496.70	c  N st    80   2211736       488      2106         0    102607      6377   1512628   no data   no data
2599.25/651.64	c  N st    81   2711738       488      2106         0    126367      6377   1998151   no data   no data
2599.25/651.64	c  S st    81   2711738       488      2106         0    126367      6377   1998151   no data   no data
2601.25/652.10	c  S st    81   2712242       488      2106         0    126870      6377   2010292   no data   no data
2601.25/652.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2601.25/652.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2601.25/652.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2601.25/652.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2601.25/652.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2601.25/652.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
2601.25/652.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2601.25/652.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2601.67/652.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2654.72/665.57	c lits-rem:       848  cl-subs:     9204  v-elim:      0  v-fix:    0  time: 13.31 s
2654.72/665.57	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
2655.07/665.60	c vivif2 --  cl tried   117666 cl shrink        0 lits rem          0 time: 0.03
2655.47/665.74	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.13
2655.47/665.74	c calculated reachability. Time: 0.00
2655.47/665.74	c  N st    81   2712242       488      2106         0    117666      6377   1814842   no data   no data
3359.51/842.20	c  N st    82   3212243       488      2106         0     93753      6377   1137898   no data   no data
3359.51/842.20	c  S st    82   3212243       488      2106         0     93753      6377   1137898   no data   no data
3360.73/842.55	c  S st    82   3212745       488      2106         0     94255      6377   1149331   no data   no data
3360.73/842.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3360.73/842.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3360.73/842.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3360.73/842.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3360.73/842.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3360.73/842.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
3360.73/842.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3361.15/842.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3361.15/842.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3366.68/844.04	c lits-rem:       529  cl-subs:     2073  v-elim:      0  v-fix:    0  time:  1.37 s
3366.68/844.04	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
3366.68/844.06	c vivif2 --  cl tried    92182 cl shrink        0 lits rem          0 time: 0.02
3367.08/844.15	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.09
3367.08/844.15	c calculated reachability. Time: 0.00
3367.08/844.15	c  N st    82   3212745       488      2106         0     92182      6377   1100997   no data   no data
4098.65/1027.57	c  N st    83   3712745       488      2106         0    102667      6377   1227740   no data   no data
4098.65/1027.57	c  S st    83   3712745       488      2106         0    102667      6377   1227740   no data   no data
4100.25/1027.91	c  S st    83   3713248       488      2106         0    103170      6377   1239828   no data   no data
4100.25/1027.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4100.25/1027.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4100.25/1027.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4100.25/1027.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4100.25/1027.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4100.25/1027.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
4100.25/1027.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4100.65/1028.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4100.65/1028.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4109.82/1030.30	c lits-rem:       247  cl-subs:     4062  v-elim:      0  v-fix:    0  time:  2.27 s
4109.82/1030.30	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
4109.82/1030.32	c vivif2 --  cl tried    99108 cl shrink        0 lits rem          0 time: 0.02
4110.22/1030.46	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.13
4110.22/1030.46	c calculated reachability. Time: 0.00
4110.22/1030.46	c  N st    83   3713248       488      2106         0     99108      6377   1151955   no data   no data
4174.03/1046.40	c  F st    84   3751564       488      2106         0    136443      6377   2067038   no data   no data
4174.03/1046.40	c  N st    84   3751564       488      2106         0    136443      6377   2067038   no data   no data
4186.05/1049.43	c Decided on static restart strategy
4231.88/1060.99	c  N st    94   3779869       488      2106         0    163981      6377   2717963   no data   no data
4275.75/1071.99	c  N st    96   3815864       488      2106         0    116634      6377   1629430   no data   no data
4328.81/1085.28	c  N st    97   3848257       488      2106         0    148212      6377   2447943   no data   no data
4413.37/1106.44	c  N st    98   3896845       488      2106         0    111580      6377   1390484   no data   no data
4548.99/1140.48	c  N st    99   3969727       488      2106         0     97602      6377   1049633   no data   no data
4715.32/1182.17	c  N st   100   4079050       488      2106         0    118573      6377   1577414   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-3366404-1305403431/watcher-3366404-1305403431 -o /tmp/evaluation-result-3366404-1305403431/solver-3366404-1305403431 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366404-1305403431.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: 7.42 7.99 8.04 8/354 18068
/proc/meminfo: memFree=24752776/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=216280 CPUtime=0.01 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 844 0 0 0 1 0 0 0 23 0 4 0 651940207 221470720 772 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 54070 772 358 95 0 49052 0
[pid=18068/tid=18069] ppid=18066 vsize=216852 CPUtime=0 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 160 0 0 0 0 0 0 0 24 0 4 0 651940208 222056448 990 33554432000 4194304 4580107 140735446569200 18446744073709551615 239476343653 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=216852 CPUtime=0 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 114 0 0 0 0 0 0 0 24 0 4 0 651940208 222056448 995 33554432000 4194304 4580107 140735446569200 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=216852 CPUtime=0 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 121 0 0 0 0 0 0 0 24 0 4 0 651940208 222056448 1001 33554432000 4194304 4580107 140735446569200 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0676489 s]
/proc/loadavg: 7.42 7.99 8.04 8/354 18068
/proc/meminfo: memFree=24752776/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=216984 CPUtime=0.24 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 1425 0 0 0 24 0 0 0 23 0 4 0 651940207 222191616 1353 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 54246 1354 377 95 0 49228 0
[pid=18068/tid=18069] ppid=18066 vsize=216984 CPUtime=0.06 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 261 0 0 0 6 0 0 0 18 0 4 0 651940208 222191616 1356 33554432000 4194304 4580107 140735446569200 18446744073709551615 4322552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=216984 CPUtime=0.05 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 238 0 0 0 5 0 0 0 24 0 4 0 651940208 222191616 1356 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=216984 CPUtime=0.06 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 181 0 0 0 6 0 0 0 18 0 4 0 651940208 222191616 1356 33554432000 4194304 4580107 140735446569200 18446744073709551615 239476392055 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 216984

[startup+0.100642 s]
/proc/loadavg: 7.42 7.99 8.04 8/354 18068
/proc/meminfo: memFree=24752776/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=217136 CPUtime=0.37 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 1601 0 0 0 37 0 0 0 23 0 4 0 651940207 222347264 1529 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 54284 1529 377 95 0 49266 0
[pid=18068/tid=18069] ppid=18066 vsize=217136 CPUtime=0.09 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 304 0 0 0 9 0 0 0 18 0 4 0 651940208 222347264 1529 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=217136 CPUtime=0.09 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 285 0 0 0 9 0 0 0 24 0 4 0 651940208 222347264 1529 33554432000 4194304 4580107 140735446569200 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=217136 CPUtime=0.09 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 221 0 0 0 9 0 0 0 18 0 4 0 651940208 222347264 1529 33554432000 4194304 4580107 140735446569200 18446744073709551615 4295365 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217136

[startup+0.300604 s]
/proc/loadavg: 7.42 7.99 8.04 8/354 18068
/proc/meminfo: memFree=24752776/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=218736 CPUtime=1.17 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 2668 0 0 0 117 0 0 0 23 0 4 0 651940207 223985664 2041 33554432000 4194304 4580107 140735446569200 18446744073709551615 4320840 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 54684 2042 377 95 0 49666 0
[pid=18068/tid=18069] ppid=18066 vsize=218736 CPUtime=0.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 580 0 0 0 29 0 0 0 18 0 4 0 651940208 223985664 2042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=218736 CPUtime=0.28 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 544 0 0 0 28 0 0 0 25 0 4 0 651940208 223985664 2042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=218736 CPUtime=0.29 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 493 0 0 0 29 0 0 0 18 0 4 0 651940208 223985664 2042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4341610 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218736

[startup+0.700529 s]
/proc/loadavg: 7.42 7.99 8.04 8/354 18068
/proc/meminfo: memFree=24752776/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=219864 CPUtime=2.77 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 4189 0 0 0 277 0 0 0 25 0 4 0 651940207 225140736 2716 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 54966 2716 377 95 0 49948 0
[pid=18068/tid=18069] ppid=18066 vsize=219864 CPUtime=0.69 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 966 0 0 0 69 0 0 0 18 0 4 0 651940208 225140736 2716 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=219864 CPUtime=0.68 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 909 0 0 0 68 0 0 0 25 0 4 0 651940208 225140736 2716 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=219864 CPUtime=0.69 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 884 0 0 0 69 0 0 0 18 0 4 0 651940208 225140736 2716 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219864

[startup+1.50038 s]
/proc/loadavg: 7.42 7.99 8.04 11/359 18073
/proc/meminfo: memFree=24729476/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=226668 CPUtime=5.95 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 8429 0 0 0 595 0 0 0 25 0 4 0 651940207 232108032 4615 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 56667 4615 379 95 0 51649 0
[pid=18068/tid=18069] ppid=18066 vsize=226668 CPUtime=1.49 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 1703 0 0 0 149 0 0 0 19 0 4 0 651940208 232108032 4615 33554432000 4194304 4580107 140735446569200 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=226668 CPUtime=1.47 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 1636 0 0 0 147 0 0 0 25 0 4 0 651940208 232108032 4615 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=226668 CPUtime=1.49 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 1630 0 0 0 149 0 0 0 20 0 4 0 651940208 232108032 4615 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 226668

[startup+3.10107 s]
/proc/loadavg: 7.46 7.99 8.04 11/359 18073
/proc/meminfo: memFree=24703932/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=225820 CPUtime=12.35 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 17213 0 0 0 1233 2 0 0 25 0 4 0 651940207 231239680 9042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 56455 9042 379 95 0 51437 0
[pid=18068/tid=18069] ppid=18066 vsize=225820 CPUtime=3.09 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 3769 0 0 0 309 0 0 0 25 0 4 0 651940208 231239680 9042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=225820 CPUtime=3.05 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 4588 0 0 0 305 0 0 0 25 0 4 0 651940208 231239680 9042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=225820 CPUtime=3.09 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 4431 0 0 0 309 0 0 0 25 0 4 0 651940208 231239680 9042 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 225820

[startup+6.30046 s]
/proc/loadavg: 7.46 7.99 8.04 10/359 18073
/proc/meminfo: memFree=24655820/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=233292 CPUtime=25.11 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 26331 0 0 0 2507 4 0 0 25 0 4 0 651940207 238891008 12729 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 58323 12729 379 95 0 53305 0
[pid=18068/tid=18069] ppid=18066 vsize=233292 CPUtime=6.28 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 6573 0 0 0 628 0 0 0 25 0 4 0 651940208 238891008 12729 33554432000 4194304 4580107 140735446569200 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=233292 CPUtime=6.22 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 6896 0 0 0 621 1 0 0 25 0 4 0 651940208 238891008 12729 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=233292 CPUtime=6.28 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 6306 0 0 0 628 0 0 0 25 0 4 0 651940208 238891008 12729 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 233292

[startup+12.7002 s]
/proc/loadavg: 7.54 7.99 8.04 11/359 18073
/proc/meminfo: memFree=24598280/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=255884 CPUtime=50.64 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 41375 0 0 0 5057 7 0 0 25 0 4 0 651940207 262025216 19958 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 63971 19958 379 95 0 58953 0
[pid=18068/tid=18069] ppid=18066 vsize=255884 CPUtime=12.69 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 10815 0 0 0 1268 1 0 0 25 0 4 0 651940208 262025216 19958 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=255884 CPUtime=12.55 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 9357 0 0 0 1254 1 0 0 25 0 4 0 651940208 262025216 19958 33554432000 4194304 4580107 140735446569200 18446744073709551615 4318363 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=255884 CPUtime=12.69 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 10473 0 0 0 1267 2 0 0 25 0 4 0 651940208 262025216 19958 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 255884

[startup+25.5008 s]
/proc/loadavg: 7.61 7.99 8.04 11/359 18076
/proc/meminfo: memFree=24561564/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=273376 CPUtime=101.69 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 60623 0 0 0 10157 12 0 0 25 0 4 0 651940207 279937024 25203 33554432000 4194304 4580107 140735446569200 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 68344 25203 379 95 0 63326 0
[pid=18068/tid=18069] ppid=18066 vsize=273376 CPUtime=25.49 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 16892 0 0 0 2546 3 0 0 25 0 4 0 651940208 279937024 25203 33554432000 4194304 4580107 140735446569200 18446744073709551615 4321384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=273376 CPUtime=25.2 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 14036 0 0 0 2518 2 0 0 25 0 4 0 651940208 279937024 25203 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=273376 CPUtime=25.49 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 14940 0 0 0 2546 3 0 0 25 0 4 0 651940208 279937024 25203 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 273376

[startup+51.1009 s]
/proc/loadavg: 8.11 8.07 8.07 10/359 18077
/proc/meminfo: memFree=24518100/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=287220 CPUtime=203.82 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 94419 0 0 0 20359 23 0 0 25 0 4 0 651940207 294113280 33100 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 71805 33100 379 95 0 66787 0
[pid=18068/tid=18069] ppid=18066 vsize=287220 CPUtime=51.08 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 26634 0 0 0 5103 5 0 0 25 0 4 0 651940208 294113280 33100 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=287220 CPUtime=50.53 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 22601 0 0 0 5048 5 0 0 25 0 4 0 651940208 294113280 33100 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=287220 CPUtime=51.09 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 23033 0 0 0 5103 6 0 0 25 0 4 0 651940208 294113280 33100 33554432000 4194304 4580107 140735446569200 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 287220

[startup+102.313 s]
/proc/loadavg: 8.20 8.09 8.07 11/359 18079
/proc/meminfo: memFree=24472280/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=288968 CPUtime=408.11 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 146512 0 0 0 40770 41 0 0 25 0 4 0 651940207 295903232 39325 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 72242 39325 379 95 0 67224 0
[pid=18068/tid=18069] ppid=18066 vsize=288968 CPUtime=102.3 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 39459 0 0 0 10221 9 0 0 25 0 4 0 651940208 295903232 39325 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=288968 CPUtime=101.18 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 34544 0 0 0 10108 10 0 0 25 0 4 0 651940208 295903232 39325 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=288968 CPUtime=102.3 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 37379 0 0 0 10220 10 0 0 25 0 4 0 651940208 295903232 39325 33554432000 4194304 4580107 140735446569200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 288968

[startup+162.301 s]

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

[pid=18068] ppid=18066 vsize=530016 CPUtime=2562.17 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 404715 0 0 0 256054 163 0 0 25 0 4 0 651940207 542736384 85783 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 132504 85783 379 95 0 127486 0
[pid=18068/tid=18069] ppid=18066 vsize=530016 CPUtime=642.3 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 119538 0 0 0 64182 48 0 0 25 0 4 0 651940208 542736384 85785 33554432000 4194304 4580107 140735446569200 18446744073709551615 4487369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=530016 CPUtime=635.21 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 77820 0 0 0 63490 31 0 0 25 0 4 0 651940208 542736384 85785 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=530016 CPUtime=642.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 120883 0 0 0 64183 49 0 0 25 0 4 0 651940208 542736384 85785 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2562.17
Current children cumulated vsize (KiB) 530016

[startup+702.3 s]
/proc/loadavg: 8.11 8.10 8.09 10/359 18095
/proc/meminfo: memFree=24122372/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=509744 CPUtime=2801.46 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 423945 0 0 0 279971 175 0 0 25 0 4 0 651940207 521977856 81886 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 127436 81886 379 95 0 122418 0
[pid=18068/tid=18069] ppid=18066 vsize=509744 CPUtime=702.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 125990 0 0 0 70176 53 0 0 25 0 4 0 651940208 521977856 81886 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=509744 CPUtime=694.52 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 82424 0 0 0 69418 34 0 0 25 0 4 0 651940208 521977856 81886 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=509744 CPUtime=702.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 126563 0 0 0 70179 53 0 0 25 0 4 0 651940208 521977856 81886 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.46
Current children cumulated vsize (KiB) 509744

[startup+762.314 s]
/proc/loadavg: 8.11 8.11 8.09 11/359 18096
/proc/meminfo: memFree=24101272/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=546296 CPUtime=3040.85 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 446386 0 0 0 303898 187 0 0 25 0 4 0 651940207 559407104 87862 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 136574 87862 379 95 0 131556 0
[pid=18068/tid=18069] ppid=18066 vsize=546296 CPUtime=762.3 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 133542 0 0 0 76174 56 0 0 25 0 4 0 651940208 559407104 87862 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=546296 CPUtime=753.86 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 84668 0 0 0 75352 34 0 0 25 0 4 0 651940208 559407104 87862 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=546296 CPUtime=762.33 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 132582 0 0 0 76177 56 0 0 25 0 4 0 651940208 559407104 87862 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.85
Current children cumulated vsize (KiB) 546296

[startup+822.3 s]
/proc/loadavg: 8.11 8.11 8.09 10/359 18098
/proc/meminfo: memFree=24100140/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=523792 CPUtime=3280.14 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 468635 0 0 0 327818 196 0 0 25 0 4 0 651940207 536363008 86697 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 130948 86697 379 95 0 125930 0
[pid=18068/tid=18069] ppid=18066 vsize=523792 CPUtime=822.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 142939 0 0 0 82170 59 0 0 25 0 4 0 651940208 536363008 86697 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=523792 CPUtime=813.19 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 88057 0 0 0 81282 37 0 0 25 0 4 0 651940208 536363008 86697 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=523792 CPUtime=822.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 138501 0 0 0 82173 59 0 0 25 0 4 0 651940208 536363008 86697 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.14
Current children cumulated vsize (KiB) 523792

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.09 11/359 18099
/proc/meminfo: memFree=24012692/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=523864 CPUtime=3519.45 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 491619 0 0 0 351740 205 0 0 25 0 4 0 651940207 536436736 102284 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 130966 102284 379 95 0 125948 0
[pid=18068/tid=18069] ppid=18066 vsize=523864 CPUtime=882.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 148549 0 0 0 88167 62 0 0 25 0 4 0 651940208 536436736 102284 33554432000 4194304 4580107 140735446569200 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=523864 CPUtime=872.5 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 90329 0 0 0 87212 38 0 0 25 0 4 0 651940208 536436736 102284 33554432000 4194304 4580107 140735446569200 18446744073709551615 4318774 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=523864 CPUtime=882.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 147561 0 0 0 88171 61 0 0 25 0 4 0 651940208 536436736 102284 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.45
Current children cumulated vsize (KiB) 523864

[startup+942.3 s]
/proc/loadavg: 8.06 8.10 8.09 10/359 18101
/proc/meminfo: memFree=24031528/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=524272 CPUtime=3758.8 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 501593 0 0 0 375668 212 0 0 25 0 4 0 651940207 536854528 99798 33554432000 4194304 4580107 140735446569200 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 131068 99798 379 95 0 126050 0
[pid=18068/tid=18069] ppid=18066 vsize=524272 CPUtime=942.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 153496 0 0 0 94165 64 0 0 25 0 4 0 651940208 536854528 99798 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=524272 CPUtime=931.84 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 90842 0 0 0 93146 38 0 0 25 0 4 0 651940208 536854528 99798 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=524272 CPUtime=942.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 151193 0 0 0 94168 64 0 0 25 0 4 0 651940208 536854528 99798 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.8
Current children cumulated vsize (KiB) 524272

[startup+1002.3 s]
/proc/loadavg: 8.21 8.12 8.10 11/359 18103
/proc/meminfo: memFree=24023176/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=549896 CPUtime=3998.13 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 518137 0 0 0 399592 221 0 0 25 0 4 0 651940207 563093504 106351 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 137474 106351 379 95 0 132456 0
[pid=18068/tid=18069] ppid=18066 vsize=549896 CPUtime=1002.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 158368 0 0 0 100163 66 0 0 25 0 4 0 651940208 563093504 106351 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=549896 CPUtime=991.16 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 90842 0 0 0 99078 38 0 0 25 0 4 0 651940208 563093504 106351 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=549896 CPUtime=1002.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 157401 0 0 0 100165 67 0 0 25 0 4 0 651940208 563093504 106351 33554432000 4194304 4580107 140735446569200 18446744073709551615 4291415 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.13
Current children cumulated vsize (KiB) 549896

[startup+1062.3 s]
/proc/loadavg: 8.22 8.13 8.10 10/359 18104
/proc/meminfo: memFree=23989796/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=614468 CPUtime=4237.46 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 536083 0 0 0 423517 229 0 0 25 0 4 0 651940207 629215232 110524 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 153617 110524 379 95 0 148599 0
[pid=18068/tid=18069] ppid=18066 vsize=614468 CPUtime=1062.29 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 163856 0 0 0 106161 68 0 0 25 0 4 0 651940208 629215232 110524 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=614468 CPUtime=1050.5 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 95041 0 0 0 105009 41 0 0 25 0 4 0 651940208 629215232 110524 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=614468 CPUtime=1062.32 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 164513 0 0 0 106162 70 0 0 25 0 4 0 651940208 629215232 110524 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.46
Current children cumulated vsize (KiB) 614468

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.09 11/359 18106
/proc/meminfo: memFree=23977004/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=615944 CPUtime=4476.79 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 548333 0 0 0 447443 236 0 0 25 0 4 0 651940207 630726656 115902 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 153986 115902 379 95 0 148968 0
[pid=18068/tid=18069] ppid=18066 vsize=615944 CPUtime=1122.3 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 168322 0 0 0 112159 71 0 0 25 0 4 0 651940208 630726656 115902 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=615944 CPUtime=1109.8 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 96485 0 0 0 110939 41 0 0 25 0 4 0 651940208 630726656 115902 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=615944 CPUtime=1122.33 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 170735 0 0 0 112159 74 0 0 25 0 4 0 651940208 630726656 115902 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.79
Current children cumulated vsize (KiB) 615944

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.09 11/359 18107
/proc/meminfo: memFree=23968436/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=616024 CPUtime=4716.11 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 557370 0 0 0 471370 241 0 0 25 0 4 0 651940207 630808576 114480 33554432000 4194304 4580107 140735446569200 18446744073709551615 4320087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 154006 114480 379 95 0 148988 0
[pid=18068/tid=18069] ppid=18066 vsize=616024 CPUtime=1182.3 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 174838 0 0 0 118155 75 0 0 25 0 4 0 651940208 630808576 114480 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=616024 CPUtime=1169.13 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 96485 0 0 0 116872 41 0 0 25 0 4 0 651940208 630808576 114480 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=616024 CPUtime=1182.33 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 173196 0 0 0 118158 75 0 0 25 0 4 0 651940208 630808576 114480 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.11
Current children cumulated vsize (KiB) 616024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.08 8.10 8.09 9/359 18108
/proc/meminfo: memFree=23974376/32950928 swapFree=67056568/67111528
[pid=18068] ppid=18066 vsize=616088 CPUtime=4800.34 cores=1,3,5,7
/proc/18068/stat : 18068 (strangenight2-m) R 18066 18068 17503 0 -1 4202496 561236 0 0 0 479791 243 0 0 25 0 4 0 651940207 630874112 114598 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18068/statm: 154022 114598 379 95 0 149004 0
[pid=18068/tid=18069] ppid=18066 vsize=616088 CPUtime=1203.42 cores=1,3,5,7
/proc/18068/task/18069/stat : 18069 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 177463 0 0 0 120266 76 0 0 25 0 4 0 651940208 630874112 114598 33554432000 4194304 4580107 140735446569200 18446744073709551615 4502518 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18068/tid=18070] ppid=18066 vsize=616088 CPUtime=1189.99 cores=1,3,5,7
/proc/18068/task/18070/stat : 18070 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 96485 0 0 0 118957 42 0 0 25 0 4 0 651940208 630874112 114598 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18068/tid=18071] ppid=18066 vsize=616088 CPUtime=1203.46 cores=1,3,5,7
/proc/18068/task/18071/stat : 18071 (strangenight2-m) R 18066 18068 17503 0 -1 4202560 174437 0 0 0 120270 76 0 0 25 0 4 0 651940208 630874112 114598 33554432000 4194304 4580107 140735446569200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 616088

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.45
CPU time (s): 4800.4
CPU user time (s): 4797.95
CPU system time (s): 2.45663
CPU usage (%): 398.886
Max. virtual memory (cumulated for all children) (KiB): 720208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.45663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561236
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= 223
involuntary context switches= 34350

runsolver used 3.81042 second user time and 9.67553 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 22:03:51
IDJOB=3366404
IDBENCH=82813
IDSOLVER=1844
FILE ID=node148/3366404-1305403431
RUNJOBID= node148-1305403431-18047
PBS_JOBID= 13324458
Free space on /tmp= 72836 MiB

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

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

MD5SUM BENCH= 12cee07ed764769ddb26400b2603221c
RANDOM SEED=110649419

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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:      24754180 kB
Buffers:        315276 kB
Cached:        4593536 kB
SwapCached:       8488 kB
Active:        4551908 kB
Inactive:      3293708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24754180 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           11380 kB
Writeback:           0 kB
AnonPages:     2934888 kB
Mapped:          27544 kB
Slab:           259000 kB
PageTables:      28964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84714280 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= 72832 MiB
End job on node148 at 2011-05-14 22:23:57