Trace number 3368825

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.45 1203.45

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368825-1305403990.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.17/0.88	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.88	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.88	c calculated reachability. Time: 0.00
3.17/0.88	c Calc default polars -  time:   0.00 s pos:      46 undec:       2 neg:      52
3.17/0.88	c =========================================================================================
3.17/0.88	c types(t): F = full restart, N = normal restart
3.17/0.88	c types(t): S = simplification begin/end, E = solution found
3.17/0.88	c restart types(rt): st = static, dy = dynamic
3.17/0.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.88	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
3.17/0.88	c Decided on static restart strategy
3.17/0.88	c  N st     8      4922       100      2130         0      4622     10650     99934   no data   no data  --
3.17/0.88	c  N st    10     11304       100      2130         0      4249     10650     73915   no data   no data  --
3.17/0.88	c  N st    11     17047       100      2130         0      9559     10650    187116   no data   no data  --
3.17/0.88	c  F st    12     25002       100      2130         0     11674     10650    231765   no data   no data  --
3.17/0.88	c  N st    12     25002       100      2130         0     11674     10650    231765   no data   no data  --
3.57/0.97	c Decided on static restart strategy
3.57/0.97	c  N st    18     30000       100      2130         0     10047     10650    186434   no data   no data  --
3.57/0.97	c  S st    18     30000       100      2130         0     10047     10650    186434   no data   no data  --
3.57/1.00	c  S st    18     30502       100      2130         0     10530     10650    197245   no data   no data  --
3.57/1.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.57/1.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.57/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.57/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.57/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.40	c lits-rem:      2143  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  1.56 s
5.56/1.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    18     30502       100      2130         0      8735     10650    156303   no data   no data  --
6.76/1.71	c  N st    20     37612       100      2130         0      8034     10650    131404   no data   no data  --
7.96/2.01	c  N st    21     44011       100      2130         0     13913     10650    257306   no data   no data  --
8.38/2.12	c  S st    22     45753       100      2130         0     15527     10650    292170   no data   no data  --
8.38/2.17	c  S st    22     46256       100      2130         0     16010     10650    303055   no data   no data  --
8.38/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.38/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.38/2.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.38/2.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.38/2.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.19/3.36	c lits-rem:      2896  cl-subs:     2239  v-elim:      0  v-fix:    0  time:  4.69 s
13.19/3.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.19/3.36	c vivif2 --  cl tried    13771 cl shrink        0 lits rem          0 time: 0.01
13.54/3.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
13.54/3.42	c calculated reachability. Time: 0.00
13.54/3.42	c  N st    22     46256       100      2130         0     13771     10650    251349   no data   no data  --
16.33/4.19	c  N st    23     60653       100      2130         0      9790     10650    145795   no data   no data  --
18.32/4.64	c  N st    24     69386       100      2130         0     17906     10650    327708   no data   no data  --
18.32/4.64	c  S st    24     69386       100      2130         0     17906     10650    327708   no data   no data  --
18.32/4.69	c  S st    24     69894       100      2130         0     18392     10650    338880   no data   no data  --
18.32/4.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.32/4.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.32/4.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
18.72/4.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.72/4.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.72/4.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.72/4.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.51/5.95	c lits-rem:      3805  cl-subs:     2110  v-elim:      0  v-fix:    0  time:  4.97 s
23.51/5.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.51/5.95	c vivif2 --  cl tried    16282 cl shrink        0 lits rem          0 time: 0.01
23.91/6.03	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.31
23.91/6.03	c calculated reachability. Time: 0.00
23.91/6.03	c  N st    24     69894       100      2130         0     16282     10650    289705   no data   no data  --
28.30/7.15	c  F st    25     87500       100      2130         0     11397     10650    164155   no data   no data  --
28.30/7.15	c  N st    25     87500       100      2130         0     11397     10650    164155   no data   no data  --
29.50/7.42	c Decided on static restart strategy
29.90/7.59	c  N st    32     95541       100      2130         0     18879     10650    326057   no data   no data  --
32.28/8.15	c  N st    34    104843       100      2130         0     15496     10650    246371   no data   no data  --
32.28/8.15	c  S st    34    104843       100      2130         0     15496     10650    246371   no data   no data  --
32.28/8.19	c  S st    34    105348       100      2130         0     15975     10650    257117   no data   no data  --
32.28/8.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.28/8.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.68/8.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.68/8.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.68/8.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.68/8.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.68/8.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.67/9.22	c lits-rem:      1847  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  4.04 s
36.67/9.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.67/9.22	c vivif2 --  cl tried    14735 cl shrink        0 lits rem          0 time: 0.01
36.67/9.29	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
36.67/9.29	c calculated reachability. Time: 0.00
36.67/9.29	c  N st    34    105348       100      2130         0     14735     10650    230462   no data   no data  --
39.51/9.94	c  N st    35    114947       100      2130         0     23619     10650    430459   no data   no data  --
43.06/10.90	c  N st    36    129344       100      2130         0     23993     10650    422256   no data   no data  --
49.04/12.33	c  N st    37    150939       100      2130         0     15329     10650    206112   no data   no data  --
51.04/12.80	c  S st    38    158022       100      2130         0     21925     10650    359424   no data   no data  --
51.04/12.85	c  S st    38    158528       100      2130         0     22413     10650    370182   no data   no data  --
51.04/12.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.04/12.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.04/12.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.04/12.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.04/12.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.04/12.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.04/12.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.83/14.09	c lits-rem:      3502  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  4.88 s
55.83/14.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.23/14.10	c vivif2 --  cl tried    20619 cl shrink        0 lits rem          0 time: 0.01
56.23/14.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
56.23/14.19	c calculated reachability. Time: 0.00
56.23/14.19	c  N st    38    158528       100      2130         0     20619     10650    326416   no data   no data  --
71.39/17.97	c  N st    39    207118       100      2130         0     33146     10650    567318   no data   no data  --
81.75/20.50	c  N st    40    237792       100      2130         0     25481     10650    385466   no data   no data  --
81.75/20.50	c  S st    40    237792       100      2130         0     25481     10650    385466   no data   no data  --
81.75/20.57	c  S st    40    238293       100      2130         0     25968     10650    396224   no data   no data  --
81.75/20.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.75/20.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.75/20.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
81.75/20.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.75/20.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.75/20.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
81.75/20.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.35/21.95	c lits-rem:      2674  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  5.40 s
87.35/21.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
87.35/21.95	c vivif2 --  cl tried    23909 cl shrink        0 lits rem          0 time: 0.01
87.78/22.04	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
87.78/22.04	c calculated reachability. Time: 0.00
87.78/22.04	c  N st    40    238293       100      2130         0     23909     10650    353599   no data   no data  --
110.87/27.85	c  F st    41    306250       100      2130         0     25680     10650    356167   no data   no data  --
110.87/27.85	c  N st    41    306250       100      2130         0     25680     10650    356167   no data   no data  --
112.47/28.28	c Decided on static restart strategy
121.64/30.54	c  N st    51    334556       100      2130         0     29757     10650    433788   no data   no data  --
131.66/33.01	c  N st    53    357439       100      2130         0     27721     10650    373200   no data   no data  --
131.66/33.01	c  S st    53    357439       100      2130         0     27721     10650    373200   no data   no data  --
131.66/33.09	c  S st    53    357944       100      2130         0     28206     10650    384449   no data   no data  --
131.66/33.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
131.66/33.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.01/33.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
132.01/33.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.01/33.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.01/33.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
132.01/33.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.80/34.35	c lits-rem:      1604  cl-subs:     1754  v-elim:      0  v-fix:    0  time:  4.95 s
136.80/34.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
136.80/34.35	c vivif2 --  cl tried    26452 cl shrink        0 lits rem          0 time: 0.02
137.19/34.47	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.46
137.19/34.47	c calculated reachability. Time: 0.00
137.19/34.47	c  N st    53    357944       100      2130         0     26452     10650    349953   no data   no data  --
150.37/37.79	c  N st    54    390338       100      2130         0     32550     10650    473286   no data   no data  --
169.92/42.67	c  N st    55    438927       100      2130         0     26718     10650    327825   no data   no data  --
201.03/50.47	c  N st    56    511810       100      2130         0     39396     10650    580780   no data   no data  --
212.59/53.30	c  N st    57    536917       100      2130         0     33962     10650    447911   no data   no data  --
212.59/53.30	c  S st    57    536917       100      2130         0     33962     10650    447911   no data   no data  --
212.59/53.38	c  S st    57    537428       100      2130         0     34440     10650    458634   no data   no data  --
212.59/53.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
212.59/53.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.59/53.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
212.99/53.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.99/53.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.99/53.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
212.99/53.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.00/54.96	c lits-rem:      1649  cl-subs:     1871  v-elim:      0  v-fix:    0  time:  6.20 s
219.00/54.96	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
219.00/54.97	c vivif2 --  cl tried    32569 cl shrink        0 lits rem          0 time: 0.02
219.77/55.12	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.60
219.77/55.12	c calculated reachability. Time: 0.00
219.77/55.12	c  N st    57    537428       100      2130         0     32569     10650    421985   no data   no data  --
298.76/74.92	c  N st    58    701412       100      2130         0     60056     10650    954839   no data   no data  --
348.23/87.38	c  N st    59    806142       100      2130         0     54425     10650    831485   no data   no data  --
348.23/87.38	c  S st    59    806142       100      2130         0     54425     10650    831485   no data   no data  --
349.03/87.54	c  S st    59    806644       100      2130         0     54898     10650    841905   no data   no data  --
349.03/87.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
349.03/87.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.03/87.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
349.03/87.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
349.03/87.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
349.03/87.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
349.03/87.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.79/92.26	c lits-rem:      5177  cl-subs:     5306  v-elim:      0  v-fix:    0  time: 18.65 s
367.79/92.26	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
367.79/92.27	c vivif2 --  cl tried    49592 cl shrink        0 lits rem          0 time: 0.03
368.97/92.52	c asymm  cl-useful: 0/1757/2130 lits-rem:0 time: 0.98
368.97/92.52	c calculated reachability. Time: 0.00
368.97/92.52	c  N st    59    806644       100      2130         0     49592     10650    735672   no data   no data  --
517.82/129.81	c  F st    60   1071878       100      2130         0     64683     10650    981050   no data   no data  --
517.82/129.81	c  N st    60   1071878       100      2130         0     64683     10650    981050   no data   no data  --
521.36/130.80	c Decided on static restart strategy
535.71/134.34	c  N st    70   1100184       100      2130         0     49575     10650    646190   no data   no data  --
558.45/140.05	c  N st    72   1136179       100      2130         0     82800     10650   1386443   no data   no data  --
579.60/145.31	c  N st    73   1168573       100      2130         0     70248     10650   1071881   no data   no data  --
613.11/153.71	c  N st    74   1209966       100      2130         0     64891     10650    937343   no data   no data  --
613.11/153.71	c  S st    74   1209966       100      2130         0     64891     10650    937343   no data   no data  --
613.93/153.92	c  S st    74   1210466       100      2130         0     65368     10650    948182   no data   no data  --
613.93/153.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
613.93/153.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
613.93/153.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
613.93/153.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
613.93/153.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
613.93/153.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
613.93/153.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
637.04/159.74	c lits-rem:      1319  cl-subs:     6754  v-elim:      0  v-fix:    0  time: 22.97 s
637.04/159.74	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
637.04/159.75	c vivif2 --  cl tried    58614 cl shrink        0 lits rem          0 time: 0.04
638.24/160.02	c asymm  cl-useful: 0/1572/2130 lits-rem:0 time: 1.06
638.24/160.02	c calculated reachability. Time: 0.00
638.24/160.02	c  N st    74   1210466       100      2130         0     58614     10650    817761   no data   no data  --
701.69/175.94	c  N st    75   1283348       100      2130         0     81784     10650   1291550   no data   no data  --
793.42/198.90	c  N st    76   1392671       100      2130         0     91373     10650   1471688   no data   no data  --
931.83/233.64	c  N st    77   1556656       100      2130         0     98850     10650   1611461   no data   no data  --
1047.92/262.70	c  N st    78   1710466       100      2130         0     88713     10650   1346446   no data   no data  --
1047.92/262.70	c  S st    78   1710466       100      2130         0     88713     10650   1346446   no data   no data  --
1048.76/262.96	c  S st    78   1710969       100      2130         0     89195     10650   1357337   no data   no data  --
1048.76/262.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1048.76/262.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1049.11/263.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1049.11/263.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1049.11/263.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1049.11/263.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1049.11/263.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1106.55/277.47	c lits-rem:      4457  cl-subs:    11697  v-elim:      0  v-fix:    0  time: 57.52 s
1106.55/277.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1106.55/277.49	c vivif2 --  cl tried    77498 cl shrink        0 lits rem          0 time: 0.06
1107.35/277.66	c asymm  cl-useful: 0/558/2130 lits-rem:0 time: 0.70
1107.35/277.67	c calculated reachability. Time: 0.00
1107.35/277.67	c  N st    78   1710969       100      2130         0     77498     10650   1137666   no data   no data  --
1425.29/357.40	c  N st    79   2079934       100      2130         0     88831     10650   1270809   no data   no data  --
1542.57/386.72	c  N st    80   2210971       100      2130         0     92569     10650   1348216   no data   no data  --
1542.57/386.72	c  S st    80   2210971       100      2130         0     92569     10650   1348216   no data   no data  --
1543.77/387.06	c  S st    80   2211476       100      2130         0     93045     10650   1359193   no data   no data  --
1543.77/387.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1543.77/387.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1544.19/387.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1544.19/387.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1544.19/387.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1544.19/387.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1544.19/387.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1608.38/403.20	c lits-rem:      7171  cl-subs:    10592  v-elim:      0  v-fix:    0  time: 63.97 s
1608.38/403.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1608.38/403.22	c vivif2 --  cl tried    82453 cl shrink        0 lits rem          0 time: 0.06
1609.58/403.54	c asymm  cl-useful: 0/1130/2130 lits-rem:0 time: 1.28
1609.58/403.54	c calculated reachability. Time: 0.00
1609.58/403.54	c  N st    80   2211476       100      2130         0     82453     10650   1155705   no data   no data  --
2124.57/532.68	c  N st    81   2711477       100      2130         0    104920     10650   1546505   no data   no data  --
2124.57/532.68	c  S st    81   2711477       100      2130         0    104920     10650   1546505   no data   no data  --
2126.17/533.03	c  S st    81   2711981       100      2130         0    105402     10650   1557761   no data   no data  --
2126.17/533.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2126.17/533.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2126.17/533.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2126.57/533.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2126.57/533.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2126.57/533.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2126.57/533.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2214.32/555.16	c lits-rem:      1991  cl-subs:    13049  v-elim:      0  v-fix:    0  time: 87.81 s
2214.32/555.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2214.32/555.17	c vivif2 --  cl tried    92353 cl shrink        0 lits rem          0 time: 0.07
2215.96/555.51	c asymm  cl-useful: 0/844/2130 lits-rem:0 time: 1.34
2215.96/555.52	c calculated reachability. Time: 0.00
2215.96/555.52	c  N st    81   2711981       100      2130         0     92353     10650   1308549   no data   no data  --
2791.55/699.80	c  N st    82   3211981       100      2130         0    141906     10650   2252458   no data   no data  --
2791.55/699.80	c  S st    82   3211981       100      2130         0    141906     10650   2252458   no data   no data  --
2794.76/700.64	c  S st    82   3212486       100      2130         0     71303     10650    757018   no data   no data  --
2794.76/700.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2794.76/700.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2794.76/700.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2794.76/700.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2794.76/700.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2794.76/700.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2794.76/700.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2811.50/704.82	c lits-rem:       245  cl-subs:       68  v-elim:      0  v-fix:    0  time: 16.42 s
2811.50/704.82	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2811.50/704.83	c vivif2 --  cl tried    71235 cl shrink        0 lits rem          0 time: 0.04
2812.31/705.10	c asymm  cl-useful: 0/1390/2130 lits-rem:0 time: 1.09
2812.31/705.10	c calculated reachability. Time: 0.00
2812.31/705.10	c  N st    82   3212486       100      2130         0     71235     10650    755428   no data   no data  --
3407.88/854.39	c  N st    83   3712487       100      2130         0     80924     10650    898153   no data   no data  --
3407.88/854.39	c  S st    83   3712487       100      2130         0     80924     10650    898153   no data   no data  --
3409.09/854.64	c  S st    83   3712988       100      2130         0     81408     10650    909075   no data   no data  --
3409.09/854.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3409.09/854.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3409.09/854.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3409.09/854.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3409.09/854.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3409.09/854.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3409.09/854.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3431.03/860.19	c lits-rem:       689  cl-subs:     1713  v-elim:      0  v-fix:    0  time: 21.87 s
3431.03/860.19	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3431.03/860.21	c vivif2 --  cl tried    79695 cl shrink        0 lits rem          0 time: 0.05
3432.20/860.44	c asymm  cl-useful: 0/740/2130 lits-rem:0 time: 0.94
3432.20/860.44	c calculated reachability. Time: 0.00
3432.20/860.44	c  N st    83   3712988       100      2130         0     79695     10650    879882   no data   no data  --
3474.91/871.20	c  F st    84   3751563       100      2130         0    115205     10650   1681463   no data   no data  --
3474.91/871.20	c  N st    84   3751563       100      2130         0    115205     10650   1681463   no data   no data  --
3484.46/873.54	c Decided on static restart strategy
3522.77/883.14	c  N st    94   3779874       100      2130         0    141284     10650   2269976   no data   no data  --
3568.23/894.55	c  N st    96   3815867       100      2130         0     96674     10650   1227345   no data   no data  --
3610.13/905.04	c  N st    97   3848259       100      2130         0    126311     10650   1851845   no data   no data  --
3694.30/926.13	c  N st    98   3896847       100      2130         0     92062     10650   1112505   no data   no data  --
3797.19/951.97	c  N st    99   3969729       100      2130         0    158890     10650   2606030   no data   no data  --
3931.66/985.63	c  N st   100   4079052       100      2130         0     98950     10650   1253675   no data   no data  --
4099.15/1027.61	c  N st   101   4212988       100      2130         0    139499     10650   2056270   no data   no data  --
4099.15/1027.61	c  S st   101   4212988       100      2130         0    139499     10650   2056270   no data   no data  --
4101.14/1028.12	c  S st   101   4213499       100      2130         0    139979     10650   2067755   no data   no data  --
4101.14/1028.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4101.14/1028.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4101.54/1028.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4101.54/1028.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4101.54/1028.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4101.54/1028.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4101.54/1028.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4336.86/1087.25	c lits-rem:      6271  cl-subs:    20440  v-elim:      0  v-fix:    0  time: 235.14 s
4336.86/1087.25	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4336.86/1087.27	c vivif2 --  cl tried   119539 cl shrink        0 lits rem          0 time: 0.09
4338.46/1087.63	c asymm  cl-useful: 0/753/2130 lits-rem:0 time: 1.45
4338.46/1087.64	c calculated reachability. Time: 0.00
4338.46/1087.64	c  N st   101   4213499       100      2130         0    119539     10650   1685962   no data   no data  --
4727.73/1185.24	c  N st   102   4459476       100      2130         0     96251     10650   1138739   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368825-1305403990/watcher-3368825-1305403990 -o /tmp/evaluation-result-3368825-1305403990/solver-3368825-1305403990 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368825-1305403990.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.43 7.97 8.05 4/348 3157
/proc/meminfo: memFree=26252020/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 652001604 52465664 353 33554432000 4194304 4650419 140736383426240 18446744073709551615 47842348386226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 12809 353 303 112 0 7774 0
[pid=3157/tid=3158] ppid=3155 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652001604 52465664 353 33554432000 4194304 4650419 140736383426240 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652001604 52465664 353 33554432000 4194304 4650419 140736383426240 18446744073709551615 47842348386216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652001604 52465664 353 33554432000 4194304 4650419 140736383426240 18446744073709551615 47842348386226 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.099244 s]
/proc/loadavg: 7.43 7.97 8.05 4/348 3157
/proc/meminfo: memFree=26252020/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=282544 CPUtime=0.37 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 1710 0 0 0 37 0 0 0 18 0 4 0 652001604 289325056 1560 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 70636 1560 389 112 0 65601 0
[pid=3157/tid=3158] ppid=3155 vsize=282544 CPUtime=0.08 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 333 0 0 0 8 0 0 0 20 0 4 0 652001604 289325056 1560 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=282544 CPUtime=0.09 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 339 0 0 0 9 0 0 0 18 0 4 0 652001604 289325056 1560 33554432000 4194304 4650419 140736383426240 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=282544 CPUtime=0.09 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 260 0 0 0 9 0 0 0 18 0 4 0 652001604 289325056 1560 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282544

