Trace number 3175296

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
MD5SUMbf9c7e319eca3277c9c5b6246acb470c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark391.674
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3175296-1304108906.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
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:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.19/0.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1.19/0.30	c Finding binary XORs  T:     0.00 s  found:       0
1.19/0.30	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.19/0.30	c calculated reachability. Time: 0.00
1.19/0.30	c Calc default polars -  time:   0.00 s pos:      42 undec:       5 neg:      53
1.19/0.30	c =========================================================================================
1.19/0.30	c types(t): F = full restart, N = normal restart
1.19/0.30	c types(t): S = simplification begin/end, E = solution found
1.19/0.30	c restart types(rt): st = static, dy = dynamic
1.19/0.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.19/0.30	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
1.19/0.30	c Decided on static restart strategy
1.19/0.30	c  N st     8      4917       100      2130         0      4595     10650     99435   no data   no data  --
1.57/0.40	c  N st    10     11299       100      2130         0      4246     10650     74192   no data   no data  --
1.97/0.51	c  N st    11     17043       100      2130         0      9584     10650    187236   no data   no data  --
3.17/0.80	c  F st    12     25000       100      2130         0     11757     10650    234784   no data   no data  --
3.17/0.80	c  N st    12     25000       100      2130         0     11757     10650    234784   no data   no data  --
3.96/1.00	c Decided on static restart strategy
3.96/1.00	c  N st    18     30001       100      2130         0     10101     10650    188758   no data   no data  --
3.96/1.00	c  S st    18     30001       100      2130         0     10101     10650    188758   no data   no data  --
3.96/1.03	c  S st    18     30506       100      2130         0     10586     10650    199428   no data   no data  --
3.96/1.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.96/1.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.96/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.96/1.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.96/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.96/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.96/1.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.50	c lits-rem:      1854  cl-subs:     1758  v-elim:      0  v-fix:    0  time:  1.83 s
5.96/1.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.16
5.96/1.54	c calculated reachability. Time: 0.00
5.96/1.54	c  N st    18     30506       100      2130         0      8828     10650    159444   no data   no data  --
7.16/1.89	c  N st    20     37618       100      2130         0      8105     10650    130937   no data   no data  --
8.76/2.20	c  N st    21     44017       100      2130         0     14005     10650    259089   no data   no data  --
9.16/2.31	c  S st    22     45760       100      2130         0     15643     10650    294449   no data   no data  --
9.16/2.35	c  S st    22     46268       100      2130         0     16127     10650    305249   no data   no data  --
9.16/2.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.16/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
9.16/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.97/3.53	c lits-rem:      3226  cl-subs:     2270  v-elim:      0  v-fix:    0  time:  4.64 s
13.97/3.53	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.97/3.53	c vivif2 --  cl tried    13857 cl shrink        0 lits rem          0 time: 0.01
13.97/3.59	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
13.97/3.59	c calculated reachability. Time: 0.00
13.97/3.59	c  N st    22     46268       100      2130         0     13857     10650    252526   no data   no data  --
17.15/4.33	c  N st    23     60665       100      2130         0      9773     10650    145980   no data   no data  --
18.76/4.72	c  N st    24     69403       100      2130         0     17819     10650    325135   no data   no data  --
18.76/4.72	c  S st    24     69403       100      2130         0     17819     10650    325135   no data   no data  --
18.76/4.77	c  S st    24     69909       100      2130         0     18307     10650    336133   no data   no data  --
18.76/4.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.76/4.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.76/4.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.76/4.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.76/4.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.76/4.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.94/6.06	c lits-rem:      3947  cl-subs:     2369  v-elim:      0  v-fix:    0  time:  5.10 s
23.94/6.06	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.94/6.06	c vivif2 --  cl tried    15938 cl shrink        0 lits rem          0 time: 0.01
24.34/6.13	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.27
24.34/6.13	c calculated reachability. Time: 0.00
24.34/6.13	c  N st    24     69909       100      2130         0     15938     10650    279759   no data   no data  --
27.94/7.06	c  F st    25     87500       100      2130         0     11146     10650    160738   no data   no data  --
27.94/7.06	c  N st    25     87500       100      2130         0     11146     10650    160738   no data   no data  --
29.13/7.34	c Decided on static restart strategy
29.93/7.51	c  N st    32     95545       100      2130         0     18656     10650    323829   no data   no data  --
32.33/8.15	c  N st    34    104865       100      2130         0     15277     10650    241936   no data   no data  --
32.33/8.15	c  S st    34    104865       100      2130         0     15277     10650    241936   no data   no data  --
32.33/8.20	c  S st    34    105368       100      2130         0     15762     10650    252948   no data   no data  --
32.73/8.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.73/8.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.73/8.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.73/8.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.73/8.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.73/8.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.73/8.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.72/9.25	c lits-rem:      1806  cl-subs:     1245  v-elim:      0  v-fix:    0  time:  4.16 s
36.72/9.25	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.72/9.25	c vivif2 --  cl tried    14517 cl shrink        0 lits rem          0 time: 0.01
37.12/9.31	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
37.12/9.31	c calculated reachability. Time: 0.00
37.12/9.31	c  N st    34    105368       100      2130         0     14517     10650    226064   no data   no data  --
39.53/9.92	c  N st    35    114966       100      2130         0     23417     10650    422473   no data   no data  --
42.72/10.76	c  N st    36    129364       100      2130         0     23751     10650    421477   no data   no data  --
49.53/12.43	c  N st    37    150959       100      2130         0     15038     10650    199534   no data   no data  --
51.11/12.90	c  S st    38    158055       100      2130         0     21651     10650    345926   no data   no data  --
51.51/12.95	c  S st    38    158558       100      2130         0     22142     10650    356866   no data   no data  --
51.51/12.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.51/12.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.51/12.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.51/12.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.51/12.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.51/12.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.51/12.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.90/14.08	c lits-rem:      2112  cl-subs:     2103  v-elim:      0  v-fix:    0  time:  4.46 s
55.90/14.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
55.90/14.09	c vivif2 --  cl tried    20039 cl shrink        0 lits rem          0 time: 0.01
56.30/14.17	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
56.30/14.17	c calculated reachability. Time: 0.00
56.30/14.17	c  N st    38    158558       100      2130         0     20039     10650    310101   no data   no data  --
70.68/17.78	c  N st    39    207146       100      2130         0     32685     10650    557505   no data   no data  --
81.06/20.33	c  N st    40    237837       100      2130         0     25107     10650    384616   no data   no data  --
81.06/20.33	c  S st    40    237837       100      2130         0     25107     10650    384616   no data   no data  --
81.46/20.40	c  S st    40    238342       100      2130         0     25594     10650    395514   no data   no data  --
81.46/20.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.46/20.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.46/20.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
81.46/20.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.46/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
81.46/20.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
86.66/21.79	c lits-rem:      3423  cl-subs:     1903  v-elim:      0  v-fix:    0  time:  5.48 s
86.66/21.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
86.66/21.79	c vivif2 --  cl tried    23691 cl shrink        0 lits rem          0 time: 0.01
87.06/21.89	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.39
87.06/21.89	c calculated reachability. Time: 0.00
87.06/21.89	c  N st    40    238342       100      2130         0     23691     10650    353796   no data   no data  --
112.22/28.16	c  F st    41    306252       100      2130         0     25317     10650    351331   no data   no data  --
112.22/28.16	c  N st    41    306252       100      2130         0     25317     10650    351331   no data   no data  --
114.22/28.65	c Decided on static restart strategy
123.41/30.92	c  N st    51    334563       100      2130         0     29489     10650    434146   no data   no data  --
132.60/33.21	c  N st    53    357513       100      2130         0     27574     10650    374735   no data   no data  --
132.60/33.21	c  S st    53    357513       100      2130         0     27574     10650    374735   no data   no data  --
132.60/33.28	c  S st    53    358014       100      2130         0     28056     10650    385694   no data   no data  --
132.60/33.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.60/33.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.60/33.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
132.60/33.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.60/33.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.60/33.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
132.60/33.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.78/34.55	c lits-rem:      1727  cl-subs:     1416  v-elim:      0  v-fix:    0  time:  4.99 s
137.78/34.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
137.78/34.55	c vivif2 --  cl tried    26640 cl shrink        0 lits rem          0 time: 0.01
138.18/34.66	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.44
138.18/34.66	c calculated reachability. Time: 0.00
138.18/34.66	c  N st    53    358014       100      2130         0     26640     10650    355444   no data   no data  --
152.96/38.33	c  N st    54    390406       100      2130         0     32593     10650    480588   no data   no data  --
174.93/43.83	c  N st    55    438994       100      2130         0     26697     10650    327954   no data   no data  --
209.68/52.50	c  N st    56    511877       100      2130         0     39466     10650    584590   no data   no data  --
222.87/55.81	c  N st    57    537022       100      2130         0     34108     10650    448504   no data   no data  --
222.87/55.81	c  S st    57    537022       100      2130         0     34108     10650    448504   no data   no data  --
223.27/55.90	c  S st    57    537528       100      2130         0     34588     10650    459009   no data   no data  --
223.27/55.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
223.27/55.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.27/55.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
223.27/55.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
223.27/55.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.27/55.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
223.27/55.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
229.28/57.50	c lits-rem:      1919  cl-subs:     1728  v-elim:      0  v-fix:    0  time:  6.27 s
229.28/57.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
229.28/57.50	c vivif2 --  cl tried    32860 cl shrink        0 lits rem          0 time: 0.02
230.05/57.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.59
230.05/57.65	c calculated reachability. Time: 0.00
230.05/57.65	c  N st    57    537528       100      2130         0     32860     10650    424308   no data   no data  --
313.94/78.64	c  N st    58    701514       100      2130         0     60210     10650    970228   no data   no data  --
376.66/94.31	c  N st    59    806292       100      2130         0     54328     10650    803803   no data   no data  --
376.66/94.31	c  S st    59    806292       100      2130         0     54328     10650    803803   no data   no data  --
377.06/94.46	c  S st    59    806797       100      2130         0     54809     10650    814598   no data   no data  --
377.06/94.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
377.06/94.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.06/94.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
377.46/94.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
377.46/94.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.46/94.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
377.46/94.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
397.43/99.52	c lits-rem:      2572  cl-subs:     6673  v-elim:      0  v-fix:    0  time: 20.02 s
397.43/99.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
397.43/99.53	c vivif2 --  cl tried    48136 cl shrink        0 lits rem          0 time: 0.04
398.63/99.82	c asymm  cl-useful: 0/1938/2130 lits-rem:0 time: 1.18
398.63/99.82	c calculated reachability. Time: 0.00
398.63/99.82	c  N st    59    806797       100      2130         0     48136     10650    684707   no data   no data  --
581.99/145.70	c  F st    60   1071875       100      2130         0     63257     10650    947723   no data   no data  --
581.99/145.70	c  N st    60   1071875       100      2130         0     63257     10650    947723   no data   no data  --
586.39/146.84	c Decided on static restart strategy
601.97/150.77	c  N st    70   1100183       100      2130         0     48312     10650    611988   no data   no data  --
627.14/157.01	c  N st    72   1136175       100      2130         0     81371     10650   1329250   no data   no data  --
649.91/162.76	c  N st    73   1168567       100      2130         0     68915     10650   1060289   no data   no data  --
681.07/170.55	c  N st    74   1210195       100      2130         0     64155     10650    938974   no data   no data  --
681.07/170.55	c  S st    74   1210195       100      2130         0     64155     10650    938974   no data   no data  --
681.89/170.73	c  S st    74   1210699       100      2130         0     64634     10650    949839   no data   no data  --
681.89/170.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
681.89/170.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.89/170.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
681.89/170.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
681.89/170.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
681.89/170.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
681.89/170.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
713.42/178.63	c lits-rem:      2823  cl-subs:     5059  v-elim:      0  v-fix:    0  time: 31.31 s
713.42/178.63	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
713.42/178.64	c vivif2 --  cl tried    59575 cl shrink        0 lits rem          0 time: 0.05
715.02/179.00	c asymm  cl-useful: 0/1570/2130 lits-rem:0 time: 1.45
715.02/179.01	c calculated reachability. Time: 0.00
715.02/179.01	c  N st    74   1210699       100      2130         0     59575     10650    843301   no data   no data  --
776.13/194.35	c  N st    75   1283581       100      2130         0     82615     10650   1343142   no data   no data  --
867.21/217.11	c  N st    76   1392904       100      2130         0     92298     10650   1517866   no data   no data  --
1001.02/250.68	c  N st    77   1556888       100      2130         0     49992     10650    541547   no data   no data  --
1117.66/279.84	c  N st    78   1710699       100      2130         0     89728     10650   1417184   no data   no data  --
1117.66/279.84	c  S st    78   1710699       100      2130         0     89728     10650   1417184   no data   no data  --
1118.86/280.14	c  S st    78   1711209       100      2130         0     90220     10650   1428445   no data   no data  --
1118.86/280.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1118.86/280.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1118.86/280.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1119.26/280.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1119.26/280.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1119.26/280.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1119.26/280.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1195.56/299.31	c lits-rem:      1182  cl-subs:     9991  v-elim:      0  v-fix:    0  time: 76.17 s
1195.56/299.31	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1195.56/299.33	c vivif2 --  cl tried    80229 cl shrink        0 lits rem          0 time: 0.07
1196.38/299.56	c asymm  cl-useful: 0/560/2130 lits-rem:0 time: 0.90
1196.38/299.56	c calculated reachability. Time: 0.00
1196.38/299.56	c  N st    78   1711209       100      2130         0     80229     10650   1219625   no data   no data  --
1546.30/387.19	c  N st    79   2080174       100      2130         0     91382     10650   1352784   no data   no data  --
1678.92/420.38	c  N st    80   2211209       100      2130         0     94908     10650   1392202   no data   no data  --
1678.92/420.38	c  S st    80   2211209       100      2130         0     94908     10650   1392202   no data   no data  --
1680.51/420.71	c  S st    80   2211709       100      2130         0     95392     10650   1403442   no data   no data  --
1680.51/420.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1680.51/420.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1680.51/420.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1680.91/420.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1680.91/420.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1680.91/420.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1680.91/420.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1758.43/440.27	c lits-rem:      2473  cl-subs:    11694  v-elim:      0  v-fix:    0  time: 77.71 s
1758.43/440.27	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1758.43/440.29	c vivif2 --  cl tried    83698 cl shrink        0 lits rem          0 time: 0.07
1760.40/440.70	c asymm  cl-useful: 0/1157/2130 lits-rem:0 time: 1.67
1760.40/440.71	c calculated reachability. Time: 0.00
1760.40/440.71	c  N st    80   2211709       100      2130         0     83698     10650   1181078   no data   no data  --
2263.76/566.78	c  N st    81   2711710       100      2130         0    106139     10650   1551046   no data   no data  --
2263.76/566.78	c  S st    81   2711710       100      2130         0    106139     10650   1551046   no data   no data  --
2265.34/567.11	c  S st    81   2712215       100      2130         0    106621     10650   1562500   no data   no data  --
2265.34/567.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2265.34/567.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2265.34/567.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2265.74/567.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2265.74/567.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2265.74/567.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2265.74/567.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2356.03/589.84	c lits-rem:      4673  cl-subs:    14450  v-elim:      0  v-fix:    0  time: 90.36 s
2356.03/589.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2356.03/589.86	c vivif2 --  cl tried    92171 cl shrink        0 lits rem          0 time: 0.07
2357.61/590.20	c asymm  cl-useful: 0/892/2130 lits-rem:0 time: 1.37
2357.61/590.21	c calculated reachability. Time: 0.00
2357.61/590.21	c  N st    81   2712215       100      2130         0     92171     10650   1296314   no data   no data  --
2887.29/722.88	c  N st    82   3212217       100      2130         0    141890     10650   2288668   no data   no data  --
2887.29/722.88	c  S st    82   3212217       100      2130         0    141890     10650   2288668   no data   no data  --
2891.28/723.81	c  S st    82   3212720       100      2130         0     71214     10650    746942   no data   no data  --
2891.28/723.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2891.28/723.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2891.28/723.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2891.28/723.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2891.28/723.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2891.28/723.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2891.28/723.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2910.07/728.52	c lits-rem:       191  cl-subs:       16  v-elim:      0  v-fix:    0  time: 18.58 s
2910.07/728.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2910.07/728.53	c vivif2 --  cl tried    71198 cl shrink        0 lits rem          0 time: 0.04
2911.25/728.80	c asymm  cl-useful: 0/1374/2130 lits-rem:0 time: 1.08
2911.25/728.80	c calculated reachability. Time: 0.00
2911.25/728.80	c  N st    82   3212720       100      2130         0     71198     10650    746464   no data   no data  --
3490.10/873.78	c  N st    83   3712722       100      2130         0     81511     10650    903480   no data   no data  --
3490.10/873.78	c  S st    83   3712722       100      2130         0     81511     10650    903480   no data   no data  --
3491.27/874.04	c  S st    83   3713222       100      2130         0     81990     10650    914828   no data   no data  --
3491.27/874.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3491.27/874.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3491.27/874.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3491.67/874.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3491.67/874.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3491.67/874.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3491.67/874.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3512.45/879.38	c lits-rem:       404  cl-subs:     1527  v-elim:      0  v-fix:    0  time: 21.05 s
3512.45/879.38	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3512.45/879.39	c vivif2 --  cl tried    80463 cl shrink        0 lits rem          0 time: 0.05
3513.65/879.62	c asymm  cl-useful: 0/756/2130 lits-rem:0 time: 0.90
3513.65/879.62	c calculated reachability. Time: 0.00
3513.65/879.62	c  N st    83   3713222       100      2130         0     80463     10650    883256   no data   no data  --
3556.02/890.29	c  F st    84   3751562       100      2130         0    115352     10650   1610333   no data   no data  --
3556.02/890.30	c  N st    84   3751562       100      2130         0    115352     10650   1610333   no data   no data  --
3564.80/892.45	c Decided on static restart strategy
3608.33/903.30	c  N st    94   3779864       100      2130         0    141380     10650   2180088   no data   no data  --
3660.65/916.40	c  N st    96   3815857       100      2130         0     96897     10650   1257601   no data   no data  --
3701.80/926.73	c  N st    97   3848251       100      2130         0    126853     10650   1949652   no data   no data  --
3786.07/947.81	c  N st    98   3896840       100      2130         0     92638     10650   1122843   no data   no data  --
3893.95/974.86	c  N st    99   3969722       100      2130         0    159677     10650   2609089   no data   no data  --
4029.74/1008.84	c  N st   100   4079046       100      2130         0     99099     10650   1236849   no data   no data  --
4204.32/1052.55	c  N st   101   4213223       100      2130         0    140407     10650   2107672   no data   no data  --
4204.32/1052.55	c  S st   101   4213223       100      2130         0    140407     10650   2107672   no data   no data  --
4206.33/1053.05	c  S st   101   4213733       100      2130         0    140898     10650   2119176   no data   no data  --
4206.33/1053.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4206.33/1053.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4206.71/1053.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4207.11/1053.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4207.11/1053.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4207.11/1053.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4207.11/1053.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4618.96/1156.33	c lits-rem:      9552  cl-subs:    17408  v-elim:      0  v-fix:    0  time: 411.92 s
4618.96/1156.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4618.96/1156.36	c vivif2 --  cl tried   123490 cl shrink        0 lits rem          0 time: 0.12
4620.93/1156.83	c asymm  cl-useful: 0/850/2130 lits-rem:0 time: 1.90
4620.93/1156.84	c calculated reachability. Time: 0.00
4620.93/1156.84	c  N st   101   4213733       100      2130         0    123490     10650   1787564   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.06 8.00 5/180 21134
/proc/meminfo: memFree=17489624/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522493202 52465664 352 33554432000 4194304 4650419 140735694802128 18446744073709551615 47501607045032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 12809 352 303 112 0 7774 0
[pid=21134/tid=21135] ppid=21132 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522493203 52465664 352 33554432000 4194304 4650419 140735694802128 18446744073709551615 47501607045042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522493203 52465664 352 33554432000 4194304 4650419 140735694802128 18446744073709551615 216646313014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522493203 52465664 352 33554432000 4194304 4650419 140735694802128 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.305954 s]
/proc/loadavg: 8.09 8.06 8.00 5/180 21134
/proc/meminfo: memFree=17489624/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=301544 CPUtime=1.19 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 3143 0 0 0 119 0 0 0 18 0 4 0 522493202 308781056 2089 33554432000 4194304 4650419 140735694802128 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 75386 2096 391 112 0 70351 0
[pid=21134/tid=21135] ppid=21132 vsize=301544 CPUtime=0.29 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 658 0 0 0 29 0 0 0 25 0 4 0 522493203 308781056 2100 33554432000 4194304 4650419 140735694802128 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=301544 CPUtime=0.29 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 805 0 0 0 29 0 0 0 18 0 4 0 522493203 308781056 2105 33554432000 4194304 4650419 140735694802128 18446744073709551615 4354963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=301544 CPUtime=0.29 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 538 0 0 0 29 0 0 0 18 0 4 0 522493203 308781056 2109 33554432000 4194304 4650419 140735694802128 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 301544

