Trace number 3368714

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.35 1203.94

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368714-1305401414.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 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.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     162 undec:      48 neg:     190
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       384      1687         0         0      5146         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.40/0.14	c  N st     8      4917       384      1687         0      4814      5146     91522   no data   no data  --
1.85/0.52	c  N st    10     11300       384      1687         0      4469      5146     66421   no data   no data  --
2.17/0.64	c  N st    11     17044       384      1687         0     10058      5146    178604   no data   no data  --
3.50/1.04	c  F st    12     25002       384      1687         0     12341      5146    220265   no data   no data  --
3.50/1.04	c  N st    12     25002       384      1687         0     12341      5146    220265   no data   no data  --
4.18/1.28	c Decided on static restart strategy
4.18/1.28	c  N st    18     30001       384      1687         0     10609      5146    165197   no data   no data  --
4.18/1.28	c  S st    18     30001       384      1687         0     10609      5146    165197   no data   no data  --
4.80/1.46	c  S st    18     30503       384      1687         0     11110      5146    175058   no data   no data  --
4.80/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.80/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.80/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
4.80/1.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.48	c lits-rem:       202  cl-subs:      931  v-elim:      0  v-fix:    0  time:  0.47 s
4.80/1.48	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.02
4.80/1.48	c calculated reachability. Time: 0.00
4.80/1.48	c  N st    18     30503       384      1687         0     10179      5146    157140   no data   no data  --
6.07/1.86	c  N st    20     37613       384      1687         0      9441      5146    130425   no data   no data  --
7.10/2.20	c  N st    21     44014       384      1687         0     15579      5146    240881   no data   no data  --
7.79/2.33	c  S st    22     45755       384      1687         0     17268      5146    271937   no data   no data  --
7.79/2.37	c  S st    22     46259       384      1687         0      9127      5146    111545   no data   no data  --
7.79/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.79/2.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.79/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
7.79/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.79/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.79/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
7.79/2.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.07/2.43	c lits-rem:        57  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.16 s
8.07/2.43	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
8.07/2.43	c vivif2 --  cl tried     8908 cl shrink        0 lits rem          0 time: 0.00
8.07/2.44	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.02
8.07/2.44	c calculated reachability. Time: 0.00
8.07/2.44	c  N st    22     46259       384      1687         0      8908      5146    108094   no data   no data  --
10.80/3.30	c  N st    23     60656       384      1687         0     13195      5146    188929   no data   no data  --
14.46/4.30	c  N st    24     69388       384      1687         0     11032      5146    135267   no data   no data  --
14.46/4.30	c  S st    24     69388       384      1687         0     11032      5146    135267   no data   no data  --
14.46/4.33	c  S st    24     69893       384      1687         0     11536      5146    145100   no data   no data  --
14.46/4.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.46/4.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.46/4.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
14.46/4.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.46/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.46/4.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
14.46/4.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.87/4.47	c lits-rem:        56  cl-subs:      221  v-elim:      0  v-fix:    0  time:  0.53 s
14.87/4.47	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
14.87/4.47	c vivif2 --  cl tried    11315 cl shrink        0 lits rem          0 time: 0.00
14.87/4.48	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.03
14.87/4.48	c calculated reachability. Time: 0.00
14.87/4.48	c  N st    24     69893       384      1687         0     11315      5146    140786   no data   no data  --
20.01/5.71	c  F st    25     87501       384      1687         0     16679      5146    242976   no data   no data  --
20.01/5.71	c  N st    25     87501       384      1687         0     16679      5146    242976   no data   no data  --
21.61/6.11	c Decided on static restart strategy
22.41/6.36	c  N st    32     95543       384      1687         0     24501      5146    396411   no data   no data  --
25.20/7.03	c  N st    34    104839       384      1687         0     20974      5146    307008   no data   no data  --
25.20/7.03	c  S st    34    104839       384      1687         0     20974      5146    307008   no data   no data  --
25.20/7.08	c  S st    34    105345       384      1687         0     21480      5146    316976   no data   no data  --
25.20/7.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.20/7.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.20/7.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
25.61/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.61/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.61/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
25.61/7.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.02/7.78	c lits-rem:       401  cl-subs:     1340  v-elim:      0  v-fix:    0  time:  2.71 s
28.02/7.78	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
28.02/7.78	c vivif2 --  cl tried    20140 cl shrink        0 lits rem          0 time: 0.01
28.02/7.80	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.06
28.02/7.80	c calculated reachability. Time: 0.00
28.02/7.80	c  N st    34    105345       384      1687         0     20140      5146    291178   no data   no data  --
32.00/8.72	c  N st    35    114943       384      1687         0     15867      5146    189957   no data   no data  --
36.81/9.97	c  N st    36    129340       384      1687         0     15260      5146    168470   no data   no data  --
43.95/11.72	c  N st    37    150937       384      1687         0     20672      5146    265199   no data   no data  --
46.34/12.31	c  S st    38    158018       384      1687         0     27510      5146    394213   no data   no data  --
46.34/12.37	c  S st    38    158518       384      1687         0     28008      5146    404180   no data   no data  --
46.34/12.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.34/12.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.34/12.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.34/12.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.34/12.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.34/12.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
46.34/12.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.53/13.66	c lits-rem:       848  cl-subs:     2392  v-elim:      0  v-fix:    0  time:  5.04 s
51.53/13.66	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
51.53/13.66	c vivif2 --  cl tried    25616 cl shrink        0 lits rem          0 time: 0.02
51.53/13.68	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.07
51.53/13.68	c calculated reachability. Time: 0.00
51.53/13.68	c  N st    38    158518       384      1687         0     25616      5146    363135   no data   no data  --
71.45/18.65	c  N st    39    207107       384      1687         0     20497      5146    234164   no data   no data  --
85.03/22.02	c  N st    40    237777       384      1687         0     30729      5146    418308   no data   no data  --
85.03/22.02	c  S st    40    237777       384      1687         0     30729      5146    418308   no data   no data  --
85.03/22.10	c  S st    40    238278       384      1687         0     31229      5146    428436   no data   no data  --
85.03/22.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.03/22.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.44/22.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
85.44/22.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.44/22.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.44/22.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
85.44/22.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.99/23.54	c lits-rem:       866  cl-subs:     2421  v-elim:      0  v-fix:    0  time:  5.66 s
90.99/23.54	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
90.99/23.55	c vivif2 --  cl tried    28808 cl shrink        0 lits rem          0 time: 0.02
90.99/23.57	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.09
90.99/23.57	c calculated reachability. Time: 0.00
90.99/23.57	c  N st    40    238278       384      1687         0     28808      5146    387028   no data   no data  --
122.90/31.59	c  F st    41    306250       384      1687         0     30729      5146    380590   no data   no data  --
122.90/31.60	c  N st    41    306250       384      1687         0     30729      5146    380590   no data   no data  --
125.29/32.17	c Decided on static restart strategy
135.67/34.71	c  N st    51    334558       384      1687         0     35039      5146    474958   no data   no data  --
146.87/37.58	c  N st    53    357417       384      1687         0     33076      5146    407278   no data   no data  --
146.87/37.58	c  S st    53    357417       384      1687         0     33076      5146    407278   no data   no data  --
147.23/37.67	c  S st    53    357921       384      1687         0     33576      5146    417681   no data   no data  --
147.23/37.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.23/37.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.23/37.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.23/37.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.23/37.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.23/37.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
147.23/37.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.82/39.00	c lits-rem:       609  cl-subs:     1434  v-elim:      0  v-fix:    0  time:  5.22 s
152.82/39.00	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
152.82/39.01	c vivif2 --  cl tried    32142 cl shrink        0 lits rem          0 time: 0.02
152.82/39.03	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.11
152.82/39.03	c calculated reachability. Time: 0.00
152.82/39.03	c  N st    53    357921       384      1687         0     32142      5146    393009   no data   no data  --
169.97/43.39	c  N st    54    390313       384      1687         0     38161      5146    504050   no data   no data  --
195.50/49.78	c  N st    55    438901       384      1687         0     32021      5146    351691   no data   no data  --
231.79/58.85	c  N st    56    511783       384      1687         0     45334      5146    609993   no data   no data  --
245.76/62.31	c  N st    57    536882       384      1687         0     39677      5146    486096   no data   no data  --
245.76/62.31	c  S st    57    536882       384      1687         0     39677      5146    486096   no data   no data  --
246.17/62.42	c  S st    57    537385       384      1687         0     40179      5146    496525   no data   no data  --
246.17/62.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
246.17/62.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.17/62.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
246.17/62.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.17/62.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.17/62.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
246.17/62.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.53/64.04	c lits-rem:       735  cl-subs:     1393  v-elim:      0  v-fix:    0  time:  6.32 s
252.53/64.04	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
252.53/64.04	c vivif2 --  cl tried    38786 cl shrink        0 lits rem          0 time: 0.02
252.53/64.08	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.12
252.53/64.08	c calculated reachability. Time: 0.00
252.53/64.08	c  N st    57    537385       384      1687         0     38786      5146    470355   no data   no data  --
347.09/87.79	c  N st    58    701371       384      1687         0     67837      5146    983780   no data   no data  --
416.90/105.20	c  N st    59    806077       384      1687         0     61828      5146    819663   no data   no data  --
416.90/105.20	c  S st    59    806077       384      1687         0     61828      5146    819663   no data   no data  --
417.30/105.39	c  S st    59    806580       384      1687         0     62330      5146    829840   no data   no data  --
417.30/105.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
417.30/105.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.70/105.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
417.70/105.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
417.70/105.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.70/105.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
417.70/105.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.26/108.80	c lits-rem:      2023  cl-subs:     6341  v-elim:      0  v-fix:    0  time: 13.39 s
431.26/108.80	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
431.26/108.81	c vivif2 --  cl tried    55989 cl shrink        0 lits rem          0 time: 0.04
431.26/108.87	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.25
431.26/108.87	c calculated reachability. Time: 0.00
431.26/108.87	c  N st    59    806580       384      1687         0     55989      5146    722063   no data   no data  --
626.33/157.71	c  F st    60   1071875       384      1687         0     71470      5146    947066   no data   no data  --
626.33/157.71	c  N st    60   1071875       384      1687         0     71470      5146    947066   no data   no data  --
631.51/159.04	c Decided on static restart strategy
652.25/164.24	c  N st    70   1100179       384      1687         0     55513      5146    615024   no data   no data  --
685.77/172.66	c  N st    72   1136173       384      1687         0     45898      5146    429724   no data   no data  --
708.54/178.35	c  N st    73   1168567       384      1687         0     77304      5146   1104605   no data   no data  --
743.22/187.03	c  N st    74   1209870       384      1687         0     71791      5146    956487   no data   no data  --
743.22/187.03	c  S st    74   1209870       384      1687         0     71791      5146    956487   no data   no data  --
743.99/187.28	c  S st    74   1210373       384      1687         0     72293      5146    967080   no data   no data  --
743.99/187.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
743.99/187.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
744.39/187.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
744.39/187.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
744.39/187.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
744.39/187.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
744.39/187.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
764.34/192.39	c lits-rem:      1005  cl-subs:     5363  v-elim:      0  v-fix:    0  time: 20.13 s
764.34/192.39	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
764.74/192.40	c vivif2 --  cl tried    66930 cl shrink        0 lits rem          0 time: 0.05
765.16/192.52	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.46
765.16/192.52	c calculated reachability. Time: 0.00
765.16/192.52	c  N st    74   1210373       384      1687         0     66930      5146    865884   no data   no data  --
834.15/209.88	c  N st    75   1283256       384      1687         0     90945      5146   1287196   no data   no data  --
941.86/236.82	c  N st    76   1392581       384      1687         0     51809      5146    485193   no data   no data  --
1083.88/272.43	c  N st    77   1556565       384      1687         0     56769      5146    556844   no data   no data  --
1222.32/307.17	c  N st    78   1710373       384      1687         0     97593      5146   1352551   no data   no data  --
1222.32/307.17	c  S st    78   1710373       384      1687         0     97593      5146   1352551   no data   no data  --
1223.92/307.57	c  S st    78   1710877       384      1687         0     98092      5146   1362868   no data   no data  --
1223.92/307.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1223.92/307.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1224.32/307.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1224.32/307.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1224.32/307.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1224.32/307.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
1224.32/307.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1279.33/321.49	c lits-rem:       378  cl-subs:    11822  v-elim:      0  v-fix:    0  time: 55.06 s
1279.33/321.49	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
1279.73/321.51	c vivif2 --  cl tried    86270 cl shrink        0 lits rem          0 time: 0.06
1280.13/321.66	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.60
1280.13/321.66	c calculated reachability. Time: 0.00
1280.13/321.66	c  N st    78   1710877       384      1687         0     86270      5146   1147745   no data   no data  --
1669.59/419.21	c  N st    79   2079842       384      1687         0     98357      5146   1273592   no data   no data  --
1811.19/454.77	c  N st    80   2210877       384      1687         0    102009      5146   1350868   no data   no data  --
1811.19/454.77	c  S st    80   2210877       384      1687         0    102009      5146   1350868   no data   no data  --
1813.18/455.20	c  S st    80   2211380       384      1687         0    102510      5146   1361973   no data   no data  --
1813.18/455.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1813.18/455.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1813.18/455.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1813.58/455.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1813.58/455.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1813.58/455.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
1813.58/455.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1868.63/469.15	c lits-rem:      1052  cl-subs:    12373  v-elim:      0  v-fix:    0  time: 55.16 s
1868.63/469.15	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
1868.63/469.17	c vivif2 --  cl tried    90137 cl shrink        0 lits rem          0 time: 0.06
1869.03/469.30	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.52
1869.43/469.30	c calculated reachability. Time: 0.00
1869.43/469.30	c  N st    80   2211380       384      1687         0     90137      5146   1136464   no data   no data  --
2420.05/607.35	c  N st    81   2711380       384      1687         0    114280      5146   1532782   no data   no data  --
2420.05/607.35	c  S st    81   2711380       384      1687         0    114280      5146   1532782   no data   no data  --
2422.00/607.87	c  S st    81   2711886       384      1687         0    114785      5146   1543270   no data   no data  --
2422.00/607.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2422.00/607.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2422.40/607.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
2422.80/608.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2422.80/608.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2422.80/608.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
2422.80/608.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2485.03/623.61	c lits-rem:       687  cl-subs:     9084  v-elim:      0  v-fix:    0  time: 62.23 s
2485.03/623.61	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
2485.03/623.63	c vivif2 --  cl tried   105701 cl shrink        0 lits rem          0 time: 0.08
2485.86/623.83	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.79
2485.86/623.83	c calculated reachability. Time: 0.00
2485.86/623.83	c  N st    81   2711886       384      1687         0    105701      5146   1383237   no data   no data  --
3091.12/775.58	c  N st    82   3211887       384      1687         0     81430      5146    776609   no data   no data  --
3091.12/775.58	c  S st    82   3211887       384      1687         0     81430      5146    776609   no data   no data  --
3092.29/775.82	c  S st    82   3212388       384      1687         0     81928      5146    787497   no data   no data  --
3092.29/775.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3092.29/775.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3092.29/775.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3092.29/775.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3092.29/775.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3092.29/775.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
3092.29/775.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3105.86/779.21	c lits-rem:       615  cl-subs:     1730  v-elim:      0  v-fix:    0  time: 13.26 s
3105.86/779.21	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
3105.86/779.22	c vivif2 --  cl tried    80198 cl shrink        0 lits rem          0 time: 0.05
3106.26/779.34	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.48
3106.26/779.35	c calculated reachability. Time: 0.00
3106.26/779.35	c  N st    82   3212388       384      1687         0     80198      5146    759100   no data   no data  --
3721.86/933.63	c  N st    83   3712389       384      1687         0     90674      5146    891010   no data   no data  --
3721.86/933.63	c  S st    83   3712389       384      1687         0     90674      5146    891010   no data   no data  --
3723.08/933.93	c  S st    83   3712891       384      1687         0     91175      5146    901832   no data   no data  --
3723.08/933.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3723.08/933.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3723.08/933.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3723.08/934.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3723.08/934.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3723.08/934.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
3723.08/934.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3737.01/937.46	c lits-rem:       533  cl-subs:     2788  v-elim:      0  v-fix:    0  time: 13.78 s
3737.01/937.46	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
3737.01/937.47	c vivif2 --  cl tried    88387 cl shrink        0 lits rem          0 time: 0.05
3737.41/937.58	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.44
3737.41/937.58	c calculated reachability. Time: 0.00
3737.41/937.58	c  N st    83   3712891       384      1687         0     88387      5146    853400   no data   no data  --
3789.32/950.55	c  F st    84   3751563       384      1687         0    125515      5146   1599703   no data   no data  --
3789.32/950.55	c  N st    84   3751563       384      1687         0    125515      5146   1599703   no data   no data  --
3796.86/952.42	c Decided on static restart strategy
3830.37/960.85	c  N st    94   3779872       384      1687         0    152824      5146   2154122   no data   no data  --
3870.27/970.85	c  N st    96   3815865       384      1687         0    105998      5146   1214227   no data   no data  --
3915.76/982.29	c  N st    97   3848263       384      1687         0    137116      5146   1848518   no data   no data  --
3998.34/1002.99	c  N st    98   3896854       384      1687         0    100921      5146   1055662   no data   no data  --
4102.48/1029.04	c  N st    99   3969738       384      1687         0     87348      5146    790357   no data   no data  --
4255.30/1067.31	c  N st   100   4079063       384      1687         0    107728      5146   1185998   no data   no data  --
4456.43/1117.71	c  N st   101   4212891       384      1687         0    151369      5146   2100362   no data   no data  --
4456.43/1117.71	c  S st   101   4212891       384      1687         0    151369      5146   2100362   no data   no data  --
4458.39/1118.26	c  S st   101   4213393       384      1687         0    151870      5146   2110979   no data   no data  --
4458.39/1118.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4458.39/1118.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4458.79/1118.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4459.19/1118.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4459.19/1118.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4459.19/1118.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
4459.19/1118.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4573.68/1147.13	c lits-rem:        99  cl-subs:    14114  v-elim:      0  v-fix:    0  time: 114.51 s
4573.68/1147.13	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
4573.68/1147.16	c vivif2 --  cl tried   137756 cl shrink        0 lits rem          0 time: 0.12
4574.92/1147.44	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 1.10
4574.92/1147.45	c calculated reachability. Time: 0.00
4574.92/1147.45	c  N st   101   4213393       384      1687         0    137756      5146   1856460   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-3368714-1305401414/watcher-3368714-1305401414 -o /tmp/evaluation-result-3368714-1305401414/solver-3368714-1305401414 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368714-1305401414.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: 6.59 7.78 7.88 3/280 4460
/proc/meminfo: memFree=19067208/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 651741005 52465664 352 33554432000 4194304 4650419 140737166870784 18446744073709551615 47524733188012 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 12809 352 303 112 0 7774 0
[pid=4458/tid=4462] ppid=4455 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651741005 52465664 352 33554432000 4194304 4650419 140737166870784 18446744073709551615 47524733188022 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651741005 52465664 352 33554432000 4194304 4650419 140737166870784 18446744073709551615 47524733188018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 651741005 52465664 352 33554432000 4194304 4650419 140737166870784 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.107821 s]
/proc/loadavg: 6.59 7.78 7.88 3/280 4460
/proc/meminfo: memFree=19067208/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=282400 CPUtime=0.4 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 1627 0 0 0 40 0 0 0 20 0 4 0 651741005 289177600 1498 33554432000 4194304 4650419 140737166870784 18446744073709551615 4304010 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 70600 1498 391 112 0 65565 0
[pid=4458/tid=4462] ppid=4455 vsize=282400 CPUtime=0.1 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 328 0 0 0 10 0 0 0 20 0 4 0 651741005 289177600 1498 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=282400 CPUtime=0.1 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 318 0 0 0 10 0 0 0 20 0 4 0 651741005 289177600 1498 33554432000 4194304 4650419 140737166870784 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=282400 CPUtime=0.09 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 246 0 0 0 9 0 0 0 21 0 4 0 651741005 289177600 1498 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282400

