Trace number 3174151

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.29 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
MD5SUMb1bf2be38e1cea16efc5e7effa1a10c7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark688.356
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174151-1304105220.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     213 undec:      60 neg:     227
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       488      2120         0         0      6438         0   no data   no data
0.13/0.06	c Decided on static restart strategy
0.37/0.15	c  N st     8      4919       488      2120         0      4824      6438    103977   no data   no data
1.57/0.40	c  N st    10     11302       488      2120         0      4467      6438     73337   no data   no data
2.37/0.66	c  N st    11     17045       488      2120         0     10027      6438    193455   no data   no data
3.98/1.03	c  F st    12     25001       488      2120         0     12315      6438    245629   no data   no data
3.98/1.03	c  N st    12     25001       488      2120         0     12315      6438    245629   no data   no data
4.77/1.27	c Decided on static restart strategy
4.77/1.27	c  N st    18     30000       488      2120         0     10593      6438    186420   no data   no data
4.77/1.27	c  S st    18     30000       488      2120         0     10593      6438    186420   no data   no data
5.17/1.30	c  S st    18     30501       488      2120         0     11093      6438    197672   no data   no data
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.30	c blocked clauses removed:       11 vars:      2 tried:         488 T: 0.00 s
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c lits-rem:       191  cl-subs:      741  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.37	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
5.17/1.37	c calculated reachability. Time: 0.00
5.17/1.37	c  N st    18     30501       486      2109         0     10347      6405    180740   no data   no data
6.76/1.77	c  N st    20     37612       486      2109         0      9631      6405    149325   no data   no data
8.38/2.18	c  N st    21     44012       486      2109         0     15878      6405    290146   no data   no data
9.16/2.33	c  S st    22     45752       486      2109         0      8864      6405    118455   no data   no data
9.16/2.36	c  S st    22     46256       486      2109         0      9368      6405    130201   no data   no data
9.16/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
9.16/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.37	c lits-rem:        24  cl-subs:       71  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.37	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
9.16/2.38	c vivif2 --  cl tried     9297 cl shrink        0 lits rem          0 time: 0.00
9.16/2.38	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.00
9.16/2.38	c calculated reachability. Time: 0.00
9.16/2.38	c  N st    22     46256       486      2109         0      9297      6405    128749   no data   no data
13.18/3.32	c  N st    23     60653       486      2109         0     13618      6405    218847   no data   no data
15.55/3.93	c  N st    24     69384       486      2109         0     11403      6405    157334   no data   no data
15.55/3.93	c  S st    24     69384       486      2109         0     11403      6405    157334   no data   no data
15.55/3.97	c  S st    24     69885       486      2109         0     11903      6405    168690   no data   no data
15.55/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
15.55/3.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.99	c lits-rem:        33  cl-subs:      177  v-elim:      0  v-fix:    0  time:  0.02 s
15.55/3.99	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
15.95/4.00	c vivif2 --  cl tried    11726 cl shrink        0 lits rem          0 time: 0.00
15.95/4.00	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
15.95/4.00	c calculated reachability. Time: 0.00
15.95/4.00	c  N st    24     69885       486      2109         0     11726      6405    164882   no data   no data
20.35/5.17	c  F st    25     87500       486      2109         0     17199      6405    279667   no data   no data
20.35/5.17	c  N st    25     87500       486      2109         0     17199      6405    279667   no data   no data
21.97/5.53	c Decided on static restart strategy
23.14/5.80	c  N st    32     95535       486      2109         0     25065      6405    463641   no data   no data
25.54/6.42	c  N st    34    104829       486      2109         0     21498      6405    369391   no data   no data
25.54/6.42	c  S st    34    104829       486      2109         0     21498      6405    369391   no data   no data
25.54/6.48	c  S st    34    105333       486      2109         0     22000      6405    381041   no data   no data
25.54/6.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.54/6.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
25.54/6.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.54/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.64	c lits-rem:        58  cl-subs:      872  v-elim:      0  v-fix:    0  time:  0.14 s
26.35/6.64	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
26.35/6.64	c vivif2 --  cl tried    21128 cl shrink        0 lits rem          0 time: 0.00
26.35/6.66	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
26.35/6.66	c calculated reachability. Time: 0.00
26.35/6.66	c  N st    34    105333       486      2109         0     21128      6405    360290   no data   no data
29.14/7.37	c  N st    35    114932       486      2109         0     16854      6405    240585   no data   no data
34.33/8.69	c  N st    36    129329       486      2109         0     16263      6405    209095   no data   no data
41.93/10.50	c  N st    37    150924       486      2109         0     21758      6405    336504   no data   no data
44.32/11.16	c  S st    38    158000       486      2109         0     28677      6405    497655   no data   no data
44.72/11.23	c  S st    38    158500       486      2109         0     29176      6405    508717   no data   no data
44.72/11.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.72/11.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
44.72/11.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.59	c lits-rem:       223  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  0.32 s
45.92/11.59	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
45.92/11.59	c vivif2 --  cl tried    27860 cl shrink        0 lits rem          0 time: 0.01
46.31/11.61	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
46.31/11.61	c calculated reachability. Time: 0.00
46.31/11.61	c  N st    38    158500       486      2109         0     27860      6405    475415   no data   no data
66.29/16.64	c  N st    39    207088       486      2109         0     22490      6405    306861   no data   no data
79.10/19.82	c  N st    40    237751       486      2109         0     32916      6405    529357   no data   no data
79.10/19.82	c  S st    40    237751       486      2109         0     32916      6405    529357   no data   no data
79.48/19.91	c  S st    40    238254       486      2109         0     33419      6405    540880   no data   no data
79.48/19.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.48/19.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.48/19.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.48/19.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.48/19.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.48/19.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
79.48/19.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.48/19.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.48/19.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.48/20.48	c lits-rem:       470  cl-subs:     1951  v-elim:      0  v-fix:    0  time:  0.54 s
81.48/20.48	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
81.48/20.49	c vivif2 --  cl tried    31468 cl shrink        0 lits rem          0 time: 0.01
81.88/20.51	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
81.88/20.51	c calculated reachability. Time: 0.00
81.88/20.51	c  N st    40    238254       486      2109         0     31468      6405    498377   no data   no data
111.04/27.86	c  F st    41    306251       486      2109         0     33403      6405    485506   no data   no data
111.04/27.86	c  N st    41    306251       486      2109         0     33403      6405    485506   no data   no data
113.44/28.50	c Decided on static restart strategy
123.82/31.08	c  N st    51    334553       486      2109         0     37628      6405    584584   no data   no data
135.41/33.92	c  N st    53    357383       486      2109         0     35506      6405    506275   no data   no data
135.41/33.92	c  S st    53    357383       486      2109         0     35506      6405    506275   no data   no data
135.83/34.01	c  S st    53    357885       486      2109         0     36008      6405    517560   no data   no data
135.83/34.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.83/34.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.83/34.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.83/34.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.83/34.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.83/34.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
135.83/34.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.83/34.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.83/34.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.41/34.43	c lits-rem:       197  cl-subs:     1837  v-elim:      0  v-fix:    0  time:  0.39 s
137.41/34.43	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
137.41/34.44	c vivif2 --  cl tried    34171 cl shrink        0 lits rem          0 time: 0.01
137.41/34.46	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
137.41/34.46	c calculated reachability. Time: 0.00
137.41/34.46	c  N st    53    357885       486      2109         0     34171      6405    478041   no data   no data
154.19/38.65	c  N st    54    390279       486      2109         0     40452      6405    637350   no data   no data
182.55/45.77	c  N st    55    438869       486      2109         0     34224      6405    449400   no data   no data
223.73/56.02	c  N st    56    511751       486      2109         0     47678      6405    727938   no data   no data
237.69/59.59	c  N st    57    536830       486      2109         0     41949      6405    588412   no data   no data
237.69/59.59	c  S st    57    536830       486      2109         0     41949      6405    588412   no data   no data
238.49/59.71	c  S st    57    537331       486      2109         0     42450      6405    599849   no data   no data
238.49/59.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
238.49/59.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
238.49/59.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.49/59.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.49/59.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.49/59.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
238.49/59.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
238.49/59.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
238.49/59.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.49/60.20	c lits-rem:       123  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.45 s
240.49/60.20	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
240.49/60.21	c vivif2 --  cl tried    40938 cl shrink        0 lits rem          0 time: 0.01
240.49/60.24	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.03
240.49/60.24	c calculated reachability. Time: 0.00
240.49/60.24	c  N st    57    537331       486      2109         0     40938      6405    564387   no data   no data
345.16/86.48	c  N st    58    701316       486      2109         0     69848      6405   1173583   no data   no data
415.07/103.95	c  N st    59    805996       486      2109         0     63964      6405   1014783   no data   no data
415.07/103.95	c  S st    59    805996       486      2109         0     63964      6405   1014783   no data   no data
415.87/104.15	c  S st    59    806498       486      2109         0     64465      6405   1026755   no data   no data
415.87/104.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
415.87/104.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
415.87/104.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
415.87/104.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.87/104.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.87/104.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
415.87/104.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
416.27/104.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
416.27/104.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.66/106.38	c lits-rem:       691  cl-subs:     3349  v-elim:      0  v-fix:    0  time:  2.15 s
424.66/106.38	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
424.66/106.39	c vivif2 --  cl tried    61116 cl shrink        0 lits rem          0 time: 0.01
425.06/106.44	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.05
425.06/106.45	c calculated reachability. Time: 0.00
425.06/106.45	c  N st    59    806498       486      2109         0     61116      6405    951896   no data   no data
629.61/157.64	c  F st    60   1071875       486      2109         0     76988      6405   1227404   no data   no data
629.61/157.64	c  N st    60   1071875       486      2109         0     76988      6405   1227404   no data   no data
635.20/159.02	c Decided on static restart strategy
653.18/163.55	c  N st    70   1100187       486      2109         0     60833      6405    812166   no data   no data
682.74/170.98	c  N st    72   1136180       486      2109         0     51234      6405    586568   no data   no data
711.52/178.11	c  N st    73   1168575       486      2109         0     82920      6405   1349884   no data   no data
749.46/187.60	c  N st    74   1209747       486      2109         0     77262      6405   1177295   no data   no data
749.46/187.60	c  S st    74   1209747       486      2109         0     77262      6405   1177295   no data   no data
750.66/187.90	c  S st    74   1210253       486      2109         0     77767      6405   1188980   no data   no data
750.66/187.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
750.66/187.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
750.66/187.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
750.66/187.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
750.66/187.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.66/187.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
750.66/187.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
750.66/187.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
751.08/188.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.83/194.21	c lits-rem:      1068  cl-subs:     4270  v-elim:      0  v-fix:    0  time:  6.19 s
775.83/194.21	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
775.83/194.23	c vivif2 --  cl tried    73497 cl shrink        0 lits rem          0 time: 0.02
776.23/194.34	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.11
776.23/194.34	c calculated reachability. Time: 0.00
776.23/194.34	c  N st    74   1210253       486      2109         0     73497      6405   1092159   no data   no data
848.93/212.52	c  N st    75   1283135       486      2109         0     50022      6405    498157   no data   no data
957.20/239.66	c  N st    76   1392459       486      2109         0     57994      6405    673777   no data   no data
1124.17/281.47	c  N st    77   1556443       486      2109         0     62767      6405    719802   no data   no data
1298.74/325.13	c  N st    78   1710253       486      2109         0    104585      6405   1693168   no data   no data
1298.74/325.13	c  S st    78   1710253       486      2109         0    104585      6405   1693168   no data   no data
1299.94/325.46	c  S st    78   1710759       486      2109         0    105090      6405   1704649   no data   no data
1299.94/325.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1300.36/325.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1300.36/325.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1300.36/325.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1300.36/325.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1300.36/325.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1300.36/325.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1300.36/325.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1300.36/325.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1340.31/335.51	c lits-rem:       888  cl-subs:     7568  v-elim:      0  v-fix:    0  time:  9.91 s
1340.31/335.51	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1340.31/335.53	c vivif2 --  cl tried    97522 cl shrink        0 lits rem          0 time: 0.02
1340.69/335.63	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1340.69/335.64	c calculated reachability. Time: 0.00
1340.69/335.64	c  N st    78   1710759       486      2109         0     97522      6405   1539650   no data   no data
1777.34/444.96	c  N st    79   2079723       486      2109         0    109396      6405   1695380   no data   no data
1930.34/483.26	c  N st    80   2210760       486      2109         0    113108      6405   1828419   no data   no data
1930.34/483.26	c  S st    80   2210760       486      2109         0    113108      6405   1828419   no data   no data
1931.94/483.63	c  S st    80   2211261       486      2109         0    113608      6405   1840180   no data   no data
1931.94/483.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1931.94/483.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1931.94/483.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1931.94/483.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1931.94/483.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1931.94/483.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1931.94/483.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1932.34/483.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1932.34/483.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1972.69/493.84	c lits-rem:       635  cl-subs:     7113  v-elim:      0  v-fix:    0  time: 10.07 s
1972.69/493.84	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1972.69/493.87	c vivif2 --  cl tried   106495 cl shrink        0 lits rem          0 time: 0.02
1973.09/493.98	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.11
1973.09/493.99	c calculated reachability. Time: 0.00
1973.09/493.99	c  N st    80   2211261       486      2109         0    106495      6405   1679279   no data   no data
2618.65/655.55	c  N st    81   2711262       486      2109         0    129580      6405   2097487   no data   no data
2618.65/655.55	c  S st    81   2711262       486      2109         0    129580      6405   2097487   no data   no data
2620.64/656.00	c  S st    81   2711765       486      2109         0    130081      6405   2109066   no data   no data
2620.64/656.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2620.64/656.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
2620.64/656.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2620.64/656.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2620.64/656.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2620.64/656.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
2620.64/656.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2621.04/656.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2621.04/656.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2688.96/673.11	c lits-rem:       845  cl-subs:    10487  v-elim:      0  v-fix:    0  time: 16.94 s
2688.96/673.12	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
2688.96/673.14	c vivif2 --  cl tried   119594 cl shrink        0 lits rem          0 time: 0.03
2689.36/673.27	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.13
2689.36/673.27	c calculated reachability. Time: 0.00
2689.36/673.28	c  N st    81   2711765       486      2109         0    119594      6405   1876433   no data   no data
3389.24/848.45	c  N st    82   3211768       486      2109         0     95570      6405   1124880   no data   no data
3389.24/848.45	c  S st    82   3211768       486      2109         0     95570      6405   1124880   no data   no data
3390.44/848.77	c  S st    82   3212275       486      2109         0     96076      6405   1136748   no data   no data
3390.44/848.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3390.84/848.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3390.84/848.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3390.84/848.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3390.84/848.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3390.84/848.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
3390.84/848.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3390.84/848.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3390.84/848.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3399.23/850.97	c lits-rem:       144  cl-subs:     4857  v-elim:      0  v-fix:    0  time:  2.08 s
3399.23/850.97	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3399.23/850.98	c vivif2 --  cl tried    91219 cl shrink        0 lits rem          0 time: 0.02
3399.63/851.08	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.09
3399.63/851.08	c calculated reachability. Time: 0.00
3399.63/851.08	c  N st    82   3212275       486      2109         0     91219      6405   1043915   no data   no data
4110.32/1028.91	c  N st    83   3712275       486      2109         0    102079      6405   1232975   no data   no data
4110.32/1028.91	c  S st    83   3712275       486      2109         0    102079      6405   1232975   no data   no data
4111.52/1029.25	c  S st    83   3712780       486      2109         0    102582      6405   1245309   no data   no data
4111.52/1029.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4111.92/1029.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4111.92/1029.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4111.92/1029.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4111.92/1029.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4111.92/1029.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
4111.92/1029.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4111.92/1029.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4111.92/1029.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4119.89/1031.35	c lits-rem:       227  cl-subs:     3464  v-elim:      0  v-fix:    0  time:  1.98 s
4119.89/1031.35	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
4119.89/1031.37	c vivif2 --  cl tried    99118 cl shrink        0 lits rem          0 time: 0.02
4120.29/1031.47	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
4120.29/1031.47	c calculated reachability. Time: 0.00
4120.29/1031.47	c  N st    83   3712780       486      2109         0     99118      6405   1171898   no data   no data
4180.62/1046.55	c  F st    84   3751564       486      2109         0    136546      6405   1998099   no data   no data
4180.62/1046.55	c  N st    84   3751564       486      2109         0    136546      6405   1998099   no data   no data
4190.61/1049.02	c Decided on static restart strategy
4234.95/1060.15	c  N st    94   3779867       486      2109         0    164125      6405   2656548   no data   no data
4285.28/1072.79	c  N st    96   3815861       486      2109         0    116794      6405   1556860   no data   no data
4334.42/1085.09	c  N st    97   3848253       486      2109         0    148147      6405   2303888   no data   no data
4415.12/1105.24	c  N st    98   3896841       486      2109         0    112096      6405   1410098   no data   no data
4526.19/1133.03	c  N st    99   3969724       486      2109         0     98488      6405   1081200   no data   no data
4693.18/1174.88	c  N st   100   4079050       486      2109         0    119295      6405   1543496   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-3174151-1304105220/watcher-3174151-1304105220 -o /tmp/evaluation-result-3174151-1304105220/solver-3174151-1304105220 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174151-1304105220.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: 8.13 8.11 7.91 7/180 27642
/proc/meminfo: memFree=30909240/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 522119065 52441088 347 33554432000 4194304 4627427 140736344105248 18446744073709551615 239476751345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 12803 347 299 106 0 7774 0
[pid=27642/tid=27643] ppid=27640 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522119066 52441088 347 33554432000 4194304 4627427 140736344105248 18446744073709551615 47236330915762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522119066 52441088 347 33554432000 4194304 4627427 140736344105248 18446744073709551615 47236330915766 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522119066 52441088 347 33554432000 4194304 4627427 140736344105248 18446744073709551615 239488492598 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0396361 s]
/proc/loadavg: 8.13 8.11 7.91 7/180 27642
/proc/meminfo: memFree=30909240/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=282260 CPUtime=0.13 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 1367 0 0 0 13 0 0 0 18 0 4 0 522119065 289034240 1264 33554432000 4194304 4627427 140736344105248 18446744073709551615 4332626 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 70565 1264 384 106 0 65536 0
[pid=27642/tid=27643] ppid=27640 vsize=282260 CPUtime=0.03 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 257 0 0 0 3 0 0 0 18 0 4 0 522119066 289034240 1264 33554432000 4194304 4627427 140736344105248 18446744073709551615 4332826 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=282260 CPUtime=0.03 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 267 0 0 0 3 0 0 0 18 0 4 0 522119066 289034240 1264 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=282260 CPUtime=0.03 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 143 0 0 0 3 0 0 0 25 0 4 0 522119066 289034240 1264 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 282260

