Trace number 3367211

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-2-mt (fixed)UNSAT 1604.73 419.701

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_fb_unknown.cnf
MD5SUM2385047c56f7801a7fd110b2ffe2f293
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.229
Satisfiable
(Un)Satisfiability was proved
Number of variables35819
Number of clauses773506
Sum of the clauses size2886709
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 255953
Number of clauses of size 395409
Number of clauses of size 4622144
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3367211-1305394383.cnf'
0.00/0.00	c -- header says num vars:          35819
0.00/0.00	c -- header says num clauses:      773506
1.04/0.37	c -- clauses added:            0 learnts,       773506 normals,            0 xors
1.04/0.37	c -- vars added      35819
1.04/0.37	c Parsing time:  0.25 s
1.04/0.37	c  N st     0         0     35819    717553     55953         0   2886709         0   no data   no data
1.04/0.51	c asymm  cl-useful: 16/955/717553 lits-rem:16 time: 0.13
8.60/2.22	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  281 Bins:      0 BRemL:      0 BRemN:      0 P: 190.8M T:  1.68
8.60/2.24	c Cleaning up after failed var search:     0.02 s 
8.60/2.28	c Replacing      281 vars Replaced    12210 lits Time:     0.03 s 
10.10/2.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.10/2.67	c bin-w-bin subsume rem         6638 bins  time:  0.01 s
10.48/2.74	c subs with bin:     4680  lits-rem:      2967  v-fix:    0  time:  0.07 s
10.48/2.79	c Subs w/ non-existent bins:   2884 l-rem:   1331 v-fix:     0 done:   6127 time:  0.05 s
10.88/2.90	c Removed useless bin:    9676  fixed:     0  props:  20.00M  time:  0.09 s
16.46/4.26	c lits-rem:       715  cl-subs:    56375  v-elim:   2677  v-fix:    0  time:  1.32 s
16.46/4.30	c Finding binary XORs  T:     0.04 s  found:      44
16.87/4.33	c Replacing       44 vars Replaced     2583 lits Time:     0.03 s 
18.45/4.78	c Finding non-binary XORs:     0.41 s (found:       0, avg size: nan)
18.45/4.78	c calculated reachability. Time: 0.02
18.85/4.82	c Calc default polars -  time:   0.03 s pos:   10659 undec:   14318 neg:   10842
18.85/4.82	c =========================================================================================
18.85/4.82	c types(t): F = full restart, N = normal restart
18.85/4.82	c types(t): S = simplification begin/end, E = solution found
18.85/4.82	c restart types(rt): st = static, dy = dynamic
18.85/4.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
18.85/4.82	c  B st     0         0     32344    636599     39320         0   2546543         0   no data   no data
23.23/5.97	c  N dy    17      4364     32344    636599     39324      4309   2546543     50858      7.00      7.38
27.62/7.06	c  N dy    30      8415     32344    636599     39340      8295   2546542     97237      6.74      7.26
32.81/8.32	c Finding binary XORs  T:     0.04 s  found:       0
32.81/8.38	c  N dy    51     12636     32343    636461     43089     11112   2546093    139835      6.72      7.10
38.00/9.60	c  N dy    70     16696     32342    636461     43096     15129   2546093    188077      6.74      7.57
43.21/10.95	c  N dy    92     20975     32342    636461     43113     10170   2546093    101127      6.77      7.14
48.01/12.13	c  F st   116     25000     32342    636461     43124     14156   2546093    148284      6.77      6.19
48.37/12.29	c Found part      254 vars:        317 clauses:       931 lits size:      2542
48.37/12.29	c Found part      695 vars:        475 clauses:      1338 lits size:      4008
48.37/12.29	c Found part      793 vars:        297 clauses:       909 lits size:      2586
48.37/12.29	c Found part     1071 vars:       1070 clauses:      8964 lits size:     31687
48.37/12.29	c Found part     1251 vars:        810 clauses:     10185 lits size:     37221
48.37/12.29	c Found part     1567 vars:       4524 clauses:     18640 lits size:     66911
48.37/12.29	c Found part     1716 vars:       1231 clauses:      4551 lits size:     14742
48.37/12.29	c Found part     1746 vars:       4877 clauses:    195295 lits size:    746023
48.37/12.29	c Found part     1828 vars:        948 clauses:      6259 lits size:     21719
48.37/12.29	c Found part     1846 vars:        203 clauses:       502 lits size:      1379
48.37/12.29	c Found part     1848 vars:      15823 clauses:    419108 lits size:   1585185
48.37/12.29	c Found part     1856 vars:        833 clauses:      5179 lits size:     18110
48.37/12.29	c Found part     1857 vars:        305 clauses:       965 lits size:      2986
48.37/12.29	c Found part     1858 vars:        629 clauses:      2871 lits size:     10544
48.37/12.29	c Found parts:         14 time: 0.16 s
48.37/12.29	c Solving part 1846
48.77/12.32	c  N st     0         0       203       227       313         0      1379        76   no data   no data
48.77/12.32	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
48.77/12.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
48.77/12.32	c Finding binary XORs  T:     0.00 s  found:       0
48.77/12.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
48.77/12.32	c calculated reachability. Time: 0.00
48.77/12.33	c Calc default polars -  time:   0.00 s pos:      58 undec:   35660 neg:     101
48.77/12.33	c =========================================================================================
48.77/12.33	c types(t): F = full restart, N = normal restart
48.77/12.33	c types(t): S = simplification begin/end, E = solution found
48.77/12.33	c restart types(rt): st = static, dy = dynamic
48.77/12.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
48.77/12.33	c  B st     0         0       203       227       313         0      1343        76   no data   no data
48.77/12.33	c  E st     1         0         0       227       313         0      1343        76   no data   no data
48.77/12.33	c Verified 227 clauses.
48.77/12.33	c Verified 227 clauses.
48.77/12.33	c Solved part
48.77/12.33	c =========================================================================================
48.77/12.33	c Solving part 793
48.77/12.36	c  N st     0         0       297       555       354         0      2586         0   no data   no data
48.77/12.37	c asymm  cl-useful: 51/555/555 lits-rem:52 time: 0.01
48.77/12.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
48.77/12.38	c Finding binary XORs  T:     0.00 s  found:       0
48.77/12.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
48.77/12.38	c calculated reachability. Time: 0.00
48.77/12.38	c Calc default polars -  time:   0.00 s pos:     139 undec:   35535 neg:     145
48.77/12.38	c =========================================================================================
48.77/12.38	c types(t): F = full restart, N = normal restart
48.77/12.38	c types(t): S = simplification begin/end, E = solution found
48.77/12.38	c restart types(rt): st = static, dy = dynamic
48.77/12.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
48.77/12.38	c  B st     0         0       297       555       354         0      2534         0   no data   no data
48.77/12.38	c  E st     1         0         0       555       354         0      2534         0   no data   no data
48.77/12.38	c Verified 555 clauses.
48.77/12.38	c Verified 555 clauses.
48.77/12.38	c Solved part
48.77/12.38	c =========================================================================================
48.77/12.38	c Solving part 1857
49.17/12.41	c  N st     0         0       305       600       365         0      2986         0   no data   no data
49.17/12.41	c asymm  cl-useful: 129/600/600 lits-rem:167 time: 0.00
49.17/12.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
49.17/12.42	c Finding binary XORs  T:     0.00 s  found:       0
49.17/12.42	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
49.17/12.42	c calculated reachability. Time: 0.00
49.17/12.42	c Calc default polars -  time:   0.00 s pos:     118 undec:   35555 neg:     146
49.17/12.42	c =========================================================================================
49.17/12.42	c types(t): F = full restart, N = normal restart
49.17/12.42	c types(t): S = simplification begin/end, E = solution found
49.17/12.42	c restart types(rt): st = static, dy = dynamic
49.17/12.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
49.17/12.42	c  B st     0         0       305       600       365         0      2819         0   no data   no data
49.17/12.42	c  E st     1         0         0       600       365         0      2819         0   no data   no data
49.17/12.42	c Verified 600 clauses.
49.17/12.42	c Verified 600 clauses.
49.17/12.42	c Solved part
49.17/12.42	c =========================================================================================
49.17/12.43	c Solving part 254
49.17/12.46	c  N st     0         0       317       499       432         0      2542         0   no data   no data
49.17/12.47	c asymm  cl-useful: 32/499/499 lits-rem:32 time: 0.00
49.17/12.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
49.17/12.48	c Finding binary XORs  T:     0.00 s  found:       0
49.17/12.48	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
49.17/12.48	c calculated reachability. Time: 0.00
49.17/12.48	c Calc default polars -  time:   0.00 s pos:     146 undec:   35570 neg:     103
49.17/12.48	c =========================================================================================
49.17/12.48	c types(t): F = full restart, N = normal restart
49.17/12.48	c types(t): S = simplification begin/end, E = solution found
49.17/12.48	c restart types(rt): st = static, dy = dynamic
49.17/12.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
49.17/12.48	c  B st     0         0       317       499       432         0      2510         0   no data   no data
49.17/12.48	c  E st     1         0         0       499       432         0      2510         0   no data   no data
49.17/12.48	c Verified 499 clauses.
49.17/12.48	c Verified 499 clauses.
49.17/12.48	c Solved part
49.17/12.48	c =========================================================================================
49.17/12.48	c Solving part 695
49.57/12.52	c  N st     0         0       475       776       562         0      4008         0   no data   no data
49.57/12.52	c asymm  cl-useful: 38/776/776 lits-rem:38 time: 0.01
49.57/12.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.57/12.54	c Finding binary XORs  T:     0.00 s  found:       0
49.57/12.54	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
49.57/12.54	c calculated reachability. Time: 0.00
49.57/12.54	c Calc default polars -  time:   0.00 s pos:     163 undec:   35497 neg:     159
49.57/12.54	c =========================================================================================
49.57/12.54	c types(t): F = full restart, N = normal restart
49.57/12.54	c types(t): S = simplification begin/end, E = solution found
49.57/12.54	c restart types(rt): st = static, dy = dynamic
49.57/12.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
49.57/12.54	c  B st     0         0       475       776       562         0      3970         0   no data   no data
49.57/12.54	c  E st     1         0         0       776       562         0      3970         0   no data   no data
49.57/12.54	c Verified 776 clauses.
49.57/12.54	c Verified 776 clauses.
49.57/12.54	c Solved part
49.57/12.54	c =========================================================================================
49.57/12.54	c Solving part 1858
49.57/12.58	c  N st     0         0       629      2163       726         0     10544        36   no data   no data
49.97/12.60	c asymm  cl-useful: 292/2163/2163 lits-rem:371 time: 0.02
49.97/12.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
49.97/12.61	c Finding binary XORs  T:     0.00 s  found:       0
49.97/12.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
49.97/12.62	c calculated reachability. Time: 0.00
49.97/12.62	c Calc default polars -  time:   0.00 s pos:     165 undec:   35506 neg:     148
49.97/12.62	c =========================================================================================
49.97/12.62	c types(t): F = full restart, N = normal restart
49.97/12.62	c types(t): S = simplification begin/end, E = solution found
49.97/12.62	c restart types(rt): st = static, dy = dynamic
49.97/12.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
49.97/12.62	c  B st     0         0       629      2163       726         0     10173        36   no data   no data
49.97/12.62	c  E st     1         0         0      2163       726         0     10173        36   no data   no data
49.97/12.62	c Verified 2163 clauses.
49.97/12.62	c Verified 2163 clauses.
49.97/12.62	c Solved part
49.97/12.62	c =========================================================================================
49.97/12.62	c Solving part 1251
49.97/12.65	c  N st     0         0       810      9090      1595         0     37221      1000   no data   no data
51.16/12.91	c asymm  cl-useful: 772/4094/9090 lits-rem:799 time: 0.25
51.16/12.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   44 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.05
51.16/12.96	c Finding binary XORs  T:     0.00 s  found:       2
51.16/12.96	c Replacing       46 vars Replaced     3671 lits Time:     0.00 s 
51.16/12.96	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
51.16/12.96	c calculated reachability. Time: 0.00
51.16/12.96	c Calc default polars -  time:   0.00 s pos:     297 undec:   35247 neg:     275
51.16/12.96	c =========================================================================================
51.16/12.96	c types(t): F = full restart, N = normal restart
51.16/12.96	c types(t): S = simplification begin/end, E = solution found
51.16/12.96	c restart types(rt): st = static, dy = dynamic
51.16/12.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
51.16/12.96	c  B st     0         0       764      8303      1552         0     33296       998   no data   no data
51.16/12.97	c  E st     1         0         0      8303      1552         0     33296       998   no data   no data
51.16/12.97	c Verified 8303 clauses.
51.16/12.97	c Verified 8303 clauses.
51.16/12.97	c Solved part
51.16/12.97	c =========================================================================================
51.16/12.97	c Solving part 1856
51.16/13.00	c  N st     0         0       833      4173      1021         0     18110        30   no data   no data
51.57/13.07	c asymm  cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
51.57/13.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
51.57/13.09	c Finding binary XORs  T:     0.00 s  found:       0
51.57/13.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
51.57/13.09	c calculated reachability. Time: 0.00
51.57/13.09	c Calc default polars -  time:   0.00 s pos:     279 undec:   35288 neg:     252
51.57/13.09	c =========================================================================================
51.57/13.09	c types(t): F = full restart, N = normal restart
51.57/13.09	c types(t): S = simplification begin/end, E = solution found
51.57/13.09	c restart types(rt): st = static, dy = dynamic
51.57/13.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
51.57/13.09	c  B st     0         0       833      4173      1021         0     18059        30   no data   no data
51.57/13.09	c  E st     1         0         0      4173      1021         0     18059        30   no data   no data
51.57/13.09	c Verified 4173 clauses.
51.57/13.09	c Verified 4173 clauses.
51.57/13.09	c Solved part
51.57/13.09	c =========================================================================================
51.57/13.09	c Solving part 1828
51.98/13.12	c  N st     0         0       948      5035      1256         0     21719        64   no data   no data
52.40/13.22	c asymm  cl-useful: 128/5035/5035 lits-rem:140 time: 0.10
52.40/13.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.02
52.40/13.25	c Finding binary XORs  T:     0.00 s  found:       0
52.40/13.25	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
52.40/13.25	c calculated reachability. Time: 0.00
52.40/13.25	c Calc default polars -  time:   0.00 s pos:     366 undec:   35116 neg:     337
52.40/13.25	c =========================================================================================
52.40/13.25	c types(t): F = full restart, N = normal restart
52.40/13.25	c types(t): S = simplification begin/end, E = solution found
52.40/13.25	c restart types(rt): st = static, dy = dynamic
52.40/13.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
52.40/13.25	c  B st     0         0       948      5030      1261         0     21589        64   no data   no data
52.40/13.25	c  E st     1         0         0      5030      1261         0     21589        64   no data   no data
52.40/13.25	c Verified 5030 clauses.
52.40/13.25	c Verified 5030 clauses.
52.40/13.25	c Solved part
52.40/13.25	c =========================================================================================
52.40/13.25	c Solving part 1071
52.40/13.28	c  N st     0         0      1070      7514      1499         0     31687        98   no data   no data
53.15/13.46	c asymm  cl-useful: 168/7514/7514 lits-rem:168 time: 0.17
53.15/13.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.03
53.15/13.49	c Finding binary XORs  T:     0.00 s  found:       0
53.15/13.49	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
53.15/13.49	c calculated reachability. Time: 0.00
53.15/13.50	c Calc default polars -  time:   0.00 s pos:     426 undec:   34941 neg:     452
53.15/13.50	c =========================================================================================
53.15/13.50	c types(t): F = full restart, N = normal restart
53.15/13.50	c types(t): S = simplification begin/end, E = solution found
53.15/13.50	c restart types(rt): st = static, dy = dynamic
53.15/13.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
53.15/13.50	c  B st     0         0      1070      7514      1499         0     31519        98   no data   no data
53.15/13.50	c  E st     1         1         0      7514      1499         1     31519       103   no data   no data
53.55/13.50	c Verified 7514 clauses.
53.55/13.50	c Verified 7514 clauses.
53.55/13.50	c Solved part
53.55/13.50	c =========================================================================================
53.55/13.50	c Solving part 1716
53.55/13.53	c  N st     0         0      1231      3049      1528         0     14742        52   no data   no data
53.55/13.57	c asymm  cl-useful: 233/3049/3049 lits-rem:267 time: 0.05
53.96/13.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.03
53.96/13.61	c Finding binary XORs  T:     0.00 s  found:       0
53.96/13.61	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
53.96/13.61	c calculated reachability. Time: 0.00
53.96/13.61	c Calc default polars -  time:   0.00 s pos:     386 undec:   35009 neg:     424
53.96/13.61	c =========================================================================================
53.96/13.61	c types(t): F = full restart, N = normal restart
53.96/13.61	c types(t): S = simplification begin/end, E = solution found
53.96/13.61	c restart types(rt): st = static, dy = dynamic
53.96/13.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
53.96/13.61	c  B st     0         0      1231      3048      1529         0     14477        52   no data   no data
53.96/13.61	c  E st     1         0         0      3048      1529         0     14477        52   no data   no data
53.96/13.61	c Verified 3048 clauses.
53.96/13.61	c Verified 3048 clauses.
53.96/13.61	c Solved part
53.96/13.61	c =========================================================================================
53.96/13.61	c Solving part 1567
53.96/13.64	c  N st     0         0      4524     13809      4965         0     66911       268   no data   no data
54.76/13.89	c asymm  cl-useful: 1264/13809/13809 lits-rem:1968 time: 0.24
55.16/13.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.08
55.16/13.98	c Finding binary XORs  T:     0.01 s  found:       0
55.16/13.98	c Replacing        2 vars Replaced       46 lits Time:     0.00 s 
55.16/13.98	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
55.16/13.98	c calculated reachability. Time: 0.00
55.16/13.99	c Calc default polars -  time:   0.00 s pos:    1147 undec:   33545 neg:    1127
55.16/13.99	c =========================================================================================
55.16/13.99	c types(t): F = full restart, N = normal restart
55.16/13.99	c types(t): S = simplification begin/end, E = solution found
55.16/13.99	c restart types(rt): st = static, dy = dynamic
55.16/13.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
55.16/13.99	c  B st     0         0      4522     13807      4964         0     64936       268   no data   no data
55.16/13.99	c  E st     1         0         0     13807      4964         0     64936       268   no data   no data
55.16/13.99	c Verified 13807 clauses.
55.16/13.99	c Verified 13807 clauses.
55.16/13.99	c Solved part
55.16/13.99	c =========================================================================================
55.16/13.99	c Solving part 1746
55.96/14.13	c  N st     0         0      4877    189138      7100     13428    746023    135725   no data   no data
55.96/14.20	c asymm  cl-useful: 5/357/189138 lits-rem:5 time: 0.07
57.95/14.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 74.5M T:  0.47
57.95/14.69	c Finding binary XORs  T:     0.01 s  found:       0
58.35/14.77	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
58.35/14.77	c calculated reachability. Time: 0.00
58.35/14.78	c Calc default polars -  time:   0.00 s pos:    1572 undec:   32703 neg:    1544
58.35/14.78	c =========================================================================================
58.35/14.78	c types(t): F = full restart, N = normal restart
58.35/14.78	c types(t): S = simplification begin/end, E = solution found
58.35/14.78	c restart types(rt): st = static, dy = dynamic
58.35/14.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
58.35/14.78	c  B st     0         0      4877    189138      7100     13428    746018    135725   no data   no data
62.74/15.87	c  N dy    16      4100      4877    189138      7103     17496    746018    185892      6.81      8.59
66.72/16.89	c  N dy    32      8138      4876    189138      7116     21481    746018    233194      6.61      7.66
71.91/18.17	c  N dy    55     12143      4876    189138      7119     25447    746018    283509      6.75      7.13
77.50/19.56	c  N dy    76     16182      4876    189138      7124     29445    746018    333262      6.85      9.63
83.12/20.93	c  N dy    89     20217      4876    189138      7130     16829    746018    144863      6.80      9.12
87.88/22.12	c  N dy   111     24255      4875    189138      7139     20827    746018    195317      6.84      7.22
88.68/22.32	c  F st   114     25000      4875    189138      7139     21566    746018    203643      6.85      5.48
92.27/23.25	c  N st   119     28299      4875    189138      7142     24846    746018    251132      6.85   no data
97.45/24.57	c  N dy   129     32633      4875    189138      7146     29152    746018    308226      6.84      7.21
102.64/25.89	c  N dy   149     36779      4875    189138      7152     33254    746018    359091      6.84      7.23
108.24/27.27	c  N dy   170     40905      4875    189138      7156     37346    746018    411854      6.86      7.24
113.44/28.55	c  N dy   196     45154      4875    189138      7158     22850    746017    198654      6.91      7.32
119.00/29.94	c  N dy   213     49725      4873    189138      7179     27348    746015    254232      6.90      7.29
119.00/29.96	c Finding binary XORs  T:     0.01 s  found:       0
124.20/31.29	c  N dy   232     53793      4873    188478      7049     25855    743362    259860      6.91      7.78
129.39/32.59	c  N dy   252     57804      4873    188478      7050     29845    743362    313493      6.91      7.67
134.97/33.94	c  N dy   276     61919      4873    188478      7057     33926    743362    370184      6.94      7.31
140.19/35.29	c  N dy   303     65943      4872    188478      7062     20426    743362    163881      6.97      7.52
145.74/36.61	c  N dy   330     70198      4872    188478      7065     24649    743362    221395      6.99      8.50
151.73/38.12	c  N dy   355     74709      4872    188478      7066     29123    743362    283545      7.01      7.86
157.75/39.67	c  N dy   388     79516      4872    188478      7068     33913    743362    352654      7.05     10.04
165.70/41.70	c  N dy   419     85169      4872    188478      7077     39523    743362    429857      7.06      7.46
168.89/42.47	c  F st   428     87500      4871    188478      7082     21666    743362    158331      7.05   no data
173.28/43.52	c  N st   433     90802      4870    188478      7089     24940    743362    207767      7.05   no data
180.06/45.26	c  N dy   452     96602      4870    188478      7094     30703    743362    291584      7.05      7.50
187.65/47.17	c  N dy   479    102773      4870    188478      7098     36841    743362    379306      7.07      8.96
197.26/49.59	c  N dy   518    109367      4868    188478      7118     43376    743362    469878      7.07      7.79
207.19/52.08	c  N dy   545    116625      4868    188478      7124     28570    743362    228839      7.06      7.55
207.60/52.10	c Finding binary XORs  T:     0.01 s  found:       0
217.58/54.62	c  N dy   583    124224      4868    187554      7033     31892    739710    307654      7.08      7.58
227.57/57.15	c  N dy   628    132287      4868    187554      7037     39912    739710    424058      7.09      7.49
239.13/60.08	c  N dy   683    140752      4867    187554      7045     27026    739709    217582      7.13      7.68
251.50/63.12	c  N dy   728    149931      4867    187554      7052     36144    739709    349954      7.14      7.70
265.08/66.59	c  N dy   772    159579      4863    187554      7093     45669    739708    484633      7.14      8.25
279.84/70.20	c  N dy   840    169921      4863    187554      7098     32421    739707    282414      7.18      7.58
281.83/70.75	c Finding binary XORs  T:     0.01 s  found:       0
294.21/73.84	c  N dy   897    180836      4861    186710      7032     39053    736512    409834      7.20      9.64
310.98/78.01	c  N dy   959    192376      4861    186710      7041     27436    736511    205582      7.22     10.33
328.96/82.59	c  N dy  1021    204984      4860    186710      7049     39961    736511    386895      7.22      7.74
350.49/87.96	c  N dy  1107    218205      4860    186710      7055     27658    736511    193290      7.26      7.64
371.23/93.11	c  N dy  1205    232168      4858    186710      7070     41520    736511    397108      7.30      8.45
393.98/98.91	c  N dy  1269    247130      4856    186710      7092     29248    736511    194527      7.30      7.71
417.52/104.75	c  N dy  1383    262958      4856    186710      7095     44976    736510    435866      7.35      8.71
443.45/111.24	c  N dy  1489    279805      4856    186710      7101     33265    736510    240766      7.38      7.84
453.04/113.62	c Finding binary XORs  T:     0.01 s  found:       0
471.00/118.16	c  N dy  1594    297813      4855    185708      7056     48528    732665    492133      7.41      7.80
484.17/121.49	c  F st  1647    306251      4854    185708      7063     28577    732665    168124      7.42   no data
498.93/125.11	c  N dy  1689    317330      4854    185708      7065     39595    732665    352830      7.43      7.83
530.48/133.06	c  N dy  1800    337724      4854    185708      7071     59877    732665    667692      7.46      7.87
561.98/140.99	c  N dy  1918    357754      4854    185708      7078     49734    732664    480357      7.48      8.02
593.51/148.86	c  N dy  2039    378003      4854    185708      7083     38412    732664    277108      7.50      7.96
624.65/156.69	c  N dy  2148    398370      4853    185708      7099     58643    732664    592161      7.52      7.99
656.97/164.78	c  N dy  2257    418614      4850    185708      7117     46145    732664    386404      7.53      8.06
688.52/172.69	c  N dy  2381    438838      4850    185708      7122     66254    732664    706746      7.55      7.97
720.42/180.68	c  N dy  2501    459055      4850    185708      7127     52668    732664    482619      7.57      7.99
731.20/183.34	c Finding binary XORs  T:     0.01 s  found:       3
754.37/189.12	c  N dy  2626    479181      4850    184572      7012     37289    727974    238923      7.60      8.13
785.10/196.90	c  N dy  2730    500486      4850    184572      7018     58478    727974    579116      7.61      8.07
817.80/205.01	c  N dy  2842    520498      4850    184572      7023     42914    727974    313078      7.62      8.03
850.54/213.23	c  N dy  2958    540505      4850    184572      7032     62816    727974    634353      7.64      8.13
882.09/221.13	c  N dy  3074    560552      4850    184572      7040     46140    727974    358925      7.65      9.44
917.57/230.02	c  N dy  3191    580560      4845    184572      7058     66008    727974    674110      7.66      9.29
951.10/238.40	c  N dy  3272    601320      4843    184572      7077     48931    727974    379556      7.66      8.08
982.23/246.29	c  N dy  3400    621448      4843    184572      7082     68954    727974    711486      7.67      8.11
997.78/250.18	c Finding binary XORs  T:     0.01 s  found:       8
1016.95/254.90	c  N dy  3519    641773      4843    183075      7043     49887    721968    409228      7.69      8.20
1049.66/263.10	c  N dy  3650    661864      4843    183075      7046     69870    721968    750046      7.70      8.19
1083.19/271.55	c  N dy  3763    682654      4842    183075      7053     51588    721968    410369      7.71      8.12
1117.51/280.13	c  N dy  3862    702707      4840    183075      7076     71516    721968    741078      7.71      9.78
1151.84/288.70	c  N dy  3959    722793      4840    183075      7085     51661    721968    394603      7.72     10.79
1186.55/297.43	c  N dy  4090    742847      4838    183075      7098     71570    721968    730848      7.73      9.66
1220.46/305.98	c  N dy  4200    762882      4838    183075      7104     50632    721968    355173      7.74      8.25
1254.40/314.49	c  N dy  4309    782978      4838    183075      7107     70633    721968    697631      7.74      8.20
1274.75/319.59	c Finding binary XORs  T:     0.01 s  found:      18
1289.52/323.29	c  N dy  4406    803069      4838    182081      7013     48372    717833    307934      7.74     10.64
1322.64/331.59	c  N dy  4492    823156      4831    182081      7027     68353    717833    656749      7.74      8.18
1360.60/341.04	c  N dy  4579    843236      4823    182081      7052     88300    717833   1000043      7.74      8.81
1393.67/349.38	c  N dy  4664    863272      4821    182081      7067     65865    717833    574899      7.74      8.33
1430.82/358.68	c  N dy  4754    883559      4817    182081      7085     86061    717833    927832      7.74      8.15
1433.58/359.33	c Finding binary XORs  T:     0.01 s  found:      18
1466.70/367.60	c  N dy  4839    904240      4778    177065      7166     61507    698010    502142      7.74      8.17
1485.07/372.26	c Finding binary XORs  T:     0.01 s  found:      20
1485.47/372.31	c Replacing       67 vars Replaced    52125 lits Time:     0.05 s 
1495.45/374.83	c  E dy  4894    921242      4458    125878      6114     33196    494593    233703      7.72      4.54
1604.56/419.66	c Following stats are for *FIRST FINISHED THREAD ONLY*
1604.56/419.66	c num threads              : 4          
1604.56/419.66	c restarts                 : 116        
1604.56/419.66	c dynamic restarts         : 110        
1604.56/419.66	c static restarts          : 6          
1604.56/419.66	c full restarts            : 0          
1604.56/419.66	c total simplify time      : 0.08       
1604.56/419.66	c learnts DL2              : 0          
1604.56/419.66	c learnts size 2           : 66764      
1604.56/419.66	c learnts size 1           : 475         (1.33      % of vars)
1604.56/419.66	c filedLit time            : 1.71        (0.41      % time)
1604.56/419.66	c v-elim SatELite          : 2677        (7.47      % vars)
1604.56/419.66	c SatELite time            : 1.08        (0.26      % time)
1604.56/419.66	c v-elim xor               : 0           (0.00      % vars)
1604.56/419.66	c xor elim time            : 0.00        (0.00      % time)
1604.56/419.66	c num binary xor trees     : 21         
1604.56/419.66	c binxor trees' crown      : 325         (15.48     leafs/tree)
1604.56/419.66	c bin xor find time        : 0.08       
1604.56/419.66	c OTF clause improved      : 247         (0.01      clauses/conflict)
1604.56/419.66	c OTF impr. size diff      : 354         (1.43       lits/clause)
1604.56/419.66	c OTF cl watch-shrink      : 16188       (0.65      clauses/conflict)
1604.56/419.66	c OTF cl watch-sh-lit      : 37246       (2.30       lits/clause)
1604.56/419.66	c tried to recurMin cls    : 4770        (19.08      % of conflicts)
1604.56/419.66	c updated cache            : 0           (0.00       lits/tried recurMin)
1604.56/419.66	c unit cls recevied        : 0           (0.00      % of units)
1604.56/419.66	c unit cls sent            : 472         (99.37     % of units)
1604.56/419.66	c bin cls recevied         : 4479       
1604.56/419.66	c bin cls sent             : 6899       
1604.56/419.66	c clauses over max glue    : 0           (0.00      % of all clauses)
1604.56/419.66	c conflicts                : 25000       (59.64     / sec)
1604.56/419.66	c decisions                : 30726       (0.00      % random)
1604.56/419.66	c bogo-props               : 1431131718  (3413981.47 / sec)
1604.56/419.66	c conflict literals        : 293344      (55.42     % deleted)
1604.56/419.66	c Memory used              : 1103.57     MB
1604.56/419.66	c single-thread CPU time   : 419.20      s
1604.56/419.66	c all-threads sum CPU time : 1603.21     s
1604.56/419.66	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367211-1305394383/watcher-3367211-1305394383 -o /tmp/evaluation-result-3367211-1305394383/solver-3367211-1305394383 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367211-1305394383.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: 8.27 8.19 7.74 5/287 2483
/proc/meminfo: memFree=20226532/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 651036490 52396032 348 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335948785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 12792 348 299 95 0 7774 0
[pid=2483/tid=2484] ppid=2481 vsize=251716 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 353 0 0 0 0 0 0 0 24 0 4 0 651036490 257757184 2657 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=251900 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 539 0 0 0 0 0 0 0 24 0 4 0 651036490 257945600 2672 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=251900 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 646 0 0 0 0 0 0 0 24 0 4 0 651036490 257945600 2677 33554432000 4194304 4580107 140734570422560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0226491 s]
/proc/loadavg: 8.27 8.19 7.74 5/287 2483
/proc/meminfo: memFree=20226532/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=272480 CPUtime=0.06 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 9493 0 0 0 5 1 0 0 18 0 4 0 651036490 279019520 8130 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 68120 8155 335 95 0 63102 0
[pid=2483/tid=2484] ppid=2481 vsize=272480 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 1961 0 0 0 0 0 0 0 18 0 4 0 651036490 279019520 8167 33554432000 4194304 4580107 140734570422560 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=272480 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 2236 0 0 0 0 0 0 0 24 0 4 0 651036490 279019520 8185 33554432000 4194304 4580107 140734570422560 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=272480 CPUtime=0.01 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 2390 0 0 0 1 0 0 0 18 0 4 0 651036490 279019520 8201 33554432000 4194304 4580107 140734570422560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 272480