[startup+0.200805 s]
/proc/loadavg: 6.59 7.78 7.88 3/280 4460
/proc/meminfo: memFree=19067208/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=283400 CPUtime=0.77 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 2227 0 0 0 77 0 0 0 20 0 4 0 651741005 290201600 1620 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363538 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 70850 1620 393 112 0 65815 0
[pid=4458/tid=4462] ppid=4455 vsize=283400 CPUtime=0.19 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 477 0 0 0 19 0 0 0 20 0 4 0 651741005 290201600 1620 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=283400 CPUtime=0.19 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 470 0 0 0 19 0 0 0 20 0 4 0 651741005 290201600 1620 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=283400 CPUtime=0.18 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 395 0 0 0 18 0 0 0 21 0 4 0 651741005 290201600 1620 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283400

[startup+0.300787 s]
/proc/loadavg: 6.59 7.78 7.88 3/280 4460
/proc/meminfo: memFree=19067208/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=283576 CPUtime=1.17 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 2579 0 0 0 117 0 0 0 20 0 4 0 651741005 290381824 1972 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 70894 1972 393 112 0 65859 0
[pid=4458/tid=4462] ppid=4455 vsize=283576 CPUtime=0.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 562 0 0 0 29 0 0 0 20 0 4 0 651741005 290381824 1972 33554432000 4194304 4650419 140737166870784 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=283576 CPUtime=0.29 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 558 0 0 0 29 0 0 0 20 0 4 0 651741005 290381824 1972 33554432000 4194304 4650419 140737166870784 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=283576 CPUtime=0.28 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 484 0 0 0 28 0 0 0 21 0 4 0 651741005 290381824 1972 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283576

