Trace number 3366487

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.18 1202.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
MD5SUMf154a23cd5dae9f4e2340ec192300943
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark111.453
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366487-1305405405.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 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
3.57/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     206 undec:      42 neg:     202
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       442      1909         0         0      5778         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4917       442      1909         0      4830      5778    100406   no data   no data
3.57/0.90	c  N st    10     11299       442      1909         0      4469      5778     66877   no data   no data
3.57/0.90	c  N st    11     17042       442      1909         0     10078      5778    185030   no data   no data
3.97/1.10	c  F st    12     25000       442      1909         0     12346      5778    227375   no data   no data
3.97/1.10	c  N st    12     25000       442      1909         0     12346      5778    227375   no data   no data
5.16/1.31	c Decided on static restart strategy
5.16/1.31	c  N st    18     30000       442      1909         0     10640      5778    180343   no data   no data
5.16/1.31	c  S st    18     30000       442      1909         0     10640      5778    180343   no data   no data
5.16/1.34	c  S st    18     30504       442      1909         0     11144      5778    190871   no data   no data
5.16/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.34	c blocked clauses removed:        7 vars:      1 tried:         442 T: 0.00 s
5.16/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.16/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       162  cl-subs:      714  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.41	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
5.56/1.41	c calculated reachability. Time: 0.00
5.56/1.41	c  N st    18     30504       441      1902         0     10407      5757    175318   no data   no data
7.17/1.81	c  N st    20     37615       441      1902         0      9661      5757    140963   no data   no data
8.37/2.17	c  N st    21     44015       441      1902         0     15907      5757    276677   no data   no data
8.79/2.30	c  S st    22     45756       441      1902         0      8890      5757    112118   no data   no data
9.20/2.33	c  S st    22     46259       441      1902         0      9392      5757    122425   no data   no data
9.20/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.20/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.20/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.20/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.20/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
9.20/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.20/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.20/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.35	c lits-rem:        37  cl-subs:      130  v-elim:      0  v-fix:    0  time:  0.01 s
9.20/2.35	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
9.20/2.35	c vivif2 --  cl tried     9262 cl shrink        0 lits rem          0 time: 0.00
9.20/2.35	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
9.20/2.35	c calculated reachability. Time: 0.00
9.20/2.35	c  N st    22     46259       441      1902         0      9262      5757    119917   no data   no data
12.76/3.21	c  N st    23     60658       441      1902         0     13605      5757    206673   no data   no data
15.14/3.85	c  N st    24     69389       441      1902         0     11398      5757    146687   no data   no data
15.14/3.85	c  S st    24     69389       441      1902         0     11398      5757    146687   no data   no data
15.14/3.89	c  S st    24     69893       441      1902         0     11897      5757    157213   no data   no data
15.14/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.14/3.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.14/3.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
15.14/3.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.91	c lits-rem:        54  cl-subs:      118  v-elim:      0  v-fix:    0  time:  0.01 s
15.54/3.91	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
15.54/3.91	c vivif2 --  cl tried    11779 cl shrink        0 lits rem          0 time: 0.00
15.54/3.92	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
15.54/3.92	c calculated reachability. Time: 0.00
15.54/3.92	c  N st    24     69893       441      1902         0     11779      5757    154653   no data   no data
20.33/5.14	c  F st    25     87500       441      1902         0     17266      5757    267221   no data   no data
20.33/5.14	c  N st    25     87500       441      1902         0     17266      5757    267221   no data   no data
21.96/5.53	c Decided on static restart strategy
22.72/5.78	c  N st    32     95539       441      1902         0     25129      5757    439741   no data   no data
25.12/6.38	c  N st    34    104842       441      1902         0     21518      5757    351968   no data   no data
25.12/6.38	c  S st    34    104842       441      1902         0     21518      5757    351968   no data   no data
25.52/6.44	c  S st    34    105348       441      1902         0     22024      5757    362786   no data   no data
25.52/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.52/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.52/6.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.52/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.52/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
25.52/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.52/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.52/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.63	c lits-rem:       146  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  0.17 s
26.35/6.63	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
26.35/6.64	c vivif2 --  cl tried    20924 cl shrink        0 lits rem          0 time: 0.00
26.35/6.65	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
26.35/6.65	c calculated reachability. Time: 0.00
26.35/6.65	c  N st    34    105348       441      1902         0     20924      5757    337148   no data   no data
29.52/7.41	c  N st    35    114947       441      1902         0     16655      5757    225717   no data   no data
34.70/8.72	c  N st    36    129344       441      1902         0     16059      5757    195238   no data   no data
41.88/10.54	c  N st    37    150939       441      1902         0     21481      5757    300118   no data   no data
44.31/11.15	c  S st    38    158022       441      1902         0     28361      5757    442493   no data   no data
44.67/11.23	c  S st    38    158528       441      1902         0     28867      5757    452906   no data   no data
44.67/11.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.67/11.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.67/11.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.67/11.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.67/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.67/11.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
44.67/11.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.67/11.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.67/11.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.87/11.59	c lits-rem:       141  cl-subs:     1729  v-elim:      0  v-fix:    0  time:  0.33 s
45.87/11.59	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
45.87/11.60	c vivif2 --  cl tried    27138 cl shrink        0 lits rem          0 time: 0.00
46.27/11.61	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
46.27/11.61	c calculated reachability. Time: 0.00
46.27/11.61	c  N st    38    158528       441      1902         0     27138      5757    419068   no data   no data
65.43/16.40	c  N st    39    207116       441      1902         0     21940      5757    284450   no data   no data
78.20/19.62	c  N st    40    237793       441      1902         0     32357      5757    517594   no data   no data
78.20/19.62	c  S st    40    237793       441      1902         0     32357      5757    517594   no data   no data
78.60/19.70	c  S st    40    238296       441      1902         0     32860      5757    528695   no data   no data
78.60/19.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.60/19.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.60/19.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.60/19.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.60/19.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.60/19.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
78.60/19.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.60/19.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.60/19.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.19/20.14	c lits-rem:       168  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  0.40 s
80.19/20.14	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
80.19/20.15	c vivif2 --  cl tried    31528 cl shrink        0 lits rem          0 time: 0.01
80.19/20.17	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
80.19/20.17	c calculated reachability. Time: 0.00
80.19/20.17	c  N st    40    238296       441      1902         0     31528      5757    497984   no data   no data
109.76/27.54	c  F st    41    306251       441      1902         0     33411      5757    475798   no data   no data
109.76/27.54	c  N st    41    306251       441      1902         0     33411      5757    475798   no data   no data
112.52/28.23	c Decided on static restart strategy
124.10/31.18	c  N st    51    334553       441      1902         0     37570      5757    544990   no data   no data
135.67/34.02	c  N st    53    357449       441      1902         0     35514      5757    480051   no data   no data
135.67/34.02	c  S st    53    357449       441      1902         0     35514      5757    480051   no data   no data
136.10/34.11	c  S st    53    357954       441      1902         0     36016      5757    490835   no data   no data
136.10/34.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.10/34.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.10/34.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.10/34.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.10/34.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.10/34.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
136.10/34.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.10/34.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.10/34.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.27/34.49	c lits-rem:       222  cl-subs:     1687  v-elim:      0  v-fix:    0  time:  0.34 s
137.27/34.49	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
137.27/34.50	c vivif2 --  cl tried    34329 cl shrink        0 lits rem          0 time: 0.01
137.67/34.52	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
137.67/34.52	c calculated reachability. Time: 0.00
137.67/34.52	c  N st    53    357954       441      1902         0     34329      5757    457821   no data   no data
152.83/38.39	c  N st    54    390346       441      1902         0     40518      5757    593439   no data   no data
179.56/45.10	c  N st    55    438934       441      1902         0     34228      5757    408269   no data   no data
219.07/54.98	c  N st    56    511817       441      1902         0     47760      5757    682849   no data   no data
235.03/58.97	c  N st    57    536931       441      1902         0     42089      5757    538887   no data   no data
235.03/58.97	c  S st    57    536931       441      1902         0     42089      5757    538887   no data   no data
235.43/59.08	c  S st    57    537433       441      1902         0     42589      5757    549387   no data   no data
235.43/59.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.43/59.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.43/59.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.43/59.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.43/59.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.43/59.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
235.43/59.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.83/59.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.83/59.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.82/59.62	c lits-rem:       105  cl-subs:     2094  v-elim:      0  v-fix:    0  time:  0.50 s
237.82/59.62	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
237.82/59.63	c vivif2 --  cl tried    40495 cl shrink        0 lits rem          0 time: 0.01
237.82/59.66	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.03
237.82/59.66	c calculated reachability. Time: 0.00
237.82/59.66	c  N st    57    537433       441      1902         0     40495      5757    508826   no data   no data
349.57/87.62	c  N st    58    701417       441      1902         0     69489      5757   1058229   no data   no data
423.00/106.04	c  N st    59    806150       441      1902         0     63262      5757    892148   no data   no data
423.00/106.04	c  S st    59    806150       441      1902         0     63262      5757    892148   no data   no data
423.80/106.24	c  S st    59    806654       441      1902         0     63764      5757    903105   no data   no data
423.80/106.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
423.80/106.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
423.80/106.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
423.80/106.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
423.80/106.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.80/106.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
423.80/106.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.80/106.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
424.19/106.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
433.77/108.74	c lits-rem:       293  cl-subs:     5664  v-elim:      0  v-fix:    0  time:  2.43 s
433.77/108.74	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
433.77/108.76	c vivif2 --  cl tried    58100 cl shrink        0 lits rem          0 time: 0.01
434.17/108.80	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.05
434.17/108.81	c calculated reachability. Time: 0.00
434.17/108.81	c  N st    59    806654       441      1902         0     58100      5757    799582   no data   no data
644.48/161.54	c  F st    60   1071875       441      1902         0     73669      5757   1042832   no data   no data
644.48/161.54	c  N st    60   1071875       441      1902         0     73669      5757   1042832   no data   no data
650.11/162.91	c Decided on static restart strategy
669.62/167.88	c  N st    70   1100182       441      1902         0     57755      5757    701054   no data   no data
703.93/176.44	c  N st    72   1136175       441      1902         0     48191      5757    489967   no data   no data
728.72/182.70	c  N st    73   1168568       441      1902         0     79625      5757   1167082   no data   no data
768.98/192.75	c  N st    74   1209982       441      1902         0     74180      5757   1029063   no data   no data
768.98/192.75	c  S st    74   1209982       441      1902         0     74180      5757   1029063   no data   no data
770.18/193.05	c  S st    74   1210485       441      1902         0     74680      5757   1039795   no data   no data
770.18/193.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
770.18/193.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
770.57/193.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
770.57/193.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
770.57/193.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
770.57/193.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
770.57/193.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
770.57/193.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
770.57/193.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.35/196.85	c lits-rem:       392  cl-subs:     5070  v-elim:      0  v-fix:    0  time:  3.69 s
785.35/196.85	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
785.35/196.86	c vivif2 --  cl tried    69610 cl shrink        0 lits rem          0 time: 0.01
785.78/196.95	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.09
785.78/196.95	c calculated reachability. Time: 0.00
785.78/196.95	c  N st    74   1210485       441      1902         0     69610      5757    944657   no data   no data
853.17/213.83	c  N st    75   1283367       441      1902         0     94047      5757   1471678   no data   no data
958.51/240.27	c  N st    76   1392691       441      1902         0     54561      5757    563923   no data   no data
1108.56/277.82	c  N st    77   1556678       441      1902         0     59351      5757    615788   no data   no data
1259.01/315.57	c  N st    78   1710488       441      1902         0    100760      5757   1474624   no data   no data
1259.01/315.57	c  S st    78   1710488       441      1902         0    100760      5757   1474624   no data   no data
1260.60/315.93	c  S st    78   1710993       441      1902         0    101262      5757   1485704   no data   no data
1260.60/315.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1260.60/315.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1260.60/315.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1260.60/315.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1260.60/315.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1260.60/315.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1260.60/315.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1261.00/316.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1261.00/316.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1290.13/323.35	c lits-rem:      1003  cl-subs:     9496  v-elim:      0  v-fix:    0  time:  7.29 s
1290.13/323.35	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
1290.13/323.37	c vivif2 --  cl tried    91766 cl shrink        0 lits rem          0 time: 0.02
1290.56/323.46	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.10
1290.56/323.46	c calculated reachability. Time: 0.00
1290.56/323.46	c  N st    78   1710993       441      1902         0     91766      5757   1312427   no data   no data
1691.96/424.02	c  N st    79   2079957       441      1902         0    103313      5757   1412052   no data   no data
1832.43/459.28	c  N st    80   2210993       441      1902         0    107217      5757   1451424   no data   no data
1832.43/459.28	c  S st    80   2210993       441      1902         0    107217      5757   1451424   no data   no data
1834.03/459.69	c  S st    80   2211496       441      1902         0    107717      5757   1462965   no data   no data
1834.03/459.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1834.43/459.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1834.43/459.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1834.43/459.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1834.43/459.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1834.43/459.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1834.43/459.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1834.43/459.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1834.86/459.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1866.75/467.81	c lits-rem:      1446  cl-subs:    14561  v-elim:      0  v-fix:    0  time:  8.00 s
1866.75/467.81	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
1866.75/467.83	c vivif2 --  cl tried    93156 cl shrink        0 lits rem          0 time: 0.02
1867.15/467.93	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.10
1867.15/467.93	c calculated reachability. Time: 0.00
1867.15/467.93	c  N st    80   2211496       441      1902         0     93156      5757   1222386   no data   no data
2397.14/600.72	c  N st    81   2711497       441      1902         0    117517      5757   1744507   no data   no data
2397.14/600.72	c  S st    81   2711497       441      1902         0    117517      5757   1744507   no data   no data
2398.70/601.13	c  S st    81   2712001       441      1902         0    118018      5757   1756044   no data   no data
2398.70/601.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2398.70/601.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2398.70/601.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2398.70/601.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2398.70/601.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2398.70/601.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
2398.70/601.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2399.10/601.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2399.10/601.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2439.39/611.33	c lits-rem:       806  cl-subs:     9612  v-elim:      0  v-fix:    0  time: 10.05 s
2439.39/611.33	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
2439.39/611.35	c vivif2 --  cl tried   108406 cl shrink        0 lits rem          0 time: 0.02
2439.79/611.47	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.12
2439.79/611.48	c calculated reachability. Time: 0.00
2439.79/611.48	c  N st    81   2712001       441      1902         0    108406      5757   1563027   no data   no data
3098.59/776.50	c  N st    82   3212003       441      1902         0     84222      5757    861945   no data   no data
3098.59/776.50	c  S st    82   3212003       441      1902         0     84222      5757    861945   no data   no data
3099.78/776.88	c  S st    82   3212509       441      1902         0     84727      5757    872959   no data   no data
3099.78/776.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3100.18/776.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3100.18/776.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3100.18/776.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3100.18/776.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3100.18/776.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3100.18/776.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3100.18/776.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3100.18/776.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3102.98/777.70	c lits-rem:       112  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.71 s
3102.98/777.70	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
3103.41/777.72	c vivif2 --  cl tried    83087 cl shrink        0 lits rem          0 time: 0.01
3103.81/777.83	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.11
3103.81/777.83	c calculated reachability. Time: 0.00
3103.81/777.83	c  N st    82   3212509       441      1902         0     83087      5757    842333   no data   no data
3804.49/953.48	c  N st    83   3712509       441      1902         0     93368      5757    955005   no data   no data
3804.49/953.48	c  S st    83   3712509       441      1902         0     93368      5757    955005   no data   no data
3805.72/953.76	c  S st    83   3713013       441      1902         0     93872      5757    966332   no data   no data
3805.72/953.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3805.72/953.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3805.72/953.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3805.72/953.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3805.72/953.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3805.72/953.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3805.72/953.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3806.12/953.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3806.12/953.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3810.51/954.91	c lits-rem:       146  cl-subs:     3412  v-elim:      0  v-fix:    0  time:  1.05 s
3810.51/954.91	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
3810.51/954.92	c vivif2 --  cl tried    90460 cl shrink        0 lits rem          0 time: 0.02
3810.86/955.01	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.09
3810.86/955.02	c calculated reachability. Time: 0.00
3810.86/955.02	c  N st    83   3713013       441      1902         0     90460      5757    907393   no data   no data
3863.54/968.23	c  F st    84   3751562       441      1902         0    127693      5757   1696806   no data   no data
3863.54/968.23	c  N st    84   3751562       441      1902         0    127693      5757   1696806   no data   no data
3877.51/971.77	c Decided on static restart strategy
3919.02/982.11	c  N st    94   3779867       441      1902         0    155095      5757   2295896   no data   no data
3968.53/994.52	c  N st    96   3815859       441      1902         0    108106      5757   1317045   no data   no data
4015.19/1006.20	c  N st    97   3848251       441      1902         0    139300      5757   1962763   no data   no data
4085.01/1023.74	c  N st    98   3896840       441      1902         0    103412      5757   1175404   no data   no data
4200.32/1052.65	c  N st    99   3969724       441      1902         0     89656      5757    847686   no data   no data
4359.55/1092.56	c  N st   100   4079048       441      1902         0    110646      5757   1323456   no data   no data
4575.04/1146.56	c  N st   101   4213013       441      1902         0    153756      5757   2198072   no data   no data
4575.04/1146.56	c  S st   101   4213013       441      1902         0    153756      5757   2198072   no data   no data
4577.44/1147.17	c  S st   101   4213521       441      1902         0    154260      5757   2209174   no data   no data
4577.44/1147.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4577.84/1147.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4577.84/1147.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4577.84/1147.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4577.84/1147.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4577.84/1147.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
4577.84/1147.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4577.84/1147.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4578.26/1147.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4660.82/1168.08	c lits-rem:       757  cl-subs:    15364  v-elim:      0  v-fix:    0  time: 20.72 s
4660.82/1168.08	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
4661.22/1168.11	c vivif2 --  cl tried   138896 cl shrink        0 lits rem          0 time: 0.03
4661.65/1168.27	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.16
4661.65/1168.27	c calculated reachability. Time: 0.00
4661.65/1168.27	c  N st   101   4213521       441      1902         0    138896      5757   1918345   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-3366487-1305405405/watcher-3366487-1305405405 -o /tmp/evaluation-result-3366487-1305405405/solver-3366487-1305405405 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366487-1305405405.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.11 7.98 8.02 6/304 17239
/proc/meminfo: memFree=12174460/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 407 0 0 0 2 0 0 0 21 0 4 0 652138344 52396032 347 33554432000 4194304 4580107 140735225071632 18446744073709551615 47692619360172 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 12792 347 299 95 0 7774 0
[pid=17239/tid=17240] ppid=17236 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652138344 52396032 347 33554432000 4194304 4580107 140735225071632 18446744073709551615 47692619360178 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652138344 52396032 347 33554432000 4194304 4580107 140735225071632 18446744073709551615 47692619360172 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652138344 52396032 347 33554432000 4194304 4580107 140735225071632 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.110437 s]
/proc/loadavg: 7.11 7.98 8.02 6/304 17239
/proc/meminfo: memFree=12174460/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=282140 CPUtime=0.41 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 1610 0 0 0 41 0 0 0 18 0 4 0 652138344 288911360 1510 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 70535 1510 377 95 0 65517 0
[pid=17239/tid=17240] ppid=17236 vsize=282140 CPUtime=0.1 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 304 0 0 0 10 0 0 0 18 0 4 0 652138344 288911360 1511 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=282140 CPUtime=0.1 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 344 0 0 0 10 0 0 0 18 0 4 0 652138344 288911360 1511 33554432000 4194304 4580107 140735225071632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=282140 CPUtime=0.09 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 242 0 0 0 9 0 0 0 24 0 4 0 652138344 288911360 1511 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282140

