Trace number 3175259

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-1-mt? (TO) 4800.33 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf
MD5SUMa9aff6c7ce1658eb3edc84aa7f38478c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175259-1304104818.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     185 undec:      49 neg:     166
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       385      1700         0         0      5195         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.40/0.14	c  N st     8      4919       385      1700         0      4830      5195     97278   no data   no data  --
1.16/0.37	c  N st    10     11303       385      1700         0      4448      5195     66216   no data   no data  --
2.37/0.63	c  N st    11     17048       385      1700         0     10091      5195    194119   no data   no data  --
3.97/1.01	c  F st    12     25002       385      1700         0     12355      5195    226573   no data   no data  --
3.97/1.01	c  N st    12     25002       385      1700         0     12355      5195    226573   no data   no data  --
4.78/1.24	c Decided on static restart strategy
4.78/1.24	c  N st    18     30001       385      1700         0     10617      5195    168564   no data   no data  --
4.78/1.24	c  S st    18     30001       385      1700         0     10617      5195    168564   no data   no data  --
4.78/1.27	c  S st    18     30506       385      1700         0     11117      5195    178584   no data   no data  --
4.78/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.78/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.78/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
4.78/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.45	c lits-rem:       182  cl-subs:      751  v-elim:      0  v-fix:    0  time:  0.65 s
5.57/1.45	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
5.57/1.46	c calculated reachability. Time: 0.00
5.57/1.46	c  N st    18     30506       385      1700         0     10366      5195    163606   no data   no data  --
7.16/1.81	c  N st    20     37617       385      1700         0      9631      5195    135472   no data   no data  --
8.37/2.18	c  N st    21     44016       385      1700         0     15865      5195    264706   no data   no data  --
8.78/2.29	c  S st    22     45759       385      1700         0      8873      5195    109887   no data   no data  --
9.19/2.32	c  S st    22     46265       385      1700         0      9378      5195    119855   no data   no data  --
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.39	c lits-rem:        40  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.26 s
9.19/2.39	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9283 cl shrink        0 lits rem          0 time: 0.00
9.56/2.40	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
9.56/2.40	c calculated reachability. Time: 0.00
9.56/2.40	c  N st    22     46265       385      1700         0      9283      5195    118082   no data   no data  --
13.17/3.30	c  N st    23     60662       385      1700         0     13651      5195    200431   no data   no data  --
15.55/3.97	c  N st    24     69397       385      1700         0     11428      5195    144852   no data   no data  --
15.55/3.97	c  S st    24     69397       385      1700         0     11428      5195    144852   no data   no data  --
15.96/4.00	c  S st    24     69899       385      1700         0     11928      5195    154526   no data   no data  --
15.96/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.96/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
15.96/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.15	c lits-rem:        56  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.57 s
16.36/4.15	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
16.36/4.15	c vivif2 --  cl tried    11781 cl shrink        0 lits rem          0 time: 0.01
16.36/4.16	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.03
16.36/4.16	c calculated reachability. Time: 0.00
16.36/4.16	c  N st    24     69899       385      1700         0     11781      5195    151468   no data   no data  --
21.15/5.33	c  F st    25     87500       385      1700         0     17226      5195    270103   no data   no data  --
21.15/5.33	c  N st    25     87500       385      1700         0     17226      5195    270103   no data   no data  --
22.74/5.72	c Decided on static restart strategy
23.94/6.02	c  N st    32     95539       385      1700         0     25062      5195    430679   no data   no data  --
26.36/6.68	c  N st    34    104848       385      1700         0     21449      5195    323039   no data   no data  --
26.36/6.68	c  S st    34    104848       385      1700         0     21449      5195    323039   no data   no data  --
26.76/6.74	c  S st    34    105349       385      1700         0     21947      5195    333254   no data   no data  --
26.76/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.76/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.76/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
26.76/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.54/7.49	c lits-rem:       356  cl-subs:     1417  v-elim:      0  v-fix:    0  time:  2.92 s
29.54/7.49	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
29.54/7.49	c vivif2 --  cl tried    20530 cl shrink        0 lits rem          0 time: 0.01
29.93/7.50	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.06
29.93/7.50	c calculated reachability. Time: 0.00
29.93/7.50	c  N st    34    105349       385      1700         0     20530      5195    306440   no data   no data  --
33.13/8.34	c  N st    35    114947       385      1700         0     16259      5195    204576   no data   no data  --
38.32/9.62	c  N st    36    129344       385      1700         0     15695      5195    180551   no data   no data  --
45.51/11.40	c  N st    37    150940       385      1700         0     21182      5195    284436   no data   no data  --
47.91/12.06	c  S st    38    158023       385      1700         0     28025      5195    424340   no data   no data  --
48.32/12.14	c  S st    38    158527       385      1700         0     28526      5195    434096   no data   no data  --
48.32/12.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.32/12.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.32/12.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
48.32/12.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.32/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.32/12.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
48.32/12.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.50/13.40	c lits-rem:       798  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  4.94 s
53.50/13.40	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
53.50/13.40	c vivif2 --  cl tried    26972 cl shrink        0 lits rem          0 time: 0.02
53.50/13.42	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.08
53.50/13.42	c calculated reachability. Time: 0.00
53.50/13.42	c  N st    38    158527       385      1700         0     26972      5195    401787   no data   no data  --
73.08/18.33	c  N st    39    207115       385      1700         0     21804      5195    269097   no data   no data  --
86.65/21.77	c  N st    40    237793       385      1700         0     32016      5195    456096   no data   no data  --
86.65/21.77	c  S st    40    237793       385      1700         0     32016      5195    456096   no data   no data  --
87.05/21.86	c  S st    40    238294       385      1700         0     32515      5195    466032   no data   no data  --
87.05/21.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.05/21.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.05/21.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
87.05/21.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.05/21.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.05/21.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
87.05/21.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.44/23.44	c lits-rem:       650  cl-subs:     2784  v-elim:      0  v-fix:    0  time:  6.21 s
93.44/23.44	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
93.44/23.44	c vivif2 --  cl tried    29731 cl shrink        0 lits rem          0 time: 0.02
93.44/23.46	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.08
93.44/23.46	c calculated reachability. Time: 0.00
93.44/23.46	c  N st    40    238294       385      1700         0     29731      5195    411998   no data   no data  --
125.40/31.41	c  F st    41    306251       385      1700         0     31667      5195    410338   no data   no data  --
125.40/31.41	c  N st    41    306251       385      1700         0     31667      5195    410338   no data   no data  --
127.82/32.06	c Decided on static restart strategy
139.79/35.03	c  N st    51    334554       385      1700         0     35947      5195    497648   no data   no data  --
151.76/38.08	c  N st    53    357441       385      1700         0     33940      5195    435420   no data   no data  --
151.76/38.08	c  S st    53    357441       385      1700         0     33940      5195    435420   no data   no data  --
152.16/38.17	c  S st    53    357945       385      1700         0     34441      5195    445308   no data   no data  --
152.16/38.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.16/38.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.16/38.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
152.16/38.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.16/38.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.16/38.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
152.16/38.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.76/39.57	c lits-rem:       468  cl-subs:     1819  v-elim:      0  v-fix:    0  time:  5.49 s
157.76/39.57	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
157.76/39.57	c vivif2 --  cl tried    32622 cl shrink        0 lits rem          0 time: 0.02
157.76/39.60	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.10
157.76/39.60	c calculated reachability. Time: 0.00
157.76/39.60	c  N st    53    357945       385      1700         0     32622      5195    410273   no data   no data  --
176.94/44.30	c  N st    54    390341       385      1700         0     38699      5195    503531   no data   no data  --
202.52/50.76	c  N st    55    438930       385      1700         0     32505      5195    366373   no data   no data  --
242.85/60.88	c  N st    56    511814       385      1700         0     45842      5195    624230   no data   no data  --
257.63/64.58	c  N st    57    536919       385      1700         0     40239      5195    497826   no data   no data  --
257.63/64.58	c  S st    57    536919       385      1700         0     40239      5195    497826   no data   no data  --
258.03/64.68	c  S st    57    537425       385      1700         0     40744      5195    508403   no data   no data  --
258.03/64.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
258.03/64.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.43/64.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
258.43/64.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.43/64.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.43/64.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
258.43/64.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.42/66.22	c lits-rem:       442  cl-subs:     1380  v-elim:      0  v-fix:    0  time:  6.02 s
264.42/66.22	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
264.42/66.23	c vivif2 --  cl tried    39364 cl shrink        0 lits rem          0 time: 0.02
264.42/66.26	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.14
264.42/66.26	c calculated reachability. Time: 0.00
264.42/66.26	c  N st    57    537425       385      1700         0     39364      5195    480684   no data   no data  --
375.88/94.19	c  N st    58    701411       385      1700         0     68346      5195    991810   no data   no data  --
445.77/111.65	c  N st    59    806137       385      1700         0     62162      5195    846307   no data   no data  --
445.77/111.65	c  S st    59    806137       385      1700         0     62162      5195    846307   no data   no data  --
446.57/111.83	c  S st    59    806638       385      1700         0     62663      5195    856263   no data   no data  --
446.57/111.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
446.57/111.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.57/111.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
446.57/111.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.57/111.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.57/111.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
446.57/111.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
460.55/115.39	c lits-rem:      1126  cl-subs:     6086  v-elim:      0  v-fix:    0  time: 13.96 s
460.55/115.39	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
460.95/115.40	c vivif2 --  cl tried    56577 cl shrink        0 lits rem          0 time: 0.04
460.95/115.45	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.23
460.95/115.46	c calculated reachability. Time: 0.00
460.95/115.46	c  N st    59    806638       385      1700         0     56577      5195    747985   no data   no data  --
664.28/166.36	c  F st    60   1071875       385      1700         0     72746      5195   1027958   no data   no data  --
664.28/166.36	c  N st    60   1071875       385      1700         0     72746      5195   1027958   no data   no data  --
670.67/167.90	c Decided on static restart strategy
690.27/172.89	c  N st    70   1100181       385      1700         0     56658      5195    656171   no data   no data  --
723.81/181.21	c  N st    72   1136175       385      1700         0     46834      5195    436529   no data   no data  --
750.17/187.88	c  N st    73   1168568       385      1700         0     77983      5195   1038857   no data   no data  --
788.12/197.39	c  N st    74   1209957       385      1700         0     72500      5195    927709   no data   no data  --
788.12/197.39	c  S st    74   1209957       385      1700         0     72500      5195    927709   no data   no data  --
789.32/197.64	c  S st    74   1210461       385      1700         0     73003      5195    938502   no data   no data  --
789.32/197.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
789.32/197.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
789.32/197.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
789.72/197.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
789.72/197.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
789.72/197.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
789.72/197.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
808.50/202.48	c lits-rem:      1121  cl-subs:     6610  v-elim:      0  v-fix:    0  time: 19.00 s
808.50/202.48	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
808.50/202.49	c vivif2 --  cl tried    66393 cl shrink        0 lits rem          0 time: 0.04
808.90/202.57	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.31
808.90/202.57	c calculated reachability. Time: 0.00
808.90/202.57	c  N st    74   1210461       385      1700         0     66393      5195    818217   no data   no data  --
871.60/218.20	c  N st    75   1283344       385      1700         0     90680      5195   1332014   no data   no data  --
976.26/244.45	c  N st    76   1392667       385      1700         0     51326      5195    462452   no data   no data  --
1136.05/284.44	c  N st    77   1556653       385      1700         0     56155      5195    524035   no data   no data  --
1282.25/321.07	c  N st    78   1710463       385      1700         0     97858      5195   1422364   no data   no data  --
1282.25/321.07	c  S st    78   1710463       385      1700         0     97858      5195   1422364   no data   no data  --
1283.47/321.38	c  S st    78   1710965       385      1700         0     98360      5195   1432938   no data   no data  --
1283.47/321.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1283.47/321.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1283.84/321.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1283.84/321.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1283.84/321.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1283.84/321.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
1283.84/321.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1321.39/330.85	c lits-rem:       656  cl-subs:     6358  v-elim:      0  v-fix:    0  time: 37.42 s
1321.39/330.85	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
1321.39/330.86	c vivif2 --  cl tried    92002 cl shrink        0 lits rem          0 time: 0.07
1322.19/331.01	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.58
1322.19/331.01	c calculated reachability. Time: 0.00
1322.19/331.01	c  N st    78   1710965       385      1700         0     92002      5195   1310288   no data   no data  --
1726.85/432.31	c  N st    79   2079929       385      1700         0    103433      5195   1429753   no data   no data  --
1872.64/468.81	c  N st    80   2210965       385      1700         0    107086      5195   1416946   no data   no data  --
1872.64/468.81	c  S st    80   2210965       385      1700         0    107086      5195   1416946   no data   no data  --
1873.84/469.18	c  S st    80   2211470       385      1700         0    107590      5195   1428037   no data   no data  --
1873.84/469.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1873.84/469.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1874.24/469.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1874.24/469.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1874.24/469.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1874.24/469.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
1874.24/469.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1919.38/480.53	c lits-rem:       967  cl-subs:    13260  v-elim:      0  v-fix:    0  time: 44.88 s
1919.38/480.53	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
1919.38/480.54	c vivif2 --  cl tried    94330 cl shrink        0 lits rem          0 time: 0.06
1919.78/480.69	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.59
1919.78/480.69	c calculated reachability. Time: 0.00
1919.78/480.69	c  N st    80   2211470       385      1700         0     94330      5195   1199385   no data   no data  --
2491.41/623.76	c  N st    81   2711473       385      1700         0    117639      5195   1561113   no data   no data  --
2491.41/623.76	c  S st    81   2711473       385      1700         0    117639      5195   1561113   no data   no data  --
2492.99/624.16	c  S st    81   2711979       385      1700         0    118142      5195   1572223   no data   no data  --
2492.99/624.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2492.99/624.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2493.39/624.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2493.39/624.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2493.39/624.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2493.39/624.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
2493.39/624.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2534.14/634.48	c lits-rem:       341  cl-subs:    13257  v-elim:      0  v-fix:    0  time: 40.73 s
2534.14/634.48	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
2534.53/634.50	c vivif2 --  cl tried   104885 cl shrink        0 lits rem          0 time: 0.07
2534.93/634.64	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.56
2534.93/634.64	c calculated reachability. Time: 0.00
2534.93/634.64	c  N st    81   2711979       385      1700         0    104885      5195   1350751   no data   no data  --
3211.62/804.03	c  N st    82   3211980       385      1700         0     81716      5195    773645   no data   no data  --
3211.62/804.03	c  S st    82   3211980       385      1700         0     81716      5195    773645   no data   no data  --
3212.44/804.29	c  S st    82   3212483       385      1700         0     82216      5195    784429   no data   no data  --
3212.44/804.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3212.44/804.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3212.82/804.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3212.82/804.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3212.82/804.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3212.82/804.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
3212.82/804.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3224.81/807.35	c lits-rem:       393  cl-subs:     1362  v-elim:      0  v-fix:    0  time: 11.98 s
3224.81/807.35	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
3224.81/807.37	c vivif2 --  cl tried    80854 cl shrink        0 lits rem          0 time: 0.05
3225.22/807.48	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.45
3225.22/807.48	c calculated reachability. Time: 0.00
3225.22/807.48	c  N st    82   3212483       385      1700         0     80854      5195    760463   no data   no data  --
3910.28/978.99	c  N st    83   3712483       385      1700         0     91187      5195    893101   no data   no data  --
3910.28/978.99	c  S st    83   3712483       385      1700         0     91187      5195    893101   no data   no data  --
3911.47/979.27	c  S st    83   3712989       385      1700         0     91691      5195    903908   no data   no data  --
3911.47/979.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3911.47/979.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3911.87/979.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3911.87/979.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3911.87/979.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3911.87/979.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
3911.87/979.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3924.28/982.47	c lits-rem:       764  cl-subs:     2799  v-elim:      0  v-fix:    0  time: 12.47 s
3924.28/982.47	c vivif2 --  cl tried     1700 cl shrink        0 lits rem          0 time: 0.00
3924.28/982.49	c vivif2 --  cl tried    88892 cl shrink        0 lits rem          0 time: 0.06
3924.65/982.59	c asymm  cl-useful: 0/1700/1700 lits-rem:0 time: 0.42
3924.65/982.59	c calculated reachability. Time: 0.00
3924.65/982.59	c  N st    83   3712989       385      1700         0     88892      5195    857659   no data   no data  --
3980.19/996.50	c  F st    84   3751562       385      1700         0    126116      5195   1623316   no data   no data  --
3980.59/996.50	c  N st    84   3751562       385      1700         0    126116      5195   1623316   no data   no data  --
3991.36/999.27	c Decided on static restart strategy
4040.50/1011.51	c  N st    94   3779862       385      1700         0    153518      5195   2209225   no data   no data  --
4094.03/1024.92	c  N st    96   3815856       385      1700         0    106283      5195   1169633   no data   no data  --
4140.77/1036.68	c  N st    97   3848249       385      1700         0    137449      5195   1799299   no data   no data  --
4207.88/1053.50	c  N st    98   3896838       385      1700         0    101445      5195   1087418   no data   no data  --
4334.10/1085.05	c  N st    99   3969721       385      1700         0     87836      5195    782507   no data   no data  --
4494.69/1125.29	c  N st   100   4079044       385      1700         0    108930      5195   1244653   no data   no data  --
4713.99/1180.11	c  N st   101   4212989       385      1700         0    152047      5195   2078376   no data   no data  --
4713.99/1180.11	c  S st   101   4212989       385      1700         0    152047      5195   2078376   no data   no data  --
4715.99/1180.66	c  S st   101   4213492       385      1700         0    152549      5195   2089114   no data   no data  --
4715.99/1180.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4715.99/1180.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4716.39/1180.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4716.79/1180.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4716.79/1180.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4716.79/1180.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    385 time:  0.00 s
4716.79/1180.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3175259-1304104818/watcher-3175259-1304104818 -o /tmp/evaluation-result-3175259-1304104818/solver-3175259-1304104818 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175259-1304104818.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: 7.41 7.91 7.82 1/173 26422
/proc/meminfo: memFree=30852872/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 522081443 52465664 356 33554432000 4194304 4650419 140736652679168 18446744073709551615 274664808379 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 12809 356 306 112 0 7774 0
[pid=26422/tid=26423] ppid=26420 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522081443 52465664 356 33554432000 4194304 4650419 140736652679168 18446744073709551615 47566192560050 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522081443 52465664 356 33554432000 4194304 4650419 140736652679168 18446744073709551615 47566192560050 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522081443 52465664 363 33554432000 4194304 4650419 140736652679168 18446744073709551615 47566192559641 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.109284 s]
/proc/loadavg: 7.41 7.91 7.82 1/173 26422
/proc/meminfo: memFree=30852872/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=282908 CPUtime=0.4 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 1676 0 0 0 40 0 0 0 18 0 4 0 522081443 289697792 1562 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 70727 1563 391 112 0 65692 0
[pid=26422/tid=26423] ppid=26420 vsize=282908 CPUtime=0.1 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 373 0 0 0 10 0 0 0 18 0 4 0 522081443 289697792 1563 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=282908 CPUtime=0.09 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 303 0 0 0 9 0 0 0 25 0 4 0 522081443 289697792 1563 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=282908 CPUtime=0.09 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 212 0 0 0 9 0 0 0 18 0 4 0 522081443 289697792 1563 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282908

