Trace number 4391174

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) 2400.1 2376.63

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 benchmark102.117
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.42/1.89	
2.42/1.89	AbsCon 2 
2.63/1.91	
19.51/12.36	  Instance
19.51/12.36	    name=instance-4391174-1568391717, framework=COP, bounds=-infty..+infty
19.51/12.36	
19.51/12.36	  Loading variables...
20.48/12.61	  Loading constraints...
32.48/18.28	
32.48/18.28	  Domains
32.48/18.28	    nTypes=51, nValues=277826, sizes=[1#2,2#2107,11#1809,12#1...143#27,144#90,147#132,151#746]
32.48/18.28	  Variables
32.48/18.28	    count=6028, degrees=[2#5428,3#1,4#2,5#12...15#85,16#118,17#63,1810#1]
32.48/18.28	  Objectives
32.48/18.28	    way=min, type=SumWeightedLE
32.48/18.28	  Constraints
32.48/18.28	    count=3866, nSpecific=1858, arities=[2#247,3#1809,6#1809,3619#1]
32.48/18.28	    distribution=[CtrExtensionCT-Table#1809,CtrIntension#2008,EQ#26,NE#22,SumWeightedLE#1]
32.48/18.28	    tables=[300#2,308#1,312#1,316#1...7204#2,7208#1,7216#1,7220#1], nTotalTuples=6791636
32.48/18.28	    nExtStructures=(1809,shared:0), nIntStructures=(176,shared:1832)
32.48/18.28	    wck=16.416, cpu=15.366, mem=1851M543
33.69/19.19	  Solver SolverBacktrack being built...
33.69/19.19	
33.81/19.26	
33.81/19.26	  Solver
33.81/19.26	    guaranteedGAC=false
33.81/19.26	    wck=17.397, cpu=16.346, mem=2677M627
39.03/23.94	
39.03/23.94	  Preprocessing
39.03/23.94	    filters=1809, revisions=(2633,useless=2633), ccks=50765892, nACremovedValues=15112, nTotalRemovedValues=15112, inconcistency=false
39.03/23.94	    wck=4.682, cpu=21.03, mem=2677M627
39.03/23.94	
40.82/25.16	    num=0, depth=733..733, filters=6895, revisions=(7746,useless=5156), ccks=59629363, wck=5.901, mem=2716M960
40.82/25.16	    decisions=753, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
40.82/25.16	    nFilterCalls=9945, avgTableProportion=0.9995876707655832, avgTableSize=3698.5808949220714
40.82/25.16	    
41.66/25.75	    num=1, depth=749..749, filters=11990, revisions=(12831,useless=7658), ccks=62605057, wck=6.489, mem=2716M960
41.66/25.75	    decisions=1524, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
41.66/25.75	    nFilterCalls=18111, avgTableProportion=0.9995869279341508, avgTableSize=3692.324057202805
41.66/25.75	    
42.36/26.31	    num=2, depth=741..741, filters=17095, revisions=(17933,useless=10161), ccks=65612210, wck=7.051, mem=2736M652
42.36/26.31	    decisions=2289, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
42.36/26.31	    nFilterCalls=26285, avgTableProportion=0.9995865671414994, avgTableSize=3688.7708198592354
42.36/26.31	    
42.88/26.86	    num=3, depth=739..739, filters=22181, revisions=(23026,useless=12672), ccks=68508984, wck=7.598, mem=2736M652
42.88/26.86	    decisions=3054, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
42.88/26.86	    nFilterCalls=34442, avgTableProportion=0.999586386616531, avgTableSize=3687.3187968178386
42.88/26.86	    
43.39/27.39	    num=4, depth=731..731, filters=27271, revisions=(28140,useless=15197), ccks=71242018, wck=8.129, mem=2736M652
43.39/27.39	    decisions=3813, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
43.39/27.39	    nFilterCalls=42598, avgTableProportion=0.999586308161064, avgTableSize=3686.7850133809097
43.39/27.39	    
44.00/27.99	    num=5, depth=726..726, filters=32384, revisions=(33294,useless=17738), ccks=74900733, wck=8.734, mem=2736M652
44.00/27.99	    decisions=4571, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
44.00/27.99	    nFilterCalls=50770, avgTableProportion=0.9995862896193206, avgTableSize=3686.3944061453612
44.00/27.99	    
44.61/28.54	    num=6, depth=729..729, filters=37488, revisions=(38410,useless=20253), ccks=77775489, wck=9.278, mem=2736M652
44.61/28.54	    decisions=5334, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
44.61/28.54	    nFilterCalls=58936, avgTableProportion=0.9995862771097397, avgTableSize=3686.604112936066
44.61/28.54	    
45.17/29.08	    num=7, depth=730..730, filters=42593, revisions=(43526,useless=22766), ccks=80675468, wck=9.824, mem=2736M652
45.17/29.08	    decisions=6102, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
45.17/29.08	    nFilterCalls=67103, avgTableProportion=0.9995862319859525, avgTableSize=3686.007346914445
45.17/29.08	    
45.78/29.62	    num=8, depth=726..726, filters=47708, revisions=(48671,useless=25298), ccks=83502706, wck=10.359, mem=2736M652
45.78/29.62	    decisions=6870, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
45.78/29.62	    nFilterCalls=75276, avgTableProportion=0.9995862617931628, avgTableSize=3686.55313778628
45.78/29.62	    
46.29/30.17	    num=9, depth=734..734, filters=52821, revisions=(53791,useless=27810), ccks=86442423, wck=10.905, mem=2736M652
46.29/30.17	    decisions=7650, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
46.29/30.17	    nFilterCalls=83452, avgTableProportion=0.9995862871809579, avgTableSize=3686.8137612040455
46.29/30.17	    
46.90/30.70	    num=10, depth=732..732, filters=57918, revisions=(58913,useless=30335), ccks=89203600, wck=11.438, mem=2736M652
46.90/30.70	    decisions=8432, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
46.90/30.70	    nFilterCalls=91616, avgTableProportion=0.999586271895558, avgTableSize=3686.603759168704
46.90/30.70	    
47.41/31.23	    num=11, depth=738..738, filters=63030, revisions=(64023,useless=32839), ccks=91987778, wck=11.974, mem=2736M652
47.41/31.23	    decisions=9226, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
47.41/31.23	    nFilterCalls=99797, avgTableProportion=0.9995863027519465, avgTableSize=3687.0465945870114
47.41/31.23	    
47.91/31.78	    num=12, depth=741..741, filters=68147, revisions=(69132,useless=35338), ccks=94864961, wck=12.517, mem=2775M985
47.91/31.78	    decisions=10029, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
47.91/31.78	    nFilterCalls=107983, avgTableProportion=0.9995863299639377, avgTableSize=3687.2743950436643
47.91/31.78	    
48.51/32.32	    num=13, depth=734..734, filters=73286, revisions=(74271,useless=37842), ccks=97802168, wck=13.065, mem=2775M985
48.51/32.32	    decisions=10831, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
48.51/32.32	    nFilterCalls=116186, avgTableProportion=0.9995863846566654, avgTableSize=3687.9683610762054
48.51/32.32	    
49.03/32.86	    num=14, depth=741..741, filters=78408, revisions=(79394,useless=40349), ccks=100564360, wck=13.6, mem=2775M985
49.03/32.86	    decisions=11646, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
49.03/32.86	    nFilterCalls=124378, avgTableProportion=0.9995864334666518, avgTableSize=3688.526620463426
49.03/32.86	    
49.64/33.42	    num=15, depth=735..735, filters=83542, revisions=(84536,useless=42863), ccks=103600376, wck=14.157, mem=2775M985
49.64/33.42	    decisions=12463, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
49.64/33.42	    nFilterCalls=132576, avgTableProportion=0.9995864787635836, avgTableSize=3688.913664615013
49.64/33.42	    
50.15/33.96	    num=16, depth=738..738, filters=88673, revisions=(89674,useless=45374), ccks=106489999, wck=14.702, mem=2775M985
50.15/33.96	    decisions=13291, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
50.15/33.96	    nFilterCalls=140776, avgTableProportion=0.9995865010945897, avgTableSize=3688.855699835199
50.15/33.96	    
50.78/34.52	    num=17, depth=738..738, filters=93810, revisions=(94821,useless=47890), ccks=109469354, wck=15.256, mem=2775M985
50.78/34.52	    decisions=14129, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
50.78/34.52	    nFilterCalls=148982, avgTableProportion=0.9995865444303916, avgTableSize=3689.3302278127558
50.78/34.52	    
51.29/35.06	    num=18, depth=739..739, filters=98958, revisions=(99971,useless=50399), ccks=112347424, wck=15.8, mem=2775M985
51.29/35.06	    decisions=14978, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
51.29/35.06	    nFilterCalls=157197, avgTableProportion=0.9995865885844435, avgTableSize=3689.6379765517154
51.29/35.06	    
51.88/35.60	    num=19, depth=739..739, filters=104104, revisions=(105126,useless=52912), ccks=115142412, wck=16.337, mem=2775M985
51.88/35.60	    decisions=15839, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
51.88/35.60	    nFilterCalls=165413, avgTableProportion=0.9995866149307167, avgTableSize=3689.5464141270636
51.88/35.60	    
52.39/36.13	    num=20, depth=738..738, filters=109258, revisions=(110290,useless=55428), ccks=117841174, wck=16.871, mem=2775M985
52.39/36.13	    decisions=16711, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
52.39/36.13	    nFilterCalls=173637, avgTableProportion=0.9995866726812301, avgTableSize=3690.1740124512635
52.39/36.13	    
52.89/36.68	    num=21, depth=738..739, filters=114426, revisions=(115459,useless=57937), ccks=120719249, wck=17.418, mem=2775M985
52.89/36.68	    decisions=17597, wrong=704, backtracks=1, failedAssignments=704, nogoods=647
52.89/36.68	    nFilterCalls=181872, avgTableProportion=0.9995867304866285, avgTableSize=3690.601752881147
52.89/36.68	    
53.54/37.22	    num=22, depth=738..739, filters=119593, revisions=(120634,useless=60450), ccks=123480167, wck=17.959, mem=2775M985
53.54/37.22	    decisions=18497, wrong=785, backtracks=2, failedAssignments=785, nogoods=704
53.54/37.22	    nFilterCalls=190109, avgTableProportion=0.9995867681814384, avgTableSize=3690.5701097791266
53.54/37.22	    
54.05/37.76	    num=23, depth=737..738, filters=124770, revisions=(125820,useless=62966), ccks=126178956, wck=18.496, mem=2815M317
54.05/37.76	    decisions=19412, wrong=874, backtracks=3, failedAssignments=874, nogoods=785
54.05/37.76	    nFilterCalls=198355, avgTableProportion=0.9995868397976023, avgTableSize=3691.338897431373
54.05/37.76	    
54.65/38.31	    num=24, depth=737..738, filters=129962, revisions=(131013,useless=65475), ccks=129057055, wck=19.046, mem=2815M317
54.65/38.31	    decisions=20345, wrong=972, backtracks=4, failedAssignments=972, nogoods=787
54.65/38.31	    nFilterCalls=206614, avgTableProportion=0.999586911338026, avgTableSize=3691.8911980795106
54.65/38.31	    
55.16/38.85	    num=25, depth=737..738, filters=135156, revisions=(136215,useless=67988), ccks=131818000, wck=19.591, mem=2815M317
55.16/38.85	    decisions=21298, wrong=1080, backtracks=5, failedAssignments=1080, nogoods=866
55.16/38.85	    nFilterCalls=214878, avgTableProportion=0.9995869606459491, avgTableSize=3691.88979793185
55.16/38.85	    
55.67/39.39	    num=26, depth=736..737, filters=140363, revisions=(141431,useless=70504), ccks=134516819, wck=20.131, mem=2815M317
55.67/39.39	    decisions=22272, wrong=1199, backtracks=6, failedAssignments=1199, nogoods=940
55.67/39.39	    nFilterCalls=223154, avgTableProportion=0.9995870509689898, avgTableSize=3692.8563055109926
55.67/39.39	    
56.27/39.94	    num=27, depth=737..738, filters=145588, revisions=(146657,useless=73013), ccks=137394951, wck=20.683, mem=2815M317
56.27/39.94	    decisions=23271, wrong=1330, backtracks=7, failedAssignments=1330, nogoods=960
56.27/39.94	    nFilterCalls=231446, avgTableProportion=0.9995871404024195, avgTableSize=3693.558549294436
56.27/39.94	    
56.80/40.49	    num=28, depth=735..738, filters=150820, revisions=(151895,useless=75526), ccks=140155932, wck=21.232, mem=2815M317
56.80/40.49	    decisions=24294, wrong=1474, backtracks=10, failedAssignments=1474, nogoods=1003
56.80/40.49	    nFilterCalls=239746, avgTableProportion=0.9995872035601795, avgTableSize=3693.606850583534
56.80/40.49	    
57.41/41.04	    num=29, depth=735..737, filters=156067, revisions=(157150,useless=78042), ccks=142854790, wck=21.775, mem=2815M317
57.41/41.04	    decisions=25345, wrong=1632, backtracks=12, failedAssignments=1632, nogoods=1056
57.41/41.04	    nFilterCalls=248061, avgTableProportion=0.9995873141861363, avgTableSize=3694.781013541024
57.41/41.04	    
57.91/41.59	    num=30, depth=736..737, filters=161335, revisions=(162419,useless=80551), ccks=145732965, wck=22.331, mem=2815M317
57.91/41.59	    decisions=26429, wrong=1806, backtracks=13, failedAssignments=1806, nogoods=1138
57.91/41.59	    nFilterCalls=256396, avgTableProportion=0.9995874241746655, avgTableSize=3695.6564610992373
57.91/41.59	    
58.52/42.14	    num=31, depth=734..738, filters=166615, revisions=(167704,useless=83064), ccks=148493993, wck=22.879, mem=2815M317
58.52/42.14	    decisions=27545, wrong=1997, backtracks=17, failedAssignments=1997, nogoods=1154
58.52/42.14	    nFilterCalls=264743, avgTableProportion=0.9995875068413943, avgTableSize=3695.7760658449893
58.52/42.14	    
59.01/42.68	    num=32, depth=735..737, filters=171915, revisions=(173012,useless=85580), ccks=151192904, wck=23.422, mem=2815M317
59.01/42.68	    decisions=28702, wrong=2208, backtracks=19, failedAssignments=2208, nogoods=1218
59.01/42.68	    nFilterCalls=273111, avgTableProportion=0.9995876478701612, avgTableSize=3697.2619301309724
59.01/42.68	    
59.61/43.24	    num=33, depth=734..738, filters=177244, revisions=(178339,useless=88089), ccks=154071137, wck=23.984, mem=2815M317
59.61/43.24	    decisions=29900, wrong=2440, backtracks=23, failedAssignments=2440, nogoods=1242
59.61/43.24	    nFilterCalls=281504, avgTableProportion=0.9995877863584097, avgTableSize=3698.3713268727975
59.61/43.24	    
60.11/43.80	    num=34, depth=735..738, filters=182587, revisions=(183688,useless=90602), ccks=156832229, wck=24.536, mem=2815M317
60.11/43.80	    decisions=31145, wrong=2695, backtracks=26, failedAssignments=2695, nogoods=1285
60.11/43.80	    nFilterCalls=289915, avgTableProportion=0.9995878918321311, avgTableSize=3698.54616353069
60.11/43.80	    
60.71/44.36	    num=35, depth=732..736, filters=187959, revisions=(189066,useless=93118), ccks=159531210, wck=25.096, mem=2854M650
60.71/44.36	    decisions=32439, wrong=2976, backtracks=30, failedAssignments=2976, nogoods=1293
60.71/44.36	    nFilterCalls=298353, avgTableProportion=0.9995880677327246, avgTableSize=3700.394220939625
60.71/44.36	    
61.31/44.92	    num=36, depth=735..738, filters=193364, revisions=(194470,useless=95627), ccks=162409520, wck=25.661, mem=2854M650
61.31/44.92	    decisions=33792, wrong=3285, backtracks=33, failedAssignments=3285, nogoods=1333
61.31/44.92	    nFilterCalls=306823, avgTableProportion=0.9995882412083862, avgTableSize=3701.789771301369
61.31/44.92	    
61.81/45.48	    num=37, depth=731..737, filters=198795, revisions=(199904,useless=98140), ccks=165170697, wck=26.225, mem=2854M650
61.81/45.48	    decisions=35203, wrong=3625, backtracks=39, failedAssignments=3625, nogoods=1344
61.81/45.48	    nFilterCalls=315320, avgTableProportion=0.9995883734548534, avgTableSize=3702.028333121908
61.81/45.48	    
62.42/46.04	    num=38, depth=734..737, filters=204259, revisions=(205375,useless=100656), ccks=167869771, wck=26.785, mem=2854M650
62.42/46.04	    decisions=36685, wrong=3999, backtracks=42, failedAssignments=3999, nogoods=1362
62.42/46.04	    nFilterCalls=323851, avgTableProportion=0.9995885938467309, avgTableSize=3704.3289012539717
62.42/46.04	    
63.01/46.62	    num=39, depth=732..737, filters=209768, revisions=(210881,useless=103165), ccks=170748183, wck=27.362, mem=2854M650
63.01/46.62	    decisions=38239, wrong=4410, backtracks=47, failedAssignments=4410, nogoods=1418
63.01/46.62	    nFilterCalls=332424, avgTableProportion=0.9995888126272975, avgTableSize=3706.102297066397
63.01/46.62	    
63.52/47.19	    num=40, depth=733..738, filters=215310, revisions=(216427,useless=105678), ccks=173509472, wck=27.931, mem=2854M650
63.52/47.19	    decisions=39876, wrong=4862, backtracks=52, failedAssignments=4862, nogoods=1491
63.52/47.19	    nFilterCalls=341032, avgTableProportion=0.9995889821026549, avgTableSize=3706.4528900513733
63.52/47.19	    
64.12/47.75	    num=41, depth=732..736, filters=220898, revisions=(222021,useless=108194), ccks=176208669, wck=28.492, mem=2854M650
64.12/47.75	    decisions=41602, wrong=5359, backtracks=56, failedAssignments=5359, nogoods=1564
64.12/47.75	    nFilterCalls=349687, avgTableProportion=0.999589259591365, avgTableSize=3709.338119518312
64.12/47.75	    
64.75/48.34	    num=42, depth=730..738, filters=226546, revisions=(227663,useless=110703), ccks=179087217, wck=29.08, mem=2854M650
64.75/48.34	    decisions=43426, wrong=5906, backtracks=64, failedAssignments=5906, nogoods=1593
64.75/48.34	    nFilterCalls=358395, avgTableProportion=0.999589532689985, avgTableSize=3711.5519161818665
64.75/48.34	    
65.35/48.92	    num=43, depth=725..737, filters=232245, revisions=(233359,useless=113216), ccks=181848656, wck=29.664, mem=2854M650
65.35/48.92	    decisions=45355, wrong=6508, backtracks=76, failedAssignments=6508, nogoods=1594
65.35/48.92	    nFilterCalls=367154, avgTableProportion=0.9995897478496631, avgTableSize=3712.0377552743535
65.35/48.92	    
65.95/49.51	    num=44, depth=728..736, filters=238002, revisions=(239118,useless=115732), ccks=184548018, wck=30.249, mem=2854M650
65.95/49.51	    decisions=47407, wrong=7170, backtracks=84, failedAssignments=7170, nogoods=1644
65.95/49.51	    nFilterCalls=375973, avgTableProportion=0.9995900946403594, avgTableSize=3715.6314868354907
65.95/49.51	    
66.46/50.10	    num=45, depth=730..738, filters=243831, revisions=(244941,useless=118241), ccks=187426747, wck=30.841, mem=2854M650
66.46/50.10	    decisions=49593, wrong=7898, backtracks=92, failedAssignments=7898, nogoods=1693
66.46/50.10	    nFilterCalls=384862, avgTableProportion=0.9995904373162349, avgTableSize=3718.4085048666793
66.46/50.10	    
67.05/50.70	    num=46, depth=729..738, filters=249726, revisions=(250836,useless=120754), ccks=190188385, wck=31.435, mem=2854M650
67.05/50.70	    decisions=51924, wrong=8699, backtracks=101, failedAssignments=8699, nogoods=1721
67.05/50.70	    nFilterCalls=393818, avgTableProportion=0.9995907080594012, avgTableSize=3719.034482933741
67.05/50.70	    
67.75/51.30	    num=47, depth=727..737, filters=255704, revisions=(256814,useless=123270), ccks=192887966, wck=32.039, mem=2893M982
67.75/51.30	    decisions=54413, wrong=9580, backtracks=111, failedAssignments=9580, nogoods=1833
67.75/51.30	    nFilterCalls=402856, avgTableProportion=0.9995911435355742, avgTableSize=3723.532483070874
67.75/51.30	    
68.35/51.92	    num=48, depth=724..737, filters=261780, revisions=(262879,useless=125779), ccks=195766937, wck=32.657, mem=2893M982
68.35/51.92	    decisions=57077, wrong=10550, backtracks=124, failedAssignments=10550, nogoods=1943
68.35/51.92	    nFilterCalls=411987, avgTableProportion=0.9995915753481197, avgTableSize=3727.040462441776
68.35/51.92	    
68.95/52.53	    num=49, depth=722..737, filters=267947, revisions=(269040,useless=128292), ccks=198528841, wck=33.27, mem=2893M982
68.95/52.53	    decisions=59933, wrong=11617, backtracks=139, failedAssignments=11617, nogoods=1964
68.95/52.53	    nFilterCalls=421210, avgTableProportion=0.9995919186561545, avgTableSize=3727.8665558747416
68.95/52.53	    
69.56/53.16	    num=50, depth=718..737, filters=274226, revisions=(275310,useless=130808), ccks=201228714, wck=33.896, mem=2893M982
69.56/53.16	    decisions=62997, wrong=12790, backtracks=158, failedAssignments=12790, nogoods=1965
69.56/53.16	    nFilterCalls=430540, avgTableProportion=0.9995924647180349, avgTableSize=3733.4943652157754
69.56/53.16	    
70.25/53.80	    num=51, depth=713..738, filters=280635, revisions=(281696,useless=133317), ccks=204108006, wck=34.54, mem=2893M982
70.25/53.80	    decisions=66292, wrong=14081, backtracks=183, failedAssignments=14081, nogoods=2067
70.25/53.80	    nFilterCalls=439992, avgTableProportion=0.9995930046324191, avgTableSize=3737.868983981527
70.25/53.80	    
70.85/54.44	    num=52, depth=718..738, filters=287160, revisions=(288210,useless=135830), ccks=206870263, wck=35.184, mem=2893M982
70.85/54.44	    decisions=69850, wrong=15501, backtracks=203, failedAssignments=15501, nogoods=2108
70.85/54.44	    nFilterCalls=449568, avgTableProportion=0.9995934361968013, avgTableSize=3738.926689622037
70.85/54.44	    
71.46/55.09	    num=53, depth=725..737, filters=293821, revisions=(294869,useless=138346), ccks=209570525, wck=35.83, mem=2893M982
71.46/55.09	    decisions=73699, wrong=17063, backtracks=215, failedAssignments=17063, nogoods=2159
71.46/55.09	    nFilterCalls=459286, avgTableProportion=0.999594124985647, avgTableSize=3746.0225436873757
71.46/55.09	    
72.15/55.76	    num=54, depth=700..738, filters=300670, revisions=(301682,useless=140855), ccks=212450244, wck=36.504, mem=2893M982
72.15/55.76	    decisions=77835, wrong=18781, backtracks=253, failedAssignments=18781, nogoods=2210
72.15/55.76	    nFilterCalls=469165, avgTableProportion=0.9995948009740866, avgTableSize=3751.5008770901495
72.15/55.76	    
72.86/56.44	    num=55, depth=707..738, filters=307676, revisions=(308666,useless=143368), ccks=215212971, wck=37.178, mem=2893M982
72.86/56.44	    decisions=82322, wrong=20671, backtracks=284, failedAssignments=20671, nogoods=2275
72.86/56.44	    nFilterCalls=479211, avgTableProportion=0.9995953431623921, avgTableSize=3752.85048757228
72.86/56.44	    
73.59/57.12	    num=56, depth=715..736, filters=314863, revisions=(315842,useless=145884), ccks=217913750, wck=37.864, mem=2893M982
73.59/57.12	    decisions=87195, wrong=22750, backtracks=305, failedAssignments=22750, nogoods=2309
73.59/57.12	    nFilterCalls=489447, avgTableProportion=0.9995962050393948, avgTableSize=3761.712408085043
73.59/57.12	    
74.28/57.82	    num=57, depth=702..738, filters=322279, revisions=(323224,useless=148393), ccks=220794038, wck=38.562, mem=2893M982
74.28/57.82	    decisions=92471, wrong=25037, backtracks=341, failedAssignments=25037, nogoods=2329
74.28/57.82	    nFilterCalls=499895, avgTableProportion=0.9995970547357275, avgTableSize=3768.6123425919445
74.28/57.82	    
74.98/58.54	    num=58, depth=685..738, filters=329933, revisions=(330834,useless=150906), ccks=223557391, wck=39.276, mem=2933M315
74.98/58.54	    decisions=98188, wrong=27553, backtracks=394, failedAssignments=27553, nogoods=2336
74.98/58.54	    nFilterCalls=510567, avgTableProportion=0.999597732421361, avgTableSize=3770.3142643374913
74.98/58.54	    
75.69/59.28	    num=59, depth=710..737, filters=337815, revisions=(338699,useless=153422), ccks=226258859, wck=40.015, mem=2933M315
75.69/59.28	    decisions=104434, wrong=30321, backtracks=421, failedAssignments=30321, nogoods=2462
75.69/59.28	    nFilterCalls=521492, avgTableProportion=0.9995988091051353, avgTableSize=3781.3949590789503
75.69/59.28	    
76.50/60.04	    num=60, depth=688..737, filters=346001, revisions=(346838,useless=155931), ccks=229139904, wck=40.777, mem=2933M315
76.50/60.04	    decisions=111210, wrong=33365, backtracks=470, failedAssignments=33365, nogoods=2554
76.50/60.04	    nFilterCalls=532698, avgTableProportion=0.9995998682502651, avgTableSize=3789.9995344454082
76.50/60.04	    
77.29/60.80	    num=61, depth=697..738, filters=354476, revisions=(355281,useless=158444), ccks=231904090, wck=41.541, mem=2933M315
77.29/60.80	    decisions=118605, wrong=36714, backtracks=511, failedAssignments=36714, nogoods=2624
77.29/60.80	    nFilterCalls=544203, avgTableProportion=0.9996007131968153, avgTableSize=3792.0835993186365
77.29/60.80	    
77.99/61.57	    num=62, depth=705..737, filters=363279, revisions=(364062,useless=160960), ccks=234606474, wck=42.31, mem=2933M315
77.99/61.57	    decisions=126678, wrong=40398, backtracks=543, failedAssignments=40398, nogoods=2629
77.99/61.57	    nFilterCalls=556044, avgTableProportion=0.9996019639440477, avgTableSize=3802.8125400148188
77.99/61.57	    
78.79/62.37	    num=63, depth=708..743, filters=372452, revisions=(373197,useless=163463), ccks=237428815, wck=43.112, mem=2933M315
78.79/62.37	    decisions=135490, wrong=44450, backtracks=578, failedAssignments=44450, nogoods=2727
78.79/62.37	    nFilterCalls=568256, avgTableProportion=0.9996032832586682, avgTableSize=3813.571319968465
78.79/62.37	    
79.71/63.23	    num=64, depth=686..744, filters=382086, revisions=(382743,useless=165965), ccks=240511271, wck=43.965, mem=2933M315
79.71/63.23	    decisions=145090, wrong=48907, backtracks=650, failedAssignments=48907, nogoods=2761
79.71/63.23	    nFilterCalls=580893, avgTableProportion=0.999603913487512, avgTableSize=3817.2813840070376
79.71/63.23	    
80.53/64.09	    num=65, depth=697..740, filters=392124, revisions=(392722,useless=168455), ccks=243391161, wck=44.827, mem=2933M315
80.53/64.09	    decisions=155593, wrong=53810, backtracks=693, failedAssignments=53810, nogoods=2806
80.53/64.09	    nFilterCalls=593960, avgTableProportion=0.9996054491358771, avgTableSize=3829.853582732844
80.53/64.09	    
81.42/64.99	    num=66, depth=699..741, filters=402653, revisions=(403202,useless=170953), ccks=246308381, wck=45.729, mem=2933M315
81.42/64.99	    decisions=167080, wrong=59204, backtracks=735, failedAssignments=59204, nogoods=2909
81.42/64.99	    nFilterCalls=607519, avgTableProportion=0.9996072378010187, avgTableSize=3848.26468472591
81.42/64.99	    
82.44/65.93	    num=67, depth=689..741, filters=413731, revisions=(414214,useless=173445), ccks=249234479, wck=46.668, mem=2933M315
82.44/65.93	    decisions=179635, wrong=65137, backtracks=787, failedAssignments=65137, nogoods=2967
82.44/65.93	    nFilterCalls=621616, avgTableProportion=0.9996089869996373, avgTableSize=3862.458382667113
82.44/65.93	    
83.34/66.89	    num=68, depth=666..741, filters=425417, revisions=(425818,useless=175941), ccks=252024889, wck=47.629, mem=2933M315
83.34/66.89	    decisions=193353, wrong=71663, backtracks=862, failedAssignments=71663, nogoods=3044
83.34/66.89	    nFilterCalls=636301, avgTableProportion=0.9996103609288239, avgTableSize=3865.6059962187705
83.34/66.89	    
84.34/67.89	    num=69, depth=684..740, filters=437739, revisions=(438078,useless=178440), ccks=254770639, wck=48.629, mem=2972M647
84.34/67.89	    decisions=208395, wrong=78842, backtracks=918, failedAssignments=78842, nogoods=3168
84.34/67.89	    nFilterCalls=651640, avgTableProportion=0.9996125433755593, avgTableSize=3888.187201522313
84.34/67.89	    
85.49/68.96	    num=70, depth=644..740, filters=450842, revisions=(451054,useless=180932), ccks=257684940, wck=49.697, mem=2972M647
85.49/68.96	    decisions=224833, wrong=86739, backtracks=1014, failedAssignments=86739, nogoods=3278
85.49/68.96	    nFilterCalls=667702, avgTableProportion=0.999614665663597, avgTableSize=3905.436850571063
85.49/68.96	    
86.60/70.10	    num=71, depth=611..742, filters=464919, revisions=(464821,useless=183430), ccks=260482868, wck=50.838, mem=2972M647
86.60/70.10	    decisions=242924, wrong=95426, backtracks=1167, failedAssignments=95426, nogoods=3307
86.60/70.10	    nFilterCalls=684680, avgTableProportion=0.9996167203340357, avgTableSize=3920.6786440380906
86.60/70.10	    
87.79/71.26	    num=72, depth=665..740, filters=479637, revisions=(479451,useless=185920), ccks=263269515, wck=52.003, mem=2972M647
87.79/71.26	    decisions=262699, wrong=104981, backtracks=1242, failedAssignments=104981, nogoods=3413
87.79/71.26	    nFilterCalls=702398, avgTableProportion=0.9996193497416865, avgTableSize=3947.861542885942
87.79/71.26	    
89.09/72.51	    num=73, depth=649..742, filters=495346, revisions=(495034,useless=188406), ccks=266340727, wck=53.251, mem=2972M647
89.09/72.51	    decisions=284370, wrong=115492, backtracks=1335, failedAssignments=115492, nogoods=3514
89.09/72.51	    nFilterCalls=721073, avgTableProportion=0.9996218933435298, avgTableSize=3968.3861370485374
89.09/72.51	    
90.39/73.83	    num=74, depth=613..741, filters=512255, revisions=(511671,useless=190899), ccks=269155441, wck=54.572, mem=2972M647
90.39/73.83	    decisions=308222, wrong=127054, backtracks=1474, failedAssignments=127054, nogoods=3544
90.39/73.83	    nFilterCalls=740921, avgTableProportion=0.9996237462715436, avgTableSize=3970.648634604769
90.39/73.83	    
91.80/75.22	    num=75, depth=638..738, filters=530172, revisions=(529481,useless=193394), ccks=272110367, wck=55.959, mem=2972M647
91.80/75.22	    decisions=334296, wrong=139772, backtracks=1574, failedAssignments=139772, nogoods=3663
91.80/75.22	    nFilterCalls=761810, avgTableProportion=0.9996268890685728, avgTableSize=4003.483238602801
91.80/75.22	    
93.30/76.70	    num=76, depth=612..736, filters=549425, revisions=(548557,useless=195891), ccks=275242184, wck=57.44, mem=2972M647
93.30/76.70	    decisions=362888, wrong=153762, backtracks=1698, failedAssignments=153762, nogoods=3706
93.30/76.70	    nFilterCalls=783961, avgTableProportion=0.9996299020400264, avgTableSize=4027.915216445716
93.30/76.70	    
94.80/78.25	    num=77, depth=613..735, filters=570027, revisions=(569041,useless=198395), ccks=278066840, wck=58.991, mem=2972M647
94.80/78.25	    decisions=394279, wrong=169151, backtracks=1820, failedAssignments=169151, nogoods=3724
94.80/78.25	    nFilterCalls=807512, avgTableProportion=0.9996333877027935, avgTableSize=4064.3029602036872
94.80/78.25	    
96.50/79.91	    num=78, depth=540..733, filters=592309, revisions=(591055,useless=200892), ccks=281000544, wck=60.646, mem=2972M647
96.50/79.91	    decisions=428675, wrong=186079, backtracks=2013, failedAssignments=186079, nogoods=3775
96.50/79.91	    nFilterCalls=832600, avgTableProportion=0.9996367007190482, avgTableSize=4090.882579870286
96.50/79.91	    
98.20/81.68	    num=79, depth=608..734, filters=616342, revisions=(614767,useless=203397), ccks=283804891, wck=62.422, mem=3011M980
98.20/81.68	    decisions=466584, wrong=204700, backtracks=2204, failedAssignments=204700, nogoods=3899
98.20/81.68	    nFilterCalls=859502, avgTableProportion=0.9996396678402506, avgTableSize=4106.694250856892
98.20/81.68	    
100.10/83.58	    num=80, depth=574..736, filters=642086, revisions=(640350,useless=205898), ccks=286725429, wck=64.317, mem=3011M980
100.10/83.58	    decisions=508126, wrong=225184, backtracks=2366, failedAssignments=225184, nogoods=3972
100.10/83.58	    nFilterCalls=888156, avgTableProportion=0.9996437019229886, avgTableSize=4149.205135133918
100.10/83.58	    
102.20/85.62	    num=81, depth=535..734, filters=670031, revisions=(667970,useless=208396), ccks=289842337, wck=66.36, mem=3011M980
102.20/85.62	    decisions=553725, wrong=247716, backtracks=2565, failedAssignments=247716, nogoods=4006
102.20/85.62	    nFilterCalls=918848, avgTableProportion=0.9996474996263046, avgTableSize=4179.621787281466
102.20/85.62	    
104.40/87.82	    num=82, depth=604..730, filters=700423, revisions=(697852,useless=210905), ccks=292643250, wck=68.559, mem=3011M980
104.40/87.82	    decisions=603992, wrong=272501, backtracks=2846, failedAssignments=272501, nogoods=4084
104.40/87.82	    nFilterCalls=952036, avgTableProportion=0.9996503496328978, avgTableSize=4183.544143288699
104.40/87.82	    
106.80/90.21	    num=83, depth=535..738, filters=733201, revisions=(730201,useless=213404), ccks=295522841, wck=70.946, mem=3011M980
106.80/90.21	    decisions=659231, wrong=299765, backtracks=3074, failedAssignments=299765, nogoods=4156
106.80/90.21	    nFilterCalls=987664, avgTableProportion=0.9996547403980803, avgTableSize=4228.22677145264
106.80/90.21	    
109.30/92.72	    num=84, depth=468..732, filters=768739, revisions=(765279,useless=215897), ccks=298321106, wck=73.459, mem=3011M980
109.30/92.72	    decisions=719679, wrong=329755, backtracks=3338, failedAssignments=329755, nogoods=4236
109.30/92.72	    nFilterCalls=1025818, avgTableProportion=0.9996590120834463, avgTableSize=4262.7886311217
109.30/92.72	    
112.01/95.44	    num=85, depth=558..732, filters=807238, revisions=(803357,useless=218395), ccks=301242722, wck=76.175, mem=3011M980
112.01/95.44	    decisions=786215, wrong=362744, backtracks=3638, failedAssignments=362744, nogoods=4242
112.01/95.44	    nFilterCalls=1067092, avgTableProportion=0.9996633333719063, avgTableSize=4300.338966087273
112.01/95.44	    
115.02/98.40	    num=86, depth=535..745, filters=849115, revisions=(844715,useless=220879), ccks=304032509, wck=79.143, mem=3011M980
115.02/98.40	    decisions=859451, wrong=399032, backtracks=3931, failedAssignments=399032, nogoods=4286
115.02/98.40	    nFilterCalls=1111758, avgTableProportion=0.9996683285888988, avgTableSize=4352.215577490785
115.02/98.40	    
118.22/101.66	    num=87, depth=404..739, filters=895063, revisions=(889710,useless=223368), ccks=306947841, wck=82.403, mem=3011M980
118.22/101.66	    decisions=940008, wrong=438949, backtracks=4281, failedAssignments=438949, nogoods=4342
118.22/101.66	    nFilterCalls=1160175, avgTableProportion=0.9996729962940635, avgTableSize=4389.932236947012
118.22/101.66	    
121.73/105.11	    num=88, depth=592..734, filters=944665, revisions=(938708,useless=225861), ccks=309794483, wck=85.849, mem=3051M312
121.73/105.11	    decisions=1028509, wrong=482858, backtracks=4605, failedAssignments=482858, nogoods=4422
121.73/105.11	    nFilterCalls=1212527, avgTableProportion=0.9996787097323181, avgTableSize=4464.4025023772665
121.73/105.11	    
125.52/108.96	    num=89, depth=431..743, filters=1000253, revisions=(992053,useless=228327), ccks=312857889, wck=89.697, mem=3051M312
125.52/108.96	    decisions=1125549, wrong=531158, backtracks=5400, failedAssignments=531158, nogoods=4478
125.52/108.96	    nFilterCalls=1269481, avgTableProportion=0.9996786588830774, avgTableSize=4418.947597482751
125.52/108.96	    
129.63/113.10	    num=90, depth=589..740, filters=1059795, revisions=(1050260,useless=230824), ccks=316003337, wck=93.835, mem=3051M312
129.63/113.10	    decisions=1232443, wrong=584288, backtracks=6032, failedAssignments=584288, nogoods=4522
129.63/113.10	    nFilterCalls=1331296, avgTableProportion=0.9996820388944974, avgTableSize=4450.23195893325
129.63/113.10	    
134.22/117.61	    num=91, depth=491..754, filters=1124855, revisions=(1113755,useless=233303), ccks=319070794, wck=98.347, mem=3051M312
134.22/117.61	    decisions=1350037, wrong=642731, backtracks=6830, failedAssignments=642731, nogoods=4545
134.22/117.61	    nFilterCalls=1398659, avgTableProportion=0.9996839467188066, avgTableSize=4434.956289560215
134.22/117.61	    
139.02/122.45	    num=92, depth=465..757, filters=1195320, revisions=(1183085,useless=235773), ccks=322262582, wck=103.194, mem=3051M312
139.02/122.45	    decisions=1479231, wrong=707018, backtracks=7452, failedAssignments=707018, nogoods=4605
139.02/122.45	    nFilterCalls=1471600, avgTableProportion=0.9996887345887125, avgTableSize=4477.747633867899
139.02/122.45	    
144.63/128.02	    num=93, depth=445..764, filters=1274842, revisions=(1258849,useless=238258), ccks=325473186, wck=108.757, mem=3051M312
144.63/128.02	    decisions=1621395, wrong=777734, backtracks=9030, failedAssignments=777734, nogoods=4633
144.63/128.02	    nFilterCalls=1552027, avgTableProportion=0.9996849933692595, avgTableSize=4398.09040371076
144.63/128.02	    
150.32/133.75	    num=94, depth=452..777, filters=1358986, revisions=(1341636,useless=240713), ccks=328645530, wck=114.494, mem=3090M645
150.32/133.75	    decisions=1777476, wrong=855521, backtracks=9818, failedAssignments=855521, nogoods=4735
150.32/133.75	    nFilterCalls=1638493, avgTableProportion=0.9996898997749044, avgTableSize=4432.165271990787
150.32/133.75	    
156.74/140.11	    num=95, depth=403..794, filters=1451571, revisions=(1432172,useless=243155), ccks=331614379, wck=120.852, mem=3090M645
156.74/140.11	    decisions=1949291, wrong=941087, backtracks=10706, failedAssignments=941087, nogoods=4758
156.74/140.11	    nFilterCalls=1732998, avgTableProportion=0.9996945247043977, avgTableSize=4456.291799528909
156.74/140.11	    
163.65/147.05	    num=96, depth=441..778, filters=1552956, revisions=(1531312,useless=245623), ccks=334547043, wck=127.787, mem=3090M645
163.65/147.05	    decisions=2138039, wrong=1035210, backtracks=11957, failedAssignments=1035210, nogoods=4797
163.65/147.05	    nFilterCalls=1836261, avgTableProportion=0.9996968225893103, avgTableSize=4457.562587780278
163.65/147.05	    
171.14/154.58	    num=97, depth=554..797, filters=1663099, revisions=(1639831,useless=248072), ccks=337476100, wck=135.316, mem=3090M645
171.14/154.58	    decisions=2345807, wrong=1138745, backtracks=12787, failedAssignments=1138745, nogoods=4916
171.14/154.58	    nFilterCalls=1948701, avgTableProportion=0.9997036873310139, avgTableSize=4541.051635422777
171.14/154.58	    
179.54/162.96	    num=98, depth=405..779, filters=1786319, revisions=(1758750,useless=250540), ccks=340707780, wck=143.699, mem=3090M645
179.54/162.96	    decisions=2574177, wrong=1252634, backtracks=14164, failedAssignments=1252634, nogoods=4923
179.54/162.96	    nFilterCalls=2071959, avgTableProportion=0.9997065962892762, avgTableSize=4561.301481834342
179.54/162.96	    
188.75/172.11	    num=99, depth=452..758, filters=1920026, revisions=(1889095,useless=253042), ccks=343858146, wck=152.849, mem=3090M645
188.75/172.11	    decisions=2825465, wrong=1377912, backtracks=15874, failedAssignments=1377912, nogoods=4951
188.75/172.11	    nFilterCalls=2207087, avgTableProportion=0.9997085444130465, avgTableSize=4590.613972625456
188.75/172.11	    
198.65/182.08	    num=100, depth=404..759, filters=2067122, revisions=(2031934,useless=255515), ccks=346821854, wck=162.825, mem=3129M977
198.65/182.08	    decisions=3101641, wrong=1515718, backtracks=17562, failedAssignments=1515718, nogoods=5013
198.65/182.08	    nFilterCalls=2354545, avgTableProportion=0.9997118557050979, avgTableSize=4626.958933891686
198.65/182.08	    
209.55/192.95	    num=101, depth=409..754, filters=2227969, revisions=(2188619,useless=258037), ccks=349816275, wck=173.695, mem=3129M977
209.55/192.95	    decisions=3405438, wrong=1667304, backtracks=19634, failedAssignments=1667304, nogoods=5090
209.55/192.95	    nFilterCalls=2516244, avgTableProportion=0.999713636391956, avgTableSize=4639.03855031547
209.55/192.95	    
221.56/204.98	    num=102, depth=402..746, filters=2405317, revisions=(2360494,useless=260577), ccks=353349116, wck=185.719, mem=3129M977
221.56/204.98	    decisions=3739620, wrong=1834049, backtracks=21916, failedAssignments=1834049, nogoods=5247
221.56/204.98	    nFilterCalls=2693393, avgTableProportion=0.9997153006823828, avgTableSize=4637.273843438369
221.56/204.98	    
234.58/217.91	    num=103, depth=406..738, filters=2597623, revisions=(2549051,useless=263123), ccks=356751759, wck=198.652, mem=3169M310
234.58/217.91	    decisions=4107101, wrong=2017468, backtracks=23787, failedAssignments=2017468, nogoods=5328
234.58/217.91	    nFilterCalls=2886756, avgTableProportion=0.9997203854792753, avgTableSize=4700.802950439871
234.58/217.91	    
248.88/232.20	    num=104, depth=417..756, filters=2809820, revisions=(2755901,useless=265631), ccks=359781078, wck=212.944, mem=3169M310
248.88/232.20	    decisions=4511252, wrong=2219229, backtracks=26389, failedAssignments=2219229, nogoods=5408
248.88/232.20	    nFilterCalls=3099171, avgTableProportion=0.9997227387769695, avgTableSize=4722.584633439072
248.88/232.20	    
264.30/247.63	    num=105, depth=403..759, filters=3040627, revisions=(2982906,useless=268106), ccks=363070474, wck=228.367, mem=3169M310
264.30/247.63	    decisions=4955779, wrong=2441167, backtracks=28210, failedAssignments=2441167, nogoods=5514
264.30/247.63	    nFilterCalls=3331016, avgTableProportion=0.9997297005562742, avgTableSize=4809.114517612645
264.30/247.63	    
281.40/264.74	    num=106, depth=462..765, filters=3294733, revisions=(3232128,useless=270610), ccks=366544860, wck=245.479, mem=3169M310
281.40/264.74	    decisions=5444780, wrong=2685298, backtracks=30688, failedAssignments=2685298, nogoods=5590
281.40/264.74	    nFilterCalls=3585791, avgTableProportion=0.999734190395118, avgTableSize=4853.579857554442
281.40/264.74	    
300.10/283.41	    num=107, depth=402..773, filters=3574236, revisions=(3505749,useless=273112), ccks=369803846, wck=264.145, mem=3208M642
300.10/283.41	    decisions=5982306, wrong=2953843, backtracks=33565, failedAssignments=2953843, nogoods=5688
300.10/283.41	    nFilterCalls=3865061, avgTableProportion=0.9997345330127942, avgTableSize=4839.808512983365
300.10/283.41	    
320.61/303.99	    num=108, depth=433..774, filters=3882310, revisions=(3806244,useless=275627), ccks=373203511, wck=284.73, mem=3208M642
320.61/303.99	    decisions=6573834, wrong=3249242, backtracks=36706, failedAssignments=3249242, nogoods=5924
320.61/303.99	    nFilterCalls=4171752, avgTableProportion=0.9997385859830431, avgTableSize=4902.596147134345
320.61/303.99	    
343.91/327.22	    num=109, depth=444..745, filters=4225351, revisions=(4136340,useless=278175), ccks=376669635, wck=307.96, mem=3247M975
343.91/327.22	    decisions=7224324, wrong=3574181, backtracks=42382, failedAssignments=3574181, nogoods=6069
343.91/327.22	    nFilterCalls=4510430, avgTableProportion=0.9997371518217493, avgTableSize=4933.97230640981
343.91/327.22	    
368.41/351.79	    num=110, depth=409..733, filters=4595021, revisions=(4498935,useless=280733), ccks=379976376, wck=332.535, mem=3247M975
368.41/351.79	    decisions=7939753, wrong=3931614, backtracks=45976, failedAssignments=3931614, nogoods=6139
368.41/351.79	    nFilterCalls=4879465, avgTableProportion=0.9997417242940974, avgTableSize=4969.98485018337
368.41/351.79	    
395.42/378.75	    num=111, depth=407..749, filters=5001304, revisions=(4897292,useless=283315), ccks=383294076, wck=359.495, mem=3287M307
395.42/378.75	    decisions=8726716, wrong=4324790, backtracks=50125, failedAssignments=4324790, nogoods=6224
395.42/378.75	    nFilterCalls=5284840, avgTableProportion=0.9997453955896727, avgTableSize=4995.252112835961
395.42/378.75	    
425.14/408.40	    num=112, depth=426..729, filters=5448671, revisions=(5335053,useless=285961), ccks=386724431, wck=389.137, mem=3287M307
425.14/408.40	    decisions=9592380, wrong=4757284, backtracks=54618, failedAssignments=4757284, nogoods=6304
425.14/408.40	    nFilterCalls=5729964, avgTableProportion=0.9997489177452044, avgTableSize=5009.935073588595
425.14/408.40	    
458.24/441.53	    num=113, depth=403..746, filters=5944167, revisions=(5816154,useless=288713), ccks=390169551, wck=422.268, mem=3308M775
458.24/441.53	    decisions=10544403, wrong=5233028, backtracks=62120, failedAssignments=5233028, nogoods=6339
458.24/441.53	    nFilterCalls=6221191, avgTableProportion=0.9997460136106926, avgTableSize=4963.804860676999
458.24/441.53	    
509.71/486.71	    num=114, depth=424..746, filters=6485666, revisions=(6344596,useless=291244), ccks=393510565, wck=467.45, mem=1802M301
509.71/486.71	    decisions=11591750, wrong=5756346, backtracks=67532, failedAssignments=5756346, nogoods=6443
509.71/486.71	    nFilterCalls=6758068, avgTableProportion=0.9997499361436234, avgTableSize=5018.52402728117
509.71/486.71	    
564.53/541.55	    num=115, depth=402..760, filters=7083048, revisions=(6925467,useless=293867), ccks=397039341, wck=522.294, mem=1802M709
564.53/541.55	    decisions=12743799, wrong=6331996, backtracks=75030, failedAssignments=6331996, nogoods=6576
564.53/541.55	    nFilterCalls=7349405, avgTableProportion=0.9997505886173277, avgTableSize=5021.988806304728
564.53/541.55	    
624.35/601.35	    num=116, depth=405..746, filters=7736275, revisions=(7563879,useless=296456), ccks=400678679, wck=582.091, mem=1841M917
624.35/601.35	    decisions=14010830, wrong=6965211, backtracks=82548, failedAssignments=6965211, nogoods=6597
624.35/601.35	    nFilterCalls=7998186, avgTableProportion=0.9997522817093316, avgTableSize=5021.028350928573
624.35/601.35	    
689.86/666.80	    num=117, depth=402..750, filters=8450609, revisions=(8265621,useless=299044), ccks=404655421, wck=647.542, mem=1881M125
689.86/666.80	    decisions=15404602, wrong=7661747, backtracks=88772, failedAssignments=7661747, nogoods=6624
689.86/666.80	    nFilterCalls=8709112, avgTableProportion=0.999757459045359, avgTableSize=5074.640919074183
689.86/666.80	    
762.38/739.34	    num=118, depth=402..737, filters=9248475, revisions=(9036959,useless=301577), ccks=408488255, wck=720.082, mem=1920M333
762.38/739.34	    decisions=16937591, wrong=8427937, backtracks=97403, failedAssignments=8427937, nogoods=6723
762.38/739.34	    nFilterCalls=9492006, avgTableProportion=0.9997590099792736, avgTableSize=5079.880533156005
762.38/739.34	    
841.81/818.70	    num=119, depth=403..762, filters=10115486, revisions=(9885039,useless=304243), ccks=412353857, wck=799.437, mem=1959M541
841.81/818.70	    decisions=18623780, wrong=9270746, backtracks=106942, failedAssignments=9270746, nogoods=6791
841.81/818.70	    nFilterCalls=10352377, avgTableProportion=0.9997608481208763, avgTableSize=5084.631096510492
841.81/818.70	    
928.93/905.88	    num=120, depth=411..742, filters=11068098, revisions=(10817412,useless=306911), ccks=416122771, wck=886.62, mem=1998M749
928.93/905.88	    decisions=20478643, wrong=10197836, backtracks=116769, failedAssignments=10197836, nogoods=6874
928.93/905.88	    nFilterCalls=11297441, avgTableProportion=0.9997637882327594, avgTableSize=5115.984451965715
928.93/905.88	    
1024.96/1001.89	    num=121, depth=402..766, filters=12117308, revisions=(11842386,useless=309485), ccks=420059371, wck=982.633, mem=2037M957
1024.96/1001.89	    decisions=22518879, wrong=11217635, backtracks=127329, failedAssignments=11217635, nogoods=6919
1024.96/1001.89	    nFilterCalls=12335888, avgTableProportion=0.9997666140710838, avgTableSize=5157.6120746232455
1024.96/1001.89	    
1131.30/1108.19	    num=122, depth=402..768, filters=13274233, revisions=(12969690,useless=312403), ccks=424139859, wck=1088.927, mem=2077M164
1131.30/1108.19	    decisions=24763182, wrong=12339414, backtracks=142425, failedAssignments=12339414, nogoods=6947
1131.30/1108.19	    nFilterCalls=13480960, avgTableProportion=0.9997636580180186, avgTableSize=5118.035989425085
1131.30/1108.19	    
1232.87/1209.71	    num=123, depth=401..762, filters=14543791, revisions=(14209180,useless=315334), ccks=428247990, wck=1190.453, mem=2155M580
1232.87/1209.71	    decisions=27231717, wrong=13573371, backtracks=155214, failedAssignments=13573371, nogoods=7059
1232.87/1209.71	    nFilterCalls=14735774, avgTableProportion=0.9997667511225603, avgTableSize=5173.744650399769
1232.87/1209.71	    
1340.90/1317.76	    num=124, depth=424..749, filters=15952814, revisions=(15572161,useless=318347), ccks=432999423, wck=1298.497, mem=2194M788
1340.90/1317.76	    decisions=29947130, wrong=14930724, backtracks=173947, failedAssignments=14930724, nogoods=7218
1340.90/1317.76	    nFilterCalls=16120032, avgTableProportion=0.9997640851998209, avgTableSize=5078.333739039724
1340.90/1317.76	    
1457.93/1434.74	    num=125, depth=441..762, filters=17481056, revisions=(17070812,useless=321304), ccks=437740650, wck=1415.476, mem=2273M204
1457.93/1434.74	    decisions=32933939, wrong=16423812, backtracks=189109, failedAssignments=16423812, nogoods=7337
1457.93/1434.74	    nFilterCalls=17636366, avgTableProportion=0.9997674001705192, avgTableSize=5116.331598357621
1457.93/1434.74	    
1588.37/1565.11	    num=126, depth=412..737, filters=19173811, revisions=(18719801,useless=325280), ccks=442648126, wck=1545.847, mem=2351M620
1588.37/1565.11	    decisions=36219342, wrong=18066209, backtracks=211772, failedAssignments=18066209, nogoods=7390
1588.37/1565.11	    nFilterCalls=19309492, avgTableProportion=0.9997656408029842, avgTableSize=5051.367504955594
1588.37/1565.11	    
1730.40/1707.11	    num=127, depth=408..728, filters=21020763, revisions=(20532167,useless=328372), ccks=447367037, wck=1687.851, mem=2390M828
1730.40/1707.11	    decisions=39833316, wrong=19872846, backtracks=229736, failedAssignments=19872846, nogoods=7413
1730.40/1707.11	    nFilterCalls=21142272, avgTableProportion=0.9997690124902472, avgTableSize=5109.531810204693
1730.40/1707.11	    
1886.52/1863.20	    num=128, depth=404..722, filters=23056901, revisions=(22525015,useless=331277), ccks=452296778, wck=1843.941, mem=2508M451
1886.52/1863.20	    decisions=43808603, wrong=21860147, backtracks=249922, failedAssignments=21860147, nogoods=7465
1886.52/1863.20	    nFilterCalls=23157926, avgTableProportion=0.9997709801547009, avgTableSize=5133.268438719426
1886.52/1863.20	    
2057.08/2033.75	    num=129, depth=430..738, filters=25285600, revisions=(24716465,useless=334084), ccks=457430485, wck=2014.491, mem=2586M867
2057.08/2033.75	    decisions=48181321, wrong=24046178, backtracks=267176, failedAssignments=24046178, nogoods=7561
2057.08/2033.75	    nFilterCalls=25369326, avgTableProportion=0.9997767973683587, avgTableSize=5251.874938813905
2057.08/2033.75	    
2246.33/2222.95	    num=130, depth=407..742, filters=27749163, revisions=(27126921,useless=337302), ccks=462539985, wck=2203.69, mem=2665M283
2246.33/2222.95	    decisions=52991275, wrong=26450812, backtracks=293781, failedAssignments=26450812, nogoods=7620
2246.33/2222.95	    nFilterCalls=27808700, avgTableProportion=0.9997778939998212, avgTableSize=5270.988671818532
2246.33/2222.95	    
2400.06/2376.60	
2400.06/2376.60	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 (12764 MiB free)
  memory of node 1: 16384 MiB (12847 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391174-1568391717/watcher-4391174-1568391717 -o /tmp/evaluation-result-4391174-1568391717/solver-4391174-1568391717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568389273-19857 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391174-1568391717.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB

solver pid=20536, runsolver pid=20533

[startup+0.100134 s]*
/proc/loadavg: 1.43 1.45 1.44 5/229 20551
/proc/meminfo: memFree=26212644/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10659884 memory=27816 CPUtime=0.13 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 5927 0 0 0 12 1 0 0 20 0 15 0 415419119 10915721216 6954 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2664971 6954 2913 1 0 2627468 0
[pid=20536/tid=20538] ppid=20533 vsize=10659884 memory=-8269626465541198971 CPUtime=0.09 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) R 20533 20536 19826 0 -1 4202560 3269 0 0 0 9 0 0 0 20 0 15 0 415419120 10915721216 6954 33554432000 4194304 4196468 140733567167808 140324131055624 140324126838166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323617457184 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415419123 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323616404336 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 606 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0.02 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) R 20533 20536 19826 0 -1 4202560 615 0 0 0 2 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323612192344 140324106224747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 6954 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27816 KiB

[startup+0.211403 s]*
/proc/loadavg: 1.43 1.45 1.44 3/229 20551
/proc/meminfo: memFree=26205852/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10659884 memory=33588 CPUtime=0.33 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 7043 0 0 0 31 2 0 0 20 0 15 0 415419119 10915721216 8397 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2664971 8397 2989 1 0 2627468 0
[pid=20536/tid=20538] ppid=20533 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) R 20533 20536 19826 0 -1 4202560 3935 0 0 0 19 1 0 0 20 0 15 0 415419120 10915721216 8397 33554432000 4194304 4196468 140733567167808 140324131058320 140324126848157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10659884 memory=3905386014921528992 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323617457184 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415419123 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323616404336 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 685 0 0 0 2 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 339 0 0 0 3 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0.05 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 8397 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33588 KiB

[startup+0.311509 s]*
/proc/loadavg: 1.43 1.45 1.44 3/229 20551
/proc/meminfo: memFree=26197920/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10659884 memory=38952 CPUtime=0.47 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 9599 0 0 0 44 3 0 0 20 0 15 0 415419119 10915721216 9738 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2664971 9738 3003 1 0 2627468 0
[pid=20536/tid=20538] ppid=20533 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) R 20533 20536 19826 0 -1 4202560 6385 0 0 0 28 2 0 0 20 0 15 0 415419120 10915721216 9753 33554432000 4194304 4196468 140733567167808 140324131058640 140324105247588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10659884 memory=3618279339653404320 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419120 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415419122 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323617457184 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415419123 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323616404336 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 699 0 0 0 3 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) R 20533 20536 19826 0 -1 1077944384 381 0 0 0 4 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0.07 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10659884 memory=140369751250560 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419125 10915721216 9753 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38952 KiB

[startup+0.701403 s]
/proc/loadavg: 1.43 1.45 1.44 3/229 20551
/proc/meminfo: memFree=26187768/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10661932 memory=61144 CPUtime=1.09 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 13414 0 0 0 105 4 0 0 20 0 15 0 415419119 10917818368 15286 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2665483 15286 3070 1 0 2627980 0
[pid=20536/tid=20538] ppid=20533 vsize=10661932 memory=1436 CPUtime=0.68 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) R 20533 20536 19826 0 -1 4202560 8924 0 0 0 65 3 0 0 20 0 15 0 415419120 10917818368 15286 33554432000 4194304 4196468 140733567167808 140324131058592 140324015404901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419120 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419122 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415419122 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323617457184 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415419123 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323616404336 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 1093 0 0 0 11 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10661932 memory=7019257425709197167 CPUtime=0.1 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 693 0 0 0 10 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 1344 0 0 0 18 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419125 10917818368 15286 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61144 KiB

