Trace number 3368887

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 (fixed)? (TO) 4800.18 1203.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
MD5SUMf154a23cd5dae9f4e2340ec192300943
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark111.453
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3368887-1305405456.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c 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:    450 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:     11  v-fix:    0  time:  0.01 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:     205 undec:      43 neg:     202
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       439      1904         0         0      5776         0   no data   no data  --
0.06/0.06	c Decided on static restart strategy
0.37/0.14	c  N st     8      4917       439      1904         0      4823      5776    104040   no data   no data  --
1.17/0.39	c  N st    10     11301       439      1904         0      4492      5776     70348   no data   no data  --
2.36/0.64	c  N st    11     17044       439      1904         0     10084      5776    193998   no data   no data  --
4.00/1.04	c  F st    12     25001       439      1904         0     12316      5776    239625   no data   no data  --
4.00/1.05	c  N st    12     25001       439      1904         0     12316      5776    239625   no data   no data  --
5.15/1.30	c Decided on static restart strategy
5.15/1.30	c  N st    18     30000       439      1904         0     10636      5776    190883   no data   no data  --
5.15/1.30	c  S st    18     30000       439      1904         0     10636      5776    190883   no data   no data  --
5.15/1.33	c  S st    18     30503       439      1904         0     11139      5776    201355   no data   no data  --
5.15/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.15/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.15/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
5.15/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.95/1.53	c lits-rem:       141  cl-subs:      593  v-elim:      0  v-fix:    0  time:  0.76 s
5.95/1.54	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.03
5.95/1.54	c calculated reachability. Time: 0.00
5.95/1.54	c  N st    18     30503       439      1904         0     10546      5776    187742   no data   no data  --
7.56/1.98	c  N st    20     37613       439      1904         0      9811      5776    150417   no data   no data  --
9.14/2.37	c  N st    21     44013       439      1904         0     16040      5776    278273   no data   no data  --
9.94/2.50	c  S st    22     45754       439      1904         0      9013      5776    118132   no data   no data  --
9.94/2.53	c  S st    22     46256       439      1904         0      9511      5776    129069   no data   no data  --
9.94/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.94/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.94/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
9.94/2.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.61	c lits-rem:        40  cl-subs:       98  v-elim:      0  v-fix:    0  time:  0.28 s
10.34/2.61	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
10.34/2.61	c vivif2 --  cl tried     9413 cl shrink        0 lits rem          0 time: 0.01
10.34/2.62	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.03
10.34/2.62	c calculated reachability. Time: 0.00
10.34/2.62	c  N st    22     46256       439      1904         0      9413      5776    127148   no data   no data  --
13.93/3.53	c  N st    23     60654       439      1904         0     13727      5776    203542   no data   no data  --
16.72/4.21	c  N st    24     69384       439      1904         0     11506      5776    153125   no data   no data  --
16.72/4.21	c  S st    24     69384       439      1904         0     11506      5776    153125   no data   no data  --
16.72/4.24	c  S st    24     69888       439      1904         0     12008      5776    164108   no data   no data  --
16.72/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.72/4.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.72/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
16.72/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
16.72/4.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.40	c lits-rem:        76  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.59 s
17.16/4.40	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
17.16/4.40	c vivif2 --  cl tried    11842 cl shrink        0 lits rem          0 time: 0.01
17.56/4.41	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.04
17.56/4.41	c calculated reachability. Time: 0.00
17.56/4.41	c  N st    24     69888       439      1904         0     11842      5776    160589   no data   no data  --
22.31/5.69	c  F st    25     87500       439      1904         0     17342      5776    274097   no data   no data  --
22.31/5.69	c  N st    25     87500       439      1904         0     17342      5776    274097   no data   no data  --
24.30/6.10	c Decided on static restart strategy
25.10/6.34	c  N st    32     95535       439      1904         0     25238      5776    448427   no data   no data  --
27.90/7.03	c  N st    34    104833       439      1904         0     21557      5776    335606   no data   no data  --
27.90/7.03	c  S st    34    104833       439      1904         0     21557      5776    335606   no data   no data  --
27.90/7.08	c  S st    34    105333       439      1904         0     22056      5776    346975   no data   no data  --
27.90/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.90/7.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
28.30/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.30/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
28.30/7.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.08/7.82	c lits-rem:       334  cl-subs:     1367  v-elim:      0  v-fix:    0  time:  2.85 s
31.08/7.82	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
31.08/7.82	c vivif2 --  cl tried    20689 cl shrink        0 lits rem          0 time: 0.02
31.08/7.84	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.06
31.08/7.84	c calculated reachability. Time: 0.00
31.08/7.84	c  N st    34    105333       439      1904         0     20689      5776    322912   no data   no data  --
33.88/8.58	c  N st    35    114932       439      1904         0     16412      5776    214382   no data   no data  --
38.26/9.67	c  N st    36    129330       439      1904         0     15849      5776    189411   no data   no data  --
45.04/11.40	c  N st    37    150927       439      1904         0     21269      5776    298810   no data   no data  --
47.88/12.10	c  S st    38    158004       439      1904         0     28150      5776    444131   no data   no data  --
48.28/12.17	c  S st    38    158509       439      1904         0     28655      5776    454916   no data   no data  --
48.28/12.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.28/12.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.28/12.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.28/12.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.28/12.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.28/12.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
48.28/12.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.82/13.54	c lits-rem:       586  cl-subs:     1662  v-elim:      0  v-fix:    0  time:  5.38 s
53.82/13.54	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
53.82/13.55	c vivif2 --  cl tried    26993 cl shrink        0 lits rem          0 time: 0.02
53.82/13.57	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.08
53.82/13.57	c calculated reachability. Time: 0.00
53.82/13.57	c  N st    38    158509       439      1904         0     26993      5776    420787   no data   no data  --
72.97/18.36	c  N st    39    207098       439      1904         0     21726      5776    278814   no data   no data  --
85.74/21.57	c  N st    40    237764       439      1904         0     32071      5776    484645   no data   no data  --
85.74/21.57	c  S st    40    237764       439      1904         0     32071      5776    484645   no data   no data  --
86.14/21.66	c  S st    40    238269       439      1904         0     32575      5776    495359   no data   no data  --
86.14/21.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.14/21.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.14/21.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
86.14/21.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.14/21.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.14/21.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
86.14/21.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
92.91/23.31	c lits-rem:       537  cl-subs:     2445  v-elim:      0  v-fix:    0  time:  6.49 s
92.91/23.31	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
92.91/23.32	c vivif2 --  cl tried    30130 cl shrink        0 lits rem          0 time: 0.02
92.91/23.34	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.10
92.91/23.34	c calculated reachability. Time: 0.00
92.91/23.34	c  N st    40    238269       439      1904         0     30130      5776    445833   no data   no data  --
125.23/31.49	c  F st    41    306253       439      1904         0     32124      5776    439625   no data   no data  --
125.23/31.50	c  N st    41    306253       439      1904         0     32124      5776    439625   no data   no data  --
128.01/32.14	c Decided on static restart strategy
139.19/34.99	c  N st    51    334556       439      1904         0     36235      5776    502987   no data   no data  --
150.35/37.72	c  N st    53    357404       439      1904         0     34164      5776    453055   no data   no data  --
150.35/37.72	c  S st    53    357404       439      1904         0     34164      5776    453055   no data   no data  --
150.75/37.81	c  S st    53    357909       439      1904         0     34668      5776    464047   no data   no data  --
150.75/37.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
150.75/37.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.75/37.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
150.75/37.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.75/37.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.75/37.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
150.75/37.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
156.74/39.34	c lits-rem:       401  cl-subs:     1751  v-elim:      0  v-fix:    0  time:  6.02 s
156.74/39.34	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
156.74/39.35	c vivif2 --  cl tried    32917 cl shrink        0 lits rem          0 time: 0.02
156.74/39.38	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.11
156.74/39.38	c calculated reachability. Time: 0.00
156.74/39.38	c  N st    53    357909       439      1904         0     32917      5776    428568   no data   no data  --
173.89/43.69	c  N st    54    390302       439      1904         0     39190      5776    565753   no data   no data  --
199.02/49.94	c  N st    55    438891       439      1904         0     33110      5776    410985   no data   no data  --
240.51/60.40	c  N st    56    511773       439      1904         0     46546      5776    705536   no data   no data  --
256.47/64.39	c  N st    57    536863       439      1904         0     40844      5776    539565   no data   no data  --
256.47/64.39	c  S st    57    536863       439      1904         0     40844      5776    539565   no data   no data  --
256.86/64.49	c  S st    57    537364       439      1904         0     41343      5776    549994   no data   no data  --
256.86/64.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
256.86/64.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.26/64.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
257.26/64.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.26/64.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.26/64.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
257.26/64.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.04/66.25	c lits-rem:      1025  cl-subs:     1437  v-elim:      0  v-fix:    0  time:  6.85 s
264.04/66.25	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
264.04/66.25	c vivif2 --  cl tried    39906 cl shrink        0 lits rem          0 time: 0.02
264.04/66.29	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.14
264.04/66.29	c calculated reachability. Time: 0.00
264.04/66.29	c  N st    57    537364       439      1904         0     39906      5776    518220   no data   no data  --
367.37/92.18	c  N st    58    701351       439      1904         0     69111      5776   1095518   no data   no data  --
436.78/109.51	c  N st    59    806047       439      1904         0     62434      5776    864488   no data   no data  --
436.78/109.51	c  S st    59    806047       439      1904         0     62434      5776    864488   no data   no data  --
437.18/109.68	c  S st    59    806547       439      1904         0     62932      5776    875673   no data   no data  --
437.18/109.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
437.18/109.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
437.58/109.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
437.58/109.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.58/109.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.58/109.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
437.58/109.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
452.33/113.45	c lits-rem:       802  cl-subs:     7393  v-elim:      0  v-fix:    0  time: 14.78 s
452.33/113.45	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
452.33/113.46	c vivif2 --  cl tried    55539 cl shrink        0 lits rem          0 time: 0.04
452.74/113.53	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.26
452.74/113.53	c calculated reachability. Time: 0.00
452.74/113.53	c  N st    59    806547       439      1904         0     55539      5776    743482   no data   no data  --
652.19/163.58	c  F st    60   1071875       439      1904         0     71616      5776   1013972   no data   no data  --
652.19/163.58	c  N st    60   1071875       439      1904         0     71616      5776   1013972   no data   no data  --
658.57/165.10	c Decided on static restart strategy
678.12/170.05	c  N st    70   1100186       439      1904         0     55546      5776    644113   no data   no data  --
709.63/177.96	c  N st    72   1136179       439      1904         0     46001      5776    439152   no data   no data  --
735.96/184.58	c  N st    73   1168572       439      1904         0     77283      5776   1086407   no data   no data  --
775.05/194.30	c  N st    74   1209820       439      1904         0     71736      5776    961431   no data   no data  --
775.05/194.30	c  S st    74   1209820       439      1904         0     71736      5776    961431   no data   no data  --
775.85/194.58	c  S st    74   1210322       439      1904         0     72238      5776    972280   no data   no data  --
775.85/194.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
775.85/194.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
776.29/194.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
776.29/194.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
776.29/194.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
776.29/194.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
776.29/194.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
796.20/199.68	c lits-rem:      1767  cl-subs:     5545  v-elim:      0  v-fix:    0  time: 20.05 s
796.20/199.68	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
796.20/199.69	c vivif2 --  cl tried    66693 cl shrink        0 lits rem          0 time: 0.05
796.99/199.80	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.42
796.99/199.80	c calculated reachability. Time: 0.00
796.99/199.80	c  N st    74   1210322       439      1904         0     66693      5776    869388   no data   no data  --
863.61/216.53	c  N st    75   1283206       439      1904         0     90700      5776   1306098   no data   no data  --
970.89/243.40	c  N st    76   1392529       439      1904         0     51571      5776    489881   no data   no data  --
1126.07/282.33	c  N st    77   1556514       439      1904         0     56263      5776    551475   no data   no data  --
1274.07/319.48	c  N st    78   1710322       439      1904         0     97762      5776   1406561   no data   no data  --
1274.07/319.48	c  S st    78   1710322       439      1904         0     97762      5776   1406561   no data   no data  --
1275.67/319.80	c  S st    78   1710826       439      1904         0     98266      5776   1418059   no data   no data  --
1275.67/319.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1275.67/319.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.67/319.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1276.07/319.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1276.07/319.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1276.07/319.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1276.07/319.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1306.78/327.62	c lits-rem:        71  cl-subs:     9022  v-elim:      0  v-fix:    0  time: 30.77 s
1306.78/327.62	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
1306.78/327.64	c vivif2 --  cl tried    89244 cl shrink        0 lits rem          0 time: 0.06
1307.22/327.76	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.47
1307.22/327.76	c calculated reachability. Time: 0.00
1307.22/327.76	c  N st    78   1710826       439      1904         0     89244      5776   1258452   no data   no data  --
1710.09/428.73	c  N st    79   2079790       439      1904         0    101669      5776   1529589   no data   no data  --
1852.89/464.52	c  N st    80   2210827       439      1904         0    105531      5776   1501096   no data   no data  --
1852.89/464.52	c  S st    80   2210827       439      1904         0    105531      5776   1501096   no data   no data  --
1854.09/464.89	c  S st    80   2211329       439      1904         0    106033      5776   1512450   no data   no data  --
1854.49/464.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1854.49/464.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1854.49/464.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1854.89/465.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1854.89/465.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1854.89/465.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1854.89/465.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1889.19/473.66	c lits-rem:       283  cl-subs:     8633  v-elim:      0  v-fix:    0  time: 34.52 s
1889.19/473.66	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
1889.19/473.68	c vivif2 --  cl tried    97400 cl shrink        0 lits rem          0 time: 0.08
1889.99/473.83	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.62
1889.99/473.83	c calculated reachability. Time: 0.00
1889.99/473.83	c  N st    80   2211329       439      1904         0     97400      5776   1349622   no data   no data  --
2452.07/614.75	c  N st    81   2711332       439      1904         0    119978      5776   1679999   no data   no data  --
2452.07/614.75	c  S st    81   2711332       439      1904         0    119978      5776   1679999   no data   no data  --
2454.06/615.21	c  S st    81   2711836       439      1904         0    120481      5776   1691421   no data   no data  --
2454.06/615.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2454.06/615.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2454.06/615.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2454.46/615.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2454.46/615.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2454.46/615.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
2454.46/615.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2508.72/628.97	c lits-rem:       389  cl-subs:    14443  v-elim:      0  v-fix:    0  time: 54.39 s
2508.72/628.97	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
2508.72/628.99	c vivif2 --  cl tried   106038 cl shrink        0 lits rem          0 time: 0.08
2509.55/629.14	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.57
2509.55/629.14	c calculated reachability. Time: 0.00
2509.55/629.14	c  N st    81   2711836       439      1904         0    106038      5776   1432458   no data   no data  --
3116.65/781.30	c  N st    82   3211836       439      1904         0     82496      5776    820236   no data   no data  --
3116.65/781.30	c  S st    82   3211836       439      1904         0     82496      5776    820236   no data   no data  --
3117.45/781.55	c  S st    82   3212340       439      1904         0     83000      5776    831087   no data   no data  --
3117.45/781.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3117.45/781.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3117.45/781.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3117.85/781.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3117.85/781.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3117.85/781.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3117.85/781.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3128.66/784.32	c lits-rem:       476  cl-subs:     1249  v-elim:      0  v-fix:    0  time: 10.75 s
3128.66/784.32	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
3128.66/784.33	c vivif2 --  cl tried    81751 cl shrink        0 lits rem          0 time: 0.05
3129.01/784.43	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.40
3129.01/784.43	c calculated reachability. Time: 0.00
3129.01/784.43	c  N st    82   3212340       439      1904         0     81751      5776    808202   no data   no data  --
3814.75/956.37	c  N st    83   3712340       439      1904         0     92026      5776    926648   no data   no data  --
3814.75/956.37	c  S st    83   3712340       439      1904         0     92026      5776    926648   no data   no data  --
3815.95/956.65	c  S st    83   3712842       439      1904         0     92523      5776    937308   no data   no data  --
3815.95/956.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3815.95/956.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3815.95/956.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3816.35/956.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3816.35/956.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3816.35/956.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3816.35/956.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3829.91/960.19	c lits-rem:       631  cl-subs:     3618  v-elim:      0  v-fix:    0  time: 13.81 s
3829.91/960.19	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
3829.91/960.20	c vivif2 --  cl tried    88905 cl shrink        0 lits rem          0 time: 0.04
3830.75/960.32	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.44
3830.75/960.32	c calculated reachability. Time: 0.00
3830.75/960.32	c  N st    83   3712842       439      1904         0     88905      5776    878394   no data   no data  --
3880.97/972.98	c  F st    84   3751564       439      1904         0    126332      5776   1694145   no data   no data  --
3880.97/972.98	c  N st    84   3751564       439      1904         0    126332      5776   1694145   no data   no data  --
3890.55/975.38	c Decided on static restart strategy
3926.45/984.34	c  N st    94   3779866       439      1904         0    153827      5776   2319722   no data   no data  --
3974.72/996.47	c  N st    96   3815859       439      1904         0    106846      5776   1266584   no data   no data  --
4029.76/1010.26	c  N st    97   3848251       439      1904         0    138276      5776   1944869   no data   no data  --
4105.56/1029.28	c  N st    98   3896839       439      1904         0    102292      5776   1137641   no data   no data  --
4208.46/1055.06	c  N st    99   3969721       439      1904         0     88578      5776    835299   no data   no data  --
4369.63/1095.45	c  N st   100   4079044       439      1904         0    109406      5776   1262903   no data   no data  --
4583.05/1148.93	c  N st   101   4212843       439      1904         0    151873      5776   2105766   no data   no data  --
4583.05/1148.93	c  S st   101   4212843       439      1904         0    151873      5776   2105766   no data   no data  --
4585.09/1149.46	c  S st   101   4213344       439      1904         0    152374      5776   2117286   no data   no data  --
4585.09/1149.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4585.09/1149.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4585.49/1149.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4585.84/1149.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4585.84/1149.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4585.84/1149.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4585.84/1149.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4714.68/1181.97	c lits-rem:      2293  cl-subs:    21246  v-elim:      0  v-fix:    0  time: 128.99 s
4714.68/1181.97	c vivif2 --  cl tried     1904 cl shrink        0 lits rem          0 time: 0.00
4714.68/1182.00	c vivif2 --  cl tried   131128 cl shrink        0 lits rem          0 time: 0.10
4715.88/1182.20	c asymm  cl-useful: 0/1904/1904 lits-rem:0 time: 0.81
4715.88/1182.20	c calculated reachability. Time: 0.00
4715.88/1182.20	c  N st   101   4213344       439      1904         0    131128      5776   1733682   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368887-1305405456/watcher-3368887-1305405456 -o /tmp/evaluation-result-3368887-1305405456/solver-3368887-1305405456 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368887-1305405456.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.48 7.98 8.05 7/339 31844
/proc/meminfo: memFree=17847880/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=290564 CPUtime=0.01 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 1088 0 0 0 1 0 0 0 25 0 4 0 652146569 297537536 975 33554432000 4194304 4650419 140736103165280 18446744073709551615 270612807435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 72641 977 386 112 0 67606 0
[pid=31844/tid=31845] ppid=31842 vsize=290564 CPUtime=0 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 113 0 0 0 0 0 0 0 25 0 4 0 652146569 297537536 977 33554432000 4194304 4650419 140736103165280 18446744073709551615 4516457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=290564 CPUtime=0 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 216 0 0 0 0 0 0 0 18 0 4 0 652146569 297537536 977 33554432000 4194304 4650419 140736103165280 18446744073709551615 4420443 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=290564 CPUtime=0 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 4 0 652146569 297537536 977 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.024166 s]
/proc/loadavg: 7.48 7.98 8.05 7/339 31844
/proc/meminfo: memFree=17847880/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=282356 CPUtime=0.06 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 1247 0 0 0 6 0 0 0 25 0 4 0 652146569 289132544 1121 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 70589 1121 390 112 0 65554 0
[pid=31844/tid=31845] ppid=31842 vsize=282356 CPUtime=0.01 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 217 0 0 0 1 0 0 0 25 0 4 0 652146569 289132544 1121 33554432000 4194304 4650419 140736103165280 18446744073709551615 4360358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=282356 CPUtime=0.01 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 234 0 0 0 1 0 0 0 18 0 4 0 652146569 289132544 1121 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=282356 CPUtime=0.01 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 152 0 0 0 1 0 0 0 25 0 4 0 652146569 289132544 1121 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282356