[startup+0.700719 s]
/proc/loadavg: 6.59 7.78 7.88 3/280 4460
/proc/meminfo: memFree=19067208/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=292884 CPUtime=2.48 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 3900 0 0 0 242 6 0 0 18 0 4 0 651741005 299913216 2291 33554432000 4194304 4650419 140737166870784 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 73221 2294 393 112 0 68186 0
[pid=4458/tid=4462] ppid=4455 vsize=292884 CPUtime=0.44 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 580 0 0 0 43 1 0 0 20 0 4 0 651741005 299913216 2295 33554432000 4194304 4650419 140737166870784 18446744073709551615 4360323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=292884 CPUtime=0.67 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 948 0 0 0 66 1 0 0 21 0 4 0 651741005 299913216 2297 33554432000 4194304 4650419 140737166870784 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=292884 CPUtime=0.67 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 920 0 0 0 66 1 0 0 18 0 4 0 651741005 299913216 2297 33554432000 4194304 4650419 140737166870784 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 292884

[startup+1.51158 s]
/proc/loadavg: 6.59 7.78 7.88 10/289 4468
/proc/meminfo: memFree=19040236/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=284452 CPUtime=5.09 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 6626 0 0 0 500 9 0 0 18 0 4 0 651741005 291278848 3899 33554432000 4194304 4650419 140737166870784 18446744073709551615 4333504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 71113 3899 395 112 0 66078 0
[pid=4458/tid=4462] ppid=4455 vsize=284452 CPUtime=0.67 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 581 0 0 0 64 3 0 0 22 0 4 0 651741005 291278848 3899 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=284452 CPUtime=1.48 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 1627 0 0 0 147 1 0 0 23 0 4 0 651741005 291278848 3899 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=284452 CPUtime=1.43 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 1409 0 0 0 142 1 0 0 18 0 4 0 651741005 291278848 3899 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 284452