[startup+0.401045 s]
/proc/loadavg: 8.09 8.06 8.00 5/180 21134
/proc/meminfo: memFree=17489624/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=284508 CPUtime=1.57 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 3619 0 0 0 157 0 0 0 18 0 4 0 522493202 291336192 2168 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 71127 2168 391 112 0 66092 0
[pid=21134/tid=21135] ppid=21132 vsize=284508 CPUtime=0.39 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 838 0 0 0 39 0 0 0 25 0 4 0 522493203 291336192 2168 33554432000 4194304 4650419 140735694802128 18446744073709551615 4360651 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=284508 CPUtime=0.39 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 884 0 0 0 39 0 0 0 18 0 4 0 522493203 291336192 2168 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=284508 CPUtime=0.38 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 664 0 0 0 38 0 0 0 18 0 4 0 522493203 291336192 2168 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 284508

[startup+0.501028 s]
/proc/loadavg: 8.09 8.06 8.00 5/180 21134
/proc/meminfo: memFree=17489624/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=284688 CPUtime=1.97 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 3919 0 0 0 197 0 0 0 18 0 4 0 522493202 291520512 2468 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 71172 2468 391 112 0 66137 0
[pid=21134/tid=21135] ppid=21132 vsize=284688 CPUtime=0.49 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 910 0 0 0 49 0 0 0 25 0 4 0 522493203 291520512 2468 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=284688 CPUtime=0.49 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 968 0 0 0 49 0 0 0 18 0 4 0 522493203 291520512 2468 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=284688 CPUtime=0.48 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 738 0 0 0 48 0 0 0 18 0 4 0 522493203 291520512 2468 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 284688

