Trace number 4390874

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.09 2495.84

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark90.5587
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.89	
20.32/12.98	  Instance
20.32/12.98	    name=instance-4390874-1568386825, framework=COP, bounds=-infty..+infty
20.32/12.98	
20.32/12.98	  Loading variables...
21.27/13.22	  Loading constraints...
33.26/18.95	
33.26/18.95	  Domains
33.26/18.95	    nTypes=51, nValues=277826, sizes=[1#2,2#2107,11#1809,12#1...143#27,144#90,147#132,151#746]
33.26/18.95	  Variables
33.26/18.95	    count=6028, degrees=[2#5428,3#1,4#2,5#12...15#85,16#118,17#63,1810#1]
33.26/18.95	  Objectives
33.26/18.95	    way=min, type=SumWeightedLE
33.26/18.95	  Constraints
33.26/18.95	    count=3866, nSpecific=1858, arities=[2#247,3#1809,6#1809,3619#1]
33.26/18.95	    distribution=[CtrExtensionCT-Table#1809,CtrIntension#2008,EQ#26,NE#22,SumWeightedLE#1]
33.26/18.95	    tables=[300#2,308#1,312#1,316#1...7204#2,7208#1,7216#1,7220#1], nTotalTuples=6791636
33.26/18.95	    nExtStructures=(1809,shared:0), nIntStructures=(176,shared:1832)
33.26/18.95	    wck=17.101, cpu=16.057, mem=1961M115
34.39/19.86	  Solver SolverBacktrack being built...
34.39/19.86	
34.56/19.93	
34.56/19.93	  Solver
34.56/19.93	    guaranteedGAC=false
34.56/19.93	    wck=18.083, cpu=17.037, mem=2767M189
39.76/24.62	
39.76/24.62	  Preprocessing
39.76/24.62	    filters=1809, revisions=(2633,useless=2633), ccks=50765892, nACremovedValues=15112, nTotalRemovedValues=15112, inconcistency=false
39.76/24.62	    wck=4.688, cpu=21.729, mem=2767M189
39.76/24.62	
41.78/25.92	    num=0, depth=733..733, filters=6895, revisions=(7746,useless=5156), ccks=59629363, wck=5.99, mem=2767M189
41.78/25.92	    decisions=753, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
41.78/25.92	    nFilterCalls=9945, avgTableProportion=0.9995876707655832, avgTableSize=3698.5808949220714
41.78/25.92	    
42.51/26.52	    num=1, depth=749..749, filters=11990, revisions=(12831,useless=7658), ccks=62605057, wck=6.585, mem=2767M189
42.51/26.52	    decisions=1524, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
42.51/26.52	    nFilterCalls=18111, avgTableProportion=0.9995869279341508, avgTableSize=3692.324057202805
42.51/26.52	    
43.04/27.09	    num=2, depth=741..741, filters=17095, revisions=(17933,useless=10161), ccks=65612210, wck=7.157, mem=2767M189
43.04/27.09	    decisions=2289, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
43.04/27.09	    nFilterCalls=26285, avgTableProportion=0.9995865671414994, avgTableSize=3688.7708198592354
43.04/27.09	    
43.68/27.65	    num=3, depth=739..739, filters=22181, revisions=(23026,useless=12672), ccks=68508984, wck=7.716, mem=2767M189
43.68/27.65	    decisions=3054, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
43.68/27.65	    nFilterCalls=34442, avgTableProportion=0.999586386616531, avgTableSize=3687.3187968178386
43.68/27.65	    
44.18/28.19	    num=4, depth=731..731, filters=27271, revisions=(28140,useless=15197), ccks=71242018, wck=8.259, mem=2805M568
44.18/28.19	    decisions=3813, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
44.18/28.19	    nFilterCalls=42598, avgTableProportion=0.999586308161064, avgTableSize=3686.7850133809097
44.18/28.19	    
44.92/28.81	    num=5, depth=726..726, filters=32384, revisions=(33294,useless=17738), ccks=74900733, wck=8.879, mem=2824M783
44.92/28.81	    decisions=4571, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
44.92/28.81	    nFilterCalls=50770, avgTableProportion=0.9995862896193206, avgTableSize=3686.3944061453612
44.92/28.81	    
45.42/29.37	    num=6, depth=729..729, filters=37488, revisions=(38410,useless=20253), ccks=77775489, wck=9.434, mem=2824M783
45.42/29.37	    decisions=5334, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
45.42/29.37	    nFilterCalls=58936, avgTableProportion=0.9995862771097397, avgTableSize=3686.604112936066
45.42/29.37	    
46.11/29.92	    num=7, depth=730..730, filters=42593, revisions=(43526,useless=22766), ccks=80675468, wck=9.992, mem=2824M783
46.11/29.92	    decisions=6102, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
46.11/29.92	    nFilterCalls=67103, avgTableProportion=0.9995862319859525, avgTableSize=3686.007346914445
46.11/29.92	    
46.60/30.47	    num=8, depth=726..726, filters=47708, revisions=(48671,useless=25298), ccks=83502706, wck=10.542, mem=2824M783
46.60/30.47	    decisions=6870, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
46.60/30.47	    nFilterCalls=75276, avgTableProportion=0.9995862617931628, avgTableSize=3686.55313778628
46.60/30.47	    
47.22/31.03	    num=9, depth=734..734, filters=52821, revisions=(53791,useless=27810), ccks=86442423, wck=11.103, mem=2843M998
47.22/31.03	    decisions=7650, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
47.22/31.03	    nFilterCalls=83452, avgTableProportion=0.9995862871809579, avgTableSize=3686.8137612040455
47.22/31.03	    
47.72/31.58	    num=10, depth=732..732, filters=57918, revisions=(58913,useless=30335), ccks=89203600, wck=11.649, mem=2843M998
47.72/31.58	    decisions=8432, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
47.72/31.58	    nFilterCalls=91616, avgTableProportion=0.999586271895558, avgTableSize=3686.603759168704
47.72/31.58	    
48.33/32.13	    num=11, depth=738..738, filters=63030, revisions=(64023,useless=32839), ccks=91987778, wck=12.2, mem=2843M998
48.33/32.13	    decisions=9226, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
48.33/32.13	    nFilterCalls=99797, avgTableProportion=0.9995863027519465, avgTableSize=3687.0465945870114
48.33/32.13	    
48.84/32.69	    num=12, depth=741..741, filters=68147, revisions=(69132,useless=35338), ccks=94864961, wck=12.759, mem=2843M998
48.84/32.69	    decisions=10029, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
48.84/32.69	    nFilterCalls=107983, avgTableProportion=0.9995863299639377, avgTableSize=3687.2743950436643
48.84/32.69	    
49.43/33.26	    num=13, depth=734..734, filters=73286, revisions=(74271,useless=37842), ccks=97802168, wck=13.323, mem=2843M998
49.43/33.26	    decisions=10831, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
49.43/33.26	    nFilterCalls=116186, avgTableProportion=0.9995863846566654, avgTableSize=3687.9683610762054
49.43/33.26	    
49.96/33.80	    num=14, depth=741..741, filters=78408, revisions=(79394,useless=40349), ccks=100564360, wck=13.872, mem=2843M998
49.96/33.80	    decisions=11646, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
49.96/33.80	    nFilterCalls=124378, avgTableProportion=0.9995864334666518, avgTableSize=3688.526620463426
49.96/33.80	    
50.56/34.37	    num=15, depth=735..735, filters=83542, revisions=(84536,useless=42863), ccks=103600376, wck=14.441, mem=2843M998
50.56/34.37	    decisions=12463, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
50.56/34.37	    nFilterCalls=132576, avgTableProportion=0.9995864787635836, avgTableSize=3688.913664615013
50.56/34.37	    
51.18/34.93	    num=16, depth=738..738, filters=88673, revisions=(89674,useless=45374), ccks=106489999, wck=15.0, mem=2843M998
51.18/34.93	    decisions=13291, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
51.18/34.93	    nFilterCalls=140776, avgTableProportion=0.9995865010945897, avgTableSize=3688.855699835199
51.18/34.93	    
51.80/35.50	    num=17, depth=738..738, filters=93810, revisions=(94821,useless=47890), ccks=109469354, wck=15.566, mem=2843M998
51.80/35.50	    decisions=14129, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
51.80/35.50	    nFilterCalls=148982, avgTableProportion=0.9995865444303916, avgTableSize=3689.3302278127558
51.80/35.50	    
52.30/36.06	    num=18, depth=739..739, filters=98958, revisions=(99971,useless=50399), ccks=112347424, wck=16.124, mem=2843M998
52.30/36.06	    decisions=14978, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
52.30/36.06	    nFilterCalls=157197, avgTableProportion=0.9995865885844435, avgTableSize=3689.6379765517154
52.30/36.06	    
52.90/36.61	    num=19, depth=739..739, filters=104104, revisions=(105126,useless=52912), ccks=115142412, wck=16.676, mem=2843M998
52.90/36.61	    decisions=15839, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
52.90/36.61	    nFilterCalls=165413, avgTableProportion=0.9995866149307167, avgTableSize=3689.5464141270636
52.90/36.61	    
53.41/37.15	    num=20, depth=738..738, filters=109258, revisions=(110290,useless=55428), ccks=117841174, wck=17.222, mem=2843M998
53.41/37.15	    decisions=16711, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
53.41/37.15	    nFilterCalls=173637, avgTableProportion=0.9995866726812301, avgTableSize=3690.1740124512635
53.41/37.15	    
54.02/37.71	    num=21, depth=738..739, filters=114426, revisions=(115459,useless=57937), ccks=120719249, wck=17.783, mem=2843M998
54.02/37.71	    decisions=17597, wrong=704, backtracks=1, failedAssignments=704, nogoods=647
54.02/37.71	    nFilterCalls=181872, avgTableProportion=0.9995867304866285, avgTableSize=3690.601752881147
54.02/37.71	    
54.52/38.27	    num=22, depth=738..739, filters=119593, revisions=(120634,useless=60450), ccks=123480167, wck=18.337, mem=2843M998
54.52/38.27	    decisions=18497, wrong=785, backtracks=2, failedAssignments=785, nogoods=704
54.52/38.27	    nFilterCalls=190109, avgTableProportion=0.9995867681814384, avgTableSize=3690.5701097791266
54.52/38.27	    
55.15/38.82	    num=23, depth=737..738, filters=124770, revisions=(125820,useless=62966), ccks=126178956, wck=18.887, mem=2843M998
55.15/38.82	    decisions=19412, wrong=874, backtracks=3, failedAssignments=874, nogoods=785
55.15/38.82	    nFilterCalls=198355, avgTableProportion=0.9995868397976023, avgTableSize=3691.338897431373
55.15/38.82	    
55.66/39.38	    num=24, depth=737..738, filters=129962, revisions=(131013,useless=65475), ccks=129057055, wck=19.448, mem=2843M998
55.66/39.38	    decisions=20345, wrong=972, backtracks=4, failedAssignments=972, nogoods=787
55.66/39.38	    nFilterCalls=206614, avgTableProportion=0.999586911338026, avgTableSize=3691.8911980795106
55.66/39.38	    
56.29/39.94	    num=25, depth=737..738, filters=135156, revisions=(136215,useless=67988), ccks=131818000, wck=20.007, mem=2843M998
56.29/39.94	    decisions=21298, wrong=1080, backtracks=5, failedAssignments=1080, nogoods=866
56.29/39.94	    nFilterCalls=214878, avgTableProportion=0.9995869606459491, avgTableSize=3691.88979793185
56.29/39.94	    
56.78/40.49	    num=26, depth=736..737, filters=140363, revisions=(141431,useless=70504), ccks=134516819, wck=20.559, mem=2843M998
56.78/40.49	    decisions=22272, wrong=1199, backtracks=6, failedAssignments=1199, nogoods=940
56.78/40.49	    nFilterCalls=223154, avgTableProportion=0.9995870509689898, avgTableSize=3692.8563055109926
56.78/40.49	    
57.38/41.06	    num=27, depth=737..738, filters=145588, revisions=(146657,useless=73013), ccks=137394951, wck=21.124, mem=2843M998
57.38/41.06	    decisions=23271, wrong=1330, backtracks=7, failedAssignments=1330, nogoods=960
57.38/41.06	    nFilterCalls=231446, avgTableProportion=0.9995871404024195, avgTableSize=3693.558549294436
57.38/41.06	    
58.00/41.62	    num=28, depth=735..738, filters=150820, revisions=(151895,useless=75526), ccks=140155932, wck=21.687, mem=2843M998
58.00/41.62	    decisions=24294, wrong=1474, backtracks=10, failedAssignments=1474, nogoods=1003
58.00/41.62	    nFilterCalls=239746, avgTableProportion=0.9995872035601795, avgTableSize=3693.606850583534
58.00/41.62	    
58.50/42.18	    num=29, depth=735..737, filters=156067, revisions=(157150,useless=78042), ccks=142854790, wck=22.245, mem=2843M998
58.50/42.18	    decisions=25345, wrong=1632, backtracks=12, failedAssignments=1632, nogoods=1056
58.50/42.18	    nFilterCalls=248061, avgTableProportion=0.9995873141861363, avgTableSize=3694.781013541024
58.50/42.18	    
59.10/42.75	    num=30, depth=736..737, filters=161335, revisions=(162419,useless=80551), ccks=145732965, wck=22.816, mem=2843M998
59.10/42.75	    decisions=26429, wrong=1806, backtracks=13, failedAssignments=1806, nogoods=1138
59.10/42.75	    nFilterCalls=256396, avgTableProportion=0.9995874241746655, avgTableSize=3695.6564610992373
59.10/42.75	    
59.71/43.31	    num=31, depth=734..738, filters=166615, revisions=(167704,useless=83064), ccks=148493993, wck=23.38, mem=2843M998
59.71/43.31	    decisions=27545, wrong=1997, backtracks=17, failedAssignments=1997, nogoods=1154
59.71/43.31	    nFilterCalls=264743, avgTableProportion=0.9995875068413943, avgTableSize=3695.7760658449893
59.71/43.31	    
60.21/43.87	    num=32, depth=735..737, filters=171915, revisions=(173012,useless=85580), ccks=151192904, wck=23.939, mem=2843M998
60.21/43.87	    decisions=28702, wrong=2208, backtracks=19, failedAssignments=2208, nogoods=1218
60.21/43.87	    nFilterCalls=273111, avgTableProportion=0.9995876478701612, avgTableSize=3697.2619301309724
60.21/43.87	    
60.80/44.45	    num=33, depth=734..738, filters=177244, revisions=(178339,useless=88089), ccks=154071137, wck=24.515, mem=2843M998
60.80/44.45	    decisions=29900, wrong=2440, backtracks=23, failedAssignments=2440, nogoods=1242
60.80/44.45	    nFilterCalls=281504, avgTableProportion=0.9995877863584097, avgTableSize=3698.3713268727975
60.80/44.45	    
61.40/45.01	    num=34, depth=735..738, filters=182587, revisions=(183688,useless=90602), ccks=156832229, wck=25.083, mem=2843M998
61.40/45.01	    decisions=31145, wrong=2695, backtracks=26, failedAssignments=2695, nogoods=1285
61.40/45.01	    nFilterCalls=289915, avgTableProportion=0.9995878918321311, avgTableSize=3698.54616353069
61.40/45.01	    
61.90/45.59	    num=35, depth=732..736, filters=187959, revisions=(189066,useless=93118), ccks=159531210, wck=25.658, mem=2843M998
61.90/45.59	    decisions=32439, wrong=2976, backtracks=30, failedAssignments=2976, nogoods=1293
61.90/45.59	    nFilterCalls=298353, avgTableProportion=0.9995880677327246, avgTableSize=3700.394220939625
61.90/45.59	    
62.50/46.17	    num=36, depth=735..738, filters=193364, revisions=(194470,useless=95627), ccks=162409520, wck=26.238, mem=2843M998
62.50/46.17	    decisions=33792, wrong=3285, backtracks=33, failedAssignments=3285, nogoods=1333
62.50/46.17	    nFilterCalls=306823, avgTableProportion=0.9995882412083862, avgTableSize=3701.789771301369
62.50/46.17	    
63.10/46.75	    num=37, depth=731..737, filters=198795, revisions=(199904,useless=98140), ccks=165170697, wck=26.817, mem=2843M998
63.10/46.75	    decisions=35203, wrong=3625, backtracks=39, failedAssignments=3625, nogoods=1344
63.10/46.75	    nFilterCalls=315320, avgTableProportion=0.9995883734548534, avgTableSize=3702.028333121908
63.10/46.75	    
63.70/47.32	    num=38, depth=734..737, filters=204259, revisions=(205375,useless=100656), ccks=167869771, wck=27.392, mem=2843M998
63.70/47.32	    decisions=36685, wrong=3999, backtracks=42, failedAssignments=3999, nogoods=1362
63.70/47.32	    nFilterCalls=323851, avgTableProportion=0.9995885938467309, avgTableSize=3704.3289012539717
63.70/47.32	    
64.33/47.92	    num=39, depth=732..737, filters=209768, revisions=(210881,useless=103165), ccks=170748183, wck=27.986, mem=2843M998
64.33/47.92	    decisions=38239, wrong=4410, backtracks=47, failedAssignments=4410, nogoods=1418
64.33/47.92	    nFilterCalls=332424, avgTableProportion=0.9995888126272975, avgTableSize=3706.102297066397
64.33/47.92	    
64.92/48.50	    num=40, depth=733..738, filters=215310, revisions=(216427,useless=105678), ccks=173509472, wck=28.571, mem=2843M998
64.92/48.50	    decisions=39876, wrong=4862, backtracks=52, failedAssignments=4862, nogoods=1491
64.92/48.50	    nFilterCalls=341032, avgTableProportion=0.9995889821026549, avgTableSize=3706.4528900513733
64.92/48.50	    
65.43/49.08	    num=41, depth=732..736, filters=220898, revisions=(222021,useless=108194), ccks=176208669, wck=29.148, mem=2843M998
65.43/49.08	    decisions=41602, wrong=5359, backtracks=56, failedAssignments=5359, nogoods=1564
65.43/49.08	    nFilterCalls=349687, avgTableProportion=0.999589259591365, avgTableSize=3709.338119518312
65.43/49.08	    
66.08/49.69	    num=42, depth=730..738, filters=226546, revisions=(227663,useless=110703), ccks=179087217, wck=29.755, mem=2843M998
66.08/49.69	    decisions=43426, wrong=5906, backtracks=64, failedAssignments=5906, nogoods=1593
66.08/49.69	    nFilterCalls=358395, avgTableProportion=0.999589532689985, avgTableSize=3711.5519161818665
66.08/49.69	    
66.77/50.29	    num=43, depth=725..737, filters=232245, revisions=(233359,useless=113216), ccks=181848656, wck=30.355, mem=2843M998
66.77/50.29	    decisions=45355, wrong=6508, backtracks=76, failedAssignments=6508, nogoods=1594
66.77/50.29	    nFilterCalls=367154, avgTableProportion=0.9995897478496631, avgTableSize=3712.0377552743535
66.77/50.29	    
67.38/50.89	    num=44, depth=728..736, filters=238002, revisions=(239118,useless=115732), ccks=184548018, wck=30.957, mem=2843M998
67.38/50.89	    decisions=47407, wrong=7170, backtracks=84, failedAssignments=7170, nogoods=1644
67.38/50.89	    nFilterCalls=375973, avgTableProportion=0.9995900946403594, avgTableSize=3715.6314868354907
67.38/50.89	    
68.07/51.50	    num=45, depth=730..738, filters=243831, revisions=(244941,useless=118241), ccks=187426747, wck=31.565, mem=2843M998
68.07/51.50	    decisions=49593, wrong=7898, backtracks=92, failedAssignments=7898, nogoods=1693
68.07/51.50	    nFilterCalls=384862, avgTableProportion=0.9995904373162349, avgTableSize=3718.4085048666793
68.07/51.50	    
68.67/52.11	    num=46, depth=729..738, filters=249726, revisions=(250836,useless=120754), ccks=190188385, wck=32.177, mem=2843M998
68.67/52.11	    decisions=51924, wrong=8699, backtracks=101, failedAssignments=8699, nogoods=1721
68.67/52.11	    nFilterCalls=393818, avgTableProportion=0.9995907080594012, avgTableSize=3719.034482933741
68.67/52.11	    
69.27/52.73	    num=47, depth=727..737, filters=255704, revisions=(256814,useless=123270), ccks=192887966, wck=32.797, mem=2843M998
69.27/52.73	    decisions=54413, wrong=9580, backtracks=111, failedAssignments=9580, nogoods=1833
69.27/52.73	    nFilterCalls=402856, avgTableProportion=0.9995911435355742, avgTableSize=3723.532483070874
69.27/52.73	    
69.87/53.36	    num=48, depth=724..737, filters=261780, revisions=(262879,useless=125779), ccks=195766937, wck=33.433, mem=2843M998
69.87/53.36	    decisions=57077, wrong=10550, backtracks=124, failedAssignments=10550, nogoods=1943
69.87/53.36	    nFilterCalls=411987, avgTableProportion=0.9995915753481197, avgTableSize=3727.040462441776
69.87/53.36	    
70.48/53.99	    num=49, depth=722..737, filters=267947, revisions=(269040,useless=128292), ccks=198528841, wck=34.063, mem=2843M998
70.48/53.99	    decisions=59933, wrong=11617, backtracks=139, failedAssignments=11617, nogoods=1964
70.48/53.99	    nFilterCalls=421210, avgTableProportion=0.9995919186561545, avgTableSize=3727.8665558747416
70.48/53.99	    
71.17/54.64	    num=50, depth=718..737, filters=274226, revisions=(275310,useless=130808), ccks=201228714, wck=34.704, mem=2843M998
71.17/54.64	    decisions=62997, wrong=12790, backtracks=158, failedAssignments=12790, nogoods=1965
71.17/54.64	    nFilterCalls=430540, avgTableProportion=0.9995924647180349, avgTableSize=3733.4943652157754
71.17/54.64	    
71.77/55.30	    num=51, depth=713..738, filters=280635, revisions=(281696,useless=133317), ccks=204108006, wck=35.364, mem=2843M998
71.77/55.30	    decisions=66292, wrong=14081, backtracks=183, failedAssignments=14081, nogoods=2067
71.77/55.30	    nFilterCalls=439992, avgTableProportion=0.9995930046324191, avgTableSize=3737.868983981527
71.77/55.30	    
72.48/55.96	    num=52, depth=718..738, filters=287160, revisions=(288210,useless=135830), ccks=206870263, wck=36.026, mem=2843M998
72.48/55.96	    decisions=69850, wrong=15501, backtracks=203, failedAssignments=15501, nogoods=2108
72.48/55.96	    nFilterCalls=449568, avgTableProportion=0.9995934361968013, avgTableSize=3738.926689622037
72.48/55.96	    
73.17/56.62	    num=53, depth=725..737, filters=293821, revisions=(294869,useless=138346), ccks=209570525, wck=36.688, mem=2843M998
73.17/56.62	    decisions=73699, wrong=17063, backtracks=215, failedAssignments=17063, nogoods=2159
73.17/56.62	    nFilterCalls=459286, avgTableProportion=0.999594124985647, avgTableSize=3746.0225436873757
73.17/56.62	    
73.87/57.31	    num=54, depth=700..738, filters=300670, revisions=(301682,useless=140855), ccks=212450244, wck=37.378, mem=2843M998
73.87/57.31	    decisions=77835, wrong=18781, backtracks=253, failedAssignments=18781, nogoods=2210
73.87/57.31	    nFilterCalls=469165, avgTableProportion=0.9995948009740866, avgTableSize=3751.5008770901495
73.87/57.31	    
74.58/58.00	    num=55, depth=707..738, filters=307676, revisions=(308666,useless=143368), ccks=215212971, wck=38.069, mem=2843M998
74.58/58.00	    decisions=82322, wrong=20671, backtracks=284, failedAssignments=20671, nogoods=2275
74.58/58.00	    nFilterCalls=479211, avgTableProportion=0.9995953431623921, avgTableSize=3752.85048757228
74.58/58.00	    
75.31/58.70	    num=56, depth=715..736, filters=314863, revisions=(315842,useless=145884), ccks=217913750, wck=38.767, mem=2843M998
75.31/58.70	    decisions=87195, wrong=22750, backtracks=305, failedAssignments=22750, nogoods=2309
75.31/58.70	    nFilterCalls=489447, avgTableProportion=0.9995962050393948, avgTableSize=3761.712408085043
75.31/58.70	    
76.01/59.41	    num=57, depth=702..738, filters=322279, revisions=(323224,useless=148393), ccks=220794038, wck=39.481, mem=2843M998
76.01/59.41	    decisions=92471, wrong=25037, backtracks=341, failedAssignments=25037, nogoods=2329
76.01/59.41	    nFilterCalls=499895, avgTableProportion=0.9995970547357275, avgTableSize=3768.6123425919445
76.01/59.41	    
76.71/60.14	    num=58, depth=685..738, filters=329933, revisions=(330834,useless=150906), ccks=223557391, wck=40.212, mem=2843M998
76.71/60.14	    decisions=98188, wrong=27553, backtracks=394, failedAssignments=27553, nogoods=2336
76.71/60.14	    nFilterCalls=510567, avgTableProportion=0.999597732421361, avgTableSize=3770.3142643374913
76.71/60.14	    
77.42/60.90	    num=59, depth=710..737, filters=337815, revisions=(338699,useless=153422), ccks=226258859, wck=40.966, mem=2843M998
77.42/60.90	    decisions=104434, wrong=30321, backtracks=421, failedAssignments=30321, nogoods=2462
77.42/60.90	    nFilterCalls=521492, avgTableProportion=0.9995988091051353, avgTableSize=3781.3949590789503
77.42/60.90	    
78.21/61.67	    num=60, depth=688..737, filters=346001, revisions=(346838,useless=155931), ccks=229139904, wck=41.741, mem=2843M998
78.21/61.67	    decisions=111210, wrong=33365, backtracks=470, failedAssignments=33365, nogoods=2554
78.21/61.67	    nFilterCalls=532698, avgTableProportion=0.9995998682502651, avgTableSize=3789.9995344454082
78.21/61.67	    
79.01/62.45	    num=61, depth=697..738, filters=354476, revisions=(355281,useless=158444), ccks=231904090, wck=42.519, mem=2843M998
79.01/62.45	    decisions=118605, wrong=36714, backtracks=511, failedAssignments=36714, nogoods=2624
79.01/62.45	    nFilterCalls=544203, avgTableProportion=0.9996007131968153, avgTableSize=3792.0835993186365
79.01/62.45	    
79.81/63.24	    num=62, depth=705..737, filters=363279, revisions=(364062,useless=160960), ccks=234606474, wck=43.303, mem=2843M998
79.81/63.24	    decisions=126678, wrong=40398, backtracks=543, failedAssignments=40398, nogoods=2629
79.81/63.24	    nFilterCalls=556044, avgTableProportion=0.9996019639440477, avgTableSize=3802.8125400148188
79.81/63.24	    
80.61/64.05	    num=63, depth=708..743, filters=372452, revisions=(373197,useless=163463), ccks=237428815, wck=44.122, mem=2843M998
80.61/64.05	    decisions=135490, wrong=44450, backtracks=578, failedAssignments=44450, nogoods=2727
80.61/64.05	    nFilterCalls=568256, avgTableProportion=0.9996032832586682, avgTableSize=3813.571319968465
80.61/64.05	    
81.56/64.92	    num=64, depth=686..744, filters=382086, revisions=(382743,useless=165965), ccks=240511271, wck=44.993, mem=2843M998
81.56/64.92	    decisions=145090, wrong=48907, backtracks=650, failedAssignments=48907, nogoods=2761
81.56/64.92	    nFilterCalls=580893, avgTableProportion=0.999603913487512, avgTableSize=3817.2813840070376
81.56/64.92	    
82.37/65.80	    num=65, depth=697..740, filters=392124, revisions=(392722,useless=168455), ccks=243391161, wck=45.869, mem=2843M998
82.37/65.80	    decisions=155593, wrong=53810, backtracks=693, failedAssignments=53810, nogoods=2806
82.37/65.80	    nFilterCalls=593960, avgTableProportion=0.9996054491358771, avgTableSize=3829.853582732844
82.37/65.80	    
83.37/66.71	    num=66, depth=699..741, filters=402653, revisions=(403202,useless=170953), ccks=246308381, wck=46.783, mem=2843M998
83.37/66.71	    decisions=167080, wrong=59204, backtracks=735, failedAssignments=59204, nogoods=2909
83.37/66.71	    nFilterCalls=607519, avgTableProportion=0.9996072378010187, avgTableSize=3848.26468472591
83.37/66.71	    
84.28/67.66	    num=67, depth=689..741, filters=413731, revisions=(414214,useless=173445), ccks=249234479, wck=47.73, mem=2843M998
84.28/67.66	    decisions=179635, wrong=65137, backtracks=787, failedAssignments=65137, nogoods=2967
84.28/67.66	    nFilterCalls=621616, avgTableProportion=0.9996089869996373, avgTableSize=3862.458382667113
84.28/67.66	    
85.28/68.64	    num=68, depth=666..741, filters=425417, revisions=(425818,useless=175941), ccks=252024889, wck=48.704, mem=2843M998
85.28/68.64	    decisions=193353, wrong=71663, backtracks=862, failedAssignments=71663, nogoods=3044
85.28/68.64	    nFilterCalls=636301, avgTableProportion=0.9996103609288239, avgTableSize=3865.6059962187705
85.28/68.64	    
86.28/69.65	    num=69, depth=684..740, filters=437739, revisions=(438078,useless=178440), ccks=254770639, wck=49.717, mem=2843M998
86.28/69.65	    decisions=208395, wrong=78842, backtracks=918, failedAssignments=78842, nogoods=3168
86.28/69.65	    nFilterCalls=651640, avgTableProportion=0.9996125433755593, avgTableSize=3888.187201522313
86.28/69.65	    
87.47/70.73	    num=70, depth=644..740, filters=450842, revisions=(451054,useless=180932), ccks=257684940, wck=50.799, mem=2843M998
87.47/70.73	    decisions=224833, wrong=86739, backtracks=1014, failedAssignments=86739, nogoods=3278
87.47/70.73	    nFilterCalls=667702, avgTableProportion=0.999614665663597, avgTableSize=3905.436850571063
87.47/70.73	    
88.58/71.89	    num=71, depth=611..742, filters=464919, revisions=(464821,useless=183430), ccks=260482868, wck=51.954, mem=2843M998
88.58/71.89	    decisions=242924, wrong=95426, backtracks=1167, failedAssignments=95426, nogoods=3307
88.58/71.89	    nFilterCalls=684680, avgTableProportion=0.9996167203340357, avgTableSize=3920.6786440380906
88.58/71.89	    
89.77/73.06	    num=72, depth=665..740, filters=479637, revisions=(479451,useless=185920), ccks=263269515, wck=53.129, mem=2843M998
89.77/73.06	    decisions=262699, wrong=104981, backtracks=1242, failedAssignments=104981, nogoods=3413
89.77/73.06	    nFilterCalls=702398, avgTableProportion=0.9996193497416865, avgTableSize=3947.861542885942
89.77/73.06	    
91.07/74.32	    num=73, depth=649..742, filters=495346, revisions=(495034,useless=188406), ccks=266340727, wck=54.387, mem=2843M998
91.07/74.32	    decisions=284370, wrong=115492, backtracks=1335, failedAssignments=115492, nogoods=3514
91.07/74.32	    nFilterCalls=721073, avgTableProportion=0.9996218933435298, avgTableSize=3968.3861370485374
91.07/74.32	    
92.37/75.65	    num=74, depth=613..741, filters=512255, revisions=(511671,useless=190899), ccks=269155441, wck=55.722, mem=2843M998
92.37/75.65	    decisions=308222, wrong=127054, backtracks=1474, failedAssignments=127054, nogoods=3544
92.37/75.65	    nFilterCalls=740921, avgTableProportion=0.9996237462715436, avgTableSize=3970.648634604769
92.37/75.65	    
93.78/77.05	    num=75, depth=638..738, filters=530172, revisions=(529481,useless=193394), ccks=272110367, wck=57.118, mem=2843M998
93.78/77.05	    decisions=334296, wrong=139772, backtracks=1574, failedAssignments=139772, nogoods=3663
93.78/77.05	    nFilterCalls=761810, avgTableProportion=0.9996268890685728, avgTableSize=4003.483238602801
93.78/77.05	    
95.28/78.54	    num=76, depth=612..736, filters=549425, revisions=(548557,useless=195891), ccks=275242184, wck=58.613, mem=2843M998
95.28/78.54	    decisions=362888, wrong=153762, backtracks=1698, failedAssignments=153762, nogoods=3706
95.28/78.54	    nFilterCalls=783961, avgTableProportion=0.9996299020400264, avgTableSize=4027.915216445716
95.28/78.54	    
96.88/80.11	    num=77, depth=613..735, filters=570027, revisions=(569041,useless=198395), ccks=278066840, wck=60.174, mem=2843M998
96.88/80.11	    decisions=394279, wrong=169151, backtracks=1820, failedAssignments=169151, nogoods=3724
96.88/80.11	    nFilterCalls=807512, avgTableProportion=0.9996333877027935, avgTableSize=4064.3029602036872
96.88/80.11	    
98.48/81.77	    num=78, depth=540..733, filters=592309, revisions=(591055,useless=200892), ccks=281000544, wck=61.843, mem=2882M377
98.48/81.77	    decisions=428675, wrong=186079, backtracks=2013, failedAssignments=186079, nogoods=3775
98.48/81.77	    nFilterCalls=832600, avgTableProportion=0.9996367007190482, avgTableSize=4090.882579870286
98.48/81.77	    
100.28/83.57	    num=79, depth=608..734, filters=616342, revisions=(614767,useless=203397), ccks=283804891, wck=63.636, mem=2882M377
100.28/83.57	    decisions=466584, wrong=204700, backtracks=2204, failedAssignments=204700, nogoods=3899
100.28/83.57	    nFilterCalls=859502, avgTableProportion=0.9996396678402506, avgTableSize=4106.694250856892
100.28/83.57	    
102.18/85.47	    num=80, depth=574..736, filters=642086, revisions=(640350,useless=205898), ccks=286725429, wck=65.543, mem=2882M377
102.18/85.47	    decisions=508126, wrong=225184, backtracks=2366, failedAssignments=225184, nogoods=3972
102.18/85.47	    nFilterCalls=888156, avgTableProportion=0.9996437019229886, avgTableSize=4149.205135133918
102.18/85.47	    
104.28/87.53	    num=81, depth=535..734, filters=670031, revisions=(667970,useless=208396), ccks=289842337, wck=67.6, mem=2882M377
104.28/87.53	    decisions=553725, wrong=247716, backtracks=2565, failedAssignments=247716, nogoods=4006
104.28/87.53	    nFilterCalls=918848, avgTableProportion=0.9996474996263046, avgTableSize=4179.621787281466
104.28/87.53	    
106.48/89.75	    num=82, depth=604..730, filters=700423, revisions=(697852,useless=210905), ccks=292643250, wck=69.823, mem=2882M377
106.48/89.75	    decisions=603992, wrong=272501, backtracks=2846, failedAssignments=272501, nogoods=4084
106.48/89.75	    nFilterCalls=952036, avgTableProportion=0.9996503496328978, avgTableSize=4183.544143288699
106.48/89.75	    
108.88/92.15	    num=83, depth=535..738, filters=733201, revisions=(730201,useless=213404), ccks=295522841, wck=72.22, mem=2882M377
108.88/92.15	    decisions=659231, wrong=299765, backtracks=3074, failedAssignments=299765, nogoods=4156
108.88/92.15	    nFilterCalls=987664, avgTableProportion=0.9996547403980803, avgTableSize=4228.22677145264
108.88/92.15	    
111.41/94.68	    num=84, depth=468..732, filters=768739, revisions=(765279,useless=215897), ccks=298321106, wck=74.748, mem=2882M377
111.41/94.68	    decisions=719679, wrong=329755, backtracks=3338, failedAssignments=329755, nogoods=4236
111.41/94.68	    nFilterCalls=1025818, avgTableProportion=0.9996590120834463, avgTableSize=4262.7886311217
111.41/94.68	    
114.22/97.42	    num=85, depth=558..732, filters=807238, revisions=(803357,useless=218395), ccks=301242722, wck=77.486, mem=2882M377
114.22/97.42	    decisions=786215, wrong=362744, backtracks=3638, failedAssignments=362744, nogoods=4242
114.22/97.42	    nFilterCalls=1067092, avgTableProportion=0.9996633333719063, avgTableSize=4300.338966087273
114.22/97.42	    
117.22/100.40	    num=86, depth=535..745, filters=849115, revisions=(844715,useless=220879), ccks=304032509, wck=80.471, mem=2882M377
117.22/100.40	    decisions=859451, wrong=399032, backtracks=3931, failedAssignments=399032, nogoods=4286
117.22/100.40	    nFilterCalls=1111758, avgTableProportion=0.9996683285888988, avgTableSize=4352.215577490785
117.22/100.40	    
120.42/103.68	    num=87, depth=404..739, filters=895063, revisions=(889710,useless=223368), ccks=306947841, wck=83.753, mem=2882M377
120.42/103.68	    decisions=940008, wrong=438949, backtracks=4281, failedAssignments=438949, nogoods=4342
120.42/103.68	    nFilterCalls=1160175, avgTableProportion=0.9996729962940635, avgTableSize=4389.932236947012
120.42/103.68	    
123.92/107.16	    num=88, depth=592..734, filters=944665, revisions=(938708,useless=225861), ccks=309794483, wck=87.23, mem=2882M377
123.92/107.16	    decisions=1028509, wrong=482858, backtracks=4605, failedAssignments=482858, nogoods=4422
123.92/107.16	    nFilterCalls=1212527, avgTableProportion=0.9996787097323181, avgTableSize=4464.4025023772665
123.92/107.16	    
127.83/111.06	    num=89, depth=431..743, filters=1000253, revisions=(992053,useless=228327), ccks=312857889, wck=91.127, mem=2882M377
127.83/111.06	    decisions=1125549, wrong=531158, backtracks=5400, failedAssignments=531158, nogoods=4478
127.83/111.06	    nFilterCalls=1269481, avgTableProportion=0.9996786588830774, avgTableSize=4418.947597482751
127.83/111.06	    
132.03/115.24	    num=90, depth=589..740, filters=1059795, revisions=(1050260,useless=230824), ccks=316003337, wck=95.305, mem=2882M377
132.03/115.24	    decisions=1232443, wrong=584288, backtracks=6032, failedAssignments=584288, nogoods=4522
132.03/115.24	    nFilterCalls=1331296, avgTableProportion=0.9996820388944974, avgTableSize=4450.23195893325
132.03/115.24	    
136.53/119.80	    num=91, depth=491..754, filters=1124855, revisions=(1113755,useless=233303), ccks=319070794, wck=99.867, mem=2882M377
136.53/119.80	    decisions=1350037, wrong=642731, backtracks=6830, failedAssignments=642731, nogoods=4545
136.53/119.80	    nFilterCalls=1398659, avgTableProportion=0.9996839467188066, avgTableSize=4434.956289560215
136.53/119.80	    
141.43/124.69	    num=92, depth=465..757, filters=1195320, revisions=(1183085,useless=235773), ccks=322262582, wck=104.761, mem=2882M377
141.43/124.69	    decisions=1479231, wrong=707018, backtracks=7452, failedAssignments=707018, nogoods=4605
141.43/124.69	    nFilterCalls=1471600, avgTableProportion=0.9996887345887125, avgTableSize=4477.747633867899
141.43/124.69	    
147.14/130.33	    num=93, depth=445..764, filters=1274842, revisions=(1258849,useless=238258), ccks=325473186, wck=110.395, mem=2882M377
147.14/130.33	    decisions=1621395, wrong=777734, backtracks=9030, failedAssignments=777734, nogoods=4633
147.14/130.33	    nFilterCalls=1552027, avgTableProportion=0.9996849933692595, avgTableSize=4398.09040371076
147.14/130.33	    
152.94/136.11	    num=94, depth=452..777, filters=1358986, revisions=(1341636,useless=240713), ccks=328645530, wck=116.179, mem=2882M377
152.94/136.11	    decisions=1777476, wrong=855521, backtracks=9818, failedAssignments=855521, nogoods=4735
152.94/136.11	    nFilterCalls=1638493, avgTableProportion=0.9996898997749044, avgTableSize=4432.165271990787
152.94/136.11	    
159.34/142.51	    num=95, depth=403..794, filters=1451571, revisions=(1432172,useless=243155), ccks=331614379, wck=122.581, mem=2882M377
159.34/142.51	    decisions=1949291, wrong=941087, backtracks=10706, failedAssignments=941087, nogoods=4758
159.34/142.51	    nFilterCalls=1732998, avgTableProportion=0.9996945247043977, avgTableSize=4456.291799528909
159.34/142.51	    
166.26/149.47	    num=96, depth=441..778, filters=1552956, revisions=(1531312,useless=245623), ccks=334547043, wck=129.537, mem=2882M377
166.26/149.47	    decisions=2138039, wrong=1035210, backtracks=11957, failedAssignments=1035210, nogoods=4797
166.26/149.47	    nFilterCalls=1836261, avgTableProportion=0.9996968225893103, avgTableSize=4457.562587780278
166.26/149.47	    
173.77/156.99	    num=97, depth=554..797, filters=1663099, revisions=(1639831,useless=248072), ccks=337476100, wck=137.063, mem=2882M377
173.77/156.99	    decisions=2345807, wrong=1138745, backtracks=12787, failedAssignments=1138745, nogoods=4916
173.77/156.99	    nFilterCalls=1948701, avgTableProportion=0.9997036873310139, avgTableSize=4541.051635422777
173.77/156.99	    
182.27/165.42	    num=98, depth=405..779, filters=1786319, revisions=(1758750,useless=250540), ccks=340707780, wck=145.488, mem=2882M377
182.27/165.42	    decisions=2574177, wrong=1252634, backtracks=14164, failedAssignments=1252634, nogoods=4923
182.27/165.42	    nFilterCalls=2071959, avgTableProportion=0.9997065962892762, avgTableSize=4561.301481834342
182.27/165.42	    
191.37/174.59	    num=99, depth=452..758, filters=1920026, revisions=(1889095,useless=253042), ccks=343858146, wck=154.658, mem=2920M756
191.37/174.59	    decisions=2825465, wrong=1377912, backtracks=15874, failedAssignments=1377912, nogoods=4951
191.37/174.59	    nFilterCalls=2207087, avgTableProportion=0.9997085444130465, avgTableSize=4590.613972625456
191.37/174.59	    
201.47/184.62	    num=100, depth=404..759, filters=2067122, revisions=(2031934,useless=255515), ccks=346821854, wck=164.684, mem=2920M756
201.47/184.62	    decisions=3101641, wrong=1515718, backtracks=17562, failedAssignments=1515718, nogoods=5013
201.47/184.62	    nFilterCalls=2354545, avgTableProportion=0.9997118557050979, avgTableSize=4626.958933891686
201.47/184.62	    
212.38/195.57	    num=101, depth=409..754, filters=2227969, revisions=(2188619,useless=258037), ccks=349816275, wck=175.642, mem=2920M756
212.38/195.57	    decisions=3405438, wrong=1667304, backtracks=19634, failedAssignments=1667304, nogoods=5090
212.38/195.57	    nFilterCalls=2516244, avgTableProportion=0.999713636391956, avgTableSize=4639.03855031547
212.38/195.57	    
224.60/207.70	    num=102, depth=402..746, filters=2405317, revisions=(2360494,useless=260577), ccks=353349116, wck=187.772, mem=2920M756
224.60/207.70	    decisions=3739620, wrong=1834049, backtracks=21916, failedAssignments=1834049, nogoods=5247
224.60/207.70	    nFilterCalls=2693393, avgTableProportion=0.9997153006823828, avgTableSize=4637.273843438369
224.60/207.70	    
237.62/220.74	    num=103, depth=406..738, filters=2597623, revisions=(2549051,useless=263123), ccks=356751759, wck=200.804, mem=2920M756
237.62/220.74	    decisions=4107101, wrong=2017468, backtracks=23787, failedAssignments=2017468, nogoods=5328
237.62/220.74	    nFilterCalls=2886756, avgTableProportion=0.9997203854792753, avgTableSize=4700.802950439871
237.62/220.74	    
252.03/235.15	    num=104, depth=417..756, filters=2809820, revisions=(2755901,useless=265631), ccks=359781078, wck=215.219, mem=2920M756
252.03/235.15	    decisions=4511252, wrong=2219229, backtracks=26389, failedAssignments=2219229, nogoods=5408
252.03/235.15	    nFilterCalls=3099171, avgTableProportion=0.9997227387769695, avgTableSize=4722.584633439072
252.03/235.15	    
267.53/250.69	    num=105, depth=403..759, filters=3040627, revisions=(2982906,useless=268106), ccks=363070474, wck=230.757, mem=2920M756
267.53/250.69	    decisions=4955779, wrong=2441167, backtracks=28210, failedAssignments=2441167, nogoods=5514
267.53/250.69	    nFilterCalls=3331016, avgTableProportion=0.9997297005562742, avgTableSize=4809.114517612645
267.53/250.69	    
284.84/267.91	    num=106, depth=462..765, filters=3294733, revisions=(3232128,useless=270610), ccks=366544860, wck=247.977, mem=2920M756
284.84/267.91	    decisions=5444780, wrong=2685298, backtracks=30688, failedAssignments=2685298, nogoods=5590
284.84/267.91	    nFilterCalls=3585791, avgTableProportion=0.999734190395118, avgTableSize=4853.579857554442
284.84/267.91	    
303.65/286.72	    num=107, depth=402..773, filters=3574236, revisions=(3505749,useless=273112), ccks=369803846, wck=266.787, mem=2959M136
303.65/286.72	    decisions=5982306, wrong=2953843, backtracks=33565, failedAssignments=2953843, nogoods=5688
303.65/286.72	    nFilterCalls=3865061, avgTableProportion=0.9997345330127942, avgTableSize=4839.808512983365
303.65/286.72	    
324.35/307.47	    num=108, depth=433..774, filters=3882310, revisions=(3806244,useless=275627), ccks=373203511, wck=287.543, mem=2959M136
324.35/307.47	    decisions=6573834, wrong=3249242, backtracks=36706, failedAssignments=3249242, nogoods=5924
324.35/307.47	    nFilterCalls=4171752, avgTableProportion=0.9997385859830431, avgTableSize=4902.596147134345
324.35/307.47	    
347.87/330.96	    num=109, depth=444..745, filters=4225351, revisions=(4136340,useless=278175), ccks=376669635, wck=311.033, mem=2959M136
347.87/330.96	    decisions=7224324, wrong=3574181, backtracks=42382, failedAssignments=3574181, nogoods=6069
347.87/330.96	    nFilterCalls=4510430, avgTableProportion=0.9997371518217493, avgTableSize=4933.97230640981
347.87/330.96	    
372.67/355.72	    num=110, depth=409..733, filters=4595021, revisions=(4498935,useless=280733), ccks=379976376, wck=335.791, mem=2959M136
372.67/355.72	    decisions=7939753, wrong=3931614, backtracks=45976, failedAssignments=3931614, nogoods=6139
372.67/355.72	    nFilterCalls=4879465, avgTableProportion=0.9997417242940974, avgTableSize=4969.98485018337
372.67/355.72	    
399.89/382.91	    num=111, depth=407..749, filters=5001304, revisions=(4897292,useless=283315), ccks=383294076, wck=362.981, mem=2997M515
399.89/382.91	    decisions=8726716, wrong=4324790, backtracks=50125, failedAssignments=4324790, nogoods=6224
399.89/382.91	    nFilterCalls=5284840, avgTableProportion=0.9997453955896727, avgTableSize=4995.252112835961
399.89/382.91	    
429.69/412.80	    num=112, depth=426..729, filters=5448671, revisions=(5335053,useless=285961), ccks=386724431, wck=392.869, mem=2997M515
429.69/412.80	    decisions=9592380, wrong=4757284, backtracks=54618, failedAssignments=4757284, nogoods=6304
429.69/412.80	    nFilterCalls=5729964, avgTableProportion=0.9997489177452044, avgTableSize=5009.935073588595
429.69/412.80	    
463.21/446.21	    num=113, depth=403..746, filters=5944167, revisions=(5816154,useless=288713), ccks=390169551, wck=426.279, mem=2997M515
463.21/446.21	    decisions=10544403, wrong=5233028, backtracks=62120, failedAssignments=5233028, nogoods=6339
463.21/446.21	    nFilterCalls=6221191, avgTableProportion=0.9997460136106926, avgTableSize=4963.804860676999
463.21/446.21	    
499.42/482.40	    num=114, depth=424..746, filters=6485666, revisions=(6344596,useless=291244), ccks=393510565, wck=462.47, mem=3035M894
499.42/482.40	    decisions=11591750, wrong=5756346, backtracks=67532, failedAssignments=5756346, nogoods=6443
499.42/482.40	    nFilterCalls=6758068, avgTableProportion=0.9997499361436234, avgTableSize=5018.52402728117
499.42/482.40	    
539.64/522.60	    num=115, depth=402..760, filters=7083048, revisions=(6925467,useless=293867), ccks=397039341, wck=502.672, mem=3035M894
539.64/522.60	    decisions=12743799, wrong=6331996, backtracks=75030, failedAssignments=6331996, nogoods=6576
539.64/522.60	    nFilterCalls=7349405, avgTableProportion=0.9997505886173277, avgTableSize=5021.988806304728
539.64/522.60	    
583.46/566.41	    num=116, depth=405..746, filters=7736275, revisions=(7563879,useless=296456), ccks=400678679, wck=546.478, mem=3035M894
583.46/566.41	    decisions=14010830, wrong=6965211, backtracks=82548, failedAssignments=6965211, nogoods=6597
583.46/566.41	    nFilterCalls=7998186, avgTableProportion=0.9997522817093316, avgTableSize=5021.028350928573
583.46/566.41	    
631.08/614.06	    num=117, depth=402..750, filters=8450609, revisions=(8265621,useless=299044), ccks=404655421, wck=594.133, mem=3074M273
631.08/614.06	    decisions=15404602, wrong=7661747, backtracks=88772, failedAssignments=7661747, nogoods=6624
631.08/614.06	    nFilterCalls=8709112, avgTableProportion=0.999757459045359, avgTableSize=5074.640919074183
631.08/614.06	    
684.41/667.38	    num=118, depth=402..737, filters=9248475, revisions=(9036959,useless=301577), ccks=408488255, wck=647.447, mem=3074M273
684.41/667.38	    decisions=16937591, wrong=8427937, backtracks=97403, failedAssignments=8427937, nogoods=6723
684.41/667.38	    nFilterCalls=9492006, avgTableProportion=0.9997590099792736, avgTableSize=5079.880533156005
684.41/667.38	    
742.32/725.28	    num=119, depth=403..762, filters=10115486, revisions=(9885039,useless=304243), ccks=412353857, wck=705.349, mem=3112M652
742.32/725.28	    decisions=18623780, wrong=9270746, backtracks=106942, failedAssignments=9270746, nogoods=6791
742.32/725.28	    nFilterCalls=10352377, avgTableProportion=0.9997608481208763, avgTableSize=5084.631096510492
742.32/725.28	    
806.06/788.97	    num=120, depth=411..742, filters=11068098, revisions=(10817412,useless=306911), ccks=416122771, wck=769.04, mem=3112M652
806.06/788.97	    decisions=20478643, wrong=10197836, backtracks=116769, failedAssignments=10197836, nogoods=6874
806.06/788.97	    nFilterCalls=11297441, avgTableProportion=0.9997637882327594, avgTableSize=5115.984451965715
806.06/788.97	    
876.00/858.89	    num=121, depth=402..766, filters=12117308, revisions=(11842386,useless=309485), ccks=420059371, wck=838.961, mem=3151M31
876.00/858.89	    decisions=22518879, wrong=11217635, backtracks=127329, failedAssignments=11217635, nogoods=6919
876.00/858.89	    nFilterCalls=12335888, avgTableProportion=0.9997666140710838, avgTableSize=5157.6120746232455
876.00/858.89	    
953.82/936.64	    num=122, depth=402..768, filters=13274233, revisions=(12969690,useless=312403), ccks=424139859, wck=916.709, mem=3189M410
953.82/936.64	    decisions=24763182, wrong=12339414, backtracks=142425, failedAssignments=12339414, nogoods=6947
953.82/936.64	    nFilterCalls=13480960, avgTableProportion=0.9997636580180186, avgTableSize=5118.035989425085
953.82/936.64	    
1039.06/1021.83	    num=123, depth=401..762, filters=14543791, revisions=(14209180,useless=315334), ccks=428247990, wck=1001.897, mem=3227M789
1039.06/1021.83	    decisions=27231717, wrong=13573371, backtracks=155214, failedAssignments=13573371, nogoods=7059
1039.06/1021.83	    nFilterCalls=14735774, avgTableProportion=0.9997667511225603, avgTableSize=5173.744650399769
1039.06/1021.83	    
1134.09/1116.82	    num=124, depth=424..749, filters=15952814, revisions=(15572161,useless=318347), ccks=432999423, wck=1096.892, mem=3227M789
1134.09/1116.82	    decisions=29947130, wrong=14930724, backtracks=173947, failedAssignments=14930724, nogoods=7218
1134.09/1116.82	    nFilterCalls=16120032, avgTableProportion=0.9997640851998209, avgTableSize=5078.333739039724
1134.09/1116.82	    
1254.33/1230.61	    num=125, depth=441..762, filters=17481056, revisions=(17070812,useless=321304), ccks=437740650, wck=1210.679, mem=1803M494
1254.33/1230.61	    decisions=32933939, wrong=16423812, backtracks=189109, failedAssignments=16423812, nogoods=7337
1254.33/1230.61	    nFilterCalls=17636366, avgTableProportion=0.9997674001705192, avgTableSize=5116.331598357621
1254.33/1230.61	    
1379.78/1356.07	    num=126, depth=412..737, filters=19173811, revisions=(18719801,useless=325280), ccks=442648126, wck=1336.142, mem=1841M617
1379.78/1356.07	    decisions=36219342, wrong=18066209, backtracks=211772, failedAssignments=18066209, nogoods=7390
1379.78/1356.07	    nFilterCalls=19309492, avgTableProportion=0.9997656408029842, avgTableSize=5051.367504955594
1379.78/1356.07	    
1516.04/1492.28	    num=127, depth=408..728, filters=21020763, revisions=(20532167,useless=328372), ccks=447367037, wck=1472.343, mem=1917M862
1516.04/1492.28	    decisions=39833316, wrong=19872846, backtracks=229736, failedAssignments=19872846, nogoods=7413
1516.04/1492.28	    nFilterCalls=21142272, avgTableProportion=0.9997690124902472, avgTableSize=5109.531810204693
1516.04/1492.28	    
1665.99/1642.12	    num=128, depth=404..722, filters=23056901, revisions=(22525015,useless=331277), ccks=452296778, wck=1622.189, mem=1955M985
1665.99/1642.12	    decisions=43808603, wrong=21860147, backtracks=249922, failedAssignments=21860147, nogoods=7465
1665.99/1642.12	    nFilterCalls=23157926, avgTableProportion=0.9997709801547009, avgTableSize=5133.268438719426
1665.99/1642.12	    
1829.56/1805.66	    num=129, depth=430..738, filters=25285600, revisions=(24716465,useless=334084), ccks=457430485, wck=1785.724, mem=1994M108
1829.56/1805.66	    decisions=48181321, wrong=24046178, backtracks=267176, failedAssignments=24046178, nogoods=7561
1829.56/1805.66	    nFilterCalls=25369326, avgTableProportion=0.9997767973683587, avgTableSize=5251.874938813905
1829.56/1805.66	    
2011.44/1987.45	    num=130, depth=407..742, filters=27749163, revisions=(27126921,useless=337302), ccks=462539985, wck=1967.518, mem=2070M353
2011.44/1987.45	    decisions=52991275, wrong=26450812, backtracks=293781, failedAssignments=26450812, nogoods=7620
2011.44/1987.45	    nFilterCalls=27808700, avgTableProportion=0.9997778939998212, avgTableSize=5270.988671818532
2011.44/1987.45	    
2212.21/2188.12	    num=131, depth=403..738, filters=30470559, revisions=(29777958,useless=340645), ccks=467987990, wck=2168.189, mem=2146M599
2212.21/2188.12	    decisions=58282039, wrong=29095909, backtracks=327655, failedAssignments=29095909, nogoods=7745
2212.21/2188.12	    nFilterCalls=30495684, avgTableProportion=0.9997760037499687, avgTableSize=5209.1513336772505
2212.21/2188.12	    
2434.70/2410.51	    num=132, depth=405..760, filters=33485662, revisions=(32693713,useless=344188), ccks=473879172, wck=2390.576, mem=2184M722
2434.70/2410.51	    decisions=64101831, wrong=32005516, backtracks=366640, failedAssignments=32005516, nogoods=7917
2434.70/2410.51	    nFilterCalls=33452312, avgTableProportion=0.9997735498979211, avgTableSize=5163.455178165264
2434.70/2410.51	    
2520.04/2495.81	
2520.04/2495.81	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11558 MiB free)
  memory of node 1: 16384 MiB (14097 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390874-1568386825/watcher-4390874-1568386825 -o /tmp/evaluation-result-4390874-1568386825/solver-4390874-1568386825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390874-1568386825.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3382, runsolver pid=3379
Current StackSize limit: 8192 KiB


[startup+0.10929 s]*
/proc/loadavg: 1.56 1.59 1.55 4/228 3397
/proc/meminfo: memFree=26255332/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10659884 memory=30276 CPUtime=0.15 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 5597 0 0 0 14 1 0 0 20 0 15 0 414596418 10915721216 7569 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2664971 7569 2885 1 0 2627468 0
[pid=3382/tid=3384] ppid=3379 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) R 3379 3382 32084 0 -1 4202560 2989 0 0 0 9 0 0 0 20 0 15 0 414596418 10915721216 7569 33554432000 4194304 4196468 140734711318448 140261291875664 140261287665046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 7569 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 7569 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 7569 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 7569 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596420 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260523578656 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260522526320 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596423 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) R 3379 3382 32084 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 414596423 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) R 3379 3382 32084 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 15 0 414596423 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260519349704 140261271556182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0.03 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) R 3379 3382 32084 0 -1 4202560 719 0 0 0 3 0 0 0 20 0 15 0 414596423 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260518316400 140261271814719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 7569 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30276 KiB

[startup+0.210606 s]*
/proc/loadavg: 1.56 1.59 1.55 3/228 3397
/proc/meminfo: memFree=26249192/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10659884 memory=35316 CPUtime=0.32 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 6413 0 0 0 31 1 0 0 20 0 15 0 414596418 10915721216 8829 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2664971 8829 2988 1 0 2627468 0
[pid=3382/tid=3384] ppid=3379 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) R 3379 3382 32084 0 -1 4202560 3474 0 0 0 19 1 0 0 20 0 15 0 414596418 10915721216 8829 33554432000 4194304 4196468 140734711318448 140261291879472 140261287675037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10659884 memory=4294967635 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 8829 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10659884 memory=140066737885352 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 8829 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 8829 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 8829 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596420 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260523578656 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260522526320 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596423 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 414596423 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) S 3379 3382 32084 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 414596423 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0.05 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 754 0 0 0 5 0 0 0 20 0 15 0 414596423 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10659884 memory=140066735126144 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 8829 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35316 KiB