[startup+3.10031 s]
/proc/loadavg: 6.59 7.78 7.88 10/289 4468
/proc/meminfo: memFree=19013664/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=302784 CPUtime=10.45 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 11662 0 0 0 1027 18 0 0 21 0 4 0 651741005 310050816 7391 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4458/statm: 75696 7391 395 112 0 70661 0
[pid=4458/tid=4462] ppid=4455 vsize=302784 CPUtime=2.18 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 2518 0 0 0 214 4 0 0 25 0 4 0 651741005 310050816 7391 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=302784 CPUtime=2.18 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 1856 0 0 0 212 6 0 0 25 0 4 0 651741005 310050816 7391 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=302784 CPUtime=3.01 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 3228 0 0 0 297 4 0 0 22 0 4 0 651741005 310050816 7391 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 302784

[startup+6.30075 s]
/proc/loadavg: 6.86 7.82 7.89 10/289 4469
/proc/meminfo: memFree=18964988/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=303648 CPUtime=22.41 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 18954 0 0 0 2217 24 0 0 25 0 4 0 651741005 310935552 11630 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 75912 11630 395 112 0 70877 0
[pid=4458/tid=4462] ppid=4455 vsize=303648 CPUtime=5.38 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 3961 0 0 0 534 4 0 0 25 0 4 0 651741005 310935552 11630 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=303648 CPUtime=5.06 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 4780 0 0 0 498 8 0 0 25 0 4 0 651741005 310935552 11630 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=303648 CPUtime=5.99 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 4487 0 0 0 592 7 0 0 25 0 4 0 651741005 310935552 11630 33554432000 4194304 4650419 140737166870784 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.41
Current children cumulated vsize (KiB) 303648

