Trace number 3175261

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
MD5SUM970ca2029fea75cb0f7721dfc724b428
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175261-1304105026.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.21/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.01 s
0.21/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.21/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.21/0.10	c calculated reachability. Time: 0.00
0.21/0.10	c Calc default polars -  time:   0.00 s pos:     200 undec:      47 neg:     203
0.21/0.10	c =========================================================================================
0.21/0.10	c types(t): F = full restart, N = normal restart
0.21/0.10	c types(t): S = simplification begin/end, E = solution found
0.21/0.10	c restart types(rt): st = static, dy = dynamic
0.21/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.21/0.10	c  B st     0         0       439      1910         0         0      5790         0   no data   no data  --
0.21/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4917       439      1910         0      4822      5790    103612   no data   no data  --
1.18/0.38	c  N st    10     11300       439      1910         0      4466      5790     69196   no data   no data  --
2.38/0.63	c  N st    11     17043       439      1910         0     10032      5790    183038   no data   no data  --
4.00/1.00	c  F st    12     25002       439      1910         0     12341      5790    240415   no data   no data  --
4.00/1.00	c  N st    12     25002       439      1910         0     12341      5790    240415   no data   no data  --
4.78/1.24	c Decided on static restart strategy
4.78/1.24	c  N st    18     30000       439      1910         0     10633      5790    179721   no data   no data  --
4.78/1.24	c  S st    18     30000       439      1910         0     10633      5790    179721   no data   no data  --
4.78/1.27	c  S st    18     30503       439      1910         0     11134      5790    189680   no data   no data  --
4.78/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.78/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.78/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4.78/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.58/1.45	c lits-rem:       148  cl-subs:      710  v-elim:      0  v-fix:    0  time:  0.66 s
5.58/1.46	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
5.58/1.46	c calculated reachability. Time: 0.00
5.58/1.46	c  N st    18     30503       439      1910         0     10424      5790    175056   no data   no data  --
7.17/1.84	c  N st    20     37614       439      1910         0      9712      5790    148502   no data   no data  --
8.79/2.21	c  N st    21     44013       439      1910         0     15960      5790    289563   no data   no data  --
9.17/2.33	c  S st    22     45754       439      1910         0      8910      5790    117986   no data   no data  --
9.17/2.36	c  S st    22     46260       439      1910         0      9415      5790    128616   no data   no data  --
9.17/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.17/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.17/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
9.17/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.43	c lits-rem:        31  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.27 s
9.57/2.43	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
9.57/2.44	c vivif2 --  cl tried     9373 cl shrink        0 lits rem          0 time: 0.01
9.57/2.44	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
9.57/2.44	c calculated reachability. Time: 0.00
9.57/2.44	c  N st    22     46260       439      1910         0      9373      5790    127632   no data   no data  --
13.18/3.31	c  N st    23     60657       439      1910         0     13719      5790    209811   no data   no data  --
15.56/3.91	c  N st    24     69392       439      1910         0     11540      5790    153714   no data   no data  --
15.56/3.91	c  S st    24     69392       439      1910         0     11540      5790    153714   no data   no data  --
15.56/3.95	c  S st    24     69894       439      1910         0     12041      5790    163988   no data   no data  --
15.56/3.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.56/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
15.56/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.10	c lits-rem:        41  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.59 s
16.36/4.10	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
16.36/4.10	c vivif2 --  cl tried    11910 cl shrink        0 lits rem          0 time: 0.01
16.36/4.11	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.03
16.36/4.11	c calculated reachability. Time: 0.00
16.36/4.11	c  N st    24     69894       439      1910         0     11910      5790    161226   no data   no data  --
21.16/5.31	c  F st    25     87500       439      1910         0     17305      5790    270741   no data   no data  --
21.16/5.31	c  N st    25     87500       439      1910         0     17305      5790    270741   no data   no data  --
22.75/5.73	c Decided on static restart strategy
23.55/5.98	c  N st    32     95541       439      1910         0     25149      5790    432417   no data   no data  --
26.36/6.64	c  N st    34    104841       439      1910         0     21511      5790    341469   no data   no data  --
26.36/6.64	c  S st    34    104841       439      1910         0     21511      5790    341469   no data   no data  --
26.36/6.69	c  S st    34    105345       439      1910         0     22015      5790    352550   no data   no data  --
26.74/6.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
26.74/6.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.55/7.45	c lits-rem:       255  cl-subs:     1063  v-elim:      0  v-fix:    0  time:  2.95 s
29.55/7.45	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
29.55/7.46	c vivif2 --  cl tried    20952 cl shrink        0 lits rem          0 time: 0.01
29.55/7.47	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.06
29.55/7.47	c calculated reachability. Time: 0.00
29.55/7.47	c  N st    34    105345       439      1910         0     20952      5790    329951   no data   no data  --
32.74/8.27	c  N st    35    114944       439      1910         0     16653      5790    222169   no data   no data  --
38.33/9.60	c  N st    36    129341       439      1910         0     16070      5790    195540   no data   no data  --
44.73/11.29	c  N st    37    150937       439      1910         0     21621      5790    315406   no data   no data  --
47.52/11.98	c  S st    38    158018       439      1910         0     28509      5790    463664   no data   no data  --
47.94/12.05	c  S st    38    158521       439      1910         0     29009      5790    474581   no data   no data  --
47.94/12.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.94/12.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.94/12.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
47.94/12.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.94/12.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.94/12.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
47.94/12.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.52/13.47	c lits-rem:       544  cl-subs:     1632  v-elim:      0  v-fix:    0  time:  5.58 s
53.52/13.47	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
53.52/13.47	c vivif2 --  cl tried    27377 cl shrink        0 lits rem          0 time: 0.02
53.52/13.49	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.08
53.52/13.49	c calculated reachability. Time: 0.00
53.52/13.49	c  N st    38    158521       439      1910         0     27377      5790    438261   no data   no data  --
71.88/18.03	c  N st    39    207109       439      1910         0     22063      5790    291762   no data   no data  --
84.67/21.20	c  N st    40    237783       439      1910         0     32467      5790    514120   no data   no data  --
84.67/21.20	c  S st    40    237783       439      1910         0     32467      5790    514120   no data   no data  --
84.67/21.29	c  S st    40    238283       439      1910         0     32965      5790    524296   no data   no data  --
84.67/21.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.67/21.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.07/21.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
85.07/21.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.07/21.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.07/21.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
85.07/21.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.46/22.95	c lits-rem:       357  cl-subs:     1687  v-elim:      0  v-fix:    0  time:  6.50 s
91.46/22.95	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
91.46/22.96	c vivif2 --  cl tried    31278 cl shrink        0 lits rem          0 time: 0.02
91.46/22.98	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.09
91.46/22.98	c calculated reachability. Time: 0.00
91.46/22.98	c  N st    40    238283       439      1910         0     31278      5790    485581   no data   no data  --
121.83/30.55	c  F st    41    306250       439      1910         0     33220      5790    494637   no data   no data  --
121.83/30.55	c  N st    41    306250       439      1910         0     33220      5790    494637   no data   no data  --
124.62/31.24	c Decided on static restart strategy
135.41/33.90	c  N st    51    334556       439      1910         0     37514      5790    562575   no data   no data  --
146.99/36.87	c  N st    53    357424       439      1910         0     35521      5790    523690   no data   no data  --
146.99/36.87	c  S st    53    357424       439      1910         0     35521      5790    523690   no data   no data  --
147.39/36.96	c  S st    53    357927       439      1910         0     36023      5790    534479   no data   no data  --
147.39/36.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.39/36.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.39/36.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.39/36.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.39/36.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.39/36.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
147.39/36.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.40/38.46	c lits-rem:       339  cl-subs:      892  v-elim:      0  v-fix:    0  time:  5.90 s
153.40/38.46	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
153.40/38.47	c vivif2 --  cl tried    35131 cl shrink        0 lits rem          0 time: 0.02
153.40/38.50	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.11
153.40/38.50	c calculated reachability. Time: 0.00
153.40/38.50	c  N st    53    357927       439      1910         0     35131      5790    511863   no data   no data  --
171.75/43.09	c  N st    54    390319       439      1910         0     41290      5790    612346   no data   no data  --
202.91/50.85	c  N st    55    438908       439      1910         0     34958      5790    434847   no data   no data  --
242.06/60.69	c  N st    56    511790       439      1910         0     48321      5790    716177   no data   no data  --
257.25/64.42	c  N st    57    536891       439      1910         0     42669      5790    573024   no data   no data  --
257.25/64.42	c  S st    57    536891       439      1910         0     42669      5790    573024   no data   no data  --
257.65/64.53	c  S st    57    537395       439      1910         0     43172      5790    583945   no data   no data  --
257.65/64.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
257.65/64.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.65/64.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
257.65/64.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.65/64.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.65/64.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
257.65/64.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.82/66.31	c lits-rem:       646  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  6.98 s
264.82/66.31	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
264.82/66.32	c vivif2 --  cl tried    41663 cl shrink        0 lits rem          0 time: 0.03
264.82/66.36	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.14
264.82/66.36	c calculated reachability. Time: 0.00
264.82/66.36	c  N st    57    537395       439      1910         0     41663      5790    551808   no data   no data  --
363.51/91.06	c  N st    58    701379       439      1910         0     35981      5790    354086   no data   no data  --
437.41/109.58	c  N st    59    806092       439      1910         0     64855      5790    989264   no data   no data  --
437.41/109.58	c  S st    59    806092       439      1910         0     64855      5790    989264   no data   no data  --
438.21/109.78	c  S st    59    806594       439      1910         0     65357      5790   1000409   no data   no data  --
438.21/109.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
438.21/109.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.61/109.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
438.61/109.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.61/109.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.61/109.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
438.61/109.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
448.21/112.28	c lits-rem:       670  cl-subs:     3241  v-elim:      0  v-fix:    0  time:  9.71 s
448.21/112.28	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
448.21/112.29	c vivif2 --  cl tried    62116 cl shrink        0 lits rem          0 time: 0.05
448.58/112.36	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.27
448.58/112.36	c calculated reachability. Time: 0.00
448.58/112.36	c  N st    59    806594       439      1910         0     62116      5790    934095   no data   no data  --
638.73/159.96	c  F st    60   1071875       439      1910         0     77672      5790   1180989   no data   no data  --
638.73/159.96	c  N st    60   1071875       439      1910         0     77672      5790   1180989   no data   no data  --
644.33/161.35	c Decided on static restart strategy
662.71/165.91	c  N st    70   1100181       439      1910         0     61631      5790    795537   no data   no data  --
695.45/174.13	c  N st    72   1136173       439      1910         0     51894      5790    573861   no data   no data  --
721.82/180.79	c  N st    73   1168565       439      1910         0     83130      5790   1214147   no data   no data  --
754.98/189.06	c  N st    74   1209892       439      1910         0     77599      5790   1070332   no data   no data  --
754.98/189.06	c  S st    74   1209892       439      1910         0     77599      5790   1070332   no data   no data  --
756.18/189.30	c  S st    74   1210397       439      1910         0     78104      5790   1081125   no data   no data  --
756.18/189.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
756.18/189.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
756.18/189.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
756.18/189.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
756.18/189.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
756.18/189.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
756.18/189.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.36/193.10	c lits-rem:       102  cl-subs:     6420  v-elim:      0  v-fix:    0  time: 14.85 s
771.36/193.10	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
771.36/193.11	c vivif2 --  cl tried    71684 cl shrink        0 lits rem          0 time: 0.05
771.36/193.19	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.33
771.36/193.19	c calculated reachability. Time: 0.00
771.36/193.19	c  N st    74   1210397       439      1910         0     71684      5790    969630   no data   no data  --
842.46/210.95	c  N st    75   1283280       439      1910         0     48564      5790    449516   no data   no data  --
938.73/235.01	c  N st    76   1392603       439      1910         0     56584      5790    592093   no data   no data  --
1091.72/273.31	c  N st    77   1556588       439      1910         0     61616      5790    675619   no data   no data  --
1240.32/310.53	c  N st    78   1710398       439      1910         0    102944      5790   1563468   no data   no data  --
1240.32/310.53	c  S st    78   1710398       439      1910         0    102944      5790   1563468   no data   no data  --
1241.52/310.84	c  S st    78   1710900       439      1910         0    103443      5790   1574867   no data   no data  --
1241.52/310.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1241.52/310.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1241.52/310.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1241.92/310.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1241.92/310.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1241.92/310.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1241.92/310.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1290.25/323.08	c lits-rem:       267  cl-subs:    11835  v-elim:      0  v-fix:    0  time: 48.45 s
1290.25/323.08	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
1290.65/323.10	c vivif2 --  cl tried    91608 cl shrink        0 lits rem          0 time: 0.07
1291.05/323.23	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.52
1291.05/323.23	c calculated reachability. Time: 0.00
1291.05/323.23	c  N st    78   1710900       439      1910         0     91608      5790   1330607   no data   no data  --
1685.72/422.03	c  N st    79   2079865       439      1910         0    103828      5790   1500397   no data   no data  --
1820.73/455.81	c  N st    80   2210902       439      1910         0    107538      5790   1552606   no data   no data  --
1820.73/455.81	c  S st    80   2210902       439      1910         0    107538      5790   1552606   no data   no data  --
1821.93/456.15	c  S st    80   2211405       439      1910         0    108038      5790   1564613   no data   no data  --
1821.93/456.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1821.93/456.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1822.33/456.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1822.33/456.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1822.33/456.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1822.33/456.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
1822.33/456.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1859.07/465.41	c lits-rem:       611  cl-subs:     8641  v-elim:      0  v-fix:    0  time: 36.54 s
1859.07/465.42	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
1859.07/465.43	c vivif2 --  cl tried    99397 cl shrink        0 lits rem          0 time: 0.08
1859.47/465.57	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.53
1859.47/465.57	c calculated reachability. Time: 0.00
1859.47/465.57	c  N st    80   2211405       439      1910         0     99397      5790   1397718   no data   no data  --
2432.70/609.00	c  N st    81   2711405       439      1910         0    122571      5790   1749489   no data   no data  --
2432.70/609.00	c  S st    81   2711405       439      1910         0    122571      5790   1749489   no data   no data  --
2434.32/609.46	c  S st    81   2711906       439      1910         0    123070      5790   1760871   no data   no data  --
2434.32/609.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2434.32/609.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2434.70/609.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2434.70/609.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2434.70/609.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2434.70/609.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
2434.70/609.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2501.41/626.29	c lits-rem:       178  cl-subs:    13786  v-elim:      0  v-fix:    0  time: 66.69 s
2501.41/626.29	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
2501.81/626.31	c vivif2 --  cl tried   109284 cl shrink        0 lits rem          0 time: 0.08
2502.21/626.46	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.60
2502.21/626.46	c calculated reachability. Time: 0.00
2502.21/626.46	c  N st    81   2711906       439      1910         0    109284      5790   1496930   no data   no data  --
3128.58/783.22	c  N st    82   3211906       439      1910         0     85213      5790    859704   no data   no data  --
3128.58/783.22	c  S st    82   3211906       439      1910         0     85213      5790    859704   no data   no data  --
3129.75/783.51	c  S st    82   3212410       439      1910         0     85712      5790    871261   no data   no data  --
3129.75/783.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3129.75/783.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3129.75/783.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
3129.75/783.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3129.75/783.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3129.75/783.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3129.75/783.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3146.53/787.74	c lits-rem:       711  cl-subs:     2658  v-elim:      0  v-fix:    0  time: 16.61 s
3146.53/787.74	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
3146.53/787.76	c vivif2 --  cl tried    83054 cl shrink        0 lits rem          0 time: 0.06
3146.93/787.88	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.50
3146.93/787.89	c calculated reachability. Time: 0.00
3146.93/787.89	c  N st    82   3212410       439      1910         0     83054      5790    828462   no data   no data  --
3792.85/949.51	c  N st    83   3712411       439      1910         0     94314      5790    991740   no data   no data  --
3792.85/949.51	c  S st    83   3712411       439      1910         0     94314      5790    991740   no data   no data  --
3794.05/949.80	c  S st    83   3712914       439      1910         0     94815      5790   1003203   no data   no data  --
3794.05/949.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3794.05/949.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3794.05/949.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3794.05/949.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3794.05/949.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3794.05/949.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
3794.05/949.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3803.64/952.25	c lits-rem:       265  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  9.48 s
3803.64/952.25	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
3803.64/952.27	c vivif2 --  cl tried    92574 cl shrink        0 lits rem          0 time: 0.06
3804.04/952.38	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.46
3804.04/952.39	c calculated reachability. Time: 0.00
3804.04/952.39	c  N st    83   3712914       439      1910         0     92574      5790    961651   no data   no data  --
3857.58/965.78	c  F st    84   3751562       439      1910         0    129939      5790   1774252   no data   no data  --
3857.58/965.78	c  N st    84   3751562       439      1910         0    129939      5790   1774252   no data   no data  --
3866.78/968.08	c Decided on static restart strategy
3909.09/978.61	c  N st    94   3779866       439      1910         0    157492      5790   2391309   no data   no data  --
3963.44/992.24	c  N st    96   3815858       439      1910         0    110098      5790   1320615   no data   no data  --
4016.54/1005.55	c  N st    97   3848250       439      1910         0    141576      5790   2026326   no data   no data  --
4086.47/1023.05	c  N st    98   3896839       439      1910         0    105451      5790   1189752   no data   no data  --
4195.51/1050.36	c  N st    99   3969721       439      1910         0     91488      5790    867305   no data   no data  --
4348.49/1088.68	c  N st   100   4079046       439      1910         0    112128      5790   1318772   no data   no data  --
4546.63/1138.23	c  N st   101   4212914       439      1910         0    155666      5790   2310656   no data   no data  --
4546.63/1138.23	c  S st   101   4212914       439      1910         0    155666      5790   2310656   no data   no data  --
4548.62/1138.76	c  S st   101   4213419       439      1910         0    156170      5790   2322946   no data   no data  --
4548.62/1138.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4548.62/1138.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4549.02/1138.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4549.42/1138.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4549.42/1138.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4549.42/1138.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    439 time:  0.00 s
4549.42/1138.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4667.26/1168.43	c lits-rem:      1546  cl-subs:    14783  v-elim:      0  v-fix:    0  time: 117.77 s
4667.26/1168.43	c vivif2 --  cl tried     1910 cl shrink        0 lits rem          0 time: 0.00
4667.26/1168.46	c vivif2 --  cl tried   141387 cl shrink        0 lits rem          0 time: 0.11
4668.06/1168.67	c asymm  cl-useful: 0/1910/1910 lits-rem:0 time: 0.87
4668.06/1168.68	c calculated reachability. Time: 0.00
4668.06/1168.68	c  N st   101   4213419       439      1910         0    141387      5790   2018355   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-3175261-1304105026/watcher-3175261-1304105026 -o /tmp/evaluation-result-3175261-1304105026/solver-3175261-1304105026 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175261-1304105026.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.78 8.00 7.99 5/180 17503
/proc/meminfo: memFree=30399396/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 522101316 52465664 353 33554432000 4194304 4650419 140734350091104 18446744073709551615 47975674615730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 12809 353 303 112 0 7774 0
[pid=17503/tid=17504] ppid=17501 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522101317 52465664 353 33554432000 4194304 4650419 140734350091104 18446744073709551615 47975674615730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522101317 52465664 353 33554432000 4194304 4650419 140734350091104 18446744073709551615 47975674615730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522101317 52465664 353 33554432000 4194304 4650419 140734350091104 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0564319 s]
/proc/loadavg: 7.78 8.00 7.99 5/180 17503
/proc/meminfo: memFree=30399396/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=282364 CPUtime=0.21 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 1433 0 0 0 21 0 0 0 25 0 4 0 522101316 289140736 1282 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 70591 1282 390 112 0 65556 0
[pid=17503/tid=17504] ppid=17501 vsize=282364 CPUtime=0.05 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 284 0 0 0 5 0 0 0 25 0 4 0 522101317 289140736 1282 33554432000 4194304 4650419 140734350091104 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=282364 CPUtime=0.05 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 277 0 0 0 5 0 0 0 25 0 4 0 522101317 289140736 1282 33554432000 4194304 4650419 140734350091104 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=282364 CPUtime=0.04 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 188 0 0 0 4 0 0 0 25 0 4 0 522101317 289140736 1282 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282364