[startup+0.100624 s]
/proc/loadavg: 8.13 8.11 7.91 7/180 27642
/proc/meminfo: memFree=30909240/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=282392 CPUtime=0.37 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 1631 0 0 0 37 0 0 0 18 0 4 0 522119065 289169408 1528 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327616 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 70598 1528 384 106 0 65569 0
[pid=27642/tid=27643] ppid=27640 vsize=282392 CPUtime=0.09 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 324 0 0 0 9 0 0 0 18 0 4 0 522119066 289169408 1528 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=282392 CPUtime=0.09 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 336 0 0 0 9 0 0 0 18 0 4 0 522119066 289169408 1528 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=282392 CPUtime=0.09 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 211 0 0 0 9 0 0 0 25 0 4 0 522119066 289169408 1528 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282392

[startup+0.300586 s]
/proc/loadavg: 8.13 8.11 7.91 7/180 27642
/proc/meminfo: memFree=30909240/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=283808 CPUtime=1.17 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 2668 0 0 0 117 0 0 0 18 0 4 0 522119065 290619392 2022 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 70952 2022 385 106 0 65923 0
[pid=27642/tid=27643] ppid=27640 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 591 0 0 0 29 0 0 0 18 0 4 0 522119066 290619392 2022 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 580 0 0 0 29 0 0 0 18 0 4 0 522119066 290619392 2022 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=283808 CPUtime=0.29 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 473 0 0 0 29 0 0 0 25 0 4 0 522119066 290619392 2022 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 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) 283808