[startup+0.100637 s]
/proc/loadavg: 8.27 8.19 7.74 5/287 2483
/proc/meminfo: memFree=20226532/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=330800 CPUtime=0.34 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 24913 0 0 0 23 11 0 0 18 0 4 0 651036490 338739200 20949 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 82700 21007 337 95 0 77682 0
[pid=2483/tid=2484] ppid=2481 vsize=330800 CPUtime=0.07 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 6489 0 0 0 5 2 0 0 18 0 4 0 651036490 338739200 21112 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=330800 CPUtime=0.08 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 5908 0 0 0 6 2 0 0 18 0 4 0 651036490 338739200 21117 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997422 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=330800 CPUtime=0.08 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 6058 0 0 0 6 2 0 0 18 0 4 0 651036490 338739200 21200 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997422 0 0 4096 2 18446604460173062464 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 330800

[startup+0.303225 s]
/proc/loadavg: 8.27 8.19 7.74 5/287 2483
/proc/meminfo: memFree=20226532/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=489920 CPUtime=1.04 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) D 2481 2483 1724 0 -1 4202496 48643 0 0 0 77 27 0 0 18 0 4 0 651036490 501678080 44679 33554432000 4194304 4580107 140734570422560 18446744073709551615 4489196 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 122480 44716 337 95 0 117462 0
[pid=2483/tid=2484] ppid=2481 vsize=489920 CPUtime=0.25 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 12008 0 0 0 19 6 0 0 18 0 4 0 651036490 501678080 44723 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=489920 CPUtime=0.24 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) D 2481 2483 1724 0 -1 4202560 11786 0 0 0 18 6 0 0 18 0 4 0 651036490 501678080 44732 33554432000 4194304 4580107 140734570422560 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=489920 CPUtime=0.25 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 12311 0 0 0 18 7 0 0 17 0 4 0 651036490 501678080 44744 33554432000 4194304 4580107 140734570422560 18446744073709551615 4511058 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 489920