[startup+0.156416 s]
/proc/loadavg: 7.78 8.00 7.99 5/180 17503
/proc/meminfo: memFree=30399396/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=283616 CPUtime=0.6 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 2231 0 0 0 60 0 0 0 25 0 4 0 522101316 290422784 1557 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 70904 1558 393 112 0 65869 0
[pid=17503/tid=17504] ppid=17501 vsize=283616 CPUtime=0.15 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 485 0 0 0 15 0 0 0 25 0 4 0 522101317 290422784 1558 33554432000 4194304 4650419 140734350091104 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=283616 CPUtime=0.15 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 476 0 0 0 15 0 0 0 25 0 4 0 522101317 290422784 1558 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=283616 CPUtime=0.14 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 388 0 0 0 14 0 0 0 25 0 4 0 522101317 290422784 1558 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283616

[startup+0.300391 s]
/proc/loadavg: 7.78 8.00 7.99 5/180 17503
/proc/meminfo: memFree=30399396/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=283616 CPUtime=1.18 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 2728 0 0 0 118 0 0 0 25 0 4 0 522101316 290422784 2054 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 70904 2054 393 112 0 65869 0
[pid=17503/tid=17504] ppid=17501 vsize=283616 CPUtime=0.29 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 606 0 0 0 29 0 0 0 25 0 4 0 522101317 290422784 2054 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=283616 CPUtime=0.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 601 0 0 0 29 0 0 0 25 0 4 0 522101317 290422784 2054 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=283616 CPUtime=0.29 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 515 0 0 0 29 0 0 0 25 0 4 0 522101317 290422784 2054 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283616