[startup+12.7006 s]
/proc/loadavg: 6.95 7.82 7.89 10/289 4469
/proc/meminfo: memFree=18930108/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=290784 CPUtime=47.93 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 31097 0 0 0 4765 28 0 0 25 0 4 0 651741005 297762816 16102 33554432000 4194304 4650419 140737166870784 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 72696 16102 395 112 0 67661 0
[pid=4458/tid=4462] ppid=4455 vsize=290784 CPUtime=11.78 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 6614 0 0 0 1173 5 0 0 25 0 4 0 651741005 297762816 16102 33554432000 4194304 4650419 140737166870784 18446744073709551615 4328196 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=290784 CPUtime=11.45 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 7913 0 0 0 1137 8 0 0 25 0 4 0 651741005 297762816 16102 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=290784 CPUtime=12.39 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 6437 0 0 0 1230 9 0 0 25 0 4 0 651741005 297762816 16102 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.93
Current children cumulated vsize (KiB) 290784

[startup+25.5004 s]
/proc/loadavg: 7.18 7.83 7.89 10/289 4469
/proc/meminfo: memFree=18873316/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=300320 CPUtime=98.97 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 50068 0 0 0 9861 36 0 0 25 0 4 0 651741005 307527680 21055 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 75080 21055 395 112 0 70045 0
[pid=4458/tid=4462] ppid=4455 vsize=300320 CPUtime=24.57 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 12547 0 0 0 2451 6 0 0 25 0 4 0 651741005 307527680 21055 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=300320 CPUtime=24.25 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 13634 0 0 0 2415 10 0 0 25 0 4 0 651741005 307527680 21055 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=300320 CPUtime=25.15 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 9163 0 0 0 2502 13 0 0 25 0 4 0 651741005 307527680 21055 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.97
Current children cumulated vsize (KiB) 300320