[startup+0.702253 s]
/proc/loadavg: 8.27 8.19 7.74 5/287 2483
/proc/meminfo: memFree=20226532/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=509556 CPUtime=2.59 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 66309 0 0 0 222 37 0 0 18 0 4 0 651036490 521785344 62345 33554432000 4194304 4580107 140734570422560 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 127389 62345 360 95 0 122371 0
[pid=2483/tid=2484] ppid=2481 vsize=509556 CPUtime=0.63 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 16763 0 0 0 54 9 0 0 18 0 4 0 651036490 521785344 62345 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=509556 CPUtime=0.64 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 17018 0 0 0 55 9 0 0 18 0 4 0 651036490 521785344 62345 33554432000 4194304 4580107 140734570422560 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=509556 CPUtime=0.64 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 16281 0 0 0 55 9 0 0 18 0 4 0 651036490 521785344 62345 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 509556

[startup+1.50038 s]
/proc/loadavg: 8.27 8.19 7.74 9/291 2487
/proc/meminfo: memFree=19947624/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=527016 CPUtime=5.76 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 88198 0 0 0 534 42 0 0 18 0 4 0 651036490 539664384 84234 33554432000 4194304 4580107 140734570422560 18446744073709551615 4292947 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 131754 84234 360 95 0 126736 0
[pid=2483/tid=2484] ppid=2481 vsize=527016 CPUtime=1.42 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 23840 0 0 0 132 10 0 0 19 0 4 0 651036490 539664384 84234 33554432000 4194304 4580107 140734570422560 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=527016 CPUtime=1.42 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 24015 0 0 0 131 11 0 0 18 0 4 0 651036490 539664384 84234 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=527016 CPUtime=1.44 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 17016 0 0 0 135 9 0 0 19 0 4 0 651036490 539664384 84234 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 527016