[startup+0.100244 s]
/proc/loadavg: 7.43 7.97 8.05 4/348 3157
/proc/meminfo: memFree=26252020/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=282544 CPUtime=0.37 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 1713 0 0 0 37 0 0 0 18 0 4 0 652001604 289325056 1563 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 70636 1563 389 112 0 65601 0
[pid=3157/tid=3158] ppid=3155 vsize=282544 CPUtime=0.08 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 333 0 0 0 8 0 0 0 20 0 4 0 652001604 289325056 1563 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=282544 CPUtime=0.09 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 340 0 0 0 9 0 0 0 18 0 4 0 652001604 289325056 1563 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=282544 CPUtime=0.09 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 261 0 0 0 9 0 0 0 18 0 4 0 652001604 289325056 1563 33554432000 4194304 4650419 140736383426240 18446744073709551615 4332586 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282544

[startup+0.300207 s]
/proc/loadavg: 7.43 7.97 8.05 4/348 3157
/proc/meminfo: memFree=26252020/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=283832 CPUtime=1.17 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 2863 0 0 0 117 0 0 0 18 0 4 0 652001604 290643968 2194 33554432000 4194304 4650419 140736383426240 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 70958 2194 391 112 0 65923 0
[pid=3157/tid=3158] ppid=3155 vsize=283832 CPUtime=0.28 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 625 0 0 0 28 0 0 0 20 0 4 0 652001604 290643968 2194 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=283832 CPUtime=0.29 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 627 0 0 0 29 0 0 0 18 0 4 0 652001604 290643968 2194 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=283832 CPUtime=0.29 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 546 0 0 0 29 0 0 0 18 0 4 0 652001604 290643968 2194 33554432000 4194304 4650419 140736383426240 18446744073709551615 4339877 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283832

