Trace number 3174219

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.44 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
MD5SUMd6fc0fc1938fb2a6255c0a87d93d5767
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3174219-1304115388.cnf'
0.00/0.00	c -- header says num vars:            100
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        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
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:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.04/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.04/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.04/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.04/0.80	c calculated reachability. Time: 0.00
0.04/0.80	c Calc default polars -  time:   0.00 s pos:      44 undec:       0 neg:      56
0.04/0.80	c =========================================================================================
0.04/0.80	c types(t): F = full restart, N = normal restart
0.04/0.80	c types(t): S = simplification begin/end, E = solution found
0.04/0.80	c restart types(rt): st = static, dy = dynamic
0.04/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.04/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.04/0.80	c Decided on static restart strategy
0.04/0.80	c  N st     8      4919       100      2130         0      4610     10650    100850   no data   no data
0.04/0.80	c  N st    10     11304       100      2130         0      4257     10650     74181   no data   no data
0.04/0.80	c  N st    11     17047       100      2130         0      9628     10650    196008   no data   no data
0.04/0.80	c  F st    12     25000       100      2130         0     11773     10650    238058   no data   no data
0.04/0.80	c  N st    12     25000       100      2130         0     11773     10650    238058   no data   no data
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30000       100      2130         0     10124     10650    188975   no data   no data
3.97/1.00	c  S st    18     30000       100      2130         0     10124     10650    188975   no data   no data
3.97/1.02	c  S st    18     30503       100      2130         0     10605     10650    199696   no data   no data
3.97/1.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.03	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.21	c lits-rem:       342  cl-subs:     1819  v-elim:      0  v-fix:    0  time:  0.17 s
4.78/1.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.78/1.24	c calculated reachability. Time: 0.00
4.78/1.24	c  N st    18     30503       100      2130         0      8786     10650    159060   no data   no data
5.97/1.59	c  N st    20     37617       100      2130         0      8098     10650    131339   no data   no data
7.20/1.88	c  N st    21     44017       100      2130         0     13948     10650    250987   no data   no data
7.57/1.96	c  S st    22     45754       100      2130         0     15559     10650    284898   no data   no data
7.97/2.01	c  S st    22     46257       100      2130         0     16039     10650    295585   no data   no data
7.97/2.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.97/2.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.42	c lits-rem:       327  cl-subs:     2389  v-elim:      0  v-fix:    0  time:  0.40 s
9.57/2.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.57/2.43	c vivif2 --  cl tried    13650 cl shrink        0 lits rem          0 time: 0.00
9.57/2.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.57/2.48	c calculated reachability. Time: 0.00
9.57/2.48	c  N st    22     46257       100      2130         0     13650     10650    247284   no data   no data
12.36/3.18	c  N st    23     60654       100      2130         0      9627     10650    141471   no data   no data
14.36/3.60	c  N st    24     69385       100      2130         0     17710     10650    317511   no data   no data
14.36/3.60	c  S st    24     69385       100      2130         0     17710     10650    317511   no data   no data
14.36/3.64	c  S st    24     69889       100      2130         0     18198     10650    328390   no data   no data
14.36/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.36/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.98/4.09	c lits-rem:       380  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  0.43 s
15.98/4.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
15.98/4.09	c vivif2 --  cl tried    16000 cl shrink        0 lits rem          0 time: 0.00
16.35/4.15	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.35/4.15	c calculated reachability. Time: 0.00
16.35/4.15	c  N st    24     69889       100      2130         0     16000     10650    282277   no data   no data
20.75/5.21	c  F st    25     87500       100      2130         0     11111     10650    159621   no data   no data
20.75/5.21	c  N st    25     87500       100      2130         0     11111     10650    159621   no data   no data
21.55/5.48	c Decided on static restart strategy
22.34/5.66	c  N st    32     95539       100      2130         0     18583     10650    322100   no data   no data
24.36/6.19	c  N st    34    104833       100      2130         0     15213     10650    243623   no data   no data
24.36/6.19	c  S st    34    104833       100      2130         0     15213     10650    243623   no data   no data
24.77/6.23	c  S st    34    105335       100      2130         0     15696     10650    254375   no data   no data
24.77/6.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.77/6.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.77/6.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.77/6.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.77/6.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.77/6.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.77/6.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.77/6.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.77/6.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.39	c lits-rem:       154  cl-subs:     1185  v-elim:      0  v-fix:    0  time:  0.14 s
25.14/6.39	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.14/6.39	c vivif2 --  cl tried    14511 cl shrink        0 lits rem          0 time: 0.00
25.55/6.45	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.55/6.45	c calculated reachability. Time: 0.00
25.55/6.45	c  N st    34    105335       100      2130         0     14511     10650    228757   no data   no data
27.94/7.06	c  N st    35    114934       100      2130         0     23403     10650    417530   no data   no data
31.94/8.04	c  N st    36    129335       100      2130         0     23721     10650    413616   no data   no data
38.32/9.62	c  N st    37    150932       100      2130         0     15088     10650    200374   no data   no data
39.92/10.04	c  S st    38    158002       100      2130         0     21662     10650    343257   no data   no data
39.92/10.09	c  S st    38    158504       100      2130         0     22140     10650    354075   no data   no data
39.92/10.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.32/10.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
40.32/10.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.32/10.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.32/10.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.32/10.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.32/10.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.32/10.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.32/10.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.94/10.52	c lits-rem:       434  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  0.40 s
41.94/10.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.94/10.52	c vivif2 --  cl tried    20081 cl shrink        0 lits rem          0 time: 0.00
41.94/10.59	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.94/10.59	c calculated reachability. Time: 0.00
41.94/10.59	c  N st    38    158504       100      2130         0     20081     10650    311411   no data   no data
57.90/14.52	c  N st    39    207092       100      2130         0     32508     10650    546395   no data   no data
69.09/17.32	c  N st    40    237757       100      2130         0     24924     10650    373330   no data   no data
69.09/17.32	c  S st    40    237757       100      2130         0     24924     10650    373330   no data   no data
69.09/17.38	c  S st    40    238265       100      2130         0     25416     10650    384247   no data   no data
69.09/17.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.09/17.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.09/17.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.09/17.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.09/17.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.09/17.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.09/17.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.09/17.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
69.49/17.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.48/17.90	c lits-rem:       377  cl-subs:     2341  v-elim:      0  v-fix:    0  time:  0.50 s
71.48/17.90	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.48/17.90	c vivif2 --  cl tried    23075 cl shrink        0 lits rem          0 time: 0.00
71.48/17.99	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.48/17.99	c calculated reachability. Time: 0.00
71.48/17.99	c  N st    40    238265       100      2130         0     23075     10650    340269   no data   no data
97.05/24.31	c  F st    41    306250       100      2130         0     24938     10650    340815   no data   no data
97.05/24.31	c  N st    41    306250       100      2130         0     24938     10650    340815   no data   no data
99.06/24.82	c Decided on static restart strategy
107.85/27.03	c  N st    51    334554       100      2130         0     29085     10650    421978   no data   no data
116.23/29.15	c  N st    53    357398       100      2130         0     27129     10650    365019   no data   no data
116.23/29.15	c  S st    53    357398       100      2130         0     27129     10650    365019   no data   no data
116.64/29.22	c  S st    53    357902       100      2130         0     27606     10650    375744   no data   no data
116.64/29.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.64/29.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
116.64/29.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.64/29.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116.64/29.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.64/29.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
116.64/29.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.64/29.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
116.64/29.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.82/29.51	c lits-rem:       379  cl-subs:     1341  v-elim:      0  v-fix:    0  time:  0.27 s
117.82/29.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
117.82/29.52	c vivif2 --  cl tried    26265 cl shrink        0 lits rem          0 time: 0.01
118.22/29.61	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
118.22/29.61	c calculated reachability. Time: 0.00
118.22/29.61	c  N st    53    357902       100      2130         0     26265     10650    349954   no data   no data
130.22/32.63	c  N st    54    390294       100      2130         0     32229     10650    473354   no data   no data
152.97/38.36	c  N st    55    438882       100      2130         0     26343     10650    321832   no data   no data
185.33/46.40	c  N st    56    511764       100      2130         0     38957     10650    567978   no data   no data
197.72/49.57	c  N st    57    536853       100      2130         0     33551     10650    439232   no data   no data
197.72/49.57	c  S st    57    536853       100      2130         0     33551     10650    439232   no data   no data
198.12/49.65	c  S st    57    537357       100      2130         0     34035     10650    450435   no data   no data
198.12/49.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.12/49.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.12/49.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.12/49.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.12/49.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.12/49.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.12/49.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.12/49.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.12/49.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
199.71/50.10	c lits-rem:       381  cl-subs:     1618  v-elim:      0  v-fix:    0  time:  0.41 s
199.71/50.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
199.71/50.10	c vivif2 --  cl tried    32417 cl shrink        0 lits rem          0 time: 0.01
200.53/50.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
200.53/50.22	c calculated reachability. Time: 0.00
200.53/50.22	c  N st    57    537357       100      2130         0     32417     10650    419386   no data   no data
288.41/72.23	c  N st    58    701342       100      2130         0     60069     10650    963073   no data   no data
343.92/86.15	c  N st    59    806035       100      2130         0     54136     10650    802550   no data   no data
343.92/86.15	c  S st    59    806035       100      2130         0     54136     10650    802550   no data   no data
344.72/86.30	c  S st    59    806541       100      2130         0     54619     10650    813725   no data   no data
344.72/86.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
344.72/86.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
344.72/86.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
344.72/86.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
344.72/86.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
344.72/86.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
344.72/86.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
344.72/86.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
344.72/86.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.10/89.46	c lits-rem:      1406  cl-subs:     6366  v-elim:      0  v-fix:    0  time:  3.10 s
357.10/89.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
357.10/89.47	c vivif2 --  cl tried    48253 cl shrink        0 lits rem          0 time: 0.01
357.90/89.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.21
357.90/89.69	c calculated reachability. Time: 0.00
357.90/89.69	c  N st    59    806541       100      2130         0     48253     10650    693230   no data   no data
522.48/130.87	c  F st    60   1071876       100      2130         0     63371     10650    929749   no data   no data
522.48/130.87	c  N st    60   1071876       100      2130         0     63371     10650    929749   no data   no data
526.47/131.81	c Decided on static restart strategy
542.46/135.84	c  N st    70   1100176       100      2130         0     48532     10650    624775   no data   no data
568.41/142.30	c  N st    72   1136168       100      2130         0     81794     10650   1370805   no data   no data
589.59/147.69	c  N st    73   1168560       100      2130         0     69309     10650   1073298   no data   no data
621.97/155.72	c  N st    74   1209811       100      2130         0     63903     10650    930769   no data   no data
621.97/155.72	c  S st    74   1209811       100      2130         0     63903     10650    930769   no data   no data
622.75/155.90	c  S st    74   1210317       100      2130         0     64379     10650    941532   no data   no data
622.75/155.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
622.75/155.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
622.75/155.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
622.75/155.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
622.75/155.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
622.75/155.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
622.75/155.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
622.75/155.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
622.75/155.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
645.51/161.61	c lits-rem:      1106  cl-subs:     5755  v-elim:      0  v-fix:    0  time:  5.64 s
645.51/161.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
645.51/161.62	c vivif2 --  cl tried    58624 cl shrink        0 lits rem          0 time: 0.01
647.11/162.01	c asymm  cl-useful: 0/1906/2130 lits-rem:0 time: 0.38
647.11/162.01	c calculated reachability. Time: 0.00
647.11/162.01	c  N st    74   1210317       100      2130         0     58624     10650    823079   no data   no data
711.42/178.19	c  N st    75   1283200       100      2130         0     81794     10650   1315329   no data   no data
800.50/200.43	c  N st    76   1392526       100      2130         0     91325     10650   1517371   no data   no data
928.34/232.42	c  N st    77   1556511       100      2130         0     98380     10650   1576330   no data   no data
1054.57/264.09	c  N st    78   1710318       100      2130         0     87681     10650   1293667   no data   no data
1054.57/264.09	c  S st    78   1710318       100      2130         0     87681     10650   1293667   no data   no data
1055.77/264.36	c  S st    78   1710825       100      2130         0     88169     10650   1304711   no data   no data
1055.77/264.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1056.16/264.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1056.16/264.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1056.16/264.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1056.16/264.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1056.16/264.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1056.16/264.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1056.16/264.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1056.16/264.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1110.89/278.12	c lits-rem:      1843  cl-subs:    12565  v-elim:      0  v-fix:    0  time: 13.66 s
1110.89/278.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1110.89/278.14	c vivif2 --  cl tried    75604 cl shrink        0 lits rem          0 time: 0.02
1112.49/278.59	c asymm  cl-useful: 0/1626/2130 lits-rem:0 time: 0.45
1112.49/278.59	c calculated reachability. Time: 0.00
1112.49/278.59	c  N st    78   1710825       100      2130         0     75604     10650   1077488   no data   no data
1478.83/370.22	c  N st    79   2079790       100      2130         0     87307     10650   1229047   no data   no data
1593.07/398.81	c  N st    80   2210825       100      2130         0     91290     10650   1300769   no data   no data
1593.07/398.81	c  S st    80   2210825       100      2130         0     91290     10650   1300769   no data   no data
1593.85/399.08	c  S st    80   2211325       100      2130         0     91770     10650   1312256   no data   no data
1593.85/399.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1594.25/399.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1594.25/399.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1594.25/399.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1594.25/399.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1594.25/399.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1594.25/399.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1594.25/399.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1594.25/399.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1631.00/408.37	c lits-rem:      1893  cl-subs:    10997  v-elim:      0  v-fix:    0  time:  9.19 s
1631.00/408.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1631.00/408.39	c vivif2 --  cl tried    80773 cl shrink        0 lits rem          0 time: 0.02
1631.81/408.52	c asymm  cl-useful: 0/504/2130 lits-rem:0 time: 0.13
1631.81/408.53	c calculated reachability. Time: 0.00
1631.81/408.53	c  N st    80   2211325       100      2130         0     80773     10650   1114743   no data   no data
2143.92/536.74	c  N st    81   2711325       100      2130         0    103418     10650   1493716   no data   no data
2143.92/536.74	c  S st    81   2711325       100      2130         0    103418     10650   1493716   no data   no data
2145.12/537.07	c  S st    81   2711831       100      2130         0    103904     10650   1505297   no data   no data
2145.12/537.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2145.52/537.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2145.52/537.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2145.52/537.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2145.52/537.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2145.52/537.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2145.52/537.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2145.52/537.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2145.52/537.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2192.25/548.87	c lits-rem:      1160  cl-subs:    12584  v-elim:      0  v-fix:    0  time: 11.68 s
2192.25/548.87	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2192.25/548.89	c vivif2 --  cl tried    91320 cl shrink        0 lits rem          0 time: 0.02
2193.85/549.22	c asymm  cl-useful: 0/1284/2130 lits-rem:0 time: 0.33
2193.85/549.22	c calculated reachability. Time: 0.00
2193.85/549.22	c  N st    81   2711831       100      2130         0     91320     10650   1272554   no data   no data
2787.86/697.94	c  N st    82   3211832       100      2130         0    140543     10650   2198937   no data   no data
2787.86/697.94	c  S st    82   3211832       100      2130         0    140543     10650   2198937   no data   no data
2789.85/698.42	c  S st    82   3212336       100      2130         0    141020     10650   2209965   no data   no data
2789.85/698.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2789.85/698.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2789.85/698.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2789.85/698.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2789.85/698.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2789.85/698.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2789.85/698.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2790.25/698.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2790.25/698.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2964.04/742.05	c lits-rem:      2949  cl-subs:    25516  v-elim:      0  v-fix:    0  time: 43.46 s
2964.04/742.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2964.04/742.08	c vivif2 --  cl tried   115504 cl shrink        0 lits rem          0 time: 0.03
2965.62/742.44	c asymm  cl-useful: 0/846/2130 lits-rem:0 time: 0.36
2965.62/742.44	c calculated reachability. Time: 0.00
2965.62/742.44	c  N st    82   3212336       100      2130         0    115504     10650   1745513   no data   no data
3506.90/877.92	c  N st    83   3712339       100      2130         0    133173     10650   1964384   no data   no data
3506.90/877.92	c  S st    83   3712339       100      2130         0    133173     10650   1964384   no data   no data
3508.50/878.32	c  S st    83   3712841       100      2130         0    133653     10650   1975670   no data   no data
3508.50/878.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3508.50/878.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
3508.50/878.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3508.50/878.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3508.50/878.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3508.50/878.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3508.50/878.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3508.91/878.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3508.91/878.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3635.13/910.05	c lits-rem:      2863  cl-subs:    22100  v-elim:      0  v-fix:    0  time: 31.57 s
3635.13/910.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3635.13/910.08	c vivif2 --  cl tried   111553 cl shrink        0 lits rem          0 time: 0.03
3636.75/910.48	c asymm  cl-useful: 0/1047/2130 lits-rem:0 time: 0.40
3636.75/910.49	c calculated reachability. Time: 0.00
3636.75/910.49	c  N st    83   3712841       100      2130         0    111553     10650   1588236   no data   no data
3692.25/924.36	c  F st    84   3751562       100      2130         0    146849     10650   2328257   no data   no data
3692.25/924.36	c  N st    84   3751562       100      2130         0    146849     10650   2328257   no data   no data
3705.04/927.50	c Decided on static restart strategy
3729.80/933.73	c  N st    94   3779866       100      2130         0     97433     10650   1273656   no data   no data
3776.95/945.53	c  N st    96   3815858       100      2130         0    130386     10650   1971005   no data   no data
3823.67/957.20	c  N st    97   3848250       100      2130         0     82909     10650    926337   no data   no data
3872.81/969.53	c  N st    98   3896839       100      2130         0    127393     10650   1876622   no data   no data
3962.69/992.06	c  N st    99   3969723       100      2130         0    115987     10650   1634484   no data   no data
4114.49/1030.07	c  N st   100   4079047       100      2130         0    136779     10650   2114687   no data   no data
4314.22/1080.00	c  N st   101   4212842       100      2130         0     96897     10650   1173418   no data   no data
4314.22/1080.00	c  S st   101   4212842       100      2130         0     96897     10650   1173418   no data   no data
4315.42/1080.36	c  S st   101   4213347       100      2130         0     97379     10650   1184689   no data   no data
4315.42/1080.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4315.82/1080.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4315.82/1080.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4315.82/1080.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4315.82/1080.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4315.82/1080.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4315.82/1080.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4315.82/1080.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4315.82/1080.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4338.19/1086.07	c lits-rem:       489  cl-subs:     5062  v-elim:      0  v-fix:    0  time:  5.57 s
4338.19/1086.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4338.19/1086.09	c vivif2 --  cl tried    92317 cl shrink        0 lits rem          0 time: 0.02
4340.19/1086.50	c asymm  cl-useful: 0/1083/2130 lits-rem:0 time: 0.42
4340.19/1086.51	c calculated reachability. Time: 0.00
4340.19/1086.51	c  N st   101   4213347       100      2130         0     92317     10650   1090004   no data   no data
4730.49/1184.25	c  N st   102   4459325       100      2130         0    151885     10650   2322791   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-3174219-1304115388/watcher-3174219-1304115388 -o /tmp/evaluation-result-3174219-1304115388/solver-3174219-1304115388 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174219-1304115388.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 4 0 601769478 52441088 353 33554432000 4194304 4627427 140737151967824 18446744073709551615 47722883053490 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 12803 353 303 106 0 7774 0
[pid=5220/tid=5226] ppid=5217 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601769478 52441088 353 33554432000 4194304 4627427 140737151967824 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 4 0 601769478 52441088 353 33554432000 4194304 4627427 140737151967824 18446744073709551615 231895490491 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601769478 52441088 353 33554432000 4194304 4627427 140737151967824 18446744073709551615 47722883053569 0 0 4096 2 0 0 0 -1 7 0 0 0

