Trace number 3175157

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-mtUNSAT 3416.09 856.875

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf
MD5SUM24f29f9a1e0f9e8aba36541592ba8e3a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.1233
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175157-1304093359.cnf'
0.00/0.00	c -- header says num vars:            350
0.00/0.00	c -- header says num clauses:        1491
0.00/0.00	c -- clauses added:            0 learnts,         1491 normals,            0 xors
0.00/0.00	c -- vars added        350
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       350      1491         0         0      4473         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1491/1491 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    350 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     141 undec:      36 neg:     173
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       344      1483         0         0      4496         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.40/0.13	c  N st     8      4916       344      1483         0      4751      4496     81498   no data   no data  --
1.17/0.36	c  N st    10     11299       344      1483         0      4424      4496     62082   no data   no data  --
1.97/0.59	c  N st    11     17042       344      1483         0      9999      4496    162188   no data   no data  --
3.57/0.99	c  F st    12     25000       344      1483         0     12210      4496    188665   no data   no data  --
3.57/0.99	c  N st    12     25000       344      1483         0     12210      4496    188665   no data   no data  --
4.78/1.23	c Decided on static restart strategy
4.78/1.23	c  N st    18     30000       344      1483         0     10549      4496    151424   no data   no data  --
4.78/1.23	c  S st    18     30000       344      1483         0     10549      4496    151424   no data   no data  --
4.78/1.26	c  S st    18     30504       344      1483         0     11052      4496    160607   no data   no data  --
4.78/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.78/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.78/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
4.78/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.41	c lits-rem:       237  cl-subs:     1000  v-elim:      0  v-fix:    0  time:  0.56 s
5.56/1.41	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.03
5.56/1.41	c calculated reachability. Time: 0.00
5.56/1.41	c  N st    18     30504       344      1483         0     10052      4496    143941   no data   no data  --
6.76/1.78	c  N st    20     37614       344      1483         0      9343      4496    119463   no data   no data  --
8.36/2.10	c  N st    21     44014       344      1483         0     15531      4496    235882   no data   no data  --
8.77/2.21	c  S st    22     45756       344      1483         0     17241      4496    267079   no data   no data  --
8.77/2.25	c  S st    22     46260       344      1483         0      9075      4496    103207   no data   no data  --
8.77/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.77/2.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
8.77/2.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
8.77/2.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.30	c lits-rem:        24  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.18 s
9.18/2.30	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
9.18/2.30	c vivif2 --  cl tried     8944 cl shrink        0 lits rem          0 time: 0.00
9.18/2.31	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.03
9.18/2.31	c calculated reachability. Time: 0.00
9.18/2.31	c  N st    22     46260       344      1483         0      8944      4496    101105   no data   no data  --
11.95/3.09	c  N st    23     60658       344      1483         0     13239      4496    172217   no data   no data  --
14.35/3.62	c  N st    24     69391       344      1483         0     11052      4496    125735   no data   no data  --
14.35/3.62	c  S st    24     69391       344      1483         0     11052      4496    125735   no data   no data  --
14.35/3.65	c  S st    24     69895       344      1483         0     11555      4496    135277   no data   no data  --
14.35/3.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.35/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
14.35/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.35/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
14.35/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.77	c lits-rem:        68  cl-subs:      220  v-elim:      0  v-fix:    0  time:  0.46 s
14.75/3.77	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
14.75/3.77	c vivif2 --  cl tried    11335 cl shrink        0 lits rem          0 time: 0.01
14.75/3.78	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.03
14.75/3.78	c calculated reachability. Time: 0.00
14.75/3.78	c  N st    24     69895       344      1483         0     11335      4496    131428   no data   no data  --
19.54/4.91	c  F st    25     87500       344      1483         0     16772      4496    226975   no data   no data  --
19.54/4.91	c  N st    25     87500       344      1483         0     16772      4496    226975   no data   no data  --
20.75/5.26	c Decided on static restart strategy
21.55/5.50	c  N st    32     95543       344      1483         0     24576      4496    370638   no data   no data  --
24.34/6.15	c  N st    34    104843       344      1483         0     20976      4496    280185   no data   no data  --
24.34/6.15	c  S st    34    104843       344      1483         0     20976      4496    280185   no data   no data  --
24.74/6.21	c  S st    34    105345       344      1483         0     21476      4496    289561   no data   no data  --
24.74/6.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.74/6.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.74/6.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.74/6.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.74/6.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.74/6.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
24.74/6.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.13/6.82	c lits-rem:       293  cl-subs:     1363  v-elim:      0  v-fix:    0  time:  2.39 s
27.13/6.82	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
27.13/6.82	c vivif2 --  cl tried    20113 cl shrink        0 lits rem          0 time: 0.01
27.13/6.84	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.06
27.13/6.84	c calculated reachability. Time: 0.00
27.13/6.84	c  N st    34    105345       344      1483         0     20113      4496    267995   no data   no data  --
29.93/7.56	c  N st    35    114943       344      1483         0     15786      4496    175030   no data   no data  --
34.32/8.67	c  N st    36    129342       344      1483         0     15176      4496    155885   no data   no data  --
41.11/10.32	c  N st    37    150941       344      1483         0     20586      4496    244103   no data   no data  --
43.11/10.88	c  S st    38    158018       344      1483         0     27415      4496    375966   no data   no data  --
43.51/10.96	c  S st    38    158527       344      1483         0     27924      4496    385599   no data   no data  --
43.51/10.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.51/10.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.51/10.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.51/10.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.51/10.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.51/10.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
43.51/10.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.31/12.15	c lits-rem:       688  cl-subs:     2200  v-elim:      0  v-fix:    0  time:  4.66 s
48.31/12.15	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
48.31/12.15	c vivif2 --  cl tried    25724 cl shrink        0 lits rem          0 time: 0.01
48.31/12.17	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.07
48.31/12.17	c calculated reachability. Time: 0.00
48.31/12.17	c  N st    38    158527       344      1483         0     25724      4496    348328   no data   no data  --
64.68/16.26	c  N st    39    207117       344      1483         0     20680      4496    227589   no data   no data  --
75.08/18.85	c  N st    40    237791       344      1483         0     30939      4496    390500   no data   no data  --
75.08/18.85	c  S st    40    237791       344      1483         0     30939      4496    390500   no data   no data  --
75.46/18.95	c  S st    40    238293       344      1483         0     31436      4496    399668   no data   no data  --
75.46/18.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
75.46/18.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.46/18.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
75.46/18.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.46/18.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.46/18.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
75.46/18.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.06/20.34	c lits-rem:      1112  cl-subs:     2993  v-elim:      0  v-fix:    0  time:  5.47 s
81.06/20.34	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
81.06/20.34	c vivif2 --  cl tried    28443 cl shrink        0 lits rem          0 time: 0.02
81.06/20.36	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.08
81.06/20.37	c calculated reachability. Time: 0.00
81.06/20.37	c  N st    40    238293       344      1483         0     28443      4496    354806   no data   no data  --
109.02/27.33	c  F st    41    306250       344      1483         0     30178      4496    338819   no data   no data  --
109.02/27.33	c  N st    41    306250       344      1483         0     30178      4496    338819   no data   no data  --
111.41/27.90	c Decided on static restart strategy
121.40/30.47	c  N st    51    334552       344      1483         0     34444      4496    413510   no data   no data  --
132.21/33.14	c  N st    53    357439       344      1483         0     32518      4496    378592   no data   no data  --
132.21/33.14	c  S st    53    357439       344      1483         0     32518      4496    378592   no data   no data  --
132.58/33.23	c  S st    53    357939       344      1483         0     33016      4496    388128   no data   no data  --
132.58/33.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
132.58/33.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.58/33.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
132.58/33.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.58/33.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.58/33.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
132.58/33.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.38/34.45	c lits-rem:       582  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  4.81 s
137.38/34.45	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
137.38/34.46	c vivif2 --  cl tried    31221 cl shrink        0 lits rem          0 time: 0.02
137.38/34.48	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.10
137.38/34.48	c calculated reachability. Time: 0.00
137.38/34.48	c  N st    53    357939       344      1483         0     31221      4496    359546   no data   no data  --
152.95/38.33	c  N st    54    390332       344      1483         0     37555      4496    461686   no data   no data  --
178.52/44.72	c  N st    55    438920       344      1483         0     31328      4496    322876   no data   no data  --
215.28/53.97	c  N st    56    511803       344      1483         0     44496      4496    546140   no data   no data  --
229.25/57.46	c  N st    57    536908       344      1483         0     38781      4496    439192   no data   no data  --
229.25/57.46	c  S st    57    536908       344      1483         0     38781      4496    439192   no data   no data  --
229.66/57.56	c  S st    57    537414       344      1483         0     39284      4496    448835   no data   no data  --
229.66/57.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
229.66/57.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
229.66/57.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
229.66/57.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
229.66/57.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.66/57.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
229.66/57.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.64/59.05	c lits-rem:       784  cl-subs:     1784  v-elim:      0  v-fix:    0  time:  5.83 s
235.64/59.05	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
235.64/59.05	c vivif2 --  cl tried    37500 cl shrink        0 lits rem          0 time: 0.02
235.64/59.08	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.12
235.64/59.08	c calculated reachability. Time: 0.00
235.64/59.08	c  N st    57    537414       344      1483         0     37500      4496    417287   no data   no data  --
326.72/81.80	c  N st    58    701398       344      1483         0     66358      4496    930812   no data   no data  --
391.45/98.01	c  N st    59    806124       344      1483         0     59973      4496    720779   no data   no data  --
391.45/98.01	c  S st    59    806124       344      1483         0     59973      4496    720779   no data   no data  --
391.83/98.18	c  S st    59    806633       344      1483         0     60478      4496    730694   no data   no data  --
391.83/98.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
391.83/98.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
392.23/98.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
392.23/98.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
392.23/98.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
392.23/98.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
392.23/98.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
403.41/101.08	c lits-rem:      1684  cl-subs:     7265  v-elim:      0  v-fix:    0  time: 11.35 s
403.41/101.08	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
403.41/101.09	c vivif2 --  cl tried    53213 cl shrink        0 lits rem          0 time: 0.03
403.81/101.14	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.23
403.81/101.15	c calculated reachability. Time: 0.00
403.81/101.15	c  N st    59    806633       344      1483         0     53213      4496    620906   no data   no data  --
598.74/149.90	c  F st    60   1071877       344      1483         0     69156      4496    807133   no data   no data  --
598.74/149.90	c  N st    60   1071877       344      1483         0     69156      4496    807133   no data   no data  --
603.14/151.02	c Decided on static restart strategy
623.11/156.06	c  N st    70   1100180       344      1483         0     53285      4496    561180   no data   no data  --
651.07/163.07	c  N st    72   1136174       344      1483         0     87881      4496   1173095   no data   no data  --
673.44/168.67	c  N st    73   1168566       344      1483         0     74794      4496    927653   no data   no data  --
703.01/176.04	c  N st    74   1209950       344      1483         0     69355      4496    794903   no data   no data  --
703.01/176.04	c  S st    74   1209950       344      1483         0     69355      4496    794903   no data   no data  --
703.79/176.26	c  S st    74   1210454       344      1483         0     69853      4496    804934   no data   no data  --
703.79/176.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
703.79/176.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
703.79/176.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
704.19/176.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
704.19/176.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
704.19/176.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
704.19/176.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
716.98/179.58	c lits-rem:      1622  cl-subs:     8255  v-elim:      0  v-fix:    0  time: 13.04 s
716.98/179.58	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
716.98/179.59	c vivif2 --  cl tried    61598 cl shrink        0 lits rem          0 time: 0.04
717.38/179.65	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.26
717.38/179.66	c calculated reachability. Time: 0.00
717.38/179.66	c  N st    74   1210454       344      1483         0     61598      4496    682724   no data   no data  --
774.51/193.95	c  N st    75   1283336       344      1483         0     85681      4496   1129178   no data   no data  --
859.99/215.37	c  N st    76   1392659       344      1483         0     95740      4496   1277997   no data   no data  --
1004.19/251.43	c  N st    77   1556643       344      1483         0    102690      4496   1239623   no data   no data  --
1128.82/282.63	c  N st    78   1710456       344      1483         0     92067      4496   1079689   no data   no data  --
1128.82/282.63	c  S st    78   1710456       344      1483         0     92067      4496   1079689   no data   no data  --
1130.02/282.96	c  S st    78   1710960       344      1483         0     92567      4496   1089167   no data   no data  --
1130.02/282.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1130.02/282.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1130.42/283.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1130.42/283.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1130.42/283.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1130.42/283.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
1130.42/283.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1155.60/289.39	c lits-rem:       811  cl-subs:    16319  v-elim:      0  v-fix:    0  time: 25.32 s
1155.60/289.39	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
1155.60/289.40	c vivif2 --  cl tried    76248 cl shrink        0 lits rem          0 time: 0.05
1156.00/289.49	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.35
1156.00/289.49	c calculated reachability. Time: 0.00
1156.00/289.49	c  N st    78   1710960       344      1483         0     76248      4496    852754   no data   no data  --
1486.73/372.25	c  N st    79   2079925       344      1483         0     88526      4496   1013625   no data   no data  --
1612.97/403.90	c  N st    80   2210962       344      1483         0     91904      4496   1045267   no data   no data  --
1612.97/403.90	c  S st    80   2210962       344      1483         0     91904      4496   1045267   no data   no data  --
1614.15/404.18	c  S st    80   2211467       344      1483         0     92407      4496   1054797   no data   no data  --
1614.15/404.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1614.15/404.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1614.56/404.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
1614.56/404.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1614.56/404.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1614.56/404.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
1614.56/404.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1634.13/409.15	c lits-rem:       990  cl-subs:    11301  v-elim:      0  v-fix:    0  time: 19.54 s
1634.13/409.15	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
1634.13/409.16	c vivif2 --  cl tried    81106 cl shrink        0 lits rem          0 time: 0.05
1634.54/409.26	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.40
1634.54/409.26	c calculated reachability. Time: 0.00
1634.54/409.26	c  N st    80   2211467       344      1483         0     81106      4496    890992   no data   no data  --
2157.41/540.19	c  N st    81   2711467       344      1483         1    105091      4496   1250210   no data   no data  --
2157.41/540.19	c  S st    81   2711467       344      1483         1    105091      4496   1250210   no data   no data  --
2159.01/540.55	c  S st    81   2711969       344      1483         1    105589      4496   1260204   no data   no data  --
2159.01/540.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2159.01/540.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2159.41/540.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2159.41/540.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2161.41/541.20	c subs with bin:     2224  lits-rem:      1331  v-fix:    0  time:  2.19 s
2161.41/541.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    344 time:  0.00 s
2161.41/541.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2188.96/548.05	c lits-rem:      6384  cl-subs:     9569  v-elim:      0  v-fix:    0  time: 27.35 s
2188.96/548.05	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
2188.96/548.06	c vivif2 --  cl tried    93796 cl shrink        0 lits rem          0 time: 0.07
2189.36/548.19	c asymm  cl-useful: 0/1483/1483 lits-rem:0 time: 0.51
2189.36/548.19	c calculated reachability. Time: 0.00
2189.36/548.19	c  N st    81   2711969       344      1483         1     93796      4496   1085269   no data   no data  --
2717.44/680.33	c Finding binary XORs  T:     0.00 s  found:       0
2769.77/693.46	c  N st    82   3211969       343      1467         7    120141      4460   1498519   no data   no data  --
2769.77/693.46	c  S st    82   3211969       343      1467         7    120141      4460   1498519   no data   no data  --
2771.77/693.99	c  S st    82   3212470       343      1467         7    120641      4460   1508115   no data   no data  --
2772.17/694.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2772.17/694.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2772.17/694.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
2772.58/694.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2778.15/695.56	c subs with bin:     1005  lits-rem:     18235  v-fix:    0  time:  5.74 s
2778.15/695.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    343 time:  0.00 s
2778.15/695.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2840.07/711.06	c lits-rem:      1747  cl-subs:    18564  v-elim:      0  v-fix:    0  time: 61.92 s
2840.07/711.06	c vivif2 --  cl tried     1467 cl shrink        0 lits rem          0 time: 0.00
2840.07/711.09	c vivif2 --  cl tried   101072 cl shrink        0 lits rem          0 time: 0.08
2840.87/711.25	c asymm  cl-useful: 0/1467/1467 lits-rem:0 time: 0.68
2840.87/711.26	c calculated reachability. Time: 0.00
2840.87/711.26	c  N st    82   3212470       343      1467         7    101072      4460   1203242   no data   no data  --
3402.90/851.99	c  N st    83   3712471       343      1467         9    141917      4460   1685857   no data   no data  --
3402.90/851.99	c  S st    83   3712471       343      1467         9    141917      4460   1685857   no data   no data  --
3404.50/852.35	c Finding binary XORs  T:     0.00 s  found:       0
3405.72/852.64	c  S st    83   3712979       336      1345       114     76443      4183    748363   no data   no data  --
3405.72/852.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3405.72/852.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3405.72/852.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  1.1M T:  0.17
3406.10/852.71	c bin-w-bin subsume rem           49 bins  time:  0.00 s
3411.35/854.51	c subs with bin:    12994  lits-rem:     17066  v-fix:    0  time:  5.22 s
3411.35/854.52	c Subs w/ non-existent bins:     85 l-rem:   1149 v-fix:     0 done:    336 time:  0.02 s
3411.35/854.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3415.75/856.78	c lits-rem:      4299  cl-subs:    10099  v-elim:      4  v-fix:    0  time:  4.53 s
3415.75/856.78	c vivif2 --  cl tried     1339 cl shrink        1 lits rem          1 time: 0.00
3415.95/856.80	c vivif2 --  cl tried    53269 cl shrink     3267 lits rem       3357 time: 0.05
3415.95/856.85	c asymm  cl-useful: 0/1339/1339 lits-rem:0 time: 0.10
3415.95/856.85	c calculated reachability. Time: 0.00
3415.95/856.85	c  N st    83   3712979       332      1339        68     53269      4199    464801   no data   no data  --
3415.95/856.85	c Following stats are for *FIRST FINISHED THREAD ONLY*
3415.95/856.85	c num threads              : 4          
3415.95/856.85	c restarts                 : 96         
3415.95/856.85	c dynamic restarts         : 0          
3415.95/856.85	c static restarts          : 96         
3415.95/856.85	c full restarts            : 5          
3415.95/856.85	c total simplify time      : 4.04       
3415.95/856.85	c learnts DL2              : 0          
3415.95/856.85	c learnts size 2           : 269        
3415.95/856.85	c learnts size 1           : 153         (43.71     % of vars)
3415.95/856.85	c filedLit time            : 0.79        (0.02      % time)
3415.95/856.85	c v-elim SatELite          : 7           (2.00      % vars)
3415.95/856.85	c SatELite time            : 95.47       (2.80      % time)
3415.95/856.85	c v-elim xor               : 0           (0.00      % vars)
3415.95/856.85	c xor elim time            : 0.11        (0.00      % time)
3415.95/856.85	c num binary xor trees     : 0          
3415.95/856.85	c binxor trees' crown      : 0           (nan       leafs/tree)
3415.95/856.85	c bin xor find time        : 0.00       
3415.95/856.85	c OTF clause improved      : 167400      (0.04      clauses/conflict)
3415.95/856.85	c OTF impr. size diff      : 178005      (1.06       lits/clause)
3415.95/856.85	c OTF cl watch-shrink      : 1081088     (0.28      clauses/conflict)
3415.95/856.85	c OTF cl watch-sh-lit      : 1421477     (1.31       lits/clause)
3415.95/856.85	c tried to recurMin cls    : 566381      (14.68      % of conflicts)
3415.95/856.85	c updated cache            : 10094       (0.02       lits/tried recurMin)
3415.95/856.85	c unit cls received        : 5           (3.27      % of units)
3415.95/856.85	c unit cls sent            : 6           (3.92      % of units)
3415.95/856.85	c bin cls received         : 28         
3415.95/856.85	c bin cls sent             : 111        
3415.95/856.85	c clauses over max glue    : 0           (0.00      % of all clauses)
3415.95/856.85	c conflicts                : 3858571     (1130.03   / sec)
3415.95/856.85	c decisions                : 4435690     (0.58      % random)
3415.95/856.85	c bogo-props               : 115593428678 (33852879.19 / sec)
3415.95/856.85	c conflict literals        : 64749745    (31.81     % deleted)
3415.95/856.85	c Memory used              : 486.76      MB
3415.95/856.85	c single-thread CPU time   : 3414.58     s
3415.95/856.85	c all-threads sum CPU time : 3414.58     s
3415.95/856.85	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3175157-1304093359/watcher-3175157-1304093359 -o /tmp/evaluation-result-3175157-1304093359/solver-3175157-1304093359 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175157-1304093359.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.88 7.85 7.95 1/172 1038
/proc/meminfo: memFree=24403228/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 520933671 52465664 351 33554432000 4194304 4650419 140734601422624 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 12809 351 303 112 0 7774 0
[pid=1038/tid=1039] ppid=1036 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 520933671 52465664 353 33554432000 4194304 4650419 140734601422624 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 520933671 52465664 353 33554432000 4194304 4650419 140734601422624 18446744073709551615 212682707176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 520933671 52465664 353 33554432000 4194304 4650419 140734601422624 18446744073709551615 212682707176 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106714 s]
/proc/loadavg: 6.88 7.85 7.95 1/172 1038
/proc/meminfo: memFree=24403228/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=282344 CPUtime=0.4 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 1552 0 0 0 40 0 0 0 18 0 4 0 520933671 289120256 1433 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 70586 1433 391 112 0 65551 0
[pid=1038/tid=1039] ppid=1036 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 283 0 0 0 9 0 0 0 24 0 4 0 520933671 289120256 1433 33554432000 4194304 4650419 140734601422624 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 321 0 0 0 9 0 0 0 18 0 4 0 520933671 289120256 1433 33554432000 4194304 4650419 140734601422624 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=282344 CPUtime=0.1 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 238 0 0 0 10 0 0 0 18 0 4 0 520933671 289120256 1433 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282344