[startup+0.70051 s]
/proc/loadavg: 8.13 8.11 7.91 7/180 27642
/proc/meminfo: memFree=30909240/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=284864 CPUtime=2.77 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 4195 0 0 0 277 0 0 0 18 0 4 0 522119065 291700736 2721 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 71216 2721 385 106 0 66187 0
[pid=27642/tid=27643] ppid=27640 vsize=284864 CPUtime=0.69 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 964 0 0 0 69 0 0 0 18 0 4 0 522119066 291700736 2721 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=284864 CPUtime=0.69 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 964 0 0 0 69 0 0 0 18 0 4 0 522119066 291700736 2721 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=284864 CPUtime=0.69 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 865 0 0 0 69 0 0 0 25 0 4 0 522119066 291700736 2721 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284864

[startup+1.50036 s]
/proc/loadavg: 8.13 8.11 7.91 10/184 27646
/proc/meminfo: memFree=30892220/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=291456 CPUtime=5.96 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 8382 0 0 0 595 1 0 0 19 0 4 0 522119065 298450944 4599 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 72864 4599 389 106 0 67835 0
[pid=27642/tid=27643] ppid=27640 vsize=291456 CPUtime=1.49 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 1701 0 0 0 149 0 0 0 20 0 4 0 522119066 298450944 4599 33554432000 4194304 4627427 140736344105248 18446744073709551615 4329679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=291456 CPUtime=1.49 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 1686 0 0 0 149 0 0 0 20 0 4 0 522119066 298450944 4599 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=291456 CPUtime=1.48 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 1599 0 0 0 148 0 0 0 25 0 4 0 522119066 298450944 4599 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 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) 291456