[startup+0.700992 s]
/proc/loadavg: 8.09 8.06 8.00 5/180 21134
/proc/meminfo: memFree=17489624/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=285352 CPUtime=2.77 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 5034 0 0 0 277 0 0 0 18 0 4 0 522493202 292200448 2576 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 71338 2576 391 112 0 66303 0
[pid=21134/tid=21135] ppid=21132 vsize=285352 CPUtime=0.69 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 1203 0 0 0 69 0 0 0 25 0 4 0 522493203 292200448 2576 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=285352 CPUtime=0.69 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 1257 0 0 0 69 0 0 0 18 0 4 0 522493203 292200448 2576 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=285352 CPUtime=0.68 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 967 0 0 0 68 0 0 0 18 0 4 0 522493203 292200448 2577 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285352

[startup+1.50086 s]
/proc/loadavg: 8.24 8.09 8.02 9/184 21138
/proc/meminfo: memFree=17471240/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=282816 CPUtime=5.96 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 10081 0 0 0 595 1 0 0 19 0 4 0 522493202 289603584 5410 33554432000 4194304 4650419 140735694802128 18446744073709551615 4540563 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 70704 5410 393 112 0 65669 0
[pid=21134/tid=21135] ppid=21132 vsize=282816 CPUtime=1.48 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 2960 0 0 0 148 0 0 0 25 0 4 0 522493203 289603584 5410 33554432000 4194304 4650419 140735694802128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=282816 CPUtime=1.49 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 2108 0 0 0 149 0 0 0 20 0 4 0 522493203 289603584 5410 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=282816 CPUtime=1.48 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 1719 0 0 0 148 0 0 0 20 0 4 0 522493203 289603584 5410 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 282816

