Trace number 3393900

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 7137.91 1466.11

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark441.7
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3393900-1306071171.cnf'
0.00/0.02	c -- header says num vars:         306095
0.00/0.02	c -- header says num clauses:     6069108
23.21/4.18	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
23.21/4.18	c -- vars added     306095
23.21/4.18	c Parsing time:  2.04 s
23.21/4.18	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data
28.72/4.90	c asymm  cl-useful: 68/76/323988 lits-rem:1368 time: 0.68
103.73/14.25	c Flit:    78 Blit:  77882 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  9.34
108.64/14.87	c Cleaning up after failed var search:     0.62 s 
112.27/15.39	c Replacing       23 vars Replaced   212813 lits Time:     0.50 s 
116.17/15.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.32/16.26	c bin-w-bin subsume rem         1310 bins  time:  0.39 s
164.83/21.92	c subs with bin:     9993  lits-rem:     97808  v-fix:    0  time:  5.66 s
200.75/26.42	c Subs w/ non-existent bins:      6 l-rem:   1321 v-fix:   350 done:  33249 time:  4.45 s
203.15/26.74	c Removed useless bin:     856  fixed:     0  props:  20.03M  time:  0.29 s
322.57/41.79	c lits-rem:     14113  cl-subs:    25135  v-elim:  73348  v-fix:    0  time: 14.97 s
324.17/41.90	c Finding binary XORs  T:     0.10 s  found:     110
325.77/42.11	c Replacing      110 vars Replaced    12621 lits Time:     0.22 s 
331.35/42.89	c Finding non-binary XORs:     0.68 s (found:       0, avg size: nan)
331.35/42.89	c calculated reachability. Time: 0.00
332.15/42.98	c Calc default polars -  time:   0.10 s pos:   22374 undec:  156296 neg:  127425
332.15/42.98	c =========================================================================================
332.15/42.98	c types(t): F = full restart, N = normal restart
332.15/42.98	c types(t): S = simplification begin/end, E = solution found
332.15/42.98	c restart types(rt): st = static, dy = dynamic
332.15/42.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
332.15/42.98	c  B st     0         0    151679    328941   2934430         0  10502748         0   no data   no data
402.42/51.77	c  N dy    20      4342    151678    328941   2934566      4094  10502720    154118     20.02     21.09
440.77/56.54	c  N dy    36      8347    151674    328941   2936649      7928  10502720    301437     18.83     26.94
483.84/61.95	c  N dy    63     12458    151674    328941   2936745     11871  10502708    490804     19.87     20.98
530.13/67.77	c  N dy    89     16550    151673    328941   2937530     15790  10502691    646194     20.42     23.17
581.26/74.20	c  N dy   116     20598    151658    328941   2938445     10141  10502683    247556     20.72     22.22
617.93/78.74	c  F st   143     25001    151658    328941   2938504     14392  10502677    505350     21.06      7.46
622.72/79.37	c  N st   143     25001    151658    328694   2938087     14379  10500014    505186     21.06      7.46
676.22/86.02	c  N dy   149     30001    148789    319656   2896659     19092  10314455    748501     21.06   no data
676.22/86.02	c  S st   149     30001    148789    319656   2896659     19092  10314455    748501     21.06   no data
685.00/87.16	c  S st   149     30502    148783    319656   2896756     19481  10314455    753357     21.06   no data
685.80/87.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
843.09/106.99	c Flit:   762 Blit:   8330 bXBeca:    0 bXProp:   93 Bins:2613001 BRemL:   9068 BRemN:    833 P: 200.1M T: 19.64
844.72/107.18	c Cleaning up after failed var search:     0.18 s 
847.87/107.57	c Replacing       94 vars Replaced   197018 lits Time:     0.38 s 
851.07/107.95	c blocked clauses removed:      816 vars:   1814 tried:       80978 T: 0.10 s
855.06/108.46	c bin-w-bin subsume rem        34878 bins  time:  0.51 s
898.29/113.82	c subs with bin:    28260  lits-rem:    343709  v-fix:    0  time:  5.36 s
918.12/116.31	c Subs w/ non-existent bins:   2220 l-rem:   6351 v-fix:     0 done:   3078 time:  2.46 s
920.52/116.61	c Removed useless bin:    6730  fixed:     0  props:  20.01M  time:  0.25 s
974.00/123.35	c lits-rem:     33262  cl-subs:     4582  v-elim:  14240  v-fix:    0  time:  6.73 s
983.58/124.52	c subs with bin:       56  lits-rem:     15009  v-fix:    0  time:  1.05 s
988.37/125.16	c lits-rem:      5904  cl-subs:     1563  v-elim:      0  v-fix:    0  time:  0.48 s
993.17/125.70	c asymm  cl-useful: 91/927/248112 lits-rem:2795 time: 0.55
993.99/125.81	c calculated reachability. Time: 0.01
993.99/125.82	c  N dy   149     30502    118634    248112   3984350     17364   8403081   3713372     21.06   no data
994.89/125.93	c Finding binary XORs  T:     0.11 s  found:     574
1164.92/158.22	c  N dy   177     34524    117696    248112   3987794     21271   8403076   3894055     21.60     35.60
1458.39/405.95	c  N dy   198     38569    116534    248112   6277545     25160   8403070   8653744     21.52     22.85
1460.19/406.88	c Finding binary XORs  T:     0.12 s  found:     344
1464.79/409.12	c  N dy   227     42598    116309    241385   6179920     14564   8235736   7848219     21.95     26.16
1821.71/688.91	c  S st   247     45754    115013    241385   6298527     17625   8235734   8241965     22.01      9.77
1827.18/689.83	c  S st   247     46254    115007    236214   4460735     17984   8129155   4622421     22.01   no data
1827.78/689.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2003.24/712.13	c Flit:  1228 Blit:   3017 bXBeca:    0 bXProp:   92 Bins:1199404 BRemL:  12280 BRemN:    585 P: 200.0M T: 22.13
2004.13/712.28	c Cleaning up after failed var search:     0.14 s 
2007.19/712.69	c Replacing     1010 vars Replaced   431200 lits Time:     0.41 s 
2009.59/712.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2019.18/714.15	c bin-w-bin subsume rem       134016 bins  time:  1.20 s
2061.49/719.42	c subs with bin:    14520  lits-rem:    178150  v-fix:    0  time:  5.27 s
2083.81/722.21	c Subs w/ non-existent bins:    221 l-rem:   2683 v-fix:     5 done:  47648 time:  2.79 s
2087.01/722.60	c Removed useless bin:   17896  fixed:     0  props:  20.01M  time:  0.39 s
2111.75/725.75	c lits-rem:      2530  cl-subs:     9252  v-elim:   6881  v-fix:    0  time:  3.15 s
2117.38/726.49	c subs with bin:     1160  lits-rem:     20131  v-fix:    0  time:  0.63 s
2121.34/726.96	c lits-rem:     13994  cl-subs:     1018  v-elim:      0  v-fix:    0  time:  0.34 s
2125.34/727.49	c asymm  cl-useful: 17/1114/213290 lits-rem:380 time: 0.52
2126.17/727.60	c calculated reachability. Time: 0.01
2126.17/727.60	c  N dy   247     46254    102492    213290   3981878     13786   7147201   4018543     22.01   no data
2127.72/727.72	c Finding binary XORs  T:     0.11 s  found:      44
2192.49/738.63	c  N dy   274     50323    102419    213290   4026960     17753   7147200   4315991     22.34     23.81
2200.24/741.25	c  N dy   302     54343    102417    213290   4027003     21671   7147200   4529082     22.42     28.86
2284.38/784.66	c Finding binary XORs  T:     0.10 s  found:      75
2287.58/786.20	c  N dy   329     58406    102166    212876   4726350     25603   7136346   6153004     22.47     24.29
2355.14/821.17	c  N dy   341     62558    102123    212876   5075714     29538   7136339   7014312     22.10     23.31
2364.58/822.38	c Finding binary XORs  T:     0.12 s  found:       9
2392.52/825.86	c  N dy   371     66927    102096    212788   5067615     16975   7133446   6202360     22.18     23.77
2406.89/827.62	c  S st   377     69381    102096    212788   5068530     19346   7133442   6337066     22.06   no data
2415.67/828.81	c  S st   377     69881    102095    212788   5068625     19750   7133442   6341523     22.06   no data
2417.22/828.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2534.59/843.63	c Flit:   318 Blit:    375 bXBeca:    0 bXProp:   31 Bins: 389378 BRemL:   6525 BRemN:    418 P: 200.1M T: 14.66
2534.59/843.63	c Cleaning up after failed var search:     0.00 s 
2537.79/844.06	c Replacing      160 vars Replaced   182593 lits Time:     0.43 s 
2540.17/844.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2544.97/844.99	c bin-w-bin subsume rem        75111 bins  time:  0.68 s
2579.30/849.23	c subs with bin:     8057  lits-rem:     37283  v-fix:    0  time:  4.24 s
2598.45/851.61	c Subs w/ non-existent bins:    501 l-rem:   8502 v-fix:     0 done:  10693 time:  2.37 s
2601.63/852.02	c Removed useless bin:   18125  fixed:     0  props:  20.01M  time:  0.41 s
2612.01/853.35	c lits-rem:       649  cl-subs:     1831  v-elim:   1071  v-fix:    0  time:  1.33 s
2618.55/854.17	c subs with bin:      418  lits-rem:     10752  v-fix:    0  time:  0.73 s
2623.20/854.72	c lits-rem:      6949  cl-subs:      751  v-elim:      0  v-fix:    0  time:  0.38 s
2627.98/855.36	c asymm  cl-useful: 19/856/205481 lits-rem:234 time: 0.64
2628.78/855.46	c calculated reachability. Time: 0.01
2628.78/855.47	c  N dy   377     69881    100183    205481   3989123     17364   6971134   4178274     22.06   no data
2629.58/855.58	c Finding binary XORs  T:     0.11 s  found:      13
2673.13/861.29	c  N dy   409     74409     99290    205481   3991190     21726   6971100   4400969     22.23     23.49
2698.16/865.82	c  N dy   445     79225     98981    198700   3891954     22716   6840670   4350914     22.39     27.02
2807.51/888.78	c Finding binary XORs  T:     0.10 s  found:      69
2810.71/889.10	c  N dy   486     84381     98807    198640   3897283     27745   6835029   4622073     22.62     24.13
2840.39/892.98	c  F st   517     87505     94435    193583   3560462     30566   6696722   4218190     22.97   no data
2844.14/893.44	c Replacing       82 vars Replaced   125556 lits Time:     0.45 s 
2847.32/893.82	c Found part       28 vars:      93670 clauses:   2200389 lits size:   6689937
2847.32/893.82	c Found part       29 vars:          2 clauses:         1 lits size:         2
2847.32/893.82	c Found part       30 vars:          2 clauses:         1 lits size:         2
2847.32/893.82	c Found part       31 vars:          2 clauses:         1 lits size:         2
2847.32/893.82	c Found part       32 vars:          2 clauses:         1 lits size:         2
2847.32/893.82	c Found parts:          5 time: 0.84 s
2847.32/893.82	c Solving part 29
2848.91/894.04	c  N st     0         0         2         0         1         0         2         0   no data   no data
2848.91/894.04	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2848.91/894.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2848.91/894.05	c Finding binary XORs  T:     0.02 s  found:       0
2848.91/894.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2848.91/894.06	c calculated reachability. Time: 0.00
2848.91/894.06	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2848.91/894.06	c =========================================================================================
2848.91/894.06	c types(t): F = full restart, N = normal restart
2848.91/894.06	c types(t): S = simplification begin/end, E = solution found
2848.91/894.06	c restart types(rt): st = static, dy = dynamic
2848.91/894.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2848.91/894.06	c  B st     0         0         2         0         1         0         2         0   no data   no data
2848.91/894.06	c  E st     1         0         0         0         1         0         2         0   no data   no data
2848.91/894.07	c Verified 0 clauses.
2848.91/894.07	c Verified 0 clauses.
2848.91/894.07	c Solved part
2848.91/894.07	c =========================================================================================
2848.91/894.08	c Solving part 30
2850.51/894.29	c  N st     0         0         2         0         1         0         2         0   no data   no data
2850.51/894.29	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2850.51/894.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2851.31/894.30	c Finding binary XORs  T:     0.02 s  found:       0
2851.31/894.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2851.31/894.31	c calculated reachability. Time: 0.00
2851.31/894.31	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2851.31/894.31	c =========================================================================================
2851.31/894.31	c types(t): F = full restart, N = normal restart
2851.31/894.31	c types(t): S = simplification begin/end, E = solution found
2851.31/894.31	c restart types(rt): st = static, dy = dynamic
2851.31/894.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2851.31/894.31	c  B st     0         0         2         0         1         0         2         0   no data   no data
2851.31/894.31	c  E st     1         0         0         0         1         0         2         0   no data   no data
2851.31/894.32	c Verified 0 clauses.
2851.31/894.32	c Verified 0 clauses.
2851.31/894.32	c Solved part
2851.31/894.32	c =========================================================================================
2851.31/894.33	c Solving part 31
2852.90/894.54	c  N st     0         0         2         0         1         0         2         0   no data   no data
2852.90/894.54	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2852.90/894.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2852.90/894.55	c Finding binary XORs  T:     0.02 s  found:       0
2852.90/894.56	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2852.90/894.56	c calculated reachability. Time: 0.00
2852.90/894.56	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2852.90/894.56	c =========================================================================================
2852.90/894.56	c types(t): F = full restart, N = normal restart
2852.90/894.56	c types(t): S = simplification begin/end, E = solution found
2852.90/894.56	c restart types(rt): st = static, dy = dynamic
2852.90/894.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2852.90/894.56	c  B st     0         0         2         0         1         0         2         0   no data   no data
2852.90/894.56	c  E st     1         0         0         0         1         0         2         0   no data   no data
2852.90/894.57	c Verified 0 clauses.
2852.90/894.57	c Verified 0 clauses.
2852.90/894.57	c Solved part
2852.90/894.57	c =========================================================================================
2852.90/894.58	c Solving part 32
2854.50/894.78	c  N st     0         0         2         0         1         0         2         0   no data   no data
2854.50/894.78	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2854.50/894.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2854.50/894.80	c Finding binary XORs  T:     0.02 s  found:       0
2854.50/894.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2854.50/894.80	c calculated reachability. Time: 0.00
2854.50/894.81	c Calc default polars -  time:   0.00 s pos:       0 undec:  306093 neg:       2
2854.50/894.81	c =========================================================================================
2854.50/894.81	c types(t): F = full restart, N = normal restart
2854.50/894.81	c types(t): S = simplification begin/end, E = solution found
2854.50/894.81	c restart types(rt): st = static, dy = dynamic
2854.50/894.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2854.50/894.81	c  B st     0         0         2         0         1         0         2         0   no data   no data
2854.50/894.81	c  E st     1         0         0         0         1         0         2         0   no data   no data
2854.50/894.81	c Verified 0 clauses.
2854.50/894.81	c Verified 0 clauses.
2854.50/894.81	c Solved part
2854.50/894.81	c =========================================================================================
2855.40/894.82	c Coming back to original instance
2855.40/894.82	c =========================================================================================
2864.83/896.05	c Finding binary XORs  T:     0.10 s  found:     186
2881.76/898.20	c  N st   522     90805     94376    192730   3560273     33330   6689935   4389950     22.97   no data
2935.90/904.96	c  N dy   554     96613     94374    192730   3567414     22359   6689916   3693135     23.22     24.70
2991.80/911.90	c  N dy   600    102780     94373    192730   3568108     28353   6689899   4011677     23.47     25.26
3008.57/914.02	c  S st   615    104824     94373    192730   3568124     30340   6689899   4121463     23.51     21.49
3017.35/915.17	c  S st   615    105324     94211    192730   3569173     30736   6689899   4126456     23.51   no data
3018.15/915.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3129.92/929.23	c Flit:   380 Blit:     79 bXBeca:    0 bXProp:   29 Bins:1068123 BRemL:   6911 BRemN:   2149 P: 200.1M T: 13.93
3129.92/929.23	c Cleaning up after failed var search:     0.00 s 
3134.72/929.85	c Replacing      216 vars Replaced   258111 lits Time:     0.62 s 
3137.10/930.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3148.28/931.52	c bin-w-bin subsume rem        82414 bins  time:  1.42 s
3177.03/935.16	c subs with bin:     2328  lits-rem:     26959  v-fix:    0  time:  3.64 s
3198.34/937.80	c Subs w/ non-existent bins:    537 l-rem:   2297 v-fix:     0 done:  48830 time:  2.42 s
3200.74/938.18	c Removed useless bin:   28097  fixed:     0  props:  20.01M  time:  0.38 s
3218.29/940.32	c lits-rem:      3802  cl-subs:     5280  v-elim:   3488  v-fix:    0  time:  2.13 s
3230.24/941.88	c subs with bin:      869  lits-rem:     11373  v-fix:    0  time:  1.45 s
3236.62/942.65	c lits-rem:     22787  cl-subs:      921  v-elim:      0  v-fix:    0  time:  0.60 s
3240.64/943.15	c asymm  cl-useful: 51/1003/192867 lits-rem:780 time: 0.51
3241.55/943.25	c calculated reachability. Time: 0.01
3241.55/943.26	c  N dy   615    105324     90181    192867   3909534     26541   6417557   4865983     23.51   no data
3242.21/943.36	c Finding binary XORs  T:     0.10 s  found:      15
3313.85/953.11	c  N dy   661    112052     90181    192867   3911486     33038   6417557   5210575     23.64     25.17
3384.65/972.52	c Finding binary XORs  T:     0.09 s  found:      53
3391.61/973.79	c  N dy   700    119533     90123    192831   4196995     21532   6416187   5008615     23.67     24.96
3441.38/980.45	c  N dy   756    127197     90123    192831   4201698     28972   6416184   5452544     23.95     28.12
3498.37/987.95	c Finding binary XORs  T:     0.10 s  found:      16
3503.16/988.53	c  N dy   815    135382     89993    192796   4308612     36972   6413287   6140326     24.24     44.31
3580.74/998.28	c  N dy   890    144065     89004    190412   4288147     21502   6374683   5176214     24.66     26.09
3654.06/1007.49	c  N dy   956    153343     89004    190412   4288528     30542   6374669   5688282     24.88     36.97
3694.01/1012.51	c  S st   996    157996     89004    190412   4288738     35053   6374652   5973859     25.05   no data
3702.80/1013.59	c  S st   996    158496     89003    190412   4288814     35475   6374652   5978581     25.05   no data
3704.36/1013.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
3752.94/1023.20	c Flit:   334 Blit:    645 bXBeca:    0 bXProp:   61 Bins: 455303 BRemL:  13101 BRemN:     14 P: 200.0M T:  9.42
3752.94/1023.29	c Cleaning up after failed var search:     0.09 s 
3754.54/1023.65	c Replacing      145 vars Replaced   113218 lits Time:     0.35 s 
3755.34/1023.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3758.22/1024.41	c bin-w-bin subsume rem        46547 bins  time:  0.56 s
3777.80/1028.14	c subs with bin:     4048  lits-rem:     11693  v-fix:    0  time:  3.74 s
3784.96/1029.54	c Subs w/ non-existent bins:   1627 l-rem:   4254 v-fix:     0 done:  20315 time:  1.39 s
3786.37/1029.82	c Removed useless bin:   19247  fixed:     0  props:  20.02M  time:  0.27 s
3793.71/1031.35	c lits-rem:      2578  cl-subs:     5018  v-elim:   1287  v-fix:    0  time:  1.53 s
3800.06/1032.83	c subs with bin:      268  lits-rem:      9413  v-fix:    0  time:  1.37 s
3802.44/1033.58	c lits-rem:     32150  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  0.64 s
3804.05/1033.98	c asymm  cl-useful: 112/910/182386 lits-rem:435 time: 0.40
3804.45/1034.08	c calculated reachability. Time: 0.00
3804.45/1034.08	c  N dy   996    158496     86590    182386   4213255     31996   6183994   5776966     25.05   no data
3804.85/1034.18	c Finding binary XORs  T:     0.09 s  found:      18
3862.34/1042.82	c Finding binary XORs  T:     0.11 s  found:      38
3898.34/1047.44	c  N dy  1074    168652     86558    182386   4631918     41898   6183511   7190337     25.35     44.38
3979.90/1057.69	c  N dy  1145    179515     86558    182386   4632833     31330   6183503   6387271     25.46     27.18
4052.42/1066.73	c  N dy  1213    191117     86558    182386   4633258     42527   6183497   6990970     25.45     26.84
4147.51/1078.79	c  N dy  1308    203342     86558    182386   4633865     30796   6183486   6301951     25.76     30.21
4258.40/1092.60	c  N dy  1375    224019     86558    182386   4634231     50490   6183472   7203620     25.28     26.94
4261.58/1093.04	c Finding binary XORs  T:     0.11 s  found:      52
4370.85/1106.76	c  S st  1473    237744     85644    178417   4345991     38397   6121782   6095123     25.47     26.02
4380.44/1107.93	c  S st  1473    238244     85642    178417   4346057     38830   6121782   6098102     25.47   no data
4381.24/1108.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
4499.30/1122.82	c Flit:   233 Blit:     16 bXBeca:    0 bXProp:   16 Bins: 691410 BRemL:  12402 BRemN:    670 P: 200.0M T: 14.51
4499.30/1122.82	c Cleaning up after failed var search:     0.00 s 
4504.93/1123.54	c Replacing      125 vars Replaced   186758 lits Time:     0.69 s 
4506.49/1123.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4512.88/1124.52	c bin-w-bin subsume rem        44299 bins  time:  0.74 s
4543.97/1128.40	c subs with bin:     2297  lits-rem:     15756  v-fix:    0  time:  3.82 s
4555.96/1129.93	c Subs w/ non-existent bins:    121 l-rem:   3674 v-fix:     0 done:  40574 time:  1.50 s
4558.48/1130.28	c Removed useless bin:   28133  fixed:     0  props:  20.00M  time:  0.34 s
4571.92/1131.96	c lits-rem:      1482  cl-subs:     2220  v-elim:   1943  v-fix:    0  time:  1.66 s
4585.49/1133.62	c subs with bin:      256  lits-rem:      3672  v-fix:    0  time:  1.50 s
4594.28/1134.73	c lits-rem:     26834  cl-subs:     2133  v-elim:      0  v-fix:    0  time:  0.95 s
4599.07/1135.34	c asymm  cl-useful: 132/1002/179253 lits-rem:324 time: 0.60
4599.87/1135.45	c calculated reachability. Time: 0.01
4599.87/1135.45	c  N dy  1473    238244     83366    179253   4480846     35054   5995681   6337545     25.47   no data
4600.67/1135.56	c Finding binary XORs  T:     0.10 s  found:      28
4729.67/1153.55	c  N dy  1580    253460     82691    179253   4486651     49891   5995665   7193888     25.70     29.51
4846.08/1168.11	c  N dy  1702    269677     82691    179253   4487873     39856   5995665   6540365     26.01     30.90
4982.55/1185.23	c  N dy  1821    286899     82691    179253   4488888     28984   5995649   5767381     26.18     31.05
5110.67/1201.35	c  N dy  1926    305284     82690    179253   4489717     46928   5995648   6737732     26.23     51.95
5119.45/1202.41	c  F st  1934    306250     82690    179253   4489717     47884   5995648   6793553     26.25   no data
5121.89/1202.73	c Replacing       28 vars Replaced     4333 lits Time:     0.17 s 
5241.61/1217.76	c  N dy  2012    324836     82662    174195   3992488     36014   5953222   5116480     26.24     27.95
5291.82/1224.54	c Finding binary XORs  T:     0.09 s  found:     122
5385.27/1236.73	c  N dy  2142    344917     80536    170959   4210891     55252   5884806   6715556     26.43     38.40
5493.04/1250.23	c  S st  2240    357366     80536    170959   4211658     38148   5884804   5751181     26.62   no data
5501.83/1251.37	c  S st  2240    357866     80536    170959   4211704     38602   5884804   5757849     26.62   no data
5503.43/1251.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
5604.70/1264.30	c Flit:    56 Blit:    331 bXBeca:    0 bXProp:   51 Bins: 608370 BRemL:  15878 BRemN:     20 P: 200.0M T: 12.80
5604.70/1264.30	c Cleaning up after failed var search:     0.00 s 
5611.88/1265.10	c Replacing      174 vars Replaced   201724 lits Time:     0.79 s 
5613.48/1265.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5619.07/1266.02	c bin-w-bin subsume rem        43184 bins  time:  0.69 s
5647.80/1269.66	c subs with bin:     2317  lits-rem:     16520  v-fix:    0  time:  3.65 s
5660.48/1271.21	c Subs w/ non-existent bins:     71 l-rem:   1988 v-fix:     0 done:  72838 time:  1.55 s
5662.88/1271.51	c Removed useless bin:   26303  fixed:     0  props:  20.01M  time:  0.30 s
5677.25/1273.39	c lits-rem:      1234  cl-subs:     3723  v-elim:   2173  v-fix:    0  time:  1.88 s
5690.83/1275.03	c subs with bin:      650  lits-rem:      9854  v-fix:    0  time:  1.52 s
5698.81/1276.02	c lits-rem:     24321  cl-subs:     1661  v-elim:      0  v-fix:    0  time:  0.85 s
5703.30/1276.66	c asymm  cl-useful: 134/870/169166 lits-rem:449 time: 0.64
5704.10/1276.77	c calculated reachability. Time: 0.01
5704.10/1276.77	c  N dy  2240    357866     77802    169166   4314693     35188   5736714   5989189     26.62   no data
5704.90/1276.87	c Finding binary XORs  T:     0.10 s  found:       4
5857.77/1296.28	c  N dy  2379    377949     77802    169166   4324005     54839   5736688   7178173     26.84     28.45
6010.06/1315.35	c  N dy  2524    398016     77802    169166   4324830     44114   5736678   6404691     27.09     41.02
6153.78/1333.34	c  N dy  2663    418063     77345    169166   4325932     32024   5736678   5593303     27.26     36.76
6305.50/1352.34	c  N dy  2813    438107     77345    169166   4326909     51575   5736671   6758200     27.46     61.95
6446.01/1370.00	c  N dy  2949    458172     77342    169166   4327477     38329   5736667   5854404     27.59     51.82
6592.08/1388.27	c  N dy  3096    478386     77298    169166   4328063     58142   5736665   7095430     27.81     29.41
6743.00/1407.14	c  N dy  3257    498545     77298    169166   4328922     43886   5736665   6161249     28.05     29.91
6889.90/1425.52	c  N dy  3390    518658     75370    161619   3548499     61719   5645620   5795381     28.16     29.76
6971.23/1435.70	c Finding binary XORs  T:     0.09 s  found:     127
6998.38/1439.21	c  S st  3464    536801     75370    161619   3549347     45131   5645620   4633440     28.03   no data
7008.89/1440.43	c  S st  3464    537301     75370    161619   3549396     45582   5645620   4637504     28.03   no data
7009.55/1440.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
7098.76/1452.49	c Flit:    13 Blit:    102 bXBeca:    0 bXProp:   90 Bins: 145717 BRemL:  12720 BRemN:     41 P: 200.0M T: 11.94
7098.76/1452.50	c Cleaning up after failed var search:     0.00 s 
7101.75/1453.46	c Replacing      221 vars Replaced   242233 lits Time:     0.96 s 
7102.40/1453.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7105.05/1454.61	c bin-w-bin subsume rem        44723 bins  time:  0.98 s
7114.65/1457.71	c subs with bin:     2508  lits-rem:     10923  v-fix:    0  time:  3.10 s
7118.55/1459.02	c Subs w/ non-existent bins:     88 l-rem:   1169 v-fix:     0 done:  56972 time:  1.30 s
7119.14/1459.26	c Removed useless bin:   15084  fixed:     0  props:  20.01M  time:  0.24 s
7125.74/1461.47	c lits-rem:      3717  cl-subs:     5453  v-elim:   3685  v-fix:    0  time:  2.20 s
7130.24/1462.92	c subs with bin:      492  lits-rem:     12204  v-fix:    0  time:  1.37 s
7132.95/1463.85	c lits-rem:     38667  cl-subs:     2170  v-elim:      0  v-fix:    0  time:  0.83 s
7134.15/1464.25	c asymm  cl-useful: 165/676/158888 lits-rem:1737 time: 0.39
7134.45/1464.33	c calculated reachability. Time: 0.00
7134.45/1464.33	c  N dy  3464    537301     71354    158878   3156247     37774   5465705   3714120     28.03   no data
7137.57/1465.82	c Following stats are for *FIRST FINISHED THREAD ONLY*
7137.57/1465.82	c num threads              : 8          
7137.57/1465.82	c restarts                 : 4319       
7137.57/1465.82	c dynamic restarts         : 4295       
7137.57/1465.82	c static restarts          : 24         
7137.57/1465.82	c full restarts            : 3          
7137.57/1465.82	c total simplify time      : 7.82       
7137.57/1465.82	c learnts DL2              : 0          
7137.57/1465.82	c learnts size 2           : 18033049   
7137.57/1465.82	c learnts size 1           : 135117      (44.14     % of vars)
7137.57/1465.82	c filedLit time            : 56.95       (6.42      % time)
7137.57/1465.82	c v-elim SatELite          : 101522      (33.17     % vars)
7137.57/1465.82	c SatELite time            : 45.38       (5.12      % time)
7137.57/1465.82	c v-elim xor               : 0           (0.00      % vars)
7137.57/1465.82	c xor elim time            : 0.54        (0.06      % time)
7137.57/1465.82	c num binary xor trees     : 9631       
7137.57/1465.82	c binxor trees' crown      : 13218       (1.37      leafs/tree)
7137.57/1465.82	c bin xor find time        : 2.06       
7137.57/1465.82	c OTF clause improved      : 14286       (0.02      clauses/conflict)
7137.57/1465.82	c OTF impr. size diff      : 22443       (1.57       lits/clause)
7137.57/1465.82	c OTF cl watch-shrink      : 369572      (0.52      clauses/conflict)
7137.57/1465.82	c OTF cl watch-sh-lit      : 1902523     (5.15       lits/clause)
7137.57/1465.82	c tried to recurMin cls    : 0           (0.00       % of conflicts)
7137.57/1465.82	c updated cache            : 0           (nan        lits/tried recurMin)
7137.57/1465.82	c unit cls recevied        : 13438       (9.95      % of units)
7137.57/1465.82	c unit cls sent            : 1433        (1.06      % of units)
7137.57/1465.82	c bin cls recevied         : 8893520    
7137.57/1465.82	c bin cls sent             : 1065305    
7137.57/1465.82	c clauses over max glue    : 0           (0.00      % of all clauses)
7137.57/1465.82	c conflicts                : 712295      (803.20    / sec)
7137.57/1465.82	c decisions                : 181840156   (0.08      % random)
7137.57/1465.82	c bogo-props               : 13300525458 (14998063.54 / sec)
7137.57/1465.82	c conflict literals        : 38979689    (21.00     % deleted)
7137.57/1465.82	c Memory used              : 7368.13     MB
7137.57/1465.82	c single-thread CPU time   : 886.82      s
7137.57/1465.82	c all-threads sum CPU time : 7123.71     s
7137.57/1465.82	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-3393900-1306071171/watcher-3393900-1306071171 -o /tmp/evaluation-result-3393900-1306071171/solver-3393900-1306071171 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393900-1306071171.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.89 5.79 4.87 2/474 2705
/proc/meminfo: memFree=5669444/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436073457 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2705/statm: 23036 353 299 95 0 18018 0
[pid=2705/tid=2706] ppid=2703 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414770 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414770 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414770 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=92144 CPUtime=0 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 718719836 94355456 353 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414770 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0756949 s]
/proc/loadavg: 2.89 5.79 4.87 2/474 2705
/proc/meminfo: memFree=5669444/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=562920 CPUtime=0.37 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 10601 0 0 0 26 11 0 0 17 0 8 0 718719836 576430080 9688 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 140730 9697 337 95 0 135712 0
[pid=2705/tid=2706] ppid=2703 vsize=562920 CPUtime=0.04 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) D 2703 2705 2510 0 -1 4202560 1122 0 0 0 3 1 0 0 17 0 8 0 718719836 576430080 9708 33554432000 4194304 4580107 140737274568368 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=562920 CPUtime=0.03 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1283 0 0 0 2 1 0 0 17 0 8 0 718719836 576430080 9725 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 7 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=562920 CPUtime=0.04 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1285 0 0 0 2 2 0 0 17 0 8 0 718719836 576430080 9726 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 5 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=562920 CPUtime=0.03 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1268 0 0 0 3 0 0 0 17 0 8 0 718719836 576430080 9733 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=563052 CPUtime=0.04 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1302 0 0 0 4 0 0 0 17 0 8 0 718719836 576565248 9770 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=563052 CPUtime=0.05 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1291 0 0 0 4 1 0 0 17 0 8 0 718719836 576565248 9801 33554432000 4194304 4580107 140737274568368 18446744073709551615 4354920 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=563052 CPUtime=0.02 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1338 0 0 0 1 1 0 0 17 0 8 0 718719836 576565248 9818 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 562920