[startup+0.700325 s]
/proc/loadavg: 7.78 8.00 7.99 5/180 17503
/proc/meminfo: memFree=30399396/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=285148 CPUtime=2.78 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 4749 0 0 0 278 0 0 0 25 0 4 0 522101316 291991552 2309 33554432000 4194304 4650419 140734350091104 18446744073709551615 4367456 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 71287 2309 393 112 0 66252 0
[pid=17503/tid=17504] ppid=17501 vsize=285148 CPUtime=0.69 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1123 0 0 0 69 0 0 0 25 0 4 0 522101317 291991552 2309 33554432000 4194304 4650419 140734350091104 18446744073709551615 4334040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=285148 CPUtime=0.69 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1130 0 0 0 69 0 0 0 25 0 4 0 522101317 291991552 2309 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=285148 CPUtime=0.69 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 986 0 0 0 69 0 0 0 25 0 4 0 522101317 291991552 2309 33554432000 4194304 4650419 140734350091104 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285148

[startup+1.50019 s]
/proc/loadavg: 7.78 8.00 7.99 5/179 17508
/proc/meminfo: memFree=30898252/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=285828 CPUtime=5.97 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 8169 0 0 0 596 1 0 0 25 0 4 0 522101316 292687872 4458 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 71457 4458 395 112 0 66422 0
[pid=17503/tid=17504] ppid=17501 vsize=285828 CPUtime=1.49 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1711 0 0 0 149 0 0 0 25 0 4 0 522101317 292687872 4458 33554432000 4194304 4650419 140734350091104 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=285828 CPUtime=1.49 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1746 0 0 0 149 0 0 0 25 0 4 0 522101317 292687872 4458 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=285828 CPUtime=1.48 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 1509 0 0 0 148 0 0 0 25 0 4 0 522101317 292687872 4458 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285828

