Trace number 3366666

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf
MD5SUM540d28f0e1785b746f299d2e1070ed2a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark912.297
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366666-1305411357.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     231 undec:      50 neg:     219
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       489      2119         0         0      6434         0   no data   no data
0.00/0.10	c Decided on static restart strategy
3.17/0.85	c  N st     8      4919       489      2119         0      4851      6434    114550   no data   no data
3.17/0.85	c  N st    10     11304       489      2119         0      4478      6434     72045   no data   no data
3.17/0.85	c  N st    11     17048       489      2119         0     10059      6434    191416   no data   no data
4.39/1.15	c  F st    12     25003       489      2119         0     12339      6434    249523   no data   no data
4.39/1.15	c  N st    12     25003       489      2119         0     12339      6434    249523   no data   no data
5.55/1.45	c Decided on static restart strategy
5.55/1.45	c  N st    18     30001       489      2119         0     10659      6434    198104   no data   no data
5.55/1.45	c  S st    18     30001       489      2119         0     10659      6434    198104   no data   no data
5.55/1.45	c  S st    18     30507       489      2119         0     11163      6434    209329   no data   no data
5.55/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.45	c blocked clauses removed:       25 vars:      3 tried:         489 T: 0.00 s
5.55/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
5.55/1.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.45	c lits-rem:       167  cl-subs:      596  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.55	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.01
5.95/1.55	c calculated reachability. Time: 0.00
5.95/1.55	c  N st    18     30507       486      2094         0     10521      6359    193609   no data   no data
7.16/1.87	c  N st    20     37621       486      2094         0      9833      6359    158865   no data   no data
8.77/2.26	c  N st    21     44020       486      2094         0     16060      6359    300533   no data   no data
9.19/2.37	c  S st    22     45760       486      2094         0      9033      6359    123978   no data   no data
9.53/2.40	c  S st    22     46262       486      2094         0      9533      6359    135299   no data   no data
9.53/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.53/2.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.53/2.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.53/2.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.53/2.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
9.53/2.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.53/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.53/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.42	c lits-rem:        37  cl-subs:       91  v-elim:      0  v-fix:    0  time:  0.01 s
9.53/2.42	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
9.53/2.42	c vivif2 --  cl tried     9442 cl shrink        0 lits rem          0 time: 0.00
9.53/2.43	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.00
9.53/2.43	c calculated reachability. Time: 0.00
9.53/2.43	c  N st    22     46262       486      2094         0      9442      6359    133177   no data   no data
13.15/3.35	c  N st    23     60661       486      2094         0     13763      6359    221001   no data   no data
15.53/3.93	c  N st    24     69394       486      2094         0     11605      6359    162200   no data   no data
15.53/3.93	c  S st    24     69394       486      2094         0     11605      6359    162200   no data   no data
15.53/3.96	c  S st    24     69895       486      2094         0     12106      6359    174117   no data   no data
15.53/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
15.53/3.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.99	c lits-rem:        38  cl-subs:      130  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/3.99	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
15.53/3.99	c vivif2 --  cl tried    11976 cl shrink        0 lits rem          0 time: 0.00
15.92/4.00	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.01
15.92/4.00	c calculated reachability. Time: 0.00
15.92/4.00	c  N st    24     69895       486      2094         0     11976      6359    171310   no data   no data
20.71/5.27	c  F st    25     87502       486      2094         0     17382      6359    287965   no data   no data
20.71/5.27	c  N st    25     87502       486      2094         0     17382      6359    287965   no data   no data
22.35/5.66	c Decided on static restart strategy
23.51/5.93	c  N st    32     95539       486      2094         0     25252      6359    468642   no data   no data
25.90/6.59	c  N st    34    104842       486      2094         0     21725      6359    384198   no data   no data
25.90/6.59	c  S st    34    104842       486      2094         0     21725      6359    384198   no data   no data
26.32/6.64	c  S st    34    105348       486      2094         0     22230      6359    395527   no data   no data
26.32/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.32/6.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
26.32/6.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.32/6.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.32/6.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.32/6.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
26.32/6.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.32/6.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.32/6.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.77	c lits-rem:       152  cl-subs:      580  v-elim:      0  v-fix:    0  time:  0.11 s
26.74/6.77	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
26.74/6.78	c vivif2 --  cl tried    21650 cl shrink        0 lits rem          0 time: 0.00
26.74/6.79	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.01
26.74/6.79	c calculated reachability. Time: 0.00
26.74/6.79	c  N st    34    105348       486      2094         0     21650      6359    379859   no data   no data
30.28/7.61	c  N st    35    114947       486      2094         0     17344      6359    252790   no data   no data
35.09/8.89	c  N st    36    129345       486      2094         0     16810      6359    225498   no data   no data
42.65/10.75	c  N st    37    150943       486      2094         0     22212      6359    337474   no data   no data
45.44/11.40	c  S st    38    158025       486      2094         0     29120      6359    501359   no data   no data
45.44/11.48	c  S st    38    158529       486      2094         0     29622      6359    513277   no data   no data
45.44/11.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.44/11.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.44/11.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.44/11.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.44/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.44/11.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
45.44/11.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.84/11.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.84/11.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.92	c lits-rem:       492  cl-subs:     1592  v-elim:      0  v-fix:    0  time:  0.41 s
47.44/11.92	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
47.44/11.93	c vivif2 --  cl tried    28030 cl shrink        0 lits rem          0 time: 0.01
47.44/11.95	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.02
47.44/11.95	c calculated reachability. Time: 0.00
47.44/11.95	c  N st    38    158529       486      2094         0     28030      6359    475279   no data   no data
65.81/16.58	c  N st    39    207117       486      2094         0     22692      6359    309973   no data   no data
78.98/19.86	c  N st    40    237797       486      2094         0     33096      6359    536546   no data   no data
78.98/19.86	c  S st    40    237797       486      2094         0     33096      6359    536546   no data   no data
79.40/19.95	c  S st    40    238304       486      2094         0     33600      6359    548253   no data   no data
79.40/19.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.40/19.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.40/19.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.40/19.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.40/19.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.40/19.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
79.40/19.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.40/19.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.40/19.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.74/20.51	c lits-rem:       156  cl-subs:     1900  v-elim:      0  v-fix:    0  time:  0.53 s
81.74/20.51	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
81.74/20.52	c vivif2 --  cl tried    31700 cl shrink        0 lits rem          0 time: 0.01
81.74/20.54	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.02
81.74/20.54	c calculated reachability. Time: 0.00
81.74/20.54	c  N st    40    238304       486      2094         0     31700      6359    506487   no data   no data
112.06/28.16	c  F st    41    306250       486      2094         0     33671      6359    527458   no data   no data
112.06/28.16	c  N st    41    306250       486      2094         0     33671      6359    527458   no data   no data
114.84/28.81	c Decided on static restart strategy
126.41/31.73	c  N st    51    334553       486      2094         0     37963      6359    614156   no data   no data
137.58/34.54	c  N st    53    357456       486      2094         0     35935      6359    550939   no data   no data
137.58/34.54	c  S st    53    357456       486      2094         0     35935      6359    550939   no data   no data
137.98/34.64	c  S st    53    357961       486      2094         0     36439      6359    562374   no data   no data
137.98/34.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.98/34.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.98/34.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.98/34.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.98/34.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.98/34.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
137.98/34.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.98/34.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.98/34.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.58/35.00	c lits-rem:       234  cl-subs:     1283  v-elim:      0  v-fix:    0  time:  0.33 s
139.58/35.00	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
139.58/35.01	c vivif2 --  cl tried    35156 cl shrink        0 lits rem          0 time: 0.01
139.58/35.03	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.02
139.58/35.03	c calculated reachability. Time: 0.00
139.58/35.03	c  N st    53    357961       486      2094         0     35156      6359    528988   no data   no data
156.74/39.39	c  N st    54    390356       486      2094         0     41361      6359    646972   no data   no data
185.45/46.55	c  N st    55    438945       486      2094         0     35083      6359    466321   no data   no data
226.94/56.95	c  N st    56    511828       486      2094         0     48482      6359    775694   no data   no data
240.91/60.49	c  N st    57    536941       486      2094         0     42872      6359    620601   no data   no data
240.91/60.49	c  S st    57    536941       486      2094         0     42872      6359    620601   no data   no data
241.32/60.59	c  S st    57    537443       486      2094         0     43374      6359    632121   no data   no data
241.32/60.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.32/60.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.32/60.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.32/60.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.75/60.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.75/60.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
241.75/60.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.75/60.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.75/60.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.69/61.10	c lits-rem:       651  cl-subs:     1318  v-elim:      0  v-fix:    0  time:  0.46 s
243.69/61.10	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
243.69/61.11	c vivif2 --  cl tried    42056 cl shrink        0 lits rem          0 time: 0.01
243.69/61.14	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.03
243.69/61.14	c calculated reachability. Time: 0.00
243.69/61.14	c  N st    57    537443       486      2094         0     42056      6359    599969   no data   no data
355.83/89.25	c  N st    58    701428       486      2094         0     36077      6359    373728   no data   no data
426.39/106.99	c  N st    59    806164       486      2094         0     64995      6359   1046174   no data   no data
426.39/106.99	c  S st    59    806164       486      2094         0     64995      6359   1046174   no data   no data
427.19/107.17	c  S st    59    806669       486      2094         0     65500      6359   1058671   no data   no data
427.19/107.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
427.59/107.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
427.59/107.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
427.59/107.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
427.59/107.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
427.59/107.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
427.59/107.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
427.59/107.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
427.59/107.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.20/110.12	c lits-rem:       452  cl-subs:     4591  v-elim:      0  v-fix:    0  time:  2.86 s
439.20/110.12	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
439.20/110.13	c vivif2 --  cl tried    60909 cl shrink        0 lits rem          0 time: 0.01
439.20/110.18	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.05
439.20/110.18	c calculated reachability. Time: 0.00
439.20/110.18	c  N st    59    806669       486      2094         0     60909      6359    956736   no data   no data
652.96/163.73	c  F st    60   1071876       486      2094         0     76726      6359   1236680   no data   no data
652.96/163.73	c  N st    60   1071876       486      2094         0     76726      6359   1236680   no data   no data
659.33/165.35	c Decided on static restart strategy
678.89/170.25	c  N st    70   1100181       486      2094         0     60630      6359    830575   no data   no data
714.00/179.07	c  N st    72   1136175       486      2094         0     50916      6359    580379   no data   no data
741.96/186.05	c  N st    73   1168572       486      2094         0     82421      6359   1351944   no data   no data
780.62/195.79	c  N st    74   1210003       486      2094         0     77135      6359   1256923   no data   no data
780.62/195.79	c  S st    74   1210003       486      2094         0     77135      6359   1256923   no data   no data
781.80/196.02	c  S st    74   1210507       486      2094         0     77638      6359   1268845   no data   no data
781.80/196.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
781.80/196.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
781.80/196.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
781.80/196.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
781.80/196.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
781.80/196.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
781.80/196.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
781.80/196.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
782.20/196.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.62/199.24	c lits-rem:       906  cl-subs:     3517  v-elim:      0  v-fix:    0  time:  3.12 s
794.62/199.24	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
794.62/199.26	c vivif2 --  cl tried    74121 cl shrink        0 lits rem          0 time: 0.02
794.97/199.33	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.07
794.97/199.33	c calculated reachability. Time: 0.00
794.97/199.33	c  N st    74   1210507       486      2094         0     74121      6359   1178448   no data   no data
863.58/216.59	c  N st    75   1283389       486      2094         0     50703      6359    525437   no data   no data
970.13/243.22	c  N st    76   1392712       486      2094         0     58883      6359    696232   no data   no data
1131.25/283.63	c  N st    77   1556698       486      2094         0     63452      6359    761998   no data   no data
1295.98/324.93	c  N st    78   1710508       486      2094         0    104774      6359   1738381   no data   no data
1295.98/324.93	c  S st    78   1710508       486      2094         0    104774      6359   1738381   no data   no data
1297.18/325.29	c  S st    78   1711009       486      2094         0    105275      6359   1750431   no data   no data
1297.18/325.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1297.58/325.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1297.58/325.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1297.58/325.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1297.58/325.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1297.58/325.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1297.58/325.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1297.58/325.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1297.98/325.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1343.84/336.96	c lits-rem:       638  cl-subs:     8787  v-elim:      0  v-fix:    0  time: 11.53 s
1343.84/336.96	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
1343.84/336.98	c vivif2 --  cl tried    96488 cl shrink        0 lits rem          0 time: 0.02
1344.24/337.07	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.10
1344.24/337.08	c calculated reachability. Time: 0.00
1344.24/337.08	c  N st    78   1711009       486      2094         0     96488      6359   1555376   no data   no data
1786.62/447.95	c  N st    79   2079974       486      2094         0    108457      6359   1707888   no data   no data
1956.55/490.57	c  N st    80   2211012       486      2094         0    112462      6359   1755755   no data   no data
1956.55/490.57	c  S st    80   2211012       486      2094         0    112462      6359   1755755   no data   no data
1957.74/490.89	c  S st    80   2211516       486      2094         0    112964      6359   1768154   no data   no data
1958.14/490.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1958.14/490.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1958.14/490.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1958.14/490.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1958.14/490.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1958.14/490.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1958.14/490.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1958.14/490.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1958.54/491.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1997.63/500.86	c lits-rem:      1748  cl-subs:     8234  v-elim:      0  v-fix:    0  time:  9.83 s
1997.63/500.86	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
1997.63/500.89	c vivif2 --  cl tried   104730 cl shrink        0 lits rem          0 time: 0.02
1998.03/501.00	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.11
1998.43/501.00	c calculated reachability. Time: 0.00
1998.43/501.00	c  N st    80   2211516       486      2094         0    104730      6359   1593468   no data   no data
2631.87/659.80	c  N st    81   2711517       486      2094         0    129242      6359   2240444   no data   no data
2631.87/659.80	c  S st    81   2711517       486      2094         0    129242      6359   2240444   no data   no data
2633.46/660.28	c  S st    81   2712024       486      2094         0    129748      6359   2252871   no data   no data
2633.46/660.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2633.86/660.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2633.86/660.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2633.86/660.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2633.86/660.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2633.86/660.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
2633.86/660.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2633.86/660.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2634.26/660.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2686.51/673.59	c lits-rem:      1252  cl-subs:     6681  v-elim:      0  v-fix:    0  time: 13.14 s
2686.51/673.59	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
2686.91/673.62	c vivif2 --  cl tried   123067 cl shrink        0 lits rem          0 time: 0.03
2687.31/673.75	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.13
2687.31/673.76	c calculated reachability. Time: 0.00
2687.31/673.76	c  N st    81   2712024       486      2094         0    123067      6359   2091470   no data   no data
3434.45/861.09	c  N st    82   3212027       486      2094         0     97915      6359   1207326   no data   no data
3434.45/861.09	c  S st    82   3212027       486      2094         0     97915      6359   1207326   no data   no data
3436.09/861.41	c  S st    82   3212533       486      2094         0     98419      6359   1220392   no data   no data
3436.09/861.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3436.09/861.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3436.09/861.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3436.09/861.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3436.09/861.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3436.09/861.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
3436.09/861.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3436.09/861.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3436.43/861.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3445.21/863.75	c lits-rem:       345  cl-subs:     4337  v-elim:      0  v-fix:    0  time:  2.22 s
3445.21/863.75	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
3445.21/863.77	c vivif2 --  cl tried    94082 cl shrink        0 lits rem          0 time: 0.02
3445.61/863.86	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.09
3445.61/863.86	c calculated reachability. Time: 0.00
3445.61/863.86	c  N st    82   3212533       486      2094         0     94082      6359   1133659   no data   no data
4244.98/1064.27	c  N st    83   3712534       486      2094         0    105252      6359   1348311   no data   no data
4244.98/1064.27	c  S st    83   3712534       486      2094         0    105252      6359   1348311   no data   no data
4246.58/1064.61	c  S st    83   3713035       486      2094         0    105753      6359   1360051   no data   no data
4246.58/1064.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4246.58/1064.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4246.58/1064.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4246.58/1064.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4246.58/1064.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4246.58/1064.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
4246.58/1064.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4246.58/1064.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4246.98/1064.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4256.17/1067.09	c lits-rem:       365  cl-subs:     3247  v-elim:      0  v-fix:    0  time:  2.36 s
4256.17/1067.09	c vivif2 --  cl tried     2094 cl shrink        0 lits rem          0 time: 0.00
4256.60/1067.11	c vivif2 --  cl tried   102506 cl shrink        0 lits rem          0 time: 0.02
4256.95/1067.22	c asymm  cl-useful: 0/2094/2094 lits-rem:0 time: 0.10
4256.95/1067.22	c calculated reachability. Time: 0.00
4256.95/1067.22	c  N st    83   3713035       486      2094         0    102506      6359   1286332   no data   no data
4331.54/1085.90	c  F st    84   3751564       486      2094         0    140333      6359   2220814   no data   no data
4331.54/1085.90	c  N st    84   3751564       486      2094         0    140333      6359   2220814   no data   no data
4342.32/1088.69	c Decided on static restart strategy
4392.20/1101.18	c  N st    94   3779865       486      2094         0     85074      6359    797668   no data   no data
4446.02/1114.62	c  N st    96   3815858       486      2094         0    120225      6359   1652238   no data   no data
4499.47/1128.00	c  N st    97   3848252       486      2094         0    151873      6359   2383655   no data   no data
4575.26/1147.09	c  N st    98   3896841       486      2094         0    115309      6359   1506667   no data   no data
4698.92/1178.03	c  N st    99   3969723       486      2094         0    101460      6359   1142331   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366666-1305411357/watcher-3366666-1305411357 -o /tmp/evaluation-result-3366666-1305411357/solver-3366666-1305411357 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366666-1305411357.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.81 8.02 7.95 5/352 3905
/proc/meminfo: memFree=25822460/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652738283 52396032 352 33554432000 4194304 4580107 140734684616000 18446744073709551615 47700354770457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 12792 352 302 95 0 7774 0
[pid=3905/tid=3906] ppid=3903 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652738283 52396032 352 33554432000 4194304 4580107 140734684616000 18446744073709551615 47700354770866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652738283 52396032 352 33554432000 4194304 4580107 140734684616000 18446744073709551615 47700354770457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652738283 52396032 352 33554432000 4194304 4580107 140734684616000 18446744073709551615 47700354770461 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.114909 s]
/proc/loadavg: 7.81 8.02 7.95 5/352 3905
/proc/meminfo: memFree=25822460/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=282220 CPUtime=0.42 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 1674 0 0 0 42 0 0 0 18 0 4 0 652738283 288993280 1560 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 70555 1560 377 95 0 65537 0
[pid=3905/tid=3906] ppid=3903 vsize=282220 CPUtime=0.09 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 301 0 0 0 9 0 0 0 25 0 4 0 652738283 288993280 1560 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=282220 CPUtime=0.1 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 364 0 0 0 10 0 0 0 18 0 4 0 652738283 288993280 1560 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=282220 CPUtime=0.1 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 251 0 0 0 10 0 0 0 18 0 4 0 652738283 288993280 1560 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282220

