Trace number 3394820

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 17402.9 2612.38

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
MD5SUM9a43349587a435e7109b46b3aceb156e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1144.59
Satisfiable
(Un)Satisfiability was proved
Number of variables482093
Number of clauses9676386
Sum of the clauses size28195028
Maximum clause length226
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 29152157
Number of clauses of size 3120945
Number of clauses of size 410067
Number of clauses of size 528986
Number of clauses of size over 5364230

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.69/0.11	c This is CryptoMiniSat 3.0.0
0.69/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.69/0.11	c Reading file 'HOME/instance-3394820-1306107944.cnf'
0.69/0.11	c -- header says num vars:         482093
0.69/0.11	c -- header says num clauses:     9676386
33.51/6.50	c -- clauses added:            0 learnts,      9676386 normals,            0 xors
33.51/6.50	c -- vars added     482093
33.51/6.50	c Parsing time:  2.77 s
33.51/6.50	c  N st     0         0    482093    524228   9152157         0  28195027         0   no data   no data
38.96/7.20	c asymm  cl-useful: 17/19/524218 lits-rem:760 time: 0.65
109.98/16.11	c Flit:   142 Blit: 134307 bXBeca:    0 bXProp: 2690 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T:  8.89
113.28/16.59	c Cleaning up after failed var search:     0.48 s 
119.54/17.38	c Replacing     2690 vars Replaced   279907 lits Time:     0.77 s 
127.35/18.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
130.65/18.78	c bin-w-bin subsume rem            8 bins  time:  0.48 s
230.25/31.25	c subs with bin:     9106  lits-rem:     87369  v-fix:    0  time: 12.47 s
270.17/36.28	c Subs w/ non-existent bins:     22 l-rem:     49 v-fix:     0 done:  23549 time:  5.03 s
274.15/36.72	c Removed useless bin:     694  fixed:     0  props:  20.00M  time:  0.44 s
504.75/65.65	c lits-rem:     29487  cl-subs:    32952  v-elim:  26623  v-fix:    0  time: 28.91 s
506.35/65.86	c Finding binary XORs  T:     0.21 s  found:    1928
511.14/66.45	c Replacing     1928 vars Replaced   213514 lits Time:     0.59 s 
515.14/66.98	c Finding non-binary XORs:     0.37 s (found:       0, avg size: nan)
515.14/66.98	c calculated reachability. Time: 0.01
516.84/67.13	c Calc default polars -  time:   0.16 s pos:   47860 undec:  174391 neg:  259842
516.84/67.13	c =========================================================================================
516.84/67.13	c types(t): F = full restart, N = normal restart
516.84/67.13	c types(t): S = simplification begin/end, E = solution found
516.84/67.13	c restart types(rt): st = static, dy = dynamic
516.84/67.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
516.84/67.13	c  B st     0         0    308418    315808   6201927         0  18694194         0   no data   no data
613.43/79.28	c  N dy    19      4022    308417    315808   6202195      3652  18694145    161796     19.72     20.83
662.00/85.34	c  N dy    43      8078    308414    315808   6214484      7521  18694134    347290     19.53     28.65
774.54/99.49	c  N dy    77     12312    308414    315808   6214572     11635  18694134    589969     22.46     25.11
884.70/113.27	c  N dy   100     16435    307924    315808   6225287     15591  18694134    791614     22.54     25.35
974.89/124.54	c  N dy   125     20517    307921    315808   6227138     10003  18694121    308281     22.72     24.29
1088.39/138.73	c  N dy   150     24653    307916    315808   6228677     13970  18694121    489105     22.71     24.85
1091.42/139.15	c  F st   153     25000    307916    315808   6228682     14306  18694121    511978     22.70   no data
1166.56/148.60	c  N dy   159     30003    307916    315270   6224945     19074  18682247    846799     22.70   no data
1166.56/148.61	c  S st   159     30003    307916    315270   6224945     19074  18682247    846799     22.70   no data
1180.01/150.24	c  S st   159     30504    307915    315270   6225083     19431  18682247    858139     22.70   no data
1181.61/150.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
1318.90/167.66	c Flit:   364 Blit:   3030 bXBeca:    0 bXProp: 1935 Bins: 572233 BRemL:  17472 BRemN:     16 P: 200.4M T: 17.16
1320.50/167.89	c Cleaning up after failed var search:     0.21 s 
1324.60/168.39	c Replacing     1936 vars Replaced   261329 lits Time:     0.49 s 
1369.97/174.09	c blocked clauses removed:    51419 vars:  52437 tried:      983629 T: 5.20 s
1373.18/174.49	c bin-w-bin subsume rem         4451 bins  time:  0.40 s
1411.49/179.28	c subs with bin:    14890  lits-rem:    110653  v-fix:    0  time:  4.79 s
1417.88/180.09	c Subs w/ non-existent bins:    115 l-rem:   8921 v-fix:     0 done:   2295 time:  0.77 s
1422.01/180.56	c Removed useless bin:    3996  fixed: 52438  props:  20.02M  time:  0.46 s
1494.47/189.65	c lits-rem:     89297  cl-subs:     6408  v-elim:  56638  v-fix:    0  time:  9.00 s
1500.18/190.35	c subs with bin:       20  lits-rem:      9083  v-fix:    0  time:  0.59 s
1508.05/191.32	c lits-rem:      4339  cl-subs:     1529  v-elim:      0  v-fix:    0  time:  0.78 s
1512.03/191.82	c asymm  cl-useful: 63/517/359981 lits-rem:1733 time: 0.50
1512.83/191.94	c calculated reachability. Time: 0.01
1512.83/191.95	c  N dy   159     30504    183024    359980   3795778      9389  12384697    619482     22.70   no data
1524.01/193.31	c Finding binary XORs  T:     0.14 s  found:    3996
1526.51/193.65	c Replacing     3996 vars Replaced   316370 lits Time:     0.34 s 
1584.64/200.95	c  N dy   179     34569    179023    359969   3789258     13298  12368539    796948     22.60     24.05
1602.72/203.23	c  N dy   185     38631    179021    359969   3798203     17176  12368538    991469     22.06     27.54
1629.05/206.53	c  N dy   192     45409    179021    359969   3798273     13178  12368538    672153     21.13     22.36
1639.43/207.85	c  S st   195     45756    176321    350862   3770738     13503  12152041    772105     21.16     20.93
1648.20/208.93	c  S st   195     46256    176317    350862   3770868     13867  12152041    776864     21.16   no data
1649.11/209.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1727.26/219.26	c Flit:   654 Blit:    405 bXBeca:    0 bXProp:  909 Bins:  96645 BRemL:   1944 BRemN:   8869 P: 200.1M T: 10.17
1727.26/219.27	c Cleaning up after failed var search:     0.00 s 
1730.97/219.77	c Replacing      909 vars Replaced   175544 lits Time:     0.49 s 
1733.43/220.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1737.31/220.54	c bin-w-bin subsume rem        18390 bins  time:  0.43 s
1783.60/226.31	c subs with bin:    16146  lits-rem:    412242  v-fix:    0  time:  5.77 s
1822.70/231.22	c Subs w/ non-existent bins:    323 l-rem:    349 v-fix:    14 done:   7208 time:  4.88 s
1825.10/231.52	c Removed useless bin:    2171  fixed:     0  props:  20.01M  time:  0.28 s
1858.60/235.72	c lits-rem:      3317  cl-subs:     2402  v-elim:   3315  v-fix:    0  time:  4.19 s
1864.20/236.40	c subs with bin:      166  lits-rem:      9363  v-fix:    0  time:  0.56 s
1871.39/237.34	c lits-rem:     26734  cl-subs:     1600  v-elim:      0  v-fix:    0  time:  0.75 s
1876.16/237.93	c asymm  cl-useful: 27/733/339935 lits-rem:1132 time: 0.59
1876.96/238.04	c calculated reachability. Time: 0.01
1876.96/238.05	c  N dy   195     46256    171009    339934   3754443     10938  11477657    808269     21.16   no data
1877.76/238.18	c Finding binary XORs  T:     0.14 s  found:     303
1924.04/243.96	c  N dy   223     50344    171008    339934   3754472     14936  11477656   1013153     21.33     26.68
1980.53/251.09	c  N dy   254     54408    170351    339934   3767007     18890  11477627   1229444     21.71     30.26
2022.84/257.14	c  N dy   282     58420    170183    339934   3798968     22762  11477622   1496043     22.02     34.67
2076.08/263.85	c  N dy   304     62433    170035    339934   3799061     26583  11477621   1661895     22.01     23.55
2117.57/269.02	c  N dy   315     66499    170034    339934   3801837     15378  11477621    942807     21.77     23.24
2142.31/272.18	c Finding binary XORs  T:     0.13 s  found:     146
2160.46/274.43	c  S st   338     69385    170033    334921   3735006     17281  11281340   1069585     22.03   no data
2168.44/275.43	c  S st   338     69885    170032    334921   3735116     17665  11281340   1075057     22.03   no data
2170.04/275.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2273.80/288.63	c Flit:   230 Blit:     57 bXBeca:    0 bXProp:   34 Bins: 243517 BRemL:  19113 BRemN:    387 P: 200.2M T: 13.03
2273.80/288.64	c Cleaning up after failed var search:     0.00 s 
2276.99/289.09	c Replacing      483 vars Replaced   163010 lits Time:     0.44 s 
2279.51/289.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2284.18/289.90	c bin-w-bin subsume rem        38780 bins  time:  0.49 s
2329.44/295.62	c subs with bin:     9750  lits-rem:    188077  v-fix:    0  time:  5.71 s
2356.59/299.10	c Subs w/ non-existent bins:   1363 l-rem:   3313 v-fix:     0 done:   3292 time:  3.47 s
2360.56/299.50	c Removed useless bin:    7062  fixed:     0  props:  20.05M  time:  0.40 s
2385.46/302.69	c lits-rem:      1448  cl-subs:     5347  v-elim:   5604  v-fix:    0  time:  3.19 s
2391.70/303.42	c subs with bin:      122  lits-rem:      5292  v-fix:    0  time:  0.63 s
2396.49/304.00	c lits-rem:      5395  cl-subs:     1303  v-elim:      0  v-fix:    0  time:  0.39 s
2400.48/304.55	c asymm  cl-useful: 16/671/349207 lits-rem:384 time: 0.55
2401.28/304.66	c calculated reachability. Time: 0.01
2401.28/304.67	c  N dy   338     69885    163652    349207   3837173     15688  11224972   1344842     22.03   no data
2451.83/311.10	c Finding binary XORs  T:     0.12 s  found:      56
2469.39/313.30	c  N dy   373     74386    163536    349164   3860738     20051  11220171   1622418     22.26     27.23
2536.42/321.72	c  N dy   402     79301    160436    345588   3907971     24208  11036871   2111192     22.44     23.68
2549.96/323.50	c Finding binary XORs  T:     0.13 s  found:      69
2584.17/327.74	c  N dy   423     84516    160436    345588   3912697     29195  11036869   2353872     22.26     25.14
2615.29/331.61	c  F st   448     87501    160436    345588   3912723     32105  11036869   2524382     22.38   no data
2617.70/331.93	c Replacing      125 vars Replaced   112582 lits Time:     0.32 s 
2622.48/332.55	c Found part       29 vars:     160303 clauses:   3651919 lits size:  11035199
2622.48/332.55	c Found part       30 vars:          2 clauses:         1 lits size:         2
2622.48/332.55	c Found part       31 vars:          2 clauses:         1 lits size:         2
2622.48/332.55	c Found part       32 vars:          2 clauses:         1 lits size:         2
2622.48/332.55	c Found parts:          4 time: 0.94 s
2622.48/332.55	c Solving part 30
2624.81/332.88	c  N st     0         0         2         0         1         0         2         0   no data   no data
2624.81/332.88	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2624.81/332.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2625.61/332.92	c Finding binary XORs  T:     0.03 s  found:       0
2625.61/332.92	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2625.61/332.92	c calculated reachability. Time: 0.00
2625.61/332.93	c Calc default polars -  time:   0.01 s pos:       0 undec:  482091 neg:       2
2625.61/332.93	c =========================================================================================
2625.61/332.93	c types(t): F = full restart, N = normal restart
2625.61/332.93	c types(t): S = simplification begin/end, E = solution found
2625.61/332.93	c restart types(rt): st = static, dy = dynamic
2625.61/332.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2625.61/332.93	c  B st     0         0         2         0         1         0         2         0   no data   no data
2625.61/332.93	c  E st     1         0         0         0         1         0         2         0   no data   no data
2625.61/332.94	c Verified 0 clauses.
2625.61/332.94	c Verified 0 clauses.
2625.61/332.94	c Solved part
2625.61/332.94	c =========================================================================================
2625.61/332.96	c Solving part 31
2627.94/333.28	c  N st     0         0         2         0         1         0         2         0   no data   no data
2627.94/333.28	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2627.94/333.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2627.94/333.31	c Finding binary XORs  T:     0.03 s  found:       0
2628.84/333.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2628.84/333.32	c calculated reachability. Time: 0.00
2628.84/333.33	c Calc default polars -  time:   0.01 s pos:       0 undec:  482091 neg:       2
2628.84/333.33	c =========================================================================================
2628.84/333.33	c types(t): F = full restart, N = normal restart
2628.84/333.33	c types(t): S = simplification begin/end, E = solution found
2628.84/333.33	c restart types(rt): st = static, dy = dynamic
2628.84/333.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2628.84/333.33	c  B st     0         0         2         0         1         0         2         0   no data   no data
2628.84/333.33	c  E st     1         0         0         0         1         0         2         0   no data   no data
2628.84/333.34	c Verified 0 clauses.
2628.84/333.34	c Verified 0 clauses.
2628.84/333.34	c Solved part
2628.84/333.34	c =========================================================================================
2628.84/333.35	c Solving part 32
2631.09/333.68	c  N st     0         0         2         0         1         0         2         0   no data   no data
2631.09/333.68	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2631.09/333.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2631.88/333.71	c Finding binary XORs  T:     0.03 s  found:       0
2631.88/333.72	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2631.88/333.72	c calculated reachability. Time: 0.00
2631.88/333.73	c Calc default polars -  time:   0.01 s pos:       0 undec:  482091 neg:       2
2631.88/333.73	c =========================================================================================
2631.88/333.73	c types(t): F = full restart, N = normal restart
2631.88/333.73	c types(t): S = simplification begin/end, E = solution found
2631.88/333.73	c restart types(rt): st = static, dy = dynamic
2631.88/333.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2631.88/333.73	c  B st     0         0         2         0         1         0         2         0   no data   no data
2631.88/333.73	c  E st     1         0         0         0         1         0         2         0   no data   no data
2631.88/333.74	c Verified 0 clauses.
2631.88/333.74	c Verified 0 clauses.
2631.88/333.74	c Solved part
2631.88/333.74	c =========================================================================================
2631.88/333.75	c Coming back to original instance
2631.88/333.75	c =========================================================================================
2672.72/338.82	c  N st   453     90800    160273    345453   3970737     17900  11035196   1668709     22.38   no data
2719.01/344.77	c Finding binary XORs  T:     0.14 s  found:     103
2743.09/347.77	c  N dy   474     96598    160193    345289   4006979     23519  11031350   2044433     22.43     37.66
2819.56/357.39	c  N dy   520    102856    160108    345289   4008748     29630  11031349   2414099     22.83     50.61
2842.71/360.25	c  S st   532    104828    160108    345289   4008761     31541  11031349   2503236     22.84   no data
2852.29/361.44	c  S st   532    105332    160106    345289   4008857     31946  11031349   2507901     22.84   no data
2853.90/361.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
2968.02/375.94	c Flit:   231 Blit:     11 bXBeca:    0 bXProp:   39 Bins:2058585 BRemL:   3297 BRemN:    119 P: 200.0M T: 14.30
2968.02/375.94	c Cleaning up after failed var search:     0.00 s 
2972.81/376.55	c Replacing      142 vars Replaced   169563 lits Time:     0.60 s 
2975.21/376.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2982.39/377.72	c bin-w-bin subsume rem        62566 bins  time:  0.83 s
3025.49/383.13	c subs with bin:    23819  lits-rem:    102554  v-fix:    0  time:  5.41 s
3060.62/387.52	c Subs w/ non-existent bins:   1258 l-rem:   1422 v-fix:    16 done:   8509 time:  4.37 s
3063.01/387.87	c Removed useless bin:    6479  fixed:     0  props:  20.01M  time:  0.35 s
3092.55/391.61	c lits-rem:      2206  cl-subs:     8959  v-elim:   4483  v-fix:    0  time:  3.74 s
3106.91/393.36	c subs with bin:      906  lits-rem:     13424  v-fix:    0  time:  1.58 s
3114.09/394.23	c lits-rem:     15185  cl-subs:     1525  v-elim:      0  v-fix:    0  time:  0.67 s
3118.89/394.82	c asymm  cl-useful: 17/570/334095 lits-rem:166 time: 0.59
3119.79/394.95	c calculated reachability. Time: 0.01
3119.79/394.96	c  N dy   532    105332    155223    334095   4668500     27004  10663537   3778031     22.84   no data
3121.28/395.11	c Finding binary XORs  T:     0.14 s  found:      14
3260.91/438.50	c  N dy   593    112092    154966    334095   4670620     33645  10663537   4181999     23.53     43.27
3529.50/633.74	c Finding binary XORs  T:     0.16 s  found:     109
3575.64/639.56	c  N dy   613    122130    151712    327712   4753003     24044  10436557   3601129     22.97     24.35
3706.54/655.94	c  N dy   676    130019    151702    327712   4789985     31770  10436556   4126733     23.35     24.90
3828.67/671.22	c  N dy   741    138450    151700    327712   4790595     39994  10436553   4619026     23.68     26.06
3957.18/687.32	c  N dy   806    147623    151693    327712   4791590     27400  10436526   3909441     23.95     25.62
4021.83/695.48	c Finding binary XORs  T:     0.16 s  found:      11
4092.87/704.35	c  N dy   885    157057    151685    327693   4791945     36623  10436089   4524531     24.40     29.34
4107.26/706.15	c  S st   894    157999    151685    327693   4791950     37548  10436089   4593993     24.47   no data
4120.82/707.88	c  S st   894    158499    151683    327693   4792317     37983  10436089   4599063     24.47   no data
4123.22/708.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
4254.93/724.68	c Flit:   295 Blit:     31 bXBeca:    0 bXProp:   40 Bins: 982318 BRemL:   5066 BRemN:     79 P: 200.0M T: 16.58
4254.93/724.69	c Cleaning up after failed var search:     0.00 s 
4261.31/725.46	c Replacing      174 vars Replaced   315329 lits Time:     0.75 s 
4264.51/725.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4270.89/726.68	c bin-w-bin subsume rem        82100 bins  time:  0.79 s
4316.37/732.32	c subs with bin:    12005  lits-rem:     52764  v-fix:    0  time:  5.64 s
4326.76/733.67	c Subs w/ non-existent bins:    369 l-rem:     33 v-fix:     0 done:   8649 time:  1.34 s
4329.93/734.04	c Removed useless bin:   18265  fixed:     0  props:  20.00M  time:  0.38 s
4369.84/739.00	c lits-rem:      2514  cl-subs:     8784  v-elim:   4290  v-fix:    0  time:  4.95 s
4383.40/740.72	c subs with bin:      531  lits-rem:      7496  v-fix:    0  time:  1.53 s
4392.19/741.90	c lits-rem:     16325  cl-subs:     1638  v-elim:      0  v-fix:    0  time:  0.90 s
4397.89/742.58	c asymm  cl-useful: 18/579/324580 lits-rem:234 time: 0.68
4399.37/742.72	c calculated reachability. Time: 0.01
4399.37/742.73	c  N dy   894    158499    146892    324580   4494732     32852  10204540   3966923     24.47   no data
4400.17/742.88	c Finding binary XORs  T:     0.16 s  found:       3
4537.96/764.16	c  N dy   936    169651    146374    324580   4565697     43572  10204537   4647051     24.26     25.72
4668.23/795.28	c Finding binary XORs  T:     0.14 s  found:      51
4783.39/846.55	c  N dy  1019    180508    146259    322504   4719105     32356  10129717   4291750     24.64     26.15
4862.41/889.66	c Finding binary XORs  T:     0.14 s  found:      10
4933.46/898.54	c  N dy  1070    192171    144687    320249   4685356     40231  10020227   4799922     24.57     25.90
5038.77/911.70	c  N dy  1141    204544    144646    320249   4685983     29991  10020203   4084012     24.56     26.08
5180.06/929.50	c  N dy  1231    217727    144644    320249   4686540     42825  10020187   4840646     24.80     27.05
5286.34/942.72	c Finding binary XORs  T:     0.14 s  found:      21
5354.07/951.23	c  N dy  1319    231815    144478    319133   4691852     31739   9965945   4101644     24.95     26.75
5414.73/958.84	c  S st  1365    237748    144477    319133   4692190     37581   9965919   4488525     25.11     11.54
5425.12/960.11	c  S st  1365    238250    144477    319133   4692441     38041   9965919   4494018     25.11   no data
5425.92/960.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
5532.18/973.57	c Flit:   406 Blit:   1750 bXBeca:    0 bXProp:   45 Bins:1000242 BRemL:   3915 BRemN:    120 P: 200.1M T: 13.27
5533.66/973.74	c Cleaning up after failed var search:     0.17 s 
5539.27/974.45	c Replacing      130 vars Replaced   375133 lits Time:     0.69 s 
5541.81/974.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5548.04/975.53	c bin-w-bin subsume rem        53226 bins  time:  0.78 s
5587.95/980.58	c subs with bin:    10181  lits-rem:     42764  v-fix:    0  time:  5.04 s
5608.71/983.16	c Subs w/ non-existent bins:    321 l-rem:    328 v-fix:     9 done:   8028 time:  2.58 s
5612.05/983.57	c Removed useless bin:    8612  fixed:     0  props:  20.02M  time:  0.41 s
5651.01/988.41	c lits-rem:      3142  cl-subs:     9373  v-elim:   5410  v-fix:    2  time:  4.83 s
5663.89/990.10	c subs with bin:      568  lits-rem:     14397  v-fix:    0  time:  1.54 s
5672.69/991.14	c lits-rem:     28316  cl-subs:     1252  v-elim:      0  v-fix:    0  time:  0.85 s
5676.56/991.69	c asymm  cl-useful: 65/709/312788 lits-rem:88 time: 0.55
5678.16/991.81	c calculated reachability. Time: 0.01
5678.16/991.82	c  N dy  1365    238250    136610    312788   4344760     31652   9624591   3794472     25.11   no data
5678.96/991.95	c Finding binary XORs  T:     0.13 s  found:       4
5946.55/1088.28	c  N dy  1472    253534    136594    312788   4349990     46601   9624563   4668797     25.32     27.30
6122.16/1110.28	c  N dy  1585    270144    136589    312788   4351074     38653   9624534   4043902     25.51     26.95
6272.23/1129.01	c  N dy  1703    287477    136587    312788   4351691     28794   9624506   3340255     25.74     30.72
6391.18/1143.98	c  F st  1747    306250    136584    312788   4352129     46876   9624505   4367226     25.41     14.14
6394.35/1144.36	c Replacing        4 vars Replaced     7901 lits Time:     0.25 s 
6399.15/1144.90	c Found part       36 vars:     136575 clauses:   3193533 lits size:   9623817
6399.15/1144.90	c Found part       37 vars:          2 clauses:         1 lits size:         2
6399.15/1144.90	c Found parts:          2 time: 0.92 s
6399.15/1144.90	c Solving part 37
6400.83/1145.20	c  N st     0         0         2         0         1         0         2         0   no data   no data
6400.83/1145.20	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
6400.83/1145.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
6401.66/1145.23	c Finding binary XORs  T:     0.03 s  found:       0
6401.66/1145.24	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
6401.66/1145.24	c calculated reachability. Time: 0.00
6401.66/1145.24	c Calc default polars -  time:   0.01 s pos:       0 undec:  482091 neg:       2
6401.66/1145.24	c =========================================================================================
6401.66/1145.24	c types(t): F = full restart, N = normal restart
6401.66/1145.24	c types(t): S = simplification begin/end, E = solution found
6401.66/1145.24	c restart types(rt): st = static, dy = dynamic
6401.66/1145.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6401.66/1145.24	c  B st     0         0         2         0         1         0         2         0   no data   no data
6401.66/1145.24	c  E st     1         0         0         0         1         0         2         0   no data   no data
6401.66/1145.25	c Verified 0 clauses.
6401.66/1145.25	c Verified 0 clauses.
6401.66/1145.25	c Solved part
6401.66/1145.25	c =========================================================================================
6401.66/1145.27	c Coming back to original instance
6401.66/1145.27	c =========================================================================================
6401.66/1145.27	c  N st  1747    306250    136578    312775   4351407     46876   9623815   4366317     25.41     14.14
6567.66/1166.02	c  N dy  1821    326102    136572    312775   4352166     37815   9623808   3780406     25.32     27.45
6729.59/1186.31	c  N dy  1906    346506    136570    312775   4352572     57652   9623807   5032465     25.19     27.87
6818.99/1197.57	c  S st  1958    357375    136570    312775   4353073     38540   9623757   3789586     25.12     19.16
6831.08/1199.09	c  S st  1958    357875    136564    312775   4353134     38973   9623757   3793908     25.12   no data
6832.56/1199.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
6938.71/1212.59	c Flit:   242 Blit:     60 bXBeca:    0 bXProp:   29 Bins:1287952 BRemL:   3522 BRemN:    123 P: 200.2M T: 13.31
6938.71/1212.59	c Cleaning up after failed var search:     0.00 s 
6942.71/1213.09	c Replacing       29 vars Replaced    96313 lits Time:     0.49 s 
6945.22/1213.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6949.91/1213.98	c bin-w-bin subsume rem        20373 bins  time:  0.59 s
6990.61/1219.05	c subs with bin:     7650  lits-rem:     18843  v-fix:    0  time:  5.07 s
7009.76/1221.44	c Subs w/ non-existent bins:   2884 l-rem:   4673 v-fix:     0 done:   9718 time:  2.38 s
7012.94/1221.80	c Removed useless bin:   10280  fixed:     0  props:  20.00M  time:  0.34 s
7028.10/1223.78	c lits-rem:      1101  cl-subs:     4425  v-elim:   1851  v-fix:    0  time:  1.98 s
7041.80/1225.45	c subs with bin:      179  lits-rem:      1231  v-fix:    0  time:  1.53 s
7049.66/1226.51	c lits-rem:     10662  cl-subs:     2286  v-elim:      0  v-fix:    0  time:  0.88 s
7054.45/1227.09	c asymm  cl-useful: 101/722/306661 lits-rem:142 time: 0.58
7056.05/1227.23	c calculated reachability. Time: 0.01
7056.05/1227.24	c  N dy  1958    357875    134382    306661   5283250     36242   9534754   5617919     25.12   no data
7056.85/1227.38	c Finding binary XORs  T:     0.14 s  found:       7
7344.34/1339.21	c  N dy  2100    377879    133766    306661   5297922     55788   9534752   6863512     25.34     32.19
7503.19/1359.15	c  N dy  2124    401359    133766    306661   5298163     47489   9534752   6179858     24.96     26.70
7775.38/1393.27	c  N dy  2276    421445    132190    303547   5010363     34394   9431092   4933839     25.20     39.17
8063.53/1429.37	c  N dy  2453    441490    131216    300200   4721456     53843   9324898   5671907     25.62     35.25
8334.12/1463.22	c  N dy  2620    461917    131204    300200   4722405     41436   9324898   4800289     25.95     27.51
8589.56/1495.20	c  N dy  2784    482061    131192    300200   4723536     61212   9324878   6065953     26.24     27.92
8863.36/1529.55	c  N dy  2954    502142    131165    300200   4724434     47164   9324858   5061472     26.56     28.04
9117.19/1561.35	c  N dy  3098    522300    131148    300200   4725280     66921   9324839   6326064     26.76     28.59
9303.19/1584.67	c  S st  3211    536813    131132    300200   4726080     46086   9324813   4880174     26.95   no data
9316.90/1586.35	c  S st  3211    537313    131132    300200   4726115     46550   9324813   4883876     26.95   no data
9318.34/1586.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
9431.05/1600.64	c Flit:   132 Blit:   3732 bXBeca:    0 bXProp:   88 Bins: 233105 BRemL:  13685 BRemN:     85 P: 200.2M T: 14.08
9432.50/1600.83	c Cleaning up after failed var search:     0.18 s 
9439.84/1601.72	c Replacing       95 vars Replaced   274511 lits Time:     0.88 s 
9442.09/1602.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
9447.79/1602.80	c bin-w-bin subsume rem        27836 bins  time:  0.71 s
9487.58/1607.71	c subs with bin:     8909  lits-rem:     30910  v-fix:    0  time:  4.91 s
9493.97/1608.59	c Subs w/ non-existent bins:    194 l-rem:   2095 v-fix:     0 done:   7509 time:  0.88 s
9496.37/1608.83	c Removed useless bin:     509  fixed:     0  props:  20.02M  time:  0.24 s
9549.86/1615.59	c lits-rem:      2935  cl-subs:    10784  v-elim:   5988  v-fix:    0  time:  6.76 s
9563.41/1617.27	c subs with bin:      627  lits-rem:      6391  v-fix:    0  time:  1.53 s
9575.39/1618.72	c lits-rem:     56730  cl-subs:     2166  v-elim:      0  v-fix:    0  time:  1.20 s
9580.33/1619.38	c asymm  cl-useful: 84/685/282123 lits-rem:270 time: 0.66
9581.77/1619.50	c calculated reachability. Time: 0.01
9581.77/1619.50	c  N dy  3211    537313    121188    282123   3670488     38715   8785802   2939637     26.95   no data
9582.57/1619.64	c Finding binary XORs  T:     0.14 s  found:      16
9825.16/1650.47	c  N dy  3368    557370    121185    282123   3695903     58376   8785800   4221178     27.14     29.00
10045.45/1678.05	c Finding binary XORs  T:     0.14 s  found:      16
10104.52/1685.43	c  N dy  3545    577382    121119    282108   3701609     44678   8784403   3185051     27.47     28.97
10345.59/1715.60	c  N dy  3684    597409    120680    282108   3726192     64206   8784338   4467965     27.68     42.34
10574.69/1744.38	c  N dy  3836    617461    120679    282108   3727266     48222   8784317   3304924     27.87     34.73
10801.39/1772.73	c  N dy  3990    637488    120663    282108   3727859     67924   8784302   4616198     28.06     36.73
11036.06/1802.14	c Finding binary XORs  T:     0.14 s  found:      42
11048.85/1803.78	c  N dy  4144    657578    120656    281038   3625426     50153   8719455   3218242     28.26     45.88
11311.46/1836.61	c  N dy  4306    677638    120655    281038   3626112     69871   8719433   4506572     28.46     31.37
11504.63/1860.80	c  N dy  4431    697680    120653    281038   3626510     50668   8719419   3120406     28.55     34.96
11618.78/1875.14	c Finding binary XORs  T:     0.14 s  found:      18
11740.12/1890.39	c  N dy  4506    726651    120395    280878   3665287     78582   8714251   4824125     28.36     30.92
11933.28/1914.54	c  N dy  4587    746682    120391    280878   3665913     58168   8714249   3531060     28.28     30.05
12175.26/1944.83	c  N dy  4727    766826    120389    280878   3666441     77840   8714248   4726615     28.37     30.72
12416.23/1975.07	c  N dy  4865    786835    120386    280878   3667056     56660   8714230   3510429     28.50     30.12
12484.08/1983.57	c Finding binary XORs  T:     0.14 s  found:      45
12638.95/2002.96	c  S st  5001    805971    118602    280606   3643262     75415   8667603   4748615     28.66   no data
12654.10/2004.90	c  S st  5001    806471    118598    280606   3643299     75876   8667603   4753595     28.66   no data
12655.70/2005.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
12763.59/2018.58	c Flit:    66 Blit:   1740 bXBeca:    0 bXProp:   33 Bins: 127974 BRemL:  27758 BRemN:    271 P: 200.0M T: 13.51
12765.86/2018.84	c Cleaning up after failed var search:     0.26 s 
12776.24/2020.14	c Replacing      170 vars Replaced   356083 lits Time:     1.28 s 
12778.64/2020.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
12785.02/2021.22	c bin-w-bin subsume rem        45149 bins  time:  0.74 s
12823.35/2026.02	c subs with bin:     5838  lits-rem:     25435  v-fix:    0  time:  4.80 s
12828.12/2026.69	c Subs w/ non-existent bins:     14 l-rem:     14 v-fix:     0 done:  11447 time:  0.67 s
12831.32/2027.04	c Removed useless bin:   13325  fixed:     0  props:  20.03M  time:  0.34 s
12885.60/2033.86	c lits-rem:      2524  cl-subs:     9941  v-elim:   5226  v-fix:    0  time:  6.82 s
12898.36/2035.50	c subs with bin:      244  lits-rem:      8136  v-fix:    0  time:  1.41 s
12911.93/2037.10	c lits-rem:     23677  cl-subs:     3169  v-elim:      0  v-fix:    0  time:  1.37 s
12916.72/2037.78	c asymm  cl-useful: 119/493/264373 lits-rem:639 time: 0.68
12917.52/2037.89	c calculated reachability. Time: 0.01
12918.31/2037.90	c  N dy  5001    806471    111413    264372   3424198     61237   8436977   3914625     28.66   no data
12919.11/2038.03	c Finding binary XORs  T:     0.13 s  found:       3
13167.49/2069.19	c  N dy  5173    826558    111406    264372   3436086     44998   8436962   2814114     28.87     49.91
13400.46/2098.39	c  N dy  5332    846611    111405    264372   3436533     64718   8436929   4159058     29.07     31.01
13497.85/2110.50	c Finding binary XORs  T:     0.13 s  found:      15
13600.02/2123.31	c  N dy  5481    866614    111376    264063   3456117     43968   8420005   2559260     29.24     31.43
13774.20/2145.17	c  N dy  5587    886719    110399    264063   3456540     63485   8420005   3690813     29.21     47.13
14012.72/2175.04	c  N dy  5750    906991    110399    264063   3457137     83337   8419999   5047935     29.36     31.01
14246.63/2204.36	c  N dy  5925    927008    110399    264063   3457840     60452   8419993   3617306     29.58     31.60
14448.58/2229.65	c  N dy  6069    947027    110399    264063   3458197     79949   8419949   4891115     29.65     31.84
14644.94/2254.20	c  N dy  6172    967109    110396    264063   3458679     55158   8419943   3077447     29.66     40.42
14826.15/2276.94	c  N dy  6278    987782    110396    264063   3458978     75198   8419908   4296219     29.64     31.76
15058.42/2306.02	c  N dy  6428   1007843    109631    260610   3424648     48522   8350164   2548452     29.78     50.01
15289.13/2334.97	c  N dy  6585   1027930    109631    260610   3425034     68234   8350162   3913651     29.92     39.45
15483.74/2359.33	c Finding binary XORs  T:     0.13 s  found:      85
15508.37/2362.40	c  N dy  6745   1048029    108518    258659   3431848     87577   8312125   5313358     30.06     59.47
15740.25/2391.57	c  N dy  6909   1068076    108506    258659   3435240     61275   8312096   3454937     30.24     68.97
15782.41/2396.91	c  F st  6941   1071876    108506    258659   3435250     65010   8312096   3746847     30.28   no data
15802.35/2399.35	c Replacing      103 vars Replaced   246381 lits Time:     2.34 s 
15971.59/2420.55	c  N dy  7036   1088083    107519    254333   3437815     80670   8287636   4903510     30.36     49.95
16184.73/2447.29	c  N dy  7195   1108161    107380    254333   3438559     52821   8287613   2795966     30.49     75.64
16400.25/2474.29	c  N dy  7365   1128202    107380    254333   3439017     72487   8287578   4238981     30.67     48.66
16597.40/2498.90	c  N dy  7531   1148207    107380    254333   3439425     91951   8287555   5606843     30.80     32.65
16819.42/2526.80	c  N dy  7681   1168244    107380    254333   3439826     64045   8287555   3422000     30.91     36.88
17026.84/2552.77	c  N dy  7838   1188543    107380    254333   3440289     83924   8287500   4766000     31.01     33.30
17200.83/2574.52	c  N dy  7921   1208558    107380    254333   3440587     55648   8287477   2597073     30.94     33.43
17218.40/2576.72	c  S st  7931   1209706    107380    254333   3440665     56778   8287477   2672323     30.95   no data
17231.17/2578.41	c  S st  7931   1210206    107378    254333   3440688     57254   8287477   2677010     30.95   no data
17232.92/2578.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
17325.36/2590.14	c Flit:     0 Blit:   2964 bXBeca:    0 bXProp:   67 Bins:  32310 BRemL:  36659 BRemN:    245 P: 200.1M T: 11.56
17327.76/2590.51	c Cleaning up after failed var search:     0.37 s 
17346.24/2592.79	c Replacing       68 vars Replaced   209409 lits Time:     2.26 s 
17348.51/2593.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
17353.31/2593.66	c bin-w-bin subsume rem        30924 bins  time:  0.56 s
17371.76/2599.00	c subs with bin:     5048  lits-rem:     24551  v-fix:    0  time:  5.34 s
17372.71/2599.41	c Subs w/ non-existent bins:      1 l-rem:      6 v-fix:     0 done:  13399 time:  0.41 s
17373.86/2599.75	c Removed useless bin:   30721  fixed:     0  props:  20.02M  time:  0.34 s
17396.74/2609.13	c lits-rem:      4097  cl-subs:    14864  v-elim:   7737  v-fix:    0  time:  9.38 s
17398.74/2610.15	c subs with bin:      589  lits-rem:      4307  v-fix:    0  time:  0.92 s
17401.36/2611.42	c lits-rem:     52599  cl-subs:     1321  v-elim:      0  v-fix:    0  time:  1.11 s
17402.13/2611.86	c asymm  cl-useful: 77/466/232265 lits-rem:1798 time: 0.44
17402.33/2611.95	c calculated reachability. Time: 0.01
17402.33/2611.95	c  N dy  7931   1210206     96609    232259   3064012     48920   7940558   2160114     30.95   no data
17402.33/2611.95	c Following stats are for *FIRST FINISHED THREAD ONLY*
17402.33/2611.95	c num threads              : 8          
17402.33/2611.95	c restarts                 : 9679       
17402.33/2611.95	c dynamic restarts         : 9649       
17402.33/2611.95	c static restarts          : 30         
17402.33/2611.95	c full restarts            : 4          
17402.33/2611.95	c total simplify time      : 10.35      
17402.33/2611.95	c learnts DL2              : 0          
17402.33/2611.95	c learnts size 2           : 17698789   
17402.33/2611.95	c learnts size 1           : 205346      (42.59     % of vars)
17402.33/2611.95	c filedLit time            : 61.08       (2.79      % time)
17402.33/2611.95	c v-elim SatELite          : 167157      (34.67     % vars)
17402.33/2611.95	c SatELite time            : 77.44       (3.54      % time)
17402.33/2611.95	c v-elim xor               : 0           (0.00      % vars)
17402.33/2611.95	c xor elim time            : 0.80        (0.04      % time)
17402.33/2611.95	c num binary xor trees     : 7257       
17402.33/2611.95	c binxor trees' crown      : 13879       (1.91      leafs/tree)
17402.33/2611.95	c bin xor find time        : 2.94       
17402.33/2611.95	c OTF clause improved      : 27052       (0.02      clauses/conflict)
17402.33/2611.95	c OTF impr. size diff      : 46083       (1.70       lits/clause)
17402.33/2611.95	c OTF cl watch-shrink      : 788287      (0.53      clauses/conflict)
17402.33/2611.95	c OTF cl watch-sh-lit      : 4553742     (5.78       lits/clause)
17402.33/2611.95	c tried to recurMin cls    : 0           (0.00       % of conflicts)
17402.33/2611.95	c updated cache            : 0           (nan        lits/tried recurMin)
17402.33/2611.95	c unit cls recevied        : 18212       (8.87      % of units)
17402.33/2611.95	c unit cls sent            : 9872        (4.81      % of units)
17402.33/2611.95	c bin cls recevied         : 7781214    
17402.33/2611.95	c bin cls sent             : 154726     
17402.33/2611.95	c clauses over max glue    : 0           (0.00      % of all clauses)
17402.33/2611.95	c conflicts                : 1474939     (674.31    / sec)
17402.33/2611.95	c decisions                : 485457606   (0.10      % random)
17402.33/2611.95	c bogo-props               : 34576812576 (15807869.11 / sec)
17402.33/2611.95	c conflict literals        : 93800530    (20.47     % deleted)
17402.33/2611.95	c Memory used              : 10027.30    MB
17402.33/2611.95	c single-thread CPU time   : 2187.32     s
17402.33/2611.95	c all-threads sum CPU time : 17382.53    s
17402.33/2611.95	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-3394820-1306107944/watcher-3394820-1306107944 -o /tmp/evaluation-result-3394820-1306107944/solver-3394820-1306107944 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394820-1306107944.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: 6.95 7.80 7.92 1/519 22083
/proc/meminfo: memFree=13746952/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=92144 CPUtime=0.04 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 413 0 0 0 4 0 0 0 22 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504560 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 23036 353 299 95 0 18018 0
[pid=22083/tid=22084] ppid=22081 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504562 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504556 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 353 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504566 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.111793 s]
/proc/loadavg: 6.95 7.80 7.92 1/519 22083
/proc/meminfo: memFree=13746952/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=92144 CPUtime=0.69 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 420 0 0 0 69 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504153 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 23036 360 302 95 0 18018 0
[pid=22083/tid=22084] ppid=22081 vsize=92144 CPUtime=0.1 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 4 0 0 0 10 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=92144 CPUtime=0.09 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504147 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=92144 CPUtime=0.09 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=92144 CPUtime=0 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=92144 CPUtime=0.09 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=92144 CPUtime=0.1 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=92144 CPUtime=0.08 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 0 0 0 0 8 0 0 0 23 0 8 0 703210853 94355456 360 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504153 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92144