[startup+0.200269 s]
/proc/loadavg: 7.41 7.91 7.82 1/173 26422
/proc/meminfo: memFree=30852872/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=283924 CPUtime=0.77 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 2269 0 0 0 77 0 0 0 18 0 4 0 522081443 290738176 1669 33554432000 4194304 4650419 140736652679168 18446744073709551615 4360323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 70981 1669 393 112 0 65946 0
[pid=26422/tid=26423] ppid=26420 vsize=283924 CPUtime=0.19 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 517 0 0 0 19 0 0 0 18 0 4 0 522081443 290738176 1669 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=283924 CPUtime=0.18 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 451 0 0 0 18 0 0 0 25 0 4 0 522081443 290738176 1669 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=283924 CPUtime=0.18 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 360 0 0 0 18 0 0 0 18 0 4 0 522081443 290738176 1669 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283924

[startup+0.300251 s]
/proc/loadavg: 7.41 7.91 7.82 1/173 26422
/proc/meminfo: memFree=30852872/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=284088 CPUtime=1.16 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 2621 0 0 0 116 0 0 0 18 0 4 0 522081443 290906112 2021 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 71022 2021 393 112 0 65987 0
[pid=26422/tid=26423] ppid=26420 vsize=284088 CPUtime=0.29 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 607 0 0 0 29 0 0 0 18 0 4 0 522081443 290906112 2021 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=284088 CPUtime=0.28 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 536 0 0 0 28 0 0 0 25 0 4 0 522081443 290906112 2021 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=284088 CPUtime=0.28 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 443 0 0 0 28 0 0 0 18 0 4 0 522081443 290906112 2021 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284088