[startup+0.31008 s]*
/proc/loadavg: 1.56 1.59 1.55 3/228 3397
/proc/meminfo: memFree=26241976/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10659884 memory=40180 CPUtime=0.47 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 8869 0 0 0 44 3 0 0 20 0 15 0 414596418 10915721216 10045 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2664971 10045 3000 1 0 2627468 0
[pid=3382/tid=3384] ppid=3379 vsize=10659884 memory=7230368021996071252 CPUtime=0.29 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) R 3379 3382 32084 0 -1 4202560 5865 0 0 0 27 2 0 0 20 0 15 0 414596418 10915721216 10060 33554432000 4194304 4196468 140734711318448 140261291874000 140261287675037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10659884 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 10060 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10659884 memory=140066735179552 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 10060 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10659884 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 10060 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10915721216 10060 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10659884 memory=140066735186464 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596420 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260523578656 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10659884 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414596421 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260522526320 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10659884 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596423 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 414596423 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10659884 memory=140066601155599 CPUtime=0.04 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) R 3379 3382 32084 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 15 0 414596423 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10659884 memory=140066735129357 CPUtime=0.07 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) R 3379 3382 32084 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 15 0 414596423 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260518316400 140261287665046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10659884 memory=140066601164719 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10659884 memory=280133336307680 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596424 10915721216 10060 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40180 KiB