[startup+0.20042 s]
/proc/loadavg: 7.11 7.98 8.02 6/304 17239
/proc/meminfo: memFree=12174460/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=283340 CPUtime=0.77 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 2175 0 0 0 77 0 0 0 18 0 4 0 652138344 290140160 1569 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 70835 1569 377 95 0 65817 0
[pid=17239/tid=17240] ppid=17236 vsize=283340 CPUtime=0.19 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 451 0 0 0 19 0 0 0 18 0 4 0 652138344 290140160 1569 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=283340 CPUtime=0.19 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 484 0 0 0 19 0 0 0 18 0 4 0 652138344 290140160 1569 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=283340 CPUtime=0.18 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 375 0 0 0 18 0 0 0 24 0 4 0 652138344 290140160 1569 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283340

[startup+0.300402 s]
/proc/loadavg: 7.11 7.98 8.02 6/304 17239
/proc/meminfo: memFree=12174460/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=283508 CPUtime=1.17 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 2572 0 0 0 117 0 0 0 18 0 4 0 652138344 290312192 1966 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 70877 1966 377 95 0 65859 0
[pid=17239/tid=17240] ppid=17236 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 554 0 0 0 29 0 0 0 18 0 4 0 652138344 290312192 1966 33554432000 4194304 4580107 140735225071632 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 585 0 0 0 29 0 0 0 18 0 4 0 652138344 290312192 1966 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=283508 CPUtime=0.28 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 473 0 0 0 28 0 0 0 25 0 4 0 652138344 290312192 1966 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283508