[startup+3.10105 s]
/proc/loadavg: 8.12 8.11 7.91 9/184 27646
/proc/meminfo: memFree=30860936/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=287516 CPUtime=12.36 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 16815 0 0 0 1233 3 0 0 25 0 4 0 522119065 294416384 8279 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 71879 8279 389 106 0 66850 0
[pid=27642/tid=27643] ppid=27640 vsize=287516 CPUtime=3.08 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 3950 0 0 0 308 0 0 0 25 0 4 0 522119066 294416384 8279 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=287516 CPUtime=3.08 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 4678 0 0 0 308 0 0 0 25 0 4 0 522119066 294416384 8279 33554432000 4194304 4627427 140736344105248 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=287516 CPUtime=3.07 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 3874 0 0 0 307 0 0 0 25 0 4 0 522119066 294416384 8279 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309142 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) 287516

[startup+6.30044 s]
/proc/loadavg: 8.12 8.11 7.91 9/184 27646
/proc/meminfo: memFree=30827304/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=298112 CPUtime=25.14 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 26712 0 0 0 2510 4 0 0 25 0 4 0 522119065 305266688 11693 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 74528 11693 389 106 0 69499 0
[pid=27642/tid=27643] ppid=27640 vsize=298112 CPUtime=6.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 6845 0 0 0 628 1 0 0 25 0 4 0 522119066 305266688 11693 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309173 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=298112 CPUtime=6.29 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 7665 0 0 0 628 1 0 0 25 0 4 0 522119066 305266688 11693 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=298112 CPUtime=6.26 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 5771 0 0 0 625 1 0 0 25 0 4 0 522119066 305266688 11693 33554432000 4194304 4627427 140736344105248 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 298112