[startup+0.254884 s]
/proc/loadavg: 7.81 8.02 7.95 5/352 3905
/proc/meminfo: memFree=25822460/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=283496 CPUtime=0.98 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 2465 0 0 0 98 0 0 0 18 0 4 0 652738283 290299904 1794 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 70874 1794 377 95 0 65856 0
[pid=3905/tid=3906] ppid=3903 vsize=283496 CPUtime=0.23 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 505 0 0 0 23 0 0 0 25 0 4 0 652738283 290299904 1794 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=283496 CPUtime=0.24 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 555 0 0 0 24 0 0 0 18 0 4 0 652738283 290299904 1794 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=283496 CPUtime=0.24 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 457 0 0 0 24 0 0 0 18 0 4 0 652738283 290299904 1794 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 283496

[startup+0.300875 s]
/proc/loadavg: 7.81 8.02 7.95 5/352 3905
/proc/meminfo: memFree=25822460/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=283660 CPUtime=1.17 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 2659 0 0 0 117 0 0 0 18 0 4 0 652738283 290467840 1988 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 70915 1988 377 95 0 65897 0
[pid=3905/tid=3906] ppid=3903 vsize=283660 CPUtime=0.28 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 553 0 0 0 28 0 0 0 25 0 4 0 652738283 290467840 1988 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=283660 CPUtime=0.29 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 608 0 0 0 29 0 0 0 18 0 4 0 652738283 290467840 1988 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=283660 CPUtime=0.29 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 515 0 0 0 29 0 0 0 18 0 4 0 652738283 290467840 1988 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283660

