Trace number 3321029

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-mtUNSAT 10135.9 1289.54

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark808.69
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.63/0.10	c This is CryptoMiniSat 3.0.0
0.63/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.63/0.10	c Reading file 'HOME/instance-3321029-1304322189.cnf'
0.63/0.10	c -- header says num vars:         153834
0.63/0.10	c -- header says num clauses:      459965
2.97/0.67	c -- clauses added:            0 learnts,       459965 normals,            0 xors
2.97/0.67	c -- vars added     153834
2.97/0.67	c Parsing time:  0.21 s
2.97/0.67	c  N st     0         0    153834    153321    306642         0   1073247         0   no data   no data
4.88/0.97	c asymm  cl-useful: 0/19999/153312 lits-rem:0 time: 0.30
55.10/7.25	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:  890 Bins:      0 BRemL:      0 BRemN:      0 P: 153.8M T:  6.27
55.90/7.31	c Replacing      890 vars Replaced    11442 lits Time:     0.05 s 
55.90/7.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.69/7.41	c bin-w-bin subsume rem            0 bins  time:  0.03 s
56.69/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
59.88/7.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 122725 time:  0.38 s
61.45/8.07	c Removed useless bin:      54  fixed:     0  props:  20.00M  time:  0.20 s
96.63/12.56	c lits-rem:         0  cl-subs:        0  v-elim:  50976  v-fix:    0  time:  4.18 s
97.42/12.60	c Finding binary XORs  T:     0.03 s  found:       0
97.42/12.64	c Finding non-binary XORs:     0.02 s (found:      22, avg size: 3.0)
97.42/12.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
97.42/12.66	c calculated reachability. Time: 0.00
97.42/12.67	c Calc default polars -  time:   0.01 s pos:     916 undec:   51882 neg:  101036
97.42/12.67	c =========================================================================================
97.42/12.67	c types(t): F = full restart, N = normal restart
97.42/12.67	c types(t): S = simplification begin/end, E = solution found
97.42/12.67	c restart types(rt): st = static, dy = dynamic
97.42/12.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.42/12.67	c  B st     0         0    101952    104194    250845         0    872786         0   no data   no data
142.18/18.21	c  N dy    15      4036    101952    104194    251046      3807    872786    164592     21.97     23.17
188.66/32.28	c  N dy    42      8041    101952    104194    251493      7667    872786    461415     27.63     36.01
194.31/34.96	c  N dy    71     12139    101952    104194    251556     11628    872786   1039827     38.14     69.22
274.31/55.68	c  N dy   108     16699    101952    104194    252301     16032    872786   1982045     54.23     61.06
312.72/60.44	c  N dy   145     20729    101952    104194    252689     10322    872786    548787     70.38    118.55
342.25/64.16	c  N dy   167     24800    101952    104194    252995     14283    872786   1396610     72.42     85.02
344.66/64.45	c  F st   169     25001    101952    104194    252995     14479    872786   1461021     73.14    202.04
391.87/70.32	c  N dy   175     30005    101952    104194    253006     19337    872786   3641216     73.14   no data
391.87/70.32	c  S st   175     30005    101952    104194    253006     19337    872786   3641216     73.14   no data
395.01/70.74	c  S st   175     30505    101952    104194    253020     19823    872786   3671627     73.14   no data
395.01/70.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
422.19/74.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins: 125776 BRemL:  10476 BRemN:      0 P: 25.4M T:  3.40
423.79/74.38	c Replacing        9 vars Replaced    19758 lits Time:     0.20 s 
424.59/74.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
424.59/74.46	c bin-w-bin subsume rem          457 bins  time:  0.04 s
426.19/74.65	c subs with bin:      193  lits-rem:         4  v-fix:    0  time:  0.19 s
427.03/74.80	c Subs w/ non-existent bins:      0 l-rem:   1106 v-fix:     0 done: 101943 time:  0.15 s
428.58/74.90	c Removed useless bin:      38  fixed:     0  props:   5.63M  time:  0.10 s
441.37/76.53	c lits-rem:         0  cl-subs:        5  v-elim:  67962  v-fix:    0  time:  1.54 s
455.75/78.39	c subs with bin:       58  lits-rem:      4157  v-fix:    0  time:  1.81 s
463.75/79.31	c lits-rem:      4015  cl-subs:      850  v-elim:      0  v-fix:    0  time:  0.89 s
463.75/79.31	c Added XOR as norm:22
466.15/79.65	c asymm  cl-useful: 583/2481/108951 lits-rem:588 time: 0.33
466.15/79.66	c calculated reachability. Time: 0.00
466.15/79.66	c  N dy   175     30505     33981    108951    175147     10096    882495   1100136     73.14   no data
468.54/79.96	c Finding binary XORs  T:     0.02 s  found:       0
494.02/83.18	c  N dy   198     34592     33981    108951    175306     14040    882495   1919547     73.79    162.05
514.85/85.71	c  N dy   211     38724     33980    108951    181094     18032    882495   2446878     72.25     77.35
522.01/86.69	c Finding binary XORs  T:     0.02 s  found:       0
537.71/88.63	c  N dy   229     43439     33980    108950    181111     12169    882486    954014     70.58     74.47
549.74/90.15	c  S st   244     45759     33980    108950    183087     14453    882486   1386818     70.72     66.70
552.10/90.42	c  S st   244     46259     33980    108950    183092     14944    882486   1411899     70.72   no data
552.10/90.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
569.68/92.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  33312 BRemL:  32432 BRemN:     12 P: 14.3M T:  2.19
569.68/92.67	c Replacing        1 vars Replaced       30 lits Time:     0.03 s 
570.47/92.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
570.47/92.73	c bin-w-bin subsume rem          644 bins  time:  0.02 s
572.08/92.95	c subs with bin:     3821  lits-rem:         4  v-fix:    0  time:  0.22 s
572.88/93.06	c Subs w/ non-existent bins:    918 l-rem:  31732 v-fix:     0 done:  33979 time:  0.11 s
573.68/93.11	c Removed useless bin:      28  fixed:     0  props:   2.27M  time:  0.05 s
578.42/93.76	c lits-rem:         0  cl-subs:       48  v-elim:  21829  v-fix:    0  time:  0.59 s
590.41/95.26	c subs with bin:       42  lits-rem:      3287  v-fix:    0  time:  1.48 s
591.21/95.39	c lits-rem:       549  cl-subs:      845  v-elim:      0  v-fix:    0  time:  0.10 s
592.01/95.44	c vivif2 --  cl tried   105417 cl shrink    11387 lits rem      11391 time: 0.06
592.01/95.47	c vivif2 --  cl tried    10720 cl shrink     2798 lits rem      44050 time: 0.03
595.20/95.82	c asymm  cl-useful: 59/4992/104010 lits-rem:115 time: 0.35
595.20/95.84	c calculated reachability. Time: 0.01
595.20/95.84	c  N dy   244     46259     12150    104010    128289     10685    838980    613660     70.72   no data
595.20/95.87	c Finding binary XORs  T:     0.03 s  found:       0
623.19/99.34	c  N dy   253     51279     12150    104010    128594     15531    838980   1781330     67.19     78.23
649.57/102.64	c  N dy   272     57291     12150    104010    128609     21419    838980   2990678     64.89     69.03
680.74/106.50	c  N dy   286     61329     12150    104010    130773     25384    838980   4164395     64.04     67.46
703.11/109.36	c  N dy   305     65853     12149    104010    131173     15792    838980   1040225     63.09     69.62
705.51/109.62	c Finding binary XORs  T:     0.03 s  found:       0
724.70/112.07	c  S st   321     69388     12149    104009    131197     19216    838965   1952323     62.64     48.91
727.09/112.30	c  S st   321     69890     12149    104009    131205     19713    838965   1978127     62.64   no data
727.09/112.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
742.29/114.30	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  19230 BRemL:  10621 BRemN:      0 P: 13.8M T:  1.98
743.13/114.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
743.13/114.37	c bin-w-bin subsume rem         1180 bins  time:  0.02 s
744.68/114.59	c subs with bin:       96  lits-rem:         0  v-fix:    0  time:  0.22 s
745.48/114.65	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:  12148 time:  0.07 s
745.48/114.68	c Removed useless bin:      10  fixed:     0  props:   1.47M  time:  0.03 s
746.28/114.79	c lits-rem:         0  cl-subs:        2  v-elim:     45  v-fix:    0  time:  0.10 s
761.52/116.63	c subs with bin:       38  lits-rem:       868  v-fix:    0  time:  1.77 s
770.31/117.71	c lits-rem:      9806  cl-subs:      820  v-elim:      0  v-fix:    0  time:  1.04 s
770.31/117.77	c vivif2 --  cl tried   103806 cl shrink       12 lits rem         12 time: 0.06
771.05/117.86	c vivif2 --  cl tried    17847 cl shrink     3179 lits rem      91546 time: 0.09
774.24/118.24	c asymm  cl-useful: 149/6756/103806 lits-rem:392 time: 0.39
774.24/118.26	c calculated reachability. Time: 0.01
774.24/118.26	c  N dy   321     69890     12103    103793    138244     17806    838025   1495252     62.64   no data
774.24/118.29	c Finding binary XORs  T:     0.03 s  found:       0
797.43/121.12	c  N dy   338     74373     12103    103793    138273     22169    838024   2445731     61.84     65.28
825.40/124.67	c  N dy   360     79202     12102    103793    141714     26847    838024   3479243     61.48     65.08
844.60/127.07	c  F st   364     87500     12101    103793    141720     35003    838024   4097487     56.74      8.61
845.39/127.15	c  N st   364     87500     12101    103790    141608     32843    837872   3684444     56.74      8.61
845.39/127.19	c Finding binary XORs  T:     0.03 s  found:       2
866.22/129.78	c  N dy   374     93169     12101    103790    143376     21819    837872   2787112     56.99     63.39
886.95/132.33	c  N dy   401    100016     12101    103790    143417     28460    837872   3900382     57.02     63.99
922.14/136.71	c  S st   421    104835     12100    103790    143482     33187    837872   5331982     57.08     28.24
923.74/136.97	c  S st   421    105337     12100    103790    143484     33686    837872   5376997     57.08   no data
924.54/137.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
940.51/139.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  28152 BRemL:   7862 BRemN:     18 P: 16.7M T:  2.04
941.31/139.11	c Replacing        2 vars Replaced      454 lits Time:     0.07 s 
941.31/139.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
941.31/139.18	c bin-w-bin subsume rem          473 bins  time:  0.02 s
944.51/139.50	c subs with bin:        3  lits-rem:         5  v-fix:    0  time:  0.32 s
944.51/139.57	c Subs w/ non-existent bins:    101 l-rem:      0 v-fix:     0 done:  12098 time:  0.07 s
944.51/139.60	c Removed useless bin:      10  fixed:     0  props:   1.43M  time:  0.03 s
946.16/139.71	c lits-rem:         0  cl-subs:        2  v-elim:     33  v-fix:    0  time:  0.11 s
962.10/141.76	c subs with bin:        1  lits-rem:        10  v-fix:    0  time:  1.81 s
1018.05/148.76	c lits-rem:     56961  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  6.96 s
1018.85/148.83	c vivif2 --  cl tried   103511 cl shrink        5 lits rem          5 time: 0.06
1021.25/149.17	c vivif2 --  cl tried    30915 cl shrink    10885 lits rem     649584 time: 0.34
1025.31/149.65	c asymm  cl-useful: 138/3604/103511 lits-rem:233 time: 0.48
1025.31/149.67	c calculated reachability. Time: 0.01
1025.31/149.67	c  N dy   421    105337     12065    103511    163252     30873    839034   4073096     57.08   no data
1026.05/149.71	c Finding binary XORs  T:     0.03 s  found:       0
1063.62/154.44	c  N dy   442    112143     12063    103511    164375     37536    839034   5894705     56.32     59.90
1117.19/161.19	c  N dy   471    119556     12061    103511    165489     25173    839034   2780066     55.53     60.09
1183.59/169.43	c Finding binary XORs  T:     0.03 s  found:      12
1183.59/169.46	c  N dy   496    127274     12059    103502    165257     31951    838497   5309725     55.04     58.47
1231.49/175.47	c  N dy   540    135472     12057    103502    165446     39942    838497   7272965     55.07     60.55
1285.87/182.26	c  N dy   584    144215     12057    103502    165496     26905    838497   2937457     55.38    172.60
1355.41/190.97	c  N dy   626    153439     12056    103502    165591     35984    838497   5664612     55.63     71.75
1379.38/193.93	c  S st   638    158005     12055    103502    165623     40446    838497   6757798     55.26     17.30
1380.99/194.16	c  S st   638    158505     12055    103502    165623     40946    838497   6789887     55.26   no data
1380.99/194.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1398.58/196.38	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   2209 BRemL:   5062 BRemN:     13 P: 20.8M T:  2.18
1400.18/196.58	c Replacing       14 vars Replaced    19378 lits Time:     0.20 s 
1400.97/196.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1400.97/196.65	c bin-w-bin subsume rem          348 bins  time:  0.02 s
1403.42/196.95	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  0.30 s
1404.16/197.03	c Subs w/ non-existent bins:    178 l-rem:      0 v-fix:     0 done:  12040 time:  0.07 s
1404.16/197.06	c Removed useless bin:      11  fixed:     0  props:   1.46M  time:  0.03 s
1404.97/197.18	c lits-rem:         4  cl-subs:       98  v-elim:     53  v-fix:    0  time:  0.12 s
1420.20/199.10	c subs with bin:      158  lits-rem:      8120  v-fix:    0  time:  1.76 s
1459.33/203.98	c lits-rem:     39100  cl-subs:     1735  v-elim:      0  v-fix:    0  time:  4.85 s
1460.13/204.05	c vivif2 --  cl tried   103050 cl shrink        6 lits rem          6 time: 0.07
1462.53/204.33	c vivif2 --  cl tried    33049 cl shrink    11233 lits rem     347153 time: 0.28
1464.98/204.69	c asymm  cl-useful: 43/2052/103050 lits-rem:72 time: 0.36
1465.73/204.71	c calculated reachability. Time: 0.01
1465.73/204.71	c  N dy   638    158505     11987    103050    161819     32983    842274   3310941     55.26   no data
1465.73/204.74	c Finding binary XORs  T:     0.03 s  found:       0
1540.87/214.15	c  N dy   671    168765     11983    103050    163987     22561    842274   1339014     54.66     58.62
1583.24/219.41	c Finding binary XORs  T:     0.03 s  found:       6
1603.24/221.97	c  N dy   707    179627     11979    103038    164654     32938    841910   3792386     54.10    133.29
1683.17/231.92	c  N dy   746    191095     11976    103038    164806     44175    841910   6709528     53.54     75.75
1754.36/240.86	c  N dy   796    203409     11975    103038    164929     32887    841910   3466960     53.49     57.12
1835.86/251.09	c  N dy   872    216461     11965    103038    166157     45672    841910   6755302     54.35     71.36
1882.22/256.84	c Finding binary XORs  T:     0.03 s  found:      10
1923.80/262.09	c  N dy   944    230359     11962    103003    165761     33121    840870   3337138     54.86     67.56
1973.37/268.29	c  S st   979    237758     11961    103003    165844     40403    840870   5454950     54.99   no data
1976.56/268.60	c  S st   979    238259     11961    103003    165847     40900    840870   5514937     54.99   no data
1976.56/268.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1993.34/270.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   2280 BRemL:   2223 BRemN:     22 P: 21.9M T:  2.08
1994.15/270.83	c Replacing       18 vars Replaced     7195 lits Time:     0.12 s 
1994.15/270.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1994.95/270.90	c bin-w-bin subsume rem         1199 bins  time:  0.02 s
1997.34/271.20	c subs with bin:        8  lits-rem:        19  v-fix:    0  time:  0.30 s
1997.34/271.27	c Subs w/ non-existent bins:    186 l-rem:      0 v-fix:     0 done:  11943 time:  0.07 s
1998.14/271.30	c Removed useless bin:      20  fixed:     0  props:   1.45M  time:  0.03 s
1998.95/271.43	c lits-rem:         0  cl-subs:      535  v-elim:    139  v-fix:    0  time:  0.13 s
2014.94/273.40	c subs with bin:       58  lits-rem:      1392  v-fix:    0  time:  1.84 s
2043.71/277.01	c lits-rem:     41556  cl-subs:     1378  v-elim:      0  v-fix:    0  time:  3.57 s
2043.71/277.08	c vivif2 --  cl tried   102031 cl shrink        9 lits rem          9 time: 0.07
2046.10/277.31	c vivif2 --  cl tried    34452 cl shrink     8929 lits rem     322995 time: 0.24
2048.50/277.69	c asymm  cl-useful: 95/2387/102031 lits-rem:210 time: 0.38
2049.31/277.71	c calculated reachability. Time: 0.01
2049.31/277.71	c  N dy   979    238259     11804    102031    163333     34347    866347   2930198     54.99   no data
2092.47/283.13	c Finding binary XORs  T:     0.03 s  found:       2
2134.82/288.49	c  N dy  1076    253645     11802    102029    163481     24768    866276   1634915     55.90     59.94
2238.79/301.48	c  N dy  1149    270446     11796    102029    163606     41261    866276   6033421     55.81     59.60
2316.29/311.19	c  N dy  1244    288128     11791    102029    164376     32286    866276   2826538     56.68     59.71
2404.23/322.10	c  F st  1329    306254     11789    102029    164474     50055    866276   6981812     56.89   no data
2405.07/322.22	c Replacing        2 vars Replaced     1745 lits Time:     0.08 s 
2411.42/323.09	c  N st  1331    306879     11787    102009    164068     50169    865890   7106385     56.89   no data
2425.81/324.86	c Finding binary XORs  T:     0.03 s  found:       8
2528.98/337.77	c  N dy  1403    330404     11782    102007    164293     45100    865869   4945381     56.70     63.04
2601.67/346.80	c Finding binary XORs  T:     0.03 s  found:       1
2621.66/349.39	c  N dy  1484    350643     11780    101984    167973     34128    865200   2244066     56.76     63.17
2649.64/352.83	c  S st  1526    357390     11779    101984    170207     40745    865200   3873595     57.07     22.84
2651.28/353.08	c  S st  1526    357890     11777    101984    170207     41241    865200   3896203     57.07   no data
2652.09/353.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2669.67/355.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   2081 BRemL:   1988 BRemN:     31 P: 24.2M T:  2.21
2670.42/355.46	c Replacing       12 vars Replaced    10423 lits Time:     0.14 s 
2671.22/355.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2671.22/355.53	c bin-w-bin subsume rem          729 bins  time:  0.02 s
2673.63/355.85	c subs with bin:       34  lits-rem:         0  v-fix:    0  time:  0.32 s
2674.43/355.93	c Subs w/ non-existent bins:    234 l-rem:      0 v-fix:     0 done:  11765 time:  0.08 s
2674.43/355.96	c Removed useless bin:      58  fixed:     0  props:   1.40M  time:  0.03 s
2675.23/356.09	c lits-rem:         3  cl-subs:      467  v-elim:    109  v-fix:    0  time:  0.14 s
2692.01/358.16	c subs with bin:      115  lits-rem:      6574  v-fix:    0  time:  1.93 s
2716.79/361.20	c lits-rem:     42337  cl-subs:     1551  v-elim:      0  v-fix:    0  time:  3.01 s
2716.79/361.27	c vivif2 --  cl tried   101157 cl shrink        4 lits rem          4 time: 0.07
2719.20/361.53	c vivif2 --  cl tried    38187 cl shrink    10774 lits rem     334417 time: 0.26
2722.44/361.94	c asymm  cl-useful: 72/2388/101157 lits-rem:163 time: 0.41
2722.44/361.96	c calculated reachability. Time: 0.01
2722.44/361.96	c  N dy  1526    357890     11656    101157    169159     38070    896472   2939940     57.07   no data
2740.78/364.29	c Finding binary XORs  T:     0.03 s  found:       0
2848.70/377.79	c  N dy  1625    377932     11646    101157    169938     57682    896472   8085521     57.25     88.62
2927.04/387.60	c Finding binary XORs  T:     0.03 s  found:       8
2985.44/394.84	c  N dy  1723    399390     11642    101139    171256     48409    896059   6569532     57.15     61.36
3100.57/409.23	c  N dy  1804    419417     11637    101139    171593     36774    896059   2661563     57.00     61.63
3210.03/422.90	c  N dy  1910    439951     11630    101139    171876     56848    896059   7659621     57.16     60.85
3296.36/433.74	c  N dy  1980    461115     11624    101139    172138     45468    896059   3794924     56.62     61.05
3396.29/446.23	c  N dy  2066    481218     11618    101139    172288     65141    896059   8194411     56.64     60.13
3444.25/452.23	c Finding binary XORs  T:     0.03 s  found:      17
3496.27/458.76	c  N dy  2186    501314     11617    101099    172452     50727    895037   5423718     57.01     60.01
3603.32/472.13	c  N dy  2287    521894     11614    101099    172682     70943    895037  10457621     57.25     60.31
3679.27/481.69	c  S st  2371    536835     11610    101099    172846     51498    895037   5693442     57.49     15.63
3681.66/481.99	c  S st  2371    537337     11609    101099    172848     51995    895037   5746305     57.49   no data
3682.46/482.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3700.05/484.25	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   2104 BRemL:   1676 BRemN:     30 P: 28.0M T:  2.22
3701.65/484.42	c Replacing       33 vars Replaced    16524 lits Time:     0.17 s 
3701.65/484.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3702.45/484.50	c bin-w-bin subsume rem         1454 bins  time:  0.02 s
3704.86/484.80	c subs with bin:       48  lits-rem:         8  v-fix:    0  time:  0.31 s
3704.86/484.88	c Subs w/ non-existent bins:    148 l-rem:      7 v-fix:     0 done:  11574 time:  0.07 s
3705.66/484.91	c Removed useless bin:      59  fixed:     0  props:   1.39M  time:  0.03 s
3706.49/485.07	c lits-rem:         1  cl-subs:      634  v-elim:    151  v-fix:    0  time:  0.16 s
3722.45/487.09	c subs with bin:        1  lits-rem:        31  v-fix:    0  time:  1.81 s
3760.80/491.82	c lits-rem:     49445  cl-subs:     1377  v-elim:      0  v-fix:    0  time:  4.69 s
3760.80/491.89	c vivif2 --  cl tried   100135 cl shrink       11 lits rem         11 time: 0.08
3764.01/492.28	c vivif2 --  cl tried    46314 cl shrink    13905 lits rem     698628 time: 0.38
3767.21/492.68	c asymm  cl-useful: 37/2291/100134 lits-rem:70 time: 0.40
3767.21/492.70	c calculated reachability. Time: 0.01
3767.21/492.70	c  N dy  2371    537337     11423    100134    169051     46189    928917   4071535     57.49   no data
3768.05/492.73	c Finding binary XORs  T:     0.03 s  found:       0
3824.74/499.90	c Finding binary XORs  T:     0.03 s  found:       2
3887.89/507.77	c  N dy  2456    557360     11415    100121    179035     64441    928828   8169020     57.29     73.86
4011.78/523.27	c  N dy  2553    577457     11412    100121    179243     52448    928828   6168878     57.24     60.39
4147.68/540.25	c  N dy  2640    597495     11409    100121    179524     72224    928828  12230951     57.27     61.12
4246.01/552.50	c  N dy  2711    617498     11406    100121    179704     55512    928828   5397095     57.00     62.73
4339.59/564.29	c Finding binary XORs  T:     0.03 s  found:      12
4362.72/567.12	c  N dy  2811    638459     11403    100098    182108     73344    927881   9975284     57.01     61.93
4469.85/580.59	c  N dy  2919    658574     11398    100098    182354     58440    927881   6420402     57.07     61.70
4553.78/591.01	c Finding binary XORs  T:     0.03 s  found:       6
4610.55/598.13	c  N dy  3020    679640     11390    100085    183399     78770    927290  11753720     57.04     62.11
4716.86/611.46	c Finding binary XORs  T:     0.03 s  found:      11
4723.25/612.29	c  N dy  3140    699679     11388     99931    181363     60050    925513   6590078     57.21     60.34
4849.60/628.08	c  N dy  3261    719798     11385     99931    181883     79848    925513  12442413     57.53     60.88
4970.27/643.16	c  N dy  3357    740207     11381     99931    182162     61070    925513   6382685     57.46     61.59
5080.58/656.95	c  N dy  3442    761240     11379     99931    182399     81827    925513  11571215     57.34     60.95
5220.47/674.49	c  N dy  3533    781689     11376     99931    182623     61820    925513   6953418     57.34     61.64
5227.71/675.38	c Finding binary XORs  T:     0.03 s  found:      13
5345.98/690.15	c  N dy  3623    803320     11365     99901    180610     82082    924011  11917360     57.25     63.59
5362.76/692.28	c  S st  3639    806005     11365     99901    180659     84686    924011  12551882     57.26   no data
5365.96/692.62	c  S st  3639    806506     11365     99901    180659     85185    924011  12622981     57.26   no data
5365.96/692.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
5386.80/695.21	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   3069 BRemL:   2802 BRemN:     43 P: 36.1M T:  2.54
5390.75/695.72	c Replacing       47 vars Replaced    63219 lits Time:     0.51 s 
5390.75/695.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5391.54/695.80	c bin-w-bin subsume rem         1598 bins  time:  0.03 s
5393.94/696.11	c subs with bin:      170  lits-rem:        24  v-fix:    0  time:  0.31 s
5393.94/696.19	c Subs w/ non-existent bins:    156 l-rem:    108 v-fix:     0 done:  11315 time:  0.08 s
5394.78/696.21	c Removed useless bin:      58  fixed:     0  props:   1.24M  time:  0.03 s
5396.33/696.47	c lits-rem:         0  cl-subs:     1159  v-elim:    231  v-fix:    0  time:  0.25 s
5416.33/698.94	c subs with bin:       37  lits-rem:       742  v-fix:    0  time:  2.03 s
5508.26/710.42	c lits-rem:     24543  cl-subs:     3606  v-elim:      0  v-fix:    0  time: 11.43 s
5509.10/710.50	c vivif2 --  cl tried    98199 cl shrink       12 lits rem         12 time: 0.08
5515.45/711.33	c vivif2 --  cl tried    72137 cl shrink    32164 lits rem    1455040 time: 0.81
5520.25/711.95	c asymm  cl-useful: 105/1464/98199 lits-rem:383 time: 0.62
5520.25/711.97	c calculated reachability. Time: 0.01
5520.25/711.97	c  N dy  3639    806506     11084     98162    177917     71749    983382   7334380     57.26   no data
5521.05/712.01	c Finding binary XORs  T:     0.03 s  found:       0
5629.75/725.67	c  N dy  3718    827011     11076     98162    180174     57442    983382   4496658     57.03     61.00
5678.51/731.74	c Finding binary XORs  T:     0.04 s  found:      18
5741.66/739.61	c  N dy  3805    847041     11072     98142    173920     70214    981861   8607394     57.03    159.46
5852.83/753.56	c  N dy  3896    867063     11065     98142    174126     54121    981861   4154538     57.04     61.07
5961.49/767.17	c  N dy  3999    887306     11063     98142    174278     74047    981861   9079680     57.18     60.30
6099.78/784.46	c  N dy  4138    907307     11062     98142    174455     50985    981861   2777701     57.69     91.43
6207.69/797.96	c  N dy  4246    927462     11061     98142    174617     70722    981861   7700917     57.92     62.32
6323.60/812.40	c  N dy  4319    947495     11058     98142    174846     90401    981861  12753667     57.86     62.05
6443.52/827.40	c  N dy  4435    967531     11055     98142    175106     66168    981861   6345872     58.08     62.13
6443.52/827.48	c Finding binary XORs  T:     0.04 s  found:      24
6546.68/840.35	c  N dy  4534    987814     11054     98105    170972     85065    979738  11037401     58.26     61.62
6570.60/843.36	c Finding binary XORs  T:     0.04 s  found:       3
6667.34/855.44	c  N dy  4668   1007914     11047     98095    174350     59787    979560   4508254     58.71    169.53
6768.06/868.06	c  N dy  4763   1027926     11045     98095    174489     79326    979560   8658144     58.79     63.01
6885.56/882.70	c  N dy  4862   1048189     11043     98095    174668     99166    979560  13647611     58.95     62.06
6989.49/895.79	c  N dy  4975   1068214     11041     98095    174794     73159    979560   6544230     59.06     91.63
7011.07/898.44	c  F st  4993   1071885     11041     98095    174827     76767    979560   7576815     59.08   no data
7013.53/898.75	c Replacing       45 vars Replaced    38762 lits Time:     0.27 s 
7053.45/903.72	c Finding binary XORs  T:     0.04 s  found:      19
7119.04/911.91	c  N dy  5060   1088232     10992     98055    179935     91890    977606  12085800     59.16     87.68
7245.27/927.73	c  N dy  5178   1109511     10990     98055    180116     66161    977606   5231174     59.35     66.32
7281.23/932.21	c Finding binary XORs  T:     0.04 s  found:       8
7361.98/942.40	c  N dy  5262   1129906     10987     98047    179917     86055    976824  10079888     59.36     68.91
7467.47/955.52	c  N dy  5354   1149910     10978     98047    180080    105683    976824  14941259     59.44     63.47
7576.96/969.26	c  N dy  5449   1171373     10975     98047    180183     78928    976824   7370669     59.46     63.37
7660.11/979.64	c Finding binary XORs  T:     0.04 s  found:      34
7688.08/983.15	c  N dy  5546   1191537     10967     98010    169916     96582    973927  11337583     59.51     62.74
7796.79/996.73	c  S st  5637   1209759     10957     98010    171016     67465    973927   4494624     59.56   no data
7799.18/997.02	c  S st  5637   1210260     10957     98010    171016     67965    973927   4525721     59.56   no data
7799.18/997.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
7818.37/999.45	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   19 Bins:   2422 BRemL:   4000 BRemN:     88 P: 34.4M T:  2.39
7819.97/999.61	c Replacing       80 vars Replaced    21264 lits Time:     0.16 s 
7819.97/999.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7819.97/999.69	c bin-w-bin subsume rem         3116 bins  time:  0.02 s
7822.41/999.92	c subs with bin:      166  lits-rem:        66  v-fix:    0  time:  0.24 s
7823.15/1000.00	c Subs w/ non-existent bins:    121 l-rem:    350 v-fix:     0 done:  10876 time:  0.07 s
7823.15/1000.02	c Removed useless bin:      98  fixed:     0  props:   1.07M  time:  0.02 s
7825.56/1000.33	c lits-rem:         0  cl-subs:     2611  v-elim:    435  v-fix:    0  time:  0.31 s
7842.35/1002.46	c subs with bin:      282  lits-rem:      5392  v-fix:    0  time:  2.00 s
7870.32/1005.97	c lits-rem:      8822  cl-subs:     2359  v-elim:      0  v-fix:    0  time:  3.48 s
7871.12/1006.06	c vivif2 --  cl tried    94649 cl shrink      165 lits rem        167 time: 0.09
7873.52/1006.35	c vivif2 --  cl tried    57618 cl shrink    15280 lits rem     332779 time: 0.29
7878.32/1006.90	c asymm  cl-useful: 131/3501/94646 lits-rem:406 time: 0.55
7878.32/1006.92	c calculated reachability. Time: 0.01
7878.32/1006.92	c  N dy  5637   1210260     10441     94615    158441     57346   1062908   2818464     59.56   no data
7878.32/1006.96	c Finding binary XORs  T:     0.04 s  found:       0
7983.03/1020.07	c  N dy  5702   1230995     10422     94615    159154     77699   1062908   7894984     59.36     62.98
8097.34/1034.33	c  N dy  5786   1253857     10415     94615    159306    100092   1062908  12316511     59.23     63.00
8193.27/1046.30	c  N dy  5882   1274805     10408     94615    159402     71911   1062908   5734896     59.20     64.10
8193.27/1046.39	c Finding binary XORs  T:     0.03 s  found:      54
8278.84/1057.01	c  N dy  5980   1294874     10401     94534    147370     89982   1057589   9113065     59.18     63.18
8378.72/1069.52	c  N dy  6077   1314979     10396     94534    147524     60388   1057589   2975752     59.20     64.16
8462.63/1080.10	c  N dy  6161   1335049     10392     94534    147622     79986   1057589   6486439     59.11     63.63
8493.79/1083.90	c Finding binary XORs  T:     0.03 s  found:      24
8555.36/1091.69	c  N dy  6240   1355131     10381     94475    144187     97296   1054007   9632530     59.03     70.61
8654.49/1104.03	c  N dy  6341   1375612     10368     94475    144308     68401   1054007   4068273     59.06     62.68
8758.40/1117.05	c  N dy  6444   1396699     10361     94475    144433     89129   1054007   8455541     59.12     63.89
8851.19/1128.67	c  N dy  6527   1416714     10350     94475    144559    108748   1054007  12194353     59.14    248.16
8945.46/1140.47	c  N dy  6620   1437497     10341     94475    144661     76744   1054007   5072017     59.14     63.04
9017.45/1149.44	c Finding binary XORs  T:     0.03 s  found:      88
9019.80/1149.74	c Replacing      166 vars Replaced    93737 lits Time:     0.30 s 
9046.99/1153.16	c  N dy  6714   1457925     10166     93765    121114     91772   1037086   7953955     59.11     66.29
9141.37/1164.99	c  N dy  6801   1478098     10155     93765    121922    111534   1037083  11330491     59.09     62.22
9174.10/1169.01	c Finding binary XORs  T:     0.03 s  found:      24
9233.26/1176.41	c  N dy  6901   1498155     10149     93277    118980     79468   1029789   5519897     59.18     62.48
9329.98/1188.55	c  N dy  7006   1518158     10130     93277    119243     99149   1029789   9254571     59.26     82.91
9370.00/1193.53	c Finding binary XORs  T:     0.03 s  found:      28
9435.49/1201.75	c  N dy  7091   1538991     10111     92682    120220     64246   1020457   2454903     59.27     63.11
9439.53/1202.29	c Finding binary XORs  T:     0.03 s  found:      24
9517.84/1212.01	c  N dy  7169   1559628     10098     92059    117180     83722   1007988   6246482     59.22     63.16
9600.17/1222.35	c  N dy  7263   1579889     10086     92059    117304    103589   1007988  10025509     59.27     65.01
9624.20/1225.32	c Finding binary XORs  T:     0.03 s  found:      60
9628.15/1225.80	c Replacing      136 vars Replaced   130394 lits Time:     0.49 s 
9702.50/1235.17	c  N dy  7316   1601032      9917     90684    101759     66091    989326   2888042     59.17     63.33
9750.46/1241.19	c Finding binary XORs  T:     0.03 s  found:      57
9792.09/1246.32	c  N dy  7381   1621196      9814     89398    106480     81746    970097   6422924     59.11     62.25
9842.39/1252.61	c Finding binary XORs  T:     0.03 s  found:     149
9844.84/1252.99	c Replacing      206 vars Replaced   142022 lits Time:     0.38 s 
9894.35/1259.11	c  N dy  7450   1641861      9596     83884     98151     94181    904967   8898397     59.04     64.83
9939.12/1264.72	c Finding binary XORs  T:     0.03 s  found:      26
9977.49/1269.58	c  N dy  7502   1661892      9581     83129     95085     60784    892880   2555719     58.88     64.31
10035.85/1276.83	c Finding binary XORs  T:     0.03 s  found:     466
10037.49/1277.05	c Replacing      492 vars Replaced   163841 lits Time:     0.23 s 
10071.03/1281.22	c  N dy  7563   1683405      8963     75764     81849     74018    807107   5404867     58.76     62.10
10109.25/1286.09	c Finding binary XORs  T:     0.03 s  found:    3167
10110.84/1286.22	c Replacing     3167 vars Replaced   266348 lits Time:     0.13 s 
10135.53/1289.31	c Following stats are for *FIRST FINISHED THREAD ONLY*
10135.53/1289.31	c num threads              : 8          
10135.53/1289.31	c restarts                 : 5457       
10135.53/1289.32	c dynamic restarts         : 5427       
10135.53/1289.32	c static restarts          : 30         
10135.53/1289.32	c full restarts            : 4          
10135.53/1289.32	c total simplify time      : 6.12       
10135.53/1289.32	c learnts DL2              : 0          
10135.53/1289.32	c learnts size 2           : 2879597    
10135.53/1289.32	c learnts size 1           : 2612        (1.70      % of vars)
10135.53/1289.32	c filedLit time            : 17.97       (1.42      % time)
10135.53/1289.32	c v-elim SatELite          : 142288      (92.49     % vars)
10135.53/1289.32	c SatELite time            : 25.52       (2.02      % time)
10135.53/1289.32	c v-elim xor               : 0           (0.00      % vars)
10135.53/1289.32	c xor elim time            : 0.21        (0.02      % time)
10135.53/1289.32	c num binary xor trees     : 2322       
10135.53/1289.32	c binxor trees' crown      : 3655        (1.57      leafs/tree)
10135.53/1289.32	c bin xor find time        : 1.82       
10135.53/1289.32	c OTF clause improved      : 24113       (0.02      clauses/conflict)
10135.53/1289.32	c OTF impr. size diff      : 95017       (3.94       lits/clause)
10135.53/1289.32	c OTF cl watch-shrink      : 1257515     (0.85      clauses/conflict)
10135.53/1289.32	c OTF cl watch-sh-lit      : 47306244    (37.62      lits/clause)
10135.53/1289.32	c tried to recurMin cls    : 740178      (50.28      % of conflicts)
10135.53/1289.32	c updated cache            : 61628       (0.08       lits/tried recurMin)
10135.53/1289.32	c unit cls recevied        : 492         (18.84     % of units)
10135.53/1289.32	c unit cls sent            : 685         (26.23     % of units)
10135.53/1289.32	c bin cls recevied         : 2467636    
10135.53/1289.32	c bin cls sent             : 66497      
10135.53/1289.32	c clauses over max glue    : 0           (0.00      % of all clauses)
10135.53/1289.32	c conflicts                : 1472006     (1164.53   / sec)
10135.53/1289.32	c decisions                : 7153310     (1.89      % random)
10135.53/1289.32	c bogo-props               : 30802959513 (24368758.37 / sec)
10135.53/1289.32	c conflict literals        : 331372127   (39.79     % deleted)
10135.53/1289.32	c Memory used              : 5362.67     MB
10135.53/1289.32	c single-thread CPU time   : 1264.03     s
10135.53/1289.32	c all-threads sum CPU time : 10121.10    s
10135.53/1289.32	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321029-1304322189/watcher-3321029-1304322189 -o /tmp/evaluation-result-3321029-1304322189/solver-3321029-1304322189 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321029-1304322189.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: 0.72 0.15 0.05 2/194 12632
/proc/meminfo: memFree=23132876/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=92188 CPUtime=0.01 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 8 0 543817077 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110892 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12632/statm: 23047 352 299 106 0 18018 0
[pid=12632/tid=12633] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817078 94400512 352 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0926279 s]
/proc/loadavg: 0.72 0.15 0.05 2/194 12632
/proc/meminfo: memFree=23132876/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=92188 CPUtime=0.57 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 420 0 0 0 57 0 0 0 21 0 8 0 543817077 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110493 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 23047 359 303 106 0 18018 0
[pid=12632/tid=12633] ppid=12630 vsize=92188 CPUtime=0.08 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 5 0 0 0 8 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=92188 CPUtime=0.08 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 8 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=92188 CPUtime=0.08 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=92188 CPUtime=0.08 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110483 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=92188 CPUtime=0.07 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 7 0 0 0 22 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=92188 CPUtime=0.07 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110483 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 92188