[startup+1.5008 s]
/proc/loadavg: 1.43 1.45 1.44 3/229 20551
/proc/meminfo: memFree=26172736/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10663980 memory=75344 CPUtime=2 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 19297 0 0 0 195 5 0 0 20 0 15 0 415419119 10919915520 18836 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2665995 18836 3096 1 0 2628492 0
[pid=20536/tid=20538] ppid=20533 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) R 20533 20536 19826 0 -1 4202560 13380 0 0 0 144 4 0 0 20 0 15 0 415419120 10919915520 18836 33554432000 4194304 4196468 140733567167808 140324131058256 140324126848157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10663980 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10919915520 18836 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10663980 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10919915520 18836 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415419120 10919915520 18836 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415419120 10919915520 18836 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 415419122 10919915520 18836 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0

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

/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 18794 0 0 0 395 85 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0.32 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 16646 0 0 0 29 3 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323617457248 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415419123 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323616404352 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10748324 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10748324 memory=1124 CPUtime=3.85 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 18428 0 0 0 383 2 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10748324 memory=280739195126000 CPUtime=3.47 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 13847 0 0 0 343 4 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10748324 memory=7679937479730885434 CPUtime=1.31 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 14776 0 0 0 128 3 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10748324 memory=988 CPUtime=0.74 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 2161 0 0 0 33 41 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20552] ppid=20533 vsize=10748324 memory=4449816 CPUtime=2194.93 cores=0,2,4,6
/proc/20536/task/20552/stat : 20552 (java) R 20533 20536 19826 0 -1 4202560 156909 0 0 0 219466 27 0 0 20 0 16 0 415419309 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323593309520 140323773649555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 2225.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4449816 KiB