[startup+0.700184 s]
/proc/loadavg: 7.41 7.91 7.82 1/173 26422
/proc/meminfo: memFree=30852872/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=285708 CPUtime=2.77 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 4555 0 0 0 276 1 0 0 18 0 4 0 522081443 292564992 2291 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 71427 2291 393 112 0 66392 0
[pid=26422/tid=26423] ppid=26420 vsize=285708 CPUtime=0.69 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1090 0 0 0 69 0 0 0 18 0 4 0 522081443 292564992 2291 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=285708 CPUtime=0.68 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1045 0 0 0 68 0 0 0 25 0 4 0 522081443 292564992 2291 33554432000 4194304 4650419 140736652679168 18446744073709551615 4333886 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=285708 CPUtime=0.68 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 859 0 0 0 68 0 0 0 18 0 4 0 522081443 292564992 2291 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285708

[startup+1.50105 s]
/proc/loadavg: 7.41 7.91 7.82 5/177 26426
/proc/meminfo: memFree=30841680/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=286424 CPUtime=5.97 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 7775 0 0 0 595 2 0 0 20 0 4 0 522081443 293298176 4375 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 71606 4375 395 112 0 66571 0
[pid=26422/tid=26423] ppid=26420 vsize=286424 CPUtime=1.49 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1640 0 0 0 149 0 0 0 19 0 4 0 522081443 293298176 4375 33554432000 4194304 4650419 140736652679168 18446744073709551615 4513971 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=286424 CPUtime=1.47 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1546 0 0 0 147 0 0 0 25 0 4 0 522081443 293298176 4375 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=286424 CPUtime=1.48 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 1397 0 0 0 148 0 0 0 20 0 4 0 522081443 293298176 4375 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286424