[startup+0.200644 s]
/proc/loadavg: 6.88 7.85 7.95 1/172 1038
/proc/meminfo: memFree=24403228/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=283280 CPUtime=0.77 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 2116 0 0 0 77 0 0 0 18 0 4 0 520933671 290078720 1560 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 70820 1560 393 112 0 65785 0
[pid=1038/tid=1039] ppid=1036 vsize=283280 CPUtime=0.19 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 418 0 0 0 19 0 0 0 25 0 4 0 520933671 290078720 1560 33554432000 4194304 4650419 140734601422624 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=283280 CPUtime=0.19 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 462 0 0 0 19 0 0 0 18 0 4 0 520933671 290078720 1560 33554432000 4194304 4650419 140734601422624 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=283280 CPUtime=0.19 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 381 0 0 0 19 0 0 0 18 0 4 0 520933671 290078720 1561 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283280

[startup+0.300626 s]
/proc/loadavg: 6.88 7.85 7.95 1/172 1038
/proc/meminfo: memFree=24403228/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=283416 CPUtime=1.17 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 2444 0 0 0 117 0 0 0 18 0 4 0 520933671 290217984 1888 33554432000 4194304 4650419 140734601422624 18446744073709551615 4331067 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 70854 1888 393 112 0 65819 0
[pid=1038/tid=1039] ppid=1036 vsize=283416 CPUtime=0.29 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 500 0 0 0 29 0 0 0 25 0 4 0 520933671 290217984 1888 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=283416 CPUtime=0.29 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 542 0 0 0 29 0 0 0 18 0 4 0 520933671 290217984 1888 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=283416 CPUtime=0.29 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 459 0 0 0 29 0 0 0 18 0 4 0 520933671 290217984 1888 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283416