[startup+0.700329 s]
/proc/loadavg: 7.11 7.98 8.02 6/304 17239
/proc/meminfo: memFree=12174460/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=284676 CPUtime=2.78 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 4288 0 0 0 277 1 0 0 18 0 4 0 652138344 291508224 2397 33554432000 4194304 4580107 140735225071632 18446744073709551615 4339024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 71169 2397 377 95 0 66151 0
[pid=17239/tid=17240] ppid=17236 vsize=284676 CPUtime=0.69 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 922 0 0 0 69 0 0 0 18 0 4 0 652138344 291508224 2397 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=284676 CPUtime=0.69 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 1082 0 0 0 69 0 0 0 18 0 4 0 652138344 291508224 2397 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=284676 CPUtime=0.68 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 969 0 0 0 68 0 0 0 25 0 4 0 652138344 291508224 2397 33554432000 4194304 4580107 140735225071632 18446744073709551615 4323683 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284676

[startup+1.50018 s]
/proc/loadavg: 7.11 7.98 8.02 11/308 17243
/proc/meminfo: memFree=12150248/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=287964 CPUtime=5.96 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 8127 0 0 0 595 1 0 0 20 0 4 0 652138344 294875136 4289 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 71991 4289 379 95 0 66973 0
[pid=17239/tid=17240] ppid=17236 vsize=287964 CPUtime=1.49 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 1611 0 0 0 149 0 0 0 20 0 4 0 652138344 294875136 4289 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=287964 CPUtime=1.48 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 1689 0 0 0 148 0 0 0 20 0 4 0 652138344 294875136 4289 33554432000 4194304 4580107 140735225071632 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=287964 CPUtime=1.47 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 1574 0 0 0 147 0 0 0 25 0 4 0 652138344 294875136 4289 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287964