[startup+0.20081 s]
/proc/loadavg: 6.95 7.80 7.92 1/519 22083
/proc/meminfo: memFree=13746952/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=570888 CPUtime=1.11 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 14875 0 0 0 97 14 0 0 17 0 8 0 703210853 584589312 13007 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22083/statm: 142722 13010 337 95 0 137704 0
[pid=22083/tid=22084] ppid=22081 vsize=570888 CPUtime=0.13 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1713 0 0 0 13 0 0 0 17 0 8 0 703210853 584589312 13011 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=570888 CPUtime=0.14 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1918 0 0 0 12 2 0 0 17 0 8 0 703210853 584589312 13014 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=570888 CPUtime=0.15 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 2012 0 0 0 13 2 0 0 17 0 8 0 703210853 584589312 13020 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=570888 CPUtime=0.03 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1782 0 0 0 2 1 0 0 17 0 8 0 703210853 584589312 13021 33554432000 4194304 4580107 140735732208752 18446744073709551615 4512095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=570888 CPUtime=0.13 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1507 0 0 0 12 1 0 0 17 0 8 0 703210853 584589312 13023 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=570888 CPUtime=0.14 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 1797 0 0 0 13 1 0 0 17 0 8 0 703210853 584589312 13024 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=570888 CPUtime=0.14 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 1790 0 0 0 13 1 0 0 18 0 8 0 703210853 584589312 13027 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 570888