[startup+0.700806 s]
/proc/loadavg: 7.81 8.02 7.95 5/352 3905
/proc/meminfo: memFree=25822460/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=284512 CPUtime=2.76 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 4166 0 0 0 276 0 0 0 18 0 4 0 652738283 291340288 2662 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 71128 2662 377 95 0 66110 0
[pid=3905/tid=3906] ppid=3903 vsize=284512 CPUtime=0.68 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 949 0 0 0 68 0 0 0 25 0 4 0 652738283 291340288 2662 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=284512 CPUtime=0.69 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 972 0 0 0 69 0 0 0 18 0 4 0 652738283 291340288 2662 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=284512 CPUtime=0.69 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 897 0 0 0 69 0 0 0 18 0 4 0 652738283 291340288 2662 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284512

[startup+1.50067 s]
/proc/loadavg: 7.81 8.02 7.95 9/356 3909
/proc/meminfo: memFree=25810648/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=285664 CPUtime=5.95 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 8408 0 0 0 594 1 0 0 20 0 4 0 652738283 292519936 4386 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 71416 4386 379 95 0 66398 0
[pid=3905/tid=3906] ppid=3903 vsize=285664 CPUtime=1.47 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1685 0 0 0 147 0 0 0 25 0 4 0 652738283 292519936 4386 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=285664 CPUtime=1.49 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1718 0 0 0 149 0 0 0 20 0 4 0 652738283 292519936 4386 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=285664 CPUtime=1.49 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 1640 0 0 0 149 0 0 0 20 0 4 0 652738283 292519936 4386 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285664