[startup+0.100627 s]
/proc/loadavg: 0.72 0.15 0.05 2/194 12632
/proc/meminfo: memFree=23132876/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=92188 CPUtime=0.63 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 420 0 0 0 63 0 0 0 21 0 8 0 543817077 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 23047 359 303 106 0 18018 0
[pid=12632/tid=12633] ppid=12630 vsize=92188 CPUtime=0.09 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 5 0 0 0 9 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=92188 CPUtime=0 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=92188 CPUtime=0.09 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 9 0 0 0 21 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=92188 CPUtime=0.09 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=92188 CPUtime=0.09 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=92188 CPUtime=0.08 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 0 0 0 0 8 0 0 0 22 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110489 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=92188 CPUtime=0.07 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 8 0 543817078 94400512 359 33554432000 4194304 4627427 140733318331424 18446744073709551615 46944394110493 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 92188

[startup+0.304715 s]
/proc/loadavg: 0.72 0.15 0.05 2/194 12632
/proc/meminfo: memFree=23132876/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=632444 CPUtime=1.65 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) S 12630 12632 12572 0 -1 4202496 49801 0 0 0 131 34 0 0 17 0 8 0 543817077 647622656 41505 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12632/statm: 158111 41539 339 106 0 153082 0
[pid=12632/tid=12633] ppid=12630 vsize=632444 CPUtime=0.22 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 7791 0 0 0 18 4 0 0 17 0 8 0 543817078 647622656 41595 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 18446604447194535040 0 0 -1 6 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=632444 CPUtime=0.1 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) S 12630 12632 12572 0 -1 4202560 4955 0 0 0 8 2 0 0 17 0 8 0 543817078 647622656 41703 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 18446604447194535040 0 0 -1 5 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=632444 CPUtime=0.23 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) S 12630 12632 12572 0 -1 4202560 6563 0 0 0 20 3 0 0 16 0 8 0 543817078 647622656 41705 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 18446604447194535040 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=632444 CPUtime=0.21 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 6021 0 0 0 18 3 0 0 17 0 8 0 543817078 647622656 41806 33554432000 4194304 4627427 140733318331424 18446744073709551615 4316463 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=632444 CPUtime=0.21 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 5708 0 0 0 17 4 0 0 17 0 8 0 543817078 647622656 41925 33554432000 4194304 4627427 140733318331424 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=632444 CPUtime=0.2 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) S 12630 12632 12572 0 -1 4202560 6079 0 0 0 15 5 0 0 17 0 8 0 543817078 647622656 41932 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 18446604447194535040 0 0 -1 1 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=632444 CPUtime=0.22 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) S 12630 12632 12572 0 -1 4202560 6522 0 0 0 16 6 0 0 17 0 8 0 543817078 647622656 41966 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 632444