[startup+0.700774 s]
/proc/loadavg: 1.56 1.59 1.55 3/228 3397
/proc/meminfo: memFree=26232592/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10661932 memory=63868 CPUtime=1.11 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 12538 0 0 0 105 6 0 0 20 0 15 0 414596418 10917818368 15967 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2665483 15967 3060 1 0 2627980 0
[pid=3382/tid=3384] ppid=3379 vsize=10661932 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) R 3379 3382 32084 0 -1 4202560 8402 0 0 0 63 4 0 0 20 0 15 0 414596418 10917818368 15967 33554432000 4194304 4196468 140734711318448 140261291876192 140261287675037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10917818368 15967 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10917818368 15967 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10917818368 15967 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10661932 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10917818368 15967 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10661932 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596420 10917818368 15967 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10661932 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414596421 10917818368 15967 33554432000 4194304 4196468 140734711318448 140260523578656 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414596421 10917818368 15967 33554432000 4194304 4196468 140734711318448 140260522526320 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10661932 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596423 10917818368 15967 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10661932 memory=21252 CPUtime=0.1 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 928 0 0 0 10 0 0 0 20 0 15 0 414596423 10917818368 15967 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10661932 memory=492 CPUtime=0.11 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) R 3379 3382 32084 0 -1 4202560 614 0 0 0 11 0 0 0 20 0 15 0 414596423 10917818368 15974 33554432000 4194304 4196468 140734711318448 140260519368688 140261266870329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10661932 memory=1560 CPUtime=0.19 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 1234 0 0 0 19 0 0 0 20 0 15 0 414596423 10917818368 15974 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414596424 10917818368 15974 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10661932 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596424 10917818368 15974 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63868 KiB

