Trace number 3174078

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.43 1201.94

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.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-3174078-1304087894.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 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.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
0.00/0.37	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.37	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.37	c calculated reachability. Time: 0.00
0.00/0.37	c Calc default polars -  time:   0.00 s pos:     206 undec:      42 neg:     202
0.00/0.37	c =========================================================================================
0.00/0.37	c types(t): F = full restart, N = normal restart
0.00/0.37	c types(t): S = simplification begin/end, E = solution found
0.00/0.37	c restart types(rt): st = static, dy = dynamic
0.00/0.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.20/0.85	c  B st     0         0       442      1909         0         0      5778         0   no data   no data
3.20/0.85	c Decided on static restart strategy
3.20/0.85	c  N st     8      4917       442      1909         0      4830      5778    100406   no data   no data
3.20/0.85	c  N st    10     11299       442      1909         0      4469      5778     66877   no data   no data
3.20/0.85	c  N st    11     17042       442      1909         0     10078      5778    185030   no data   no data
3.98/1.04	c  F st    12     25000       442      1909         0     12346      5778    227375   no data   no data
3.98/1.04	c  N st    12     25000       442      1909         0     12346      5778    227375   no data   no data
4.78/1.29	c Decided on static restart strategy
4.78/1.29	c  N st    18     30000       442      1909         0     10640      5778    180343   no data   no data
4.78/1.29	c  S st    18     30000       442      1909         0     10640      5778    180343   no data   no data
5.18/1.31	c  S st    18     30504       442      1909         0     11144      5778    190871   no data   no data
5.18/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.18/1.32	c blocked clauses removed:        7 vars:      1 tried:         442 T: 0.00 s
5.18/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.18/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.18/1.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.18/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.38	c lits-rem:       162  cl-subs:      714  v-elim:      0  v-fix:    0  time:  0.05 s
5.18/1.39	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
5.18/1.39	c calculated reachability. Time: 0.00
5.18/1.39	c  N st    18     30504       441      1902         0     10407      5757    175318   no data   no data
6.77/1.78	c  N st    20     37615       441      1902         0      9661      5757    140963   no data   no data
8.36/2.14	c  N st    21     44015       441      1902         0     15907      5757    276677   no data   no data
8.77/2.27	c  S st    22     45756       441      1902         0      8890      5757    112118   no data   no data
8.77/2.30	c  S st    22     46259       441      1902         0      9392      5757    122425   no data   no data
8.77/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
9.17/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.31	c lits-rem:        37  cl-subs:      130  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.31	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
9.17/2.32	c vivif2 --  cl tried     9262 cl shrink        0 lits rem          0 time: 0.00
9.17/2.32	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
9.17/2.32	c calculated reachability. Time: 0.00
9.17/2.32	c  N st    22     46259       441      1902         0      9262      5757    119917   no data   no data
12.36/3.16	c  N st    23     60658       441      1902         0     13605      5757    206673   no data   no data
15.16/3.80	c  N st    24     69389       441      1902         0     11398      5757    146687   no data   no data
15.16/3.80	c  S st    24     69389       441      1902         0     11398      5757    146687   no data   no data
15.16/3.84	c  S st    24     69893       441      1902         0     11897      5757    157213   no data   no data
15.16/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.16/3.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
15.16/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.86	c lits-rem:        54  cl-subs:      118  v-elim:      0  v-fix:    0  time:  0.01 s
15.16/3.86	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
15.16/3.87	c vivif2 --  cl tried    11779 cl shrink        0 lits rem          0 time: 0.00
15.16/3.87	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
15.16/3.87	c calculated reachability. Time: 0.00
15.16/3.87	c  N st    24     69893       441      1902         0     11779      5757    154653   no data   no data
19.96/5.08	c  F st    25     87500       441      1902         0     17266      5757    267221   no data   no data
19.96/5.08	c  N st    25     87500       441      1902         0     17266      5757    267221   no data   no data
21.55/5.46	c Decided on static restart strategy
22.75/5.71	c  N st    32     95539       441      1902         0     25129      5757    439741   no data   no data
25.16/6.31	c  N st    34    104842       441      1902         0     21518      5757    351968   no data   no data
25.16/6.31	c  S st    34    104842       441      1902         0     21518      5757    351968   no data   no data
25.16/6.36	c  S st    34    105348       441      1902         0     22024      5757    362786   no data   no data
25.16/6.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.16/6.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.16/6.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.16/6.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.16/6.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.16/6.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
25.16/6.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.16/6.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.16/6.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.56	c lits-rem:       146  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  0.17 s
25.94/6.56	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
25.94/6.56	c vivif2 --  cl tried    20924 cl shrink        0 lits rem          0 time: 0.00
25.94/6.58	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.01
25.94/6.58	c calculated reachability. Time: 0.00
25.94/6.58	c  N st    34    105348       441      1902         0     20924      5757    337148   no data   no data
29.15/7.33	c  N st    35    114947       441      1902         0     16655      5757    225717   no data   no data
34.33/8.63	c  N st    36    129344       441      1902         0     16059      5757    195238   no data   no data
41.52/10.43	c  N st    37    150939       441      1902         0     21481      5757    300118   no data   no data
43.91/11.03	c  S st    38    158022       441      1902         0     28361      5757    442493   no data   no data
44.31/11.11	c  S st    38    158528       441      1902         0     28867      5757    452906   no data   no data
44.31/11.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.31/11.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.31/11.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.31/11.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.31/11.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.31/11.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
44.31/11.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.31/11.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.31/11.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.47	c lits-rem:       141  cl-subs:     1729  v-elim:      0  v-fix:    0  time:  0.33 s
45.51/11.47	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
45.51/11.48	c vivif2 --  cl tried    27138 cl shrink        0 lits rem          0 time: 0.00
45.51/11.50	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
45.91/11.50	c calculated reachability. Time: 0.00
45.91/11.50	c  N st    38    158528       441      1902         0     27138      5757    419068   no data   no data
64.71/16.24	c  N st    39    207116       441      1902         0     21940      5757    284450   no data   no data
77.48/19.41	c  N st    40    237793       441      1902         0     32357      5757    517594   no data   no data
77.48/19.41	c  S st    40    237793       441      1902         0     32357      5757    517594   no data   no data
77.48/19.49	c  S st    40    238296       441      1902         0     32860      5757    528695   no data   no data
77.48/19.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.89/19.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.89/19.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.89/19.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.89/19.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.89/19.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
77.89/19.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.89/19.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.89/19.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.47/19.93	c lits-rem:       168  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  0.40 s
79.47/19.93	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
79.47/19.94	c vivif2 --  cl tried    31528 cl shrink        0 lits rem          0 time: 0.01
79.47/19.96	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
79.47/19.96	c calculated reachability. Time: 0.00
79.47/19.96	c  N st    40    238296       441      1902         0     31528      5757    497984   no data   no data
108.65/27.28	c  F st    41    306251       441      1902         0     33411      5757    475798   no data   no data
108.65/27.29	c  N st    41    306251       441      1902         0     33411      5757    475798   no data   no data
111.43/27.97	c Decided on static restart strategy
123.00/30.89	c  N st    51    334553       441      1902         0     37570      5757    544990   no data   no data
134.61/33.71	c  N st    53    357449       441      1902         0     35514      5757    480051   no data   no data
134.61/33.71	c  S st    53    357449       441      1902         0     35514      5757    480051   no data   no data
134.61/33.80	c  S st    53    357954       441      1902         0     36016      5757    490835   no data   no data
135.02/33.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.02/33.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.02/33.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.02/33.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.02/33.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.02/33.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
135.02/33.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.02/33.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.02/33.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.19/34.18	c lits-rem:       222  cl-subs:     1687  v-elim:      0  v-fix:    0  time:  0.34 s
136.19/34.18	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
136.19/34.19	c vivif2 --  cl tried    34329 cl shrink        0 lits rem          0 time: 0.01
136.59/34.21	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.02
136.59/34.21	c calculated reachability. Time: 0.00
136.59/34.21	c  N st    53    357954       441      1902         0     34329      5757    457821   no data   no data
151.77/38.05	c  N st    54    390346       441      1902         0     40518      5757    593439   no data   no data
178.46/44.73	c  N st    55    438934       441      1902         0     34228      5757    408269   no data   no data
216.83/54.49	c  N st    56    511817       441      1902         0     47760      5757    682849   no data   no data
232.61/58.43	c  N st    57    536931       441      1902         0     42089      5757    538887   no data   no data
232.61/58.43	c  S st    57    536931       441      1902         0     42089      5757    538887   no data   no data
233.01/58.54	c  S st    57    537433       441      1902         0     42589      5757    549387   no data   no data
233.01/58.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
233.01/58.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
233.01/58.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
233.01/58.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
233.01/58.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.01/58.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
233.01/58.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
233.01/58.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
233.01/58.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.99/59.08	c lits-rem:       105  cl-subs:     2094  v-elim:      0  v-fix:    0  time:  0.50 s
234.99/59.08	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
234.99/59.08	c vivif2 --  cl tried    40495 cl shrink        0 lits rem          0 time: 0.01
235.39/59.11	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.03
235.39/59.11	c calculated reachability. Time: 0.00
235.39/59.11	c  N st    57    537433       441      1902         0     40495      5757    508826   no data   no data
345.90/86.82	c  N st    58    701417       441      1902         0     69489      5757   1058229   no data   no data
418.61/105.02	c  N st    59    806150       441      1902         0     63262      5757    892148   no data   no data
418.61/105.02	c  S st    59    806150       441      1902         0     63262      5757    892148   no data   no data
419.42/105.21	c  S st    59    806654       441      1902         0     63764      5757    903105   no data   no data
419.42/105.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
419.42/105.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
419.42/105.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
419.42/105.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
419.42/105.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
419.42/105.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
419.42/105.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
419.42/105.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
419.42/105.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
428.98/107.67	c lits-rem:       293  cl-subs:     5664  v-elim:      0  v-fix:    0  time:  2.39 s
428.98/107.67	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
428.98/107.68	c vivif2 --  cl tried    58100 cl shrink        0 lits rem          0 time: 0.01
429.39/107.73	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.05
429.39/107.73	c calculated reachability. Time: 0.00
429.39/107.73	c  N st    59    806654       441      1902         0     58100      5757    799582   no data   no data
637.90/159.93	c  F st    60   1071875       441      1902         0     73669      5757   1042832   no data   no data
637.90/159.93	c  N st    60   1071875       441      1902         0     73669      5757   1042832   no data   no data
643.51/161.31	c Decided on static restart strategy
663.07/166.25	c  N st    70   1100182       441      1902         0     57755      5757    701054   no data   no data
697.03/174.76	c  N st    72   1136175       441      1902         0     48191      5757    489967   no data   no data
721.80/180.90	c  N st    73   1168568       441      1902         0     79625      5757   1167082   no data   no data
762.15/191.01	c  N st    74   1209982       441      1902         0     74180      5757   1029063   no data   no data
762.15/191.01	c  S st    74   1209982       441      1902         0     74180      5757   1029063   no data   no data
762.93/191.25	c  S st    74   1210485       441      1902         0     74680      5757   1039795   no data   no data
762.93/191.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
762.93/191.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
762.93/191.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
762.93/191.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
762.93/191.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.93/191.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
762.93/191.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
763.33/191.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
763.33/191.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.74/194.45	c lits-rem:       392  cl-subs:     5070  v-elim:      0  v-fix:    0  time:  3.11 s
775.74/194.45	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
775.74/194.46	c vivif2 --  cl tried    69610 cl shrink        0 lits rem          0 time: 0.01
776.11/194.55	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.09
776.11/194.55	c calculated reachability. Time: 0.00
776.11/194.55	c  N st    74   1210485       441      1902         0     69610      5757    944657   no data   no data
843.23/211.30	c  N st    75   1283367       441      1902         0     94047      5757   1471678   no data   no data
945.10/236.84	c  N st    76   1392691       441      1902         0     54561      5757    563923   no data   no data
1095.69/274.59	c  N st    77   1556678       441      1902         0     59351      5757    615788   no data   no data
1244.70/311.87	c  N st    78   1710488       441      1902         0    100760      5757   1474624   no data   no data
1244.70/311.87	c  S st    78   1710488       441      1902         0    100760      5757   1474624   no data   no data
1246.29/312.22	c  S st    78   1710993       441      1902         0    101262      5757   1485704   no data   no data
1246.29/312.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1246.29/312.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1246.29/312.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1246.29/312.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1246.29/312.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1246.29/312.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1246.29/312.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1246.69/312.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1246.69/312.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1275.05/319.41	c lits-rem:      1003  cl-subs:     9496  v-elim:      0  v-fix:    0  time:  7.06 s
1275.05/319.41	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
1275.05/319.43	c vivif2 --  cl tried    91766 cl shrink        0 lits rem          0 time: 0.02
1275.46/319.53	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.09
1275.46/319.53	c calculated reachability. Time: 0.00
1275.46/319.53	c  N st    78   1710993       441      1902         0     91766      5757   1312427   no data   no data
1672.15/418.81	c  N st    79   2079957       441      1902         0    103313      5757   1412052   no data   no data
1811.14/453.68	c  N st    80   2210993       441      1902         0    107217      5757   1451424   no data   no data
1811.14/453.68	c  S st    80   2210993       441      1902         0    107217      5757   1451424   no data   no data
1812.75/454.07	c  S st    80   2211496       441      1902         0    107717      5757   1462965   no data   no data
1812.75/454.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1813.13/454.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1813.13/454.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1813.13/454.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1813.13/454.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1813.13/454.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1813.13/454.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1813.13/454.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1813.53/454.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1844.29/461.96	c lits-rem:      1446  cl-subs:    14561  v-elim:      0  v-fix:    0  time:  7.76 s
1844.29/461.96	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
1844.29/461.98	c vivif2 --  cl tried    93156 cl shrink        0 lits rem          0 time: 0.02
1844.69/462.08	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.09
1844.69/462.08	c calculated reachability. Time: 0.00
1844.69/462.08	c  N st    80   2211496       441      1902         0     93156      5757   1222386   no data   no data
2370.00/593.50	c  N st    81   2711497       441      1902         0    117517      5757   1744507   no data   no data
2370.00/593.50	c  S st    81   2711497       441      1902         0    117517      5757   1744507   no data   no data
2371.59/593.90	c  S st    81   2712001       441      1902         0    118018      5757   1756044   no data   no data
2371.59/593.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2371.59/593.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2371.59/593.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2371.59/593.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2371.59/593.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2371.59/593.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
2371.59/593.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2371.99/594.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2371.99/594.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2410.35/603.69	c lits-rem:       806  cl-subs:     9612  v-elim:      0  v-fix:    0  time:  9.63 s
2410.35/603.69	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
2410.73/603.71	c vivif2 --  cl tried   108406 cl shrink        0 lits rem          0 time: 0.02
2411.13/603.84	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.12
2411.13/603.84	c calculated reachability. Time: 0.00
2411.13/603.84	c  N st    81   2712001       441      1902         0    108406      5757   1563027   no data   no data
3069.85/768.71	c  N st    82   3212003       441      1902         0     84222      5757    861945   no data   no data
3069.85/768.71	c  S st    82   3212003       441      1902         0     84222      5757    861945   no data   no data
3071.06/769.07	c  S st    82   3212509       441      1902         0     84727      5757    872959   no data   no data
3071.06/769.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3071.46/769.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3071.46/769.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3071.46/769.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3071.46/769.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3071.46/769.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3071.46/769.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3071.46/769.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3071.46/769.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3073.87/769.77	c lits-rem:       112  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.59 s
3073.87/769.77	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
3073.87/769.79	c vivif2 --  cl tried    83087 cl shrink        0 lits rem          0 time: 0.02
3074.25/769.89	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.10
3074.25/769.89	c calculated reachability. Time: 0.00
3074.25/769.89	c  N st    82   3212509       441      1902         0     83087      5757    842333   no data   no data
3761.73/941.98	c  N st    83   3712509       441      1902         0     93368      5757    955005   no data   no data
3761.73/941.98	c  S st    83   3712509       441      1902         0     93368      5757    955005   no data   no data
3763.34/942.33	c  S st    83   3713013       441      1902         0     93872      5757    966332   no data   no data
3763.34/942.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3763.34/942.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3763.34/942.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3763.34/942.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3763.34/942.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3763.34/942.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3763.34/942.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3763.75/942.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3763.75/942.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3769.31/943.80	c lits-rem:       146  cl-subs:     3412  v-elim:      0  v-fix:    0  time:  1.35 s
3769.31/943.80	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
3769.31/943.82	c vivif2 --  cl tried    90460 cl shrink        0 lits rem          0 time: 0.02
3769.71/943.93	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.11
3769.71/943.93	c calculated reachability. Time: 0.00
3769.71/943.93	c  N st    83   3713013       441      1902         0     90460      5757    907393   no data   no data
3825.27/957.85	c  F st    84   3751562       441      1902         0    127693      5757   1696806   no data   no data
3825.27/957.85	c  N st    84   3751562       441      1902         0    127693      5757   1696806   no data   no data
3836.83/960.74	c Decided on static restart strategy
3876.78/970.77	c  N st    94   3779867       441      1902         0    155095      5757   2295896   no data   no data
3926.33/983.12	c  N st    96   3815859       441      1902         0    108106      5757   1317045   no data   no data
3972.25/994.61	c  N st    97   3848251       441      1902         0    139300      5757   1962763   no data   no data
4040.96/1011.88	c  N st    98   3896840       441      1902         0    103412      5757   1175404   no data   no data
4155.61/1040.54	c  N st    99   3969724       441      1902         0     89656      5757    847686   no data   no data
4313.02/1079.93	c  N st   100   4079048       441      1902         0    110646      5757   1323456   no data   no data
4525.11/1133.08	c  N st   101   4213013       441      1902         0    153756      5757   2198072   no data   no data
4525.11/1133.08	c  S st   101   4213013       441      1902         0    153756      5757   2198072   no data   no data
4527.51/1133.69	c  S st   101   4213521       441      1902         0    154260      5757   2209174   no data   no data
4527.51/1133.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4527.92/1133.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4527.92/1133.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4527.92/1133.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4527.92/1133.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4527.92/1133.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
4527.92/1133.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4528.33/1133.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4528.33/1133.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4608.60/1153.96	c lits-rem:       757  cl-subs:    15364  v-elim:      0  v-fix:    0  time: 20.06 s
4608.60/1153.96	c vivif2 --  cl tried     1902 cl shrink        0 lits rem          0 time: 0.00
4608.60/1153.99	c vivif2 --  cl tried   138896 cl shrink        0 lits rem          0 time: 0.03
4609.40/1154.15	c asymm  cl-useful: 0/1902/1902 lits-rem:0 time: 0.16
4609.40/1154.15	c calculated reachability. Time: 0.00
4609.40/1154.15	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174078-1304087894/watcher-3174078-1304087894 -o /tmp/evaluation-result-3174078-1304087894/solver-3174078-1304087894 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174078-1304087894.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: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=40968 CPUtime=0 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 407 0 0 0 0 0 0 0 19 0 3 0 599020124 41951232 346 33554432000 4194304 4627427 140736233108992 18446744073709551615 251367603185 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/971/statm: 10242 346 299 106 0 5213 0
[pid=971/tid=972] ppid=969 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 599020125 52441088 347 33554432000 4194304 4627427 140736233108992 18446744073709551615 47896890247090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 599020125 52441088 349 33554432000 4194304 4627427 140736233108992 18446744073709551615 47896890247090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=969 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 599020125 52441088 352 33554432000 4194304 4627427 140736233108992 18446744073709551615 251362593878 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.252524 s]
/proc/loadavg: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=285020 CPUtime=3.2 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 4838 0 0 0 319 1 0 0 18 0 4 0 599020124 291860480 2442 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 71255 2442 385 106 0 66226 0
[pid=971/tid=972] ppid=969 vsize=285020 CPUtime=0.79 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1181 0 0 0 79 0 0 0 19 0 4 0 599020125 291860480 2442 33554432000 4194304 4627427 140736233108992 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=285020 CPUtime=0.79 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 1104 0 0 0 79 0 0 0 19 0 4 0 599020125 291860480 2442 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=285020 CPUtime=0.79 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1058 0 0 0 79 0 0 0 18 0 4 0 599020125 291860480 2442 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285020