[startup+3.10039 s]
/proc/loadavg: 7.81 8.02 7.95 9/356 3909
/proc/meminfo: memFree=25790436/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=289584 CPUtime=12.34 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 17120 0 0 0 1231 3 0 0 25 0 4 0 652738283 296534016 9616 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 72396 9616 379 95 0 67378 0
[pid=3905/tid=3906] ppid=3903 vsize=289584 CPUtime=3.05 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 3760 0 0 0 305 0 0 0 25 0 4 0 652738283 296534016 9616 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=289584 CPUtime=3.09 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 4636 0 0 0 308 1 0 0 25 0 4 0 652738283 296534016 9616 33554432000 4194304 4580107 140734684616000 18446744073709551615 4320902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=289584 CPUtime=3.08 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 4124 0 0 0 308 0 0 0 25 0 4 0 652738283 296534016 9616 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 289584

[startup+6.30082 s]
/proc/loadavg: 7.83 8.02 7.95 9/356 3909
/proc/meminfo: memFree=25777072/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=294288 CPUtime=25.1 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 27381 0 0 0 2505 5 0 0 25 0 4 0 652738283 301350912 12261 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 73572 12261 379 95 0 68554 0
[pid=3905/tid=3906] ppid=3903 vsize=294288 CPUtime=6.22 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 6813 0 0 0 621 1 0 0 25 0 4 0 652738283 301350912 12261 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=294288 CPUtime=6.28 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 7661 0 0 0 627 1 0 0 25 0 4 0 652738283 301350912 12261 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=294288 CPUtime=6.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 6178 0 0 0 628 0 0 0 25 0 4 0 652738283 301350912 12261 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 294288