[startup+1.5008 s]
/proc/loadavg: 1.56 1.59 1.55 3/228 3397
/proc/meminfo: memFree=26217020/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10663980 memory=75844 CPUtime=2.01 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 16402 0 0 0 194 7 0 0 20 0 15 0 414596418 10919915520 18961 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2665995 18961 3090 1 0 2628492 0
[pid=3382/tid=3384] ppid=3379 vsize=10663980 memory=2241 CPUtime=1.47 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) R 3379 3382 32084 0 -1 4202560 11191 0 0 0 142 5 0 0 20 0 15 0 414596418 10919915520 18961 33554432000 4194304 4196468 140734711318448 140261291883792 140261271733598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10663980 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10919915520 18961 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10919915520 18961 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414596419 10919915520 18961 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414596419 10919915520 18961 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414596420 10919915520 18961 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0

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

/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 11570 0 0 0 406 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0.31 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 17960 0 0 0 28 3 0 0 20 0 16 0 414596420 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260523578720 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260522526336 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.7 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 18118 0 0 0 367 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.79 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) S 3379 3382 32084 0 -1 1077944384 15513 0 0 0 377 2 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10748324 memory=4393084 CPUtime=1.32 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 19525 0 0 0 129 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0.77 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 3038 0 0 0 35 42 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3398] ppid=3379 vsize=10748324 memory=3512 CPUtime=2315.27 cores=0,2,4,6
/proc/3382/task/3398/stat : 3398 (java) R 3379 3382 32084 0 -1 4202560 101550 0 0 0 231494 33 0 0 20 0 16 0 414596606 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260499430992 140260900723150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 2346.46 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4393084 KiB

