Trace number 3175198

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.41 1201.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
MD5SUM0b3e0de9aa59dd098eea77ce3aaba6c9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031995
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175198-1304097877.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.00	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.00	c -- vars added        700
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
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:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     323 undec:      76 neg:     301
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       680      2948         0         0      8954         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.00/0.18	c  N st     8      4915       680      2948         0      4875      8954    149526   no data   no data  --
0.00/0.45	c  N st    10     11297       680      2948         0      4524      8954     94753   no data   no data  --
0.00/0.74	c  N st    11     17042       680      2948         0     10197      8954    273182   no data   no data  --
4.41/1.18	c  F st    12     25000       680      2948         0     12498      8954    341695   no data   no data  --
4.41/1.18	c  N st    12     25000       680      2948         0     12498      8954    341695   no data   no data  --
5.61/1.45	c  N dy    18     30000       680      2948         0     10744      8954    265045   no data   no data  --
5.61/1.45	c  S st    18     30000       680      2948         0     10744      8954    265045   no data   no data  --
5.61/1.48	c  S st    18     30502       680      2948         0     11246      8954    279163   no data   no data  --
5.61/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.61/1.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.61/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.61/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.61/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.61/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
5.61/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.19/1.82	c lits-rem:        95  cl-subs:      213  v-elim:      0  v-fix:    0  time:  1.29 s
7.19/1.83	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.04
7.19/1.83	c calculated reachability. Time: 0.00
7.19/1.83	c  N dy    18     30502       680      2948         0     11033      8954    270516   no data   no data  --
8.36/2.15	c  N dy    23     35665       680      2948         0      8287      8954    127809     19.29     20.33  --
9.57/2.45	c  N dy    45     41274       680      2948         0     13859      8954    289285     19.11     20.13  --
10.77/2.77	c  N dy    67     45753       680      2948         0      9428      8954    127937     19.21     16.71  --
10.77/2.77	c  S st    67     45753       680      2948         0      9428      8954    127937     19.21     16.71  --
11.17/2.80	c  S st    67     46260       680      2948         0      9935      8954    142544     19.21   no data  --
11.17/2.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.17/2.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.17/2.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.17/2.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.17/2.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.17/2.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
11.17/2.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.58/2.91	c lits-rem:        30  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.41 s
11.58/2.91	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
11.58/2.92	c vivif2 --  cl tried     9909 cl shrink        0 lits rem          0 time: 0.01
11.58/2.92	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.03
11.58/2.92	c calculated reachability. Time: 0.00
11.58/2.93	c  N dy    67     46260       680      2948         0      9909      8954    141771     19.21   no data  --
12.36/3.16	c  N dy    89     50398       680      2948         0     14022      8954    258901     19.39     20.55  --
13.56/3.44	c  N dy   113     54492       680      2948         0     18087      8954    375569     19.51     21.71  --
14.76/3.76	c  N dy   137     59346       680      2948         0     13000      8954    204043     19.56     20.60  --
15.97/4.02	c  N dy   157     63359       680      2948         0     16984      8954    319705     19.59     21.31  --
17.16/4.35	c  N dy   174     67751       680      2948         0     21345      8954    444813     19.56     20.66  --
17.56/4.47	c  S st   183     69390       680      2948         0     12057      8954    150898     19.56     17.69  --
17.96/4.50	c  S st   183     69892       680      2948         0     12558      8954    165266     19.56   no data  --
17.96/4.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.96/4.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.96/4.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.96/4.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.96/4.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.96/4.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
17.96/4.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.36/4.69	c lits-rem:        44  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.69 s
18.36/4.69	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
18.36/4.69	c vivif2 --  cl tried    12529 cl shrink        0 lits rem          0 time: 0.01
18.76/4.70	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.04
18.76/4.70	c calculated reachability. Time: 0.00
18.76/4.70	c  N dy   183     69892       680      2948         0     12529      8954    164308     19.56   no data  --
19.96/5.05	c  N dy   196     75101       680      2948         0     17705      8954    315554     19.43     20.55  --
21.55/5.43	c  N dy   212     79909       680      2948         0     22470      8954    452959     19.37     20.48  --
23.55/5.90	c  N dy   227     86381       680      2948         0     16972      8954    266178     19.27     20.40  --
23.55/5.98	c  F st   232     87500       680      2948         0     18081      8954    298581     19.27     18.33  --
25.17/6.37	c  N dy   238     92694       680      2948         0     23236      8954    463775     19.27   no data  --
27.54/6.97	c  N dy   268    100185       680      2948         0     17793      8954    269024     19.22     20.51  --
29.15/7.36	c  S st   304    104840       680      2948         0     22417      8954    402957     19.33   no data  --
29.55/7.41	c  S st   304    105344       680      2948         0     22921      8954    417447     19.33   no data  --
29.55/7.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.55/7.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.55/7.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.55/7.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.55/7.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.55/7.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
29.55/7.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.95/8.59	c lits-rem:       207  cl-subs:      172  v-elim:      0  v-fix:    0  time:  4.61 s
33.95/8.59	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
34.33/8.60	c vivif2 --  cl tried    22749 cl shrink        0 lits rem          0 time: 0.02
34.33/8.62	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.10
34.33/8.62	c calculated reachability. Time: 0.00
34.33/8.62	c  N dy   304    105344       680      2948         0     22749      8954    411194     19.33   no data  --
36.73/9.26	c  N dy   353    112067       680      2948         0     15520      8954    180393     19.46     21.03  --
39.12/9.82	c  N dy   379    119292       680      2948         0     22684      8954    382715     19.43     21.90  --
42.34/10.62	c  N dy   417    127022       680      2948         0     15479      8954    155348     19.46     20.91  --
44.72/11.28	c  N dy   447    135162       680      2948         0     23571      8954    391216     19.44     24.67  --
48.71/12.23	c  N dy   498    143811       680      2948         0     16264      8954    155717     19.49     20.81  --
51.54/12.97	c  N dy   543    153074       680      2948         0     25472      8954    424254     19.53     21.73  --
53.51/13.48	c  S st   563    158017       680      2948         0     30376      8954    565940     19.53     16.91  --
53.91/13.55	c  S st   563    158522       680      2948         0     30881      8954    580821     19.53   no data  --
53.91/13.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.91/13.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.91/13.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.91/13.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.91/13.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.91/13.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
53.91/13.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61.50/15.41	c lits-rem:       479  cl-subs:      341  v-elim:      0  v-fix:    0  time:  7.29 s
61.50/15.41	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
61.50/15.42	c vivif2 --  cl tried    30540 cl shrink        0 lits rem          0 time: 0.02
61.50/15.44	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.10
61.50/15.44	c calculated reachability. Time: 0.00
61.50/15.44	c  N dy   563    158522       680      2948         0     30540      8954    568627     19.53   no data  --
65.09/16.37	c  N dy   607    168880       680      2948         0     23955      8954    354884     19.52     20.57  --
70.29/17.69	c  N dy   651    181159       680      2948         0     18254      8954    164475     19.48     20.51  --
74.68/18.79	c  N dy   710    192908       680      2948         0     29931      8954    504520     19.51     20.54  --
80.68/20.28	c  N dy   784    205289       680      2948         0     23368      8954    290761     19.58     22.80  --
86.70/21.75	c  N dy   843    218622       680      2948         0     36573      8954    677311     19.62     20.78  --
93.46/23.42	c  N dy   904    232665       680      2948         0     30666      8954    480635     19.62     20.77  --
96.25/24.14	c  S st   942    237783       680      2948         0     35747      8954    629661     19.65     20.30  --
96.65/24.23	c  S st   942    238293       680      2948         0     36257      8954    643977     19.65   no data  --
96.65/24.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
96.65/24.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.65/24.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
96.65/24.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.65/24.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.65/24.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
96.65/24.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.45/26.44	c lits-rem:       524  cl-subs:      361  v-elim:      0  v-fix:    0  time:  8.66 s
105.45/26.44	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
105.45/26.45	c vivif2 --  cl tried    35896 cl shrink        0 lits rem          0 time: 0.03
105.45/26.48	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.12
105.45/26.48	c calculated reachability. Time: 0.00
105.45/26.48	c  N dy   942    238293       680      2948         0     35896      8954    630962     19.65   no data  --
112.23/28.18	c  N dy  1007    253539       680      2948         0     30170      8954    444920     19.67     20.71  --
121.45/30.46	c  N dy  1089    271402       680      2948         0     26059      8954    297030     19.69     20.79  --
129.82/32.57	c  N dy  1150    288778       680      2948         0     43283      8954    793491     19.68     20.79  --
138.21/34.68	c  F st  1238    306250       680      2948         0     37821      8954    620222     19.71     19.66  --
139.02/34.84	c  N st  1241    307442       680      2948         0     39003      8954    655598     19.71   no data  --
141.40/35.42	c Decided on static restart strategy
152.98/38.38	c  N st  1248    334562       680      2948         0     42024      8954    961852     19.71   no data  --
165.79/41.57	c  N st  1250    357442       680      2948         0     39867      8954    938498     19.71   no data  --
165.79/41.57	c  S st  1250    357442       680      2948         0     39867      8954    938498     19.71   no data  --
166.17/41.68	c  S st  1250    357944       680      2948         0     40369      8954    952597     19.71   no data  --
166.17/41.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.17/41.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.57/41.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
166.57/41.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.57/41.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.57/41.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
166.57/41.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.55/44.29	c lits-rem:       575  cl-subs:     1634  v-elim:      0  v-fix:    0  time: 10.21 s
176.55/44.29	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
176.95/44.30	c vivif2 --  cl tried    38735 cl shrink        0 lits rem          0 time: 0.04
176.95/44.34	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.17
176.95/44.34	c calculated reachability. Time: 0.00
176.95/44.34	c  N st  1250    357944       680      2948         0     38735      8954    895451     19.71   no data  --
194.92/48.80	c  N st  1251    390336       680      2948         0     44909      8954   1047852     19.71   no data  --
222.91/55.86	c  N st  1252    438924       680      2948         0     38727      8954    803983     19.71   no data  --
275.64/69.04	c  N st  1253    511806       680      2948         0     52157      8954   1196858     19.71   no data  --
293.60/73.59	c  N st  1254    536918       680      2948         0     46491      8954    982004     19.71   no data  --
293.60/73.59	c  S st  1254    536918       680      2948         0     46491      8954    982004     19.71   no data  --
294.40/73.71	c  S st  1254    537419       680      2948         0     46992      8954    997130     19.71   no data  --
294.40/73.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
294.40/73.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
294.40/73.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
294.40/73.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
294.40/73.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
294.40/73.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
294.40/73.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
300.40/75.28	c lits-rem:       177  cl-subs:     1352  v-elim:      0  v-fix:    0  time:  6.05 s
300.40/75.28	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
300.40/75.30	c vivif2 --  cl tried    45640 cl shrink        0 lits rem          0 time: 0.04
300.80/75.34	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.19
300.80/75.35	c calculated reachability. Time: 0.00
300.80/75.35	c  N st  1254    537419       680      2948         0     45640      8954    946792     19.71   no data  --
428.22/107.22	c  N st  1255    701403       680      2948         0     39620      8954    624068     19.71   no data  --
511.72/128.17	c  N st  1256    806129       680      2948         0     68713      8954   1572064     19.71   no data  --
511.72/128.17	c  S st  1256    806129       680      2948         0     68713      8954   1572064     19.71   no data  --
512.54/128.36	c  S st  1256    806631       680      2948         0     69215      8954   1586835     19.71   no data  --
512.54/128.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
512.54/128.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
512.54/128.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
512.94/128.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
512.94/128.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
512.94/128.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
512.94/128.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
541.28/135.60	c lits-rem:       111  cl-subs:     3570  v-elim:      0  v-fix:    0  time: 28.55 s
541.28/135.60	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
541.68/135.61	c vivif2 --  cl tried    65645 cl shrink        0 lits rem          0 time: 0.07
542.08/135.70	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.34
542.08/135.70	c calculated reachability. Time: 0.00
542.08/135.70	c  N st  1256    806631       680      2948         0     65645      8954   1463459     19.71   no data  --
782.56/195.98	c  F st  1257   1071875       680      2948         0     81757      8954   1870036     19.71   no data  --
782.56/195.98	c  N st  1257   1071875       680      2948         0     81757      8954   1870036     19.71   no data  --
789.37/197.63	c Decided on static restart strategy
808.93/202.50	c  N st  1267   1100180       680      2948         0     65580      8954   1234420     19.71   no data  --
841.28/210.69	c  N st  1269   1136172       680      2948         0     55733      8954    864557     19.71   no data  --
876.84/219.54	c  N st  1270   1168564       680      2948         0     87593      8954   1860080     19.71   no data  --
917.98/229.89	c  N st  1271   1209947       680      2948         0     82024      8954   1653309     19.71   no data  --
917.98/229.89	c  S st  1271   1209947       680      2948         0     82024      8954   1653309     19.71   no data  --
919.18/230.17	c  S st  1271   1210451       680      2948         0     82527      8954   1667878     19.71   no data  --
919.18/230.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
919.18/230.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
919.58/230.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
919.58/230.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
919.58/230.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
919.58/230.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
919.58/230.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
947.55/237.25	c lits-rem:       153  cl-subs:     3768  v-elim:      0  v-fix:    0  time: 27.87 s
947.55/237.25	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
947.55/237.27	c vivif2 --  cl tried    78759 cl shrink        0 lits rem          0 time: 0.07
947.95/237.38	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.44
947.95/237.38	c calculated reachability. Time: 0.00
947.95/237.39	c  N st  1271   1210451       680      2948         0     78759      8954   1551560     19.71   no data  --
1018.26/254.92	c  N st  1272   1283335       680      2948         0     55043      8954    783112     19.71   no data  --
1123.72/281.33	c  N st  1273   1392659       680      2948         0     63171      8954   1003716     19.71   no data  --
1291.47/323.31	c  N st  1274   1556643       680      2948         0     68191      8954   1110219     19.71   no data  --
1473.22/368.80	c  N st  1275   1710451       680      2948         0    110289      8954   2492252     19.71   no data  --
1473.22/368.80	c  S st  1275   1710451       680      2948         0    110289      8954   2492252     19.71   no data  --
1474.43/369.17	c  S st  1275   1710951       680      2948         0    110788      8954   2506018     19.71   no data  --
1474.43/369.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1474.43/369.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1474.84/369.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1475.25/369.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1475.25/369.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1475.25/369.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
1475.25/369.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1543.53/386.44	c lits-rem:      1461  cl-subs:     5038  v-elim:      0  v-fix:    0  time: 68.34 s
1543.53/386.44	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
1543.53/386.47	c vivif2 --  cl tried   105750 cl shrink        0 lits rem          0 time: 0.12
1544.33/386.66	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.74
1544.33/386.66	c calculated reachability. Time: 0.00
1544.33/386.66	c  N st  1275   1710951       680      2948         0    105750      8954   2331474     19.71   no data  --
1971.78/493.65	c  N st  1276   2079915       680      2948         0    117233      8954   2421937     19.71   no data  --
2135.93/534.74	c  N st  1277   2210952       680      2948         0    121261      8954   2480684     19.71   no data  --
2135.93/534.74	c  S st  1277   2210952       680      2948         0    121261      8954   2480684     19.71   no data  --
2137.53/535.16	c  S st  1277   2211455       680      2948         0    121763      8954   2495416     19.71   no data  --
2137.53/535.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2137.53/535.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2137.93/535.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2138.34/535.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2138.34/535.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2138.34/535.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2138.34/535.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2209.43/553.13	c lits-rem:        68  cl-subs:     6136  v-elim:      0  v-fix:    0  time: 71.14 s
2209.43/553.13	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
2209.43/553.16	c vivif2 --  cl tried   115627 cl shrink        0 lits rem          0 time: 0.12
2210.23/553.34	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.71
2210.23/553.34	c calculated reachability. Time: 0.00
2210.23/553.34	c  N st  1277   2211455       680      2948         0    115627      8954   2323139     19.71   no data  --
2842.17/711.56	c  N st  1278   2711455       680      2948         0    139232      8954   2962321     19.71   no data  --
2842.17/711.56	c  S st  1278   2711455       680      2948         0    139232      8954   2962321     19.71   no data  --
2844.18/712.01	c  S st  1278   2711959       680      2948         0    139736      8954   2976854     19.71   no data  --
2844.18/712.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2844.18/712.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2844.18/712.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.31
2844.58/712.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2844.58/712.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2844.58/712.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2844.58/712.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2979.19/745.83	c lits-rem:       452  cl-subs:     9601  v-elim:      0  v-fix:    0  time: 134.30 s
2979.19/745.83	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
2979.19/745.86	c vivif2 --  cl tried   130135 cl shrink        0 lits rem          0 time: 0.14
2979.99/746.05	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.77
2979.99/746.06	c calculated reachability. Time: 0.00
2979.99/746.06	c  N st  1278   2711959       680      2948         0    130135      8954   2692069     19.71   no data  --
3677.84/920.98	c  N st  1279   3211961       680      2948         0    105502      8954   1724933     19.71   no data  --
3677.84/920.98	c  S st  1279   3211961       680      2948         0    105502      8954   1724933     19.71   no data  --
3679.44/921.31	c  S st  1279   3212467       680      2948         0    106007      8954   1740033     19.71   no data  --
3679.44/921.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3679.44/921.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3679.44/921.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
3679.85/921.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3679.85/921.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3679.85/921.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
3679.85/921.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3707.40/928.36	c lits-rem:       138  cl-subs:     3830  v-elim:      0  v-fix:    0  time: 27.67 s
3707.40/928.36	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
3707.40/928.38	c vivif2 --  cl tried   102177 cl shrink        0 lits rem          0 time: 0.09
3708.20/928.53	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.60
3708.20/928.53	c calculated reachability. Time: 0.00
3708.20/928.53	c  N st  1279   3212467       680      2948         0    102177      8954   1633071     19.71   no data  --
4496.73/1125.94	c  N st  1280   3712471       680      2948         0    113210      8954   1884267     19.71   no data  --
4496.73/1125.94	c  S st  1280   3712471       680      2948         0    113210      8954   1884267     19.71   no data  --
4498.32/1126.31	c  S st  1280   3712979       680      2948         0    113718      8954   1898855     19.71   no data  --
4498.32/1126.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4498.32/1126.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4498.32/1126.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
4498.72/1126.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4498.72/1126.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.72/1126.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
4498.72/1126.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4534.28/1135.39	c lits-rem:       243  cl-subs:     3695  v-elim:      0  v-fix:    0  time: 35.71 s
4534.28/1135.39	c vivif2 --  cl tried     2948 cl shrink        0 lits rem          0 time: 0.00
4534.68/1135.41	c vivif2 --  cl tried   110023 cl shrink        0 lits rem          0 time: 0.10
4535.08/1135.58	c asymm  cl-useful: 0/2948/2948 lits-rem:0 time: 0.70
4535.08/1135.59	c calculated reachability. Time: 0.00
4535.08/1135.59	c  N st  1280   3712979       680      2948         0    110023      8954   1781029     19.71   no data  --
4605.78/1153.25	c  F st  1281   3751562       680      2948         0    147977      8954   3030888     19.71   no data  --
4605.78/1153.26	c  N st  1281   3751562       680      2948         0    147977      8954   3030888     19.71   no data  --
4618.17/1156.33	c Decided on static restart strategy
4653.71/1165.27	c  N st  1291   3779864       680      2948         0     92487      8954   1166751     19.71   no data  --
4703.24/1177.66	c  N st  1293   3815856       680      2948         0    127828      8954   2288764     19.71   no data  --
4761.19/1192.15	c  N st  1294   3848248       680      2948         0    159723      8954   3325486     19.71   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-3175198-1304097877/watcher-3175198-1304097877 -o /tmp/evaluation-result-3175198-1304097877/solver-3175198-1304097877 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175198-1304097877.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.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 433 0 0 0 0 0 0 0 25 0 4 0 600018198 52465664 367 33554432000 4194304 4650419 140737331917552 18446744073709551615 4353840 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 40116 370 315 112 0 35081 0
[pid=3560/tid=3562] ppid=3558 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 4 0 600018198 187682816 466 33554432000 4194304 4650419 140737331917552 18446744073709551615 252457726661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 4 0 600018198 187682816 478 33554432000 4194304 4650419 140737331917552 18446744073709551615 252457726661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=183284 CPUtime=0 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 600018198 187682816 499 33554432000 4194304 4650419 140737331917552 18446744073709551615 252457762571 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.11941 s]
/proc/loadavg: 8.09 8.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=286116 CPUtime=3.2 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 5844 0 0 0 320 0 0 0 18 0 4 0 600018198 292982784 2864 33554432000 4194304 4650419 140737331917552 18446744073709551615 4360358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 71529 2864 393 112 0 66494 0
[pid=3560/tid=3562] ppid=3558 vsize=286116 CPUtime=0.8 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1433 0 0 0 80 0 0 0 25 0 4 0 600018198 292982784 2864 33554432000 4194304 4650419 140737331917552 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=286116 CPUtime=0.8 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1277 0 0 0 80 0 0 0 25 0 4 0 600018198 292982784 2864 33554432000 4194304 4650419 140737331917552 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=286116 CPUtime=0.8 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1234 0 0 0 80 0 0 0 19 0 4 0 600018198 292982784 2864 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 286116