[startup+12.7007 s]
/proc/loadavg: 7.52 7.95 7.93 9/356 3940
/proc/meminfo: memFree=26150408/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=299216 CPUtime=50.63 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 44839 0 0 0 5055 8 0 0 25 0 4 0 652738283 306397184 17918 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 74804 17918 379 95 0 69786 0
[pid=3905/tid=3906] ppid=3903 vsize=299216 CPUtime=12.54 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 11006 0 0 0 1253 1 0 0 25 0 4 0 652738283 306397184 17918 33554432000 4194304 4580107 140734684616000 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=299216 CPUtime=12.68 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 10781 0 0 0 1266 2 0 0 25 0 4 0 652738283 306397184 17918 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=299216 CPUtime=12.69 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 10669 0 0 0 1268 1 0 0 25 0 4 0 652738283 306397184 17918 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 299216

[startup+25.5004 s]
/proc/loadavg: 7.63 7.96 7.93 10/356 3940
/proc/meminfo: memFree=26064200/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=305192 CPUtime=101.69 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 68464 0 0 0 10156 13 0 0 25 0 4 0 652738283 312516608 22970 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 76298 22970 379 95 0 71280 0
[pid=3905/tid=3906] ppid=3903 vsize=305192 CPUtime=25.19 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 17593 0 0 0 2517 2 0 0 25 0 4 0 652738283 312516608 22970 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=305192 CPUtime=25.48 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 17092 0 0 0 2545 3 0 0 25 0 4 0 652738283 312516608 22970 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=305192 CPUtime=25.48 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 15242 0 0 0 2546 2 0 0 25 0 4 0 652738283 312516608 22970 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 305192