[startup+51.101 s]
/proc/loadavg: 7.46 7.84 7.90 10/289 4470
/proc/meminfo: memFree=18843952/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=311628 CPUtime=201.08 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 78704 0 0 0 20060 48 0 0 25 0 4 0 651741005 319107072 25193 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 77907 25193 395 112 0 72872 0
[pid=4458/tid=4462] ppid=4455 vsize=311628 CPUtime=50.17 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 21308 0 0 0 5007 10 0 0 25 0 4 0 651741005 319107072 25193 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=311628 CPUtime=49.84 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 21997 0 0 0 4972 12 0 0 25 0 4 0 651741005 319107072 25194 33554432000 4194304 4650419 140737166870784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=311628 CPUtime=50.71 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 12854 0 0 0 5055 16 0 0 25 0 4 0 651741005 319107072 25194 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.08
Current children cumulated vsize (KiB) 311628

[startup+102.301 s]
/proc/loadavg: 7.80 7.88 7.91 10/289 4471
/proc/meminfo: memFree=18797924/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=318720 CPUtime=405.35 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 124063 0 0 0 40471 64 0 0 25 0 4 0 651741005 326369280 32524 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 79680 32524 395 112 0 74645 0
[pid=4458/tid=4462] ppid=4455 vsize=318720 CPUtime=101.37 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 33227 0 0 0 10124 13 0 0 25 0 4 0 651741005 326369280 32526 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=318720 CPUtime=101.06 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 34486 0 0 0 10089 17 0 0 25 0 4 0 651741005 326369280 32526 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=318720 CPUtime=101.86 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 20274 0 0 0 10165 21 0 0 25 0 4 0 651741005 326369280 32526 33554432000 4194304 4650419 140737166870784 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.35
Current children cumulated vsize (KiB) 318720

[startup+162.301 s]

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

[pid=4458] ppid=4455 vsize=504440 CPUtime=2559.63 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 397421 0 0 0 255791 172 0 0 25 0 4 0 651741005 516546560 74776 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 126110 74776 395 112 0 121075 0
[pid=4458/tid=4462] ppid=4455 vsize=504440 CPUtime=641.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 105380 0 0 0 64092 37 0 0 25 0 4 0 651741005 516546560 74776 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=504440 CPUtime=641.02 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 117842 0 0 0 64053 49 0 0 25 0 4 0 651741005 516546560 74776 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=504440 CPUtime=641.29 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 58783 0 0 0 64087 42 0 0 25 0 4 0 651741005 516546560 74776 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2559.63
Current children cumulated vsize (KiB) 504440