[startup+0.908602 s]
/proc/loadavg: 8.09 8.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=286284 CPUtime=3.61 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 6320 0 0 0 360 1 0 0 19 0 4 0 600018198 293154816 2972 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 71571 2973 393 112 0 66536 0
[pid=3560/tid=3562] ppid=3558 vsize=286284 CPUtime=0.9 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1506 0 0 0 90 0 0 0 25 0 4 0 600018198 293154816 2973 33554432000 4194304 4650419 140737331917552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=286284 CPUtime=0.9 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1538 0 0 0 90 0 0 0 25 0 4 0 600018198 293154816 2973 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=286284 CPUtime=0.89 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1303 0 0 0 89 0 0 0 19 0 4 0 600018198 293154816 2973 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 286284

[startup+1.00858 s]
/proc/loadavg: 8.09 8.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=286284 CPUtime=4.01 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 6582 0 0 0 400 1 0 0 19 0 4 0 600018198 293154816 3234 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363592 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 71571 3235 393 112 0 66536 0
[pid=3560/tid=3562] ppid=3558 vsize=286284 CPUtime=1 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1569 0 0 0 100 0 0 0 25 0 4 0 600018198 293154816 3235 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=286284 CPUtime=1 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1598 0 0 0 100 0 0 0 25 0 4 0 600018198 293154816 3235 33554432000 4194304 4650419 140737331917552 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=286284 CPUtime=0.99 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1367 0 0 0 99 0 0 0 19 0 4 0 600018198 293154816 3235 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 286284

