Trace number 3264445

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

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
MD5SUM41d80cc808c021a52e21ee9950bc91e0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables764
Number of clauses9695
Sum of the clauses size29276
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39504
Number of clauses of size 4191
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-3264445-1304138917.cnf'
0.00/0.00	c -- header says num vars:            764
0.00/0.00	c -- header says num clauses:        9695
0.03/0.02	c -- clauses added:            0 learnts,         9695 normals,            0 xors
0.03/0.02	c -- vars added        764
0.03/0.02	c Parsing time:  0.01 s
0.03/0.02	c  N st     0         0       764      9695         0         0     29276         0   no data   no data  --
0.03/0.02	c asymm  cl-useful: 0/9695/9695 lits-rem:0 time: 0.06
0.03/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.03/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    764 time:  0.00 s
0.03/0.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:    191  v-fix:    0  time:  0.06 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:       0 undec:     191 neg:     573
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       573      9504         0         0     42768         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       573      9504         7      4657     42698     78749   no data   no data  --
3.17/0.80	c  N st    10     11297       573      9504        13      4834     42657     53492   no data   no data  --
3.57/0.99	c  N st    11     17040       573      9504        15     10333     42637    167605   no data   no data  --
6.76/1.76	c  F st    12     25001       573      9504        23     13252     42631    196903   no data   no data  --
6.76/1.76	c  N st    12     25001       573      9504        23     13252     42631    196903   no data   no data  --
8.79/2.24	c Decided on static restart strategy
8.79/2.24	c  N st    18     30000       573      9504        35     11962     42627    148531   no data   no data  --
8.79/2.24	c  S st    18     30000       573      9504        35     11962     42627    148531   no data   no data  --
8.79/2.27	c  S st    18     30503       573      9504        41     12450     42624    153225   no data   no data  --
8.79/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.79/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.28	c subs with bin:       60  lits-rem:      1608  v-fix:    0  time:  0.02 s
8.79/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    573 time:  0.00 s
8.79/2.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.61	c lits-rem:     10585  cl-subs:     3699  v-elim:      0  v-fix:    0  time:  1.29 s
10.36/2.66	c asymm  cl-useful: 0/9504/9504 lits-rem:0 time: 0.19
10.36/2.66	c calculated reachability. Time: 0.00
10.36/2.66	c  N st    18     30503       573      9504        43      8691     31775    110777   no data   no data  --
10.36/2.66	c Finding binary XORs  T:     0.00 s  found:       0
12.77/3.29	c  N st    20     37614       573      9504        57     15492     31775    244615   no data   no data  --
15.56/3.91	c  N st    21     44014       573      9504        59     13435     31775    173462   no data   no data  --
16.36/4.10	c  S st    22     45754       573      9504        72     15077     31775    202741   no data   no data  --
16.36/4.15	c  S st    22     46257       573      9504        72     15578     31775    212759   no data   no data  --
16.36/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.36/4.16	c bin-w-bin subsume rem            1 bins  time:  0.00 s
16.36/4.17	c subs with bin:       30  lits-rem:      2241  v-fix:    0  time:  0.04 s
16.36/4.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    573 time:  0.00 s
16.36/4.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.15/4.85	c lits-rem:      2281  cl-subs:     3235  v-elim:      0  v-fix:    0  time:  2.72 s
19.15/4.85	c vivif2 --  cl tried     9504 cl shrink        0 lits rem          0 time: 0.00
19.15/4.85	c vivif2 --  cl tried    12313 cl shrink        6 lits rem          6 time: 0.01
19.55/4.91	c asymm  cl-useful: 0/9504/9504 lits-rem:0 time: 0.23
19.55/4.91	c calculated reachability. Time: 0.00
19.55/4.91	c  N st    22     46257       573      9504        72     12313     31775    158275   no data   no data  --
25.55/6.49	c  N st    23     60654       573      9504        76     17344     31775    238817   no data   no data  --
25.55/6.49	c Finding binary XORs  T:     0.00 s  found:       1
29.54/7.46	c  N st    24     69386       573      9504       107     16144     31775    231756   no data   no data  --
29.54/7.46	c  S st    24     69386       573      9504       107     16144     31775    231756   no data   no data  --
29.93/7.51	c  S st    24     69894       573      9504       109     16648     31775    241037   no data   no data  --
29.93/7.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.93/7.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.93/7.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
29.93/7.51	c Replacing        1 vars Replaced      535 lits Time:     0.01 s 
29.93/7.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.93/7.54	c subs with bin:       31  lits-rem:      4128  v-fix:    0  time:  0.08 s
29.93/7.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    572 time:  0.00 s
29.93/7.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.13/8.33	c lits-rem:      3019  cl-subs:     2339  v-elim:      0  v-fix:    0  time:  3.15 s
33.13/8.33	c vivif2 --  cl tried     9491 cl shrink        0 lits rem          0 time: 0.00
33.13/8.34	c vivif2 --  cl tried    14282 cl shrink        0 lits rem          0 time: 0.01
33.53/8.40	c asymm  cl-useful: 4/9491/9491 lits-rem:4 time: 0.26
33.53/8.40	c calculated reachability. Time: 0.00
33.53/8.40	c  N st    24     69894       572      9491       108     14282     31732    195274   no data   no data  --
41.11/10.36	c  F st    25     87502       572      9491       109     20716     31732    281930   no data   no data  --
41.11/10.36	c  N st    25     87502       572      9491       109     20716     31732    281930   no data   no data  --
42.31/10.62	c Finding binary XORs  T:     0.00 s  found:       0
43.94/11.02	c Decided on static restart strategy
45.11/11.32	c  N st    32     95540       572      9491       126     16918     31732    208346   no data   no data  --
49.11/12.39	c  N st    34    104841       572      9491       142     13316     31732    128390   no data   no data  --
49.11/12.39	c  S st    34    104841       572      9491       142     13316     31732    128390   no data   no data  --
49.51/12.44	c  S st    34    105344       572      9491       165     13810     31732    137358   no data   no data  --
49.51/12.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.51/12.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.51/12.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      1 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
49.51/12.44	c Replacing        1 vars Replaced       98 lits Time:     0.00 s 
49.51/12.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.51/12.45	c subs with bin:       32  lits-rem:      1008  v-fix:    0  time:  0.02 s
49.51/12.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
49.51/12.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.71/12.74	c lits-rem:       634  cl-subs:      554  v-elim:      0  v-fix:    0  time:  1.14 s
50.71/12.74	c vivif2 --  cl tried     9477 cl shrink        0 lits rem          0 time: 0.00
50.71/12.74	c vivif2 --  cl tried    13228 cl shrink        0 lits rem          0 time: 0.01
51.11/12.80	c asymm  cl-useful: 1/9477/9477 lits-rem:1 time: 0.24
51.11/12.80	c calculated reachability. Time: 0.00
51.11/12.80	c  N st    34    105344       571      9477       165     13228     31687    129250   no data   no data  --
55.10/13.84	c  N st    35    114942       571      9477       165     22435     31687    306948   no data   no data  --
55.10/13.84	c Finding binary XORs  T:     0.00 s  found:       0
62.28/15.61	c  N st    36    129339       571      9477       166     22952     31687    304514   no data   no data  --
73.87/18.57	c  N st    37    150934       571      9477       167     29344     31687    400722   no data   no data  --
77.88/19.54	c  S st    38    158018       571      9477       172     20698     31687    227582   no data   no data  --
78.28/19.60	c  S st    38    158522       571      9477       175     21195     31687    236690   no data   no data  --
78.28/19.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.28/19.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.28/19.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
78.28/19.61	c bin-w-bin subsume rem            1 bins  time:  0.00 s
78.28/19.62	c subs with bin:        4  lits-rem:        72  v-fix:    0  time:  0.02 s
78.28/19.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
78.28/19.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.47/20.46	c lits-rem:      1350  cl-subs:     3389  v-elim:      0  v-fix:    0  time:  3.36 s
81.47/20.46	c vivif2 --  cl tried     9477 cl shrink        0 lits rem          0 time: 0.00
81.47/20.46	c vivif2 --  cl tried    17802 cl shrink        0 lits rem          0 time: 0.01
81.87/20.54	c asymm  cl-useful: 2/9477/9477 lits-rem:2 time: 0.29
81.87/20.54	c calculated reachability. Time: 0.00
81.87/20.54	c  N st    38    158522       571      9477       174     17802     31685    184434   no data   no data  --
111.03/27.90	c  N st    39    207110       571      9477       175     31026     31685    391192   no data   no data  --
111.03/27.90	c Finding binary XORs  T:     0.00 s  found:       0
129.00/32.38	c  N st    40    237783       571      9477       189     22904     31685    235307   no data   no data  --
129.00/32.38	c  S st    40    237783       571      9477       189     22904     31685    235307   no data   no data  --
129.40/32.43	c  S st    40    238285       571      9477       193     23397     31685    244163   no data   no data  --
129.40/32.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.40/32.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
129.40/32.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
129.40/32.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.40/32.46	c subs with bin:       22  lits-rem:      1683  v-fix:    0  time:  0.04 s
129.40/32.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
129.40/32.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
133.39/33.45	c lits-rem:      1689  cl-subs:     2559  v-elim:      0  v-fix:    0  time:  3.94 s
133.39/33.45	c vivif2 --  cl tried     9477 cl shrink        0 lits rem          0 time: 0.00
133.39/33.45	c vivif2 --  cl tried    20816 cl shrink        0 lits rem          0 time: 0.01
133.79/33.54	c asymm  cl-useful: 0/9477/9477 lits-rem:0 time: 0.34
133.79/33.54	c calculated reachability. Time: 0.00
133.79/33.54	c  N st    40    238285       571      9477       194     20816     31685    204027   no data   no data  --
173.74/43.51	c  F st    41    306252       571      9477       194     22863     31685    212240   no data   no data  --
173.74/43.51	c  N st    41    306252       571      9477       194     22863     31685    212240   no data   no data  --
173.74/43.51	c Finding binary XORs  T:     0.00 s  found:       0
176.53/44.20	c Decided on static restart strategy
190.52/47.78	c  N st    51    334557       571      9477       222     27065     31685    275099   no data   no data  --
206.90/51.83	c  N st    53    357427       571      9477       223     25020     31685    230589   no data   no data  --
206.90/51.83	c  S st    53    357427       571      9477       223     25020     31685    230589   no data   no data  --
206.90/51.89	c  S st    53    357931       571      9477       224     25519     31685    239623   no data   no data  --
206.90/51.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
206.90/51.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
206.90/51.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  0.4M T:  0.03
207.30/51.90	c bin-w-bin subsume rem            1 bins  time:  0.00 s
207.30/51.91	c subs with bin:        8  lits-rem:       357  v-fix:    0  time:  0.02 s
207.30/51.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    571 time:  0.00 s
207.30/51.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
210.91/52.82	c lits-rem:      1116  cl-subs:     1630  v-elim:      0  v-fix:    0  time:  3.64 s
210.91/52.82	c vivif2 --  cl tried     9477 cl shrink        0 lits rem          0 time: 0.00
210.91/52.83	c vivif2 --  cl tried    23881 cl shrink        0 lits rem          0 time: 0.02
211.29/52.91	c asymm  cl-useful: 0/9477/9477 lits-rem:0 time: 0.35
211.29/52.91	c calculated reachability. Time: 0.00
211.29/52.91	c  N st    53    357931       571      9477       221     23881     31685    217758   no data   no data  --
232.06/58.13	c  N st    54    390323       571      9477       222     29980     31685    310176   no data   no data  --
266.02/66.69	c  N st    55    438912       571      9477       224     51340     31685    701196   no data   no data  --
314.75/78.83	c  N st    56    511794       571      9477       227     37475     31685    420979   no data   no data  --
314.75/78.83	c Finding binary XORs  T:     0.00 s  found:       1
331.93/83.13	c  N st    57    536896       571      9477       240     31771     31685    303594   no data   no data  --
331.93/83.13	c  S st    57    536896       571      9477       240     31771     31685    303594   no data   no data  --
332.33/83.20	c  S st    57    537397       571      9477       243     32265     31685    312657   no data   no data  --
332.33/83.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
332.33/83.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
332.33/83.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
332.33/83.21	c Replacing        1 vars Replaced      114 lits Time:     0.01 s 
332.33/83.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
332.33/83.23	c subs with bin:       12  lits-rem:       411  v-fix:    0  time:  0.04 s
332.33/83.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
332.33/83.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
336.72/84.37	c lits-rem:      2093  cl-subs:     1534  v-elim:      0  v-fix:    0  time:  4.55 s
336.72/84.37	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
336.72/84.38	c vivif2 --  cl tried    30728 cl shrink        0 lits rem          0 time: 0.02
337.12/84.49	c asymm  cl-useful: 1/9464/9464 lits-rem:1 time: 0.44
337.12/84.49	c calculated reachability. Time: 0.00
337.12/84.49	c  N st    57    537397       570      9464       241     30728     31645    290950   no data   no data  --
454.97/113.99	c  N st    58    701383       570      9464       242     60278     31645    829466   no data   no data  --
544.05/136.29	c  N st    59    806096       570      9464       247     53703     31645    644330   no data   no data  --
544.05/136.29	c  S st    59    806096       570      9464       247     53703     31645    644330   no data   no data  --
544.05/136.29	c Finding binary XORs  T:     0.00 s  found:       0
544.46/136.40	c  S st    59    806600       570      9464       256     54202     31645    653632   no data   no data  --
544.46/136.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
544.46/136.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
544.87/136.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
544.87/136.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
544.87/136.47	c subs with bin:       14  lits-rem:      1777  v-fix:    0  time:  0.11 s
544.87/136.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
544.87/136.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
557.65/139.67	c lits-rem:      5947  cl-subs:    10304  v-elim:      0  v-fix:    0  time: 12.77 s
557.65/139.67	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
557.65/139.68	c vivif2 --  cl tried    43884 cl shrink        0 lits rem          0 time: 0.04
558.43/139.84	c asymm  cl-useful: 1/9464/9464 lits-rem:1 time: 0.66
558.43/139.84	c calculated reachability. Time: 0.00
558.43/139.84	c  N st    59    806600       570      9464       256     43884     31644    495918   no data   no data  --
811.69/203.24	c  F st    60   1071876       570      9464       259     60494     31644    726375   no data   no data  --
811.69/203.24	c  N st    60   1071876       570      9464       259     60494     31644    726375   no data   no data  --
811.69/203.24	c Finding binary XORs  T:     0.00 s  found:       0
816.09/204.35	c Decided on static restart strategy
838.06/209.81	c  N st    70   1100178       570      9464       274     87764     31644   1182525   no data   no data  --
871.21/218.12	c  N st    72   1136171       570      9464       274     78981     31644   1061441   no data   no data  --
902.37/225.96	c  N st    73   1168564       570      9464       274     65584     31644    765049   no data   no data  --
947.51/237.27	c  N st    74   1209901       570      9464       274     60069     31644    672541   no data   no data  --
947.51/237.27	c  S st    74   1209901       570      9464       274     60069     31644    672541   no data   no data  --
948.31/237.40	c  S st    74   1210402       570      9464       278     60560     31644    681704   no data   no data  --
948.31/237.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
948.31/237.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
948.31/237.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
948.31/237.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
948.31/237.47	c subs with bin:       22  lits-rem:       574  v-fix:    0  time:  0.10 s
948.31/237.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
948.31/237.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
961.90/240.87	c lits-rem:      4563  cl-subs:     9021  v-elim:      0  v-fix:    0  time: 13.56 s
961.90/240.87	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
961.90/240.88	c vivif2 --  cl tried    51517 cl shrink        0 lits rem          0 time: 0.04
962.68/241.08	c asymm  cl-useful: 0/8708/9464 lits-rem:0 time: 0.80
962.68/241.08	c calculated reachability. Time: 0.00
962.68/241.08	c  N st    74   1210402       570      9464       278     51517     31644    549818   no data   no data  --
1027.81/257.36	c  N st    75   1283284       570      9464       278     76233     31644   1019279   no data   no data  --
1027.81/257.36	c Finding binary XORs  T:     0.00 s  found:       0
1131.67/283.39	c  N st    76   1392607       570      9464       293     85495     31644   1088308   no data   no data  --
1285.86/321.99	c  N st    77   1556591       570      9464       293     93377     31644   1189078   no data   no data  --
1285.86/321.99	c Finding binary XORs  T:     0.00 s  found:       0
1448.45/362.69	c  N st    78   1710403       570      9464       303     82684     31644   1070584   no data   no data  --
1448.45/362.69	c  S st    78   1710403       570      9464       303     82684     31644   1070584   no data   no data  --
1449.25/362.89	c  S st    78   1710909       570      9464       305     83177     31644   1080442   no data   no data  --
1449.25/362.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1449.25/362.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1449.66/362.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.13
1449.66/362.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1450.06/363.00	c subs with bin:       11  lits-rem:       320  v-fix:    0  time:  0.17 s
1450.06/363.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
1450.06/363.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1475.20/369.39	c lits-rem:      1921  cl-subs:    10272  v-elim:      0  v-fix:    0  time: 25.49 s
1475.20/369.39	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
1475.60/369.40	c vivif2 --  cl tried    72894 cl shrink        0 lits rem          0 time: 0.07
1475.60/369.42	c asymm  cl-useful: 0/756/9464 lits-rem:0 time: 0.07
1475.60/369.43	c calculated reachability. Time: 0.00
1475.60/369.43	c  N st    78   1710909       570      9464       305     72894     31644    936276   no data   no data  --
1887.86/472.68	c  N st    79   2079873       570      9464       305     85283     31644   1033043   no data   no data  --
1887.86/472.68	c Finding binary XORs  T:     0.00 s  found:       0
2037.66/510.10	c  N st    80   2210911       570      9464       318     88989     31644   1057450   no data   no data  --
2037.66/510.10	c  S st    80   2210911       570      9464       318     88989     31644   1057450   no data   no data  --
2038.47/510.32	c  S st    80   2211413       570      9464       321     89484     31644   1067463   no data   no data  --
2038.47/510.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2038.47/510.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2038.47/510.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.14
2038.47/510.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2038.87/510.43	c subs with bin:        7  lits-rem:       320  v-fix:    0  time:  0.17 s
2038.87/510.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
2038.87/510.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2068.81/517.96	c lits-rem:      1761  cl-subs:    16250  v-elim:      0  v-fix:    0  time: 30.03 s
2068.81/517.96	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
2068.81/517.97	c vivif2 --  cl tried    73227 cl shrink        0 lits rem          0 time: 0.07
2070.01/518.22	c asymm  cl-useful: 0/4455/9464 lits-rem:0 time: 0.99
2070.01/518.23	c calculated reachability. Time: 0.00
2070.01/518.23	c  N st    80   2211413       570      9464       321     73227     31644    834978   no data   no data  --
2689.21/673.25	c  N st    81   2711414       570      9464       321     98012     31644   1229179   no data   no data  --
2689.21/673.25	c  S st    81   2711414       570      9464       321     98012     31644   1229179   no data   no data  --
2689.21/673.25	c Finding binary XORs  T:     0.00 s  found:       0
2689.99/673.49	c  S st    81   2711918       570      9464       333     98510     31644   1239081   no data   no data  --
2690.39/673.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2690.39/673.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2690.39/673.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2690.39/673.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2690.78/673.63	c subs with bin:        4  lits-rem:       154  v-fix:    0  time:  0.21 s
2690.78/673.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
2690.78/673.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2727.93/682.98	c lits-rem:      4028  cl-subs:    16196  v-elim:      0  v-fix:    0  time: 37.30 s
2727.93/682.98	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
2727.93/683.00	c vivif2 --  cl tried    82310 cl shrink        0 lits rem          0 time: 0.08
2728.76/683.11	c asymm  cl-useful: 0/5009/9464 lits-rem:0 time: 0.45
2728.76/683.11	c calculated reachability. Time: 0.00
2728.76/683.11	c  N st    81   2711918       570      9464       333     82310     31644    956304   no data   no data  --
3432.98/859.49	c  N st    82   3211918       570      9464       333    134488     31644   1937110   no data   no data  --
3432.98/859.49	c  S st    82   3211918       570      9464       333    134488     31644   1937110   no data   no data  --
3432.98/859.49	c Finding binary XORs  T:     0.00 s  found:       0
3434.58/859.85	c  S st    82   3212422       570      9464       348    134981     31644   1946702   no data   no data  --
3434.58/859.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3434.58/859.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3434.98/859.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.26
3434.98/859.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3435.38/860.10	c subs with bin:        7  lits-rem:      1189  v-fix:    0  time:  0.43 s
3435.38/860.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
3435.38/860.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3584.37/897.36	c lits-rem:      6028  cl-subs:    30175  v-elim:      0  v-fix:    0  time: 148.80 s
3584.37/897.36	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
3584.37/897.39	c vivif2 --  cl tried   104799 cl shrink        0 lits rem          0 time: 0.13
3586.37/897.82	c asymm  cl-useful: 0/3520/9464 lits-rem:0 time: 1.69
3586.37/897.82	c calculated reachability. Time: 0.00
3586.37/897.82	c  N st    82   3212422       570      9464       348    104799     31644   1456907   no data   no data  --
4300.17/1076.79	c  N st    83   3712422       570      9464       348    121167     31644   1641534   no data   no data  --
4300.17/1076.79	c  S st    83   3712422       570      9464       348    121167     31644   1641534   no data   no data  --
4300.17/1076.79	c Finding binary XORs  T:     0.00 s  found:       0
4301.38/1077.02	c  S st    83   3712926       570      9464       381    121666     31644   1651848   no data   no data  --
4301.38/1077.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4301.38/1077.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4301.38/1077.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.23
4301.77/1077.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4302.18/1077.22	c subs with bin:       11  lits-rem:       151  v-fix:    0  time:  0.36 s
4302.18/1077.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
4302.18/1077.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4399.24/1101.52	c lits-rem:      1233  cl-subs:    22692  v-elim:      0  v-fix:    0  time: 97.03 s
4399.24/1101.52	c vivif2 --  cl tried     9464 cl shrink        0 lits rem          0 time: 0.00
4399.24/1101.55	c vivif2 --  cl tried    98963 cl shrink        0 lits rem          0 time: 0.11
4400.44/1101.88	c asymm  cl-useful: 0/5944/9464 lits-rem:0 time: 1.34
4400.44/1101.89	c calculated reachability. Time: 0.00
4400.44/1101.89	c  N st    83   3712926       570      9464       381     98963     31644   1243977   no data   no data  --
4455.57/1115.63	c  F st    84   3751562       570      9464       381    136356     31644   1950098   no data   no data  --
4455.57/1115.64	c  N st    84   3751562       570      9464       381    136356     31644   1950098   no data   no data  --
4463.95/1117.70	c Decided on static restart strategy
4502.30/1127.32	c  N st    94   3779864       570      9464       381     82521     31644    802605   no data   no data  --
4543.45/1137.63	c  N st    96   3815856       570      9464       381    117419     31644   1440269   no data   no data  --
4586.99/1148.51	c  N st    97   3848250       570      9464       381    148530     31644   1989637   no data   no data  --
4654.10/1165.34	c  N st    98   3896838       570      9464       385    113286     31644   1303730   no data   no data  --
4762.38/1192.40	c  N st    99   3969720       570      9464       385    100902     31644   1122886   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-3264445-1304138917/watcher-3264445-1304138917 -o /tmp/evaluation-result-3264445-1304138917/solver-3264445-1304138917 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3264445-1304138917.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.41 7.89 7.71 4/176 20450
/proc/meminfo: memFree=23486648/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 413 0 0 0 0 0 0 0 19 0 4 0 525492119 52465664 352 33554432000 4194304 4650419 140735484125328 18446744073709551615 47072820561846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 12809 352 303 112 0 7774 0
[pid=20450/tid=20452] ppid=20446 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 525492119 52465664 352 33554432000 4194304 4650419 140735484125328 18446744073709551615 47072820561840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 525492119 52465664 352 33554432000 4194304 4650419 140735484125328 18446744073709551615 47072820561842 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 525492119 52465664 352 33554432000 4194304 4650419 140735484125328 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.015352 s]
/proc/loadavg: 7.41 7.89 7.71 4/176 20450
/proc/meminfo: memFree=23486648/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=282372 CPUtime=0.03 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 1613 0 0 0 3 0 0 0 18 0 4 0 525492119 289148928 1519 33554432000 4194304 4650419 140735484125328 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 70593 1519 366 112 0 65558 0
[pid=20450/tid=20452] ppid=20446 vsize=282372 CPUtime=0.01 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 283 0 0 0 1 0 0 0 18 0 4 0 525492119 289148928 1519 33554432000 4194304 4650419 140735484125328 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=282372 CPUtime=0 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 294 0 0 0 0 0 0 0 18 0 4 0 525492119 289148928 1519 33554432000 4194304 4650419 140735484125328 18446744073709551615 4369226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=282372 CPUtime=0 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 309 0 0 0 0 0 0 0 21 0 4 0 525492119 289148928 1519 33554432000 4194304 4650419 140735484125328 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 282372