[startup+0.101152 s]
/proc/loadavg: 7.48 7.98 8.05 7/339 31844
/proc/meminfo: memFree=17847880/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=282488 CPUtime=0.37 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 1638 0 0 0 37 0 0 0 25 0 4 0 652146569 289267712 1512 33554432000 4194304 4650419 140736103165280 18446744073709551615 4329573 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 70622 1512 391 112 0 65587 0
[pid=31844/tid=31845] ppid=31842 vsize=282488 CPUtime=0.09 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 308 0 0 0 9 0 0 0 25 0 4 0 652146569 289267712 1512 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=282488 CPUtime=0.09 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 328 0 0 0 9 0 0 0 18 0 4 0 652146569 289267712 1512 33554432000 4194304 4650419 140736103165280 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=282488 CPUtime=0.09 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 266 0 0 0 9 0 0 0 25 0 4 0 652146569 289267712 1512 33554432000 4194304 4650419 140736103165280 18446744073709551615 4367415 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282488

[startup+0.301117 s]
/proc/loadavg: 7.48 7.98 8.05 7/339 31844
/proc/meminfo: memFree=17847880/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=283732 CPUtime=1.17 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 2687 0 0 0 117 0 0 0 25 0 4 0 652146569 290541568 2042 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 70933 2042 393 112 0 65898 0
[pid=31844/tid=31845] ppid=31842 vsize=283732 CPUtime=0.29 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 579 0 0 0 29 0 0 0 25 0 4 0 652146569 290541568 2042 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=283732 CPUtime=0.29 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 581 0 0 0 29 0 0 0 18 0 4 0 652146569 290541568 2042 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=283732 CPUtime=0.29 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 515 0 0 0 29 0 0 0 25 0 4 0 652146569 290541568 2043 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283732