[startup+0.0183939 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=216456 CPUtime=0.04 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 1038 0 0 0 4 0 0 0 18 0 4 0 601769478 221650944 966 33554432000 4194304 4627427 140737151967824 18446744073709551615 231895151301 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 54148 1017 375 106 0 49119 0
[pid=5220/tid=5226] ppid=5217 vsize=216732 CPUtime=0 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) D 5217 5220 4858 0 -1 4202560 158 0 0 0 0 0 0 0 18 0 4 0 601769478 221933568 1058 33554432000 4194304 4627427 140737151967824 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=216732 CPUtime=0.01 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) D 5217 5220 4858 0 -1 4202560 231 0 0 0 1 0 0 0 18 0 4 0 601769478 221933568 1072 33554432000 4194304 4627427 140737151967824 18446744073709551615 231895187559 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=219692 CPUtime=0.74 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1080 0 0 0 74 0 0 0 19 0 4 0 601769478 224964608 2749 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 216456

[startup+0.85722 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=220004 CPUtime=3.39 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 6160 0 0 0 339 0 0 0 19 0 4 0 601769478 225284096 2471 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 55001 2471 385 106 0 49972 0
[pid=5220/tid=5226] ppid=5217 vsize=220004 CPUtime=0.84 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1470 0 0 0 84 0 0 0 18 0 4 0 601769478 225284096 2471 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=220004 CPUtime=0.85 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1469 0 0 0 85 0 0 0 19 0 4 0 601769478 225284096 2471 33554432000 4194304 4627427 140737151967824 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=220004 CPUtime=0.84 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1333 0 0 0 84 0 0 0 19 0 4 0 601769478 225284096 2471 33554432000 4194304 4627427 140737151967824 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 220004

[startup+0.901211 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=220004 CPUtime=3.58 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 6273 0 0 0 357 1 0 0 19 0 4 0 601769478 225284096 2584 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 55001 2584 385 106 0 49972 0
[pid=5220/tid=5226] ppid=5217 vsize=220004 CPUtime=0.88 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1499 0 0 0 88 0 0 0 18 0 4 0 601769478 225284096 2584 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=220004 CPUtime=0.89 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1495 0 0 0 89 0 0 0 19 0 4 0 601769478 225284096 2584 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=220004 CPUtime=0.89 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1363 0 0 0 89 0 0 0 19 0 4 0 601769478 225284096 2584 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 220004

[startup+1.00019 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=220188 CPUtime=3.97 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 6534 0 0 0 396 1 0 0 19 0 4 0 601769478 225472512 2845 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 55047 2845 385 106 0 50018 0
[pid=5220/tid=5226] ppid=5217 vsize=220188 CPUtime=0.98 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1567 0 0 0 98 0 0 0 19 0 4 0 601769478 225472512 2845 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=220188 CPUtime=0.99 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1558 0 0 0 99 0 0 0 19 0 4 0 601769478 225472512 2845 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=220188 CPUtime=0.99 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1422 0 0 0 99 0 0 0 19 0 4 0 601769478 225472512 2845 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 220188

[startup+1.5011 s]
/proc/loadavg: 6.95 7.83 7.93 3/174 5220
/proc/meminfo: memFree=29520516/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=225856 CPUtime=5.97 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 10212 0 0 0 596 1 0 0 20 0 4 0 601769478 231276544 5469 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 56464 5469 388 106 0 51435 0
[pid=5220/tid=5226] ppid=5217 vsize=225856 CPUtime=1.48 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 2973 0 0 0 148 0 0 0 20 0 4 0 601769478 231276544 5469 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=225856 CPUtime=1.49 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1966 0 0 0 149 0 0 0 19 0 4 0 601769478 231276544 5469 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=225856 CPUtime=1.49 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 1842 0 0 0 149 0 0 0 20 0 4 0 601769478 231276544 5469 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309488 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 225856

[startup+3.1008 s]
/proc/loadavg: 7.35 7.90 7.95 10/184 5230
/proc/meminfo: memFree=29444680/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=235764 CPUtime=12.36 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 19341 0 0 0 1233 3 0 0 25 0 4 0 601769478 241422336 11149 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 58941 11149 388 106 0 53912 0
[pid=5220/tid=5226] ppid=5217 vsize=235764 CPUtime=3.08 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 5406 0 0 0 308 0 0 0 25 0 4 0 601769478 241422336 11149 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=235764 CPUtime=3.09 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 4692 0 0 0 309 0 0 0 25 0 4 0 601769478 241422336 11149 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=235764 CPUtime=3.07 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 4257 0 0 0 307 0 0 0 25 0 4 0 601769478 241422336 11149 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 235764

[startup+6.3002 s]
/proc/loadavg: 7.35 7.90 7.95 9/184 5230
/proc/meminfo: memFree=29423608/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=237788 CPUtime=25.14 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 27431 0 0 0 2509 5 0 0 25 0 4 0 601769478 243494912 12673 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 59447 12673 388 106 0 54418 0
[pid=5220/tid=5226] ppid=5217 vsize=237788 CPUtime=6.28 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 7016 0 0 0 627 1 0 0 25 0 4 0 601769478 243494912 12673 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=237788 CPUtime=6.29 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 7298 0 0 0 628 1 0 0 25 0 4 0 601769478 243494912 12673 33554432000 4194304 4627427 140737151967824 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=237788 CPUtime=6.25 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 6359 0 0 0 625 0 0 0 25 0 4 0 601769478 243494912 12673 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 237788

[startup+12.701 s]
/proc/loadavg: 7.53 7.92 7.96 10/184 5230
/proc/meminfo: memFree=29391572/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=247772 CPUtime=50.73 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 42925 0 0 0 5065 8 0 0 25 0 4 0 601769478 253718528 18961 33554432000 4194304 4627427 140737151967824 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 61943 18961 388 106 0 56914 0
[pid=5220/tid=5226] ppid=5217 vsize=247772 CPUtime=12.69 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 11057 0 0 0 1267 2 0 0 25 0 4 0 601769478 253718528 18961 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=247772 CPUtime=12.7 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 11848 0 0 0 1268 2 0 0 25 0 4 0 601769478 253718528 18961 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=247772 CPUtime=12.62 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 9712 0 0 0 1261 1 0 0 25 0 4 0 601769478 253718528 18961 33554432000 4194304 4627427 140737151967824 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 247772

[startup+25.5006 s]
/proc/loadavg: 7.67 7.93 7.96 10/184 5230
/proc/meminfo: memFree=29367492/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=266548 CPUtime=101.84 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 62666 0 0 0 10172 12 0 0 25 0 4 0 601769478 272945152 21539 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 66637 21539 388 106 0 61608 0
[pid=5220/tid=5226] ppid=5217 vsize=266548 CPUtime=25.48 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 16453 0 0 0 2545 3 0 0 25 0 4 0 601769478 272945152 21539 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=266548 CPUtime=25.49 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 16046 0 0 0 2546 3 0 0 25 0 4 0 601769478 272945152 21539 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=266548 CPUtime=25.36 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 14762 0 0 0 2534 2 0 0 25 0 4 0 601769478 272945152 21539 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 266548

[startup+51.1008 s]
/proc/loadavg: 7.78 7.94 7.96 10/184 5231
/proc/meminfo: memFree=29329940/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=257844 CPUtime=204.11 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 96903 0 0 0 20390 21 0 0 25 0 4 0 601769478 264032256 26362 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 64461 26362 388 106 0 59432 0
[pid=5220/tid=5226] ppid=5217 vsize=257844 CPUtime=51.08 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 25784 0 0 0 5104 4 0 0 25 0 4 0 601769478 264032256 26362 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=257844 CPUtime=51.08 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 24731 0 0 0 5102 6 0 0 25 0 4 0 601769478 264032256 26362 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=257844 CPUtime=50.82 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 22745 0 0 0 5078 4 0 0 25 0 4 0 601769478 264032256 26362 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 257844

[startup+102.3 s]
/proc/loadavg: 7.97 7.96 7.97 9/184 5232
/proc/meminfo: memFree=29290840/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=277704 CPUtime=408.63 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 152709 0 0 0 40826 37 0 0 25 0 4 0 601769478 284368896 33443 33554432000 4194304 4627427 140737151967824 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 69426 33443 388 106 0 64397 0
[pid=5220/tid=5226] ppid=5217 vsize=277704 CPUtime=102.29 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 39049 0 0 0 10221 8 0 0 25 0 4 0 601769478 284368896 33443 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=277704 CPUtime=102.28 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 38486 0 0 0 10218 10 0 0 25 0 4 0 601769478 284368896 33443 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=277704 CPUtime=101.74 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 37721 0 0 0 10165 9 0 0 25 0 4 0 601769478 284368896 33443 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 277704

[startup+162.301 s]

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

[pid=5220] ppid=5217 vsize=498324 CPUtime=2565.75 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 473966 0 0 0 256399 176 0 0 25 0 4 0 601769478 510283776 78124 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 124581 78124 388 106 0 119552 0
[pid=5220/tid=5226] ppid=5217 vsize=498324 CPUtime=642.31 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 121055 0 0 0 64188 43 0 0 25 0 4 0 601769478 510283776 78124 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=498324 CPUtime=642.3 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 117076 0 0 0 64183 47 0 0 25 0 4 0 601769478 510283776 78124 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=498324 CPUtime=638.81 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 119732 0 0 0 63839 42 0 0 25 0 4 0 601769478 510283776 78124 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 498324

[startup+702.301 s]
/proc/loadavg: 8.05 8.07 8.01 9/184 5278
/proc/meminfo: memFree=28904096/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=519012 CPUtime=2805.44 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 508940 0 0 0 280356 188 0 0 25 0 4 0 601769478 531468288 83918 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 129753 83918 388 106 0 124724 0
[pid=5220/tid=5226] ppid=5217 vsize=519012 CPUtime=702.31 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 128749 0 0 0 70185 46 0 0 25 0 4 0 601769478 531468288 83919 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=519012 CPUtime=702.3 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 124932 0 0 0 70180 50 0 0 25 0 4 0 601769478 531468288 83919 33554432000 4194304 4627427 140737151967824 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=519012 CPUtime=698.49 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 128486 0 0 0 69804 45 0 0 25 0 4 0 601769478 531468288 83919 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 519012

[startup+762.301 s]
/proc/loadavg: 8.06 8.07 8.01 9/184 5280
/proc/meminfo: memFree=28852596/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=508880 CPUtime=3045.11 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 531348 0 0 0 304311 200 0 0 25 0 4 0 601769478 521093120 85631 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 127220 85631 388 106 0 122191 0
[pid=5220/tid=5226] ppid=5217 vsize=508880 CPUtime=762.31 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 134677 0 0 0 76180 51 0 0 25 0 4 0 601769478 521093120 85631 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=508880 CPUtime=762.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 133039 0 0 0 76177 54 0 0 25 0 4 0 601769478 521093120 85631 33554432000 4194304 4627427 140737151967824 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=508880 CPUtime=758.16 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 134511 0 0 0 75768 48 0 0 25 0 4 0 601769478 521093120 85631 33554432000 4194304 4627427 140737151967824 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 508880

[startup+822.3 s]
/proc/loadavg: 8.02 8.05 8.00 9/184 5282
/proc/meminfo: memFree=28798096/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=561768 CPUtime=3284.81 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 557371 0 0 0 328269 212 0 0 25 0 4 0 601769478 575250432 91283 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 140442 91283 388 106 0 135413 0
[pid=5220/tid=5226] ppid=5217 vsize=561768 CPUtime=822.31 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 140893 0 0 0 82178 53 0 0 25 0 4 0 601769478 575250432 91283 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=561768 CPUtime=822.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 139309 0 0 0 82174 57 0 0 25 0 4 0 601769478 575250432 91283 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=561768 CPUtime=817.84 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 140537 0 0 0 81734 50 0 0 25 0 4 0 601769478 575250432 91283 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 561768

[startup+882.3 s]
/proc/loadavg: 8.00 8.04 8.00 9/184 5283
/proc/meminfo: memFree=28760100/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=531968 CPUtime=3524.48 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 580670 0 0 0 352224 224 0 0 25 0 4 0 601769478 544735232 95232 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 132992 95232 388 106 0 127963 0
[pid=5220/tid=5226] ppid=5217 vsize=531968 CPUtime=882.31 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 146033 0 0 0 88175 56 0 0 25 0 4 0 601769478 544735232 95232 33554432000 4194304 4627427 140737151967824 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=531968 CPUtime=882.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 145282 0 0 0 88171 60 0 0 25 0 4 0 601769478 544735232 95232 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=531968 CPUtime=877.51 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 146965 0 0 0 87697 54 0 0 25 0 4 0 601769478 544735232 95232 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 531968

[startup+942.307 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 5285
/proc/meminfo: memFree=28746396/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=531500 CPUtime=3764.18 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 596284 0 0 0 376184 234 0 0 25 0 4 0 601769478 544256000 98479 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 132875 98479 388 106 0 127846 0
[pid=5220/tid=5226] ppid=5217 vsize=531500 CPUtime=942.32 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 147828 0 0 0 94173 59 0 0 25 0 4 0 601769478 544256000 98479 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=531500 CPUtime=942.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 151744 0 0 0 94167 64 0 0 25 0 4 0 601769478 544256000 98479 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=531500 CPUtime=937.19 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 151718 0 0 0 93663 56 0 0 25 0 4 0 601769478 544256000 98479 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 531500

[startup+1002.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 5286
/proc/meminfo: memFree=28713372/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=545328 CPUtime=4003.84 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 617344 0 0 0 400140 244 0 0 25 0 4 0 601769478 558415872 100926 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 136332 100926 388 106 0 131303 0
[pid=5220/tid=5226] ppid=5217 vsize=545328 CPUtime=1002.32 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 155481 0 0 0 100170 62 0 0 25 0 4 0 601769478 558415872 100926 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=545328 CPUtime=1002.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 158407 0 0 0 100164 67 0 0 25 0 4 0 601769478 558415872 100926 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=545328 CPUtime=996.85 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 154935 0 0 0 99628 57 0 0 25 0 4 0 601769478 558415872 100926 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.84
Current children cumulated vsize (KiB) 545328

[startup+1062.3 s]
/proc/loadavg: 8.15 8.08 8.01 9/184 5288
/proc/meminfo: memFree=28679220/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=532320 CPUtime=4243.51 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 637663 0 0 0 424095 256 0 0 25 0 4 0 601769478 545095680 102891 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 133080 102891 388 106 0 128051 0
[pid=5220/tid=5226] ppid=5217 vsize=532320 CPUtime=1062.32 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 159939 0 0 0 106167 65 0 0 25 0 4 0 601769478 545095680 102891 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=532320 CPUtime=1062.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 165063 0 0 0 106160 71 0 0 25 0 4 0 601769478 545095680 102891 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=532320 CPUtime=1056.53 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 161083 0 0 0 105592 61 0 0 25 0 4 0 601769478 545095680 102891 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 532320

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.02 9/184 5290
/proc/meminfo: memFree=28646052/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=559300 CPUtime=4483.19 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 651919 0 0 0 448055 264 0 0 25 0 4 0 601769478 572723200 110397 33554432000 4194304 4627427 140737151967824 18446744073709551615 4324267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 139825 110397 388 106 0 134796 0
[pid=5220/tid=5226] ppid=5217 vsize=559300 CPUtime=1122.32 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 162297 0 0 0 112166 66 0 0 25 0 4 0 601769478 572723200 110397 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=559300 CPUtime=1122.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 170066 0 0 0 112156 75 0 0 25 0 4 0 601769478 572723200 110397 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=559300 CPUtime=1116.21 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 164165 0 0 0 111558 63 0 0 25 0 4 0 601769478 572723200 110397 33554432000 4194304 4627427 140737151967824 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 559300

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/184 5291
/proc/meminfo: memFree=28682832/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=535536 CPUtime=4722.88 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 668848 0 0 0 472015 273 0 0 25 0 4 0 601769478 548388864 107475 33554432000 4194304 4627427 140737151967824 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 133884 107475 388 106 0 128855 0
[pid=5220/tid=5226] ppid=5217 vsize=535536 CPUtime=1182.33 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 166838 0 0 0 118165 68 0 0 25 0 4 0 601769478 548388864 107475 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=535536 CPUtime=1182.31 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 173266 0 0 0 118155 76 0 0 25 0 4 0 601769478 548388864 107475 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=535536 CPUtime=1175.89 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 167630 0 0 0 117524 65 0 0 25 0 4 0 601769478 548388864 107475 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 535536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.10 8.02 9/184 5292
/proc/meminfo: memFree=28667816/32950928 swapFree=67111356/67111528
[pid=5220] ppid=5217 vsize=549264 CPUtime=4800.39 cores=1,3,5,7
/proc/5220/stat : 5220 (strangenight2-m) R 5217 5220 4858 0 -1 4202496 678252 0 0 0 479762 277 0 0 25 0 4 0 601769478 562446336 104107 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5220/statm: 137316 104107 388 106 0 132287 0
[pid=5220/tid=5226] ppid=5217 vsize=549264 CPUtime=1201.73 cores=1,3,5,7
/proc/5220/task/5226/stat : 5226 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 169250 0 0 0 120104 69 0 0 25 0 4 0 601769478 562446336 104107 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5220/tid=5227] ppid=5217 vsize=549264 CPUtime=1201.72 cores=1,3,5,7
/proc/5220/task/5227/stat : 5227 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 175469 0 0 0 120094 78 0 0 25 0 4 0 601769478 562446336 104107 33554432000 4194304 4627427 140737151967824 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5220/tid=5228] ppid=5217 vsize=549264 CPUtime=1195.17 cores=1,3,5,7
/proc/5220/task/5228/stat : 5228 (strangenight2-m) R 5217 5220 4858 0 -1 4202560 170018 0 0 0 119452 65 0 0 25 0 4 0 601769478 562446336 104107 33554432000 4194304 4627427 140737151967824 18446744073709551615 4332703 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 549264

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.73
CPU time (s): 4800.44
CPU user time (s): 4797.65
CPU system time (s): 2.79657
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 657076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.65
system time used= 2.79657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678253
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= 496
involuntary context switches= 25577

runsolver used 1.84572 second user time and 4.72328 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 00:16:28
IDJOB=3174219
IDBENCH=83037
IDSOLVER=1586
FILE ID=node114/3174219-1304115388
RUNJOBID= node114-1304115388-5204
PBS_JOBID= 13170690
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174219-1304115388/watcher-3174219-1304115388 -o /tmp/evaluation-result-3174219-1304115388/solver-3174219-1304115388 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174219-1304115388.cnf

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

MD5SUM BENCH= d6fc0fc1938fb2a6255c0a87d93d5767
RANDOM SEED=154915435

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:      29521184 kB
Buffers:       1066588 kB
Cached:        1794648 kB
SwapCached:        168 kB
Active:         149268 kB
Inactive:      2776092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29521184 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11272 kB
Writeback:           0 kB
AnonPages:       63984 kB
Mapped:          14492 kB
Slab:           440808 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188316 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= 71792 MiB
End job on node114 at 2011-04-30 00:36:32