[startup+3.10077 s]
/proc/loadavg: 7.41 7.91 7.82 10/182 26456
/proc/meminfo: memFree=30815072/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=286944 CPUtime=12.36 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 14896 0 0 0 1233 3 0 0 25 0 4 0 522081443 293830656 8784 33554432000 4194304 4650419 140736652679168 18446744073709551615 4313323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 71736 8784 395 112 0 66701 0
[pid=26422/tid=26423] ppid=26420 vsize=286944 CPUtime=3.08 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 3268 0 0 0 308 0 0 0 25 0 4 0 522081443 293830656 8784 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=286944 CPUtime=3.07 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 3593 0 0 0 306 1 0 0 25 0 4 0 522081443 293830656 8784 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=286944 CPUtime=3.08 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 3723 0 0 0 308 0 0 0 25 0 4 0 522081443 293830656 8784 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286944

[startup+6.30022 s]
/proc/loadavg: 7.62 7.94 7.83 9/182 26456
/proc/meminfo: memFree=30778412/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=297412 CPUtime=25.14 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 22189 0 0 0 2510 4 0 0 25 0 4 0 522081443 304549888 11702 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 74353 11702 395 112 0 69318 0
[pid=26422/tid=26423] ppid=26420 vsize=297412 CPUtime=6.29 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 5396 0 0 0 628 1 0 0 25 0 4 0 522081443 304549888 11702 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=297412 CPUtime=6.25 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 5902 0 0 0 624 1 0 0 25 0 4 0 522081443 304549888 11702 33554432000 4194304 4650419 140736652679168 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=297412 CPUtime=6.28 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 4854 0 0 0 628 0 0 0 25 0 4 0 522081443 304549888 11702 33554432000 4194304 4650419 140736652679168 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297412