[startup+1.10857 s]
/proc/loadavg: 8.09 8.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=286284 CPUtime=4.41 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 6844 0 0 0 440 1 0 0 19 0 4 0 600018198 293154816 3496 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 71571 3496 394 112 0 66536 0
[pid=3560/tid=3562] ppid=3558 vsize=286284 CPUtime=1.1 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1624 0 0 0 110 0 0 0 25 0 4 0 600018198 293154816 3496 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=286284 CPUtime=1.1 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1655 0 0 0 110 0 0 0 25 0 4 0 600018198 293154816 3496 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=286284 CPUtime=1.09 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1453 0 0 0 109 0 0 0 19 0 4 0 600018198 293154816 3496 33554432000 4194304 4650419 140737331917552 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 286284

[startup+1.50049 s]
/proc/loadavg: 8.09 8.08 8.03 2/173 3560
/proc/meminfo: memFree=24794408/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=292308 CPUtime=5.98 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 10132 0 0 0 596 2 0 0 20 0 4 0 600018198 299323392 5151 33554432000 4194304 4650419 140737331917552 18446744073709551615 4506836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 73077 5151 395 112 0 68042 0
[pid=3560/tid=3562] ppid=3558 vsize=292308 CPUtime=1.49 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 2102 0 0 0 149 0 0 0 25 0 4 0 600018198 299323392 5157 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=292308 CPUtime=1.49 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 2140 0 0 0 149 0 0 0 25 0 4 0 600018198 299323392 5164 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=292308 CPUtime=1.48 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 1862 0 0 0 148 0 0 0 20 0 4 0 600018198 299323392 5173 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 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) 292308