[startup+0.100338 s]
/proc/loadavg: 7.41 7.89 7.71 4/176 20450
/proc/meminfo: memFree=23486648/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=286396 CPUtime=0.37 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 4642 0 0 0 37 0 0 0 18 0 4 0 525492119 293269504 3715 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 71599 3715 390 112 0 66564 0
[pid=20450/tid=20452] ppid=20446 vsize=286396 CPUtime=0.09 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1327 0 0 0 9 0 0 0 18 0 4 0 525492119 293269504 3716 33554432000 4194304 4650419 140735484125328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=286396 CPUtime=0.09 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1168 0 0 0 9 0 0 0 18 0 4 0 525492119 293269504 3716 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=286396 CPUtime=0.09 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 390 0 0 0 9 0 0 0 22 0 4 0 525492119 293269504 3716 33554432000 4194304 4650419 140735484125328 18446744073709551615 4316034 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 286396

[startup+0.3003 s]
/proc/loadavg: 7.41 7.89 7.71 4/176 20450
/proc/meminfo: memFree=23486648/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=287344 CPUtime=1.17 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 5668 0 0 0 117 0 0 0 18 0 4 0 525492119 294240256 3976 33554432000 4194304 4650419 140735484125328 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 71836 3976 393 112 0 66801 0
[pid=20450/tid=20452] ppid=20446 vsize=287344 CPUtime=0.29 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1606 0 0 0 29 0 0 0 18 0 4 0 525492119 294240256 3976 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=287344 CPUtime=0.29 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1347 0 0 0 29 0 0 0 18 0 4 0 525492119 294240256 3976 33554432000 4194304 4650419 140735484125328 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=287344 CPUtime=0.29 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 677 0 0 0 29 0 0 0 22 0 4 0 525492119 294240256 3977 33554432000 4194304 4650419 140735484125328 18446744073709551615 4331329 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) 287344