[startup+0.103723 s]
/proc/loadavg: 2.89 5.79 4.87 2/474 2705
/proc/meminfo: memFree=5669444/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=570756 CPUtime=0.56 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 15013 0 0 0 39 17 0 0 17 0 8 0 718719836 584454144 13046 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 142689 13078 337 95 0 137671 0
[pid=2705/tid=2706] ppid=2703 vsize=570756 CPUtime=0.07 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1770 0 0 0 5 2 0 0 17 0 8 0 718719836 584454144 13089 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=570756 CPUtime=0.06 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1921 0 0 0 4 2 0 0 17 0 8 0 718719836 584454144 13106 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 7 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=570904 CPUtime=0.06 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 1802 0 0 0 4 2 0 0 17 0 8 0 718719836 584605696 13121 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 5 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=570904 CPUtime=0.05 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1731 0 0 0 4 1 0 0 17 0 8 0 718719836 584605696 13152 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=570904 CPUtime=0.07 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1836 0 0 0 6 1 0 0 17 0 8 0 718719836 584605696 13176 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=570904 CPUtime=0.08 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1801 0 0 0 6 2 0 0 17 0 8 0 718719836 584605696 13183 33554432000 4194304 4580107 140737274568368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=570904 CPUtime=0.05 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 1927 0 0 0 3 2 0 0 17 0 8 0 718719836 584605696 13212 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 570756