[startup+3.10092 s]
/proc/loadavg: 7.78 8.00 7.99 5/179 17509
/proc/meminfo: memFree=30880520/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=285160 CPUtime=12.37 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 16075 0 0 0 1235 2 0 0 25 0 4 0 522101316 292003840 9269 33554432000 4194304 4650419 140734350091104 18446744073709551615 4339890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 71290 9269 395 112 0 66255 0
[pid=17503/tid=17504] ppid=17501 vsize=285160 CPUtime=3.09 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 3798 0 0 0 309 0 0 0 25 0 4 0 522101317 292003840 9269 33554432000 4194304 4650419 140734350091104 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=285160 CPUtime=3.08 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 4347 0 0 0 308 0 0 0 25 0 4 0 522101317 292003840 9269 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=285160 CPUtime=3.07 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 3547 0 0 0 307 0 0 0 25 0 4 0 522101317 292003840 9269 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285160

[startup+6.30039 s]
/proc/loadavg: 7.88 8.02 8.00 9/184 17539
/proc/meminfo: memFree=30824816/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=290852 CPUtime=25.15 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 24849 0 0 0 2511 4 0 0 25 0 4 0 522101316 297832448 12700 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 72713 12700 395 112 0 67678 0
[pid=17503/tid=17504] ppid=17501 vsize=290852 CPUtime=6.29 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 6468 0 0 0 628 1 0 0 25 0 4 0 522101317 297832448 12700 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=290852 CPUtime=6.28 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 7055 0 0 0 627 1 0 0 25 0 4 0 522101317 297832448 12700 33554432000 4194304 4650419 140734350091104 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=290852 CPUtime=6.25 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 4692 0 0 0 625 0 0 0 25 0 4 0 522101317 297832448 12700 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290852