[startup+0.700555 s]
/proc/loadavg: 6.88 7.85 7.95 1/172 1038
/proc/meminfo: memFree=24403228/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=284796 CPUtime=2.77 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 4306 0 0 0 277 0 0 0 18 0 4 0 520933671 291631104 2230 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 71199 2230 393 112 0 66164 0
[pid=1038/tid=1039] ppid=1036 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 970 0 0 0 69 0 0 0 25 0 4 0 520933671 291631104 2230 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 520933671 291631104 2230 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 904 0 0 0 69 0 0 0 18 0 4 0 520933671 291631104 2230 33554432000 4194304 4650419 140734601422624 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284796

[startup+1.50041 s]
/proc/loadavg: 6.88 7.85 7.95 9/184 1055
/proc/meminfo: memFree=24373372/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=281196 CPUtime=5.96 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 7617 0 0 0 596 0 0 0 19 0 4 0 520933671 287944704 3927 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 70299 3927 395 112 0 65264 0
[pid=1038/tid=1039] ppid=1036 vsize=281196 CPUtime=1.48 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1697 0 0 0 148 0 0 0 25 0 4 0 520933671 287944704 3927 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=281196 CPUtime=1.49 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1670 0 0 0 149 0 0 0 20 0 4 0 520933671 287944704 3927 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=281196 CPUtime=1.49 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 1347 0 0 0 149 0 0 0 19 0 4 0 520933671 287944704 3927 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 281196