[startup+51.1009 s]
/proc/loadavg: 7.75 7.96 7.93 9/356 3941
/proc/meminfo: memFree=26010812/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=312904 CPUtime=203.81 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 105171 0 0 0 20360 21 0 0 25 0 4 0 652738283 320413696 28860 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 78226 28860 379 95 0 73208 0
[pid=3905/tid=3906] ppid=3903 vsize=312904 CPUtime=50.52 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 27463 0 0 0 5048 4 0 0 25 0 4 0 652738283 320413696 28860 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=312904 CPUtime=51.09 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 26837 0 0 0 5104 5 0 0 25 0 4 0 652738283 320413696 28860 33554432000 4194304 4580107 140734684616000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=312904 CPUtime=51.09 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 23290 0 0 0 5104 5 0 0 25 0 4 0 652738283 320413696 28860 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 312904

[startup+102.301 s]
/proc/loadavg: 7.89 7.96 7.93 9/356 3943
/proc/meminfo: memFree=25891728/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=333476 CPUtime=408.06 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 154895 0 0 0 40771 35 0 0 25 0 4 0 652738283 341479424 39882 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 83369 39882 379 95 0 78351 0
[pid=3905/tid=3906] ppid=3903 vsize=333476 CPUtime=101.17 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 40143 0 0 0 10110 7 0 0 25 0 4 0 652738283 341479424 39885 33554432000 4194304 4580107 140734684616000 18446744073709551615 4323429 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=333476 CPUtime=102.3 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 38463 0 0 0 10221 9 0 0 25 0 4 0 652738283 341479424 39885 33554432000 4194304 4580107 140734684616000 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=333476 CPUtime=102.3 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 35269 0 0 0 10222 8 0 0 25 0 4 0 652738283 341479424 39885 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 333476

[startup+162.3 s]

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

[pid=3905] ppid=3903 vsize=534404 CPUtime=2801.39 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 456919 0 0 0 279995 144 0 0 25 0 4 0 652738283 547229696 93685 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 133601 93685 379 95 0 128583 0
[pid=3905/tid=3906] ppid=3903 vsize=534404 CPUtime=694.62 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 109207 0 0 0 69430 32 0 0 25 0 4 0 652738283 547229696 93685 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=534404 CPUtime=702.3 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 115049 0 0 0 70192 38 0 0 25 0 4 0 652738283 547229696 93685 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=534404 CPUtime=702.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 107986 0 0 0 70193 35 0 0 25 0 4 0 652738283 547229696 93685 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.39
Current children cumulated vsize (KiB) 534404

[startup+762.301 s]
/proc/loadavg: 8.12 8.12 8.01 9/356 3960
/proc/meminfo: memFree=25425700/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=547076 CPUtime=3040.76 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 479332 0 0 0 303922 154 0 0 25 0 4 0 652738283 560205824 96340 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 136769 96340 379 95 0 131751 0
[pid=3905/tid=3906] ppid=3903 vsize=547076 CPUtime=753.97 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 116020 0 0 0 75362 35 0 0 25 0 4 0 652738283 560205824 96342 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=547076 CPUtime=762.31 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 119184 0 0 0 76192 39 0 0 25 0 4 0 652738283 560205824 96342 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=547076 CPUtime=762.29 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 113465 0 0 0 76191 38 0 0 25 0 4 0 652738283 560205824 96342 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.76
Current children cumulated vsize (KiB) 547076