[startup+3.10111 s]
/proc/loadavg: 8.32 8.20 7.74 10/291 2487
/proc/meminfo: memFree=19884772/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=872472 CPUtime=12.08 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 169124 0 0 0 1140 68 0 0 18 0 4 0 651036490 893411328 160825 33554432000 4194304 4580107 140734570422560 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 218118 160825 374 95 0 213100 0
[pid=2483/tid=2484] ppid=2481 vsize=872472 CPUtime=3 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 50807 0 0 0 281 19 0 0 18 0 4 0 651036490 893411328 160825 33554432000 4194304 4580107 140734570422560 18446744073709551615 4451717 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=872472 CPUtime=2.98 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 50981 0 0 0 280 18 0 0 18 0 4 0 651036490 893411328 160825 33554432000 4194304 4580107 140734570422560 18446744073709551615 4487186 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=872472 CPUtime=3.04 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 17645 0 0 0 294 10 0 0 18 0 4 0 651036490 893411328 160825 33554432000 4194304 4580107 140734570422560 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 872472

[startup+6.30054 s]
/proc/loadavg: 8.32 8.20 7.74 9/291 2487
/proc/meminfo: memFree=19594872/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=859592 CPUtime=24.83 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 203012 0 0 0 2407 76 0 0 25 0 4 0 651036490 880222208 157065 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 214898 157065 378 95 0 209880 0
[pid=2483/tid=2484] ppid=2481 vsize=859592 CPUtime=6.2 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 62420 0 0 0 598 22 0 0 25 0 4 0 651036490 880222208 157065 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=859592 CPUtime=6.16 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 62880 0 0 0 594 22 0 0 25 0 4 0 651036490 880222208 157065 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=859592 CPUtime=6.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 17816 0 0 0 614 10 0 0 25 0 4 0 651036490 880222208 157065 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 859592