[startup+12.7002 s]
/proc/loadavg: 8.18 8.12 7.92 9/184 27646
/proc/meminfo: memFree=30773752/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=321172 CPUtime=50.71 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 43085 0 0 0 5063 8 0 0 25 0 4 0 522119065 328880128 17896 33554432000 4194304 4627427 140736344105248 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 80293 17896 389 106 0 75264 0
[pid=27642/tid=27643] ppid=27640 vsize=321172 CPUtime=12.69 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 10774 0 0 0 1267 2 0 0 25 0 4 0 522119066 328880128 17896 33554432000 4194304 4627427 140736344105248 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=321172 CPUtime=12.68 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 10611 0 0 0 1267 1 0 0 25 0 4 0 522119066 328880128 17896 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=321172 CPUtime=12.62 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 10683 0 0 0 1261 1 0 0 25 0 4 0 522119066 328880128 17896 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 321172

[startup+25.5008 s]
/proc/loadavg: 8.15 8.11 7.92 9/184 27647
/proc/meminfo: memFree=30725524/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=332168 CPUtime=101.85 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 66073 0 0 0 10173 12 0 0 25 0 4 0 522119065 340140032 24373 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 83042 24373 389 106 0 78013 0
[pid=27642/tid=27643] ppid=27640 vsize=332168 CPUtime=25.49 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 17643 0 0 0 2546 3 0 0 25 0 4 0 522119066 340140032 24373 33554432000 4194304 4627427 140736344105248 18446744073709551615 4329679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=332168 CPUtime=25.48 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 16797 0 0 0 2546 2 0 0 25 0 4 0 522119066 340140032 24373 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=332168 CPUtime=25.37 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 15448 0 0 0 2534 3 0 0 25 0 4 0 522119066 340140032 24373 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 332168