[startup+0.906066 s]
/proc/loadavg: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=285020 CPUtime=3.6 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 5064 0 0 0 359 1 0 0 19 0 4 0 599020124 291860480 2668 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 71255 2668 385 106 0 66226 0
[pid=971/tid=972] ppid=969 vsize=285020 CPUtime=0.89 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1238 0 0 0 89 0 0 0 19 0 4 0 599020125 291860480 2668 33554432000 4194304 4627427 140736233108992 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=285020 CPUtime=0.89 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 1167 0 0 0 89 0 0 0 19 0 4 0 599020125 291860480 2668 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=285020 CPUtime=0.89 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1119 0 0 0 89 0 0 0 19 0 4 0 599020125 291860480 2668 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285020

[startup+1.00105 s]
/proc/loadavg: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=285152 CPUtime=3.98 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 5314 0 0 0 397 1 0 0 19 0 4 0 599020124 291995648 2918 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 71288 2918 386 106 0 66259 0
[pid=971/tid=972] ppid=969 vsize=285152 CPUtime=0.99 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1322 0 0 0 99 0 0 0 19 0 4 0 599020125 291995648 2918 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=285152 CPUtime=0.99 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 1244 0 0 0 99 0 0 0 19 0 4 0 599020125 291995648 2918 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=285152 CPUtime=0.98 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1161 0 0 0 98 0 0 0 19 0 4 0 599020125 291995648 2918 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 285152