[startup+0.700224 s]
/proc/loadavg: 7.41 7.89 7.71 4/176 20450
/proc/meminfo: memFree=23486648/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=287628 CPUtime=2.77 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 6826 0 0 0 276 1 0 0 18 0 4 0 525492119 294531072 4481 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 71907 4481 393 112 0 66872 0
[pid=20450/tid=20452] ppid=20446 vsize=287628 CPUtime=0.69 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1954 0 0 0 69 0 0 0 18 0 4 0 525492119 294531072 4481 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=287628 CPUtime=0.69 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1444 0 0 0 69 0 0 0 18 0 4 0 525492119 294531072 4482 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=287628 CPUtime=0.69 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1001 0 0 0 69 0 0 0 24 0 4 0 525492119 294531072 4482 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287628

[startup+1.50107 s]
/proc/loadavg: 7.85 7.97 7.74 10/184 20458
/proc/meminfo: memFree=23446036/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=279904 CPUtime=5.97 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 8925 0 0 0 596 1 0 0 20 0 4 0 525492119 286621696 4959 33554432000 4194304 4650419 140735484125328 18446744073709551615 4240947 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 69976 4959 394 112 0 64941 0
[pid=20450/tid=20452] ppid=20446 vsize=279904 CPUtime=1.49 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 2391 0 0 0 149 0 0 0 19 0 4 0 525492119 286621696 4959 33554432000 4194304 4650419 140735484125328 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=279904 CPUtime=1.49 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 2025 0 0 0 149 0 0 0 20 0 4 0 525492119 286621696 4959 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=279904 CPUtime=1.48 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 1658 0 0 0 148 0 0 0 25 0 4 0 525492119 286621696 4959 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 279904