[startup+2262.3 s]
/proc/loadavg: 1.50 1.60 1.64 3/229 20754
/proc/meminfo: memFree=21842996/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10748324 memory=4449816 CPUtime=2285.73 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 321721 0 0 0 228168 405 0 0 20 0 16 0 415419119 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2687081 1112454 3393 1 0 2647217 0
[pid=20536/tid=20538] ppid=20533 vsize=10748324 memory=1656 CPUtime=1.86 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) S 20533 20536 19826 0 -1 1077944384 15656 0 0 0 182 4 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140324131069104 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10748324 memory=0 CPUtime=4.74 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 19182 0 0 0 390 84 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.76 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 21873 0 0 0 393 83 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.81 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 19742 0 0 0 403 78 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.8 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 18794 0 0 0 395 85 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0.32 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 16666 0 0 0 29 3 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323617457248 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415419123 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323616404352 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10748324 memory=4449816 CPUtime=3.85 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 18439 0 0 0 383 2 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10748324 memory=4449816 CPUtime=3.47 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 13856 0 0 0 343 4 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10748324 memory=4449816 CPUtime=1.31 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 14800 0 0 0 128 3 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0.76 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 2233 0 0 0 34 42 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20552] ppid=20533 vsize=10748324 memory=1540 CPUtime=2254.93 cores=0,2,4,6
/proc/20536/task/20552/stat : 20552 (java) R 20533 20536 19826 0 -1 4202560 159030 0 0 0 225466 27 0 0 20 0 16 0 415419309 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323593309520 140323773649770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 2285.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4449816 KiB