[startup+702.3 s]
/proc/loadavg: 8.21 8.12 8.01 10/289 4487
/proc/meminfo: memFree=18458580/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=504780 CPUtime=2799.01 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 419056 0 0 0 279719 182 0 0 25 0 4 0 651741005 516894720 75609 33554432000 4194304 4650419 140737166870784 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 126195 75609 395 112 0 121160 0
[pid=4458/tid=4462] ppid=4455 vsize=504780 CPUtime=701.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 111466 0 0 0 70090 39 0 0 25 0 4 0 651741005 516894720 75609 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=504780 CPUtime=701.02 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 124765 0 0 0 70051 51 0 0 25 0 4 0 651741005 516894720 75609 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=504780 CPUtime=701.24 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 61082 0 0 0 70080 44 0 0 25 0 4 0 651741005 516894720 75609 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2799.01
Current children cumulated vsize (KiB) 504780

[startup+762.301 s]
/proc/loadavg: 8.15 8.13 8.02 10/289 4489
/proc/meminfo: memFree=18448904/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=492868 CPUtime=3038.46 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 442899 0 0 0 303653 193 0 0 25 0 4 0 651741005 504696832 79177 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 123217 79177 395 112 0 118182 0
[pid=4458/tid=4462] ppid=4455 vsize=492868 CPUtime=761.3 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 118543 0 0 0 76087 43 0 0 25 0 4 0 651741005 504696832 79177 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=492868 CPUtime=761.03 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 131068 0 0 0 76049 54 0 0 25 0 4 0 651741005 504696832 79177 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=492868 CPUtime=761.22 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 64140 0 0 0 76076 46 0 0 25 0 4 0 651741005 504696832 79177 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3038.46
Current children cumulated vsize (KiB) 492868

[startup+822.301 s]
/proc/loadavg: 8.12 8.13 8.02 10/289 4490
/proc/meminfo: memFree=18426320/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=572808 CPUtime=3277.82 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 465627 0 0 0 327579 203 0 0 25 0 4 0 651741005 586555392 85732 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 143202 85732 395 112 0 138167 0
[pid=4458/tid=4462] ppid=4455 vsize=572808 CPUtime=821.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 124433 0 0 0 82083 46 0 0 25 0 4 0 651741005 586555392 85732 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=572808 CPUtime=821.02 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 139853 0 0 0 82045 57 0 0 25 0 4 0 651741005 586555392 85732 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=572808 CPUtime=821.15 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 67170 0 0 0 82066 49 0 0 25 0 4 0 651741005 586555392 85732 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3277.82
Current children cumulated vsize (KiB) 572808

[startup+882.311 s]
/proc/loadavg: 8.12 8.12 8.02 9/289 4492
/proc/meminfo: memFree=18389592/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=585484 CPUtime=3517.23 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 483341 0 0 0 351513 210 0 0 25 0 4 0 651741005 599535616 80103 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 146371 80103 395 112 0 141336 0
[pid=4458/tid=4462] ppid=4455 vsize=585484 CPUtime=881.3 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 127975 0 0 0 88083 47 0 0 25 0 4 0 651741005 599535616 80103 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=585484 CPUtime=881.04 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 146271 0 0 0 88044 60 0 0 25 0 4 0 651741005 599535616 80103 33554432000 4194304 4650419 140737166870784 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=585484 CPUtime=881.1 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 69185 0 0 0 88059 51 0 0 25 0 4 0 651741005 599535616 80103 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3517.23
Current children cumulated vsize (KiB) 585484

[startup+942.301 s]
/proc/loadavg: 8.19 8.13 8.03 10/289 4494
/proc/meminfo: memFree=18345176/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=598376 CPUtime=3756.58 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 505747 0 0 0 375436 222 0 0 25 0 4 0 651741005 612737024 85826 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 149594 85826 395 112 0 144559 0
[pid=4458/tid=4462] ppid=4455 vsize=598376 CPUtime=941.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 131869 0 0 0 94081 48 0 0 25 0 4 0 651741005 612737024 85826 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=598376 CPUtime=941.03 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 152866 0 0 0 94041 62 0 0 25 0 4 0 651741005 612737024 85826 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=598376 CPUtime=941.02 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 72925 0 0 0 94048 54 0 0 25 0 4 0 651741005 612737024 85826 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.58
Current children cumulated vsize (KiB) 598376

[startup+1002.3 s]
/proc/loadavg: 8.28 8.15 8.04 10/289 4495
/proc/meminfo: memFree=18383476/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=585900 CPUtime=3995.94 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 523408 0 0 0 399364 230 0 0 25 0 4 0 651741005 599961600 81562 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 146475 81562 395 112 0 141440 0
[pid=4458/tid=4462] ppid=4455 vsize=585900 CPUtime=1001.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 133670 0 0 0 100079 50 0 0 25 0 4 0 651741005 599961600 81562 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=585900 CPUtime=1001.03 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 161231 0 0 0 100038 65 0 0 25 0 4 0 651741005 599961600 81562 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=585900 CPUtime=1000.95 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 73990 0 0 0 100040 55 0 0 25 0 4 0 651741005 599961600 81562 33554432000 4194304 4650419 140737166870784 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3995.94
Current children cumulated vsize (KiB) 585900

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.04 10/289 4497
/proc/meminfo: memFree=18363008/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=586096 CPUtime=4235.36 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 542797 0 0 0 423296 240 0 0 25 0 4 0 651741005 600162304 85405 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 146524 85405 395 112 0 141489 0
[pid=4458/tid=4462] ppid=4455 vsize=586096 CPUtime=1061.3 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 136577 0 0 0 106078 52 0 0 25 0 4 0 651741005 600162304 85405 33554432000 4194304 4650419 140737166870784 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=586096 CPUtime=1061.02 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 167400 0 0 0 106035 67 0 0 25 0 4 0 651741005 600162304 85405 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=586096 CPUtime=1060.91 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 77997 0 0 0 106033 58 0 0 25 0 4 0 651741005 600162304 85405 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4235.36
Current children cumulated vsize (KiB) 586096