[startup+12.7003 s]
/proc/loadavg: 7.97 8.03 8.00 9/184 17539
/proc/meminfo: memFree=30776208/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=291440 CPUtime=50.71 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 37594 0 0 0 5064 7 0 0 25 0 4 0 522101316 298434560 17452 33554432000 4194304 4650419 140734350091104 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 72860 17452 395 112 0 67825 0
[pid=17503/tid=17504] ppid=17501 vsize=291440 CPUtime=12.68 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 10260 0 0 0 1267 1 0 0 25 0 4 0 522101317 298434560 17452 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=291440 CPUtime=12.69 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 9558 0 0 0 1267 2 0 0 25 0 4 0 522101317 298434560 17452 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=291440 CPUtime=12.62 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 6708 0 0 0 1261 1 0 0 25 0 4 0 522101317 298434560 17452 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 291440

[startup+25.5012 s]
/proc/loadavg: 7.97 8.03 8.00 9/184 17539
/proc/meminfo: memFree=30715572/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=299580 CPUtime=101.85 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 57433 0 0 0 10171 14 0 0 25 0 4 0 522101316 306769920 22496 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 74895 22496 395 112 0 69860 0
[pid=17503/tid=17504] ppid=17501 vsize=299580 CPUtime=25.48 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 16284 0 0 0 2545 3 0 0 25 0 4 0 522101317 306769920 22496 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=299580 CPUtime=25.49 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 14835 0 0 0 2545 4 0 0 25 0 4 0 522101317 306769920 22496 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=299580 CPUtime=25.35 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 9651 0 0 0 2533 2 0 0 25 0 4 0 522101317 306769920 22496 33554432000 4194304 4650419 140734350091104 18446744073709551615 4328227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 299580