[startup+0.300788 s]
/proc/loadavg: 6.95 7.80 7.92 1/519 22083
/proc/meminfo: memFree=13746952/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=587600 CPUtime=1.58 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) D 22081 22083 21873 0 -1 4202496 27880 0 0 0 128 30 0 0 16 0 8 0 703210853 601702400 24109 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510340791 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22083/statm: 146900 24109 337 95 0 141882 0
[pid=22083/tid=22084] ppid=22081 vsize=587600 CPUtime=0.16 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 2506 0 0 0 15 1 0 0 17 0 8 0 703210853 601702400 24109 33554432000 4194304 4580107 140735732208752 18446744073709551615 233509966065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=587600 CPUtime=0.23 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 3736 0 0 0 18 5 0 0 18 0 8 0 703210853 601702400 24109 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=587920 CPUtime=0.23 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) D 22081 22083 21873 0 -1 4202560 3827 0 0 0 17 6 0 0 18 0 8 0 703210853 602030080 24109 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510355370 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=587920 CPUtime=0.06 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 3087 0 0 0 4 2 0 0 16 0 8 0 703210853 602030080 24110 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=587920 CPUtime=0.21 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 3463 0 0 0 18 3 0 0 16 0 8 0 703210853 602030080 24110 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 0 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=587920 CPUtime=0.19 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 3649 0 0 0 17 2 0 0 16 0 8 0 703210853 602030080 24110 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=587920 CPUtime=0.22 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 3335 0 0 0 18 4 0 0 18 0 8 0 703210853 602030080 24110 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 587600