[startup+1122.3 s]
/proc/loadavg: 8.05 8.11 8.03 10/289 4498
/proc/meminfo: memFree=18353440/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=586256 CPUtime=4474.75 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 563343 0 0 0 447227 248 0 0 25 0 4 0 651741005 600326144 88223 33554432000 4194304 4650419 140737166870784 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 146564 88223 395 112 0 141529 0
[pid=4458/tid=4462] ppid=4455 vsize=586256 CPUtime=1121.3 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 139481 0 0 0 112077 53 0 0 25 0 4 0 651741005 600326144 88223 33554432000 4194304 4650419 140737166870784 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=586256 CPUtime=1121.03 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 173672 0 0 0 112033 70 0 0 25 0 4 0 651741005 600326144 88223 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=586256 CPUtime=1120.87 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 80810 0 0 0 112028 59 0 0 25 0 4 0 651741005 600326144 88223 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4474.75
Current children cumulated vsize (KiB) 586256

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.03 10/289 4500
/proc/meminfo: memFree=18303572/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=593996 CPUtime=4714.11 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 582695 0 0 0 471155 256 0 0 25 0 4 0 651741005 608251904 100750 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 148499 100750 395 112 0 143464 0
[pid=4458/tid=4462] ppid=4455 vsize=593996 CPUtime=1181.29 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 143842 0 0 0 118076 53 0 0 25 0 4 0 651741005 608251904 100750 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=593996 CPUtime=1181.03 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 181505 0 0 0 118030 73 0 0 25 0 4 0 651741005 608251904 100750 33554432000 4194304 4650419 140737166870784 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=593996 CPUtime=1180.8 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 82943 0 0 0 118019 61 0 0 25 0 4 0 651741005 608251904 100750 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.11
Current children cumulated vsize (KiB) 593996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 7.73 8.02 8.01 5/284 4502
/proc/meminfo: memFree=18655896/32951132 swapFree=67093824/67111528
[pid=4458] ppid=4455 vsize=607056 CPUtime=4800.28 cores=0,2,4,6
/proc/4458/stat : 4458 (strangenight1-m) R 4455 4458 4127 0 -1 4202496 587351 0 0 0 479770 258 0 0 25 0 4 0 651741005 621625344 102176 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4458/statm: 151764 102176 395 112 0 146729 0
[pid=4458/tid=4462] ppid=4455 vsize=607056 CPUtime=1202.91 cores=0,2,4,6
/proc/4458/task/4462/stat : 4462 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 144014 0 0 0 120237 54 0 0 25 0 4 0 651741005 621625344 102176 33554432000 4194304 4650419 140737166870784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4458/tid=4464] ppid=4455 vsize=607056 CPUtime=1202.64 cores=0,2,4,6
/proc/4458/task/4464/stat : 4464 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 182377 0 0 0 120191 73 0 0 25 0 4 0 651741005 621625344 102176 33554432000 4194304 4650419 140737166870784 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4458/tid=4466] ppid=4455 vsize=607056 CPUtime=1202.39 cores=0,2,4,6
/proc/4458/task/4466/stat : 4466 (strangenight1-m) R 4455 4458 4127 0 -1 4202560 84397 0 0 0 120177 62 0 0 25 0 4 0 651741005 621625344 102176 33554432000 4194304 4650419 140737166870784 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 607056

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): 1203.94
CPU time (s): 4800.35
CPU user time (s): 4797.74
CPU system time (s): 2.6086
CPU usage (%): 398.721
Max. virtual memory (cumulated for all children) (KiB): 654984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.6086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587353
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= 261
involuntary context switches= 38593

runsolver used 3.00154 second user time and 8.27674 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-14 21:30:14
IDJOB=3368714
IDBENCH=82723
IDSOLVER=1846
FILE ID=node131/3368714-1305401414
RUNJOBID= node131-1305401413-4441
PBS_JOBID= 13324467
Free space on /tmp= 73688 MiB

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

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

MD5SUM BENCH= bc5d8e174b258480cce7431b84990bdd
RANDOM SEED=741431964

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19067520 kB
Buffers:        270040 kB
Cached:        3638388 kB
SwapCached:       1504 kB
Active:       10561444 kB
Inactive:      3064484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19067520 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           12148 kB
Writeback:           0 kB
AnonPages:     9715424 kB
Mapped:          26332 kB
Slab:           164492 kB
PageTables:      31108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 27994736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-14 21:50:20