[startup+0.700527 s]
/proc/loadavg: 0.72 0.15 0.05 2/194 12632
/proc/meminfo: memFree=23132876/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=866124 CPUtime=3.48 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 152911 0 0 0 272 76 0 0 17 0 8 0 543817077 886910976 121050 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 216531 121058 356 106 0 211502 0
[pid=12632/tid=12633] ppid=12630 vsize=866124 CPUtime=0.38 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 14599 0 0 0 29 9 0 0 16 0 8 0 543817078 886910976 121059 33554432000 4194304 4627427 140733318331424 18446744073709551615 4360301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=866124 CPUtime=0.34 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 18498 0 0 0 25 9 0 0 17 0 8 0 543817078 886910976 121061 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=866124 CPUtime=0.53 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20613 0 0 0 44 9 0 0 16 0 8 0 543817078 886910976 121061 33554432000 4194304 4627427 140733318331424 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=866124 CPUtime=0.43 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19323 0 0 0 35 8 0 0 17 0 8 0 543817078 886910976 121064 33554432000 4194304 4627427 140733318331424 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=866124 CPUtime=0.44 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19653 0 0 0 35 9 0 0 17 0 8 0 543817078 886910976 121068 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=866124 CPUtime=0.48 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20692 0 0 0 38 10 0 0 17 0 8 0 543817078 886910976 121069 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=866124 CPUtime=0.4 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19905 0 0 0 31 9 0 0 17 0 8 0 543817078 886910976 121073 33554432000 4194304 4627427 140733318331424 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 866124