[startup+0.301662 s]
/proc/loadavg: 2.89 5.79 4.87 2/474 2705
/proc/meminfo: memFree=5669444/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=664376 CPUtime=1.71 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 41083 0 0 0 115 56 0 0 17 0 8 0 718719836 680321024 36880 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 166094 36913 337 95 0 161076 0
[pid=2705/tid=2706] ppid=2703 vsize=664376 CPUtime=0.21 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 5157 0 0 0 14 7 0 0 17 0 8 0 718719836 680321024 36928 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=664376 CPUtime=0.2 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 5442 0 0 0 13 7 0 0 17 0 8 0 718719836 680321024 36940 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 7 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=664376 CPUtime=0.21 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 5041 0 0 0 13 8 0 0 17 0 8 0 718719836 680321024 36954 33554432000 4194304 4580107 140737274568368 18446744073709551615 212435714151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=664376 CPUtime=0.19 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 4733 0 0 0 13 6 0 0 17 0 8 0 718719836 680321024 36969 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=664376 CPUtime=0.22 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 4984 0 0 0 16 6 0 0 17 0 8 0 718719836 680321024 36984 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=664376 CPUtime=0.21 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 4767 0 0 0 15 6 0 0 17 0 8 0 718719836 680321024 36993 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=664376 CPUtime=0.18 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 5557 0 0 0 12 6 0 0 17 0 8 0 718719836 680321024 37017 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 664376