[startup+12.7004 s]
/proc/loadavg: 8.43 8.23 7.76 10/291 2487
/proc/meminfo: memFree=19532900/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1067544 CPUtime=50.37 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 269236 0 0 0 4950 87 0 0 25 0 4 0 651036490 1093165056 183268 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 266886 183268 380 95 0 261868 0
[pid=2483/tid=2484] ppid=2481 vsize=1067544 CPUtime=12.6 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 77063 0 0 0 1236 24 0 0 25 0 4 0 651036490 1093165056 183268 33554432000 4194304 4580107 140734570422560 18446744073709551615 4271836 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1067544 CPUtime=12.49 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 72676 0 0 0 1225 24 0 0 25 0 4 0 651036490 1093165056 183268 33554432000 4194304 4580107 140734570422560 18446744073709551615 4290486 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1067544 CPUtime=12.64 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 50995 0 0 0 1249 15 0 0 25 0 4 0 651036490 1093165056 183268 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 1067544

[startup+25.5011 s]
/proc/loadavg: 8.36 8.22 7.76 9/291 2488
/proc/meminfo: memFree=19390660/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1165896 CPUtime=101.44 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 309012 0 0 0 10049 95 0 0 25 0 4 0 651036490 1193877504 201705 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 291474 201705 380 95 0 286456 0
[pid=2483/tid=2484] ppid=2481 vsize=1165896 CPUtime=25.4 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 93428 0 0 0 2513 27 0 0 25 0 4 0 651036490 1193877504 201705 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1165896 CPUtime=25.17 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 82752 0 0 0 2491 26 0 0 25 0 4 0 651036490 1193877504 201705 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1165896 CPUtime=25.44 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 51831 0 0 0 2528 16 0 0 25 0 4 0 651036490 1193877504 201705 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 1165896

