Trace number 3175216

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.24 1203.33

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175216-1304099958.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.56	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.56	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.56	c calculated reachability. Time: 0.00
0.00/0.56	c Calc default polars -  time:   0.00 s pos:      46 undec:       2 neg:      52
0.00/0.56	c =========================================================================================
0.00/0.56	c types(t): F = full restart, N = normal restart
0.00/0.56	c types(t): S = simplification begin/end, E = solution found
0.00/0.56	c restart types(rt): st = static, dy = dynamic
0.00/0.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.56	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.56	c Decided on static restart strategy
0.00/0.56	c  N st     8      4922       100      2130         0      4622     10650     99934   no data   no data  --
0.00/0.56	c  N st    10     11304       100      2130         0      4249     10650     73915   no data   no data  --
0.00/0.56	c  N st    11     17047       100      2130         0      9559     10650    187116   no data   no data  --
0.00/0.85	c  F st    12     25002       100      2130         0     11674     10650    231765   no data   no data  --
0.00/0.85	c  N st    12     25002       100      2130         0     11674     10650    231765   no data   no data  --
3.81/1.05	c Decided on static restart strategy
3.81/1.05	c  N st    18     30000       100      2130         0     10047     10650    186434   no data   no data  --
3.81/1.05	c  S st    18     30000       100      2130         0     10047     10650    186434   no data   no data  --
3.81/1.05	c  S st    18     30502       100      2130         0     10530     10650    197245   no data   no data  --
3.81/1.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.81/1.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.81/1.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.81/1.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.81/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.81/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.81/1.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.58/1.45	c lits-rem:      2143  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  1.68 s
5.98/1.55	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.15
5.98/1.55	c calculated reachability. Time: 0.00
5.98/1.55	c  N st    18     30502       100      2130         0      8735     10650    156303   no data   no data  --
6.78/1.75	c  N st    20     37612       100      2130         0      8034     10650    131404   no data   no data  --
7.89/2.05	c  N st    21     44011       100      2130         0     13913     10650    257306   no data   no data  --
8.23/2.16	c  S st    22     45753       100      2130         0     15527     10650    292170   no data   no data  --
8.58/2.20	c  S st    22     46256       100      2130         0     16010     10650    303055   no data   no data  --
8.58/2.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.58/2.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.58/2.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.58/2.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.58/2.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.58/2.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.58/2.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.74/6.17	c lits-rem:      2896  cl-subs:     2239  v-elim:      0  v-fix:    0  time: 13.11 s
21.74/6.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
21.74/6.17	c vivif2 --  cl tried    13771 cl shrink        0 lits rem          0 time: 0.01
22.16/6.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
22.16/6.24	c calculated reachability. Time: 0.00
22.16/6.24	c  N st    22     46256       100      2130         0     13771     10650    251349   no data   no data  --
25.34/7.01	c  N st    23     60653       100      2130         0      9790     10650    145795   no data   no data  --
26.75/7.47	c  N st    24     69386       100      2130         0     17906     10650    327708   no data   no data  --
26.75/7.47	c  S st    24     69386       100      2130         0     17906     10650    327708   no data   no data  --
27.08/7.51	c  S st    24     69894       100      2130         0     18392     10650    338880   no data   no data  --
27.08/7.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.08/7.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.08/7.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.08/7.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.08/7.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.08/7.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
27.08/7.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
34.10/9.57	c lits-rem:      3805  cl-subs:     2110  v-elim:      0  v-fix:    0  time:  7.10 s
34.10/9.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
34.10/9.57	c vivif2 --  cl tried    16282 cl shrink        0 lits rem          0 time: 0.01
34.51/9.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.30
34.51/9.65	c calculated reachability. Time: 0.00
34.51/9.65	c  N st    24     69894       100      2130         0     16282     10650    289705   no data   no data  --
38.90/10.78	c  F st    25     87500       100      2130         0     11397     10650    164155   no data   no data  --
38.90/10.78	c  N st    25     87500       100      2130         0     11397     10650    164155   no data   no data  --
40.08/11.06	c Decided on static restart strategy
40.88/11.22	c  N st    32     95541       100      2130         0     18879     10650    326057   no data   no data  --
42.89/11.78	c  N st    34    104843       100      2130         0     15496     10650    246371   no data   no data  --
42.89/11.78	c  S st    34    104843       100      2130         0     15496     10650    246371   no data   no data  --
43.29/11.82	c  S st    34    105348       100      2130         0     15975     10650    257117   no data   no data  --
43.29/11.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.29/11.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.29/11.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
43.29/11.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.29/11.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.29/11.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
43.29/11.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.28/12.83	c lits-rem:      1847  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  3.97 s
47.28/12.83	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
47.28/12.83	c vivif2 --  cl tried    14735 cl shrink        0 lits rem          0 time: 0.01
47.28/12.89	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
47.28/12.89	c calculated reachability. Time: 0.00
47.28/12.89	c  N st    34    105348       100      2130         0     14735     10650    230462   no data   no data  --
50.06/13.55	c  N st    35    114947       100      2130         0     23619     10650    430459   no data   no data  --
54.05/14.51	c  N st    36    129344       100      2130         0     23993     10650    422256   no data   no data  --
59.65/15.99	c  N st    37    150939       100      2130         0     15329     10650    206112   no data   no data  --
61.64/16.46	c  S st    38    158022       100      2130         0     21925     10650    359424   no data   no data  --
62.04/16.52	c  S st    38    158528       100      2130         0     22413     10650    370182   no data   no data  --
62.04/16.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.04/16.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.04/16.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
62.04/16.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.04/16.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.04/16.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
62.04/16.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.23/17.81	c lits-rem:      3502  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  5.08 s
67.23/17.81	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
67.23/17.81	c vivif2 --  cl tried    20619 cl shrink        0 lits rem          0 time: 0.02
67.63/17.90	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
67.63/17.90	c calculated reachability. Time: 0.00
67.63/17.90	c  N st    38    158528       100      2130         0     20619     10650    326416   no data   no data  --
82.83/21.70	c  N st    39    207118       100      2130         0     33146     10650    567318   no data   no data  --
92.39/24.19	c  N st    40    237792       100      2130         0     25481     10650    385466   no data   no data  --
92.39/24.19	c  S st    40    237792       100      2130         0     25481     10650    385466   no data   no data  --
92.79/24.26	c  S st    40    238293       100      2130         0     25968     10650    396224   no data   no data  --
92.79/24.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.79/24.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.79/24.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
92.79/24.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.79/24.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.79/24.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
92.79/24.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.40/25.68	c lits-rem:      2674  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  5.61 s
98.40/25.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
98.40/25.68	c vivif2 --  cl tried    23909 cl shrink        0 lits rem          0 time: 0.02
98.80/25.78	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
98.80/25.78	c calculated reachability. Time: 0.00
98.80/25.78	c  N st    40    238293       100      2130         0     23909     10650    353599   no data   no data  --
122.38/31.62	c  F st    41    306250       100      2130         0     25680     10650    356167   no data   no data  --
122.38/31.62	c  N st    41    306250       100      2130         0     25680     10650    356167   no data   no data  --
123.96/32.04	c Decided on static restart strategy
133.13/34.32	c  N st    51    334556       100      2130         0     29757     10650    433788   no data   no data  --
143.12/36.89	c  N st    53    357439       100      2130         0     27721     10650    373200   no data   no data  --
143.12/36.89	c  S st    53    357439       100      2130         0     27721     10650    373200   no data   no data  --
143.52/36.98	c  S st    53    357944       100      2130         0     28206     10650    384449   no data   no data  --
143.52/36.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.52/36.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.52/36.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
143.52/37.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.52/37.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.52/37.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
143.52/37.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.11/38.36	c lits-rem:      1604  cl-subs:     1754  v-elim:      0  v-fix:    0  time:  5.45 s
149.11/38.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
149.11/38.37	c vivif2 --  cl tried    26452 cl shrink        0 lits rem          0 time: 0.02
149.51/38.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.47
149.51/38.49	c calculated reachability. Time: 0.00
149.51/38.49	c  N st    53    357944       100      2130         0     26452     10650    349953   no data   no data  --
163.08/41.88	c  N st    54    390338       100      2130         0     32550     10650    473286   no data   no data  --
181.45/46.49	c  N st    55    438927       100      2130         0     26718     10650    327825   no data   no data  --
213.01/54.32	c  N st    56    511810       100      2130         0     39396     10650    580780   no data   no data  --
224.19/57.19	c  N st    57    536917       100      2130         0     33962     10650    447911   no data   no data  --
224.19/57.19	c  S st    57    536917       100      2130         0     33962     10650    447911   no data   no data  --
224.59/57.27	c  S st    57    537428       100      2130         0     34440     10650    458634   no data   no data  --
224.59/57.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
224.59/57.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.59/57.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
224.59/57.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.59/57.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.59/57.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
224.59/57.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
230.98/58.86	c lits-rem:      1649  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.26 s
230.98/58.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
230.98/58.87	c vivif2 --  cl tried    32569 cl shrink        0 lits rem          0 time: 0.02
231.79/59.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.59
231.79/59.02	c calculated reachability. Time: 0.00
231.79/59.02	c  N st    57    537428       100      2130         0     32569     10650    421985   no data   no data  --
311.27/78.95	c  N st    58    701412       100      2130         0     60056     10650    954839   no data   no data  --
361.17/91.42	c  N st    59    806142       100      2130         0     54425     10650    831485   no data   no data  --
361.17/91.42	c  S st    59    806142       100      2130         0     54425     10650    831485   no data   no data  --
361.57/91.58	c  S st    59    806644       100      2130         0     54898     10650    841905   no data   no data  --
361.57/91.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
361.57/91.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
361.98/91.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
361.98/91.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
361.98/91.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
361.98/91.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
361.98/91.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
381.94/96.64	c lits-rem:      5177  cl-subs:     5306  v-elim:      0  v-fix:    0  time: 20.01 s
381.94/96.64	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
381.94/96.65	c vivif2 --  cl tried    49592 cl shrink        0 lits rem          0 time: 0.04
383.14/96.95	c asymm  cl-useful: 0/1757/2130 lits-rem:0 time: 1.20
383.14/96.95	c calculated reachability. Time: 0.00
383.14/96.95	c  N st    59    806644       100      2130         0     49592     10650    735672   no data   no data  --
532.46/134.37	c  F st    60   1071878       100      2130         0     64683     10650    981050   no data   no data  --
532.46/134.37	c  N st    60   1071878       100      2130         0     64683     10650    981050   no data   no data  --
536.46/135.36	c Decided on static restart strategy
550.42/138.88	c  N st    70   1100184       100      2130         0     49575     10650    646190   no data   no data  --
573.59/144.65	c  N st    72   1136179       100      2130         0     82800     10650   1386443   no data   no data  --
594.76/149.93	c  N st    73   1168573       100      2130         0     70248     10650   1071881   no data   no data  --
628.31/158.36	c  N st    74   1209966       100      2130         0     64891     10650    937343   no data   no data  --
628.31/158.36	c  S st    74   1209966       100      2130         0     64891     10650    937343   no data   no data  --
629.11/158.56	c  S st    74   1210466       100      2130         0     65368     10650    948182   no data   no data  --
629.11/158.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
629.11/158.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
629.11/158.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
629.51/158.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
629.51/158.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
629.51/158.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
629.51/158.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
652.68/164.45	c lits-rem:      1319  cl-subs:     6754  v-elim:      0  v-fix:    0  time: 23.24 s
652.68/164.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
652.68/164.46	c vivif2 --  cl tried    58614 cl shrink        0 lits rem          0 time: 0.04
654.27/164.83	c asymm  cl-useful: 0/1572/2130 lits-rem:0 time: 1.49
654.27/164.83	c calculated reachability. Time: 0.00
654.27/164.83	c  N st    74   1210466       100      2130         0     58614     10650    817761   no data   no data  --
717.75/180.73	c  N st    75   1283348       100      2130         0     81784     10650   1291550   no data   no data  --
813.59/204.75	c  N st    76   1392671       100      2130         0     91373     10650   1471688   no data   no data  --
948.19/238.50	c  N st    77   1556656       100      2130         0     98850     10650   1611461   no data   no data  --
1064.76/267.62	c  N st    78   1710466       100      2130         0     88713     10650   1346446   no data   no data  --
1064.76/267.62	c  S st    78   1710466       100      2130         0     88713     10650   1346446   no data   no data  --
1065.57/267.88	c  S st    78   1710969       100      2130         0     89195     10650   1357337   no data   no data  --
1065.57/267.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1065.57/267.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1065.97/267.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1065.97/267.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1065.97/267.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1065.97/267.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1065.97/267.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1123.49/282.37	c lits-rem:      4457  cl-subs:    11697  v-elim:      0  v-fix:    0  time: 57.42 s
1123.49/282.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1123.49/282.38	c vivif2 --  cl tried    77498 cl shrink        0 lits rem          0 time: 0.06
1124.27/282.56	c asymm  cl-useful: 0/558/2130 lits-rem:0 time: 0.70
1124.27/282.56	c calculated reachability. Time: 0.00
1124.27/282.56	c  N st    78   1710969       100      2130         0     77498     10650   1137666   no data   no data  --
1442.95/362.33	c  N st    79   2079934       100      2130         0     88831     10650   1270809   no data   no data  --
1561.16/391.91	c  N st    80   2210971       100      2130         0     92569     10650   1348216   no data   no data  --
1561.16/391.91	c  S st    80   2210971       100      2130         0     92569     10650   1348216   no data   no data  --
1562.36/392.22	c  S st    80   2211476       100      2130         0     93045     10650   1359193   no data   no data  --
1562.36/392.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1562.36/392.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1562.36/392.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
1562.78/392.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1562.78/392.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1562.78/392.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1562.78/392.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1625.45/408.10	c lits-rem:      7171  cl-subs:    10592  v-elim:      0  v-fix:    0  time: 62.60 s
1625.45/408.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1625.45/408.11	c vivif2 --  cl tried    82453 cl shrink        0 lits rem          0 time: 0.06
1626.63/408.43	c asymm  cl-useful: 0/1130/2130 lits-rem:0 time: 1.23
1626.63/408.43	c calculated reachability. Time: 0.00
1626.63/408.43	c  N st    80   2211476       100      2130         0     82453     10650   1155705   no data   no data  --
2145.27/538.54	c  N st    81   2711477       100      2130         0    104920     10650   1546505   no data   no data  --
2145.27/538.54	c  S st    81   2711477       100      2130         0    104920     10650   1546505   no data   no data  --
2146.46/538.89	c  S st    81   2711981       100      2130         0    105402     10650   1557761   no data   no data  --
2146.46/538.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2146.46/538.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2146.86/538.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2146.86/538.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2146.86/538.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2146.86/538.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2146.86/538.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2234.71/560.91	c lits-rem:      1991  cl-subs:    13049  v-elim:      0  v-fix:    0  time: 87.49 s
2234.71/560.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2234.71/560.92	c vivif2 --  cl tried    92353 cl shrink        0 lits rem          0 time: 0.07
2235.91/561.27	c asymm  cl-useful: 0/844/2130 lits-rem:0 time: 1.38
2235.91/561.27	c calculated reachability. Time: 0.00
2235.91/561.27	c  N st    81   2711981       100      2130         0     92353     10650   1308549   no data   no data  --
2817.80/706.98	c  N st    82   3211981       100      2130         0    141906     10650   2252458   no data   no data  --
2817.80/706.98	c  S st    82   3211981       100      2130         0    141906     10650   2252458   no data   no data  --
2821.38/707.82	c  S st    82   3212486       100      2130         0     71303     10650    757018   no data   no data  --
2821.38/707.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2821.38/707.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2821.38/707.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2821.38/707.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2821.38/707.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2821.38/707.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2821.38/707.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2837.75/711.97	c lits-rem:       245  cl-subs:       68  v-elim:      0  v-fix:    0  time: 16.31 s
2837.75/711.97	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2837.75/711.98	c vivif2 --  cl tried    71235 cl shrink        0 lits rem          0 time: 0.04
2838.94/712.25	c asymm  cl-useful: 0/1390/2130 lits-rem:0 time: 1.07
2838.94/712.25	c calculated reachability. Time: 0.00
2838.94/712.25	c  N st    82   3212486       100      2130         0     71235     10650    755428   no data   no data  --
3439.95/862.77	c  N st    83   3712487       100      2130         0     80924     10650    898153   no data   no data  --
3439.95/862.77	c  S st    83   3712487       100      2130         0     80924     10650    898153   no data   no data  --
3441.15/863.02	c  S st    83   3712988       100      2130         0     81408     10650    909075   no data   no data  --
3441.15/863.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3441.15/863.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3441.15/863.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3441.15/863.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3441.15/863.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3441.15/863.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3441.15/863.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3463.52/868.65	c lits-rem:       689  cl-subs:     1713  v-elim:      0  v-fix:    0  time: 22.20 s
3463.52/868.65	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3463.52/868.66	c vivif2 --  cl tried    79695 cl shrink        0 lits rem          0 time: 0.05
3464.70/868.90	c asymm  cl-useful: 0/740/2130 lits-rem:0 time: 0.94
3464.70/868.90	c calculated reachability. Time: 0.00
3464.70/868.90	c  N st    83   3712988       100      2130         0     79695     10650    879882   no data   no data  --
3507.87/879.76	c  F st    84   3751563       100      2130         0    115205     10650   1681463   no data   no data  --
3507.87/879.76	c  N st    84   3751563       100      2130         0    115205     10650   1681463   no data   no data  --
3517.43/882.14	c Decided on static restart strategy
3556.17/891.83	c  N st    94   3779874       100      2130         0    141284     10650   2269976   no data   no data  --
3605.28/904.17	c  N st    96   3815867       100      2130         0     96674     10650   1227345   no data   no data  --
3648.03/914.85	c  N st    97   3848259       100      2130         0    126311     10650   1851845   no data   no data  --
3729.48/935.22	c  N st    98   3896847       100      2130         0     92062     10650   1112505   no data   no data  --
3836.51/962.00	c  N st    99   3969729       100      2130         0    158890     10650   2606030   no data   no data  --
3967.90/994.97	c  N st   100   4079052       100      2130         0     98950     10650   1253675   no data   no data  --
4136.44/1037.16	c  N st   101   4212988       100      2130         0    139499     10650   2056270   no data   no data  --
4136.44/1037.16	c  S st   101   4212988       100      2130         0    139499     10650   2056270   no data   no data  --
4138.44/1037.67	c  S st   101   4213499       100      2130         0    139979     10650   2067755   no data   no data  --
4138.44/1037.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4138.44/1037.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4138.84/1037.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4139.23/1037.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4139.23/1037.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4139.23/1037.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4139.23/1037.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4409.61/1105.59	c lits-rem:      6271  cl-subs:    20440  v-elim:      0  v-fix:    0  time: 270.61 s
4409.61/1105.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4410.01/1105.62	c vivif2 --  cl tried   119539 cl shrink        0 lits rem          0 time: 0.11
4411.61/1106.07	c asymm  cl-useful: 0/753/2130 lits-rem:0 time: 1.80
4411.61/1106.07	c calculated reachability. Time: 0.00
4411.61/1106.07	c  N st   101   4213499       100      2130         0    119539     10650   1685962   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-3175216-1304099958/watcher-3175216-1304099958 -o /tmp/evaluation-result-3175216-1304099958/solver-3175216-1304099958 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175216-1304099958.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 521595457 52465664 352 33554432000 4194304 4650419 140733715001200 18446744073709551615 47169797920690 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 12809 352 303 112 0 7774 0
[pid=25992/tid=25993] ppid=25990 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521595457 52465664 352 33554432000 4194304 4650419 140733715001200 18446744073709551615 47169797920690 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521595457 52465664 352 33554432000 4194304 4650419 140733715001200 18446744073709551615 47169797920694 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521595457 52465664 352 33554432000 4194304 4650419 140733715001200 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.557198 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=286548 CPUtime=3.41 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 5763 0 0 0 340 1 0 0 19 0 4 0 521595457 293425152 2942 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 71637 2942 392 112 0 66602 0
[pid=25992/tid=25993] ppid=25990 vsize=286548 CPUtime=0.85 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1361 0 0 0 85 0 0 0 18 0 4 0 521595457 293425152 2942 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=286548 CPUtime=0.85 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1327 0 0 0 85 0 0 0 18 0 4 0 521595457 293425152 2942 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=286548 CPUtime=0.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1144 0 0 0 84 0 0 0 19 0 4 0 521595457 293425152 2942 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 286548