[startup+0.701137 s]
/proc/loadavg: 7.43 7.97 8.05 4/348 3157
/proc/meminfo: memFree=26252020/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=285344 CPUtime=2.77 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 5115 0 0 0 277 0 0 0 18 0 4 0 652001604 292192256 2627 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 71336 2627 391 112 0 66301 0
[pid=3157/tid=3158] ppid=3155 vsize=285344 CPUtime=0.68 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 1197 0 0 0 68 0 0 0 21 0 4 0 652001604 292192256 2627 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=285344 CPUtime=0.69 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 1208 0 0 0 69 0 0 0 18 0 4 0 652001604 292192256 2627 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=285344 CPUtime=0.69 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 1073 0 0 0 69 0 0 0 18 0 4 0 652001604 292192256 2627 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285344

[startup+1.501 s]
/proc/loadavg: 7.43 7.97 8.05 11/356 3165
/proc/meminfo: memFree=26230504/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=277616 CPUtime=5.96 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 10086 0 0 0 595 1 0 0 19 0 4 0 652001604 284278784 5396 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 69404 5396 393 112 0 64369 0
[pid=3157/tid=3158] ppid=3155 vsize=277616 CPUtime=1.46 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 2924 0 0 0 146 0 0 0 23 0 4 0 652001604 284278784 5397 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=277616 CPUtime=1.49 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 2052 0 0 0 149 0 0 0 20 0 4 0 652001604 284278784 5397 33554432000 4194304 4650419 140736383426240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=277616 CPUtime=1.49 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 1832 0 0 0 149 0 0 0 20 0 4 0 652001604 284278784 5397 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277616