[startup+0.701047 s]
/proc/loadavg: 7.48 7.98 8.05 7/339 31844
/proc/meminfo: memFree=17847880/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=285012 CPUtime=2.77 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 4717 0 0 0 276 1 0 0 25 0 4 0 652146569 291852288 2311 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 71253 2311 393 112 0 66218 0
[pid=31844/tid=31845] ppid=31842 vsize=285012 CPUtime=0.68 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 1101 0 0 0 68 0 0 0 25 0 4 0 652146569 291852288 2311 33554432000 4194304 4650419 140736103165280 18446744073709551615 4333565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=285012 CPUtime=0.69 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 1094 0 0 0 69 0 0 0 18 0 4 0 652146569 291852288 2311 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=285012 CPUtime=0.69 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 992 0 0 0 69 0 0 0 25 0 4 0 652146569 291852288 2311 33554432000 4194304 4650419 140736103165280 18446744073709551615 4367249 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) 285012

[startup+1.50091 s]
/proc/loadavg: 7.48 7.98 8.05 10/343 31848
/proc/meminfo: memFree=17824040/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=277004 CPUtime=5.95 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 8289 0 0 0 594 1 0 0 25 0 4 0 652146569 283652096 4368 33554432000 4194304 4650419 140736103165280 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 69251 4368 395 112 0 64216 0
[pid=31844/tid=31845] ppid=31842 vsize=277004 CPUtime=1.47 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 1870 0 0 0 147 0 0 0 25 0 4 0 652146569 283652096 4368 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=277004 CPUtime=1.48 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 1684 0 0 0 148 0 0 0 19 0 4 0 652146569 283652096 4368 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=277004 CPUtime=1.48 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 1516 0 0 0 148 0 0 0 25 0 4 0 652146569 283652096 4368 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 277004

