Trace number 3175151

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.38 1201.93

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175151-1304092657.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	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.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      48 undec:       5 neg:      47
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.40/0.12	c  N st     8      4916       100      2130         0      4574     10650     97844   no data   no data  --
1.17/0.31	c  N st    10     11299       100      2130         0      4210     10650     72503   no data   no data  --
1.57/0.49	c  N st    11     17042       100      2130         0      9526     10650    182176   no data   no data  --
2.78/0.77	c  F st    12     25003       100      2130         0     11667     10650    225831   no data   no data  --
2.78/0.77	c  N st    12     25003       100      2130         0     11667     10650    225831   no data   no data  --
3.57/0.99	c Decided on static restart strategy
3.57/0.99	c  N st    18     30000       100      2130         0     10027     10650    184482   no data   no data  --
3.57/0.99	c  S st    18     30000       100      2130         0     10027     10650    184482   no data   no data  --
3.97/1.02	c  S st    18     30505       100      2130         0     10502     10650    194792   no data   no data  --
3.97/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.97/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.97/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.43	c lits-rem:      2248  cl-subs:     1908  v-elim:      0  v-fix:    0  time:  1.59 s
5.56/1.46	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.56/1.46	c calculated reachability. Time: 0.00
5.56/1.46	c  N st    18     30505       100      2130         0      8594     10650    152185   no data   no data  --
6.77/1.79	c  N st    20     37616       100      2130         0      7923     10650    126967   no data   no data  --
7.97/2.06	c  N st    21     44015       100      2130         0     13868     10650    256621   no data   no data  --
8.37/2.15	c  S st    22     45759       100      2130         0     15509     10650    292049   no data   no data  --
8.37/2.19	c  S st    22     46263       100      2130         0     15993     10650    302653   no data   no data  --
8.37/2.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.37/2.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.78/2.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.78/2.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.18/3.35	c lits-rem:      3316  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  4.55 s
13.18/3.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.18/3.35	c vivif2 --  cl tried    14081 cl shrink        0 lits rem          0 time: 0.01
13.58/3.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
13.58/3.41	c calculated reachability. Time: 0.00
13.58/3.41	c  N st    22     46263       100      2130         0     14081     10650    258033   no data   no data  --
16.35/4.19	c  N st    23     60661       100      2130         0      9967     10650    148018   no data   no data  --
18.36/4.61	c  N st    24     69395       100      2130         0     18097     10650    321358   no data   no data  --
18.36/4.61	c  S st    24     69395       100      2130         0     18097     10650    321358   no data   no data  --
18.36/4.66	c  S st    24     69897       100      2130         0     18582     10650    332396   no data   no data  --
18.36/4.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.36/4.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.36/4.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
18.36/4.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.36/4.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.36/4.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.36/4.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.55/5.93	c lits-rem:      3933  cl-subs:     2361  v-elim:      0  v-fix:    0  time:  5.03 s
23.55/5.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.55/5.93	c vivif2 --  cl tried    16221 cl shrink        0 lits rem          0 time: 0.01
23.95/6.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
23.95/6.00	c calculated reachability. Time: 0.00
23.95/6.00	c  N st    24     69897       100      2130         0     16221     10650    280623   no data   no data  --
27.54/6.95	c  F st    25     87500       100      2130         0     11370     10650    162296   no data   no data  --
27.54/6.95	c  N st    25     87500       100      2130         0     11370     10650    162296   no data   no data  --
28.73/7.21	c Decided on static restart strategy
29.13/7.38	c  N st    32     95539       100      2130         0     18806     10650    321174   no data   no data  --
31.16/7.86	c  N st    34    104846       100      2130         0     15471     10650    247072   no data   no data  --
31.16/7.86	c  S st    34    104846       100      2130         0     15471     10650    247072   no data   no data  --
31.54/7.91	c  S st    34    105352       100      2130         0     15958     10650    257739   no data   no data  --
31.54/7.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.54/7.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.54/7.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
31.54/7.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.54/7.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.54/7.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
31.54/7.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
35.55/8.93	c lits-rem:      1740  cl-subs:     1177  v-elim:      0  v-fix:    0  time:  4.03 s
35.55/8.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
35.55/8.93	c vivif2 --  cl tried    14781 cl shrink        0 lits rem          0 time: 0.01
35.93/9.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
35.93/9.00	c calculated reachability. Time: 0.00
35.93/9.00	c  N st    34    105352       100      2130         0     14781     10650    231655   no data   no data  --
38.32/9.61	c  N st    35    114950       100      2130         0     23575     10650    408683   no data   no data  --
41.92/10.54	c  N st    36    129349       100      2130         0     23965     10650    404563   no data   no data  --
47.91/12.05	c  N st    37    150945       100      2130         0     15322     10650    203954   no data   no data  --
49.50/12.49	c  S st    38    158028       100      2130         0     21830     10650    345269   no data   no data  --
49.90/12.54	c  S st    38    158530       100      2130         0     22314     10650    356225   no data   no data  --
49.90/12.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.90/12.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.90/12.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
49.90/12.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.90/12.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.90/12.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
49.90/12.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
54.70/13.77	c lits-rem:      2900  cl-subs:     2411  v-elim:      0  v-fix:    0  time:  4.82 s
54.70/13.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
54.70/13.77	c vivif2 --  cl tried    19903 cl shrink        0 lits rem          0 time: 0.01
55.10/13.85	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.33
55.10/13.86	c calculated reachability. Time: 0.00
55.10/13.86	c  N st    38    158530       100      2130         0     19903     10650    304242   no data   no data  --
68.69/17.29	c  N st    39    207118       100      2130         0     32439     10650    541887   no data   no data  --
78.28/19.69	c  N st    40    237796       100      2130         0     24746     10650    368916   no data   no data  --
78.28/19.69	c  S st    40    237796       100      2130         0     24746     10650    368916   no data   no data  --
78.68/19.75	c  S st    40    238301       100      2130         0     25226     10650    379333   no data   no data  --
78.68/19.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.68/19.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.68/19.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
78.68/19.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.68/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.68/19.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
78.68/19.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
84.27/21.14	c lits-rem:      3130  cl-subs:     2423  v-elim:      0  v-fix:    0  time:  5.47 s
84.27/21.14	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
84.27/21.14	c vivif2 --  cl tried    22803 cl shrink        0 lits rem          0 time: 0.01
84.67/21.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.37
84.67/21.24	c calculated reachability. Time: 0.00
84.67/21.24	c  N st    40    238301       100      2130         0     22803     10650    329587   no data   no data  --
108.23/27.15	c  F st    41    306250       100      2130         0     24857     10650    347755   no data   no data  --
108.23/27.15	c  N st    41    306250       100      2130         0     24857     10650    347755   no data   no data  --
109.85/27.57	c Decided on static restart strategy
119.82/30.04	c  N st    51    334559       100      2130         0     28985     10650    425195   no data   no data  --
129.01/32.31	c  N st    53    357451       100      2130         0     27109     10650    365573   no data   no data  --
129.01/32.31	c  S st    53    357451       100      2130         0     27109     10650    365573   no data   no data  --
129.01/32.38	c  S st    53    357952       100      2130         0     27594     10650    376582   no data   no data  --
129.01/32.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
129.01/32.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
129.01/32.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
129.01/32.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.01/32.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.01/32.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
129.01/32.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
133.80/33.57	c lits-rem:      2092  cl-subs:     1172  v-elim:      0  v-fix:    0  time:  4.69 s
133.80/33.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
133.80/33.57	c vivif2 --  cl tried    26422 cl shrink        0 lits rem          0 time: 0.02
134.20/33.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.45
134.20/33.69	c calculated reachability. Time: 0.00
134.20/33.69	c  N st    53    357952       100      2130         0     26422     10650    351540   no data   no data  --
146.59/36.75	c  N st    54    390347       100      2130         0     32292     10650    460459   no data   no data  --
168.56/42.26	c  N st    55    438935       100      2130         0     26343     10650    316877   no data   no data  --
197.73/49.57	c  N st    56    511817       100      2130         0     39056     10650    571131   no data   no data  --
208.91/52.33	c  N st    57    536931       100      2130         0     33755     10650    450760   no data   no data  --
208.91/52.33	c  S st    57    536931       100      2130         0     33755     10650    450760   no data   no data  --
209.31/52.42	c  S st    57    537434       100      2130         0     34239     10650    461672   no data   no data  --
209.31/52.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
209.31/52.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
209.31/52.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
209.31/52.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
209.31/52.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
209.31/52.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
209.31/52.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
216.09/54.13	c lits-rem:      2190  cl-subs:     1353  v-elim:      0  v-fix:    0  time:  6.73 s
216.09/54.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
216.09/54.14	c vivif2 --  cl tried    32886 cl shrink        0 lits rem          0 time: 0.02
216.49/54.28	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
216.49/54.28	c calculated reachability. Time: 0.00
216.49/54.28	c  N st    57    537434       100      2130         0     32886     10650    430281   no data   no data  --
299.58/75.03	c  N st    58    701418       100      2130         0     60314     10650    985685   no data   no data  --
358.31/89.70	c  N st    59    806151       100      2130         0     54425     10650    809635   no data   no data  --
358.31/89.70	c  S st    59    806151       100      2130         0     54425     10650    809635   no data   no data  --
358.70/89.85	c  S st    59    806656       100      2130         0     54906     10650    820876   no data   no data  --
358.70/89.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
358.70/89.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
358.70/89.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
359.10/89.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
359.10/89.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
359.10/89.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
359.10/89.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
376.69/94.39	c lits-rem:      3152  cl-subs:     5904  v-elim:      0  v-fix:    0  time: 17.91 s
376.69/94.39	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
377.09/94.40	c vivif2 --  cl tried    49002 cl shrink        0 lits rem          0 time: 0.03
377.90/94.63	c asymm  cl-useful: 0/1923/2130 lits-rem:0 time: 0.94
377.90/94.64	c calculated reachability. Time: 0.00
377.90/94.64	c  N st    59    806656       100      2130         0     49002     10650    707029   no data   no data  --
542.06/135.77	c  F st    60   1071877       100      2130         0     64335     10650    962097   no data   no data  --
542.06/135.77	c  N st    60   1071877       100      2130         0     64335     10650    962097   no data   no data  --
546.86/136.92	c Decided on static restart strategy
562.46/140.84	c  N st    70   1100178       100      2130         0     49244     10650    645116   no data   no data  --
588.00/147.23	c  N st    72   1136172       100      2130         0     82548     10650   1373695   no data   no data  --
611.97/153.23	c  N st    73   1168564       100      2130         0     69907     10650   1056829   no data   no data  --
641.55/160.69	c  N st    74   1209986       100      2130         0     64732     10650    931696   no data   no data  --
641.55/160.69	c  S st    74   1209986       100      2130         0     64732     10650    931696   no data   no data  --
642.33/160.87	c  S st    74   1210489       100      2130         0     65213     10650    942822   no data   no data  --
642.33/160.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
642.33/160.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.73/160.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
642.73/160.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
642.73/160.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
642.73/160.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
642.73/160.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
675.49/169.12	c lits-rem:      6784  cl-subs:     6159  v-elim:      0  v-fix:    0  time: 32.72 s
675.49/169.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
675.49/169.14	c vivif2 --  cl tried    59054 cl shrink        0 lits rem          0 time: 0.04
676.70/169.50	c asymm  cl-useful: 0/1628/2130 lits-rem:0 time: 1.45
676.70/169.50	c calculated reachability. Time: 0.00
676.70/169.50	c  N st    74   1210489       100      2130         0     59054     10650    822347   no data   no data  --
731.81/183.24	c  N st    75   1283372       100      2130         0     82014     10650   1282800   no data   no data  --
828.47/207.44	c  N st    76   1392695       100      2130         0     91482     10650   1455868   no data   no data  --
951.50/238.22	c  N st    77   1556679       100      2130         0     98820     10650   1577127   no data   no data  --
1077.74/269.83	c  N st    78   1710490       100      2130         0     88606     10650   1348035   no data   no data  --
1077.74/269.83	c  S st    78   1710490       100      2130         0     88606     10650   1348035   no data   no data  --
1078.93/270.13	c  S st    78   1710995       100      2130         0     89088     10650   1359019   no data   no data  --
1078.93/270.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1078.93/270.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1078.93/270.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1079.33/270.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1079.33/270.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1079.33/270.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1079.33/270.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1168.42/292.57	c lits-rem:      3057  cl-subs:    12314  v-elim:      0  v-fix:    0  time: 89.26 s
1168.42/292.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1168.42/292.59	c vivif2 --  cl tried    76774 cl shrink        0 lits rem          0 time: 0.07
1169.61/292.80	c asymm  cl-useful: 0/502/2130 lits-rem:0 time: 0.85
1169.61/292.80	c calculated reachability. Time: 0.00
1169.61/292.80	c  N st    78   1710995       100      2130         0     76774     10650   1117463   no data   no data  --
1493.75/374.12	c  N st    79   2079959       100      2130         0     88654     10650   1303100   no data   no data  --
1622.18/406.35	c  N st    80   2210996       100      2130         0     92499     10650   1350964   no data   no data  --
1622.18/406.35	c  S st    80   2210996       100      2130         0     92499     10650   1350964   no data   no data  --
1623.38/406.67	c  S st    80   2211497       100      2130         0     92977     10650   1361847   no data   no data  --
1623.38/406.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1623.38/406.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1623.78/406.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1623.78/406.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1623.78/406.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1623.78/406.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1623.78/406.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1687.68/422.71	c lits-rem:      5022  cl-subs:    10098  v-elim:      0  v-fix:    0  time: 63.68 s
1687.68/422.71	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1687.68/422.72	c vivif2 --  cl tried    82879 cl shrink        0 lits rem          0 time: 0.06
1688.88/423.02	c asymm  cl-useful: 0/1192/2130 lits-rem:0 time: 1.20
1688.88/423.02	c calculated reachability. Time: 0.00
1688.88/423.02	c  N st    80   2211497       100      2130         0     82879     10650   1160104   no data   no data  --
2219.78/555.90	c  N st    81   2711499       100      2130         0    104715     10650   1506132   no data   no data  --
2219.78/555.90	c  S st    81   2711499       100      2130         0    104715     10650   1506132   no data   no data  --
2220.98/556.25	c  S st    81   2711999       100      2130         0    105190     10650   1516971   no data   no data  --
2220.98/556.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2220.98/556.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2221.38/556.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2221.38/556.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2221.38/556.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.38/556.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2221.38/556.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2313.25/579.31	c lits-rem:      1783  cl-subs:    15739  v-elim:      0  v-fix:    0  time: 91.69 s
2313.25/579.31	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2313.25/579.33	c vivif2 --  cl tried    89451 cl shrink        0 lits rem          0 time: 0.07
2314.86/579.72	c asymm  cl-useful: 0/907/2130 lits-rem:0 time: 1.55
2314.86/579.72	c calculated reachability. Time: 0.00
2314.86/579.72	c  N st    81   2711999       100      2130         0     89451     10650   1222727   no data   no data  --
2891.67/724.18	c  N st    82   3212000       100      2130         0    139199     10650   2209849   no data   no data  --
2891.67/724.18	c  S st    82   3212000       100      2130         0    139199     10650   2209849   no data   no data  --
2894.08/724.74	c  S st    82   3212503       100      2130         0    139679     10650   2220833   no data   no data  --
2894.08/724.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2894.08/724.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2894.48/724.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.31
2894.48/724.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2894.48/724.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2894.48/724.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2894.48/724.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3147.74/788.20	c lits-rem:      6251  cl-subs:    24719  v-elim:      0  v-fix:    0  time: 252.78 s
3147.74/788.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3147.74/788.22	c vivif2 --  cl tried   114960 cl shrink        0 lits rem          0 time: 0.09
3148.93/788.57	c asymm  cl-useful: 0/864/2130 lits-rem:0 time: 1.42
3148.93/788.58	c calculated reachability. Time: 0.00
3148.93/788.58	c  N st    82   3212503       100      2130         0    114960     10650   1747803   no data   no data  --
3714.98/930.25	c  N st    83   3712506       100      2130         0    133162     10650   2030926   no data   no data  --
3714.98/930.25	c  S st    83   3712506       100      2130         0    133162     10650   2030926   no data   no data  --
3716.99/930.74	c  S st    83   3713008       100      2130         0    133633     10650   2042027   no data   no data  --
3716.99/930.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3716.99/930.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3717.37/930.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3717.37/930.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3717.37/930.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3717.37/930.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3717.37/930.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3896.33/975.65	c lits-rem:      7222  cl-subs:    17441  v-elim:      0  v-fix:    0  time: 178.78 s
3896.33/975.65	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3896.33/975.67	c vivif2 --  cl tried   116192 cl shrink        0 lits rem          0 time: 0.09
3897.93/976.03	c asymm  cl-useful: 0/733/2130 lits-rem:0 time: 1.42
3897.93/976.04	c calculated reachability. Time: 0.00
3897.93/976.04	c  N st    83   3713008       100      2130         0    116192     10650   1706123   no data   no data  --
3957.05/990.85	c  F st    84   3751562       100      2130         0    151327     10650   2453664   no data   no data  --
3957.05/990.85	c  N st    84   3751562       100      2130         0    151327     10650   2453664   no data   no data  --
3965.84/993.05	c Decided on static restart strategy
3990.60/999.25	c  N st    94   3779866       100      2130         0    101459     10650   1361571   no data   no data  --
4034.94/1010.34	c  N st    96   3815859       100      2130         0    134588     10650   2081703   no data   no data  --
4088.47/1023.73	c  N st    97   3848251       100      2130         0     86926     10650   1015163   no data   no data  --
4147.62/1038.57	c  N st    98   3896840       100      2130         0    131696     10650   2035896   no data   no data  --
4242.67/1062.39	c  N st    99   3969723       100      2130         0    119557     10650   1719015   no data   no data  --
4431.61/1109.69	c  N st   100   4079046       100      2130         0    139952     10650   2134435   no data   no data  --
4670.89/1169.51	c  N st   101   4213010       100      2130         0    100430     10650   1243980   no data   no data  --
4670.89/1169.51	c  S st   101   4213010       100      2130         0    100430     10650   1243980   no data   no data  --
4672.49/1169.98	c  S st   101   4213511       100      2130         0    100905     10650   1254751   no data   no data  --
4672.49/1169.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4672.49/1169.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4672.89/1170.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
4672.89/1170.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4672.89/1170.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4672.89/1170.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4672.89/1170.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4757.99/1191.36	c lits-rem:      1936  cl-subs:     6581  v-elim:      0  v-fix:    0  time: 84.93 s
4757.99/1191.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4757.99/1191.37	c vivif2 --  cl tried    94324 cl shrink        0 lits rem          0 time: 0.08
4759.17/1191.67	c asymm  cl-useful: 0/533/2130 lits-rem:0 time: 1.18
4759.17/1191.67	c calculated reachability. Time: 0.00
4759.17/1191.67	c  N st   101   4213511       100      2130         0     94324     10650   1136572   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175151-1304092657/watcher-3175151-1304092657 -o /tmp/evaluation-result-3175151-1304092657/solver-3175151-1304092657 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175151-1304092657.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.97 8.03 8.00 5/180 19312
/proc/meminfo: memFree=17753644/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 520868270 52465664 357 33554432000 4194304 4650419 140735751914720 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 12809 357 306 112 0 7774 0
[pid=19312/tid=19313] ppid=19310 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520868271 52465664 357 33554432000 4194304 4650419 140735751914720 18446744073709551615 47875356395432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520868271 52465664 357 33554432000 4194304 4650419 140735751914720 18446744073709551615 47875356395436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520868271 52465664 357 33554432000 4194304 4650419 140735751914720 18446744073709551615 216629562454 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.107572 s]
/proc/loadavg: 7.97 8.03 8.00 5/180 19312
/proc/meminfo: memFree=17753644/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=282560 CPUtime=0.4 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 1764 0 0 0 40 0 0 0 25 0 4 0 520868270 289341440 1628 33554432000 4194304 4650419 140735751914720 18446744073709551615 4360774 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 70640 1628 389 112 0 65605 0
[pid=19312/tid=19313] ppid=19310 vsize=282560 CPUtime=0.1 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 343 0 0 0 10 0 0 0 25 0 4 0 520868271 289341440 1628 33554432000 4194304 4650419 140735751914720 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=282560 CPUtime=0.1 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 373 0 0 0 10 0 0 0 18 0 4 0 520868271 289341440 1628 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=282560 CPUtime=0.09 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 247 0 0 0 9 0 0 0 25 0 4 0 520868271 289341440 1628 33554432000 4194304 4650419 140735751914720 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282560