[startup+3.10072 s]
/proc/loadavg: 7.43 7.97 8.05 10/356 3165
/proc/meminfo: memFree=26198400/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=285744 CPUtime=12.35 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 16880 0 0 0 1233 2 0 0 25 0 4 0 652001604 292601856 9992 33554432000 4194304 4650419 140736383426240 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 71436 9992 393 112 0 66401 0
[pid=3157/tid=3158] ppid=3155 vsize=285744 CPUtime=3.05 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 3920 0 0 0 305 0 0 0 25 0 4 0 652001604 292601856 9992 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=285744 CPUtime=3.09 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 4052 0 0 0 309 0 0 0 25 0 4 0 652001604 292601856 9993 33554432000 4194304 4650419 140736383426240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=285744 CPUtime=3.09 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 4272 0 0 0 309 0 0 0 25 0 4 0 652001604 292601856 9993 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285744

[startup+6.30116 s]
/proc/loadavg: 7.48 7.97 8.05 10/356 3165
/proc/meminfo: memFree=26165420/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=298368 CPUtime=25.11 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 25066 0 0 0 2508 3 0 0 25 0 4 0 652001604 305528832 13220 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 74592 13220 393 112 0 69557 0
[pid=3157/tid=3158] ppid=3155 vsize=298368 CPUtime=6.22 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 6389 0 0 0 621 1 0 0 25 0 4 0 652001604 305528832 13220 33554432000 4194304 4650419 140736383426240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=298368 CPUtime=6.28 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 6548 0 0 0 628 0 0 0 25 0 4 0 652001604 305528832 13220 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=298368 CPUtime=6.29 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 5915 0 0 0 629 0 0 0 25 0 4 0 652001604 305528832 13220 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 298368