[startup+1.10103 s]
/proc/loadavg: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=285516 CPUtime=4.38 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 5974 0 0 0 437 1 0 0 19 0 4 0 599020124 292368384 2662 33554432000 4194304 4627427 140736233108992 18446744073709551615 4322120 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 71379 2662 386 106 0 66350 0
[pid=971/tid=972] ppid=969 vsize=285516 CPUtime=1.09 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1528 0 0 0 109 0 0 0 19 0 4 0 599020125 292368384 2662 33554432000 4194304 4627427 140736233108992 18446744073709551615 4331051 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=285516 CPUtime=1.09 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 1417 0 0 0 109 0 0 0 19 0 4 0 599020125 292368384 2663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=285516 CPUtime=1.08 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1365 0 0 0 108 0 0 0 19 0 4 0 599020125 292368384 2663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 285516

[startup+1.50096 s]
/proc/loadavg: 6.33 7.71 7.90 2/172 971
/proc/meminfo: memFree=29414960/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=285732 CPUtime=5.97 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 8096 0 0 0 596 1 0 0 20 0 4 0 599020124 292589568 4384 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 71433 4384 389 106 0 66404 0
[pid=971/tid=972] ppid=969 vsize=285732 CPUtime=1.49 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 1743 0 0 0 149 0 0 0 20 0 4 0 599020125 292589568 4384 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=285732 CPUtime=1.49 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 1611 0 0 0 149 0 0 0 20 0 4 0 599020125 292589568 4384 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=285732 CPUtime=1.48 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 1568 0 0 0 148 0 0 0 20 0 4 0 599020125 292589568 4384 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285732