[startup+51.1009 s]
/proc/loadavg: 8.10 8.10 7.92 9/184 27647
/proc/meminfo: memFree=30684624/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=336784 CPUtime=204.12 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 99433 0 0 0 20393 19 0 0 25 0 4 0 522119065 344866816 29597 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 84196 29597 389 106 0 79167 0
[pid=27642/tid=27643] ppid=27640 vsize=336784 CPUtime=51.09 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 27561 0 0 0 5104 5 0 0 25 0 4 0 522119066 344866816 29597 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327375 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=336784 CPUtime=51.09 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 26053 0 0 0 5105 4 0 0 25 0 4 0 522119066 344866816 29597 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=336784 CPUtime=50.84 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 22752 0 0 0 5079 5 0 0 25 0 4 0 522119066 344866816 29597 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 336784

[startup+102.306 s]
/proc/loadavg: 8.08 8.10 7.92 9/184 27649
/proc/meminfo: memFree=30637840/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=347644 CPUtime=408.7 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 154023 0 0 0 40836 34 0 0 25 0 4 0 522119065 355987456 36026 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 86911 36026 389 106 0 81882 0
[pid=27642/tid=27643] ppid=27640 vsize=347644 CPUtime=102.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 42169 0 0 0 10221 8 0 0 25 0 4 0 522119066 355987456 36026 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=347644 CPUtime=102.29 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 38903 0 0 0 10221 8 0 0 25 0 4 0 522119066 355987456 36026 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=347644 CPUtime=101.79 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 36801 0 0 0 10170 9 0 0 25 0 4 0 522119066 355987456 36026 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 347644

[startup+162.301 s]

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

[pid=27642] ppid=27640 vsize=566972 CPUtime=2565.92 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 471096 0 0 0 256448 144 0 0 25 0 4 0 522119065 580579328 80371 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 141743 80371 389 106 0 136714 0
[pid=27642/tid=27643] ppid=27640 vsize=566972 CPUtime=642.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 125292 0 0 0 64192 37 0 0 25 0 4 0 522119066 580579328 80371 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=566972 CPUtime=642.31 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 125469 0 0 0 64194 37 0 0 25 0 4 0 522119066 580579328 80371 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=566972 CPUtime=638.98 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 111611 0 0 0 63862 36 0 0 25 0 4 0 522119066 580579328 80371 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.92
Current children cumulated vsize (KiB) 566972