[startup+0.702734 s]
/proc/loadavg: 2.89 5.79 4.87 2/474 2705
/proc/meminfo: memFree=5669444/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=754928 CPUtime=4.1 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 106525 0 0 0 289 121 0 0 17 0 8 0 718719836 773046272 89764 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 188732 89881 337 95 0 183714 0
[pid=2705/tid=2706] ppid=2703 vsize=754928 CPUtime=0.5 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 13283 0 0 0 35 15 0 0 17 0 8 0 718719836 773046272 89909 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=754928 CPUtime=0.51 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 14023 0 0 0 37 14 0 0 17 0 8 0 718719836 773046272 89958 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 7 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=754928 CPUtime=0.51 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 13502 0 0 0 33 18 0 0 17 0 8 0 718719836 773046272 89968 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=754928 CPUtime=0.49 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 12772 0 0 0 34 15 0 0 17 0 8 0 718719836 773046272 89985 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=754928 CPUtime=0.52 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 12793 0 0 0 39 13 0 0 17 0 8 0 718719836 773046272 90008 33554432000 4194304 4580107 140737274568368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=754928 CPUtime=0.53 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 12596 0 0 0 40 13 0 0 17 0 8 0 718719836 773046272 90062 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=754928 CPUtime=0.48 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 14253 0 0 0 33 15 0 0 17 0 8 0 718719836 773046272 90107 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 754928