[startup+3.10066 s]
/proc/loadavg: 6.30 7.68 7.89 9/184 989
/proc/meminfo: memFree=29341572/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=296076 CPUtime=12.36 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 17008 0 0 0 1233 3 0 0 25 0 4 0 599020124 303181824 8385 33554432000 4194304 4627427 140736233108992 18446744073709551615 4330127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 74019 8385 389 106 0 68990 0
[pid=971/tid=972] ppid=969 vsize=296076 CPUtime=3.09 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 3821 0 0 0 308 1 0 0 25 0 4 0 599020125 303181824 8385 33554432000 4194304 4627427 140736233108992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=296076 CPUtime=3.07 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 4618 0 0 0 307 0 0 0 25 0 4 0 599020125 303181824 8385 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=296076 CPUtime=3.08 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 4058 0 0 0 308 0 0 0 25 0 4 0 599020125 303181824 8385 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296076

[startup+6.30607 s]
/proc/loadavg: 6.44 7.69 7.89 9/184 989
/proc/meminfo: memFree=29318364/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=302276 CPUtime=25.16 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 26383 0 0 0 2511 5 0 0 25 0 4 0 599020124 309530624 11543 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 75569 11543 389 106 0 70540 0
[pid=971/tid=972] ppid=969 vsize=302276 CPUtime=6.29 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 6657 0 0 0 628 1 0 0 25 0 4 0 599020125 309530624 11543 33554432000 4194304 4627427 140736233108992 18446744073709551615 4333065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=302276 CPUtime=6.26 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 7417 0 0 0 625 1 0 0 25 0 4 0 599020125 309530624 11543 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=302276 CPUtime=6.29 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 5719 0 0 0 628 1 0 0 25 0 4 0 599020125 309530624 11543 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 302276