[startup+3.1002 s]
/proc/loadavg: 8.32 8.13 8.04 9/184 3578
/proc/meminfo: memFree=24702872/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=299936 CPUtime=12.36 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 19300 0 0 0 1233 3 0 0 25 0 4 0 600018198 307134464 11474 33554432000 4194304 4650419 140737331917552 18446744073709551615 4304227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 74984 11475 395 112 0 69949 0
[pid=3560/tid=3562] ppid=3558 vsize=299936 CPUtime=3.09 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 4475 0 0 0 308 1 0 0 25 0 4 0 600018198 307134464 11475 33554432000 4194304 4650419 140737331917552 18446744073709551615 4360531 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=299936 CPUtime=3.08 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 5074 0 0 0 308 0 0 0 25 0 4 0 600018198 307134464 11475 33554432000 4194304 4650419 140737331917552 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=299936 CPUtime=3.07 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 4617 0 0 0 307 0 0 0 25 0 4 0 600018198 307134464 11475 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299936

[startup+6.3066 s]
/proc/loadavg: 8.30 8.13 8.04 9/184 3578
/proc/meminfo: memFree=24672128/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=326780 CPUtime=25.17 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 27128 0 0 0 2513 4 0 0 25 0 4 0 600018198 334622720 15778 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 81695 15778 395 112 0 76660 0
[pid=3560/tid=3562] ppid=3558 vsize=326780 CPUtime=6.29 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 7764 0 0 0 628 1 0 0 25 0 4 0 600018198 334622720 15778 33554432000 4194304 4650419 140737331917552 18446744073709551615 4360233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=326780 CPUtime=6.29 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 7424 0 0 0 628 1 0 0 25 0 4 0 600018198 334622720 15778 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=326780 CPUtime=6.26 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 6002 0 0 0 626 0 0 0 25 0 4 0 600018198 334622720 15778 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 326780