[startup+1.5004 s]
/proc/loadavg: 2.89 5.79 4.87 9/482 2713
/proc/meminfo: memFree=5200908/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=1351064 CPUtime=8.35 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 180947 0 0 0 568 267 0 0 16 0 8 0 718719836 1383489536 163770 33554432000 4194304 4580107 140737274568368 18446744073709551615 4307934 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 337766 163788 337 95 0 332748 0
[pid=2705/tid=2706] ppid=2703 vsize=1351064 CPUtime=1.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 22735 0 0 0 71 32 0 0 15 0 8 0 718719836 1383489536 163789 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=1351064 CPUtime=1.04 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 23777 0 0 0 72 32 0 0 16 0 8 0 718719836 1383489536 163790 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=1351064 CPUtime=1.04 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 23238 0 0 0 68 36 0 0 15 0 8 0 718719836 1383489536 163792 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=1351064 CPUtime=1.01 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 21821 0 0 0 66 35 0 0 16 0 8 0 718719836 1383489536 163794 33554432000 4194304 4580107 140737274568368 18446744073709551615 4511212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=1351064 CPUtime=1.05 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 21119 0 0 0 74 31 0 0 15 0 8 0 718719836 1383489536 163795 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=1351064 CPUtime=1.07 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) D 2703 2705 2510 0 -1 4202560 21557 0 0 0 75 32 0 0 16 0 8 0 718719836 1383489536 163797 33554432000 4194304 4580107 140737274568368 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=1351064 CPUtime=1 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 23704 0 0 0 68 32 0 0 16 0 8 0 718719836 1383489536 163798 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 1351064