[startup+12.7011 s]
/proc/loadavg: 7.65 7.94 7.83 9/182 26457
/proc/meminfo: memFree=30716216/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=306824 CPUtime=50.7 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 33936 0 0 0 5063 7 0 0 25 0 4 0 522081443 314187776 16680 33554432000 4194304 4650419 140736652679168 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 76706 16680 395 112 0 71671 0
[pid=26422/tid=26423] ppid=26420 vsize=306824 CPUtime=12.68 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 8372 0 0 0 1267 1 0 0 25 0 4 0 522081443 314187776 16680 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=306824 CPUtime=12.61 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 8349 0 0 0 1260 1 0 0 25 0 4 0 522081443 314187776 16680 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=306824 CPUtime=12.68 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 7435 0 0 0 1267 1 0 0 25 0 4 0 522081443 314187776 16680 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 306824

[startup+25.5009 s]
/proc/loadavg: 7.73 7.95 7.83 9/182 26457
/proc/meminfo: memFree=30659036/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=318812 CPUtime=101.84 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 51829 0 0 0 10170 14 0 0 25 0 4 0 522081443 326463488 21034 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 79703 21034 395 112 0 74668 0
[pid=26422/tid=26423] ppid=26420 vsize=318812 CPUtime=25.49 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 13157 0 0 0 2546 3 0 0 25 0 4 0 522081443 326463488 21034 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=318812 CPUtime=25.35 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 13369 0 0 0 2531 4 0 0 25 0 4 0 522081443 326463488 21034 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=318812 CPUtime=25.48 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 10689 0 0 0 2546 2 0 0 25 0 4 0 522081443 326463488 21034 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 318812