[startup+3.10112 s]
/proc/loadavg: 6.88 7.85 7.95 9/184 1055
/proc/meminfo: memFree=24332948/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=281984 CPUtime=12.36 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 14500 0 0 0 1234 2 0 0 24 0 4 0 520933671 288751616 7896 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364424 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 70496 7896 395 112 0 65461 0
[pid=1038/tid=1039] ppid=1036 vsize=281984 CPUtime=3.07 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 3402 0 0 0 307 0 0 0 25 0 4 0 520933671 288751616 7896 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=281984 CPUtime=3.09 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 3803 0 0 0 309 0 0 0 25 0 4 0 520933671 288751616 7896 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=281984 CPUtime=3.09 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 3264 0 0 0 309 0 0 0 24 0 4 0 520933671 288751616 7896 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 281984

[startup+6.30054 s]
/proc/loadavg: 6.97 7.85 7.95 9/184 1055
/proc/meminfo: memFree=24292776/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=277552 CPUtime=25.14 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 22217 0 0 0 2511 3 0 0 25 0 4 0 520933671 284213248 11211 33554432000 4194304 4650419 140734601422624 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 69388 11211 395 112 0 64353 0
[pid=1038/tid=1039] ppid=1036 vsize=277552 CPUtime=6.25 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 5699 0 0 0 624 1 0 0 25 0 4 0 520933671 284213248 11211 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=277552 CPUtime=6.28 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 5831 0 0 0 628 0 0 0 25 0 4 0 520933671 284213248 11211 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=277552 CPUtime=6.28 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 4250 0 0 0 628 0 0 0 25 0 4 0 520933671 284213248 11211 33554432000 4194304 4650419 140734601422624 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 277552