[startup+0.200557 s]
/proc/loadavg: 7.97 8.03 8.00 5/180 19312
/proc/meminfo: memFree=17753644/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=283700 CPUtime=0.77 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 2490 0 0 0 77 0 0 0 25 0 4 0 520868270 290508800 1835 33554432000 4194304 4650419 140735751914720 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 70925 1835 391 112 0 65890 0
[pid=19312/tid=19313] ppid=19310 vsize=283700 CPUtime=0.19 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 524 0 0 0 19 0 0 0 25 0 4 0 520868271 290508800 1836 33554432000 4194304 4650419 140735751914720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=283700 CPUtime=0.19 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 559 0 0 0 19 0 0 0 18 0 4 0 520868271 290508800 1836 33554432000 4194304 4650419 140735751914720 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=283700 CPUtime=0.19 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 421 0 0 0 19 0 0 0 25 0 4 0 520868271 290508800 1836 33554432000 4194304 4650419 140735751914720 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283700

[startup+0.300539 s]
/proc/loadavg: 7.97 8.03 8.00 5/180 19312
/proc/meminfo: memFree=17753644/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=284040 CPUtime=1.17 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 2974 0 0 0 117 0 0 0 25 0 4 0 520868270 290856960 2119 33554432000 4194304 4650419 140735751914720 18446744073709551615 4339892 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 71010 2119 391 112 0 65975 0
[pid=19312/tid=19313] ppid=19310 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 606 0 0 0 29 0 0 0 25 0 4 0 520868271 290856960 2119 33554432000 4194304 4650419 140735751914720 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 774 0 0 0 29 0 0 0 18 0 4 0 520868271 290856960 2119 33554432000 4194304 4650419 140735751914720 18446744073709551615 4333795 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 520 0 0 0 29 0 0 0 25 0 4 0 520868271 290856960 2119 33554432000 4194304 4650419 140735751914720 18446744073709551615 4339788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284040