[startup+3.10089 s]
/proc/loadavg: 7.11 7.98 8.02 10/308 17243
/proc/meminfo: memFree=12107400/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=289480 CPUtime=12.36 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 17021 0 0 0 1233 3 0 0 25 0 4 0 652138344 296427520 8144 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 72370 8144 379 95 0 67352 0
[pid=17239/tid=17240] ppid=17236 vsize=289480 CPUtime=3.09 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 3716 0 0 0 309 0 0 0 25 0 4 0 652138344 296427520 8144 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=289480 CPUtime=3.09 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 4686 0 0 0 308 1 0 0 25 0 4 0 652138344 296427520 8144 33554432000 4194304 4580107 140735225071632 18446744073709551615 4321809 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=289480 CPUtime=3.06 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 4037 0 0 0 306 0 0 0 25 0 4 0 652138344 296427520 8144 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 289480

[startup+6.30029 s]
/proc/loadavg: 7.26 7.99 8.02 11/308 17243
/proc/meminfo: memFree=12072076/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=291304 CPUtime=25.12 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 26367 0 0 0 2507 5 0 0 25 0 4 0 652138344 298295296 11627 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 72826 11627 379 95 0 67808 0
[pid=17239/tid=17240] ppid=17236 vsize=291304 CPUtime=6.29 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 6733 0 0 0 628 1 0 0 25 0 4 0 652138344 298295296 11628 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=291304 CPUtime=6.29 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 7303 0 0 0 627 2 0 0 25 0 4 0 652138344 298295296 11628 33554432000 4194304 4580107 140735225071632 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=291304 CPUtime=6.23 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 5728 0 0 0 623 0 0 0 25 0 4 0 652138344 298295296 11628 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 291304