[startup+3.10063 s]
/proc/loadavg: 7.48 7.98 8.05 10/343 31848
/proc/meminfo: memFree=17780148/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=284868 CPUtime=12.34 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 15801 0 0 0 1231 3 0 0 25 0 4 0 652146569 291704832 9067 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 71217 9067 395 112 0 66182 0
[pid=31844/tid=31845] ppid=31842 vsize=284868 CPUtime=3.06 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 3805 0 0 0 306 0 0 0 25 0 4 0 652146569 291704832 9067 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=284868 CPUtime=3.08 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 4251 0 0 0 308 0 0 0 25 0 4 0 652146569 291704832 9067 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=284868 CPUtime=3.08 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 3504 0 0 0 308 0 0 0 25 0 4 0 652146569 291704832 9067 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 284868

[startup+6.30106 s]
/proc/loadavg: 7.52 7.98 8.05 10/343 31849
/proc/meminfo: memFree=17740744/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=289944 CPUtime=25.1 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 23905 0 0 0 2506 4 0 0 25 0 4 0 652146569 296902656 12523 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 72486 12523 395 112 0 67451 0
[pid=31844/tid=31845] ppid=31842 vsize=289944 CPUtime=6.23 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 6436 0 0 0 622 1 0 0 25 0 4 0 652146569 296902656 12523 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=289944 CPUtime=6.29 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 6649 0 0 0 628 1 0 0 25 0 4 0 652146569 296902656 12523 33554432000 4194304 4650419 140736103165280 18446744073709551615 4476207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=289944 CPUtime=6.29 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 4625 0 0 0 628 1 0 0 25 0 4 0 652146569 296902656 12523 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 289944