[startup+3.10078 s]
/proc/loadavg: 7.85 7.97 7.74 10/184 20458
/proc/meminfo: memFree=23432768/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=280984 CPUtime=12.36 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 15012 0 0 0 1234 2 0 0 25 0 4 0 525492119 287727616 9202 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 70246 9202 395 112 0 65211 0
[pid=20450/tid=20452] ppid=20446 vsize=280984 CPUtime=3.08 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 3967 0 0 0 308 0 0 0 25 0 4 0 525492119 287727616 9202 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=280984 CPUtime=3.09 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 2851 0 0 0 309 0 0 0 25 0 4 0 525492119 287727616 9202 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=280984 CPUtime=3.07 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 3708 0 0 0 307 0 0 0 25 0 4 0 525492119 287727616 9202 33554432000 4194304 4650419 140735484125328 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 280984

[startup+6.30018 s]
/proc/loadavg: 7.87 7.97 7.74 10/184 20458
/proc/meminfo: memFree=23370320/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=278040 CPUtime=25.14 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 21829 0 0 0 2511 3 0 0 25 0 4 0 525492119 284712960 12806 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 69510 12806 395 112 0 64475 0
[pid=20450/tid=20452] ppid=20446 vsize=278040 CPUtime=6.29 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 5960 0 0 0 628 1 0 0 25 0 4 0 525492119 284712960 12806 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=278040 CPUtime=6.28 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 4895 0 0 0 628 0 0 0 25 0 4 0 525492119 284712960 12806 33554432000 4194304 4650419 140735484125328 18446744073709551615 4333646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=278040 CPUtime=6.25 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 5099 0 0 0 625 0 0 0 25 0 4 0 525492119 284712960 12806 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 278040