[startup+12.7011 s]
/proc/loadavg: 7.32 7.99 8.02 10/308 17244
/proc/meminfo: memFree=12010888/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=297528 CPUtime=50.66 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 42606 0 0 0 5058 8 0 0 25 0 4 0 652138344 304668672 16331 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 74382 16331 379 95 0 69364 0
[pid=17239/tid=17240] ppid=17236 vsize=297528 CPUtime=12.68 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 10589 0 0 0 1267 1 0 0 25 0 4 0 652138344 304668672 16331 33554432000 4194304 4580107 140735225071632 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=297528 CPUtime=12.68 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 10430 0 0 0 1266 2 0 0 25 0 4 0 652138344 304668672 16331 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=297528 CPUtime=12.57 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 9864 0 0 0 1256 1 0 0 25 0 4 0 652138344 304668672 16331 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 297528

[startup+25.5007 s]
/proc/loadavg: 7.54 8.01 8.02 10/308 17244
/proc/meminfo: memFree=11965160/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=302944 CPUtime=101.74 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 65626 0 0 0 10161 13 0 0 25 0 4 0 652138344 310214656 22236 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 75736 22236 379 95 0 70718 0
[pid=17239/tid=17240] ppid=17236 vsize=302944 CPUtime=25.48 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 17049 0 0 0 2546 2 0 0 25 0 4 0 652138344 310214656 22236 33554432000 4194304 4580107 140735225071632 18446744073709551615 4296111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=302944 CPUtime=25.49 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 16408 0 0 0 2545 4 0 0 25 0 4 0 652138344 310214656 22236 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=302944 CPUtime=25.25 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 14336 0 0 0 2523 2 0 0 25 0 4 0 652138344 310214656 22236 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 302944