[startup+51.1005 s]
/proc/loadavg: 7.88 7.96 7.84 9/182 26457
/proc/meminfo: memFree=30625004/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=320756 CPUtime=204.1 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 77940 0 0 0 20389 21 0 0 25 0 4 0 522081443 328454144 25423 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 80189 25423 395 112 0 75154 0
[pid=26422/tid=26423] ppid=26420 vsize=320756 CPUtime=51.09 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 21074 0 0 0 5104 5 0 0 25 0 4 0 522081443 328454144 25423 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=320756 CPUtime=50.81 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 19172 0 0 0 5076 5 0 0 25 0 4 0 522081443 328454144 25423 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=320756 CPUtime=51.08 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 15459 0 0 0 5104 4 0 0 25 0 4 0 522081443 328454144 25423 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 320756

[startup+102.301 s]
/proc/loadavg: 8.10 8.00 7.86 9/182 26459
/proc/meminfo: memFree=30553528/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=333656 CPUtime=408.64 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 120849 0 0 0 40828 36 0 0 25 0 4 0 522081443 341663744 31671 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 83414 31671 395 112 0 78379 0
[pid=26422/tid=26423] ppid=26420 vsize=333656 CPUtime=102.29 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 33473 0 0 0 10221 8 0 0 25 0 4 0 522081443 341663744 31671 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=333656 CPUtime=101.74 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 31118 0 0 0 10164 10 0 0 25 0 4 0 522081443 341663744 31671 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=333656 CPUtime=102.29 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 22617 0 0 0 10222 7 0 0 25 0 4 0 522081443 341663744 31671 33554432000 4194304 4650419 140736652679168 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 333656

[startup+162.3 s]

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