[startup+3.10057 s]
/proc/loadavg: 8.24 8.09 8.02 9/184 21138
/proc/meminfo: memFree=17456608/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=286760 CPUtime=12.35 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 16549 0 0 0 1234 1 0 0 25 0 4 0 522493202 293642240 9660 33554432000 4194304 4650419 140735694802128 18446744073709551615 4439224 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 71690 9660 393 112 0 66655 0
[pid=21134/tid=21135] ppid=21132 vsize=286760 CPUtime=3.07 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 3962 0 0 0 307 0 0 0 25 0 4 0 522493203 293642240 9660 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=286760 CPUtime=3.08 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 4200 0 0 0 308 0 0 0 25 0 4 0 522493203 293642240 9660 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=286760 CPUtime=3.08 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 3679 0 0 0 308 0 0 0 25 0 4 0 522493203 293642240 9660 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286760

[startup+6.30101 s]
/proc/loadavg: 8.22 8.09 8.01 9/184 21138
/proc/meminfo: memFree=17441080/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=295660 CPUtime=25.15 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 24133 0 0 0 2511 4 0 0 25 0 4 0 522493202 302755840 13054 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 73915 13054 393 112 0 68880 0
[pid=21134/tid=21135] ppid=21132 vsize=295660 CPUtime=6.26 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 6278 0 0 0 625 1 0 0 25 0 4 0 522493203 302755840 13054 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=295660 CPUtime=6.29 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 6715 0 0 0 628 1 0 0 25 0 4 0 522493203 302755840 13054 33554432000 4194304 4650419 140735694802128 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=295660 CPUtime=6.28 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 5250 0 0 0 628 0 0 0 25 0 4 0 522493203 302755840 13054 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 295660