[startup+12.7009 s]
/proc/loadavg: 7.56 7.98 8.05 10/343 31849
/proc/meminfo: memFree=17692516/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=290568 CPUtime=50.63 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 36737 0 0 0 5055 8 0 0 25 0 4 0 652146569 297541632 18093 33554432000 4194304 4650419 140736103165280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 72642 18093 395 112 0 67607 0
[pid=31844/tid=31845] ppid=31842 vsize=290568 CPUtime=12.55 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 10005 0 0 0 1254 1 0 0 25 0 4 0 652146569 297541632 18094 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=290568 CPUtime=12.69 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 9210 0 0 0 1267 2 0 0 25 0 4 0 652146569 297541632 18094 33554432000 4194304 4650419 140736103165280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=290568 CPUtime=12.69 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 6736 0 0 0 1267 2 0 0 25 0 4 0 652146569 297541632 18094 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 290568

[startup+25.5007 s]
/proc/loadavg: 7.73 8.00 8.05 10/343 31849
/proc/meminfo: memFree=17633612/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=298100 CPUtime=101.69 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 56125 0 0 0 10156 13 0 0 25 0 4 0 652146569 305254400 22591 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 74525 22591 395 112 0 69490 0
[pid=31844/tid=31845] ppid=31842 vsize=298100 CPUtime=25.21 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 15853 0 0 0 2518 3 0 0 25 0 4 0 652146569 305254400 22591 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=298100 CPUtime=25.48 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 14887 0 0 0 2545 3 0 0 25 0 4 0 652146569 305254400 22591 33554432000 4194304 4650419 140736103165280 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=298100 CPUtime=25.49 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 9633 0 0 0 2546 3 0 0 25 0 4 0 652146569 305254400 22591 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 298100