[startup+2382.3 s]
/proc/loadavg: 1.92 1.97 1.95 2/207 3688
/proc/meminfo: memFree=22139300/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10748324 memory=4393084 CPUtime=2406.49 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 236334 0 0 0 240246 403 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2687081 1098271 3390 1 0 2647217 0
[pid=3382/tid=3384] ppid=3379 vsize=10748324 memory=4393084 CPUtime=1.85 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) S 3379 3382 32084 0 -1 1077944384 12966 0 0 0 178 7 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261291895984 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.8 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 11803 0 0 0 402 78 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.84 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 10426 0 0 0 403 81 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.82 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 10777 0 0 0 403 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10748324 memory=0 CPUtime=4.85 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 11570 0 0 0 406 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0.31 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 17980 0 0 0 28 3 0 0 20 0 16 0 414596420 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260523578720 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10748324 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260522526336 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10748324 memory=39668 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.7 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 18124 0 0 0 367 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.79 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) S 3379 3382 32084 0 -1 1077944384 15521 0 0 0 377 2 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10748324 memory=6935054825532540783 CPUtime=1.32 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 19549 0 0 0 129 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10748324 memory=1560 CPUtime=0.79 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 3112 0 0 0 36 43 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3398] ppid=3379 vsize=10748324 memory=932 CPUtime=2375.28 cores=0,2,4,6
/proc/3382/task/3398/stat : 3398 (java) R 3379 3382 32084 0 -1 4202560 103038 0 0 0 237495 33 0 0 20 0 16 0 414596606 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260499430992 140260900722950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 2406.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4393084 KiB