[startup+12.7009 s]
/proc/loadavg: 6.56 7.69 7.89 9/184 989
/proc/meminfo: memFree=29284032/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=312304 CPUtime=50.71 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 42011 0 0 0 5063 8 0 0 25 0 4 0 599020124 319799296 16745 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 78076 16745 389 106 0 73047 0
[pid=971/tid=972] ppid=969 vsize=312304 CPUtime=12.69 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 10199 0 0 0 1267 2 0 0 25 0 4 0 599020125 319799296 16745 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=312304 CPUtime=12.62 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 10256 0 0 0 1261 1 0 0 25 0 4 0 599020125 319799296 16745 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=312304 CPUtime=12.69 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 9939 0 0 0 1267 2 0 0 25 0 4 0 599020125 319799296 16745 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 312304

[startup+25.5005 s]
/proc/loadavg: 6.79 7.70 7.89 9/184 990
/proc/meminfo: memFree=29248436/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=321512 CPUtime=101.84 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 64641 0 0 0 10171 13 0 0 25 0 4 0 599020124 329228288 22380 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 80378 22380 389 106 0 75349 0
[pid=971/tid=972] ppid=969 vsize=321512 CPUtime=25.49 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 16292 0 0 0 2546 3 0 0 25 0 4 0 599020125 329228288 22380 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=321512 CPUtime=25.35 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 15995 0 0 0 2533 2 0 0 25 0 4 0 599020125 329228288 22380 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=321512 CPUtime=25.48 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 14589 0 0 0 2545 3 0 0 25 0 4 0 599020125 329228288 22380 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321512