[startup+12.701 s]
/proc/loadavg: 7.60 7.99 8.05 9/356 3197
/proc/meminfo: memFree=26130968/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=281132 CPUtime=50.64 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 38575 0 0 0 5058 6 0 0 25 0 4 0 652001604 287879168 17622 33554432000 4194304 4650419 140736383426240 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 70283 17622 393 112 0 65248 0
[pid=3157/tid=3158] ppid=3155 vsize=281132 CPUtime=12.55 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 10029 0 0 0 1253 2 0 0 25 0 4 0 652001604 287879168 17622 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=281132 CPUtime=12.68 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 9757 0 0 0 1267 1 0 0 25 0 4 0 652001604 287879168 17622 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=281132 CPUtime=12.69 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 9201 0 0 0 1268 1 0 0 25 0 4 0 652001604 287879168 17622 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 281132

[startup+25.5008 s]
/proc/loadavg: 7.69 7.99 8.05 10/356 3197
/proc/meminfo: memFree=26065148/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=287060 CPUtime=101.7 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 59251 0 0 0 10158 12 0 0 25 0 4 0 652001604 293949440 22369 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 71765 22369 393 112 0 66730 0
[pid=3157/tid=3158] ppid=3155 vsize=287060 CPUtime=25.2 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 16265 0 0 0 2517 3 0 0 25 0 4 0 652001604 293949440 22369 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=287060 CPUtime=25.48 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 15765 0 0 0 2546 2 0 0 25 0 4 0 652001604 293949440 22369 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=287060 CPUtime=25.49 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 12107 0 0 0 2547 2 0 0 25 0 4 0 652001604 293949440 22369 33554432000 4194304 4650419 140736383426240 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 287060