[startup+2442.3 s]
/proc/loadavg: 1.34 1.79 1.89 2/207 3701
/proc/meminfo: memFree=22139676/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10748324 memory=4393084 CPUtime=2466.52 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 238456 0 0 0 246247 405 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2687081 1098271 3390 1 0 2647217 0
[pid=3382/tid=3384] ppid=3379 vsize=10748324 memory=4393084 CPUtime=1.85 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) S 3379 3382 32084 0 -1 1077944384 12966 0 0 0 178 7 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261291895984 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.8 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 11803 0 0 0 402 78 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.84 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 10426 0 0 0 403 81 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.82 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 10777 0 0 0 403 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10748324 memory=4393084 CPUtime=4.85 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 11570 0 0 0 406 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0.31 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 17990 0 0 0 28 3 0 0 20 0 16 0 414596420 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260523578720 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260522526336 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.7 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 18127 0 0 0 367 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10748324 memory=4393084 CPUtime=3.79 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) S 3379 3382 32084 0 -1 1077944384 15526 0 0 0 377 2 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10748324 memory=4393084 CPUtime=1.32 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 19561 0 0 0 129 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10748324 memory=4393084 CPUtime=0.81 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 3151 0 0 0 37 44 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3398] ppid=3379 vsize=10748324 memory=4393084 CPUtime=2435.28 cores=0,2,4,6
/proc/3382/task/3398/stat : 3398 (java) R 3379 3382 32084 0 -1 4202560 105091 0 0 0 243495 33 0 0 20 0 16 0 414596606 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260499430992 140260900722955 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 2466.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4393084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.8 s]*
/proc/loadavg: 1.13 1.66 1.84 2/207 3704
/proc/meminfo: memFree=22139864/32770624 swapFree=66957012/67108860
[pid=3382] ppid=3379 vsize=10748324 memory=4393084 CPUtime=2520.04 cores=0,2,4,6
/proc/3382/stat : 3382 (java) S 3379 3382 32084 0 -1 1077944320 239938 0 0 0 251598 406 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140734711300992 140261287653111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
/proc/3382/statm: 2687081 1098271 3390 1 0 2647217 0
[pid=3382/tid=3384] ppid=3379 vsize=10748324 memory=6935054825532540783 CPUtime=1.85 cores=0,2,4,6
/proc/3382/task/3384/stat : 3384 (java) S 3379 3382 32084 0 -1 1077944384 12966 0 0 0 178 7 0 0 20 0 16 0 414596418 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261291895984 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3385] ppid=3379 vsize=10748324 memory=4126316290023845779 CPUtime=4.8 cores=0,2,4,6
/proc/3382/task/3385/stat : 3385 (java) S 3379 3382 32084 0 -1 1077944384 11803 0 0 0 402 78 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261224343952 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3386] ppid=3379 vsize=10748324 memory=8112282956445269571 CPUtime=4.84 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (java) S 3379 3382 32084 0 -1 1077944384 10426 0 0 0 403 81 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261223291152 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3387] ppid=3379 vsize=10748324 memory=492 CPUtime=4.82 cores=0,2,4,6
/proc/3382/task/3387/stat : 3387 (java) S 3379 3382 32084 0 -1 1077944384 10777 0 0 0 403 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261222238864 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3388] ppid=3379 vsize=10748324 memory=1560 CPUtime=4.85 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (java) S 3379 3382 32084 0 -1 1077944384 11570 0 0 0 406 79 0 0 20 0 16 0 414596419 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140261221186064 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3389] ppid=3379 vsize=10748324 memory=932 CPUtime=0.31 cores=0,2,4,6
/proc/3382/task/3389/stat : 3389 (java) S 3379 3382 32084 0 -1 1077944384 18010 0 0 0 28 3 0 0 20 0 16 0 414596420 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260524632688 140261287664258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3390] ppid=3379 vsize=10748324 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3390/stat : 3390 (java) S 3379 3382 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260523578720 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3391] ppid=3379 vsize=10748324 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (java) S 3379 3382 32084 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 16 0 414596421 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260522526336 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3392] ppid=3379 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3392/stat : 3392 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260521474640 140261287671707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3393] ppid=3379 vsize=10748324 memory=896 CPUtime=3.7 cores=0,2,4,6
/proc/3382/task/3393/stat : 3393 (java) S 3379 3382 32084 0 -1 1077944384 18133 0 0 0 367 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260520421488 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3394] ppid=3379 vsize=10748324 memory=1980 CPUtime=3.79 cores=0,2,4,6
/proc/3382/task/3394/stat : 3394 (java) S 3379 3382 32084 0 -1 1077944384 15536 0 0 0 377 2 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260519368688 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3395] ppid=3379 vsize=10748324 memory=2520 CPUtime=1.33 cores=0,2,4,6
/proc/3382/task/3395/stat : 3395 (java) S 3379 3382 32084 0 -1 1077944384 19585 0 0 0 130 3 0 0 20 0 16 0 414596423 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260518316400 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3396] ppid=3379 vsize=10748324 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3396/stat : 3396 (java) S 3379 3382 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260517263840 140261287663317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3397] ppid=3379 vsize=10748324 memory=1660 CPUtime=0.83 cores=0,2,4,6
/proc/3382/task/3397/stat : 3397 (java) S 3379 3382 32084 0 -1 1077944384 3225 0 0 0 38 45 0 0 20 0 16 0 414596424 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260516211632 140261287664258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
[pid=3382/tid=3398] ppid=3379 vsize=10748324 memory=111632 CPUtime=2488.79 cores=0,2,4,6
/proc/3382/task/3398/stat : 3398 (java) R 3379 3382 32084 0 -1 4202560 106439 0 0 0 248846 33 0 0 20 0 16 0 414596606 11006283776 1098271 33554432000 4194304 4196468 140734711318448 140260499430992 140260900723142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17379328 140734711325707 140734711325810 140734711325810 140734711328719 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4393084 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2495.84 s]
# the end of solver process 3382 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516 s, system=4.08784 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2495.84
CPU time (s): 2520.09
CPU user time (s): 2516
CPU system time (s): 4.08784
CPU usage (%): 100.971
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 4393084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516
system time used= 4.08784
maximum resident set size= 4393592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59607
involuntary context switches= 1031