[startup+51.101 s]
/proc/loadavg: 7.69 8.01 8.02 9/308 17245
/proc/meminfo: memFree=11903664/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=298416 CPUtime=203.91 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 99291 0 0 0 20369 22 0 0 25 0 4 0 652138344 305577984 28827 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 74604 28827 379 95 0 69586 0
[pid=17239/tid=17240] ppid=17236 vsize=298416 CPUtime=51.09 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 26038 0 0 0 5103 6 0 0 25 0 4 0 652138344 305577984 28827 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=298416 CPUtime=51.08 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 25106 0 0 0 5103 5 0 0 25 0 4 0 652138344 305577984 28827 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=298416 CPUtime=50.61 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 21987 0 0 0 5058 3 0 0 25 0 4 0 652138344 305577984 28827 33554432000 4194304 4580107 140735225071632 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 298416

[startup+102.301 s]
/proc/loadavg: 7.99 8.03 8.03 10/308 17246
/proc/meminfo: memFree=11843640/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=312992 CPUtime=408.26 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 149486 0 0 0 40789 37 0 0 25 0 4 0 652138344 320503808 32750 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 78248 32750 379 95 0 73230 0
[pid=17239/tid=17240] ppid=17236 vsize=312992 CPUtime=102.3 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 39256 0 0 0 10220 10 0 0 25 0 4 0 652138344 320503808 32750 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=312992 CPUtime=102.29 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 37396 0 0 0 10220 9 0 0 25 0 4 0 652138344 320503808 32750 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=312992 CPUtime=101.34 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 35364 0 0 0 10128 6 0 0 25 0 4 0 652138344 320503808 32750 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 312992

[startup+162.3 s]

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

[pid=17239] ppid=17236 vsize=483416 CPUtime=2563.09 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 463668 0 0 0 256164 145 0 0 25 0 4 0 652138344 495017984 75426 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 120854 75426 379 95 0 115836 0
[pid=17239/tid=17240] ppid=17236 vsize=483416 CPUtime=642.31 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 116818 0 0 0 64195 36 0 0 25 0 4 0 652138344 495017984 75426 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=483416 CPUtime=642.3 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 117934 0 0 0 64194 36 0 0 25 0 4 0 652138344 495017984 75426 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=483416 CPUtime=636.14 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 111872 0 0 0 63583 31 0 0 25 0 4 0 652138344 495017984 75426 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.09
Current children cumulated vsize (KiB) 483416

[startup+702.3 s]
/proc/loadavg: 8.06 8.12 8.08 10/308 17262
/proc/meminfo: memFree=11426792/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=472584 CPUtime=2802.5 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 488098 0 0 0 280096 154 0 0 25 0 4 0 652138344 483926016 72505 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 118146 72505 379 95 0 113128 0
[pid=17239/tid=17240] ppid=17236 vsize=472584 CPUtime=702.31 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 124315 0 0 0 70192 39 0 0 25 0 4 0 652138344 483926016 72505 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=472584 CPUtime=702.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 124523 0 0 0 70192 39 0 0 25 0 4 0 652138344 483926016 72505 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=472584 CPUtime=695.56 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 118848 0 0 0 69521 35 0 0 25 0 4 0 652138344 483926016 72505 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.5
Current children cumulated vsize (KiB) 472584