[startup+822.3 s]
/proc/loadavg: 8.19 8.14 8.02 10/356 3962
/proc/meminfo: memFree=25384364/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=538020 CPUtime=3280.08 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 500590 0 0 0 327845 163 0 0 25 0 4 0 652738283 550932480 99254 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 134505 99254 379 95 0 129487 0
[pid=3905/tid=3906] ppid=3903 vsize=538020 CPUtime=813.31 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 122303 0 0 0 81293 38 0 0 25 0 4 0 652738283 550932480 99254 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=538020 CPUtime=822.29 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 123591 0 0 0 82188 41 0 0 25 0 4 0 652738283 550932480 99254 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=538020 CPUtime=822.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 120522 0 0 0 82187 41 0 0 25 0 4 0 652738283 550932480 99254 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.08
Current children cumulated vsize (KiB) 538020

[startup+882.314 s]
/proc/loadavg: 8.10 8.12 8.02 9/356 3963
/proc/meminfo: memFree=25405652/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=563440 CPUtime=3519.46 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 524012 0 0 0 351773 173 0 0 25 0 4 0 652738283 576962560 101455 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 140860 101455 379 95 0 135842 0
[pid=3905/tid=3906] ppid=3903 vsize=563440 CPUtime=872.67 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 128236 0 0 0 87226 41 0 0 25 0 4 0 652738283 576962560 101455 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=563440 CPUtime=882.31 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 129367 0 0 0 88188 43 0 0 25 0 4 0 652738283 576962560 101455 33554432000 4194304 4580107 140734684616000 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=563440 CPUtime=882.29 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 126586 0 0 0 88186 43 0 0 25 0 4 0 652738283 576962560 101455 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.46
Current children cumulated vsize (KiB) 563440

[startup+942.301 s]
/proc/loadavg: 8.25 8.16 8.04 10/356 3965
/proc/meminfo: memFree=25354528/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=573084 CPUtime=3758.73 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 548560 0 0 0 375690 183 0 0 25 0 4 0 652738283 586838016 100528 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 143271 100528 379 95 0 138253 0
[pid=3905/tid=3906] ppid=3903 vsize=573084 CPUtime=931.98 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 134424 0 0 0 93154 44 0 0 25 0 4 0 652738283 586838016 100528 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=573084 CPUtime=942.3 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 135212 0 0 0 94184 46 0 0 25 0 4 0 652738283 586838016 100528 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=573084 CPUtime=942.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 133880 0 0 0 94182 46 0 0 25 0 4 0 652738283 586838016 100528 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.73
Current children cumulated vsize (KiB) 573084

[startup+1002.3 s]
/proc/loadavg: 8.09 8.13 8.03 10/356 3967
/proc/meminfo: memFree=25333772/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=572860 CPUtime=3998.06 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 569284 0 0 0 399614 192 0 0 25 0 4 0 652738283 586608640 104953 33554432000 4194304 4580107 140734684616000 18446744073709551615 4317275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 143215 104953 379 95 0 138197 0
[pid=3905/tid=3906] ppid=3903 vsize=572860 CPUtime=991.32 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 140382 0 0 0 99086 46 0 0 25 0 4 0 652738283 586608640 104953 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=572860 CPUtime=1002.3 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 141388 0 0 0 100181 49 0 0 25 0 4 0 652738283 586608640 104953 33554432000 4194304 4580107 140734684616000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=572860 CPUtime=1002.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 136904 0 0 0 100181 47 0 0 25 0 4 0 652738283 586608640 104953 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.06
Current children cumulated vsize (KiB) 572860

[startup+1062.3 s]
/proc/loadavg: 8.03 8.10 8.03 9/356 3968
/proc/meminfo: memFree=25306308/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=573152 CPUtime=4237.4 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 589339 0 0 0 423540 200 0 0 25 0 4 0 652738283 586907648 105207 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 143288 105207 379 95 0 138270 0
[pid=3905/tid=3906] ppid=3903 vsize=573152 CPUtime=1050.68 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 144631 0 0 0 105020 48 0 0 25 0 4 0 652738283 586907648 105207 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=573152 CPUtime=1062.31 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 146278 0 0 0 106179 52 0 0 25 0 4 0 652738283 586907648 105207 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=573152 CPUtime=1062.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 141841 0 0 0 106179 49 0 0 25 0 4 0 652738283 586907648 105207 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.4
Current children cumulated vsize (KiB) 573152