[startup+51.1009 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 17539
/proc/meminfo: memFree=30661420/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=305976 CPUtime=204.11 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 86567 0 0 0 20388 23 0 0 25 0 4 0 522101316 313319424 28394 33554432000 4194304 4650419 140734350091104 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 76494 28394 395 112 0 71459 0
[pid=17503/tid=17504] ppid=17501 vsize=305976 CPUtime=51.09 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 25219 0 0 0 5103 6 0 0 25 0 4 0 522101317 313319424 28394 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=305976 CPUtime=51.08 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 22650 0 0 0 5102 6 0 0 25 0 4 0 522101317 313319424 28394 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=305976 CPUtime=50.82 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 13611 0 0 0 5078 4 0 0 25 0 4 0 522101317 313319424 28394 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 305976

[startup+102.306 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 17541
/proc/meminfo: memFree=30579296/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=308924 CPUtime=408.66 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 132964 0 0 0 40827 39 0 0 25 0 4 0 522101316 316338176 36001 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 77231 36001 395 112 0 72196 0
[pid=17503/tid=17504] ppid=17501 vsize=308924 CPUtime=102.29 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 38472 0 0 0 10219 10 0 0 25 0 4 0 522101317 316338176 36001 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=308924 CPUtime=102.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 34180 0 0 0 10219 10 0 0 25 0 4 0 522101317 316338176 36001 33554432000 4194304 4650419 140734350091104 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=308924 CPUtime=101.75 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 21236 0 0 0 10167 8 0 0 25 0 4 0 522101317 316338176 36001 33554432000 4194304 4650419 140734350091104 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 308924

[startup+162.3 s]

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

[pid=17503] ppid=17501 vsize=546584 CPUtime=2805.39 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 451875 0 0 0 280352 187 0 0 25 0 4 0 522101316 559702016 83265 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 136646 83265 395 112 0 131611 0
[pid=17503/tid=17504] ppid=17501 vsize=546584 CPUtime=702.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 135728 0 0 0 70176 54 0 0 25 0 4 0 522101317 559702016 83265 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=546584 CPUtime=702.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 123235 0 0 0 70177 52 0 0 25 0 4 0 522101317 559702016 83265 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=546584 CPUtime=698.5 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 65096 0 0 0 69819 31 0 0 25 0 4 0 522101317 559702016 83265 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 546584

[startup+762.307 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 17559
/proc/meminfo: memFree=30217660/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=546836 CPUtime=3045.08 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 474282 0 0 0 304309 199 0 0 25 0 4 0 522101316 559960064 81355 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 136709 81355 395 112 0 131674 0
[pid=17503/tid=17504] ppid=17501 vsize=546836 CPUtime=762.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 142638 0 0 0 76173 57 0 0 25 0 4 0 522101317 559960064 81355 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=546836 CPUtime=762.3 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 130677 0 0 0 76174 56 0 0 25 0 4 0 522101317 559960064 81355 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=546836 CPUtime=758.17 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 67401 0 0 0 75784 33 0 0 25 0 4 0 522101317 559960064 81355 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 546836

[startup+822.3 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 17560
/proc/meminfo: memFree=30180932/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=547036 CPUtime=3284.74 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 500121 0 0 0 328263 211 0 0 25 0 4 0 522101316 560164864 88262 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 136759 88262 395 112 0 131724 0
[pid=17503/tid=17504] ppid=17501 vsize=547036 CPUtime=822.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 153428 0 0 0 82169 61 0 0 25 0 4 0 522101317 560164864 88262 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=547036 CPUtime=822.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 137029 0 0 0 82170 59 0 0 25 0 4 0 522101317 560164864 88262 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=547036 CPUtime=817.84 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 71486 0 0 0 81749 35 0 0 25 0 4 0 522101317 560164864 88262 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 547036

[startup+882.3 s]
/proc/loadavg: 8.13 8.06 8.01 9/184 17562
/proc/meminfo: memFree=30177176/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=571476 CPUtime=3524.41 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 522558 0 0 0 352219 222 0 0 25 0 4 0 522101316 585191424 88333 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 142869 88333 395 112 0 137834 0
[pid=17503/tid=17504] ppid=17501 vsize=571476 CPUtime=882.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 159835 0 0 0 88166 64 0 0 25 0 4 0 522101317 585191424 88333 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=571476 CPUtime=882.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 145082 0 0 0 88167 62 0 0 25 0 4 0 522101317 585191424 88333 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=571476 CPUtime=877.51 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 73470 0 0 0 87715 36 0 0 25 0 4 0 522101317 585191424 88333 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 571476

[startup+942.3 s]
/proc/loadavg: 8.12 8.07 8.00 9/184 17563
/proc/meminfo: memFree=30138472/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=571796 CPUtime=3764.09 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 544831 0 0 0 376175 234 0 0 25 0 4 0 522101316 585519104 92684 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 142949 92684 395 112 0 137914 0
[pid=17503/tid=17504] ppid=17501 vsize=571796 CPUtime=942.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 166081 0 0 0 94162 68 0 0 25 0 4 0 522101317 585519104 92684 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=571796 CPUtime=942.3 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 151152 0 0 0 94165 65 0 0 25 0 4 0 522101317 585519104 92684 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=571796 CPUtime=937.19 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 77061 0 0 0 93681 38 0 0 25 0 4 0 522101317 585519104 92684 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 571796

[startup+1002.3 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 17565
/proc/meminfo: memFree=30132492/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=572040 CPUtime=4003.76 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 564936 0 0 0 400131 245 0 0 25 0 4 0 522101316 585768960 93749 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 143010 93749 395 112 0 137975 0
[pid=17503/tid=17504] ppid=17501 vsize=572040 CPUtime=1002.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 174064 0 0 0 100158 72 0 0 25 0 4 0 522101317 585768960 93749 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=572040 CPUtime=1002.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 155827 0 0 0 100161 68 0 0 25 0 4 0 522101317 585768960 93749 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=572040 CPUtime=996.86 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 78974 0 0 0 99647 39 0 0 25 0 4 0 522101317 585768960 93749 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 572040

[startup+1062.3 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 17567
/proc/meminfo: memFree=30085228/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=578780 CPUtime=4243.44 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 587536 0 0 0 424086 258 0 0 25 0 4 0 522101316 592670720 97537 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 144695 97537 395 112 0 139660 0
[pid=17503/tid=17504] ppid=17501 vsize=578780 CPUtime=1062.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 180308 0 0 0 106155 75 0 0 25 0 4 0 522101317 592670720 97537 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=578780 CPUtime=1062.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 162108 0 0 0 106159 70 0 0 25 0 4 0 522101317 592670720 97537 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=578780 CPUtime=1056.54 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 83327 0 0 0 105612 42 0 0 25 0 4 0 522101317 592670720 97537 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 578780

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 17568
/proc/meminfo: memFree=30092144/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=579016 CPUtime=4483.11 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 605831 0 0 0 448043 268 0 0 25 0 4 0 522101316 592912384 94643 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 144754 94643 395 112 0 139719 0
[pid=17503/tid=17504] ppid=17501 vsize=579016 CPUtime=1122.3 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 186640 0 0 0 112151 79 0 0 25 0 4 0 522101317 592912384 94643 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=579016 CPUtime=1122.29 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 166439 0 0 0 112156 73 0 0 25 0 4 0 522101317 592912384 94643 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=579016 CPUtime=1116.21 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 85113 0 0 0 111578 43 0 0 25 0 4 0 522101317 592912384 94643 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 579016

[startup+1182.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 17570
/proc/meminfo: memFree=30063092/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=631044 CPUtime=4722.79 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 625845 0 0 0 472002 277 0 0 25 0 4 0 522101316 646189056 101624 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 157761 101624 395 112 0 152726 0
[pid=17503/tid=17504] ppid=17501 vsize=631044 CPUtime=1182.31 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 192397 0 0 0 118149 82 0 0 25 0 4 0 522101317 646189056 101624 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=631044 CPUtime=1182.3 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 171816 0 0 0 118154 76 0 0 25 0 4 0 522101317 646189056 101624 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=631044 CPUtime=1175.89 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 88481 0 0 0 117544 45 0 0 25 0 4 0 522101317 646189056 101624 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 631044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 17571
/proc/meminfo: memFree=30054648/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=579272 CPUtime=4800.3 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 633334 0 0 0 479749 281 0 0 25 0 4 0 522101316 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 144818 101130 395 112 0 139783 0
[pid=17503/tid=17504] ppid=17501 vsize=579272 CPUtime=1201.71 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 194963 0 0 0 120088 83 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=579272 CPUtime=1201.7 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 173835 0 0 0 120094 76 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=579272 CPUtime=1195.18 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 89184 0 0 0 119472 46 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 579272

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 17571
/proc/meminfo: memFree=30054648/32950928 swapFree=67111448/67111528
[pid=17503] ppid=17501 vsize=579272 CPUtime=4800.3 cores=1,3,5,7
/proc/17503/stat : 17503 (strangenight1-m) R 17501 17503 17262 0 -1 4202496 633334 0 0 0 479749 281 0 0 25 0 4 0 522101316 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17503/statm: 144818 101130 395 112 0 139783 0
[pid=17503/tid=17504] ppid=17501 vsize=579272 CPUtime=1201.71 cores=1,3,5,7
/proc/17503/task/17504/stat : 17504 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 194963 0 0 0 120088 83 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17503/tid=17505] ppid=17501 vsize=579272 CPUtime=1201.7 cores=1,3,5,7
/proc/17503/task/17505/stat : 17505 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 173835 0 0 0 120094 76 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17503/tid=17506] ppid=17501 vsize=579272 CPUtime=1195.18 cores=1,3,5,7
/proc/17503/task/17506/stat : 17506 (strangenight1-m) R 17501 17503 17262 0 -1 4202560 89184 0 0 0 119472 46 0 0 25 0 4 0 522101317 593174528 101130 33554432000 4194304 4650419 140734350091104 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 579272

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.35
CPU user time (s): 4797.52
CPU system time (s): 2.83357
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 644056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.52
system time used= 2.83357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633335
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= 197
involuntary context switches= 31659

runsolver used 1.85272 second user time and 4.69229 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 21:23:46
IDJOB=3175261
IDBENCH=82879
IDSOLVER=1588
FILE ID=node126/3175261-1304105026
RUNJOBID= node126-1304102618-17281
PBS_JOBID= 13170635
Free space on /tmp= 71592 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175261-1304105026/watcher-3175261-1304105026 -o /tmp/evaluation-result-3175261-1304105026/solver-3175261-1304105026 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175261-1304105026.cnf

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

MD5SUM BENCH= 970ca2029fea75cb0f7721dfc724b428
RANDOM SEED=639940675

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30399676 kB
Buffers:        252152 kB
Cached:        1411284 kB
SwapCached:         76 kB
Active:         648360 kB
Inactive:      1590620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30399676 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:      575232 kB
Mapped:          15536 kB
Slab:           246796 kB
PageTables:       5916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   952964 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= 71588 MiB
End job on node126 at 2011-04-29 21:43:50