[startup+0.700468 s]
/proc/loadavg: 7.97 8.03 8.00 5/180 19312
/proc/meminfo: memFree=17753644/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=285276 CPUtime=2.78 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 5081 0 0 0 277 1 0 0 25 0 4 0 520868270 292122624 2641 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 71319 2641 391 112 0 66284 0
[pid=19312/tid=19313] ppid=19310 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1176 0 0 0 69 0 0 0 25 0 4 0 520868271 292122624 2641 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1230 0 0 0 69 0 0 0 18 0 4 0 520868271 292122624 2641 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=285276 CPUtime=0.68 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1038 0 0 0 68 0 0 0 25 0 4 0 520868271 292122624 2641 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285276

[startup+1.50033 s]
/proc/loadavg: 7.97 8.03 8.00 10/184 19316
/proc/meminfo: memFree=17738236/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=282472 CPUtime=5.96 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 10051 0 0 0 595 1 0 0 25 0 4 0 520868270 289251328 5411 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 70618 5411 393 112 0 65583 0
[pid=19312/tid=19313] ppid=19310 vsize=282472 CPUtime=1.49 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 2910 0 0 0 149 0 0 0 25 0 4 0 520868271 289251328 5411 33554432000 4194304 4650419 140735751914720 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=282472 CPUtime=1.49 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 2063 0 0 0 149 0 0 0 20 0 4 0 520868271 289251328 5412 33554432000 4194304 4650419 140735751914720 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=282472 CPUtime=1.48 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 1804 0 0 0 148 0 0 0 25 0 4 0 520868271 289251328 5412 33554432000 4194304 4650419 140735751914720 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 282472