[pid=26422] ppid=26420 vsize=581384 CPUtime=2565.7 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 359909 0 0 0 256430 140 0 0 25 0 4 0 522081443 595337216 80441 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 145346 80441 395 112 0 140311 0
[pid=26422/tid=26423] ppid=26420 vsize=581384 CPUtime=642.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 96816 0 0 0 64191 37 0 0 25 0 4 0 522081443 595337216 80441 33554432000 4194304 4650419 140736652679168 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=581384 CPUtime=638.81 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 96504 0 0 0 63843 38 0 0 25 0 4 0 522081443 595337216 80441 33554432000 4194304 4650419 140736652679168 18446744073709551615 4298525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=581384 CPUtime=642.29 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 58078 0 0 0 64207 22 0 0 25 0 4 0 522081443 595337216 80441 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 581384

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 7.97 9/182 26475
/proc/meminfo: memFree=30190180/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=528852 CPUtime=2805.37 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 379564 0 0 0 280386 151 0 0 25 0 4 0 522081443 541544448 82821 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 132213 82821 395 112 0 127178 0
[pid=26422/tid=26423] ppid=26420 vsize=528852 CPUtime=702.27 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 102619 0 0 0 70188 39 0 0 25 0 4 0 522081443 541544448 82821 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=528852 CPUtime=698.48 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 101915 0 0 0 69806 42 0 0 25 0 4 0 522081443 541544448 82821 33554432000 4194304 4650419 140736652679168 18446744073709551615 4315582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=528852 CPUtime=702.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 60185 0 0 0 70206 24 0 0 25 0 4 0 522081443 541544448 82821 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 528852

[startup+762.3 s]
/proc/loadavg: 8.10 8.11 7.98 9/182 26477
/proc/meminfo: memFree=30180084/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=506020 CPUtime=3045.06 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 392012 0 0 0 304349 157 0 0 25 0 4 0 522081443 518164480 78350 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 126505 78350 395 112 0 121470 0
[pid=26422/tid=26423] ppid=26420 vsize=506020 CPUtime=762.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 109189 0 0 0 76186 42 0 0 25 0 4 0 522081443 518164480 78350 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=506020 CPUtime=758.15 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 102294 0 0 0 75773 42 0 0 25 0 4 0 522081443 518164480 78350 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=506020 CPUtime=762.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 61849 0 0 0 76206 24 0 0 25 0 4 0 522081443 518164480 78350 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 506020

[startup+822.301 s]
/proc/loadavg: 8.03 8.09 7.98 9/182 26478
/proc/meminfo: memFree=30114944/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=530064 CPUtime=3284.73 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 409774 0 0 0 328306 167 0 0 25 0 4 0 522081443 542785536 78720 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 132516 78720 395 112 0 127481 0
[pid=26422/tid=26423] ppid=26420 vsize=530064 CPUtime=822.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 114947 0 0 0 82183 45 0 0 25 0 4 0 522081443 542785536 78720 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=530064 CPUtime=817.83 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 105189 0 0 0 81738 45 0 0 25 0 4 0 522081443 542785536 78720 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=530064 CPUtime=822.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 65953 0 0 0 82204 26 0 0 25 0 4 0 522081443 542785536 78720 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 530064

[startup+882.307 s]
/proc/loadavg: 8.12 8.10 7.99 9/182 26479
/proc/meminfo: memFree=30131784/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=542712 CPUtime=3524.42 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 429179 0 0 0 352265 177 0 0 25 0 4 0 522081443 555737088 82633 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 135678 82633 395 112 0 130643 0
[pid=26422/tid=26423] ppid=26420 vsize=542712 CPUtime=882.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 121040 0 0 0 88179 49 0 0 25 0 4 0 522081443 555737088 82633 33554432000 4194304 4650419 140736652679168 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=542712 CPUtime=877.51 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 111357 0 0 0 87705 46 0 0 25 0 4 0 522081443 555737088 82633 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=542712 CPUtime=882.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 67043 0 0 0 88204 26 0 0 25 0 4 0 522081443 555737088 82633 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 542712