[startup+3.1011 s]
/proc/loadavg: 2.89 5.79 4.87 5/482 2713
/proc/meminfo: memFree=4586900/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=2026288 CPUtime=16.96 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 367487 0 0 0 1150 546 0 0 15 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436074922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 506572 333042 337 95 0 501554 0
[pid=2705/tid=2706] ppid=2703 vsize=2026288 CPUtime=2.13 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) D 2703 2705 2510 0 -1 4202560 46029 0 0 0 145 68 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=2026288 CPUtime=2.1 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 48636 0 0 0 144 66 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=2026288 CPUtime=2.11 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 46530 0 0 0 142 69 0 0 15 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=2026288 CPUtime=2.09 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) D 2703 2705 2510 0 -1 4202560 44337 0 0 0 139 70 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=2026288 CPUtime=2.13 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 43175 0 0 0 148 65 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212436122094 0 0 4096 2 18446604451936314560 0 0 -1 5 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=2026288 CPUtime=2.15 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 44536 0 0 0 149 66 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 212435685809 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=2026288 CPUtime=2.08 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 47531 0 0 0 138 70 0 0 16 0 8 0 718719836 2074918912 333042 33554432000 4194304 4580107 140737274568368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.96
Current children cumulated vsize (KiB) 2026288

[startup+6.30051 s]
/proc/loadavg: 3.30 5.83 4.88 10/482 2713
/proc/meminfo: memFree=3724248/32951124 swapFree=56316296/67111528
[pid=2705] ppid=2703 vsize=2645996 CPUtime=40.65 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 555535 0 0 0 3337 728 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2705/statm: 661499 486628 360 95 0 656481 0
[pid=2705/tid=2706] ppid=2703 vsize=2645996 CPUtime=5.1 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 69028 0 0 0 416 94 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4235215 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=2645996 CPUtime=5.06 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 71260 0 0 0 418 88 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=2645996 CPUtime=5.09 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 68178 0 0 0 417 92 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=2645996 CPUtime=5.06 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 67988 0 0 0 413 93 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=2645996 CPUtime=5.09 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 66806 0 0 0 422 87 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4234928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=2645996 CPUtime=5.12 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 67330 0 0 0 427 85 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=2645996 CPUtime=5.01 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 73953 0 0 0 406 95 0 0 18 0 8 0 718719836 2709499904 486628 33554432000 4194304 4580107 140737274568368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0

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