[startup+3.10105 s]
/proc/loadavg: 7.97 8.03 8.00 9/184 19316
/proc/meminfo: memFree=17716520/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=286092 CPUtime=12.37 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 16537 0 0 0 1234 3 0 0 25 0 4 0 520868270 292958208 10034 33554432000 4194304 4650419 140735751914720 18446744073709551615 4439405 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 71523 10034 393 112 0 66488 0
[pid=19312/tid=19313] ppid=19310 vsize=286092 CPUtime=3.08 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 3978 0 0 0 308 0 0 0 25 0 4 0 520868271 292958208 10034 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=286092 CPUtime=3.09 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 4110 0 0 0 309 0 0 0 25 0 4 0 520868271 292958208 10034 33554432000 4194304 4650419 140735751914720 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=286092 CPUtime=3.07 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 3866 0 0 0 307 0 0 0 25 0 4 0 520868271 292958208 10034 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 286092

[startup+6.30049 s]
/proc/loadavg: 7.97 8.03 8.00 9/184 19316
/proc/meminfo: memFree=17703748/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=295040 CPUtime=25.15 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 25083 0 0 0 2510 5 0 0 25 0 4 0 520868270 302120960 13217 33554432000 4194304 4650419 140735751914720 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 73760 13217 393 112 0 68725 0
[pid=19312/tid=19313] ppid=19310 vsize=295040 CPUtime=6.29 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 6568 0 0 0 628 1 0 0 25 0 4 0 520868271 302120960 13217 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=295040 CPUtime=6.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 6948 0 0 0 628 1 0 0 25 0 4 0 520868271 302120960 13217 33554432000 4194304 4650419 140735751914720 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=295040 CPUtime=6.25 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 5404 0 0 0 624 1 0 0 25 0 4 0 520868271 302120960 13217 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 295040