[startup+12.701 s]
/proc/loadavg: 7.88 7.97 7.74 9/184 20458
/proc/meminfo: memFree=23328164/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=305800 CPUtime=50.71 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 29886 0 0 0 5066 5 0 0 25 0 4 0 525492119 313139200 15445 33554432000 4194304 4650419 140735484125328 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 76450 15445 395 112 0 71415 0
[pid=20450/tid=20452] ppid=20446 vsize=305800 CPUtime=12.68 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 7786 0 0 0 1267 1 0 0 25 0 4 0 525492119 313139200 15445 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=305800 CPUtime=12.68 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 6574 0 0 0 1268 0 0 0 25 0 4 0 525492119 313139200 15445 33554432000 4194304 4650419 140735484125328 18446744073709551615 4334336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=305800 CPUtime=12.62 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 7622 0 0 0 1261 1 0 0 25 0 4 0 525492119 313139200 15445 33554432000 4194304 4650419 140735484125328 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) 305800

[startup+25.5006 s]
/proc/loadavg: 7.89 7.97 7.74 10/184 20459
/proc/meminfo: memFree=23299652/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=297340 CPUtime=101.83 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 44782 0 0 0 10175 8 0 0 25 0 4 0 525492119 304476160 18136 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 74335 18136 395 112 0 69300 0
[pid=20450/tid=20452] ppid=20446 vsize=297340 CPUtime=25.49 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 11529 0 0 0 2547 2 0 0 25 0 4 0 525492119 304476160 18136 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=297340 CPUtime=25.49 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 11069 0 0 0 2547 2 0 0 25 0 4 0 525492119 304476160 18136 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=297340 CPUtime=25.35 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 11290 0 0 0 2533 2 0 0 25 0 4 0 525492119 304476160 18136 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 297340