[startup+51.1011 s]
/proc/loadavg: 7.82 8.00 8.05 10/343 31850
/proc/meminfo: memFree=17568500/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=305464 CPUtime=203.81 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 84898 0 0 0 20360 21 0 0 25 0 4 0 652146569 312795136 30236 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 76366 30236 395 112 0 71331 0
[pid=31844/tid=31845] ppid=31842 vsize=305464 CPUtime=50.53 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 24683 0 0 0 5049 4 0 0 25 0 4 0 652146569 312795136 30236 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=305464 CPUtime=51.09 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 22682 0 0 0 5103 6 0 0 25 0 4 0 652146569 312795136 30236 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=305464 CPUtime=51.08 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 13795 0 0 0 5104 4 0 0 25 0 4 0 652146569 312795136 30236 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 305464

[startup+102.313 s]
/proc/loadavg: 8.04 8.03 8.05 10/343 31851
/proc/meminfo: memFree=17488584/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=308300 CPUtime=408.1 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 130955 0 0 0 40774 36 0 0 25 0 4 0 652146569 315699200 33101 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 77075 33101 395 112 0 72040 0
[pid=31844/tid=31845] ppid=31842 vsize=308300 CPUtime=101.17 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 39544 0 0 0 10108 9 0 0 25 0 4 0 652146569 315699200 33101 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=308300 CPUtime=102.3 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 35173 0 0 0 10220 10 0 0 25 0 4 0 652146569 315699200 33101 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=308300 CPUtime=102.3 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 20486 0 0 0 10224 6 0 0 25 0 4 0 652146569 315699200 33101 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 308300

[startup+162.3 s]

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

[pid=31844] ppid=31842 vsize=489848 CPUtime=2801.51 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 447302 0 0 0 279970 181 0 0 25 0 4 0 652146569 501604352 77349 33554432000 4194304 4650419 140736103165280 18446744073709551615 4334219 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 122462 77349 395 112 0 117427 0
[pid=31844/tid=31845] ppid=31842 vsize=489848 CPUtime=694.61 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 133824 0 0 0 69407 54 0 0 25 0 4 0 652146569 501604352 77349 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=489848 CPUtime=702.3 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 117302 0 0 0 70181 49 0 0 25 0 4 0 652146569 501604352 77349 33554432000 4194304 4650419 140736103165280 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=489848 CPUtime=702.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 66867 0 0 0 70201 27 0 0 25 0 4 0 652146569 501604352 77349 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.51
Current children cumulated vsize (KiB) 489848