[startup+1122.3 s]
/proc/loadavg: 8.07 8.10 8.03 10/356 3970
/proc/meminfo: memFree=25243008/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=638960 CPUtime=4476.73 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 611710 0 0 0 447463 210 0 0 25 0 4 0 652738283 654295040 109889 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 159740 109889 379 95 0 154722 0
[pid=3905/tid=3906] ppid=3903 vsize=638960 CPUtime=1110.02 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 149986 0 0 0 110951 51 0 0 25 0 4 0 652738283 654295040 109889 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=638960 CPUtime=1122.31 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 153591 0 0 0 112177 54 0 0 25 0 4 0 652738283 654295040 109889 33554432000 4194304 4580107 140734684616000 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=638960 CPUtime=1122.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 147176 0 0 0 112176 52 0 0 25 0 4 0 652738283 654295040 109889 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.73
Current children cumulated vsize (KiB) 638960

[startup+1182.3 s]
/proc/loadavg: 8.02 8.08 8.02 9/356 3971
/proc/meminfo: memFree=25262176/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=599600 CPUtime=4716.07 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 629681 0 0 0 471389 218 0 0 25 0 4 0 652738283 613990400 114512 33554432000 4194304 4580107 140734684616000 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 149900 114512 379 95 0 144882 0
[pid=3905/tid=3906] ppid=3903 vsize=599600 CPUtime=1169.36 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 152003 0 0 0 116884 52 0 0 25 0 4 0 652738283 613990400 114512 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=599600 CPUtime=1182.31 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 157958 0 0 0 118175 56 0 0 25 0 4 0 652738283 613990400 114512 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=599600 CPUtime=1182.28 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 152977 0 0 0 118173 55 0 0 25 0 4 0 652738283 613990400 114512 33554432000 4194304 4580107 140734684616000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.07
Current children cumulated vsize (KiB) 599600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.02 8.07 8.02 10/356 3972
/proc/meminfo: memFree=25232264/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=704608 CPUtime=4800.29 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 634626 0 0 0 479808 221 0 0 25 0 4 0 652738283 721518592 116277 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 176152 116277 379 95 0 171134 0
[pid=3905/tid=3906] ppid=3903 vsize=704608 CPUtime=1190.23 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 153814 0 0 0 118970 53 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=704608 CPUtime=1203.43 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 158353 0 0 0 120287 56 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=704608 CPUtime=1203.41 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 154113 0 0 0 120285 56 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 704608

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

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

[startup+1203.4 s]
/proc/loadavg: 8.02 8.07 8.02 10/356 3972
/proc/meminfo: memFree=25232264/32951124 swapFree=53501236/67111528
[pid=3905] ppid=3903 vsize=704608 CPUtime=4800.29 cores=0,2,4,6
/proc/3905/stat : 3905 (strangenight2-m) R 3903 3905 3413 0 -1 4202496 634626 0 0 0 479808 221 0 0 25 0 4 0 652738283 721518592 116277 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3905/statm: 176152 116277 379 95 0 171134 0
[pid=3905/tid=3906] ppid=3903 vsize=704608 CPUtime=1190.23 cores=0,2,4,6
/proc/3905/task/3906/stat : 3906 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 153814 0 0 0 118970 53 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3905/tid=3907] ppid=3903 vsize=704608 CPUtime=1203.43 cores=0,2,4,6
/proc/3905/task/3907/stat : 3907 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 158353 0 0 0 120287 56 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3905/tid=3908] ppid=3903 vsize=704608 CPUtime=1203.41 cores=0,2,4,6
/proc/3905/task/3908/stat : 3908 (strangenight2-m) R 3903 3905 3413 0 -1 4202560 154113 0 0 0 120285 56 0 0 25 0 4 0 652738283 721518592 116279 33554432000 4194304 4580107 140734684616000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 704608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.36
CPU user time (s): 4798.12
CPU system time (s): 2.23466
CPU usage (%): 398.883
Max. virtual memory (cumulated for all children) (KiB): 704608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.23466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634629
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= 610
involuntary context switches= 22810

runsolver used 3.72943 second user time and 9.48956 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 00:15:57
IDJOB=3366666
IDBENCH=83075
IDSOLVER=1844
FILE ID=node103/3366666-1305411357
RUNJOBID= node103-1305410151-3777
PBS_JOBID= 13324513
Free space on /tmp= 72984 MiB

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

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

MD5SUM BENCH= 540d28f0e1785b746f299d2e1070ed2a
RANDOM SEED=1988342546

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25822740 kB
Buffers:        300824 kB
Cached:        3865868 kB
SwapCached:     340192 kB
Active:        1749552 kB
Inactive:      5109644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25822740 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5492 kB
Writeback:           0 kB
AnonPages:     2362772 kB
Mapped:          11180 kB
Slab:           151248 kB
PageTables:      53880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78811888 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= 72980 MiB
End job on node103 at 2011-05-15 00:36:02