[startup+12.7004 s]
/proc/loadavg: 7.97 8.03 8.00 9/184 19316
/proc/meminfo: memFree=17682552/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=294320 CPUtime=50.71 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 37772 0 0 0 5063 8 0 0 25 0 4 0 520868270 301383680 17534 33554432000 4194304 4650419 140735751914720 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 73580 17534 393 112 0 68545 0
[pid=19312/tid=19313] ppid=19310 vsize=294320 CPUtime=12.68 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 10468 0 0 0 1267 1 0 0 25 0 4 0 520868271 301383680 17534 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=294320 CPUtime=12.68 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 10287 0 0 0 1266 2 0 0 25 0 4 0 520868271 301383680 17534 33554432000 4194304 4650419 140735751914720 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=294320 CPUtime=12.62 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 7982 0 0 0 1260 2 0 0 25 0 4 0 520868271 301383680 17534 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 294320

[startup+25.5011 s]
/proc/loadavg: 7.98 8.03 8.00 9/184 19316
/proc/meminfo: memFree=17650440/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=313500 CPUtime=101.84 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 57623 0 0 0 10171 13 0 0 25 0 4 0 520868270 321024000 23766 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 78375 23766 393 112 0 73340 0
[pid=19312/tid=19313] ppid=19310 vsize=313500 CPUtime=25.49 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 16482 0 0 0 2546 3 0 0 25 0 4 0 520868271 321024000 23766 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=313500 CPUtime=25.48 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 16517 0 0 0 2545 3 0 0 25 0 4 0 520868271 321024000 23766 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=313500 CPUtime=25.35 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 11002 0 0 0 2532 3 0 0 25 0 4 0 520868271 321024000 23766 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313500