[startup+1.50039 s]
/proc/loadavg: 0.72 0.15 0.05 9/202 12640
/proc/meminfo: memFree=22627636/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=874304 CPUtime=9.53 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 160882 0 0 0 875 78 0 0 18 0 8 0 543817077 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 218576 126962 367 106 0 213547 0
[pid=12632/tid=12633] ppid=12630 vsize=874304 CPUtime=1.18 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20318 0 0 0 108 10 0 0 17 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=874304 CPUtime=0.93 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 18499 0 0 0 84 9 0 0 17 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=874304 CPUtime=1.33 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20617 0 0 0 124 9 0 0 16 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=874304 CPUtime=1.09 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19515 0 0 0 101 8 0 0 17 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4299707 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=874304 CPUtime=1.24 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20458 0 0 0 115 9 0 0 18 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=874304 CPUtime=1.28 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 21445 0 0 0 118 10 0 0 18 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=874304 CPUtime=1.2 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20232 0 0 0 111 9 0 0 17 0 8 0 543817078 895287296 126962 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 874304

[startup+3.1011 s]
/proc/loadavg: 1.54 0.33 0.11 10/202 12640
/proc/meminfo: memFree=22625156/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=874304 CPUtime=22.33 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 161539 0 0 0 2155 78 0 0 20 0 8 0 543817077 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 218576 127083 367 106 0 213547 0
[pid=12632/tid=12633] ppid=12630 vsize=874304 CPUtime=2.78 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20320 0 0 0 268 10 0 0 20 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=874304 CPUtime=2.52 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 18501 0 0 0 243 9 0 0 20 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=874304 CPUtime=2.93 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20618 0 0 0 284 9 0 0 18 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=874304 CPUtime=2.69 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19516 0 0 0 261 8 0 0 19 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=874304 CPUtime=2.84 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20459 0 0 0 275 9 0 0 20 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=874304 CPUtime=2.88 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 21446 0 0 0 278 10 0 0 20 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=874304 CPUtime=2.81 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20875 0 0 0 271 10 0 0 20 0 8 0 543817078 895287296 127083 33554432000 4194304 4627427 140733318331424 18446744073709551615 4305758 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.33
Current children cumulated vsize (KiB) 874304