[startup+51.1008 s]
/proc/loadavg: 7.42 7.76 7.91 10/185 993
/proc/meminfo: memFree=29195964/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=323996 CPUtime=203.81 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 97288 0 0 0 20359 22 0 0 25 0 4 0 599020124 331771904 28631 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 80999 28631 389 106 0 75970 0
[pid=971/tid=972] ppid=969 vsize=323996 CPUtime=51.09 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 25057 0 0 0 5104 5 0 0 25 0 4 0 599020125 331771904 28631 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=323996 CPUtime=50.52 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 24439 0 0 0 5048 4 0 0 25 0 4 0 599020125 331771904 28631 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=323996 CPUtime=51.08 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 21706 0 0 0 5103 5 0 0 25 0 4 0 599020125 331771904 28631 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 323996

[startup+102.3 s]
/proc/loadavg: 7.82 7.83 7.92 9/184 995
/proc/meminfo: memFree=29157036/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=346968 CPUtime=407.81 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 147346 0 0 0 40744 37 0 0 25 0 4 0 599020124 355295232 33169 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 86742 33169 389 106 0 81713 0
[pid=971/tid=972] ppid=969 vsize=346968 CPUtime=102.29 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 37545 0 0 0 10219 10 0 0 25 0 4 0 599020125 355295232 33169 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=346968 CPUtime=100.92 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 36327 0 0 0 10085 7 0 0 25 0 4 0 599020125 355295232 33169 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=346968 CPUtime=102.28 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 35126 0 0 0 10219 9 0 0 25 0 4 0 599020125 355295232 33169 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 346968

[startup+162.3 s]

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

[pid=971] ppid=969 vsize=511944 CPUtime=2804.61 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 477591 0 0 0 280294 167 0 0 25 0 4 0 599020124 524230656 77290 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 127986 77290 389 106 0 122957 0
[pid=971/tid=972] ppid=969 vsize=511944 CPUtime=702.3 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 118873 0 0 0 70189 41 0 0 25 0 4 0 599020125 524230656 77290 33554432000 4194304 4627427 140736233108992 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=511944 CPUtime=697.68 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 111657 0 0 0 69730 38 0 0 25 0 4 0 599020125 524230656 77290 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=511944 CPUtime=702.3 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 120768 0 0 0 70187 43 0 0 25 0 4 0 599020125 524230656 77290 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.61
Current children cumulated vsize (KiB) 511944