[startup+51.1006 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 19317
/proc/meminfo: memFree=17596492/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=314724 CPUtime=204.11 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 88284 0 0 0 20389 22 0 0 25 0 4 0 520868270 322277376 29431 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 78681 29431 393 112 0 73646 0
[pid=19312/tid=19313] ppid=19310 vsize=314724 CPUtime=51.08 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 26251 0 0 0 5103 5 0 0 25 0 4 0 520868271 322277376 29431 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=314724 CPUtime=51.08 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 25544 0 0 0 5102 6 0 0 25 0 4 0 520868271 322277376 29431 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=314724 CPUtime=50.82 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 15049 0 0 0 5078 4 0 0 25 0 4 0 520868271 322277376 29431 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 314724

[startup+102.301 s]
/proc/loadavg: 8.08 8.05 8.00 9/184 19318
/proc/meminfo: memFree=17552328/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=305172 CPUtime=408.65 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 138877 0 0 0 40828 37 0 0 25 0 4 0 520868270 312496128 34840 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 76293 34840 393 112 0 71258 0
[pid=19312/tid=19313] ppid=19310 vsize=305172 CPUtime=102.29 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 40828 0 0 0 10219 10 0 0 25 0 4 0 520868271 312496128 34840 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=305172 CPUtime=102.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 41621 0 0 0 10219 10 0 0 25 0 4 0 520868271 312496128 34840 33554432000 4194304 4650419 140735751914720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=305172 CPUtime=101.75 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 21714 0 0 0 10169 6 0 0 25 0 4 0 520868271 312496128 34840 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 305172

[startup+162.301 s]

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

[pid=19312] ppid=19310 vsize=507796 CPUtime=2564.92 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 398760 0 0 0 256349 143 0 0 25 0 4 0 520868270 519983104 89385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 126949 89385 393 112 0 121914 0
[pid=19312/tid=19313] ppid=19310 vsize=507796 CPUtime=641.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 120384 0 0 0 64109 39 0 0 25 0 4 0 520868271 519983104 89385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=507796 CPUtime=642.28 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 133569 0 0 0 64177 51 0 0 25 0 4 0 520868271 519983104 89385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=507796 CPUtime=638.83 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 60021 0 0 0 63859 24 0 0 25 0 4 0 520868271 519983104 89385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.92
Current children cumulated vsize (KiB) 507796

[startup+702.301 s]
/proc/loadavg: 8.17 8.13 8.04 9/184 19346
/proc/meminfo: memFree=17138940/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=573764 CPUtime=2804.6 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 416825 0 0 0 280308 152 0 0 25 0 4 0 520868270 587534336 91794 33554432000 4194304 4650419 140735751914720 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 143441 91794 393 112 0 138406 0
[pid=19312/tid=19313] ppid=19310 vsize=573764 CPUtime=701.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 126785 0 0 0 70106 42 0 0 25 0 4 0 520868271 587534336 91794 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=573764 CPUtime=702.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 142284 0 0 0 70173 56 0 0 25 0 4 0 520868271 587534336 91794 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=573764 CPUtime=698.49 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 62784 0 0 0 69824 25 0 0 25 0 4 0 520868271 587534336 91794 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.6
Current children cumulated vsize (KiB) 573764

[startup+762.301 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 19348
/proc/meminfo: memFree=17126024/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=573816 CPUtime=3044.29 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 430537 0 0 0 304271 158 0 0 25 0 4 0 520868270 587587584 96041 33554432000 4194304 4650419 140735751914720 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 143454 96041 393 112 0 138419 0
[pid=19312/tid=19313] ppid=19310 vsize=573816 CPUtime=761.49 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 129537 0 0 0 76106 43 0 0 25 0 4 0 520868271 587587584 96041 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=573816 CPUtime=762.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 149167 0 0 0 76170 59 0 0 25 0 4 0 520868271 587587584 96041 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=573816 CPUtime=758.17 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 66821 0 0 0 75790 27 0 0 25 0 4 0 520868271 587587584 96041 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.29
Current children cumulated vsize (KiB) 573816

[startup+822.301 s]
/proc/loadavg: 8.22 8.14 8.05 9/184 19350
/proc/meminfo: memFree=17095988/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=586184 CPUtime=3283.95 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 448020 0 0 0 328226 169 0 0 25 0 4 0 520868270 600252416 94082 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 146546 94082 393 112 0 141511 0
[pid=19312/tid=19313] ppid=19310 vsize=586184 CPUtime=821.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 133781 0 0 0 82103 45 0 0 25 0 4 0 520868271 600252416 94082 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=586184 CPUtime=822.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 157183 0 0 0 82165 64 0 0 25 0 4 0 520868271 600252416 94082 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=586184 CPUtime=817.85 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 68831 0 0 0 81756 29 0 0 25 0 4 0 520868271 600252416 94082 33554432000 4194304 4650419 140735751914720 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.95
Current children cumulated vsize (KiB) 586184

[startup+882.306 s]
/proc/loadavg: 8.21 8.14 8.05 9/184 19351
/proc/meminfo: memFree=17072776/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=594908 CPUtime=3523.65 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 466240 0 0 0 352187 178 0 0 25 0 4 0 520868270 609185792 100286 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 148727 100286 393 112 0 143692 0
[pid=19312/tid=19313] ppid=19310 vsize=594908 CPUtime=881.49 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 139339 0 0 0 88101 48 0 0 25 0 4 0 520868271 609185792 100286 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=594908 CPUtime=882.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 164473 0 0 0 88163 66 0 0 25 0 4 0 520868271 609185792 100286 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=594908 CPUtime=877.53 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 72405 0 0 0 87722 31 0 0 25 0 4 0 520868271 609185792 100286 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.65
Current children cumulated vsize (KiB) 594908

[startup+942.301 s]
/proc/loadavg: 8.20 8.14 8.06 9/184 19353
/proc/meminfo: memFree=17060224/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=595012 CPUtime=3763.31 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 479823 0 0 0 376147 184 0 0 25 0 4 0 520868270 609292288 100292 33554432000 4194304 4650419 140735751914720 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 148753 100292 393 112 0 143718 0
[pid=19312/tid=19313] ppid=19310 vsize=595012 CPUtime=941.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 142369 0 0 0 94098 50 0 0 25 0 4 0 520868271 609292288 100292 33554432000 4194304 4650419 140735751914720 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=595012 CPUtime=942.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 172648 0 0 0 94160 69 0 0 25 0 4 0 520868271 609292288 100292 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=595012 CPUtime=937.19 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 74365 0 0 0 93688 31 0 0 25 0 4 0 520868271 609292288 100292 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.31
Current children cumulated vsize (KiB) 595012

[startup+1002.3 s]
/proc/loadavg: 8.18 8.15 8.06 9/184 19354
/proc/meminfo: memFree=17035884/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=595672 CPUtime=4002.98 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 494718 0 0 0 400105 193 0 0 25 0 4 0 520868270 609968128 102104 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 148918 102104 393 112 0 143883 0
[pid=19312/tid=19313] ppid=19310 vsize=595672 CPUtime=1001.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 146647 0 0 0 100095 53 0 0 25 0 4 0 520868271 609968128 102104 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=595672 CPUtime=1002.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 179805 0 0 0 100156 73 0 0 25 0 4 0 520868271 609968128 102104 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=595672 CPUtime=996.86 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 77823 0 0 0 99652 34 0 0 25 0 4 0 520868271 609968128 102104 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.98
Current children cumulated vsize (KiB) 595672

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.06 9/184 19356
/proc/meminfo: memFree=17031156/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=595780 CPUtime=4242.67 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 509519 0 0 0 424066 201 0 0 25 0 4 0 520868270 610078720 98740 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 148945 98740 393 112 0 143910 0
[pid=19312/tid=19313] ppid=19310 vsize=595780 CPUtime=1061.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 151649 0 0 0 106092 56 0 0 25 0 4 0 520868271 610078720 98740 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=595780 CPUtime=1062.29 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 187224 0 0 0 106153 76 0 0 25 0 4 0 520868271 610078720 98740 33554432000 4194304 4650419 140735751914720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=595780 CPUtime=1056.54 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 79981 0 0 0 105619 35 0 0 25 0 4 0 520868271 610078720 98740 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.67
Current children cumulated vsize (KiB) 595780

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.06 9/184 19358
/proc/meminfo: memFree=16971608/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=605860 CPUtime=4482.34 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 521166 0 0 0 448028 206 0 0 25 0 4 0 520868270 620400640 110385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 151465 110385 393 112 0 146430 0
[pid=19312/tid=19313] ppid=19310 vsize=605860 CPUtime=1121.49 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 154217 0 0 0 112092 57 0 0 25 0 4 0 520868271 620400640 110385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=605860 CPUtime=1122.3 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 192717 0 0 0 112152 78 0 0 25 0 4 0 520868271 620400640 110385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=605860 CPUtime=1116.21 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 81099 0 0 0 111585 36 0 0 25 0 4 0 520868271 620400640 110385 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 605860

[startup+1182.3 s]
/proc/loadavg: 5.82 7.50 7.85 5/175 19377
/proc/meminfo: memFree=17454292/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=605860 CPUtime=4722.02 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 534822 0 0 0 471992 210 0 0 25 0 4 0 520868270 620400640 112713 33554432000 4194304 4650419 140735751914720 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 151465 112713 393 112 0 146430 0
[pid=19312/tid=19313] ppid=19310 vsize=605860 CPUtime=1181.48 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 158538 0 0 0 118091 57 0 0 25 0 4 0 520868271 620400640 112713 33554432000 4194304 4650419 140735751914720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=605860 CPUtime=1182.3 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 199133 0 0 0 118151 79 0 0 25 0 4 0 520868271 620400640 112713 33554432000 4194304 4650419 140735751914720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=605860 CPUtime=1175.89 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 83954 0 0 0 117551 38 0 0 25 0 4 0 520868271 620400640 112713 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 605860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 5.30 7.27 7.77 5/175 19378
/proc/meminfo: memFree=17451068/32951124 swapFree=67111528/67111528
[pid=19312] ppid=19310 vsize=605860 CPUtime=4800.33 cores=1,3,5,7
/proc/19312/stat : 19312 (strangenight1-m) R 19310 19312 19020 0 -1 4202496 541778 0 0 0 479822 211 0 0 25 0 4 0 520868270 620400640 113166 33554432000 4194304 4650419 140735751914720 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19312/statm: 151465 113166 393 112 0 146430 0
[pid=19312/tid=19313] ppid=19310 vsize=605860 CPUtime=1201.09 cores=1,3,5,7
/proc/19312/task/19313/stat : 19313 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 161856 0 0 0 120051 58 0 0 25 0 4 0 520868271 620400640 113166 33554432000 4194304 4650419 140735751914720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19312/tid=19314] ppid=19310 vsize=605860 CPUtime=1201.9 cores=1,3,5,7
/proc/19312/task/19314/stat : 19314 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 202194 0 0 0 120111 79 0 0 25 0 4 0 520868271 620400640 113166 33554432000 4194304 4650419 140735751914720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19312/tid=19315] ppid=19310 vsize=605860 CPUtime=1195.39 cores=1,3,5,7
/proc/19312/task/19315/stat : 19315 (strangenight1-m) R 19310 19312 19020 0 -1 4202560 84531 0 0 0 119500 39 0 0 25 0 4 0 520868271 620400640 113166 33554432000 4194304 4650419 140735751914720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 605860

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): 1201.93
CPU time (s): 4800.38
CPU user time (s): 4798.24
CPU system time (s): 2.13768
CPU usage (%): 399.389
Max. virtual memory (cumulated for all children) (KiB): 695640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.24
system time used= 2.13767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541778
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= 210
involuntary context switches= 35139

runsolver used 1.82372 second user time and 4.72428 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 17:57:37
IDJOB=3175151
IDBENCH=82769
IDSOLVER=1588
FILE ID=node103/3175151-1304092657
RUNJOBID= node103-1304090162-19039
PBS_JOBID= 13170574
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 7a1181bb5cb0b1221253c27ad7ead33e
RANDOM SEED=22531095

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:      17753924 kB
Buffers:       2148640 kB
Cached:       12258696 kB
SwapCached:          0 kB
Active:        5733576 kB
Inactive:      8881076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17753924 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:      207012 kB
Mapped:          15516 kB
Slab:           519552 kB
PageTables:       5144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   466852 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= 71512 MiB
End job on node103 at 2011-04-29 18:17:40