[startup+51.1006 s]
/proc/loadavg: 8.24 8.20 7.76 9/291 2488
/proc/meminfo: memFree=19298348/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1165328 CPUtime=203.61 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 326949 0 0 0 20261 100 0 0 25 0 4 0 651036490 1193295872 208662 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 291332 208662 380 95 0 286314 0
[pid=2483/tid=2484] ppid=2481 vsize=1165328 CPUtime=51 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 97900 0 0 0 5072 28 0 0 25 0 4 0 651036490 1193295872 208662 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1165328 CPUtime=50.54 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 86914 0 0 0 5027 27 0 0 25 0 4 0 651036490 1193295872 208662 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1165328 CPUtime=51.03 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 56912 0 0 0 5086 17 0 0 25 0 4 0 651036490 1193295872 208662 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 1165328

[startup+102.311 s]
/proc/loadavg: 8.23 8.21 7.79 9/291 2490
/proc/meminfo: memFree=19256648/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1244500 CPUtime=407.98 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 350537 0 0 0 40689 109 0 0 25 0 4 0 651036490 1274368000 217119 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 311125 217119 380 95 0 306107 0
[pid=2483/tid=2484] ppid=2481 vsize=1244500 CPUtime=102.19 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 103373 0 0 0 10190 29 0 0 25 0 4 0 651036490 1274368000 217119 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1244500 CPUtime=101.28 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 93625 0 0 0 10099 29 0 0 25 0 4 0 651036490 1274368000 217119 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1244500 CPUtime=102.25 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 62669 0 0 0 10205 20 0 0 25 0 4 0 651036490 1274368000 217119 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.98
Current children cumulated vsize (KiB) 1244500