[startup+762.313 s]
/proc/loadavg: 8.22 8.13 8.09 10/343 31869
/proc/meminfo: memFree=17106656/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=555808 CPUtime=3040.9 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 471559 0 0 0 303896 194 0 0 25 0 4 0 652146569 569147392 74487 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 138952 74487 395 112 0 133917 0
[pid=31844/tid=31845] ppid=31842 vsize=555808 CPUtime=753.96 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 140991 0 0 0 75338 58 0 0 25 0 4 0 652146569 569147392 74487 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=555808 CPUtime=762.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 124129 0 0 0 76179 52 0 0 25 0 4 0 652146569 569147392 74487 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=555808 CPUtime=762.3 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 69193 0 0 0 76201 29 0 0 25 0 4 0 652146569 569147392 74487 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.9
Current children cumulated vsize (KiB) 555808

[startup+822.301 s]
/proc/loadavg: 8.20 8.14 8.09 10/343 31870
/proc/meminfo: memFree=17013616/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=556068 CPUtime=3280.21 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 497403 0 0 0 327816 205 0 0 25 0 4 0 652146569 569413632 83689 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 139017 83689 395 112 0 133982 0
[pid=31844/tid=31845] ppid=31842 vsize=556068 CPUtime=813.3 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 149956 0 0 0 81269 61 0 0 25 0 4 0 652146569 569413632 83689 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=556068 CPUtime=822.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 130136 0 0 0 82175 56 0 0 25 0 4 0 652146569 569413632 83689 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=556068 CPUtime=822.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 72700 0 0 0 82198 30 0 0 25 0 4 0 652146569 569413632 83689 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.21
Current children cumulated vsize (KiB) 556068

[startup+882.301 s]
/proc/loadavg: 8.13 8.12 8.09 10/343 31872
/proc/meminfo: memFree=17007252/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=570340 CPUtime=3519.55 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 520448 0 0 0 351740 215 0 0 25 0 4 0 652146569 584028160 84130 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 142585 84130 395 112 0 137550 0
[pid=31844/tid=31845] ppid=31842 vsize=570340 CPUtime=872.64 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 155635 0 0 0 87200 64 0 0 25 0 4 0 652146569 584028160 84130 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=570340 CPUtime=882.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 138503 0 0 0 88172 59 0 0 25 0 4 0 652146569 584028160 84130 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=570340 CPUtime=882.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 74829 0 0 0 88197 31 0 0 25 0 4 0 652146569 584028160 84130 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.55
Current children cumulated vsize (KiB) 570340

[startup+942.301 s]
/proc/loadavg: 8.05 8.10 8.08 10/343 31873
/proc/meminfo: memFree=16980928/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=570668 CPUtime=3758.9 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 541560 0 0 0 375664 226 0 0 25 0 4 0 652146569 584364032 82719 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 142667 82719 395 112 0 137632 0
[pid=31844/tid=31845] ppid=31842 vsize=570668 CPUtime=931.99 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 161182 0 0 0 93132 67 0 0 25 0 4 0 652146569 584364032 82719 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=570668 CPUtime=942.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 144459 0 0 0 94169 62 0 0 25 0 4 0 652146569 584364032 82719 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=570668 CPUtime=942.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 77979 0 0 0 94195 33 0 0 25 0 4 0 652146569 584364032 82719 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.9
Current children cumulated vsize (KiB) 570668

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 8.08 10/343 31875
/proc/meminfo: memFree=16964488/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=570988 CPUtime=3998.25 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 563733 0 0 0 399587 238 0 0 25 0 4 0 652146569 584691712 85493 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 142747 85493 395 112 0 137712 0
[pid=31844/tid=31845] ppid=31842 vsize=570988 CPUtime=991.33 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 167567 0 0 0 99063 70 0 0 25 0 4 0 652146569 584691712 85493 33554432000 4194304 4650419 140736103165280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=570988 CPUtime=1002.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 150206 0 0 0 100166 65 0 0 25 0 4 0 652146569 584691712 85493 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=570988 CPUtime=1002.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 80287 0 0 0 100194 34 0 0 25 0 4 0 652146569 584691712 85493 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.25
Current children cumulated vsize (KiB) 570988

[startup+1062.3 s]
/proc/loadavg: 8.02 8.07 8.08 9/343 31877
/proc/meminfo: memFree=16921036/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=575104 CPUtime=4237.59 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 585155 0 0 0 423509 250 0 0 25 0 4 0 652146569 588906496 91787 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 143776 91787 395 112 0 138741 0
[pid=31844/tid=31845] ppid=31842 vsize=575104 CPUtime=1050.67 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 173149 0 0 0 104993 74 0 0 25 0 4 0 652146569 588906496 91787 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=575104 CPUtime=1062.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 155254 0 0 0 106163 68 0 0 25 0 4 0 652146569 588906496 91787 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=575104 CPUtime=1062.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 84525 0 0 0 106192 36 0 0 25 0 4 0 652146569 588906496 91787 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.59
Current children cumulated vsize (KiB) 575104