[startup+6.30053 s]
/proc/loadavg: 1.54 0.33 0.11 9/202 12640
/proc/meminfo: memFree=22624172/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=875504 CPUtime=47.91 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 162314 0 0 0 4713 78 0 0 25 0 8 0 543817077 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 218876 127472 367 106 0 213847 0
[pid=12632/tid=12633] ppid=12630 vsize=875504 CPUtime=5.98 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20320 0 0 0 588 10 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=875504 CPUtime=5.71 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 18503 0 0 0 562 9 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=875504 CPUtime=6.13 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20619 0 0 0 604 9 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=875504 CPUtime=5.89 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 19517 0 0 0 581 8 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=875504 CPUtime=6.04 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 20459 0 0 0 595 9 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=875504 CPUtime=6.08 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 21447 0 0 0 598 10 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=875504 CPUtime=6.01 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 21644 0 0 0 591 10 0 0 25 0 8 0 543817078 896516096 127472 33554432000 4194304 4627427 140733318331424 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/loadavg: 8.08 8.00 5.98 9/202 12683
/proc/meminfo: memFree=18697180/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5452248 CPUtime=9855.99 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4239078 0 0 0 984170 1429 0 0 21 0 8 0 543817077 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1363062 1108021 391 106 0 1358033 0
[pid=12632/tid=12633] ppid=12630 vsize=5452248 CPUtime=1231.06 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 550668 0 0 0 122917 189 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5452248 CPUtime=1232.88 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 570148 0 0 0 123109 179 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5452248 CPUtime=1227.67 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 505029 0 0 0 122589 178 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5452248 CPUtime=1233.02 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 559678 0 0 0 123113 189 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5452248 CPUtime=1231.7 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 570005 0 0 0 122991 179 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5452248 CPUtime=1237.11 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 590267 0 0 0 123510 201 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321918 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5452248 CPUtime=1230.45 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 355743 0 0 0 122925 120 0 0 25 0 8 0 543817078 5583101952 1108021 33554432000 4194304 4627427 140733318331424 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9855.99
Current children cumulated vsize (KiB) 5452248