# summary of solver processes directly reported to runsolver:
#   pid: 3382
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516
#   total CPU system time (s): 4.08784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8886 second user time and 21.6478 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 16:59:42
IDJOB=4390874
IDBENCH=141269
IDSOLVER=2832
FILE ID=node147/4390874-1568386825
RUNJOBID= node147-1568380472-32115
PBS_JOBID= 21701824
Free space on /tmp= 56436 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390874-1568386825/watcher-4390874-1568386825 -o /tmp/evaluation-result-4390874-1568386825/solver-4390874-1568386825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390874-1568386825.xml -cm

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=1741604099

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26271964 kB
MemAvailable:   31563280 kB
Buffers:          164696 kB
Cached:          5340968 kB
SwapCached:        48500 kB
Active:          2520728 kB
Inactive:        3288152 kB
Active(anon):     255748 kB
Inactive(anon):    89344 kB
Active(file):    2264980 kB
Inactive(file):  3198808 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:            109732 kB
Writeback:             0 kB
AnonPages:        363104 kB
Mapped:            56772 kB
Shmem:             32768 kB
Slab:             285360 kB
SReclaimable:     255988 kB
SUnreclaim:        29372 kB
KernelStack:        3824 kB
PageTables:         6016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56436 MiB
End job on node147 at 2019-09-13 17:41:18