[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=874.7 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 304007 0 0 0 87300 170 0 0 25 0 8 0 718719836 7726039040 1620231 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=864.55 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 263674 0 0 0 86306 149 0 0 25 0 8 0 718719836 7726039040 1620231 33554432000 4194304 4580107 140737274568368 18446744073709551615 4315281 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=883.71 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 294325 0 0 0 88211 160 0 0 25 0 8 0 718719836 7726039040 1620231 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=901.81 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 406437 0 0 0 89933 248 0 0 25 0 8 0 718719836 7726039040 1620231 33554432000 4194304 4580107 140737274568368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6957.65
Current children cumulated vsize (KiB) 7544960

[startup+1446.8 s]
/proc/loadavg: 8.01 7.19 5.57 9/482 2751
/proc/meminfo: memFree=100060/32951124 swapFree=55479392/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7059.64 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 2486586 0 0 0 704579 1385 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1628127 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=876.55 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 319708 0 0 0 87464 191 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=869.37 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314518 0 0 0 86780 157 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=878.38 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 246434 0 0 0 87689 149 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=887.39 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 304007 0 0 0 88569 170 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=877.35 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 264456 0 0 0 87586 149 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=896.51 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 295112 0 0 0 89490 161 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=914.61 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 407232 0 0 0 91212 249 0 0 25 0 8 0 718719836 7726039040 1628127 33554432000 4194304 4580107 140737274568368 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7059.64
Current children cumulated vsize (KiB) 7544960

[startup+1459.6 s]
/proc/loadavg: 7.24 7.06 5.55 4/482 2751
/proc/meminfo: memFree=98388/32951124 swapFree=55456040/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7120.34 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 2501269 0 0 0 710644 1390 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 4451559 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1642763 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=881.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 320017 0 0 0 87911 192 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=882.17 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314911 0 0 0 88059 158 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854389803 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=891.1 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 259038 0 0 0 88958 152 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=891.86 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 304085 0 0 0 89016 170 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=881.83 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 264834 0 0 0 88033 150 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=900.98 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 295480 0 0 0 89937 161 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=919.09 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 407440 0 0 0 91660 249 0 0 25 0 8 0 718719836 7726039040 1642763 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7120.34
Current children cumulated vsize (KiB) 7544960

[startup+1462.8 s]
/proc/loadavg: 7.24 7.06 5.55 4/482 2752
/proc/meminfo: memFree=94512/32951124 swapFree=55456040/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7129.94 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 2502063 0 0 0 711604 1390 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 4413647 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1643557 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=881.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 320017 0 0 0 87911 192 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=885.37 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314911 0 0 0 88379 158 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854389792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=894.29 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 259423 0 0 0 89277 152 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 4399488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=891.86 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 304085 0 0 0 89016 170 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=881.83 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 264834 0 0 0 88033 150 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=900.98 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 295480 0 0 0 89937 161 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=919.09 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 407440 0 0 0 91660 249 0 0 25 0 8 0 718719836 7726039040 1643557 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7129.94
Current children cumulated vsize (KiB) 7544960

[startup+1464.4 s]
/proc/loadavg: 7.24 7.06 5.55 4/482 2752
/proc/meminfo: memFree=97704/32951124 swapFree=55453480/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7134.75 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) R 2703 2705 2510 0 -1 4202496 2503502 0 0 0 712084 1391 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1644078 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=881.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 320017 0 0 0 87911 192 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=886.97 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314911 0 0 0 88539 158 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=895.9 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 260791 0 0 0 89437 153 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=891.86 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 304085 0 0 0 89016 170 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=881.83 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 264834 0 0 0 88033 150 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=900.98 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 295480 0 0 0 89937 161 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=919.09 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 407440 0 0 0 91660 249 0 0 25 0 8 0 718719836 7726039040 1644078 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7134.75
Current children cumulated vsize (KiB) 7544960