[startup+0.700716 s]
/proc/loadavg: 6.95 7.80 7.92 1/519 22083
/proc/meminfo: memFree=13746952/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=647304 CPUtime=3.39 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 75606 0 0 0 253 86 0 0 15 0 8 0 703210853 662839296 67045 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22083/statm: 161826 67046 337 95 0 156808 0
[pid=22083/tid=22084] ppid=22081 vsize=647304 CPUtime=0.32 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 7979 0 0 0 26 6 0 0 15 0 8 0 703210853 662839296 67048 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=647304 CPUtime=0.5 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 10134 0 0 0 37 13 0 0 18 0 8 0 703210853 662839296 67052 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=647304 CPUtime=0.53 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 10146 0 0 0 37 16 0 0 18 0 8 0 703210853 662839296 67054 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=647304 CPUtime=0.28 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 8863 0 0 0 20 8 0 0 16 0 8 0 703210853 662839296 67055 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=647304 CPUtime=0.45 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 9551 0 0 0 35 10 0 0 16 0 8 0 703210853 662839296 67057 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=647304 CPUtime=0.36 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 9577 0 0 0 29 7 0 0 15 0 8 0 703210853 662839296 67057 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=647304 CPUtime=0.51 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 9193 0 0 0 38 13 0 0 18 0 8 0 703210853 662839296 67058 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 647304