[startup+51.1008 s]
/proc/loadavg: 8.01 7.99 7.76 10/184 20459
/proc/meminfo: memFree=23270164/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=288616 CPUtime=204.1 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 67624 0 0 0 20396 14 0 0 25 0 4 0 525492119 295542784 22440 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 72154 22440 395 112 0 67119 0
[pid=20450/tid=20452] ppid=20446 vsize=288616 CPUtime=51.09 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 17872 0 0 0 5105 4 0 0 25 0 4 0 525492119 295542784 22441 33554432000 4194304 4650419 140735484125328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=288616 CPUtime=51.09 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 16892 0 0 0 5106 3 0 0 25 0 4 0 525492119 295542784 22441 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=288616 CPUtime=50.82 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 15947 0 0 0 5079 3 0 0 25 0 4 0 525492119 295542784 22441 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 288616

[startup+102.306 s]
/proc/loadavg: 8.00 7.99 7.77 10/184 20461
/proc/meminfo: memFree=23218436/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=302324 CPUtime=408.64 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 107349 0 0 0 40840 24 0 0 25 0 4 0 525492119 309579776 27235 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 75581 27235 395 112 0 70546 0
[pid=20450/tid=20452] ppid=20446 vsize=302324 CPUtime=102.28 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 27896 0 0 0 10223 5 0 0 25 0 4 0 525492119 309579776 27235 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=302324 CPUtime=102.29 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 27717 0 0 0 10223 6 0 0 25 0 4 0 525492119 309579776 27235 33554432000 4194304 4650419 140735484125328 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=302324 CPUtime=101.74 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 21945 0 0 0 10170 4 0 0 25 0 4 0 525492119 309579776 27235 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 302324