[startup+12.7004 s]
/proc/loadavg: 8.27 8.12 8.04 9/184 3579
/proc/meminfo: memFree=24620380/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=327020 CPUtime=50.72 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 39777 0 0 0 5065 7 0 0 25 0 4 0 600018198 334868480 21566 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 81755 21566 395 112 0 76720 0
[pid=3560/tid=3562] ppid=3558 vsize=327020 CPUtime=12.69 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 12222 0 0 0 1267 2 0 0 25 0 4 0 600018198 334868480 21566 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=327020 CPUtime=12.68 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 10809 0 0 0 1267 1 0 0 25 0 4 0 600018198 334868480 21566 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=327020 CPUtime=12.63 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 8260 0 0 0 1262 1 0 0 25 0 4 0 600018198 334868480 21566 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 327020

[startup+25.501 s]
/proc/loadavg: 8.23 8.12 8.04 9/184 3579
/proc/meminfo: memFree=24567560/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=299844 CPUtime=101.85 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 62498 0 0 0 10173 12 0 0 25 0 4 0 600018198 307040256 29849 33554432000 4194304 4650419 140737331917552 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 74961 29849 395 112 0 69926 0
[pid=3560/tid=3562] ppid=3558 vsize=299844 CPUtime=25.49 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 20477 0 0 0 2545 4 0 0 25 0 4 0 600018198 307040256 29849 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=299844 CPUtime=25.48 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 15478 0 0 0 2545 3 0 0 25 0 4 0 600018198 307040256 29849 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=299844 CPUtime=25.37 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 12913 0 0 0 2535 2 0 0 25 0 4 0 600018198 307040256 29849 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 299844