[startup+1.50055 s]
/proc/loadavg: 6.95 7.80 7.92 8/527 22091
/proc/meminfo: memFree=13299132/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=1190860 CPUtime=7.19 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 173201 0 0 0 528 191 0 0 16 0 8 0 703210853 1219440640 155562 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22083/statm: 297715 155564 337 95 0 292697 0
[pid=22083/tid=22084] ppid=22081 vsize=1190860 CPUtime=0.68 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 18859 0 0 0 52 16 0 0 15 0 8 0 703210853 1219440640 155564 33554432000 4194304 4580107 140735732208752 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=1190860 CPUtime=1.1 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 22888 0 0 0 79 31 0 0 17 0 8 0 703210853 1219440640 155566 33554432000 4194304 4580107 140735732208752 18446744073709551615 233509994251 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=1190860 CPUtime=1.12 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 23212 0 0 0 79 33 0 0 17 0 8 0 703210853 1219440640 155572 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=1190860 CPUtime=0.68 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 21008 0 0 0 50 18 0 0 15 0 8 0 703210853 1219440640 155572 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=1190860 CPUtime=0.96 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 22246 0 0 0 72 24 0 0 16 0 8 0 703210853 1219440640 155574 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=1190860 CPUtime=0.74 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 21351 0 0 0 57 17 0 0 16 0 8 0 703210853 1219440640 155574 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=1190860 CPUtime=1.1 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 21308 0 0 0 82 28 0 0 17 0 8 0 703210853 1219440640 155576 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 1190860