[startup+162.301 s]
/proc/loadavg: 8.12 8.18 7.81 9/291 2491
/proc/meminfo: memFree=19150732/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1308888 CPUtime=647.4 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 369794 0 0 0 64623 117 0 0 25 0 4 0 651036490 1340301312 225898 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 327222 225898 380 95 0 322204 0
[pid=2483/tid=2484] ppid=2481 vsize=1308888 CPUtime=162.18 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 108298 0 0 0 16187 31 0 0 25 0 4 0 651036490 1340301312 225898 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1308888 CPUtime=160.73 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 97141 0 0 0 16042 31 0 0 25 0 4 0 651036490 1340301312 225898 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1308888 CPUtime=162.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 66164 0 0 0 16202 22 0 0 25 0 4 0 651036490 1340301312 225898 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.4
Current children cumulated vsize (KiB) 1308888

[startup+222.301 s]
/proc/loadavg: 8.28 8.21 7.84 9/291 2493
/proc/meminfo: memFree=19169788/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1195296 CPUtime=886.84 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 389346 0 0 0 88559 125 0 0 25 0 4 0 651036490 1223983104 215272 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 298824 215272 380 95 0 293806 0
[pid=2483/tid=2484] ppid=2481 vsize=1195296 CPUtime=222.17 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 113332 0 0 0 22184 33 0 0 25 0 4 0 651036490 1223983104 215272 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1195296 CPUtime=220.18 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 104511 0 0 0 21984 34 0 0 25 0 4 0 651036490 1223983104 215272 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1195296 CPUtime=222.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 69946 0 0 0 22200 24 0 0 25 0 4 0 651036490 1223983104 215272 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.84
Current children cumulated vsize (KiB) 1195296

[startup+282.301 s]
/proc/loadavg: 8.18 8.20 7.85 9/291 2494
/proc/meminfo: memFree=19150668/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1261208 CPUtime=1126.29 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 408030 0 0 0 112496 133 0 0 25 0 4 0 651036490 1291476992 222896 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 315302 222896 380 95 0 310284 0
[pid=2483/tid=2484] ppid=2481 vsize=1261208 CPUtime=282.16 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 120595 0 0 0 28180 36 0 0 25 0 4 0 651036490 1291476992 222896 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1261208 CPUtime=279.65 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 105253 0 0 0 27930 35 0 0 25 0 4 0 651036490 1291476992 222896 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1261208 CPUtime=282.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 76015 0 0 0 28198 26 0 0 25 0 4 0 651036490 1291476992 222896 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1126.29
Current children cumulated vsize (KiB) 1261208

[startup+342.301 s]
/proc/loadavg: 8.27 8.22 7.88 9/291 2496
/proc/meminfo: memFree=19165144/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1197368 CPUtime=1365.74 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 424227 0 0 0 136434 140 0 0 25 0 4 0 651036490 1226104832 214677 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 299342 214677 380 95 0 294324 0
[pid=2483/tid=2484] ppid=2481 vsize=1197368 CPUtime=342.15 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 125688 0 0 0 34177 38 0 0 25 0 4 0 651036490 1226104832 214677 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1197368 CPUtime=339.09 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 107569 0 0 0 33874 35 0 0 25 0 4 0 651036490 1226104832 214677 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1197368 CPUtime=342.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 77487 0 0 0 34197 27 0 0 25 0 4 0 651036490 1226104832 214677 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1365.74
Current children cumulated vsize (KiB) 1197368

[startup+402.3 s]
/proc/loadavg: 7.78 8.12 7.87 7/291 2498
/proc/meminfo: memFree=19172920/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1147328 CPUtime=1569.96 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 442444 0 0 0 156849 147 0 0 25 0 4 0 651036490 1174863872 202923 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 286832 202923 380 95 0 281814 0
[pid=2483/tid=2484] ppid=2481 vsize=1147328 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1174863872 202923 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1147328 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1174863872 202923 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1147328 CPUtime=402.24 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 85813 0 0 0 40194 30 0 0 25 0 4 0 651036490 1174863872 202923 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1569.96
Current children cumulated vsize (KiB) 1147328

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