[startup+51.1003 s]
/proc/loadavg: 8.30 8.14 8.05 9/184 3580
/proc/meminfo: memFree=24510100/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=397148 CPUtime=204.11 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 88182 0 0 0 20392 19 0 0 25 0 4 0 600018198 406679552 39758 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 99287 39758 395 112 0 94252 0
[pid=3560/tid=3562] ppid=3558 vsize=397148 CPUtime=51.08 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 28241 0 0 0 5103 5 0 0 25 0 4 0 600018198 406679552 39758 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=397148 CPUtime=51.07 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 20083 0 0 0 5103 4 0 0 25 0 4 0 600018198 406679552 39758 33554432000 4194304 4650419 140737331917552 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=397148 CPUtime=50.83 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 16062 0 0 0 5081 2 0 0 25 0 4 0 600018198 406679552 39758 33554432000 4194304 4650419 140737331917552 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 397148

[startup+102.301 s]
/proc/loadavg: 8.19 8.13 8.05 9/184 3581
/proc/meminfo: memFree=24454768/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=474348 CPUtime=408.65 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 123120 0 0 0 40835 30 0 0 25 0 4 0 600018198 485732352 47202 33554432000 4194304 4650419 140737331917552 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 118587 47202 395 112 0 113552 0
[pid=3560/tid=3562] ppid=3558 vsize=474348 CPUtime=102.29 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 35874 0 0 0 10221 8 0 0 25 0 4 0 600018198 485732352 47202 33554432000 4194304 4650419 140737331917552 18446744073709551615 4329573 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=474348 CPUtime=102.27 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 26438 0 0 0 10220 7 0 0 25 0 4 0 600018198 485732352 47202 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=474348 CPUtime=101.77 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 23684 0 0 0 10172 5 0 0 25 0 4 0 600018198 485732352 47202 33554432000 4194304 4650419 140737331917552 18446744073709551615 4438416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 474348

[startup+162.301 s]

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