[startup+51.1003 s]
/proc/loadavg: 7.87 8.00 8.05 9/356 3198
/proc/meminfo: memFree=26013232/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=303404 CPUtime=203.82 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 88676 0 0 0 20363 19 0 0 25 0 4 0 652001604 310685696 27132 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 75851 27132 393 112 0 70816 0
[pid=3157/tid=3158] ppid=3155 vsize=303404 CPUtime=50.53 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 25270 0 0 0 5047 6 0 0 25 0 4 0 652001604 310685696 27132 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=303404 CPUtime=51.09 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 24479 0 0 0 5104 5 0 0 25 0 4 0 652001604 310685696 27132 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=303404 CPUtime=51.09 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 16106 0 0 0 5106 3 0 0 25 0 4 0 652001604 310685696 27132 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 303404

[startup+102.313 s]
/proc/loadavg: 8.06 8.03 8.06 9/356 3199
/proc/meminfo: memFree=25927728/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=302532 CPUtime=408.11 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 139385 0 0 0 40777 34 0 0 25 0 4 0 652001604 309792768 36960 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 75633 36960 393 112 0 70598 0
[pid=3157/tid=3158] ppid=3155 vsize=302532 CPUtime=101.17 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 37328 0 0 0 10107 10 0 0 25 0 4 0 652001604 309792768 36960 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=302532 CPUtime=102.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 39021 0 0 0 10221 9 0 0 25 0 4 0 652001604 309792768 36960 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=302532 CPUtime=102.3 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 24510 0 0 0 10226 4 0 0 25 0 4 0 652001604 309792768 36960 33554432000 4194304 4650419 140736383426240 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 302532

[startup+162.301 s]

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

[pid=3157] ppid=3155 vsize=536612 CPUtime=2562.19 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 407001 0 0 0 256067 152 0 0 25 0 4 0 652001604 549490688 76513 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 134153 76513 393 112 0 129118 0
[pid=3157/tid=3158] ppid=3155 vsize=536612 CPUtime=635.25 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 98015 0 0 0 63488 37 0 0 25 0 4 0 652001604 549490688 76515 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=536612 CPUtime=642.31 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 116117 0 0 0 64186 45 0 0 25 0 4 0 652001604 549490688 76515 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=536612 CPUtime=642.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 65211 0 0 0 64207 24 0 0 25 0 4 0 652001604 549490688 76515 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.19
Current children cumulated vsize (KiB) 536612