[startup+3.10126 s]
/proc/loadavg: 6.95 7.80 7.92 8/527 22091
/proc/meminfo: memFree=13299132/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=1896052 CPUtime=14.75 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 360269 0 0 0 1071 404 0 0 16 0 8 0 703210853 1941557248 324476 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22083/statm: 474013 324477 337 95 0 468995 0
[pid=22083/tid=22084] ppid=22081 vsize=1896052 CPUtime=1.53 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 41709 0 0 0 114 39 0 0 15 0 8 0 703210853 1941557248 324478 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=1896052 CPUtime=2.21 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 48190 0 0 0 155 66 0 0 16 0 8 0 703210853 1941557248 324479 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=1896052 CPUtime=2.24 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 48411 0 0 0 159 65 0 0 16 0 8 0 703210853 1941557248 324480 33554432000 4194304 4580107 140735732208752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=1896052 CPUtime=1.53 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 43915 0 0 0 111 42 0 0 16 0 8 0 703210853 1941557248 324481 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510297403 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=1896052 CPUtime=1.87 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 44703 0 0 0 141 46 0 0 15 0 8 0 703210853 1941557248 324486 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=1896052 CPUtime=1.53 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 43138 0 0 0 116 37 0 0 15 0 8 0 703210853 1941557248 324486 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=1896052 CPUtime=2.22 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 46019 0 0 0 160 62 0 0 16 0 8 0 703210853 1941557248 324486 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 1896052