[startup+762.301 s]
/proc/loadavg: 8.20 8.15 8.10 10/308 17264
/proc/meminfo: memFree=11394900/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=460636 CPUtime=3041.96 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 512448 0 0 0 304034 162 0 0 25 0 4 0 652138344 471691264 77096 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 115159 77096 379 95 0 110141 0
[pid=17239/tid=17240] ppid=17236 vsize=460636 CPUtime=762.33 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 134064 0 0 0 76192 41 0 0 25 0 4 0 652138344 471691264 77096 33554432000 4194304 4580107 140735225071632 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=460636 CPUtime=762.32 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 130419 0 0 0 76191 41 0 0 25 0 4 0 652138344 471691264 77096 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=460636 CPUtime=754.98 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 122388 0 0 0 75461 37 0 0 25 0 4 0 652138344 471691264 77096 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.96
Current children cumulated vsize (KiB) 460636

[startup+822.301 s]
/proc/loadavg: 8.17 8.15 8.10 9/308 17265
/proc/meminfo: memFree=11296056/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=474984 CPUtime=3281.33 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 534731 0 0 0 327962 171 0 0 25 0 4 0 652138344 486383616 82809 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 118746 82809 379 95 0 113728 0
[pid=17239/tid=17240] ppid=17236 vsize=474984 CPUtime=822.32 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 139892 0 0 0 82188 44 0 0 25 0 4 0 652138344 486383616 82809 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=474984 CPUtime=822.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 134554 0 0 0 82189 42 0 0 25 0 4 0 652138344 486383616 82809 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=474984 CPUtime=814.36 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 130573 0 0 0 81397 39 0 0 25 0 4 0 652138344 486383616 82809 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.33
Current children cumulated vsize (KiB) 474984

[startup+882.311 s]
/proc/loadavg: 8.34 8.21 8.12 10/308 17267
/proc/meminfo: memFree=11258700/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=488488 CPUtime=3520.79 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 554757 0 0 0 351898 181 0 0 25 0 4 0 652138344 500211712 88079 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 122122 88079 379 95 0 117104 0
[pid=17239/tid=17240] ppid=17236 vsize=488488 CPUtime=882.33 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 143011 0 0 0 88188 45 0 0 25 0 4 0 652138344 500211712 88079 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=488488 CPUtime=882.32 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 139734 0 0 0 88187 45 0 0 25 0 4 0 652138344 500211712 88079 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=488488 CPUtime=873.79 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 136755 0 0 0 87337 42 0 0 25 0 4 0 652138344 500211712 88079 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.79
Current children cumulated vsize (KiB) 488488

[startup+942.301 s]
/proc/loadavg: 8.33 8.24 8.13 9/308 17268
/proc/meminfo: memFree=11261544/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=557084 CPUtime=3760.2 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 578423 0 0 0 375830 190 0 0 25 0 4 0 652138344 570454016 90690 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 139271 90690 379 95 0 134253 0
[pid=17239/tid=17240] ppid=17236 vsize=557084 CPUtime=942.31 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 151664 0 0 0 94185 46 0 0 25 0 4 0 652138344 570454016 90690 33554432000 4194304 4580107 140735225071632 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=557084 CPUtime=942.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 145695 0 0 0 94183 48 0 0 25 0 4 0 652138344 570454016 90690 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=557084 CPUtime=933.22 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 142866 0 0 0 93277 45 0 0 25 0 4 0 652138344 570454016 90690 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.2
Current children cumulated vsize (KiB) 557084

[startup+1002.3 s]
/proc/loadavg: 8.21 8.23 8.13 10/308 17270
/proc/meminfo: memFree=11255064/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=559836 CPUtime=3999.62 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 600914 0 0 0 399762 200 0 0 25 0 4 0 652138344 573272064 90212 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 139959 90212 379 95 0 134941 0
[pid=17239/tid=17240] ppid=17236 vsize=559836 CPUtime=1002.32 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 155780 0 0 0 100184 48 0 0 25 0 4 0 652138344 573272064 90212 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=559836 CPUtime=1002.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 151309 0 0 0 100181 50 0 0 25 0 4 0 652138344 573272064 90212 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=559836 CPUtime=992.64 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 149630 0 0 0 99216 48 0 0 25 0 4 0 652138344 573272064 90212 33554432000 4194304 4580107 140735225071632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.62
Current children cumulated vsize (KiB) 559836