[startup+702.301 s]
/proc/loadavg: 8.07 8.08 8.08 9/356 3219
/proc/meminfo: memFree=25632680/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=536868 CPUtime=2801.53 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 431081 0 0 0 279987 166 0 0 25 0 4 0 652001604 549752832 79645 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 134217 79645 393 112 0 129182 0
[pid=3157/tid=3158] ppid=3155 vsize=536868 CPUtime=694.58 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 103059 0 0 0 69419 39 0 0 25 0 4 0 652001604 549752832 79645 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=536868 CPUtime=702.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 122367 0 0 0 70181 49 0 0 25 0 4 0 652001604 549752832 79645 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=536868 CPUtime=702.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 69903 0 0 0 70203 28 0 0 25 0 4 0 652001604 549752832 79645 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 536868

[startup+762.313 s]
/proc/loadavg: 8.11 8.10 8.08 9/356 3221
/proc/meminfo: memFree=25587012/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=537152 CPUtime=3040.92 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 453972 0 0 0 303914 178 0 0 25 0 4 0 652001604 550043648 82430 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 134288 82430 393 112 0 129253 0
[pid=3157/tid=3158] ppid=3155 vsize=537152 CPUtime=753.94 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 107903 0 0 0 75351 43 0 0 25 0 4 0 652001604 550043648 82430 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=537152 CPUtime=762.31 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 129408 0 0 0 76179 52 0 0 25 0 4 0 652001604 550043648 82430 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=537152 CPUtime=762.32 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 73255 0 0 0 76203 29 0 0 25 0 4 0 652001604 550043648 82430 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.92
Current children cumulated vsize (KiB) 537152

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.09 9/356 3222
/proc/meminfo: memFree=25622184/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=546632 CPUtime=3280.22 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 472929 0 0 0 327834 188 0 0 25 0 4 0 652001604 559751168 82003 33554432000 4194304 4650419 140736383426240 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 136658 82003 393 112 0 131623 0
[pid=3157/tid=3158] ppid=3155 vsize=546632 CPUtime=813.27 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 112220 0 0 0 81282 45 0 0 25 0 4 0 652001604 559751168 82003 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=546632 CPUtime=822.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 135394 0 0 0 82175 55 0 0 25 0 4 0 652001604 559751168 82003 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=546632 CPUtime=822.3 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 74883 0 0 0 82200 30 0 0 25 0 4 0 652001604 559751168 82003 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.22
Current children cumulated vsize (KiB) 546632

[startup+882.301 s]
/proc/loadavg: 8.11 8.11 8.09 9/356 3224
/proc/meminfo: memFree=25582468/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=585296 CPUtime=3519.57 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 498819 0 0 0 351757 200 0 0 25 0 4 0 652001604 599343104 90907 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 146324 90907 393 112 0 141289 0
[pid=3157/tid=3158] ppid=3155 vsize=585296 CPUtime=872.62 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 119942 0 0 0 87213 49 0 0 25 0 4 0 652001604 599343104 90907 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=585296 CPUtime=882.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 141351 0 0 0 88172 58 0 0 25 0 4 0 652001604 599343104 90907 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=585296 CPUtime=882.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 79131 0 0 0 88199 32 0 0 25 0 4 0 652001604 599343104 90907 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 585296

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 8.09 9/356 3225
/proc/meminfo: memFree=25536300/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=585480 CPUtime=3758.9 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 514514 0 0 0 375682 208 0 0 25 0 4 0 652001604 599531520 90687 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 146370 90687 393 112 0 141335 0
[pid=3157/tid=3158] ppid=3155 vsize=585480 CPUtime=931.95 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 126064 0 0 0 93144 51 0 0 25 0 4 0 652001604 599531520 90687 33554432000 4194304 4650419 140736383426240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=585480 CPUtime=942.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 142506 0 0 0 94172 58 0 0 25 0 4 0 652001604 599531520 90687 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=585480 CPUtime=942.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 81043 0 0 0 94198 33 0 0 25 0 4 0 652001604 599531520 90687 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.9
Current children cumulated vsize (KiB) 585480