[startup+0.956379 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=287028 CPUtime=3.81 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 6528 0 0 0 380 1 0 0 19 0 4 0 521595457 293916672 2812 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 71757 2812 392 112 0 66722 0
[pid=25992/tid=25993] ppid=25990 vsize=287028 CPUtime=0.95 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1610 0 0 0 95 0 0 0 19 0 4 0 521595457 293916672 2812 33554432000 4194304 4650419 140733715001200 18446744073709551615 4330253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=287028 CPUtime=0.95 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1553 0 0 0 95 0 0 0 19 0 4 0 521595457 293916672 2812 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=287028 CPUtime=0.94 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1364 0 0 0 94 0 0 0 19 0 4 0 521595457 293916672 2812 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 287028

[startup+1.05636 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=291824 CPUtime=4.2 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 7925 0 0 0 419 1 0 0 19 0 4 0 521595457 298827776 4209 33554432000 4194304 4650419 140733715001200 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 72956 4209 393 112 0 67921 0
[pid=25992/tid=25993] ppid=25990 vsize=291824 CPUtime=1.05 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1668 0 0 0 105 0 0 0 19 0 4 0 521595457 298827776 4209 33554432000 4194304 4650419 140733715001200 18446744073709551615 4368225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=291824 CPUtime=1.05 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1619 0 0 0 105 0 0 0 19 0 4 0 521595457 298827776 4209 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=291824 CPUtime=1.04 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1424 0 0 0 104 0 0 0 19 0 4 0 521595457 298827776 4209 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 291824

[startup+1.10036 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=291824 CPUtime=4.38 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 7995 0 0 0 437 1 0 0 19 0 4 0 521595457 298827776 4279 33554432000 4194304 4650419 140733715001200 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 72956 4279 393 112 0 67921 0
[pid=25992/tid=25993] ppid=25990 vsize=291824 CPUtime=1.09 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1690 0 0 0 109 0 0 0 19 0 4 0 521595457 298827776 4279 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=291824 CPUtime=1.09 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1644 0 0 0 109 0 0 0 19 0 4 0 521595457 298827776 4279 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=291824 CPUtime=1.08 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1447 0 0 0 108 0 0 0 19 0 4 0 521595457 298827776 4279 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 291824

[startup+1.50029 s]
/proc/loadavg: 8.09 8.06 8.01 5/178 25992
/proc/meminfo: memFree=30874728/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=283328 CPUtime=5.98 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 10066 0 0 0 597 1 0 0 20 0 4 0 521595457 290127872 5340 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25992/statm: 70832 5340 393 112 0 65797 0
[pid=25992/tid=25993] ppid=25990 vsize=283328 CPUtime=1.49 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 2925 0 0 0 149 0 0 0 20 0 4 0 521595457 290127872 5340 33554432000 4194304 4650419 140733715001200 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=283328 CPUtime=1.49 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 2049 0 0 0 149 0 0 0 19 0 4 0 521595457 290127872 5340 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=283328 CPUtime=1.48 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 1826 0 0 0 148 0 0 0 20 0 4 0 521595457 290127872 5340 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 283328

[startup+3.10101 s]
/proc/loadavg: 8.33 8.11 8.03 9/182 25996
/proc/meminfo: memFree=30811144/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=301980 CPUtime=11.45 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 15812 0 0 0 1137 8 0 0 25 0 4 0 521595457 309227520 10162 33554432000 4194304 4650419 140733715001200 18446744073709551615 4438539 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25992/statm: 75495 10162 393 112 0 70460 0
[pid=25992/tid=25993] ppid=25990 vsize=301980 CPUtime=2.73 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 3550 0 0 0 270 3 0 0 24 0 4 0 521595457 309227520 10162 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=301980 CPUtime=3.09 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 3910 0 0 0 309 0 0 0 25 0 4 0 521595457 309227520 10162 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=301980 CPUtime=2.74 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 3854 0 0 0 272 2 0 0 23 0 4 0 521595457 309227520 10162 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 301980

[startup+6.3065 s]
/proc/loadavg: 8.54 8.16 8.04 9/182 25996
/proc/meminfo: memFree=30799944/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=302784 CPUtime=22.56 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 22373 0 0 0 2223 33 0 0 25 0 4 0 521595457 310050816 12104 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 75696 12104 393 112 0 70661 0
[pid=25992/tid=25993] ppid=25990 vsize=302784 CPUtime=5.78 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 5922 0 0 0 560 18 0 0 25 0 4 0 521595457 310050816 12104 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=302784 CPUtime=6.24 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 6273 0 0 0 623 1 0 0 25 0 4 0 521595457 310050816 12104 33554432000 4194304 4650419 140733715001200 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=302784 CPUtime=5.9 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 5612 0 0 0 587 3 0 0 25 0 4 0 521595457 310050816 12104 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.56
Current children cumulated vsize (KiB) 302784

[startup+12.7003 s]
/proc/loadavg: 8.50 8.15 8.04 9/182 26026
/proc/meminfo: memFree=30765564/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=302076 CPUtime=46.87 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 34164 0 0 0 4638 49 0 0 25 0 4 0 521595457 309325824 17493 33554432000 4194304 4650419 140733715001200 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25992/statm: 75519 17493 393 112 0 70484 0
[pid=25992/tid=25993] ppid=25990 vsize=302076 CPUtime=11.37 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 8605 0 0 0 1109 28 0 0 25 0 4 0 521595457 309325824 17493 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=302076 CPUtime=12.64 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 9496 0 0 0 1261 3 0 0 25 0 4 0 521595457 309325824 17493 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=302076 CPUtime=12.28 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 8543 0 0 0 1225 3 0 0 25 0 4 0 521595457 309325824 17493 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.87
Current children cumulated vsize (KiB) 302076

[startup+25.5011 s]
/proc/loadavg: 8.42 8.15 8.04 9/182 26026
/proc/meminfo: memFree=30692856/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=299932 CPUtime=98 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 53487 0 0 0 9747 53 0 0 25 0 4 0 521595457 307130368 23322 33554432000 4194304 4650419 140733715001200 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25992/statm: 74983 23322 393 112 0 69948 0
[pid=25992/tid=25993] ppid=25990 vsize=299932 CPUtime=24.11 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 13549 0 0 0 2382 29 0 0 25 0 4 0 521595457 307130368 23322 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=299932 CPUtime=25.44 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 15511 0 0 0 2540 4 0 0 25 0 4 0 521595457 307130368 23322 33554432000 4194304 4650419 140733715001200 18446744073709551615 4333238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=299932 CPUtime=25.08 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 12363 0 0 0 2504 4 0 0 25 0 4 0 521595457 307130368 23322 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98
Current children cumulated vsize (KiB) 299932

[startup+51.1007 s]
/proc/loadavg: 8.32 8.15 8.04 9/182 26027
/proc/meminfo: memFree=30646444/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=330520 CPUtime=200.23 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 79506 0 0 0 19964 59 0 0 25 0 4 0 521595457 338452480 27449 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25992/statm: 82630 27449 393 112 0 77595 0
[pid=25992/tid=25993] ppid=25990 vsize=330520 CPUtime=49.59 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 21299 0 0 0 4928 31 0 0 25 0 4 0 521595457 338452480 27449 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=330520 CPUtime=51.03 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 23683 0 0 0 5097 6 0 0 25 0 4 0 521595457 338452480 27449 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=330520 CPUtime=50.67 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 14612 0 0 0 5062 5 0 0 25 0 4 0 521595457 338452480 27449 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.23
Current children cumulated vsize (KiB) 330520

[startup+102.301 s]
/proc/loadavg: 8.18 8.14 8.04 9/182 26028
/proc/meminfo: memFree=30556824/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=363668 CPUtime=404.71 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 121569 0 0 0 40398 73 0 0 25 0 4 0 521595457 372396032 36069 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25992/statm: 90917 36069 393 112 0 85882 0
[pid=25992/tid=25993] ppid=25990 vsize=363668 CPUtime=100.54 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 34084 0 0 0 10019 35 0 0 25 0 4 0 521595457 372396032 36069 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=363668 CPUtime=102.23 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 35298 0 0 0 10214 9 0 0 25 0 4 0 521595457 372396032 36069 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=363668 CPUtime=101.88 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 20186 0 0 0 10180 8 0 0 25 0 4 0 521595457 372396032 36069 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.71
Current children cumulated vsize (KiB) 363668

[startup+162.3 s]

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

[pid=25992] ppid=25990 vsize=559848 CPUtime=2799.41 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 399507 0 0 0 279737 204 0 0 25 0 4 0 521595457 573284352 85251 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 139962 85251 393 112 0 134927 0
[pid=25992/tid=25993] ppid=25990 vsize=559848 CPUtime=698.31 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 106487 0 0 0 69755 76 0 0 25 0 4 0 521595457 573284352 85251 33554432000 4194304 4650419 140733715001200 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=559848 CPUtime=701.28 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 119136 0 0 0 70085 43 0 0 25 0 4 0 521595457 573284352 85251 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=559848 CPUtime=701.85 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 59360 0 0 0 70160 25 0 0 25 0 4 0 521595457 573284352 85251 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.41
Current children cumulated vsize (KiB) 559848

[startup+762.301 s]
/proc/loadavg: 8.10 8.11 8.06 9/182 26058
/proc/meminfo: memFree=30233824/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=585020 CPUtime=3039.03 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 423951 0 0 0 303686 217 0 0 25 0 4 0 521595457 599060480 82173 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 146255 82173 393 112 0 141220 0
[pid=25992/tid=25993] ppid=25990 vsize=585020 CPUtime=758.31 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 114451 0 0 0 75751 80 0 0 25 0 4 0 521595457 599060480 82173 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=585020 CPUtime=761.23 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 126128 0 0 0 76075 48 0 0 25 0 4 0 521595457 599060480 82173 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=585020 CPUtime=761.85 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 61827 0 0 0 76159 26 0 0 25 0 4 0 521595457 599060480 82174 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.03
Current children cumulated vsize (KiB) 585020

[startup+822.301 s]
/proc/loadavg: 8.09 8.10 8.06 9/182 26059
/proc/meminfo: memFree=30227076/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=596412 CPUtime=3278.64 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 442655 0 0 0 327637 227 0 0 25 0 4 0 521595457 610725888 87553 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 149103 87553 393 112 0 144068 0
[pid=25992/tid=25993] ppid=25990 vsize=596412 CPUtime=818.3 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 118751 0 0 0 81748 82 0 0 25 0 4 0 521595457 610725888 87553 33554432000 4194304 4650419 140733715001200 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=596412 CPUtime=821.16 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 132307 0 0 0 82066 50 0 0 25 0 4 0 521595457 610725888 87553 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=596412 CPUtime=821.83 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 66111 0 0 0 82155 28 0 0 25 0 4 0 521595457 610725888 87553 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.64
Current children cumulated vsize (KiB) 596412

[startup+882.3 s]
/proc/loadavg: 8.03 8.08 8.05 9/182 26061
/proc/meminfo: memFree=30189100/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=608732 CPUtime=3518.23 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 458448 0 0 0 351588 235 0 0 25 0 4 0 521595457 623341568 91962 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 152183 91962 393 112 0 147148 0
[pid=25992/tid=25993] ppid=25990 vsize=608732 CPUtime=878.31 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 126589 0 0 0 87744 87 0 0 25 0 4 0 521595457 623341568 91962 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=608732 CPUtime=881.08 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 135713 0 0 0 88056 52 0 0 25 0 4 0 521595457 623341568 91962 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=608732 CPUtime=881.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 69421 0 0 0 88154 30 0 0 25 0 4 0 521595457 623341568 91962 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.23
Current children cumulated vsize (KiB) 608732

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.05 9/182 26062
/proc/meminfo: memFree=30167232/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=575376 CPUtime=3757.86 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 473591 0 0 0 375544 242 0 0 25 0 4 0 521595457 589185024 89398 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 143844 89398 393 112 0 138809 0
[pid=25992/tid=25993] ppid=25990 vsize=575376 CPUtime=938.3 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 130402 0 0 0 93742 88 0 0 25 0 4 0 521595457 589185024 89398 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=575376 CPUtime=941.03 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 139099 0 0 0 94049 54 0 0 25 0 4 0 521595457 589185024 89398 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=575376 CPUtime=941.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 72009 0 0 0 94153 31 0 0 25 0 4 0 521595457 589185024 89398 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.86
Current children cumulated vsize (KiB) 575376

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.05 9/182 26064
/proc/meminfo: memFree=30135956/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=587068 CPUtime=3997.45 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 495921 0 0 0 399493 252 0 0 25 0 4 0 521595457 601157632 95067 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 146767 95067 393 112 0 141732 0
[pid=25992/tid=25993] ppid=25990 vsize=587068 CPUtime=998.29 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 136471 0 0 0 99738 91 0 0 25 0 4 0 521595457 601157632 95067 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=587068 CPUtime=1000.96 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 143768 0 0 0 100040 56 0 0 25 0 4 0 521595457 601157632 95067 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=587068 CPUtime=1001.83 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 77095 0 0 0 100150 33 0 0 25 0 4 0 521595457 601157632 95067 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.45
Current children cumulated vsize (KiB) 587068

[startup+1062.31 s]
/proc/loadavg: 8.10 8.09 8.05 9/182 26066
/proc/meminfo: memFree=30140148/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=600588 CPUtime=4237.1 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 507991 0 0 0 423453 257 0 0 25 0 4 0 521595457 615002112 94849 33554432000 4194304 4650419 140733715001200 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 150147 94849 393 112 0 145112 0
[pid=25992/tid=25993] ppid=25990 vsize=600588 CPUtime=1058.29 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 142582 0 0 0 105735 94 0 0 25 0 4 0 521595457 615002112 94849 33554432000 4194304 4650419 140733715001200 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=600588 CPUtime=1060.93 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 145016 0 0 0 106036 57 0 0 25 0 4 0 521595457 615002112 94849 33554432000 4194304 4650419 140733715001200 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=600588 CPUtime=1061.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 78011 0 0 0 106151 33 0 0 25 0 4 0 521595457 615002112 94849 33554432000 4194304 4650419 140733715001200 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.1
Current children cumulated vsize (KiB) 600588

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 8.05 9/182 26067
/proc/meminfo: memFree=30099080/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=614072 CPUtime=4476.71 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 519787 0 0 0 447407 264 0 0 25 0 4 0 521595457 628809728 103631 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 153518 103631 393 112 0 148483 0
[pid=25992/tid=25993] ppid=25990 vsize=614072 CPUtime=1118.28 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 148610 0 0 0 111732 96 0 0 25 0 4 0 521595457 628809728 103631 33554432000 4194304 4650419 140733715001200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=614072 CPUtime=1120.88 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 150090 0 0 0 112027 61 0 0 25 0 4 0 521595457 628809728 103631 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=614072 CPUtime=1121.83 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 78022 0 0 0 112150 33 0 0 25 0 4 0 521595457 628809728 103631 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.71
Current children cumulated vsize (KiB) 614072

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 8.06 9/182 26069
/proc/meminfo: memFree=30093096/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=614172 CPUtime=4716.3 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 535722 0 0 0 471361 269 0 0 25 0 4 0 521595457 628912128 104097 33554432000 4194304 4650419 140733715001200 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 153543 104097 393 112 0 148508 0
[pid=25992/tid=25993] ppid=25990 vsize=614172 CPUtime=1178.28 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 153230 0 0 0 117731 97 0 0 25 0 4 0 521595457 628912128 104097 33554432000 4194304 4650419 140733715001200 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=614172 CPUtime=1180.82 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 155687 0 0 0 118018 64 0 0 25 0 4 0 521595457 628912128 104097 33554432000 4194304 4650419 140733715001200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=614172 CPUtime=1181.83 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 78022 0 0 0 118150 33 0 0 25 0 4 0 521595457 628912128 104097 33554432000 4194304 4650419 140733715001200 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.3
Current children cumulated vsize (KiB) 614172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.12 8.09 8.06 9/182 26070
/proc/meminfo: memFree=30094068/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=614172 CPUtime=4800.19 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 537337 0 0 0 479748 271 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4313443 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 153543 105379 393 112 0 148508 0
[pid=25992/tid=25993] ppid=25990 vsize=614172 CPUtime=1199.29 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 153717 0 0 0 119832 97 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=614172 CPUtime=1201.79 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 155982 0 0 0 120115 64 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=614172 CPUtime=1202.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 78022 0 0 0 120251 33 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 614172

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

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

[startup+1203.3 s]
/proc/loadavg: 8.12 8.09 8.06 9/182 26070
/proc/meminfo: memFree=30094068/32951132 swapFree=67111356/67111528
[pid=25992] ppid=25990 vsize=614172 CPUtime=4800.19 cores=0,2,4,6
/proc/25992/stat : 25992 (strangenight1-m) R 25990 25992 25415 0 -1 4202496 537337 0 0 0 479748 271 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4313443 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25992/statm: 153543 105379 393 112 0 148508 0
[pid=25992/tid=25993] ppid=25990 vsize=614172 CPUtime=1199.29 cores=0,2,4,6
/proc/25992/task/25993/stat : 25993 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 153717 0 0 0 119832 97 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25992/tid=25994] ppid=25990 vsize=614172 CPUtime=1201.79 cores=0,2,4,6
/proc/25992/task/25994/stat : 25994 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 155982 0 0 0 120115 64 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25992/tid=25995] ppid=25990 vsize=614172 CPUtime=1202.84 cores=0,2,4,6
/proc/25992/task/25995/stat : 25995 (strangenight1-m) R 25990 25992 25415 0 -1 4202560 78022 0 0 0 120251 33 0 0 25 0 4 0 521595457 628912128 105379 33554432000 4194304 4650419 140733715001200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 614172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.33
CPU time (s): 4800.24
CPU user time (s): 4797.5
CPU system time (s): 2.73258
CPU usage (%): 398.911
Max. virtual memory (cumulated for all children) (KiB): 667968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.73258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537337
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= 625
involuntary context switches= 21836

runsolver used 1.86472 second user time and 4.55231 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 19:59:18
IDJOB=3175216
IDBENCH=82834
IDSOLVER=1588
FILE ID=node131/3175216-1304099958
RUNJOBID= node131-1304098753-25874
PBS_JOBID= 13170594
Free space on /tmp= 71380 MiB

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

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

MD5SUM BENCH= ac60b7243bf21c022437e3832aafd05d
RANDOM SEED=1623271663

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:      30875008 kB
Buffers:        196048 kB
Cached:        1498076 kB
SwapCached:        168 kB
Active:         165580 kB
Inactive:      1602940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30875008 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12452 kB
Writeback:           0 kB
AnonPages:       74792 kB
Mapped:          15516 kB
Slab:           242748 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   282484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 20:19:24