[startup+762.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/184 1042
/proc/meminfo: memFree=28880024/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=544284 CPUtime=3044.29 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 505774 0 0 0 304249 180 0 0 25 0 4 0 599020124 557346816 83497 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 136071 83497 389 106 0 131042 0
[pid=971/tid=972] ppid=969 vsize=544284 CPUtime=762.31 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 127802 0 0 0 76187 44 0 0 25 0 4 0 599020125 557346816 83497 33554432000 4194304 4627427 140736233108992 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=544284 CPUtime=757.35 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 117375 0 0 0 75693 42 0 0 25 0 4 0 599020125 557346816 83497 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=544284 CPUtime=762.3 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 130634 0 0 0 76183 47 0 0 25 0 4 0 599020125 557346816 83497 33554432000 4194304 4627427 140736233108992 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.29
Current children cumulated vsize (KiB) 544284

[startup+822.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 1044
/proc/meminfo: memFree=28882584/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=557176 CPUtime=3283.97 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 532419 0 0 0 328206 191 0 0 25 0 4 0 599020124 570548224 77523 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 139294 77523 389 106 0 134265 0
[pid=971/tid=972] ppid=969 vsize=557176 CPUtime=822.31 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 133664 0 0 0 82185 46 0 0 25 0 4 0 599020125 570548224 77523 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=557176 CPUtime=817.03 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 124539 0 0 0 81658 45 0 0 25 0 4 0 599020125 570548224 77523 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=557176 CPUtime=822.3 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 136538 0 0 0 82180 50 0 0 25 0 4 0 599020125 570548224 77523 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.97
Current children cumulated vsize (KiB) 557176

[startup+882.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 1045
/proc/meminfo: memFree=28811856/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=557548 CPUtime=3523.65 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 559692 0 0 0 352159 206 0 0 25 0 4 0 599020124 570929152 82465 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 139387 82465 389 106 0 134358 0
[pid=971/tid=972] ppid=969 vsize=557548 CPUtime=882.31 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 139759 0 0 0 88182 49 0 0 25 0 4 0 599020125 570929152 82465 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=557548 CPUtime=876.7 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 132807 0 0 0 87621 49 0 0 25 0 4 0 599020125 570929152 82465 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=557548 CPUtime=882.31 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 143118 0 0 0 88176 55 0 0 25 0 4 0 599020125 570929152 82465 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.65
Current children cumulated vsize (KiB) 557548

[startup+942.3 s]
/proc/loadavg: 8.11 8.11 8.02 9/184 1047
/proc/meminfo: memFree=28811312/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=552756 CPUtime=3763.34 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 585209 0 0 0 376118 216 0 0 25 0 4 0 599020124 566022144 83861 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 138189 83861 389 106 0 133160 0
[pid=971/tid=972] ppid=969 vsize=552756 CPUtime=942.32 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 146685 0 0 0 94180 52 0 0 25 0 4 0 599020125 566022144 83863 33554432000 4194304 4627427 140736233108992 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=552756 CPUtime=936.38 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 139168 0 0 0 93587 51 0 0 25 0 4 0 599020125 566022144 83863 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=552756 CPUtime=942.31 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 149181 0 0 0 94174 57 0 0 25 0 4 0 599020125 566022144 83863 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 552756

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 8.02 9/184 1049
/proc/meminfo: memFree=28770848/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=571112 CPUtime=4003 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 607252 0 0 0 400073 227 0 0 25 0 4 0 599020124 584818688 86376 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 142778 86376 389 106 0 137749 0
[pid=971/tid=972] ppid=969 vsize=571112 CPUtime=1002.31 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 152083 0 0 0 100177 54 0 0 25 0 4 0 599020125 584818688 86376 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=571112 CPUtime=996.05 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 145084 0 0 0 99552 53 0 0 25 0 4 0 599020125 584818688 86376 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=571112 CPUtime=1002.31 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 154591 0 0 0 100171 60 0 0 25 0 4 0 599020125 584818688 86376 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003
Current children cumulated vsize (KiB) 571112

[startup+1062.31 s]
/proc/loadavg: 8.05 8.09 8.02 9/184 1050
/proc/meminfo: memFree=28727140/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=571476 CPUtime=4242.71 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 630778 0 0 0 424033 238 0 0 25 0 4 0 599020124 585191424 87139 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 142869 87139 389 106 0 137840 0
[pid=971/tid=972] ppid=969 vsize=571476 CPUtime=1062.32 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 156594 0 0 0 106175 57 0 0 25 0 4 0 599020125 585191424 87139 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=571476 CPUtime=1055.73 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 152271 0 0 0 105517 56 0 0 25 0 4 0 599020125 585191424 87139 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=571476 CPUtime=1062.32 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 160240 0 0 0 106170 62 0 0 25 0 4 0 599020125 585191424 87139 33554432000 4194304 4627427 140736233108992 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.71
Current children cumulated vsize (KiB) 571476

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 8.01 9/184 1052
/proc/meminfo: memFree=28721772/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=571844 CPUtime=4482.37 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 654666 0 0 0 447986 251 0 0 25 0 4 0 599020124 585568256 85955 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 142961 85955 389 106 0 137932 0
[pid=971/tid=972] ppid=969 vsize=571844 CPUtime=1122.32 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 162415 0 0 0 112172 60 0 0 25 0 4 0 599020125 585568256 85955 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=571844 CPUtime=1115.4 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 158321 0 0 0 111480 60 0 0 25 0 4 0 599020125 585568256 85955 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=571844 CPUtime=1122.31 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 166019 0 0 0 112166 65 0 0 25 0 4 0 599020125 585568256 85955 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 571844

[startup+1182.3 s]
/proc/loadavg: 8.00 8.06 8.00 9/184 1053
/proc/meminfo: memFree=28683396/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=559684 CPUtime=4722.04 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 678395 0 0 0 471942 262 0 0 25 0 4 0 599020124 573116416 92663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 139921 92663 389 106 0 134892 0
[pid=971/tid=972] ppid=969 vsize=559684 CPUtime=1182.32 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 168287 0 0 0 118168 64 0 0 25 0 4 0 599020125 573116416 92663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=559684 CPUtime=1175.07 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 163189 0 0 0 117444 63 0 0 25 0 4 0 599020125 573116416 92663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=559684 CPUtime=1182.31 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 171333 0 0 0 118163 68 0 0 25 0 4 0 599020125 573116416 92663 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.04
Current children cumulated vsize (KiB) 559684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.00 8.05 8.00 9/184 1054
/proc/meminfo: memFree=28709920/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=559788 CPUtime=4800.38 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 685477 0 0 0 479772 266 0 0 25 0 4 0 599020124 573222912 93114 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 139947 93114 389 106 0 134918 0
[pid=971/tid=972] ppid=969 vsize=559788 CPUtime=1201.94 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 169269 0 0 0 120129 65 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=559788 CPUtime=1194.57 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 165792 0 0 0 119393 64 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=559788 CPUtime=1201.92 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 173716 0 0 0 120123 69 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 559788

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

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

[startup+1201.9 s]
/proc/loadavg: 8.00 8.05 8.00 9/184 1054
/proc/meminfo: memFree=28709920/32950928 swapFree=67111352/67111528
[pid=971] ppid=969 vsize=559788 CPUtime=4800.38 cores=1,3,5,7
/proc/971/stat : 971 (strangenight2-m) R 969 971 384 0 -1 4202496 685477 0 0 0 479772 266 0 0 25 0 4 0 599020124 573222912 93114 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/971/statm: 139947 93114 389 106 0 134918 0
[pid=971/tid=972] ppid=969 vsize=559788 CPUtime=1201.94 cores=1,3,5,7
/proc/971/task/972/stat : 972 (strangenight2-m) R 969 971 384 0 -1 4202560 169269 0 0 0 120129 65 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=971/tid=974] ppid=969 vsize=559788 CPUtime=1194.57 cores=1,3,5,7
/proc/971/task/974/stat : 974 (strangenight2-m) R 969 971 384 0 -1 4202560 165792 0 0 0 119393 64 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=971/tid=975] ppid=969 vsize=559788 CPUtime=1201.92 cores=1,3,5,7
/proc/971/task/975/stat : 975 (strangenight2-m) R 969 971 384 0 -1 4202560 173716 0 0 0 120123 69 0 0 25 0 4 0 599020125 573222912 93115 33554432000 4194304 4627427 140736233108992 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 559788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.43
CPU user time (s): 4797.75
CPU system time (s): 2.67959
CPU usage (%): 399.391
Max. virtual memory (cumulated for all children) (KiB): 634984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.67959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685480
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= 306
involuntary context switches= 30337

runsolver used 1.9587 second user time and 4.6193 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 16:38:15
IDJOB=3174078
IDBENCH=82896
IDSOLVER=1586
FILE ID=node113/3174078-1304087894
RUNJOBID= node113-1304087891-962
PBS_JOBID= 13170537
Free space on /tmp= 71168 MiB

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

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

MD5SUM BENCH= f154a23cd5dae9f4e2340ec192300943
RANDOM SEED=1990740731

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29415240 kB
Buffers:        698392 kB
Cached:        2257352 kB
SwapCached:         12 kB
Active:         144432 kB
Inactive:      2874400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29415240 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            5600 kB
Writeback:           0 kB
AnonPages:       63192 kB
Mapped:          14420 kB
Slab:           452792 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186440 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= 71156 MiB
End job on node113 at 2011-04-29 16:58:18