[pid=3560] ppid=3558 vsize=582972 CPUtime=2805.43 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 359600 0 0 0 280410 133 0 0 25 0 4 0 600018198 596963328 101816 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 145743 101816 395 112 0 140708 0
[pid=3560/tid=3562] ppid=3558 vsize=582972 CPUtime=702.3 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 81786 0 0 0 70203 27 0 0 25 0 4 0 600018198 596963328 101816 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=582972 CPUtime=702.23 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 77247 0 0 0 70194 29 0 0 25 0 4 0 600018198 596963328 101816 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=582972 CPUtime=698.54 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 77457 0 0 0 69824 30 0 0 25 0 4 0 600018198 596963328 101816 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 582972

[startup+762.301 s]
/proc/loadavg: 8.11 8.12 8.08 9/184 3602
/proc/meminfo: memFree=24045260/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=629368 CPUtime=3045.11 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 374395 0 0 0 304368 143 0 0 25 0 4 0 600018198 644472832 109492 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 157342 109492 395 112 0 152307 0
[pid=3560/tid=3562] ppid=3558 vsize=629368 CPUtime=762.3 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 84829 0 0 0 76201 29 0 0 25 0 4 0 600018198 644472832 109492 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=629368 CPUtime=762.23 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 79463 0 0 0 76192 31 0 0 25 0 4 0 600018198 644472832 109492 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=629368 CPUtime=758.22 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 83532 0 0 0 75788 34 0 0 25 0 4 0 600018198 644472832 109492 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 629368

[startup+822.301 s]
/proc/loadavg: 8.18 8.14 8.09 9/184 3603
/proc/meminfo: memFree=24072904/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=583128 CPUtime=3284.78 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 388726 0 0 0 328329 149 0 0 25 0 4 0 600018198 597123072 98980 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 145782 98980 395 112 0 140747 0
[pid=3560/tid=3562] ppid=3558 vsize=583128 CPUtime=822.31 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 87960 0 0 0 82200 31 0 0 25 0 4 0 600018198 597123072 98980 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=583128 CPUtime=822.23 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 82912 0 0 0 82190 33 0 0 25 0 4 0 600018198 597123072 98980 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=583128 CPUtime=817.9 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 87157 0 0 0 81754 36 0 0 25 0 4 0 600018198 597123072 98980 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 583128

[startup+882.301 s]
/proc/loadavg: 8.41 8.19 8.11 10/185 3608
/proc/meminfo: memFree=23997464/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=605888 CPUtime=3523.64 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 410141 0 0 0 352201 163 0 0 25 0 4 0 600018198 620429312 109049 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 151472 109049 395 112 0 146437 0
[pid=3560/tid=3562] ppid=3558 vsize=605888 CPUtime=881.66 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 91276 0 0 0 88134 32 0 0 25 0 4 0 600018198 620429312 109049 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=605888 CPUtime=882.21 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 88735 0 0 0 88186 35 0 0 25 0 4 0 600018198 620429312 109049 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=605888 CPUtime=877.57 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 92088 0 0 0 87718 39 0 0 25 0 4 0 600018198 620429312 109049 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.64
Current children cumulated vsize (KiB) 605888

[startup+942.301 s]
/proc/loadavg: 8.26 8.18 8.11 9/184 3609
/proc/meminfo: memFree=24032256/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=606020 CPUtime=3763.34 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 426432 0 0 0 376161 173 0 0 25 0 4 0 600018198 620564480 107975 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 151505 107975 395 112 0 146470 0
[pid=3560/tid=3562] ppid=3558 vsize=606020 CPUtime=941.67 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 94706 0 0 0 94133 34 0 0 25 0 4 0 600018198 620564480 107975 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=606020 CPUtime=942.21 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 92991 0 0 0 94183 38 0 0 25 0 4 0 600018198 620564480 107975 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=606020 CPUtime=937.24 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 93874 0 0 0 93684 40 0 0 25 0 4 0 600018198 620564480 107975 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 606020

[startup+1002.3 s]
/proc/loadavg: 8.17 8.16 8.10 9/184 3611
/proc/meminfo: memFree=24004848/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=701716 CPUtime=4003 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 442317 0 0 0 400119 181 0 0 25 0 4 0 600018198 718557184 115308 33554432000 4194304 4650419 140737331917552 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 175429 115308 395 112 0 170394 0
[pid=3560/tid=3562] ppid=3558 vsize=701716 CPUtime=1001.66 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 99643 0 0 0 100131 35 0 0 25 0 4 0 600018198 718557184 115308 33554432000 4194304 4650419 140737331917552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=701716 CPUtime=1002.2 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 96333 0 0 0 100180 40 0 0 25 0 4 0 600018198 718557184 115308 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=701716 CPUtime=996.92 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 94202 0 0 0 99651 41 0 0 25 0 4 0 600018198 718557184 115308 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003
Current children cumulated vsize (KiB) 701716