[startup+12.7004 s]
/proc/loadavg: 7.06 7.85 7.95 9/184 1055
/proc/meminfo: memFree=24245536/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=291572 CPUtime=50.7 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 32451 0 0 0 5065 5 0 0 25 0 4 0 520933671 298569728 14905 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 72893 14905 395 112 0 67858 0
[pid=1038/tid=1039] ppid=1036 vsize=291572 CPUtime=12.62 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 8281 0 0 0 1261 1 0 0 25 0 4 0 520933671 298569728 14905 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=291572 CPUtime=12.68 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 8736 0 0 0 1268 0 0 0 25 0 4 0 520933671 298569728 14905 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=291572 CPUtime=12.69 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 6217 0 0 0 1268 1 0 0 25 0 4 0 520933671 298569728 14905 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 291572

[startup+25.501 s]
/proc/loadavg: 7.26 7.86 7.95 9/184 1055
/proc/meminfo: memFree=24206972/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=295200 CPUtime=101.83 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 49848 0 0 0 10173 10 0 0 25 0 4 0 520933671 302284800 20121 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 73800 20121 395 112 0 68765 0
[pid=1038/tid=1039] ppid=1036 vsize=295200 CPUtime=25.35 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 13851 0 0 0 2532 3 0 0 25 0 4 0 520933671 302284800 20121 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=295200 CPUtime=25.49 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 13536 0 0 0 2547 2 0 0 25 0 4 0 520933671 302284800 20121 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=295200 CPUtime=25.48 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 8689 0 0 0 2547 1 0 0 25 0 4 0 520933671 302284800 20121 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 295200