[startup+6.30066 s]
/proc/loadavg: 7.03 7.80 7.92 9/527 22091
/proc/meminfo: memFree=11355572/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=4209144 CPUtime=32.17 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 775312 0 0 0 2385 832 0 0 16 0 8 0 703210853 4310163456 702967 33554432000 4194304 4580107 140735732208752 18446744073709551615 4511003 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 1052286 702968 345 95 0 1047268 0
[pid=22083/tid=22084] ppid=22081 vsize=4209144 CPUtime=3.47 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 89747 0 0 0 257 90 0 0 16 0 8 0 703210853 4310163456 702968 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510297403 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=4209144 CPUtime=4.69 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 103382 0 0 0 343 126 0 0 17 0 8 0 703210853 4310163456 702970 33554432000 4194304 4580107 140735732208752 18446744073709551615 4501071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=4209144 CPUtime=4.71 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 104135 0 0 0 342 129 0 0 17 0 8 0 703210853 4310163456 702977 33554432000 4194304 4580107 140735732208752 18446744073709551615 4501090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=4209144 CPUtime=3.49 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 93815 0 0 0 261 88 0 0 16 0 8 0 703210853 4310163456 702988 33554432000 4194304 4580107 140735732208752 18446744073709551615 233509994607 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=4209144 CPUtime=3.84 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 93471 0 0 0 290 94 0 0 16 0 8 0 703210853 4310163456 702988 33554432000 4194304 4580107 140735732208752 18446744073709551615 4252984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=4209144 CPUtime=3.55 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 91372 0 0 0 266 89 0 0 16 0 8 0 703210853 4310163456 702991 33554432000 4194304 4580107 140735732208752 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=4209144 CPUtime=4.69 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 100117 0 0 0 348 121 0 0 17 0 8 0 703210853 4310163456 703000 33554432000 4194304 4580107 140735732208752 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/loadavg: 8.10 8.08 7.50 9/527 22172
/proc/meminfo: memFree=4563612/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10141920 CPUtime=17298.2 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5569063 0 0 0 1727833 1990 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2535480 2291031 399 95 0 2530462 0
[pid=22083/tid=22084] ppid=22081 vsize=10141920 CPUtime=2172.4 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 678155 0 0 0 217004 236 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10141920 CPUtime=2149.5 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 774723 0 0 0 214671 279 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10141920 CPUtime=2154.52 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 957202 0 0 0 215147 305 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10141920 CPUtime=2168.99 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 583095 0 0 0 216683 216 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4406380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10141920 CPUtime=2170.47 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 581558 0 0 0 216829 218 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10141920 CPUtime=2164.34 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597523 0 0 0 216206 228 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10141920 CPUtime=2169.94 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 721542 0 0 0 216726 268 0 0 25 0 8 0 703210853 10385326080 2291031 33554432000 4194304 4580107 140735732208752 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17298.2
Current children cumulated vsize (KiB) 10141920