[startup+1465.2 s]
/proc/loadavg: 6.90 7.00 5.54 3/482 2752
/proc/meminfo: memFree=98120/32951124 swapFree=55453480/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7136.37 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) S 2703 2705 2510 0 -1 4202496 2504761 0 0 0 712246 1391 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1644637 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=881.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 320017 0 0 0 87911 192 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=887.77 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314911 0 0 0 88619 158 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854389803 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=896.7 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 262050 0 0 0 89517 153 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=891.86 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 304085 0 0 0 89016 170 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=881.83 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 264834 0 0 0 88033 150 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=900.98 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 295480 0 0 0 89937 161 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=919.09 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 407440 0 0 0 91660 249 0 0 25 0 8 0 718719836 7726039040 1644637 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7136.37
Current children cumulated vsize (KiB) 7544960

[startup+1465.6 s]
/proc/loadavg: 6.90 7.00 5.54 3/482 2752
/proc/meminfo: memFree=94648/32951124 swapFree=55453480/67111528
[pid=2705] ppid=2703 vsize=7544960 CPUtime=7137.18 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) S 2703 2705 2510 0 -1 4202496 2505161 0 0 0 712327 1391 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 1886240 1644920 381 95 0 1881222 0
[pid=2705/tid=2706] ppid=2703 vsize=7544960 CPUtime=881.03 cores=0-7
/proc/2705/task/2706/stat : 2706 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 320017 0 0 0 87911 192 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 2 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=7544960 CPUtime=888.18 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 314911 0 0 0 88660 158 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854389956 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2705/tid=2708] ppid=2703 vsize=7544960 CPUtime=897.11 cores=0-7
/proc/2705/task/2708/stat : 2708 (strangenight2-m) R 2703 2705 2510 0 -1 4202560 262450 0 0 0 89558 153 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2705/tid=2709] ppid=2703 vsize=7544960 CPUtime=891.86 cores=0-7
/proc/2705/task/2709/stat : 2709 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 304085 0 0 0 89016 170 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 4 0 0 0
[pid=2705/tid=2710] ppid=2703 vsize=7544960 CPUtime=881.83 cores=0-7
/proc/2705/task/2710/stat : 2710 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 264834 0 0 0 88033 150 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 6 0 0 0
[pid=2705/tid=2711] ppid=2703 vsize=7544960 CPUtime=900.98 cores=0-7
/proc/2705/task/2711/stat : 2711 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 295480 0 0 0 89937 161 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 3 0 0 0
[pid=2705/tid=2712] ppid=2703 vsize=7544960 CPUtime=919.09 cores=0-7
/proc/2705/task/2712/stat : 2712 (strangenight2-m) S 2703 2705 2510 0 -1 4202560 407440 0 0 0 91660 249 0 0 25 0 8 0 718719836 7726039040 1644920 33554432000 4194304 4580107 140737274568368 18446744073709551615 47661854414388 0 0 4096 2 18446604451936314560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7137.18
Current children cumulated vsize (KiB) 7544960

[startup+1466 s]
/proc/loadavg: 6.90 7.00 5.54 3/482 2752
/proc/meminfo: memFree=94648/32951124 swapFree=55453480/67111528
[pid=2705] ppid=2703 vsize=0 CPUtime=7137.8 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) Z 2703 2705 2510 0 -1 4203548 2505164 0 0 0 712371 1409 0 0 18 0 2 0 718719836 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 0 0 0 0 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=0 CPUtime=888.56 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202564 314914 0 0 0 88681 175 0 0 25 0 2 0 718719836 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7137.8
Current children cumulated vsize (KiB) 0

[startup+1466.1 s]
/proc/loadavg: 6.90 7.00 5.54 3/482 2752
/proc/meminfo: memFree=94648/32951124 swapFree=55453480/67111528
[pid=2705] ppid=2703 vsize=0 CPUtime=7137.9 cores=0-7
/proc/2705/stat : 2705 (strangenight2-m) Z 2703 2705 2510 0 -1 4203548 2505164 0 0 0 712371 1419 0 0 18 0 2 0 718719836 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2705/statm: 0 0 0 0 0 0 0
[pid=2705/tid=2707] ppid=2703 vsize=0 CPUtime=888.66 cores=0-7
/proc/2705/task/2707/stat : 2707 (strangenight2-m) R 2703 2705 2510 0 -1 4202564 314914 0 0 0 88681 185 0 0 25 0 2 0 718719836 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7137.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1466.11
CPU time (s): 7137.91
CPU user time (s): 7123.71
CPU system time (s): 14.1948
CPU usage (%): 486.862
Max. virtual memory (cumulated for all children) (KiB): 7544960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7123.71
system time used= 14.1948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2505164
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= 876868
involuntary context switches= 29861

runsolver used 6.32704 second user time and 16.0466 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-22 15:32:55
IDJOB=3393900
IDBENCH=20580
IDSOLVER=1878
FILE ID=node102/3393900-1306071171
RUNJOBID= node102-1306069999-2524
PBS_JOBID= 13387901
Free space on /tmp= 73252 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393900-1306071171/watcher-3393900-1306071171 -o /tmp/evaluation-result-3393900-1306071171/solver-3393900-1306071171 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393900-1306071171.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=353739984

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.82
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.828
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.828
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.828
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:       5669848 kB
Buffers:        240228 kB
Cached:        5178800 kB
SwapCached:      33856 kB
Active:       16202340 kB
Inactive:     10782364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5669848 kB
SwapTotal:    67111528 kB
SwapFree:     56316296 kB
Dirty:          137164 kB
Writeback:           0 kB
AnonPages:    21543796 kB
Mapped:          24476 kB
Slab:           127616 kB
PageTables:      99484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135449788 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= 73244 MiB
End job on node102 at 2011-05-22 15:57:21