[startup+1062.3 s]
/proc/loadavg: 8.19 8.23 8.13 10/308 17272
/proc/meminfo: memFree=11232840/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=560232 CPUtime=4239.03 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 623934 0 0 0 423694 209 0 0 25 0 4 0 652138344 573677568 90924 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 140058 90924 379 95 0 135040 0
[pid=17239/tid=17240] ppid=17236 vsize=560232 CPUtime=1062.32 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 161454 0 0 0 106182 50 0 0 25 0 4 0 652138344 573677568 90924 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=560232 CPUtime=1062.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 158309 0 0 0 106178 53 0 0 25 0 4 0 652138344 573677568 90924 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=560232 CPUtime=1052.05 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 154081 0 0 0 105154 51 0 0 25 0 4 0 652138344 573677568 90924 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.03
Current children cumulated vsize (KiB) 560232

[startup+1122.3 s]
/proc/loadavg: 8.24 8.24 8.14 10/308 17273
/proc/meminfo: memFree=11232696/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=561684 CPUtime=4478.45 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 647550 0 0 0 447628 217 0 0 25 0 4 0 652138344 575164416 89400 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 140421 89400 379 95 0 135403 0
[pid=17239/tid=17240] ppid=17236 vsize=561684 CPUtime=1122.32 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 167553 0 0 0 112180 52 0 0 25 0 4 0 652138344 575164416 89400 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=561684 CPUtime=1122.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 164359 0 0 0 112176 55 0 0 25 0 4 0 652138344 575164416 89400 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=561684 CPUtime=1111.46 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 159507 0 0 0 111093 53 0 0 25 0 4 0 652138344 575164416 89400 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.45
Current children cumulated vsize (KiB) 561684

[startup+1182.3 s]
/proc/loadavg: 8.25 8.24 8.15 11/308 17275
/proc/meminfo: memFree=11158032/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=626936 CPUtime=4717.89 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 667991 0 0 0 471562 227 0 0 25 0 4 0 652138344 641982464 96255 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 156734 96255 379 95 0 151716 0
[pid=17239/tid=17240] ppid=17236 vsize=626936 CPUtime=1182.32 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 173655 0 0 0 118178 54 0 0 25 0 4 0 652138344 641982464 96255 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=626936 CPUtime=1182.31 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 169363 0 0 0 118173 58 0 0 25 0 4 0 652138344 641982464 96255 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=626936 CPUtime=1170.89 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 165846 0 0 0 117034 55 0 0 25 0 4 0 652138344 641982464 96255 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.89
Current children cumulated vsize (KiB) 626936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.18 8.22 8.14 9/308 17275
/proc/meminfo: memFree=11126528/32951124 swapFree=66050672/67111528
[pid=17239] ppid=17236 vsize=566784 CPUtime=4800.12 cores=0,2,4,6
/proc/17239/stat : 17239 (strangenight2-m) R 17236 17239 16480 0 -1 4202496 673788 0 0 0 479783 229 0 0 25 0 4 0 652138344 580386816 94744 33554432000 4194304 4580107 140735225071632 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17239/statm: 141696 94744 379 95 0 136678 0
[pid=17239/tid=17240] ppid=17236 vsize=566784 CPUtime=1202.94 cores=0,2,4,6
/proc/17239/task/17240/stat : 17240 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 174897 0 0 0 120239 55 0 0 25 0 4 0 652138344 580386816 94744 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17239/tid=17241] ppid=17236 vsize=566784 CPUtime=1202.93 cores=0,2,4,6
/proc/17239/task/17241/stat : 17241 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 171883 0 0 0 120233 60 0 0 25 0 4 0 652138344 580386816 94744 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17239/tid=17242] ppid=17236 vsize=566784 CPUtime=1191.29 cores=0,2,4,6
/proc/17239/task/17242/stat : 17242 (strangenight2-m) R 17236 17239 16480 0 -1 4202560 167453 0 0 0 119073 56 0 0 25 0 4 0 652138344 580386816 94744 33554432000 4194304 4580107 140735225071632 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 566784

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): 1202.93
CPU time (s): 4800.18
CPU user time (s): 4797.86
CPU system time (s): 2.31365
CPU usage (%): 399.039
Max. virtual memory (cumulated for all children) (KiB): 640100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.31365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673790
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= 534
involuntary context switches= 70306

runsolver used 3.31649 second user time and 8.12776 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 22:36:45
IDJOB=3366487
IDBENCH=82896
IDSOLVER=1844
FILE ID=node135/3366487-1305405405
RUNJOBID= node135-1305405405-17216
PBS_JOBID= 13324477
Free space on /tmp= 73336 MiB

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

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

MD5SUM BENCH= f154a23cd5dae9f4e2340ec192300943
RANDOM SEED=1062348642

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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:     32951124 kB
MemFree:      12174748 kB
Buffers:        275088 kB
Cached:        5846692 kB
SwapCached:      50684 kB
Active:        9872544 kB
Inactive:     10659980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12174748 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           11024 kB
Writeback:           0 kB
AnonPages:    14365156 kB
Mapped:          18768 kB
Slab:           134928 kB
PageTables:      47376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57075452 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73332 MiB
End job on node135 at 2011-05-14 22:56:50