[startup+2599.5 s]
/proc/loadavg: 7.46 7.94 7.46 4/527 22173
/proc/meminfo: memFree=4530616/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17373.3 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5577387 0 0 0 1735334 1992 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 4479093 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2297013 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2185.08 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 678278 0 0 0 218272 236 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2177.14 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 217485 229 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2297013 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17373.3
Current children cumulated vsize (KiB) 10267952

[startup+2605.9 s]
/proc/loadavg: 7.02 7.84 7.43 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17390.4 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5578634 0 0 0 1737044 1992 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2298260 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2189.36 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 678278 0 0 0 218700 236 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2183.56 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 218127 229 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499479595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2298260 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17390.4
Current children cumulated vsize (KiB) 10267952

[startup+2609.1 s]
/proc/loadavg: 7.02 7.84 7.43 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17396.7 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5578642 0 0 0 1737682 1992 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 4298994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2298268 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2189.36 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 678278 0 0 0 218700 236 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2186.74 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 218445 229 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499479595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17396.7
Current children cumulated vsize (KiB) 10267952

[startup+2610.7 s]
/proc/loadavg: 6.62 7.74 7.40 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17399.9 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5578642 0 0 0 1738001 1992 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 4397332 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2298268 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2189.36 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 678278 0 0 0 218700 236 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2188.34 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 218605 229 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499479748 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17399.9
Current children cumulated vsize (KiB) 10267952

[startup+2611.52 s]
/proc/loadavg: 6.62 7.74 7.40 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17401.6 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5578642 0 0 0 1738165 1992 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2298268 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2189.36 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 678278 0 0 0 218700 236 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2189.16 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 218687 229 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499479748 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2298268 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17401.6
Current children cumulated vsize (KiB) 10267952

[startup+2611.9 s]
/proc/loadavg: 6.62 7.74 7.40 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=10267952 CPUtime=17402.3 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) R 22081 22083 21873 0 -1 4202496 5578648 0 0 0 1738241 1992 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 4479045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 2566988 2298274 391 95 0 2561970 0
[pid=22083/tid=22084] ppid=22081 vsize=10267952 CPUtime=2189.36 cores=0-7
/proc/22083/task/22084/stat : 22084 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 678278 0 0 0 218700 236 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22085] ppid=22081 vsize=10267952 CPUtime=2156.9 cores=0-7
/proc/22083/task/22085/stat : 22085 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 779905 0 0 0 215410 280 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 4 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10267952 CPUtime=2161.54 cores=0-7
/proc/22083/task/22086/stat : 22086 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 957612 0 0 0 215848 306 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 5 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10267952 CPUtime=2177.3 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 583118 0 0 0 217514 216 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 2 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10267952 CPUtime=2177.49 cores=0-7
/proc/22083/task/22088/stat : 22088 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 581558 0 0 0 217531 218 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 3 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10267952 CPUtime=2189.54 cores=0-7
/proc/22083/task/22089/stat : 22089 (strangenight2-m) R 22081 22083 21873 0 -1 4202560 597951 0 0 0 218725 229 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499479595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10267952 CPUtime=2176.96 cores=0-7
/proc/22083/task/22090/stat : 22090 (strangenight2-m) S 22081 22083 21873 0 -1 4202560 721542 0 0 0 217428 268 0 0 25 0 8 0 703210853 10514382848 2298274 33554432000 4194304 4580107 140735732208752 18446744073709551615 47253499504180 0 0 4096 2 18446604461228936256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17402.3
Current children cumulated vsize (KiB) 10267952

[startup+2612.3 s]
/proc/loadavg: 6.62 7.74 7.40 3/527 22173
/proc/meminfo: memFree=4534080/32951124 swapFree=67023164/67111528
[pid=22083] ppid=22081 vsize=0 CPUtime=17402.8 cores=0-7
/proc/22083/stat : 22083 (strangenight2-m) Z 22081 22083 21873 0 -1 4203548 5578651 0 0 0 1738253 2026 0 0 25 0 2 0 703210853 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22083/statm: 0 0 0 0 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=0 CPUtime=2177.64 cores=0-7
/proc/22083/task/22087/stat : 22087 (strangenight2-m) R 22081 22083 21873 0 -1 4203588 583118 0 0 0 217514 250 0 0 18 0 2 0 703210853 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) 17402.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2612.38
CPU time (s): 17402.9
CPU user time (s): 17382.5
CPU system time (s): 20.3449
CPU usage (%): 666.17
Max. virtual memory (cumulated for all children) (KiB): 10516092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17382.5
system time used= 20.3449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5578651
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= 1279704
involuntary context switches= 123253

runsolver used 12.1302 second user time and 33.215 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-23 01:45:50
IDJOB=3394820
IDBENCH=85008
IDSOLVER=1878
FILE ID=node145/3394820-1306107944
RUNJOBID= node145-1306102929-21887
PBS_JOBID= 13387993
Free space on /tmp= 73160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394820-1306107944/watcher-3394820-1306107944 -o /tmp/evaluation-result-3394820-1306107944/solver-3394820-1306107944 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394820-1306107944.cnf

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

MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=450124110

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13747232 kB
Buffers:        239024 kB
Cached:        6968088 kB
SwapCached:       4796 kB
Active:       11201632 kB
Inactive:      7712704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13747232 kB
SwapTotal:    67111528 kB
SwapFree:     67023164 kB
Dirty:          218880 kB
Writeback:           0 kB
AnonPages:    11702284 kB
Mapped:          38144 kB
Slab:           155816 kB
PageTables:      65356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153197236 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= 73152 MiB
End job on node145 at 2011-05-23 02:29:22