[startup+1267.1 s]
/proc/loadavg: 8.13 8.02 6.02 9/202 12683
/proc/meminfo: memFree=18647944/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5631140 CPUtime=9958.35 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4269974 0 0 0 994395 1440 0 0 25 0 8 0 543817077 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1407785 1119971 391 106 0 1402756 0
[pid=12632/tid=12633] ppid=12630 vsize=5631140 CPUtime=1243.87 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 554418 0 0 0 124196 191 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5631140 CPUtime=1245.69 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 574203 0 0 0 124388 181 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5631140 CPUtime=1240.4 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 511409 0 0 0 123860 180 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5631140 CPUtime=1245.82 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 563484 0 0 0 124392 190 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5631140 CPUtime=1244.51 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 576288 0 0 0 124270 181 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5631140 CPUtime=1249.91 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 591914 0 0 0 124790 201 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5631140 CPUtime=1243.25 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 357246 0 0 0 124205 120 0 0 25 0 8 0 543817078 5766287360 1119971 33554432000 4194304 4627427 140733318331424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9958.35
Current children cumulated vsize (KiB) 5631140

[startup+1279.9 s]
/proc/loadavg: 8.11 8.02 6.04 9/202 12685
/proc/meminfo: memFree=18589296/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5903500 CPUtime=10060.6 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4298972 0 0 0 1004612 1452 0 0 25 0 8 0 543817077 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1475875 1135555 391 106 0 1470846 0
[pid=12632/tid=12633] ppid=12630 vsize=5903500 CPUtime=1256.67 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 557187 0 0 0 125474 193 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5903500 CPUtime=1258.48 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 576904 0 0 0 125666 182 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5903500 CPUtime=1253.13 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 514987 0 0 0 125132 181 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5903500 CPUtime=1258.62 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 566449 0 0 0 125671 191 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5903500 CPUtime=1257.3 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 579754 0 0 0 125547 183 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5903500 CPUtime=1262.7 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 595302 0 0 0 126068 202 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5903500 CPUtime=1256.05 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 360282 0 0 0 125483 122 0 0 25 0 8 0 543817078 6045184000 1135555 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10060.6
Current children cumulated vsize (KiB) 5903500