[startup+2322.3 s]
/proc/loadavg: 1.69 1.63 1.65 3/229 20758
/proc/meminfo: memFree=21842560/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10748324 memory=4449816 CPUtime=2345.75 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 323335 0 0 0 234169 406 0 0 20 0 16 0 415419119 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2687081 1112454 3393 1 0 2647217 0
[pid=20536/tid=20538] ppid=20533 vsize=10748324 memory=4449816 CPUtime=1.86 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) S 20533 20536 19826 0 -1 1077944384 15656 0 0 0 182 4 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140324131069104 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.74 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 19182 0 0 0 390 84 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.76 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 21873 0 0 0 393 83 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.81 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 19742 0 0 0 403 78 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10748324 memory=4449816 CPUtime=4.8 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 18794 0 0 0 395 85 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0.32 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 16675 0 0 0 29 3 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323617457248 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415419123 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323616404352 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10748324 memory=3580 CPUtime=3.85 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 18449 0 0 0 383 2 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10748324 memory=4449816 CPUtime=3.47 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 13866 0 0 0 343 4 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10748324 memory=3580 CPUtime=1.31 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 14821 0 0 0 128 3 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0.78 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 2259 0 0 0 36 42 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20552] ppid=20533 vsize=10748324 memory=4449816 CPUtime=2314.92 cores=0,2,4,6
/proc/20536/task/20552/stat : 20552 (java) R 20533 20536 19826 0 -1 4202560 160568 0 0 0 231465 27 0 0 20 0 16 0 415419309 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323593309520 140323773649550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 2345.75 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4449816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2376.6 s]
/proc/loadavg: 1.76 1.66 1.66 2/208 20820
/proc/meminfo: memFree=22254284/32770624 swapFree=66927244/67108860
[pid=20536] ppid=20533 vsize=10748324 memory=4449816 CPUtime=2400.06 cores=0,2,4,6
/proc/20536/stat : 20536 (java) S 20533 20536 19826 0 -1 1077944320 324574 0 0 0 239599 407 0 0 20 0 16 0 415419119 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140733567150352 140324126826231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
/proc/20536/statm: 2687081 1112454 3393 1 0 2647217 0
[pid=20536/tid=20538] ppid=20533 vsize=10748324 memory=15538522534712410 CPUtime=1.86 cores=0,2,4,6
/proc/20536/task/20538/stat : 20538 (java) S 20533 20536 19826 0 -1 1077944384 15656 0 0 0 182 4 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140324131069104 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20539] ppid=20533 vsize=10748324 memory=1184 CPUtime=4.74 cores=0,2,4,6
/proc/20536/task/20539/stat : 20539 (java) S 20533 20536 19826 0 -1 1077944384 19182 0 0 0 390 84 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323733212304 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20540] ppid=20533 vsize=10748324 memory=149912 CPUtime=4.76 cores=0,2,4,6
/proc/20536/task/20540/stat : 20540 (java) S 20533 20536 19826 0 -1 1077944384 21873 0 0 0 393 83 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323732159504 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20541] ppid=20533 vsize=10748324 memory=6791534058613427641 CPUtime=4.81 cores=0,2,4,6
/proc/20536/task/20541/stat : 20541 (java) S 20533 20536 19826 0 -1 1077944384 19742 0 0 0 403 78 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323731106704 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20542] ppid=20533 vsize=10748324 memory=4872558044660077418 CPUtime=4.8 cores=0,2,4,6
/proc/20536/task/20542/stat : 20542 (java) S 20533 20536 19826 0 -1 1077944384 18794 0 0 0 395 85 0 0 20 0 16 0 415419120 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323730053904 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20543] ppid=20533 vsize=10748324 memory=1716 CPUtime=0.32 cores=0,2,4,6
/proc/20536/task/20543/stat : 20543 (java) S 20533 20536 19826 0 -1 1077944384 16685 0 0 0 29 3 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323618511216 140324126837378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20544] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20544/stat : 20544 (java) S 20533 20536 19826 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415419122 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323617457248 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20545] ppid=20533 vsize=10748324 memory=4449816 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20545/stat : 20545 (java) S 20533 20536 19826 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415419123 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323616404352 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20546] ppid=20533 vsize=10748324 memory=304556144700162363 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20546/stat : 20546 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323615352656 140324126844827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20547] ppid=20533 vsize=10748324 memory=4449816 CPUtime=3.85 cores=0,2,4,6
/proc/20536/task/20547/stat : 20547 (java) S 20533 20536 19826 0 -1 1077944384 18454 0 0 0 383 2 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323614301040 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20548] ppid=20533 vsize=10748324 memory=776 CPUtime=3.47 cores=0,2,4,6
/proc/20536/task/20548/stat : 20548 (java) S 20533 20536 19826 0 -1 1077944384 13872 0 0 0 343 4 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323613248240 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20549] ppid=20533 vsize=10748324 memory=6791534058613427641 CPUtime=1.31 cores=0,2,4,6
/proc/20536/task/20549/stat : 20549 (java) S 20533 20536 19826 0 -1 1077944384 14833 0 0 0 128 3 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323612195440 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20550] ppid=20533 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/20536/task/20550/stat : 20550 (java) S 20533 20536 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323611142880 140324126836437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20551] ppid=20533 vsize=10748324 memory=2496 CPUtime=0.8 cores=0,2,4,6
/proc/20536/task/20551/stat : 20551 (java) S 20533 20536 19826 0 -1 1077944384 2297 0 0 0 37 43 0 0 20 0 16 0 415419125 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323610090160 140324126837378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
[pid=20536/tid=20552] ppid=20533 vsize=10748324 memory=1764 CPUtime=2369.21 cores=0,2,4,6
/proc/20536/task/20552/stat : 20552 (java) R 20533 20536 19826 0 -1 4202560 161736 0 0 0 236894 27 0 0 20 0 16 0 415419309 11006283776 1112454 33554432000 4194304 4196468 140733567167808 140323593309520 140323773649571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31207424 140733567173643 140733567173746 140733567173746 140733567176655 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 4449816 KiB

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