[startup+162.301 s]

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

[pid=20450] ppid=20446 vsize=534880 CPUtime=2805.42 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 386763 0 0 0 280411 131 0 0 25 0 4 0 525492119 547717120 76634 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 133720 76634 395 112 0 128685 0
[pid=20450/tid=20452] ppid=20446 vsize=534880 CPUtime=702.3 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 112865 0 0 0 70194 36 0 0 25 0 4 0 525492119 547717120 76634 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=534880 CPUtime=702.31 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 110495 0 0 0 70192 39 0 0 25 0 4 0 525492119 547717120 76634 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=534880 CPUtime=698.5 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 79069 0 0 0 69821 29 0 0 25 0 4 0 525492119 547717120 76634 33554432000 4194304 4650419 140735484125328 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 534880

[startup+762.307 s]
/proc/loadavg: 8.15 8.08 7.91 10/184 20487
/proc/meminfo: memFree=22775248/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=488440 CPUtime=3045.12 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 405214 0 0 0 304374 138 0 0 25 0 4 0 525492119 500162560 75094 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 122110 75094 395 112 0 117075 0
[pid=20450/tid=20452] ppid=20446 vsize=488440 CPUtime=762.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 118286 0 0 0 76193 38 0 0 25 0 4 0 525492119 500162560 75094 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=488440 CPUtime=762.32 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 115621 0 0 0 76192 40 0 0 25 0 4 0 525492119 500162560 75094 33554432000 4194304 4650419 140735484125328 18446744073709551615 4339946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=488440 CPUtime=758.17 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 81573 0 0 0 75787 30 0 0 25 0 4 0 525492119 500162560 75094 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 488440

[startup+822.301 s]
/proc/loadavg: 8.05 8.07 7.91 10/184 20489
/proc/meminfo: memFree=22702564/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=554308 CPUtime=3284.77 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 430784 0 0 0 328329 148 0 0 25 0 4 0 525492119 567611392 81464 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 138577 81464 395 112 0 133542 0
[pid=20450/tid=20452] ppid=20446 vsize=554308 CPUtime=822.3 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 128680 0 0 0 82189 41 0 0 25 0 4 0 525492119 567611392 81464 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=554308 CPUtime=822.31 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 123135 0 0 0 82187 44 0 0 25 0 4 0 525492119 567611392 81464 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=554308 CPUtime=817.84 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 84637 0 0 0 81753 31 0 0 25 0 4 0 525492119 567611392 81464 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 554308

[startup+882.301 s]
/proc/loadavg: 8.02 8.05 7.91 10/184 20490
/proc/meminfo: memFree=22706612/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=548512 CPUtime=3524.46 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 453218 0 0 0 352288 158 0 0 25 0 4 0 525492119 561676288 86500 33554432000 4194304 4650419 140735484125328 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 137128 86500 395 112 0 132093 0
[pid=20450/tid=20452] ppid=20446 vsize=548512 CPUtime=882.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 134826 0 0 0 88186 45 0 0 25 0 4 0 525492119 561676288 86500 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=548512 CPUtime=882.31 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 130903 0 0 0 88184 47 0 0 25 0 4 0 525492119 561676288 86500 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=548512 CPUtime=877.51 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 88625 0 0 0 87718 33 0 0 25 0 4 0 525492119 561676288 86500 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 548512

[startup+942.3 s]
/proc/loadavg: 8.21 8.09 7.93 10/184 20495
/proc/meminfo: memFree=22670452/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=568468 CPUtime=3763.29 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 465549 0 0 0 376166 163 0 0 25 0 4 0 525492119 582111232 88258 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 142117 88258 395 112 0 137082 0
[pid=20450/tid=20452] ppid=20446 vsize=568468 CPUtime=942.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 140231 0 0 0 94185 46 0 0 25 0 4 0 525492119 582111232 88258 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=568468 CPUtime=942.32 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 132644 0 0 0 94184 48 0 0 25 0 4 0 525492119 582111232 88258 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=568468 CPUtime=937.2 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 89868 0 0 0 93685 35 0 0 25 0 4 0 525492119 582111232 88258 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.29
Current children cumulated vsize (KiB) 568468

[startup+1002.3 s]
/proc/loadavg: 8.07 8.07 7.93 10/184 20497
/proc/meminfo: memFree=22617660/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=634280 CPUtime=4002.97 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 490976 0 0 0 400124 173 0 0 25 0 4 0 525492119 649502720 98865 33554432000 4194304 4650419 140735484125328 18446744073709551615 4367295 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 158570 98865 395 112 0 153535 0
[pid=20450/tid=20452] ppid=20446 vsize=634280 CPUtime=1002.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 148007 0 0 0 100182 49 0 0 25 0 4 0 525492119 649502720 98865 33554432000 4194304 4650419 140735484125328 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=634280 CPUtime=1002.32 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 139909 0 0 0 100181 51 0 0 25 0 4 0 525492119 649502720 98865 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=634280 CPUtime=996.87 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 94440 0 0 0 99650 37 0 0 25 0 4 0 525492119 649502720 98865 33554432000 4194304 4650419 140735484125328 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 634280