[startup+1122.3 s]
/proc/loadavg: 8.05 8.07 8.08 10/343 31878
/proc/meminfo: memFree=16916028/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=562428 CPUtime=4476.93 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 604296 0 0 0 447433 260 0 0 25 0 4 0 652146569 575926272 93511 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 140607 93511 395 112 0 135572 0
[pid=31844/tid=31845] ppid=31842 vsize=562428 CPUtime=1110.01 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 179646 0 0 0 110925 76 0 0 25 0 4 0 652146569 575926272 93511 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=562428 CPUtime=1122.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 160922 0 0 0 112160 71 0 0 25 0 4 0 652146569 575926272 93511 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=562428 CPUtime=1122.27 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 86530 0 0 0 112190 37 0 0 25 0 4 0 652146569 575926272 93511 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.93
Current children cumulated vsize (KiB) 562428

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.08 10/343 31880
/proc/meminfo: memFree=16868700/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=562580 CPUtime=4716.28 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 625080 0 0 0 471358 270 0 0 25 0 4 0 652146569 576081920 97677 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 140645 97677 395 112 0 135610 0
[pid=31844/tid=31845] ppid=31842 vsize=562580 CPUtime=1169.37 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 183268 0 0 0 116858 79 0 0 25 0 4 0 652146569 576081920 97677 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=562580 CPUtime=1182.31 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 166292 0 0 0 118157 74 0 0 25 0 4 0 652146569 576081920 97677 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=562580 CPUtime=1182.28 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 89680 0 0 0 118188 40 0 0 25 0 4 0 652146569 576081920 97677 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.28
Current children cumulated vsize (KiB) 562580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.24 8.11 8.09 11/343 31880
/proc/meminfo: memFree=16902404/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=562604 CPUtime=4800.13 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 629094 0 0 0 479740 273 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 140651 92931 395 112 0 135616 0
[pid=31844/tid=31845] ppid=31842 vsize=562604 CPUtime=1190.14 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 183289 0 0 0 118935 79 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=562604 CPUtime=1203.34 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 167810 0 0 0 120259 75 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=562604 CPUtime=1203.3 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 90040 0 0 0 120290 40 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 562604

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

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

[startup+1203.3 s]
/proc/loadavg: 8.24 8.11 8.09 11/343 31880
/proc/meminfo: memFree=16902404/32951124 swapFree=67056804/67111528
[pid=31844] ppid=31842 vsize=562604 CPUtime=4800.13 cores=1,3,5,7
/proc/31844/stat : 31844 (strangenight1-m) R 31842 31844 31208 0 -1 4202496 629094 0 0 0 479740 273 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31844/statm: 140651 92931 395 112 0 135616 0
[pid=31844/tid=31845] ppid=31842 vsize=562604 CPUtime=1190.14 cores=1,3,5,7
/proc/31844/task/31845/stat : 31845 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 183289 0 0 0 118935 79 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31844/tid=31846] ppid=31842 vsize=562604 CPUtime=1203.34 cores=1,3,5,7
/proc/31844/task/31846/stat : 31846 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 167810 0 0 0 120259 75 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31844/tid=31847] ppid=31842 vsize=562604 CPUtime=1203.3 cores=1,3,5,7
/proc/31844/task/31847/stat : 31847 (strangenight1-m) R 31842 31844 31208 0 -1 4202560 90040 0 0 0 120290 40 0 0 25 0 4 0 652146569 576106496 92931 33554432000 4194304 4650419 140736103165280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 562604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.18
CPU user time (s): 4797.43
CPU system time (s): 2.75158
CPU usage (%): 398.902
Max. virtual memory (cumulated for all children) (KiB): 627732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.43
system time used= 2.75158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629095
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= 275
involuntary context switches= 33359

runsolver used 3.50947 second user time and 9.71152 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 22:37:36
IDJOB=3368887
IDBENCH=82896
IDSOLVER=1846
FILE ID=node108/3368887-1305405456
RUNJOBID= node108-1305405456-31822
PBS_JOBID= 13324481
Free space on /tmp= 73548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368887-1305405456/watcher-3368887-1305405456 -o /tmp/evaluation-result-3368887-1305405456/solver-3368887-1305405456 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368887-1305405456.cnf

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

MD5SUM BENCH= f154a23cd5dae9f4e2340ec192300943
RANDOM SEED=1666170151

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17847912 kB
Buffers:        278924 kB
Cached:        4407712 kB
SwapCached:       8700 kB
Active:       11038924 kB
Inactive:      3753856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17847912 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           12516 kB
Writeback:           0 kB
AnonPages:    10103620 kB
Mapped:          26800 kB
Slab:           208044 kB
PageTables:      38244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52338156 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= 73544 MiB
End job on node108 at 2011-05-14 22:57:42