[startup+2376.63 s]
# the end of solver process 20536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.01 s, system=4.09426 s

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

Child status: 143
Real time (s): 2376.63
CPU time (s): 2400.1
CPU user time (s): 2396.01
CPU system time (s): 4.09426
CPU usage (%): 100.988
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 4449816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.01
system time used= 4.09426
maximum resident set size= 4450428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57209
involuntary context switches= 3200


# summary of solver processes directly reported to runsolver:
#   pid: 20536
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2396.01
#   total CPU system time (s): 4.09426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2117 second user time and 21.8622 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 18:21:15
IDJOB=4391174
IDBENCH=141269
IDSOLVER=2833
FILE ID=node137/4391174-1568391717
RUNJOBID= node137-1568389273-19857
PBS_JOBID= 21701855
Free space on /tmp= 61320 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-4391174-1568391717/watcher-4391174-1568391717 -o /tmp/evaluation-result-4391174-1568391717/solver-4391174-1568391717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568389273-19857 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391174-1568391717.xml -cm

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=611376310

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26226288 kB
MemAvailable:   31337788 kB
Buffers:          165392 kB
Cached:          5211884 kB
SwapCached:        77564 kB
Active:          1885488 kB
Inactive:        4039520 kB
Active(anon):     471608 kB
Inactive(anon):   117600 kB
Active(file):    1413880 kB
Inactive(file):  3921920 kB
Unevictable:      108712 kB
Mlocked:          108712 kB
SwapTotal:      67108860 kB
SwapFree:       66927244 kB
Dirty:            109804 kB
Writeback:            12 kB
AnonPages:        580356 kB
Mapped:            56760 kB
Shmem:             32756 kB
Slab:             213248 kB
SReclaimable:     183068 kB
SUnreclaim:        30180 kB
KernelStack:        3792 kB
PageTables:         6748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1591168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    464896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61320 MiB
End job on node137 at 2019-09-13 19:00:52