[startup+1002.3 s]
/proc/loadavg: 8.06 8.10 8.09 9/356 3227
/proc/meminfo: memFree=25498816/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=575420 CPUtime=3998.22 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 532064 0 0 0 399602 220 0 0 25 0 4 0 652001604 589230080 98034 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 143855 98034 393 112 0 138820 0
[pid=3157/tid=3158] ppid=3155 vsize=575420 CPUtime=991.27 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 132800 0 0 0 99072 55 0 0 25 0 4 0 652001604 589230080 98034 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=575420 CPUtime=1002.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 142619 0 0 0 100172 58 0 0 25 0 4 0 652001604 589230080 98034 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=575420 CPUtime=1002.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 84898 0 0 0 100195 36 0 0 25 0 4 0 652001604 589230080 98034 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.22
Current children cumulated vsize (KiB) 575420

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/356 3229
/proc/meminfo: memFree=25477968/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=588860 CPUtime=4237.55 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 549433 0 0 0 423525 230 0 0 25 0 4 0 652001604 602992640 103222 33554432000 4194304 4650419 140736383426240 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 147215 103222 393 112 0 142180 0
[pid=3157/tid=3158] ppid=3155 vsize=588860 CPUtime=1050.58 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 136387 0 0 0 105001 57 0 0 25 0 4 0 652001604 602992640 103222 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=588860 CPUtime=1062.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 146405 0 0 0 106168 62 0 0 25 0 4 0 652001604 602992640 103222 33554432000 4194304 4650419 140736383426240 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=588860 CPUtime=1062.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 87298 0 0 0 106194 37 0 0 25 0 4 0 652001604 602992640 103222 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.55
Current children cumulated vsize (KiB) 588860

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.08 9/356 3230
/proc/meminfo: memFree=25457212/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=602324 CPUtime=4476.86 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 561252 0 0 0 447450 236 0 0 25 0 4 0 652001604 616779776 107082 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 150581 107082 393 112 0 145546 0
[pid=3157/tid=3158] ppid=3155 vsize=602324 CPUtime=1109.89 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 141293 0 0 0 110930 59 0 0 25 0 4 0 652001604 616779776 107082 33554432000 4194304 4650419 140736383426240 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=602324 CPUtime=1122.3 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 146472 0 0 0 112168 62 0 0 25 0 4 0 652001604 616779776 107082 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=602324 CPUtime=1122.31 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 90149 0 0 0 112192 39 0 0 25 0 4 0 652001604 616779776 107082 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.86
Current children cumulated vsize (KiB) 602324

[startup+1182.3 s]
/proc/loadavg: 8.18 8.10 8.09 9/356 3232
/proc/meminfo: memFree=25462024/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=602432 CPUtime=4716.16 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 571188 0 0 0 471374 242 0 0 25 0 4 0 652001604 616890368 104776 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 150608 104776 393 112 0 145573 0
[pid=3157/tid=3158] ppid=3155 vsize=602432 CPUtime=1169.2 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 144322 0 0 0 116860 60 0 0 25 0 4 0 652001604 616890368 104776 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=602432 CPUtime=1182.31 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 147106 0 0 0 118168 63 0 0 25 0 4 0 652001604 616890368 104776 33554432000 4194304 4650419 140736383426240 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=602432 CPUtime=1182.32 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 91000 0 0 0 118192 40 0 0 25 0 4 0 652001604 616890368 104776 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.16
Current children cumulated vsize (KiB) 602432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.11 8.09 8.09 9/356 3232
/proc/meminfo: memFree=25444900/32951124 swapFree=53501236/67111528
[pid=3157] ppid=3155 vsize=602432 CPUtime=4800.38 cores=1,3,5,7
/proc/3157/stat : 3157 (strangenight1-m) R 3155 3157 2586 0 -1 4202496 574384 0 0 0 479794 244 0 0 25 0 4 0 652001604 616890368 106887 33554432000 4194304 4650419 140736383426240 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3157/statm: 150608 106887 393 112 0 145573 0
[pid=3157/tid=3158] ppid=3155 vsize=602432 CPUtime=1190.05 cores=1,3,5,7
/proc/3157/task/3158/stat : 3158 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 145133 0 0 0 118945 60 0 0 25 0 4 0 652001604 616890368 106888 33554432000 4194304 4650419 140736383426240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3157/tid=3160] ppid=3155 vsize=602432 CPUtime=1203.44 cores=1,3,5,7
/proc/3157/task/3160/stat : 3160 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 147106 0 0 0 120281 63 0 0 25 0 4 0 652001604 616890368 106888 33554432000 4194304 4650419 140736383426240 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3157/tid=3162] ppid=3155 vsize=602432 CPUtime=1203.44 cores=1,3,5,7
/proc/3157/task/3162/stat : 3162 (strangenight1-m) R 3155 3157 2586 0 -1 4202560 92277 0 0 0 120304 40 0 0 25 0 4 0 652001604 616890368 106888 33554432000 4194304 4650419 140736383426240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 602432

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.45
CPU user time (s): 4797.99
CPU system time (s): 2.46263
CPU usage (%): 398.89
Max. virtual memory (cumulated for all children) (KiB): 656220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.46263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574386
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= 291
involuntary context switches= 32737

runsolver used 3.48047 second user time and 9.91449 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 22:13:10
IDJOB=3368825
IDBENCH=82834
IDSOLVER=1846
FILE ID=node103/3368825-1305403990
RUNJOBID= node103-1305403990-3134
PBS_JOBID= 13324472
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368825-1305403990/watcher-3368825-1305403990 -o /tmp/evaluation-result-3368825-1305403990/solver-3368825-1305403990 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368825-1305403990.cnf

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

MD5SUM BENCH= ac60b7243bf21c022437e3832aafd05d
RANDOM SEED=1904290180

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26252200 kB
Buffers:        297468 kB
Cached:        3866184 kB
SwapCached:     340192 kB
Active:        1319168 kB
Inactive:      5109776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26252200 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           12496 kB
Writeback:           0 kB
AnonPages:     1935644 kB
Mapped:          10196 kB
Slab:           151572 kB
PageTables:      53100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78285656 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= 72980 MiB
End job on node103 at 2011-05-14 22:33:15