[startup+51.1004 s]
/proc/loadavg: 7.51 7.87 7.95 9/184 1056
/proc/meminfo: memFree=24150724/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=288692 CPUtime=204.09 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 75505 0 0 0 20393 16 0 0 25 0 4 0 520933671 295620608 25475 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 72173 25475 395 112 0 67138 0
[pid=1038/tid=1039] ppid=1036 vsize=288692 CPUtime=50.8 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 21691 0 0 0 5076 4 0 0 25 0 4 0 520933671 295620608 25475 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=288692 CPUtime=51.08 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 21087 0 0 0 5105 3 0 0 25 0 4 0 520933671 295620608 25475 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=288692 CPUtime=51.08 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 12160 0 0 0 5106 2 0 0 25 0 4 0 520933671 295620608 25475 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 288692

[startup+102.301 s]
/proc/loadavg: 7.84 7.90 7.96 9/184 1057
/proc/meminfo: memFree=24086580/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=303332 CPUtime=408.63 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 119599 0 0 0 40833 30 0 0 25 0 4 0 520933671 310611968 32914 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 75833 32914 395 112 0 70798 0
[pid=1038/tid=1039] ppid=1036 vsize=303332 CPUtime=101.73 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 34202 0 0 0 10166 7 0 0 25 0 4 0 520933671 310611968 32915 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=303332 CPUtime=102.28 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 33112 0 0 0 10221 7 0 0 25 0 4 0 520933671 310611968 32915 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=303332 CPUtime=102.29 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 18367 0 0 0 10225 4 0 0 25 0 4 0 520933671 310611968 32915 33554432000 4194304 4650419 140734601422624 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 303332