[startup+12.7009 s]
/proc/loadavg: 8.20 8.09 8.01 9/184 21138
/proc/meminfo: memFree=17424212/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=305680 CPUtime=50.71 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 36704 0 0 0 5065 6 0 0 25 0 4 0 522493202 313016320 17736 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 76420 17736 393 112 0 71385 0
[pid=21134/tid=21135] ppid=21132 vsize=305680 CPUtime=12.62 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 9938 0 0 0 1261 1 0 0 25 0 4 0 522493203 313016320 17736 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=305680 CPUtime=12.69 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 10035 0 0 0 1267 2 0 0 25 0 4 0 522493203 313016320 17736 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=305680 CPUtime=12.68 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 8739 0 0 0 1267 1 0 0 25 0 4 0 522493203 313016320 17736 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 305680

[startup+25.5006 s]
/proc/loadavg: 8.16 8.08 8.01 9/184 21139
/proc/meminfo: memFree=17386748/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=299052 CPUtime=101.85 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 54265 0 0 0 10176 9 0 0 25 0 4 0 522493202 306229248 22354 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 74763 22354 393 112 0 69728 0
[pid=21134/tid=21135] ppid=21132 vsize=299052 CPUtime=25.35 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 15023 0 0 0 2533 2 0 0 25 0 4 0 522493203 306229248 22354 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=299052 CPUtime=25.49 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 14209 0 0 0 2547 2 0 0 25 0 4 0 522493203 306229248 22354 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=299052 CPUtime=25.49 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 12241 0 0 0 2547 2 0 0 25 0 4 0 522493203 306229248 22354 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 299052