[startup+942.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/182 26481
/proc/meminfo: memFree=30123436/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=543080 CPUtime=3764.07 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 449691 0 0 0 376222 185 0 0 25 0 4 0 522081443 556113920 83667 33554432000 4194304 4650419 140736652679168 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 135770 83667 395 112 0 130735 0
[pid=26422/tid=26423] ppid=26420 vsize=543080 CPUtime=942.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 128017 0 0 0 94176 52 0 0 25 0 4 0 522081443 556113920 83667 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=543080 CPUtime=937.18 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 114257 0 0 0 93670 48 0 0 25 0 4 0 522081443 556113920 83667 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=543080 CPUtime=942.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 71481 0 0 0 94202 28 0 0 25 0 4 0 522081443 556113920 83667 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 543080

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.00 9/182 26483
/proc/meminfo: memFree=30067720/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=596256 CPUtime=4003.75 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 466392 0 0 0 400179 196 0 0 25 0 4 0 522081443 610566144 86048 33554432000 4194304 4650419 140736652679168 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 149064 86048 395 112 0 144029 0
[pid=26422/tid=26423] ppid=26420 vsize=596256 CPUtime=1002.28 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 133384 0 0 0 100173 55 0 0 25 0 4 0 522081443 610566144 86048 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=596256 CPUtime=996.85 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 115872 0 0 0 99635 50 0 0 25 0 4 0 522081443 610566144 86048 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=596256 CPUtime=1002.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 75606 0 0 0 100199 31 0 0 25 0 4 0 522081443 610566144 86048 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 596256

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.00 9/182 26484
/proc/meminfo: memFree=30048704/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=609180 CPUtime=4243.42 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 487088 0 0 0 424137 205 0 0 25 0 4 0 522081443 623800320 85126 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 152295 85126 395 112 0 147260 0
[pid=26422/tid=26423] ppid=26420 vsize=609180 CPUtime=1062.27 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 139053 0 0 0 106170 57 0 0 25 0 4 0 522081443 623800320 85126 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=609180 CPUtime=1056.53 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 123321 0 0 0 105600 53 0 0 25 0 4 0 522081443 623800320 85126 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=609180 CPUtime=1062.29 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 77080 0 0 0 106198 31 0 0 25 0 4 0 522081443 623800320 85126 33554432000 4194304 4650419 140736652679168 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 609180

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 8.00 9/182 26486
/proc/meminfo: memFree=30034900/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=611244 CPUtime=4483.09 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 505152 0 0 0 448093 216 0 0 25 0 4 0 522081443 625913856 86642 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 152811 86642 395 112 0 147776 0
[pid=26422/tid=26423] ppid=26420 vsize=611244 CPUtime=1122.27 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 143716 0 0 0 112167 60 0 0 25 0 4 0 522081443 625913856 86642 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=611244 CPUtime=1116.2 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 128862 0 0 0 111563 57 0 0 25 0 4 0 522081443 625913856 86642 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=611244 CPUtime=1122.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 78730 0 0 0 112198 32 0 0 25 0 4 0 522081443 625913856 86642 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 611244

[startup+1182.3 s]
/proc/loadavg: 8.20 8.11 8.01 9/182 26487
/proc/meminfo: memFree=30018620/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=611472 CPUtime=4722.77 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 523398 0 0 0 472052 225 0 0 25 0 4 0 522081443 626147328 92305 33554432000 4194304 4650419 140736652679168 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 152868 92305 395 112 0 147833 0
[pid=26422/tid=26423] ppid=26420 vsize=611472 CPUtime=1182.27 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 147292 0 0 0 118166 61 0 0 25 0 4 0 522081443 626147328 92305 33554432000 4194304 4650419 140736652679168 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=611472 CPUtime=1175.87 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 134569 0 0 0 117527 60 0 0 25 0 4 0 522081443 626147328 92305 33554432000 4194304 4650419 140736652679168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=611472 CPUtime=1182.3 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 82722 0 0 0 118196 34 0 0 25 0 4 0 522081443 626147328 92305 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 611472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 8.01 9/182 26488
/proc/meminfo: memFree=29987732/32951132 swapFree=67111356/67111528
[pid=26422] ppid=26420 vsize=611512 CPUtime=4800.28 cores=1,3,5,7
/proc/26422/stat : 26422 (strangenight1-m) R 26420 26422 26305 0 -1 4202496 528648 0 0 0 479801 227 0 0 25 0 4 0 522081443 626188288 94307 33554432000 4194304 4650419 140736652679168 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26422/statm: 152878 94307 395 112 0 147843 0
[pid=26422/tid=26423] ppid=26420 vsize=611512 CPUtime=1201.67 cores=1,3,5,7
/proc/26422/task/26423/stat : 26423 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 149094 0 0 0 120106 61 0 0 25 0 4 0 522081443 626188288 94307 33554432000 4194304 4650419 140736652679168 18446744073709551615 4360522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26422/tid=26424] ppid=26420 vsize=611512 CPUtime=1195.17 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 135604 0 0 0 119456 61 0 0 25 0 4 0 522081443 626188288 94307 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26422/tid=26425] ppid=26420 vsize=611512 CPUtime=1201.71 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (strangenight1-m) R 26420 26422 26305 0 -1 4202560 83379 0 0 0 120136 35 0 0 25 0 4 0 522081443 626188288 94307 33554432000 4194304 4650419 140736652679168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 611512

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.33
CPU user time (s): 4798.04
CPU system time (s): 2.29365
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 662956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.04
system time used= 2.29365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306
involuntary context switches= 31685

runsolver used 1.91471 second user time and 4.63729 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 21:20:18
IDJOB=3175259
IDBENCH=82877
IDSOLVER=1588
FILE ID=node131/3175259-1304104818
RUNJOBID= node131-1304103614-26324
PBS_JOBID= 13170641
Free space on /tmp= 71380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175259-1304104818/watcher-3175259-1304104818 -o /tmp/evaluation-result-3175259-1304104818/solver-3175259-1304104818 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175259-1304104818.cnf

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

MD5SUM BENCH= a9aff6c7ce1658eb3edc84aa7f38478c
RANDOM SEED=460409833

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30853152 kB
Buffers:        200728 kB
Cached:        1523396 kB
SwapCached:        168 kB
Active:         159892 kB
Inactive:      1631708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30853152 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:       67204 kB
Mapped:          15280 kB
Slab:           242588 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   222636 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 21:40:22