[startup+1062.3 s]
/proc/loadavg: 8.14 8.09 7.94 9/184 20498
/proc/meminfo: memFree=22631268/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=568984 CPUtime=4242.66 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 507200 0 0 0 424085 181 0 0 25 0 4 0 525492119 582639616 92948 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 142246 92948 395 112 0 137211 0
[pid=20450/tid=20452] ppid=20446 vsize=568984 CPUtime=1062.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 152804 0 0 0 106180 51 0 0 25 0 4 0 525492119 582639616 92948 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=568984 CPUtime=1062.32 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 146172 0 0 0 106178 54 0 0 25 0 4 0 525492119 582639616 92948 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=568984 CPUtime=1056.55 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 96758 0 0 0 105617 38 0 0 25 0 4 0 525492119 582639616 92948 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 568984

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 7.94 10/184 20500
/proc/meminfo: memFree=22600608/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=637724 CPUtime=4482.33 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 525433 0 0 0 448043 190 0 0 25 0 4 0 525492119 653029376 101799 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 159431 101799 395 112 0 154396 0
[pid=20450/tid=20452] ppid=20446 vsize=637724 CPUtime=1122.31 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 159240 0 0 0 112177 54 0 0 25 0 4 0 525492119 653029376 101799 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=637724 CPUtime=1122.32 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 150835 0 0 0 112176 56 0 0 25 0 4 0 525492119 653029376 101799 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=637724 CPUtime=1116.22 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 100456 0 0 0 111582 40 0 0 25 0 4 0 525492119 653029376 101799 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 637724

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 7.95 10/184 20501
/proc/meminfo: memFree=22620912/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=572428 CPUtime=4722.01 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 543219 0 0 0 472003 198 0 0 25 0 4 0 525492119 586166272 94930 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 143107 94930 395 112 0 138072 0
[pid=20450/tid=20452] ppid=20446 vsize=572428 CPUtime=1182.32 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 165763 0 0 0 118174 58 0 0 25 0 4 0 525492119 586166272 94930 33554432000 4194304 4650419 140735484125328 18446744073709551615 4316000 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=572428 CPUtime=1182.33 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 156954 0 0 0 118174 59 0 0 25 0 4 0 525492119 586166272 94930 33554432000 4194304 4650419 140735484125328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=572428 CPUtime=1175.89 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 102798 0 0 0 117549 40 0 0 25 0 4 0 525492119 586166272 94930 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.01
Current children cumulated vsize (KiB) 572428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.08 8.08 7.95 5/179 20503
/proc/meminfo: memFree=23085068/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=638024 CPUtime=4800.32 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 551358 0 0 0 479830 202 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 159506 100067 395 112 0 154471 0
[pid=20450/tid=20452] ppid=20446 vsize=638024 CPUtime=1201.92 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 168840 0 0 0 120134 58 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=638024 CPUtime=1201.93 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 159109 0 0 0 120133 60 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=638024 CPUtime=1195.39 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 103660 0 0 0 119498 41 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 638024

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.08 8.08 7.95 5/179 20503
/proc/meminfo: memFree=23085068/32951124 swapFree=67111524/67111528
[pid=20450] ppid=20446 vsize=638024 CPUtime=4800.32 cores=1,3,5,7
/proc/20450/stat : 20450 (strangenight1-m) R 20446 20450 19619 0 -1 4202496 551358 0 0 0 479830 202 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20450/statm: 159506 100067 395 112 0 154471 0
[pid=20450/tid=20452] ppid=20446 vsize=638024 CPUtime=1201.92 cores=1,3,5,7
/proc/20450/task/20452/stat : 20452 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 168840 0 0 0 120134 58 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20450/tid=20454] ppid=20446 vsize=638024 CPUtime=1201.93 cores=1,3,5,7
/proc/20450/task/20454/stat : 20454 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 159109 0 0 0 120133 60 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20450/tid=20456] ppid=20446 vsize=638024 CPUtime=1195.39 cores=1,3,5,7
/proc/20450/task/20456/stat : 20456 (strangenight1-m) R 20446 20450 19619 0 -1 4202560 103660 0 0 0 119498 41 0 0 25 0 4 0 525492119 653336576 100067 33554432000 4194304 4650419 140735484125328 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 638024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.37
CPU user time (s): 4798.33
CPU system time (s): 2.04469
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 690900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.33
system time used= 2.04469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551358
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= 416
involuntary context switches= 36367

runsolver used 1.91171 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 06:48:37
IDJOB=3264445
IDBENCH=84634
IDSOLVER=1588
FILE ID=node105/3264445-1304138917
RUNJOBID= node105-1304138917-20432
PBS_JOBID= 13170798
Free space on /tmp= 73044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264445-1304138917/watcher-3264445-1304138917 -o /tmp/evaluation-result-3264445-1304138917/solver-3264445-1304138917 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3264445-1304138917.cnf

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

MD5SUM BENCH= 41d80cc808c021a52e21ee9950bc91e0
RANDOM SEED=844449536

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      23487216 kB
Buffers:       2174464 kB
Cached:        6674828 kB
SwapCached:          4 kB
Active:         627220 kB
Inactive:      8285472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23487216 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12580 kB
Writeback:           8 kB
AnonPages:       62940 kB
Mapped:          14576 kB
Slab:           488028 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183612 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= 73036 MiB
End job on node105 at 2011-04-30 07:08:41