[startup+409.501 s]
/proc/loadavg: 7.59 8.07 7.86 7/291 2498
/proc/meminfo: memFree=19164856/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1147328 CPUtime=1584.36 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 442828 0 0 0 158289 147 0 0 25 0 4 0 651036490 1174863872 203307 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 286832 203307 380 95 0 281814 0
[pid=2483/tid=2484] ppid=2481 vsize=1147328 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1174863872 203307 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1147328 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1174863872 203307 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1147328 CPUtime=409.44 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 86197 0 0 0 40914 30 0 0 25 0 4 0 651036490 1174863872 203307 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1584.36
Current children cumulated vsize (KiB) 1147328

[startup+415.901 s]
/proc/loadavg: 7.46 8.04 7.85 7/291 2498
/proc/meminfo: memFree=19168204/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1130052 CPUtime=1597.16 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 444961 0 0 0 159568 148 0 0 25 0 4 0 651036490 1157173248 202589 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 282513 202589 380 95 0 277495 0
[pid=2483/tid=2484] ppid=2481 vsize=1130052 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1157173248 202589 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1130052 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1157173248 202589 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1130052 CPUtime=415.84 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 88330 0 0 0 41554 30 0 0 25 0 4 0 651036490 1157173248 202589 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1597.16
Current children cumulated vsize (KiB) 1130052

[startup+417.501 s]
/proc/loadavg: 7.34 8.00 7.84 7/291 2498
/proc/meminfo: memFree=19166840/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1130052 CPUtime=1600.36 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 445041 0 0 0 159888 148 0 0 25 0 4 0 651036490 1157173248 202669 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 282513 202669 380 95 0 277495 0
[pid=2483/tid=2484] ppid=2481 vsize=1130052 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1157173248 202669 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1130052 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1157173248 202669 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1130052 CPUtime=417.44 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 88410 0 0 0 41714 30 0 0 25 0 4 0 651036490 1157173248 202669 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (KiB) 1130052

[startup+419.111 s]
/proc/loadavg: 7.34 8.00 7.84 7/291 2498
/proc/meminfo: memFree=19164112/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1130052 CPUtime=1603.58 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 445136 0 0 0 160210 148 0 0 25 0 4 0 651036490 1157173248 202764 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 282513 202764 380 95 0 277495 0
[pid=2483/tid=2484] ppid=2481 vsize=1130052 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1157173248 202764 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1130052 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1157173248 202764 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1130052 CPUtime=419.05 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 88505 0 0 0 41875 30 0 0 25 0 4 0 651036490 1157173248 202764 33554432000 4194304 4580107 140734570422560 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1603.58
Current children cumulated vsize (KiB) 1130052

[startup+419.5 s]
/proc/loadavg: 7.34 8.00 7.84 7/291 2498
/proc/meminfo: memFree=19164112/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=1130052 CPUtime=1604.36 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) R 2481 2483 1724 0 -1 4202496 445158 0 0 0 160288 148 0 0 25 0 4 0 651036490 1157173248 202786 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095731243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 282513 202786 380 95 0 277495 0
[pid=2483/tid=2484] ppid=2481 vsize=1130052 CPUtime=386.05 cores=1,3,5,7
/proc/2483/task/2484/stat : 2484 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 127902 0 0 0 38566 39 0 0 25 0 4 0 651036490 1157173248 202786 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 1 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=1130052 CPUtime=379.41 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) S 2481 2483 1724 0 -1 4202560 113066 0 0 0 37904 37 0 0 25 0 4 0 651036490 1157173248 202786 33554432000 4194304 4580107 140734570422560 18446744073709551615 47788095755828 0 0 4096 2 18446604460173062464 0 0 -1 7 0 0 0
[pid=2483/tid=2486] ppid=2481 vsize=1130052 CPUtime=419.44 cores=1,3,5,7
/proc/2483/task/2486/stat : 2486 (strangenight2-m) R 2481 2483 1724 0 -1 4202560 88527 0 0 0 41914 30 0 0 25 0 4 0 651036490 1157173248 202786 33554432000 4194304 4580107 140734570422560 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1604.36
Current children cumulated vsize (KiB) 1130052

[startup+419.7 s]
/proc/loadavg: 7.34 8.00 7.84 7/291 2498
/proc/meminfo: memFree=19164112/32951124 swapFree=66457188/67111528
[pid=2483] ppid=2481 vsize=0 CPUtime=1604.72 cores=1,3,5,7
/proc/2483/stat : 2483 (strangenight2-m) Z 2481 2483 1724 0 -1 4202524 445168 0 0 0 160321 151 0 0 25 0 2 0 651036490 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2483/statm: 0 0 0 0 0 0 0
[pid=2483/tid=2485] ppid=2481 vsize=0 CPUtime=379.44 cores=1,3,5,7
/proc/2483/task/2485/stat : 2485 (strangenight2-m) R 2481 2483 1724 0 -1 4203588 113066 0 0 0 37904 40 0 0 18 0 2 0 651036490 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1604.72
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 419.701
CPU time (s): 1604.73
CPU user time (s): 1603.21
CPU system time (s): 1.51577
CPU usage (%): 382.351
Max. virtual memory (cumulated for all children) (KiB): 1310252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1603.21
system time used= 1.51577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445168
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= 52160
involuntary context switches= 7299

runsolver used 0.998848 second user time and 2.82857 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 19:33:03
IDJOB=3367211
IDBENCH=82494
IDSOLVER=1844
FILE ID=node132/3367211-1305394383
RUNJOBID= node132-1305393088-2233
PBS_JOBID= 13324437
Free space on /tmp= 73300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_fb_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367211-1305394383/watcher-3367211-1305394383 -o /tmp/evaluation-result-3367211-1305394383/solver-3367211-1305394383 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367211-1305394383.cnf

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

MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=1906777675

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
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.833
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.67
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.833
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.833
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:      20226936 kB
Buffers:        271976 kB
Cached:        5587068 kB
SwapCached:       6904 kB
Active:        6110632 kB
Inactive:      6306760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20226936 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           24624 kB
Writeback:           0 kB
AnonPages:     6556196 kB
Mapped:          19424 kB
Slab:           218732 kB
PageTables:      26832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 36230932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73292 MiB
End job on node132 at 2011-05-14 19:40:03