[startup+1062.31 s]
/proc/loadavg: 8.13 8.15 8.09 9/184 3613
/proc/meminfo: memFree=23966896/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=718408 CPUtime=4242.69 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 460952 0 0 0 424078 191 0 0 25 0 4 0 600018198 735649792 118442 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 179602 118442 395 112 0 174567 0
[pid=3560/tid=3562] ppid=3558 vsize=718408 CPUtime=1061.67 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 105906 0 0 0 106129 38 0 0 25 0 4 0 600018198 735649792 118442 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=718408 CPUtime=1062.2 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 99981 0 0 0 106178 42 0 0 25 0 4 0 600018198 735649792 118442 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=718408 CPUtime=1056.59 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 98028 0 0 0 105616 43 0 0 25 0 4 0 600018198 735649792 118442 33554432000 4194304 4650419 140737331917552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.69
Current children cumulated vsize (KiB) 718408

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 8.09 9/184 3614
/proc/meminfo: memFree=23915300/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=684248 CPUtime=4482.35 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 478902 0 0 0 448036 199 0 0 25 0 4 0 600018198 700669952 127550 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 171062 127550 395 112 0 166027 0
[pid=3560/tid=3562] ppid=3558 vsize=684248 CPUtime=1121.67 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 110640 0 0 0 112125 42 0 0 25 0 4 0 600018198 700669952 127550 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=684248 CPUtime=1122.19 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 106532 0 0 0 112176 43 0 0 25 0 4 0 600018198 700669952 127550 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=684248 CPUtime=1116.27 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 101475 0 0 0 111582 45 0 0 25 0 4 0 600018198 700669952 127550 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.35
Current children cumulated vsize (KiB) 684248

[startup+1182.3 s]
/proc/loadavg: 8.15 8.14 8.09 9/184 3616
/proc/meminfo: memFree=23908836/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=732552 CPUtime=4722.02 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 497586 0 0 0 471993 209 0 0 25 0 4 0 600018198 750133248 133850 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 183138 133850 395 112 0 178103 0
[pid=3560/tid=3562] ppid=3558 vsize=732552 CPUtime=1181.67 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 114743 0 0 0 118123 44 0 0 25 0 4 0 600018198 750133248 133850 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=732552 CPUtime=1182.19 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 111954 0 0 0 118172 47 0 0 25 0 4 0 600018198 750133248 133850 33554432000 4194304 4650419 140737331917552 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=732552 CPUtime=1175.94 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 105243 0 0 0 117547 47 0 0 25 0 4 0 600018198 750133248 133850 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 732552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.11 8.13 8.09 5/179 3617
/proc/meminfo: memFree=24263996/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=684352 CPUtime=4800.35 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 501769 0 0 0 479824 211 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 171088 130530 395 112 0 166053 0
[pid=3560/tid=3562] ppid=3558 vsize=684352 CPUtime=1201.29 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 114743 0 0 0 120085 44 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=684352 CPUtime=1201.81 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 113342 0 0 0 120133 48 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=684352 CPUtime=1195.45 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 105368 0 0 0 119497 48 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 684352

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

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

[startup+1201.9 s]
/proc/loadavg: 8.11 8.13 8.09 5/179 3617
/proc/meminfo: memFree=24263996/32951124 swapFree=67111348/67111528
[pid=3560] ppid=3558 vsize=684352 CPUtime=4800.35 cores=0,2,4,6
/proc/3560/stat : 3560 (strangenight1-m) R 3558 3560 3013 0 -1 4202496 501769 0 0 0 479824 211 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3560/statm: 171088 130530 395 112 0 166053 0
[pid=3560/tid=3562] ppid=3558 vsize=684352 CPUtime=1201.29 cores=0,2,4,6
/proc/3560/task/3562/stat : 3562 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 114743 0 0 0 120085 44 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3560/tid=3563] ppid=3558 vsize=684352 CPUtime=1201.81 cores=0,2,4,6
/proc/3560/task/3563/stat : 3563 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 113342 0 0 0 120133 48 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3560/tid=3564] ppid=3558 vsize=684352 CPUtime=1195.45 cores=0,2,4,6
/proc/3560/task/3564/stat : 3564 (strangenight1-m) R 3558 3560 3013 0 -1 4202560 105368 0 0 0 119497 48 0 0 25 0 4 0 600018198 700776448 130530 33554432000 4194304 4650419 140737331917552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 684352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.41
CPU user time (s): 4798.27
CPU system time (s): 2.14067
CPU usage (%): 399.387
Max. virtual memory (cumulated for all children) (KiB): 829144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.27
system time used= 2.14067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501770
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= 335
involuntary context switches= 21931

runsolver used 2.03069 second user time and 4.47632 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 19:24:37
IDJOB=3175198
IDBENCH=82816
IDSOLVER=1588
FILE ID=node111/3175198-1304097877
RUNJOBID= node111-1304096673-3445
PBS_JOBID= 13170585
Free space on /tmp= 70892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175198-1304097877/watcher-3175198-1304097877 -o /tmp/evaluation-result-3175198-1304097877/solver-3175198-1304097877 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175198-1304097877.cnf

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

MD5SUM BENCH= 0b3e0de9aa59dd098eea77ce3aaba6c9
RANDOM SEED=1193546797

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.83
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24789812 kB
Buffers:       1282076 kB
Cached:        6327144 kB
SwapCached:        124 kB
Active:        3281792 kB
Inactive:      4391348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24789812 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:       64276 kB
Mapped:          14684 kB
Slab:           425072 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187652 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= 70892 MiB
End job on node111 at 2011-04-29 19:44:41