[startup+51.1011 s]
/proc/loadavg: 8.18 8.09 8.02 9/184 21139
/proc/meminfo: memFree=17358792/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=309188 CPUtime=204.1 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 79908 0 0 0 20393 17 0 0 25 0 4 0 522493202 316608512 26174 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 77297 26174 393 112 0 72262 0
[pid=21134/tid=21135] ppid=21132 vsize=309188 CPUtime=50.81 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 24148 0 0 0 5076 5 0 0 25 0 4 0 522493203 316608512 26174 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=309188 CPUtime=51.09 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 20419 0 0 0 5105 4 0 0 25 0 4 0 522493203 316608512 26174 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=309188 CPUtime=51.08 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 16435 0 0 0 5105 3 0 0 25 0 4 0 522493203 316608512 26174 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 309188

[startup+102.301 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 21141
/proc/meminfo: memFree=17301584/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=364164 CPUtime=408.62 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 129580 0 0 0 40829 33 0 0 25 0 4 0 522493202 372903936 36654 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 91041 36654 393 112 0 86006 0
[pid=21134/tid=21135] ppid=21132 vsize=364164 CPUtime=101.74 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 39093 0 0 0 10164 10 0 0 25 0 4 0 522493203 372903936 36654 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=364164 CPUtime=102.29 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 32748 0 0 0 10221 8 0 0 25 0 4 0 522493203 372903936 36654 33554432000 4194304 4650419 140735694802128 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=364164 CPUtime=102.28 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 24352 0 0 0 10222 6 0 0 25 0 4 0 522493203 372903936 36654 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 364164

[startup+162.301 s]

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

[pid=21134] ppid=21132 vsize=511832 CPUtime=2565.74 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 373363 0 0 0 256439 135 0 0 25 0 4 0 522493202 524115968 83177 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 127958 83177 393 112 0 122923 0
[pid=21134/tid=21135] ppid=21132 vsize=511832 CPUtime=638.88 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 108883 0 0 0 63851 37 0 0 25 0 4 0 522493203 524115968 83177 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=511832 CPUtime=642.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 103623 0 0 0 64191 39 0 0 25 0 4 0 522493203 524115968 83177 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=511832 CPUtime=642.29 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 70970 0 0 0 64202 27 0 0 25 0 4 0 522493203 524115968 83177 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 511832

[startup+702.301 s]
/proc/loadavg: 8.01 8.07 8.02 9/184 21157
/proc/meminfo: memFree=16984288/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=564660 CPUtime=2805.4 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 387921 0 0 0 280398 142 0 0 25 0 4 0 522493202 578211840 89648 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 141165 89648 393 112 0 136130 0
[pid=21134/tid=21135] ppid=21132 vsize=564660 CPUtime=698.54 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 113936 0 0 0 69816 38 0 0 25 0 4 0 522493203 578211840 89648 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=564660 CPUtime=702.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 107880 0 0 0 70189 41 0 0 25 0 4 0 522493203 578211840 89648 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=564660 CPUtime=702.29 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 75903 0 0 0 70200 29 0 0 25 0 4 0 522493203 578211840 89648 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 564660

[startup+762.301 s]
/proc/loadavg: 7.83 8.01 8.00 9/184 21219
/proc/meminfo: memFree=17481116/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=499204 CPUtime=3045.08 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 403705 0 0 0 304358 150 0 0 25 0 4 0 522493202 511184896 82995 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 124801 82995 393 112 0 119766 0
[pid=21134/tid=21135] ppid=21132 vsize=499204 CPUtime=758.22 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 118249 0 0 0 75782 40 0 0 25 0 4 0 522493203 511184896 82995 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=499204 CPUtime=762.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 115021 0 0 0 76185 45 0 0 25 0 4 0 522493203 511184896 82995 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=499204 CPUtime=762.29 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 78224 0 0 0 76199 30 0 0 25 0 4 0 522493203 511184896 82995 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 499204

[startup+822.301 s]
/proc/loadavg: 7.97 8.02 8.00 9/184 21221
/proc/meminfo: memFree=17358952/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=630452 CPUtime=3284.75 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 424397 0 0 0 328316 159 0 0 25 0 4 0 522493202 645582848 94611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 157613 94611 393 112 0 152578 0
[pid=21134/tid=21135] ppid=21132 vsize=630452 CPUtime=817.9 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 123286 0 0 0 81748 42 0 0 25 0 4 0 522493203 645582848 94611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=630452 CPUtime=822.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 119680 0 0 0 82183 47 0 0 25 0 4 0 522493203 645582848 94611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=630452 CPUtime=822.3 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 82656 0 0 0 82197 33 0 0 25 0 4 0 522493203 645582848 94611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 630452

[startup+882.301 s]
/proc/loadavg: 7.99 8.01 8.00 9/184 21222
/proc/meminfo: memFree=17326808/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=617612 CPUtime=3524.43 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 445980 0 0 0 352275 168 0 0 25 0 4 0 522493202 632434688 93678 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 154403 93678 393 112 0 149368 0
[pid=21134/tid=21135] ppid=21132 vsize=617612 CPUtime=877.59 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 127797 0 0 0 87714 45 0 0 25 0 4 0 522493203 632434688 93678 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=617612 CPUtime=882.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 125785 0 0 0 88181 49 0 0 25 0 4 0 522493203 632434688 93678 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=617612 CPUtime=882.3 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 86273 0 0 0 88196 34 0 0 25 0 4 0 522493203 632434688 93678 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 617612

[startup+942.3 s]
/proc/loadavg: 8.06 8.02 8.00 9/184 21224
/proc/meminfo: memFree=17329152/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=565432 CPUtime=3764.1 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 458318 0 0 0 376236 174 0 0 25 0 4 0 522493202 579002368 89712 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 141358 89712 393 112 0 136323 0
[pid=21134/tid=21135] ppid=21132 vsize=565432 CPUtime=937.26 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 130499 0 0 0 93680 46 0 0 25 0 4 0 522493203 579002368 89712 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=565432 CPUtime=942.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 127967 0 0 0 94180 50 0 0 25 0 4 0 522493203 579002368 89712 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=565432 CPUtime=942.3 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 89115 0 0 0 94194 36 0 0 25 0 4 0 522493203 579002368 89712 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 565432

[startup+1002.3 s]
/proc/loadavg: 8.16 8.05 8.01 9/184 21226
/proc/meminfo: memFree=17256068/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=565632 CPUtime=4003.8 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 476752 0 0 0 400198 182 0 0 25 0 4 0 522493202 579207168 92974 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 141408 92974 393 112 0 136373 0
[pid=21134/tid=21135] ppid=21132 vsize=565632 CPUtime=996.94 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 134882 0 0 0 99646 48 0 0 25 0 4 0 522493203 579207168 92974 33554432000 4194304 4650419 140735694802128 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=565632 CPUtime=1002.32 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 132039 0 0 0 100179 53 0 0 25 0 4 0 522493203 579207168 92974 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=565632 CPUtime=1002.31 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 92975 0 0 0 100194 37 0 0 25 0 4 0 522493203 579207168 92974 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 565632

[startup+1062.3 s]
/proc/loadavg: 8.19 8.07 8.01 9/184 21227
/proc/meminfo: memFree=17167132/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=630252 CPUtime=4243.45 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 494675 0 0 0 424156 189 0 0 25 0 4 0 522493202 645378048 101611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 157563 101611 393 112 0 152528 0
[pid=21134/tid=21135] ppid=21132 vsize=630252 CPUtime=1056.61 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 139378 0 0 0 105611 50 0 0 25 0 4 0 522493203 645378048 101611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=630252 CPUtime=1062.3 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 133075 0 0 0 106177 53 0 0 25 0 4 0 522493203 645378048 101611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=630252 CPUtime=1062.31 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 96943 0 0 0 106192 39 0 0 25 0 4 0 522493203 645378048 101611 33554432000 4194304 4650419 140735694802128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 630252

[startup+1122.31 s]
/proc/loadavg: 8.19 8.09 8.02 9/184 21229
/proc/meminfo: memFree=17128552/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=580392 CPUtime=4483.14 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 501769 0 0 0 448121 193 0 0 25 0 4 0 522493202 594321408 102637 33554432000 4194304 4650419 140735694802128 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 145098 102637 393 112 0 140063 0
[pid=21134/tid=21135] ppid=21132 vsize=580392 CPUtime=1116.29 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 141332 0 0 0 111577 52 0 0 25 0 4 0 522493203 594321408 102637 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=580392 CPUtime=1122.32 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 136362 0 0 0 112177 55 0 0 25 0 4 0 522493203 594321408 102637 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=580392 CPUtime=1122.31 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 98171 0 0 0 112192 39 0 0 25 0 4 0 522493203 594321408 102637 33554432000 4194304 4650419 140735694802128 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 580392

[startup+1182.3 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 21230
/proc/meminfo: memFree=17094936/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=686224 CPUtime=4722.8 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 510290 0 0 0 472084 196 0 0 25 0 4 0 522493202 702693376 104977 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 171556 104977 393 112 0 166521 0
[pid=21134/tid=21135] ppid=21132 vsize=686224 CPUtime=1175.95 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 143600 0 0 0 117543 52 0 0 25 0 4 0 522493203 702693376 104977 33554432000 4194304 4650419 140735694802128 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=686224 CPUtime=1182.31 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 140225 0 0 0 118175 56 0 0 25 0 4 0 522493203 702693376 104977 33554432000 4194304 4650419 140735694802128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=686224 CPUtime=1182.31 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 99544 0 0 0 118191 40 0 0 25 0 4 0 522493203 702693376 104977 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 686224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 21231
/proc/meminfo: memFree=17085368/32951124 swapFree=67111528/67111528
[pid=21134] ppid=21132 vsize=630192 CPUtime=4800.31 cores=0,2,4,6
/proc/21134/stat : 21134 (strangenight1-m) R 21132 21134 20915 0 -1 4202496 513682 0 0 0 479833 198 0 0 25 0 4 0 522493202 645316608 104835 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21134/statm: 157548 104835 393 112 0 152513 0
[pid=21134/tid=21135] ppid=21132 vsize=630192 CPUtime=1195.25 cores=0,2,4,6
/proc/21134/task/21135/stat : 21135 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 144730 0 0 0 119472 53 0 0 25 0 4 0 522493203 645316608 104835 33554432000 4194304 4650419 140735694802128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21134/tid=21136] ppid=21132 vsize=630192 CPUtime=1201.72 cores=0,2,4,6
/proc/21134/task/21136/stat : 21136 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 140225 0 0 0 120116 56 0 0 25 0 4 0 522493203 645316608 104835 33554432000 4194304 4650419 140735694802128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21134/tid=21137] ppid=21132 vsize=630192 CPUtime=1201.71 cores=0,2,4,6
/proc/21134/task/21137/stat : 21137 (strangenight1-m) R 21132 21134 20915 0 -1 4202560 100250 0 0 0 120131 40 0 0 25 0 4 0 522493203 645316608 104835 33554432000 4194304 4650419 140735694802128 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 630192

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.36
CPU user time (s): 4798.35
CPU system time (s): 2.00269
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 686224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.35
system time used= 2.0027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513683
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= 247
involuntary context switches= 21564

runsolver used 1.9767 second user time and 4.46932 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 22:28:26
IDJOB=3175296
IDBENCH=82914
IDSOLVER=1588
FILE ID=node103/3175296-1304108906
RUNJOBID= node103-1304107241-20933
PBS_JOBID= 13170666
Free space on /tmp= 71512 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175296-1304108906/watcher-3175296-1304108906 -o /tmp/evaluation-result-3175296-1304108906/solver-3175296-1304108906 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175296-1304108906.cnf

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

MD5SUM BENCH= bf9c7e319eca3277c9c5b6246acb470c
RANDOM SEED=946596931

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17489664 kB
Buffers:       2149236 kB
Cached:       12260020 kB
SwapCached:          0 kB
Active:        6004688 kB
Inactive:      8873188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17489664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6224 kB
Writeback:          36 kB
AnonPages:      468076 kB
Mapped:          15544 kB
Slab:           519924 kB
PageTables:       5468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   699264 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= 71508 MiB
End job on node103 at 2011-04-29 22:48:30