[startup+702.3 s]
/proc/loadavg: 8.10 8.10 8.00 9/184 27665
/proc/meminfo: memFree=30259372/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=586964 CPUtime=2805.6 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 498219 0 0 0 280405 155 0 0 25 0 4 0 522119065 601051136 84115 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 146741 84115 389 106 0 141712 0
[pid=27642/tid=27643] ppid=27640 vsize=586964 CPUtime=702.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 131711 0 0 0 70189 40 0 0 25 0 4 0 522119066 601051136 84115 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=586964 CPUtime=702.31 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 133042 0 0 0 70191 40 0 0 25 0 4 0 522119066 601051136 84115 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=586964 CPUtime=698.66 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 119110 0 0 0 69826 40 0 0 25 0 4 0 522119066 601051136 84115 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.6
Current children cumulated vsize (KiB) 586964

[startup+762.307 s]
/proc/loadavg: 8.03 8.08 8.00 9/184 27666
/proc/meminfo: memFree=30225244/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=611856 CPUtime=3045.32 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 523254 0 0 0 304365 167 0 0 25 0 4 0 522119065 626540544 91736 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 152964 91736 389 106 0 147935 0
[pid=27642/tid=27643] ppid=27640 vsize=611856 CPUtime=762.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 138234 0 0 0 76187 43 0 0 25 0 4 0 522119066 626540544 91736 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=611856 CPUtime=762.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 139601 0 0 0 76189 43 0 0 25 0 4 0 522119066 626540544 91736 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=611856 CPUtime=758.36 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 125364 0 0 0 75793 43 0 0 25 0 4 0 522119066 626540544 91736 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.32
Current children cumulated vsize (KiB) 611856

[startup+822.3 s]
/proc/loadavg: 8.05 8.08 8.00 9/184 27668
/proc/meminfo: memFree=30190984/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=600084 CPUtime=3284.98 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 543217 0 0 0 328323 175 0 0 25 0 4 0 522119065 614486016 95509 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 150021 95509 389 106 0 144992 0
[pid=27642/tid=27643] ppid=27640 vsize=600084 CPUtime=822.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 147679 0 0 0 82182 47 0 0 25 0 4 0 522119066 614486016 95509 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=600084 CPUtime=822.31 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 145745 0 0 0 82186 45 0 0 25 0 4 0 522119066 614486016 95509 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=600084 CPUtime=818.04 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 129452 0 0 0 81759 45 0 0 25 0 4 0 522119066 614486016 95509 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.98
Current children cumulated vsize (KiB) 600084

[startup+882.301 s]
/proc/loadavg: 8.05 8.08 8.00 9/184 27670
/proc/meminfo: memFree=30145684/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=612748 CPUtime=3524.67 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 563665 0 0 0 352282 185 0 0 25 0 4 0 522119065 627453952 102887 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 153187 102887 389 106 0 148158 0
[pid=27642/tid=27643] ppid=27640 vsize=612748 CPUtime=882.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 154022 0 0 0 88179 51 0 0 25 0 4 0 522119066 627453952 102887 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=612748 CPUtime=882.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 150270 0 0 0 88185 47 0 0 25 0 4 0 522119066 627453952 102887 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=612748 CPUtime=877.72 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 135611 0 0 0 87724 48 0 0 25 0 4 0 522119066 627453952 102887 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.67
Current children cumulated vsize (KiB) 612748