[startup+162.301 s]

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

/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 52615 0 0 0 58211 18 0 0 25 0 4 0 520933671 495181824 66767 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2325.97
Current children cumulated vsize (KiB) 483576

[startup+642.301 s]
/proc/loadavg: 8.14 8.07 8.01 9/184 1072
/proc/meminfo: memFree=23683048/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=471716 CPUtime=2565.66 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 369304 0 0 0 256440 126 0 0 25 0 4 0 520933671 483037184 68041 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 117929 68041 395 112 0 112894 0
[pid=1038/tid=1039] ppid=1036 vsize=471716 CPUtime=638.8 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 99882 0 0 0 63848 32 0 0 25 0 4 0 520933671 483037184 68041 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=471716 CPUtime=642.23 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 111938 0 0 0 64185 38 0 0 25 0 4 0 520933671 483037184 68041 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=471716 CPUtime=642.3 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 55747 0 0 0 64210 20 0 0 25 0 4 0 520933671 483037184 68041 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 471716

[startup+702.301 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 1073
/proc/meminfo: memFree=23647576/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=490576 CPUtime=2805.32 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 388888 0 0 0 280398 134 0 0 25 0 4 0 520933671 502349824 74177 33554432000 4194304 4650419 140734601422624 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 122644 74177 395 112 0 117609 0
[pid=1038/tid=1039] ppid=1036 vsize=490576 CPUtime=698.47 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 106064 0 0 0 69813 34 0 0 25 0 4 0 520933671 502349824 74177 33554432000 4194304 4650419 140734601422624 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=490576 CPUtime=702.21 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 118359 0 0 0 70181 40 0 0 25 0 4 0 520933671 502349824 74177 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=490576 CPUtime=702.3 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 59231 0 0 0 70209 21 0 0 25 0 4 0 520933671 502349824 74177 33554432000 4194304 4650419 140734601422624 18446744073709551615 4349978 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 490576

[startup+762.301 s]
/proc/loadavg: 8.15 8.11 8.02 9/184 1075
/proc/meminfo: memFree=23614820/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=497492 CPUtime=3045.01 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 406039 0 0 0 304360 141 0 0 25 0 4 0 520933671 509431808 79291 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124373 79291 395 112 0 119338 0
[pid=1038/tid=1039] ppid=1036 vsize=497492 CPUtime=758.16 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 111460 0 0 0 75779 37 0 0 25 0 4 0 520933671 509431808 79291 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=497492 CPUtime=762.22 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 125781 0 0 0 76178 44 0 0 25 0 4 0 520933671 509431808 79291 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=497492 CPUtime=762.31 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 61395 0 0 0 76209 22 0 0 25 0 4 0 520933671 509431808 79291 33554432000 4194304 4650419 140734601422624 18446744073709551615 4334028 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 497492

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 8.03 9/184 1077
/proc/meminfo: memFree=23597184/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=510208 CPUtime=3284.66 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 419911 0 0 0 328319 147 0 0 25 0 4 0 520933671 522452992 84442 33554432000 4194304 4650419 140734601422624 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 127552 84442 395 112 0 122517 0
[pid=1038/tid=1039] ppid=1036 vsize=510208 CPUtime=817.82 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 115530 0 0 0 81744 38 0 0 25 0 4 0 520933671 522452992 84442 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=510208 CPUtime=822.21 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131507 0 0 0 82174 47 0 0 25 0 4 0 520933671 522452992 84442 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=510208 CPUtime=822.31 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 64592 0 0 0 82207 24 0 0 25 0 4 0 520933671 522452992 84442 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 510208

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

[startup+832.001 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 1077
/proc/meminfo: memFree=23589736/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=497492 CPUtime=3323.41 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 421327 0 0 0 332193 148 0 0 25 0 4 0 520933671 509431808 83454 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364461 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124373 83454 395 112 0 119338 0
[pid=1038/tid=1039] ppid=1036 vsize=497492 CPUtime=827.47 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 116119 0 0 0 82709 38 0 0 25 0 4 0 520933671 509431808 83454 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=497492 CPUtime=831.9 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 83143 47 0 0 25 0 4 0 520933671 509431808 83454 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=497492 CPUtime=832 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 65105 0 0 0 83176 24 0 0 25 0 4 0 520933671 509431808 83454 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3323.41
Current children cumulated vsize (KiB) 497492

[startup+844.801 s]
/proc/loadavg: 8.17 8.12 8.03 9/184 1077
/proc/meminfo: memFree=23601144/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3374.55 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 421936 0 0 0 337307 148 0 0 25 0 4 0 520933671 510402560 79785 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 79785 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=840.21 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 116245 0 0 0 83982 39 0 0 25 0 4 0 520933671 510402560 79785 33554432000 4194304 4650419 140734601422624 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=844.71 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 84424 47 0 0 25 0 4 0 520933671 510402560 79785 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=844.81 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 65586 0 0 0 84457 24 0 0 25 0 4 0 520933671 510402560 79785 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3374.55
Current children cumulated vsize (KiB) 498440

[startup+851.201 s]
/proc/loadavg: 8.16 8.12 8.03 9/184 1077
/proc/meminfo: memFree=23594072/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3400.11 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 423282 0 0 0 339862 149 0 0 25 0 4 0 520933671 510402560 81108 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 81108 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=846.57 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 116683 0 0 0 84618 39 0 0 25 0 4 0 520933671 510402560 81108 33554432000 4194304 4650419 140734601422624 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=851.1 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 85063 47 0 0 25 0 4 0 520933671 510402560 81108 33554432000 4194304 4650419 140734601422624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=851.2 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 66494 0 0 0 85096 24 0 0 25 0 4 0 520933671 510402560 81108 33554432000 4194304 4650419 140734601422624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3400.11
Current children cumulated vsize (KiB) 498440

[startup+854.401 s]
/proc/loadavg: 8.14 8.12 8.03 7/184 1077
/proc/meminfo: memFree=23589976/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3411.15 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 424362 0 0 0 340966 149 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 80841 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=848.89 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 117643 0 0 0 84850 39 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=854.3 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 85383 47 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394456619 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=853.53 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 66614 0 0 0 85329 24 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3411.15
Current children cumulated vsize (KiB) 498440

[startup+856.001 s]
/proc/loadavg: 8.14 8.12 8.03 7/184 1078
/proc/meminfo: memFree=23634364/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3414.35 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 424362 0 0 0 341286 149 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 80841 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=848.89 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 117643 0 0 0 84850 39 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=855.9 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 85543 47 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394456772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=853.53 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 66614 0 0 0 85329 24 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3414.35
Current children cumulated vsize (KiB) 498440

[startup+856.401 s]
/proc/loadavg: 8.14 8.12 8.03 7/184 1078
/proc/meminfo: memFree=23634364/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3415.15 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 424362 0 0 0 341366 149 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 80841 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=848.89 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 117643 0 0 0 84850 39 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=856.3 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 85583 47 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394456772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=853.53 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 66614 0 0 0 85329 24 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3415.15
Current children cumulated vsize (KiB) 498440

[startup+856.801 s]
/proc/loadavg: 8.14 8.12 8.03 7/184 1078
/proc/meminfo: memFree=23634364/32951124 swapFree=67111524/67111528
[pid=1038] ppid=1036 vsize=498440 CPUtime=3415.95 cores=0,2,4,6
/proc/1038/stat : 1038 (strangenight1-m) R 1036 1038 32720 0 -1 4202496 424362 0 0 0 341446 149 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1038/statm: 124610 80841 395 112 0 119575 0
[pid=1038/tid=1039] ppid=1036 vsize=498440 CPUtime=848.89 cores=0,2,4,6
/proc/1038/task/1039/stat : 1039 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 117643 0 0 0 84850 39 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 6 0 0 0
[pid=1038/tid=1040] ppid=1036 vsize=498440 CPUtime=856.7 cores=0,2,4,6
/proc/1038/task/1040/stat : 1040 (strangenight1-m) R 1036 1038 32720 0 -1 4202560 131820 0 0 0 85623 47 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394456772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1038/tid=1041] ppid=1036 vsize=498440 CPUtime=853.53 cores=0,2,4,6
/proc/1038/task/1041/stat : 1041 (strangenight1-m) S 1036 1038 32720 0 -1 4202560 66614 0 0 0 85329 24 0 0 25 0 4 0 520933671 510402560 80841 33554432000 4194304 4650419 140734601422624 18446744073709551615 47796394481204 0 0 4096 2 18446604453928035520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3415.95
Current children cumulated vsize (KiB) 498440

Child status: 20
Real time (s): 856.875
CPU time (s): 3416.09
CPU user time (s): 3414.58
CPU system time (s): 1.50977
CPU usage (%): 398.669
Max. virtual memory (cumulated for all children) (KiB): 551480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3414.58
system time used= 1.50977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424365
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= 159
involuntary context switches= 16012

runsolver used 1.40279 second user time and 3.2835 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 18:09:19
IDJOB=3175157
IDBENCH=82775
IDSOLVER=1588
FILE ID=node139/3175157-1304093359
RUNJOBID= node139-1304093359-1028
PBS_JOBID= 13170557
Free space on /tmp= 72552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175157-1304093359/watcher-3175157-1304093359 -o /tmp/evaluation-result-3175157-1304093359/solver-3175157-1304093359 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175157-1304093359.cnf

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

MD5SUM BENCH= 24f29f9a1e0f9e8aba36541592ba8e3a
RANDOM SEED=703104197

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24403508 kB
Buffers:       2042632 kB
Cached:        5923584 kB
SwapCached:          4 kB
Active:         920828 kB
Inactive:      7108260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24403508 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6224 kB
Writeback:           8 kB
AnonPages:       62412 kB
Mapped:          14500 kB
Slab:           453692 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186900 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= 72540 MiB
End job on node139 at 2011-04-29 18:23:36