[startup+1286.3 s]
/proc/loadavg: 8.10 8.02 6.05 10/203 12687
/proc/meminfo: memFree=18585680/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5626312 CPUtime=10111.6 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4308352 0 0 0 1009707 1456 0 0 25 0 8 0 543817077 5761343488 1126132 33554432000 4194304 4627427 140733318331424 18446744073709551615 4333350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1406578 1126132 391 106 0 1401549 0
[pid=12632/tid=12633] ppid=12630 vsize=5626312 CPUtime=1263.06 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 558786 0 0 0 126113 193 0 0 25 0 8 0 543817078 5761343488 1126132 33554432000 4194304 4627427 140733318331424 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5626312 CPUtime=1264.87 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 578078 0 0 0 126305 182 0 0 25 0 8 0 543817078 5761343488 1126132 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5626312 CPUtime=1259.49 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 516491 0 0 0 125767 182 0 0 25 0 8 0 543817078 5761343488 1126133 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5626312 CPUtime=1265.02 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 566605 0 0 0 126310 192 0 0 25 0 8 0 543817078 5761343488 1126133 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5626312 CPUtime=1263.7 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 581296 0 0 0 126186 184 0 0 25 0 8 0 543817078 5761343488 1126133 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5626312 CPUtime=1269.11 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 595988 0 0 0 126708 203 0 0 25 0 8 0 543817078 5761343488 1126133 33554432000 4194304 4627427 140733318331424 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5626312 CPUtime=1262.31 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 361417 0 0 0 126108 123 0 0 25 0 8 0 543817078 5761343488 1126133 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10111.6
Current children cumulated vsize (KiB) 5626312