[startup+942.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 27671
/proc/meminfo: memFree=30142556/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=608908 CPUtime=3764.37 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 581206 0 0 0 376245 192 0 0 25 0 4 0 522119065 623521792 101144 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 152227 101144 389 106 0 147198 0
[pid=27642/tid=27643] ppid=27640 vsize=608908 CPUtime=942.29 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 160625 0 0 0 94176 53 0 0 25 0 4 0 522119066 623521792 101144 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309082 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=608908 CPUtime=942.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 153238 0 0 0 94185 47 0 0 25 0 4 0 522119066 623521792 101144 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=608908 CPUtime=937.41 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 141719 0 0 0 93690 51 0 0 25 0 4 0 522119066 623521792 101144 33554432000 4194304 4627427 140736344105248 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.37
Current children cumulated vsize (KiB) 608908

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.01 9/184 27673
/proc/meminfo: memFree=30122316/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=598000 CPUtime=4004.05 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 600142 0 0 0 400204 201 0 0 25 0 4 0 522119065 612352000 103386 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 149500 103386 389 106 0 144471 0
[pid=27642/tid=27643] ppid=27640 vsize=598000 CPUtime=1002.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 168438 0 0 0 100172 58 0 0 25 0 4 0 522119066 612352000 103386 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=598000 CPUtime=1002.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 153813 0 0 0 100185 47 0 0 25 0 4 0 522119066 612352000 103386 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=598000 CPUtime=997.1 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 147815 0 0 0 99656 54 0 0 25 0 4 0 522119066 612352000 103386 33554432000 4194304 4627427 140736344105248 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.05
Current children cumulated vsize (KiB) 598000

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.01 9/184 27674
/proc/meminfo: memFree=30107752/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=635500 CPUtime=4243.74 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 619651 0 0 0 424163 211 0 0 25 0 4 0 522119065 650752000 108921 33554432000 4194304 4627427 140736344105248 18446744073709551615 4329693 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 158875 108921 389 106 0 153846 0
[pid=27642/tid=27643] ppid=27640 vsize=635500 CPUtime=1062.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 174451 0 0 0 106169 61 0 0 25 0 4 0 522119066 650752000 108921 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=635500 CPUtime=1062.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 159257 0 0 0 106183 49 0 0 25 0 4 0 522119066 650752000 108921 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=635500 CPUtime=1056.77 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 151866 0 0 0 105621 56 0 0 25 0 4 0 522119066 650752000 108921 33554432000 4194304 4627427 140736344105248 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.74
Current children cumulated vsize (KiB) 635500

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 27706
/proc/meminfo: memFree=30350852/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=648748 CPUtime=4483.43 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 643014 0 0 0 448122 221 0 0 25 0 4 0 522119065 664317952 112382 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 162187 112382 389 106 0 157158 0
[pid=27642/tid=27643] ppid=27640 vsize=648748 CPUtime=1122.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 180451 0 0 0 112166 64 0 0 25 0 4 0 522119066 664317952 112382 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=648748 CPUtime=1122.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 165535 0 0 0 112180 52 0 0 25 0 4 0 522119066 664317952 112382 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=648748 CPUtime=1116.45 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 157941 0 0 0 111586 59 0 0 25 0 4 0 522119066 664317952 112382 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.43
Current children cumulated vsize (KiB) 648748

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.01 9/184 27708
/proc/meminfo: memFree=30262020/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=701456 CPUtime=4723.12 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 659518 0 0 0 472085 227 0 0 25 0 4 0 522119065 718290944 115585 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 175364 115585 389 106 0 170335 0
[pid=27642/tid=27643] ppid=27640 vsize=701456 CPUtime=1182.3 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 185520 0 0 0 118164 66 0 0 25 0 4 0 522119066 718290944 115585 33554432000 4194304 4627427 140736344105248 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=701456 CPUtime=1182.32 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 170788 0 0 0 118178 54 0 0 25 0 4 0 522119066 718290944 115585 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=701456 CPUtime=1176.15 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 163704 0 0 0 117554 61 0 0 25 0 4 0 522119066 718290944 115585 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.12
Current children cumulated vsize (KiB) 701456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.07 8.09 8.01 9/184 27708
/proc/meminfo: memFree=30248236/32950928 swapFree=67086612/67111528
[pid=27642] ppid=27640 vsize=649544 CPUtime=4800.23 cores=0,2,4,6
/proc/27642/stat : 27642 (strangenight2-m) R 27640 27642 27507 0 -1 4202496 665944 0 0 0 479794 229 0 0 25 0 4 0 522119065 665133056 114700 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27642/statm: 162386 114700 389 106 0 157357 0
[pid=27642/tid=27643] ppid=27640 vsize=649544 CPUtime=1201.6 cores=0,2,4,6
/proc/27642/task/27643/stat : 27643 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 188274 0 0 0 120094 66 0 0 25 0 4 0 522119066 665133056 114700 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27642/tid=27644] ppid=27640 vsize=649544 CPUtime=1201.63 cores=0,2,4,6
/proc/27642/task/27644/stat : 27644 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 173258 0 0 0 120108 55 0 0 25 0 4 0 522119066 665133056 114700 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27642/tid=27645] ppid=27640 vsize=649544 CPUtime=1195.35 cores=0,2,4,6
/proc/27642/task/27645/stat : 27645 (strangenight2-m) R 27640 27642 27507 0 -1 4202560 164848 0 0 0 119473 62 0 0 25 0 4 0 522119066 665133056 114700 33554432000 4194304 4627427 140736344105248 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 649544

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): 1201.63
CPU time (s): 4800.29
CPU user time (s): 4797.97
CPU system time (s): 2.32065
CPU usage (%): 399.48
Max. virtual memory (cumulated for all children) (KiB): 739288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.32065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665946
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= 351
involuntary context switches= 22222

runsolver used 1.93471 second user time and 4.26235 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 21:27:00
IDJOB=3174151
IDBENCH=82969
IDSOLVER=1586
FILE ID=node148/3174151-1304105220
RUNJOBID= node148-1304104016-27525
PBS_JOBID= 13170644
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= b1bf2be38e1cea16efc5e7effa1a10c7
RANDOM SEED=1652030799

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30909396 kB
Buffers:        697808 kB
Cached:         934092 kB
SwapCached:       3696 kB
Active:         122280 kB
Inactive:      1555772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30909396 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           11284 kB
Writeback:           0 kB
AnonPages:       44120 kB
Mapped:          14064 kB
Slab:           300028 kB
PageTables:       4308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273728 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= 71424 MiB
End job on node148 at 2011-04-29 21:47:04