[startup+1287.9 s]
/proc/loadavg: 8.17 8.03 6.07 10/203 12687
/proc/meminfo: memFree=18605024/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5626312 CPUtime=10124.4 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4310049 0 0 0 1010984 1457 0 0 25 0 8 0 543817077 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1406578 1127829 391 106 0 1401549 0
[pid=12632/tid=12633] ppid=12630 vsize=5626312 CPUtime=1264.67 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 559048 0 0 0 126273 194 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4338466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5626312 CPUtime=1266.44 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 578078 0 0 0 126462 182 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5626312 CPUtime=1261.08 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 516764 0 0 0 125926 182 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5626312 CPUtime=1266.62 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 566605 0 0 0 126470 192 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5626312 CPUtime=1265.3 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 581645 0 0 0 126346 184 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5626312 CPUtime=1270.71 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 595988 0 0 0 126868 203 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5626312 CPUtime=1263.91 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 361817 0 0 0 126268 123 0 0 25 0 8 0 543817078 5761343488 1127829 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10124.4
Current children cumulated vsize (KiB) 5626312

[startup+1288.7 s]
/proc/loadavg: 8.17 8.03 6.07 10/203 12687
/proc/meminfo: memFree=18643952/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5491368 CPUtime=10130.8 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4312766 0 0 0 1011619 1457 0 0 25 0 8 0 543817077 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4322040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1372842 1117879 391 106 0 1367813 0
[pid=12632/tid=12633] ppid=12630 vsize=5491368 CPUtime=1265.47 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 560977 0 0 0 126353 194 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5491368 CPUtime=1267.24 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 578078 0 0 0 126542 182 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5491368 CPUtime=1261.88 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 516945 0 0 0 126006 182 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5491368 CPUtime=1267.42 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 566605 0 0 0 126550 192 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5491368 CPUtime=1266.1 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 581840 0 0 0 126426 184 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4321474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5491368 CPUtime=1271.51 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 595988 0 0 0 126948 203 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5491368 CPUtime=1264.67 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 361961 0 0 0 126344 123 0 0 25 0 8 0 543817078 5623160832 1117879 33554432000 4194304 4627427 140733318331424 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10130.8
Current children cumulated vsize (KiB) 5491368

[startup+1289.1 s]
/proc/loadavg: 8.17 8.03 6.07 10/203 12687
/proc/meminfo: memFree=18638248/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=5491368 CPUtime=10134 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) R 12630 12632 12572 0 -1 4202496 4313346 0 0 0 1011941 1458 0 0 25 0 8 0 543817077 5623160832 1118459 33554432000 4194304 4627427 140733318331424 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 1372842 1118459 391 106 0 1367813 0
[pid=12632/tid=12633] ppid=12630 vsize=5491368 CPUtime=1265.87 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 561100 0 0 0 126393 194 0 0 25 0 8 0 543817078 5623160832 1118459 33554432000 4194304 4627427 140733318331424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12632/tid=12634] ppid=12630 vsize=5491368 CPUtime=1267.65 cores=0-7
/proc/12632/task/12634/stat : 12634 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 578078 0 0 0 126583 182 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12632/tid=12635] ppid=12630 vsize=5491368 CPUtime=1262.28 cores=0-7
/proc/12632/task/12635/stat : 12635 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 517021 0 0 0 126046 182 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12632/tid=12636] ppid=12630 vsize=5491368 CPUtime=1267.83 cores=0-7
/proc/12632/task/12636/stat : 12636 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 566605 0 0 0 126591 192 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4515644 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12632/tid=12637] ppid=12630 vsize=5491368 CPUtime=1266.51 cores=0-7
/proc/12632/task/12637/stat : 12637 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 581990 0 0 0 126467 184 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12632/tid=12638] ppid=12630 vsize=5491368 CPUtime=1271.92 cores=0-7
/proc/12632/task/12638/stat : 12638 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 595988 0 0 0 126989 203 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12632/tid=12639] ppid=12630 vsize=5491368 CPUtime=1265.06 cores=0-7
/proc/12632/task/12639/stat : 12639 (strangenight2-m) R 12630 12632 12572 0 -1 4202560 362062 0 0 0 126383 123 0 0 25 0 8 0 543817078 5623160832 1118460 33554432000 4194304 4627427 140733318331424 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10134
Current children cumulated vsize (KiB) 5491368

[startup+1289.5 s]
/proc/loadavg: 8.17 8.03 6.07 10/203 12687
/proc/meminfo: memFree=18638248/32951124 swapFree=67111412/67111528
[pid=12632] ppid=12630 vsize=0 CPUtime=10135.9 cores=0-7
/proc/12632/stat : 12632 (strangenight2-m) Z 12630 12632 12572 0 -1 4203548 4313700 0 0 0 1012110 1476 0 0 25 0 2 0 543817077 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12632/statm: 0 0 0 0 0 0 0
[pid=12632/tid=12633] ppid=12630 vsize=0 CPUtime=1266.26 cores=0-7
/proc/12632/task/12633/stat : 12633 (strangenight2-m) R 12630 12632 12572 0 -1 4203588 561155 0 0 0 126414 212 0 0 25 0 2 0 543817078 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10135.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1289.54
CPU time (s): 10135.9
CPU user time (s): 10121.1
CPU system time (s): 14.8047
CPU usage (%): 786.009
Max. virtual memory (cumulated for all children) (KiB): 5903500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10121.1
system time used= 14.8047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4313700
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= 213194
involuntary context switches= 99481

runsolver used 2.08968 second user time and 5.13722 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-02 09:43:09
IDJOB=3321029
IDBENCH=70760
IDSOLVER=1709
FILE ID=node132/3321029-1304322189
RUNJOBID= node132-1304322184-12586
PBS_JOBID= 13176794
Free space on /tmp= 73368 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321029-1304322189/watcher-3321029-1304322189 -o /tmp/evaluation-result-3321029-1304322189/solver-3321029-1304322189 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321029-1304322189.cnf

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1461704344

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23133032 kB
Buffers:        709612 kB
Cached:        5345020 kB
SwapCached:        112 kB
Active:        5030292 kB
Inactive:      4293032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23133032 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           13820 kB
Writeback:           4 kB
AnonPages:     3269108 kB
Mapped:          18584 kB
Slab:           420828 kB
PageTables:      11264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3500988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73364 MiB
End job on node132 at 2011-05-02 10:04:39