Trace number 4391152

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.06 2373.93

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml
MD5SUMa9a1ecda6b6f8f1e99c2d233168bcaa1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark506362597
Best CPU time to get the best result obtained on this benchmark131.185
Satisfiable
(Un)Satisfiability was proved
Number of variables7590
Number of constraints4736
Number of domains77
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}]
Minimum variable degree2
Maximum variable degree2251
Distribution of variable degrees[{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}]
Number of extensional constraints2250
Number of intensional constraints2486
Distribution of constraint types[{"type":"extension","count":2250},{"type":"intension","count":2486}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.89	
21.99/15.05	  Instance
21.99/15.05	    name=instance-4391152-1568391742, framework=COP, bounds=-infty..+infty
21.99/15.05	
21.99/15.05	  Loading variables...
22.95/15.35	  Loading constraints...
36.92/22.07	
36.92/22.07	  Domains
36.92/22.07	    nTypes=77, nValues=345816, sizes=[1#5,2#2665,11#2250,12#1...138#29,140#24,141#77,151#1259]
36.92/22.07	  Variables
36.92/22.07	    count=7590, degrees=[2#6752,3#9,4#14,5#23...18#1,19#1,20#1,2251#1]
36.92/22.07	  Objectives
36.92/22.07	    way=min, type=SumWeightedLE
36.92/22.07	  Constraints
36.92/22.07	    count=4737, nSpecific=2267, arities=[2#237,3#2249,6#2250,4501#1]
36.92/22.07	    distribution=[CtrExtensionCT-Table#2250,CtrIntension#2470,EQ#9,NE#7,SumWeightedLE#1]
36.92/22.07	    tables=[160#1,164#1,184#1,192#1...7208#4,7212#3,7216#1,7224#1], nTotalTuples=8364282
36.92/22.07	    nExtStructures=(2250,shared:0), nIntStructures=(156,shared:2314)
36.92/22.07	    wck=20.226, cpu=18.951, mem=2324M430
38.48/23.36	  Solver SolverBacktrack being built...
38.48/23.36	
38.65/23.44	
38.65/23.44	  Solver
38.65/23.44	    guaranteedGAC=false
38.65/23.44	    wck=21.595, cpu=20.318, mem=3529M488
46.52/30.73	
46.52/30.73	  Preprocessing
46.52/30.73	    filters=2249, revisions=(3694,useless=3694), ccks=80763450, nACremovedValues=18913, nTotalRemovedValues=18913, inconcistency=false
46.52/30.73	    wck=7.287, cpu=27.609, mem=3570M754
46.52/30.73	
48.78/32.24	    num=0, depth=982..982, filters=8588, revisions=(10040,useless=6836), ccks=91180041, wck=8.802, mem=3570M754
48.78/32.24	    decisions=1002, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
48.78/32.24	    nFilterCalls=12313, avgTableProportion=0.9995697672668072, avgTableSize=3652.1706326646636
48.78/32.24	    
49.78/32.97	    num=1, depth=994..994, filters=14920, revisions=(16357,useless=9959), ccks=93993553, wck=9.533, mem=3570M754
49.78/32.97	    decisions=2018, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
49.78/32.97	    nFilterCalls=22382, avgTableProportion=0.9995688810963028, avgTableSize=3645.293182021267
49.78/32.97	    
50.55/33.69	    num=2, depth=991..991, filters=21253, revisions=(22673,useless=13077), ccks=96925458, wck=10.25, mem=3570M754
50.55/33.69	    decisions=3033, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
50.55/33.69	    nFilterCalls=32452, avgTableProportion=0.9995685834928907, avgTableSize=3643.655183039566
50.55/33.69	    
51.36/34.40	    num=3, depth=989..989, filters=27590, revisions=(28996,useless=16199), ccks=99752760, wck=10.956, mem=3570M754
51.36/34.40	    decisions=4048, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
51.36/34.40	    nFilterCalls=42523, avgTableProportion=0.9995683846858678, avgTableSize=3641.743033182043
51.36/34.40	    
51.97/35.09	    num=4, depth=988..988, filters=33929, revisions=(35322,useless=19321), ccks=102459027, wck=11.653, mem=3570M754
51.97/35.09	    decisions=5064, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
51.97/35.09	    nFilterCalls=52596, avgTableProportion=0.9995682937624489, avgTableSize=3641.140961289832
51.97/35.09	    
52.84/35.80	    num=5, depth=989..989, filters=40266, revisions=(41649,useless=22445), ccks=105297606, wck=12.361, mem=3570M754
52.84/35.80	    decisions=6085, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
52.84/35.80	    nFilterCalls=62669, avgTableProportion=0.9995682308176747, avgTableSize=3640.779157159042
52.84/35.80	    
53.55/36.50	    num=6, depth=994..994, filters=46608, revisions=(47970,useless=25562), ccks=108069717, wck=13.061, mem=3570M754
53.55/36.50	    decisions=7113, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
53.55/36.50	    nFilterCalls=72748, avgTableProportion=0.9995681866862625, avgTableSize=3640.2029196678945
53.55/36.50	    
54.26/37.20	    num=7, depth=997..997, filters=52948, revisions=(54285,useless=28675), ccks=110856306, wck=13.762, mem=3591M443
54.26/37.20	    decisions=8148, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
54.26/37.20	    nFilterCalls=82828, avgTableProportion=0.9995681536108163, avgTableSize=3639.8088810547156
54.26/37.20	    
54.97/37.91	    num=8, depth=994..994, filters=59292, revisions=(60610,useless=31794), ccks=113692245, wck=14.465, mem=3591M443
54.97/37.91	    decisions=9184, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
54.97/37.91	    nFilterCalls=92909, avgTableProportion=0.9995681216124543, avgTableSize=3639.3895209290813
54.97/37.91	    
55.67/38.61	    num=9, depth=988..988, filters=65635, revisions=(66946,useless=34921), ccks=116532153, wck=15.167, mem=3632M709
55.67/38.61	    decisions=10218, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
55.67/38.61	    nFilterCalls=102987, avgTableProportion=0.9995681084003778, avgTableSize=3639.3244487168286
55.67/38.61	    
56.37/39.32	    num=10, depth=984..985, filters=72000, revisions=(73317,useless=38064), ccks=119538168, wck=15.883, mem=3632M709
56.37/39.32	    decisions=11252, wrong=181, backtracks=1, failedAssignments=181, nogoods=157
56.37/39.32	    nFilterCalls=113078, avgTableProportion=0.9995680363294356, avgTableSize=3638.645678204425
56.37/39.32	    
57.09/40.04	    num=11, depth=996..996, filters=78347, revisions=(79654,useless=41192), ccks=122430512, wck=16.596, mem=3632M709
57.09/40.04	    decisions=12304, wrong=209, backtracks=1, failedAssignments=209, nogoods=185
57.09/40.04	    nFilterCalls=123164, avgTableProportion=0.9995680465761295, avgTableSize=3638.734321717385
57.09/40.04	    
57.80/40.73	    num=12, depth=992..992, filters=84697, revisions=(86000,useless=44325), ccks=125095339, wck=17.29, mem=3632M709
57.80/40.73	    decisions=13358, wrong=240, backtracks=1, failedAssignments=240, nogoods=216
57.80/40.73	    nFilterCalls=133251, avgTableProportion=0.9995680508143627, avgTableSize=3638.789525031707
57.80/40.73	    
58.50/41.43	    num=13, depth=991..991, filters=91054, revisions=(92346,useless=47452), ccks=127803855, wck=17.986, mem=3632M709
58.50/41.43	    decisions=14417, wrong=274, backtracks=1, failedAssignments=274, nogoods=250
58.50/41.43	    nFilterCalls=143342, avgTableProportion=0.9995680625343862, avgTableSize=3638.8234013757306
58.50/41.43	    
59.22/42.13	    num=14, depth=990..990, filters=97414, revisions=(98702,useless=50586), ccks=130611629, wck=18.688, mem=3632M709
59.22/42.13	    decisions=15481, wrong=311, backtracks=1, failedAssignments=311, nogoods=287
59.22/42.13	    nFilterCalls=153435, avgTableProportion=0.99956806377403, avgTableSize=3638.623384495063
59.22/42.13	    
59.92/42.82	    num=15, depth=986..986, filters=103778, revisions=(105071,useless=53727), ccks=133293336, wck=19.38, mem=3632M709
59.92/42.82	    decisions=16549, wrong=352, backtracks=1, failedAssignments=352, nogoods=328
59.92/42.82	    nFilterCalls=163530, avgTableProportion=0.9995680904294671, avgTableSize=3639.06495444261
59.92/42.82	    
60.63/43.52	    num=16, depth=986..986, filters=110147, revisions=(111447,useless=56871), ccks=136085580, wck=20.081, mem=3632M709
60.63/43.52	    decisions=17625, wrong=397, backtracks=1, failedAssignments=397, nogoods=373
60.63/43.52	    nFilterCalls=173629, avgTableProportion=0.999568088437366, avgTableSize=3638.773160013592
60.63/43.52	    
61.33/44.22	    num=17, depth=993..994, filters=116518, revisions=(117820,useless=60012), ccks=138805990, wck=20.778, mem=3632M709
61.33/44.22	    decisions=18719, wrong=447, backtracks=1, failedAssignments=447, nogoods=423
61.33/44.22	    nFilterCalls=183736, avgTableProportion=0.9995680764803294, avgTableSize=3638.4589519745723
61.33/44.22	    
62.03/44.93	    num=18, depth=994..994, filters=122891, revisions=(124184,useless=63142), ccks=141670922, wck=21.488, mem=3673M975
62.03/44.93	    decisions=19823, wrong=502, backtracks=1, failedAssignments=502, nogoods=478
62.03/44.93	    nFilterCalls=193845, avgTableProportion=0.9995681079605433, avgTableSize=3638.5900332740075
62.03/44.93	    
62.73/45.63	    num=19, depth=994..994, filters=129271, revisions=(130573,useless=66290), ccks=144469776, wck=22.193, mem=3673M975
62.73/45.63	    decisions=20939, wrong=563, backtracks=1, failedAssignments=563, nogoods=539
62.73/45.63	    nFilterCalls=203961, avgTableProportion=0.9995681592884145, avgTableSize=3639.1997146513304
62.73/45.63	    
63.43/46.33	    num=20, depth=995..995, filters=135660, revisions=(136957,useless=69426), ccks=147170320, wck=22.89, mem=3673M975
63.43/46.33	    decisions=22068, wrong=630, backtracks=1, failedAssignments=630, nogoods=606
63.43/46.33	    nFilterCalls=214085, avgTableProportion=0.9995681923110283, avgTableSize=3639.217848051008
63.43/46.33	    
64.14/47.03	    num=21, depth=994..995, filters=142057, revisions=(143357,useless=72568), ccks=149843273, wck=23.587, mem=3673M975
64.14/47.03	    decisions=23211, wrong=704, backtracks=1, failedAssignments=704, nogoods=680
64.14/47.03	    nFilterCalls=224218, avgTableProportion=0.9995682505733545, avgTableSize=3639.7858334299654
64.14/47.03	    
64.84/47.73	    num=22, depth=991..991, filters=148465, revisions=(149768,useless=75710), ccks=152603550, wck=24.29, mem=3673M975
64.84/47.73	    decisions=24364, wrong=785, backtracks=1, failedAssignments=785, nogoods=761
64.84/47.73	    nFilterCalls=234359, avgTableProportion=0.9995682953942487, avgTableSize=3639.961712586246
64.84/47.73	    
65.54/48.43	    num=23, depth=986..994, filters=154886, revisions=(156189,useless=78857), ccks=155349493, wck=24.993, mem=3673M975
65.54/48.43	    decisions=25528, wrong=874, backtracks=9, failedAssignments=874, nogoods=763
65.54/48.43	    nFilterCalls=244508, avgTableProportion=0.9995680963137047, avgTableSize=3638.9444353558983
65.54/48.43	    
66.25/49.18	    num=24, depth=992..993, filters=161320, revisions=(162633,useless=82008), ccks=158619288, wck=25.739, mem=3673M975
66.25/49.18	    decisions=26716, wrong=972, backtracks=10, failedAssignments=972, nogoods=772
66.25/49.18	    nFilterCalls=254672, avgTableProportion=0.9995681598852726, avgTableSize=3639.157088333229
66.25/49.18	    
66.95/49.89	    num=25, depth=991..993, filters=167752, revisions=(169069,useless=85154), ccks=161422135, wck=26.448, mem=3673M975
66.95/49.89	    decisions=27923, wrong=1080, backtracks=12, failedAssignments=1080, nogoods=787
66.95/49.89	    nFilterCalls=264836, avgTableProportion=0.9995681599301308, avgTableSize=3638.6143198054647
66.95/49.89	    
67.76/50.60	    num=26, depth=1001..1001, filters=174194, revisions=(175496,useless=88282), ccks=164184879, wck=27.158, mem=3673M975
67.76/50.60	    decisions=29162, wrong=1199, backtracks=12, failedAssignments=1199, nogoods=906
67.76/50.60	    nFilterCalls=275017, avgTableProportion=0.9995682585718854, avgTableSize=3639.6529850881943
67.76/50.60	    
68.46/51.31	    num=27, depth=990..991, filters=180661, revisions=(181972,useless=91433), ccks=166975087, wck=27.866, mem=3673M975
68.46/51.31	    decisions=30414, wrong=1330, backtracks=13, failedAssignments=1330, nogoods=909
68.46/51.31	    nFilterCalls=285213, avgTableProportion=0.9995683628187085, avgTableSize=3640.7187926216548
68.46/51.31	    
69.20/52.01	    num=28, depth=995..996, filters=187133, revisions=(188430,useless=94561), ccks=169678630, wck=28.573, mem=3715M242
69.20/52.01	    decisions=31697, wrong=1474, backtracks=14, failedAssignments=1474, nogoods=968
69.20/52.01	    nFilterCalls=295420, avgTableProportion=0.9995684363252996, avgTableSize=3640.893568478776
69.20/52.01	    
69.89/52.72	    num=29, depth=989..990, filters=193619, revisions=(194915,useless=97699), ccks=172410757, wck=29.28, mem=3715M242
69.89/52.72	    decisions=33002, wrong=1632, backtracks=15, failedAssignments=1632, nogoods=1007
69.89/52.72	    nFilterCalls=305638, avgTableProportion=0.9995685430033986, avgTableSize=3641.865906726258
69.89/52.72	    
70.59/53.42	    num=30, depth=983..984, filters=200124, revisions=(201423,useless=100839), ccks=175111331, wck=29.983, mem=3715M242
70.59/53.42	    decisions=34333, wrong=1806, backtracks=16, failedAssignments=1806, nogoods=1065
70.59/53.42	    nFilterCalls=315871, avgTableProportion=0.9995686528989971, avgTableSize=3642.8053445868727
70.59/53.42	    
71.31/54.13	    num=31, depth=985..986, filters=206646, revisions=(207955,useless=103986), ccks=177777830, wck=30.686, mem=3715M242
71.31/54.13	    decisions=35700, wrong=1997, backtracks=17, failedAssignments=1997, nogoods=1128
71.31/54.13	    nFilterCalls=326123, avgTableProportion=0.9995687761313018, avgTableSize=3644.0876939069003
71.31/54.13	    
72.00/54.83	    num=32, depth=984..986, filters=213189, revisions=(214492,useless=107119), ccks=180468900, wck=31.392, mem=3715M242
72.00/54.83	    decisions=37106, wrong=2208, backtracks=19, failedAssignments=2208, nogoods=1148
72.00/54.83	    nFilterCalls=336394, avgTableProportion=0.9995688760809373, avgTableSize=3644.5156334536287
72.00/54.83	    
72.70/55.54	    num=33, depth=984..986, filters=219757, revisions=(221067,useless=110262), ccks=183144831, wck=32.098, mem=3715M242
72.70/55.54	    decisions=38554, wrong=2440, backtracks=21, failedAssignments=2440, nogoods=1155
72.70/55.54	    nFilterCalls=346692, avgTableProportion=0.9995690047835374, avgTableSize=3645.472978897696
72.70/55.54	    
73.40/56.25	    num=34, depth=986..991, filters=226344, revisions=(227645,useless=113397), ccks=185840317, wck=32.81, mem=3715M242
73.40/56.25	    decisions=40050, wrong=2695, backtracks=26, failedAssignments=2695, nogoods=1161
73.40/56.25	    nFilterCalls=357007, avgTableProportion=0.9995690124134811, avgTableSize=3644.538485239785
73.40/56.25	    
74.11/56.97	    num=35, depth=989..992, filters=232953, revisions=(234242,useless=116527), ccks=188525008, wck=33.526, mem=3715M242
74.11/56.97	    decisions=41601, wrong=2976, backtracks=29, failedAssignments=2976, nogoods=1185
74.11/56.97	    nFilterCalls=367347, avgTableProportion=0.9995691244690927, avgTableSize=3644.8235564738516
74.11/56.97	    
74.82/57.69	    num=36, depth=987..989, filters=239588, revisions=(240878,useless=119667), ccks=191248420, wck=34.246, mem=3715M242
74.82/57.69	    decisions=43206, wrong=3285, backtracks=31, failedAssignments=3285, nogoods=1255
74.82/57.69	    nFilterCalls=377713, avgTableProportion=0.9995692892901884, avgTableSize=3646.337925885527
74.82/57.69	    
75.63/58.41	    num=37, depth=983..989, filters=246260, revisions=(247551,useless=122811), ccks=193944215, wck=34.965, mem=3715M242
75.63/58.41	    decisions=44869, wrong=3625, backtracks=37, failedAssignments=3625, nogoods=1296
75.63/58.41	    nFilterCalls=388112, avgTableProportion=0.9995693058826974, avgTableSize=3645.2849435214575
75.63/58.41	    
76.34/59.13	    num=38, depth=985..987, filters=252963, revisions=(254255,useless=125951), ccks=196611002, wck=35.685, mem=3731M323
76.34/59.13	    decisions=46602, wrong=3999, backtracks=39, failedAssignments=3999, nogoods=1413
76.34/59.13	    nFilterCalls=398544, avgTableProportion=0.9995695128917275, avgTableSize=3647.46657332691
76.34/59.13	    
77.03/59.85	    num=39, depth=986..990, filters=259706, revisions=(260985,useless=129081), ccks=199290209, wck=36.409, mem=3731M323
77.03/59.85	    decisions=48410, wrong=4410, backtracks=43, failedAssignments=4410, nogoods=1441
77.03/59.85	    nFilterCalls=409015, avgTableProportion=0.9995696863029248, avgTableSize=3648.3263034363044
77.03/59.85	    
77.74/60.58	    num=40, depth=988..991, filters=266487, revisions=(267767,useless=132223), ccks=201981804, wck=37.138, mem=3731M323
77.74/60.58	    decisions=50302, wrong=4862, backtracks=46, failedAssignments=4862, nogoods=1507
77.74/60.58	    nFilterCalls=419527, avgTableProportion=0.9995699246953391, avgTableSize=3650.8173419112477
77.74/60.58	    
89.94/64.42	    num=41, depth=985..991, filters=273318, revisions=(274584,useless=135355), ccks=204638127, wck=40.977, mem=2391M470
89.94/64.42	    decisions=52281, wrong=5359, backtracks=52, failedAssignments=5359, nogoods=1558
89.94/64.42	    nFilterCalls=430086, avgTableProportion=0.9995701002718104, avgTableSize=3651.2738940583977
89.94/64.42	    
90.79/65.28	    num=42, depth=987..991, filters=280194, revisions=(281454,useless=138491), ccks=207329773, wck=41.84, mem=2391M470
90.79/65.28	    decisions=54362, wrong=5906, backtracks=56, failedAssignments=5906, nogoods=1626
90.79/65.28	    nFilterCalls=440692, avgTableProportion=0.999570362015502, avgTableSize=3653.652442068383
90.79/65.28	    
91.74/66.16	    num=43, depth=983..989, filters=287129, revisions=(288387,useless=141632), ccks=210004894, wck=42.715, mem=2391M470
91.74/66.16	    decisions=56549, wrong=6508, backtracks=62, failedAssignments=6508, nogoods=1689
91.74/66.16	    nFilterCalls=451354, avgTableProportion=0.99957057781196, avgTableSize=3654.4396017316785
91.74/66.16	    
92.64/67.04	    num=44, depth=983..988, filters=294124, revisions=(295381,useless=144773), ccks=212706253, wck=43.597, mem=2391M470
92.64/67.04	    decisions=58856, wrong=7170, backtracks=67, failedAssignments=7170, nogoods=1707
92.64/67.04	    nFilterCalls=462076, avgTableProportion=0.9995708960532478, avgTableSize=3657.7480284628505
92.64/67.04	    
93.53/67.93	    num=45, depth=982..989, filters=301189, revisions=(302429,useless=147902), ccks=215376446, wck=44.485, mem=2391M470
93.53/67.93	    decisions=61294, wrong=7898, backtracks=74, failedAssignments=7898, nogoods=1764
93.53/67.93	    nFilterCalls=472865, avgTableProportion=0.9995711638639402, avgTableSize=3659.0426887166527
93.53/67.93	    
94.43/68.83	    num=46, depth=981..988, filters=308333, revisions=(309577,useless=151049), ccks=218064846, wck=45.385, mem=2410M52
94.43/68.83	    decisions=63877, wrong=8699, backtracks=81, failedAssignments=8699, nogoods=1785
94.43/68.83	    nFilterCalls=483734, avgTableProportion=0.9995714974896982, avgTableSize=3661.568911839978
94.43/68.83	    
95.33/69.74	    num=47, depth=979..989, filters=315553, revisions=(316789,useless=154190), ccks=220762356, wck=46.301, mem=2410M52
95.33/69.74	    decisions=66618, wrong=9580, backtracks=91, failedAssignments=9580, nogoods=1807
95.33/69.74	    nFilterCalls=494675, avgTableProportion=0.9995717690012998, avgTableSize=3662.278318087633
95.33/69.74	    
96.23/70.68	    num=48, depth=980..987, filters=322858, revisions=(324096,useless=157336), ccks=223494504, wck=47.234, mem=2410M52
96.23/70.68	    decisions=69538, wrong=10550, backtracks=98, failedAssignments=10550, nogoods=1875
96.23/70.68	    nFilterCalls=505704, avgTableProportion=0.9995721955094594, avgTableSize=3666.6956520019617
96.23/70.68	    
97.24/71.62	    num=49, depth=975..986, filters=330266, revisions=(331488,useless=160469), ccks=226163318, wck=48.178, mem=2410M52
97.24/71.62	    decisions=72647, wrong=11617, backtracks=109, failedAssignments=11617, nogoods=1887
97.24/71.62	    nFilterCalls=516830, avgTableProportion=0.9995725546252964, avgTableSize=3668.424673490316
97.24/71.62	    
98.14/72.59	    num=50, depth=978..987, filters=337775, revisions=(338990,useless=163608), ccks=228853260, wck=49.147, mem=2428M634
98.14/72.59	    decisions=75971, wrong=12790, backtracks=118, failedAssignments=12790, nogoods=1981
98.14/72.59	    nFilterCalls=528061, avgTableProportion=0.9995730249308888, avgTableSize=3672.6433821092637
98.14/72.59	    
99.14/73.58	    num=51, depth=962..987, filters=345420, revisions=(346620,useless=166755), ccks=231540990, wck=50.134, mem=2428M634
99.14/73.58	    decisions=79515, wrong=14081, backtracks=143, failedAssignments=14081, nogoods=2023
99.14/73.58	    nFilterCalls=539412, avgTableProportion=0.9995730921464101, avgTableSize=3669.898037121903
99.14/73.58	    
100.14/74.59	    num=52, depth=977..988, filters=353181, revisions=(354376,useless=169899), ccks=234227213, wck=51.144, mem=2428M634
100.14/74.59	    decisions=83332, wrong=15501, backtracks=154, failedAssignments=15501, nogoods=2025
100.14/74.59	    nFilterCalls=550893, avgTableProportion=0.9995736772121995, avgTableSize=3675.9350273102036
100.14/74.59	    
101.24/75.62	    num=53, depth=972..991, filters=361095, revisions=(362259,useless=173030), ccks=236898256, wck=52.177, mem=2428M634
101.24/75.62	    decisions=87428, wrong=17063, backtracks=173, failedAssignments=17063, nogoods=2037
101.24/75.62	    nFilterCalls=562517, avgTableProportion=0.9995741146209601, avgTableSize=3677.152905601075
101.24/75.62	    
102.24/76.68	    num=54, depth=977..990, filters=369154, revisions=(370309,useless=176172), ccks=239596031, wck=53.242, mem=2428M634
102.24/76.68	    decisions=91841, wrong=18781, backtracks=186, failedAssignments=18781, nogoods=2079
102.24/76.68	    nFilterCalls=574296, avgTableProportion=0.9995747933217932, avgTableSize=3684.1421705879893
102.24/76.68	    
103.34/77.78	    num=55, depth=964..988, filters=377403, revisions=(378519,useless=179301), ccks=242255876, wck=54.341, mem=2447M216
103.34/77.78	    decisions=96585, wrong=20671, backtracks=210, failedAssignments=20671, nogoods=2149
103.34/77.78	    nFilterCalls=586248, avgTableProportion=0.9995753662769086, avgTableSize=3686.9410795431286
103.34/77.78	    
104.55/78.91	    num=56, depth=972..989, filters=385833, revisions=(386935,useless=182440), ccks=244931105, wck=55.464, mem=2447M216
104.55/78.91	    decisions=101715, wrong=22750, backtracks=227, failedAssignments=22750, nogoods=2185
104.55/78.91	    nFilterCalls=598394, avgTableProportion=0.9995761169534679, avgTableSize=3693.6512966373325
104.55/78.91	    
105.66/80.07	    num=57, depth=963..990, filters=394487, revisions=(395551,useless=185578), ccks=247630605, wck=56.627, mem=2447M216
105.66/80.07	    decisions=107252, wrong=25037, backtracks=254, failedAssignments=25037, nogoods=2226
105.66/80.07	    nFilterCalls=610743, avgTableProportion=0.9995767048693469, avgTableSize=3695.2560717028277
105.66/80.07	    
106.85/81.27	    num=58, depth=969..988, filters=403349, revisions=(404401,useless=188721), ccks=250326689, wck=57.831, mem=2447M216
106.85/81.27	    decisions=113253, wrong=27553, backtracks=273, failedAssignments=27553, nogoods=2292
106.85/81.27	    nFilterCalls=623319, avgTableProportion=0.9995776167524147, avgTableSize=3704.6311134427156
106.85/81.27	    
108.16/82.51	    num=59, depth=960..984, filters=412476, revisions=(413516,useless=191869), ccks=252992293, wck=59.072, mem=2465M798
108.16/82.51	    decisions=119749, wrong=30321, backtracks=297, failedAssignments=30321, nogoods=2397
108.16/82.51	    nFilterCalls=636150, avgTableProportion=0.9995784963574338, avgTableSize=3711.212864890356
108.16/82.51	    
109.45/83.81	    num=60, depth=925..986, filters=421937, revisions=(422890,useless=195008), ccks=255679426, wck=60.365, mem=2465M798
109.45/83.81	    decisions=126762, wrong=33365, backtracks=358, failedAssignments=33365, nogoods=2414
109.45/83.81	    nFilterCalls=649252, avgTableProportion=0.999578640003395, avgTableSize=3705.927365645389
109.45/83.81	    
110.77/85.15	    num=61, depth=960..987, filters=431639, revisions=(432562,useless=198142), ccks=258347273, wck=61.712, mem=2465M798
110.77/85.15	    decisions=134420, wrong=36714, backtracks=385, failedAssignments=36714, nogoods=2524
110.77/85.15	    nFilterCalls=662658, avgTableProportion=0.9995797338741552, avgTableSize=3715.7589616363193
110.77/85.15	    
112.17/86.57	    num=62, depth=910..988, filters=441773, revisions=(442579,useless=201286), ccks=261045823, wck=63.129, mem=2465M798
112.17/86.57	    decisions=142698, wrong=40398, backtracks=463, failedAssignments=40398, nogoods=2553
112.17/86.57	    nFilterCalls=676402, avgTableProportion=0.9995799123682756, avgTableSize=3709.78957188181
112.17/86.57	    
113.68/88.04	    num=63, depth=953..986, filters=452185, revisions=(452961,useless=204426), ccks=263704812, wck=64.599, mem=2484M380
113.68/88.04	    decisions=151755, wrong=44450, backtracks=496, failedAssignments=44450, nogoods=2581
113.68/88.04	    nFilterCalls=690513, avgTableProportion=0.9995812551159868, avgTableSize=3723.6720134161123
113.68/88.04	    
115.19/89.58	    num=64, depth=941..989, filters=463045, revisions=(463739,useless=207560), ccks=266372667, wck=66.136, mem=2484M380
115.19/89.58	    decisions=161610, wrong=48907, backtracks=544, failedAssignments=48907, nogoods=2606
115.19/89.58	    nFilterCalls=705029, avgTableProportion=0.9995823899736547, avgTableSize=3729.33745278563
115.19/89.58	    
116.80/91.19	    num=65, depth=951..991, filters=474313, revisions=(474965,useless=210696), ccks=269054402, wck=67.752, mem=2484M380
116.80/91.19	    decisions=172367, wrong=53810, backtracks=584, failedAssignments=53810, nogoods=2710
116.80/91.19	    nFilterCalls=719991, avgTableProportion=0.9995838609801229, avgTableSize=3742.5824808921225
116.80/91.19	    
118.49/92.89	    num=66, depth=931..991, filters=486141, revisions=(486691,useless=213839), ccks=271734321, wck=69.452, mem=2484M380
118.49/92.89	    decisions=184086, wrong=59204, backtracks=644, failedAssignments=59204, nogoods=2748
118.49/92.89	    nFilterCalls=735446, avgTableProportion=0.9995850787879018, avgTableSize=3747.1497186741108
118.49/92.89	    
120.30/94.70	    num=67, depth=943..989, filters=498448, revisions=(498957,useless=216982), ccks=274440945, wck=71.254, mem=2502M963
120.30/94.70	    decisions=196895, wrong=65137, backtracks=690, failedAssignments=65137, nogoods=2759
120.30/94.70	    nFilterCalls=751441, avgTableProportion=0.999586853888623, avgTableSize=3765.508854321231
120.30/94.70	    
122.19/96.60	    num=68, depth=912..989, filters=511439, revisions=(511806,useless=220117), ccks=277112995, wck=73.154, mem=2502M963
122.19/96.60	    decisions=210859, wrong=71663, backtracks=767, failedAssignments=71663, nogoods=2785
122.19/96.60	    nFilterCalls=768027, avgTableProportion=0.9995881705291157, avgTableSize=3769.098535598358
122.19/96.60	    
124.29/98.61	    num=69, depth=931..990, filters=525004, revisions=(525310,useless=223253), ccks=279813395, wck=75.164, mem=2502M963
124.29/98.61	    decisions=226148, wrong=78842, backtracks=826, failedAssignments=78842, nogoods=2885
124.29/98.61	    nFilterCalls=785266, avgTableProportion=0.99959010727267, avgTableSize=3786.574910921904
124.29/98.61	    
126.39/100.74	    num=70, depth=925..986, filters=539291, revisions=(539541,useless=226394), ccks=282509560, wck=77.298, mem=2502M963
126.39/100.74	    decisions=242867, wrong=86739, backtracks=887, failedAssignments=86739, nogoods=2914
126.39/100.74	    nFilterCalls=803223, avgTableProportion=0.999592277837332, avgTableSize=3809.0158785293747
126.39/100.74	    
128.73/103.01	    num=71, depth=881..987, filters=554495, revisions=(554550,useless=229527), ccks=285204850, wck=79.572, mem=2521M545
128.73/103.01	    decisions=261122, wrong=95426, backtracks=993, failedAssignments=95426, nogoods=2976
128.73/103.01	    nFilterCalls=821969, avgTableProportion=0.9995940859297243, avgTableSize=3817.6139477279557
128.73/103.01	    
131.13/105.42	    num=72, depth=911..990, filters=570456, revisions=(570430,useless=232663), ccks=287904846, wck=81.975, mem=2521M545
131.13/105.42	    decisions=281143, wrong=104981, backtracks=1072, failedAssignments=104981, nogoods=3052
131.13/105.42	    nFilterCalls=841584, avgTableProportion=0.999596436142113, avgTableSize=3838.7271858780587
131.13/105.42	    
133.63/107.98	    num=73, depth=907..988, filters=587377, revisions=(587276,useless=235806), ccks=290592144, wck=84.543, mem=2521M545
133.63/107.98	    decisions=303072, wrong=115492, backtracks=1153, failedAssignments=115492, nogoods=3115
133.63/107.98	    nFilterCalls=862156, avgTableProportion=0.9995990655381515, avgTableSize=3865.910893156227
133.63/107.98	    
136.43/110.73	    num=74, depth=854..988, filters=605519, revisions=(605165,useless=238943), ccks=293267696, wck=87.291, mem=2521M545
136.43/110.73	    decisions=327050, wrong=127054, backtracks=1287, failedAssignments=127054, nogoods=3122
136.43/110.73	    nFilterCalls=883777, avgTableProportion=0.9996009655529343, avgTableSize=3870.1558345600756
136.43/110.73	    
139.33/113.68	    num=75, depth=873..987, filters=624678, revisions=(624212,useless=242081), ccks=295972101, wck=90.241, mem=2540M127
139.33/113.68	    decisions=353359, wrong=139772, backtracks=1401, failedAssignments=139772, nogoods=3187
139.33/113.68	    nFilterCalls=906554, avgTableProportion=0.9996036234779041, avgTableSize=3890.0880609428673
139.33/113.68	    
142.64/116.93	    num=76, depth=784..986, filters=645630, revisions=(644535,useless=245223), ccks=298669947, wck=93.491, mem=2540M127
142.64/116.93	    decisions=382271, wrong=153762, backtracks=1654, failedAssignments=153762, nogoods=3218
142.64/116.93	    nFilterCalls=930804, avgTableProportion=0.9996045840900575, avgTableSize=3880.569945982183
142.64/116.93	    
146.06/120.35	    num=77, depth=857..985, filters=667474, revisions=(666254,useless=248362), ccks=301370877, wck=96.91, mem=2540M127
146.06/120.35	    decisions=413906, wrong=169151, backtracks=1782, failedAssignments=169151, nogoods=3248
146.06/120.35	    nFilterCalls=956250, avgTableProportion=0.9996078068509752, avgTableSize=3910.0077511111112
146.06/120.35	    
149.78/124.10	    num=78, depth=785..985, filters=691348, revisions=(689522,useless=251509), ccks=304062789, wck=100.66, mem=2540M127
149.78/124.10	    decisions=448694, wrong=186079, backtracks=2034, failedAssignments=186079, nogoods=3352
149.78/124.10	    nFilterCalls=983437, avgTableProportion=0.9996094178122851, avgTableSize=3912.6499968986323
149.78/124.10	    
153.78/128.04	    num=79, depth=827..983, filters=716543, revisions=(714494,useless=254661), ccks=306777602, wck=104.599, mem=2558M709
153.78/128.04	    decisions=486763, wrong=204700, backtracks=2190, failedAssignments=204700, nogoods=3447
153.78/128.04	    nFilterCalls=1012120, avgTableProportion=0.9996130261978332, avgTableSize=3945.321123977394
153.78/128.04	    
158.07/132.37	    num=80, depth=825..985, filters=743739, revisions=(741317,useless=257805), ccks=309578577, wck=108.93, mem=2558M709
158.07/132.37	    decisions=528651, wrong=225184, backtracks=2413, failedAssignments=225184, nogoods=3516
158.07/132.37	    nFilterCalls=1042824, avgTableProportion=0.9996159496092422, avgTableSize=3956.055006405683
158.07/132.37	    
162.78/137.01	    num=81, depth=842..993, filters=772860, revisions=(770174,useless=260941), ccks=312458475, wck=113.571, mem=2558M709
162.78/137.01	    decisions=574557, wrong=247716, backtracks=2564, failedAssignments=247716, nogoods=3593
162.78/137.01	    nFilterCalls=1075419, avgTableProportion=0.9996205999451904, avgTableSize=4019.8784762032287
162.78/137.01	    
167.78/142.01	    num=82, depth=780..988, filters=804332, revisions=(801287,useless=264078), ccks=315245784, wck=118.567, mem=2558M709
167.78/142.01	    decisions=624907, wrong=272501, backtracks=2772, failedAssignments=272501, nogoods=3598
167.78/142.01	    nFilterCalls=1110264, avgTableProportion=0.9996247484362883, avgTableSize=4056.8388113097426
167.78/142.01	    
173.27/147.50	    num=83, depth=831..994, filters=838304, revisions=(834884,useless=267221), ccks=317988691, wck=124.055, mem=2577M291
173.27/147.50	    decisions=680384, wrong=299765, backtracks=2976, failedAssignments=299765, nogoods=3660
173.27/147.50	    nFilterCalls=1147754, avgTableProportion=0.9996295002696532, avgTableSize=4111.833326653621
173.27/147.50	    
179.18/153.49	    num=84, depth=754..992, filters=875465, revisions=(871219,useless=270368), ccks=320939410, wck=130.051, mem=2577M291
179.18/153.49	    decisions=741157, wrong=329755, backtracks=3411, failedAssignments=329755, nogoods=3733
179.18/153.49	    nFilterCalls=1188051, avgTableProportion=0.9996320469922837, avgTableSize=4133.011898479106
179.18/153.49	    
185.79/160.09	    num=85, depth=722..1017, filters=915844, revisions=(910492,useless=273481), ccks=323878634, wck=136.649, mem=2577M291
185.79/160.09	    decisions=808073, wrong=362744, backtracks=3988, failedAssignments=362744, nogoods=3772
185.79/160.09	    nFilterCalls=1231608, avgTableProportion=0.9996328960208231, avgTableSize=4104.658397801898
185.79/160.09	    
192.89/167.15	    num=86, depth=694..1012, filters=959150, revisions=(953072,useless=276595), ccks=326721861, wck=143.711, mem=2595M873
192.89/167.15	    decisions=881601, wrong=399032, backtracks=4364, failedAssignments=399032, nogoods=3775
192.89/167.15	    nFilterCalls=1278284, avgTableProportion=0.9996369695318609, avgTableSize=4124.2231335133665
192.89/167.15	    
200.58/174.80	    num=87, depth=812..1003, filters=1005980, revisions=(999328,useless=279736), ccks=329462141, wck=151.359, mem=2595M873
200.58/174.80	    decisions=962247, wrong=438949, backtracks=4745, failedAssignments=438949, nogoods=3794
200.58/174.80	    nFilterCalls=1328472, avgTableProportion=0.9996416148376108, avgTableSize=4158.442514407529
200.58/174.80	    
208.89/183.20	    num=88, depth=811..1000, filters=1056995, revisions=(1049579,useless=282884), ccks=332278740, wck=159.753, mem=2595M873
208.89/183.20	    decisions=1050925, wrong=482858, backtracks=5200, failedAssignments=482858, nogoods=3865
208.89/183.20	    nFilterCalls=1382771, avgTableProportion=0.9996459240922803, avgTableSize=4178.833512562817
208.89/183.20	    
218.20/192.41	    num=89, depth=629..1000, filters=1113035, revisions=(1104211,useless=286023), ccks=335011412, wck=168.97, mem=2614M455
218.20/192.41	    decisions=1148476, wrong=531158, backtracks=5925, failedAssignments=531158, nogoods=4006
218.20/192.41	    nFilterCalls=1441823, avgTableProportion=0.9996485374371172, avgTableSize=4194.5682313293655
218.20/192.41	    
228.11/202.36	    num=90, depth=700..1015, filters=1173274, revisions=(1163641,useless=289144), ccks=337770449, wck=178.921, mem=2614M455
228.11/202.36	    decisions=1255630, wrong=584288, backtracks=6359, failedAssignments=584288, nogoods=4088
228.11/202.36	    nFilterCalls=1507585, avgTableProportion=0.9996543729580017, avgTableSize=4252.9614283771725
228.11/202.36	    
238.92/213.16	    num=91, depth=739..1001, filters=1238689, revisions=(1228401,useless=292275), ccks=340564129, wck=189.714, mem=2614M455
238.92/213.16	    decisions=1373255, wrong=642731, backtracks=6812, failedAssignments=642731, nogoods=4160
238.92/213.16	    nFilterCalls=1576287, avgTableProportion=0.9996607102348205, avgTableSize=4325.597605639075
238.92/213.16	    
250.71/224.96	    num=92, depth=717..1000, filters=1310262, revisions=(1299007,useless=295409), ccks=343399551, wck=201.523, mem=2633M37
250.71/224.96	    decisions=1502546, wrong=707018, backtracks=7332, failedAssignments=707018, nogoods=4232
250.71/224.96	    nFilterCalls=1650877, avgTableProportion=0.9996668885968659, avgTableSize=4388.242847286624
250.71/224.96	    
263.83/238.08	    num=93, depth=799..1007, filters=1388796, revisions=(1376026,useless=298531), ccks=346193003, wck=214.641, mem=2633M37
263.83/238.08	    decisions=1644972, wrong=777734, backtracks=8089, failedAssignments=777734, nogoods=4318
263.83/238.08	    nFilterCalls=1732408, avgTableProportion=0.9996712599975338, avgTableSize=4398.116544139718
263.83/238.08	    
278.11/252.38	    num=94, depth=741..1007, filters=1474687, revisions=(1460118,useless=301653), ccks=348938817, wck=228.939, mem=2651M620
278.11/252.38	    decisions=1801397, wrong=855521, backtracks=8846, failedAssignments=855521, nogoods=4339
278.11/252.38	    nFilterCalls=1820869, avgTableProportion=0.9996763853861284, avgTableSize=4425.449917045104
278.11/252.38	    
293.83/268.06	    num=95, depth=722..1009, filters=1568318, revisions=(1551997,useless=304785), ccks=351803290, wck=244.618, mem=2651M620
293.83/268.06	    decisions=1973434, wrong=941087, backtracks=9726, failedAssignments=941087, nogoods=4371
293.83/268.06	    nFilterCalls=1917286, avgTableProportion=0.9996811911894506, avgTableSize=4459.221138630335
293.83/268.06	    
310.83/285.02	    num=96, depth=613..995, filters=1670673, revisions=(1652452,useless=307920), ccks=354769753, wck=261.576, mem=2651M620
310.83/285.02	    decisions=2162293, wrong=1035210, backtracks=10725, failedAssignments=1035210, nogoods=4379
310.83/285.02	    nFilterCalls=2022100, avgTableProportion=0.9996824343230358, avgTableSize=4476.195272241729
310.83/285.02	    
329.63/303.82	    num=97, depth=746..987, filters=1783343, revisions=(1762350,useless=311080), ccks=357714643, wck=280.378, mem=2670M202
329.63/303.82	    decisions=2370109, wrong=1138745, backtracks=11878, failedAssignments=1138745, nogoods=4445
329.63/303.82	    nFilterCalls=2136619, avgTableProportion=0.9996868364797642, avgTableSize=4500.483041197331
329.63/303.82	    
350.23/324.42	    num=98, depth=673..988, filters=1906318, revisions=(1882612,useless=314245), ccks=360605639, wck=300.979, mem=2670M202
350.23/324.42	    decisions=2598815, wrong=1252634, backtracks=13069, failedAssignments=1252634, nogoods=4485
350.23/324.42	    nFilterCalls=2261719, avgTableProportion=0.9996916377936642, avgTableSize=4519.053201127107
350.23/324.42	    
373.13/347.35	    num=99, depth=689..976, filters=2043227, revisions=(2014309,useless=317449), ccks=363574480, wck=323.907, mem=2688M784
373.13/347.35	    decisions=2850301, wrong=1377912, backtracks=15144, failedAssignments=1377912, nogoods=4564
373.13/347.35	    nFilterCalls=2399102, avgTableProportion=0.9996915987360887, avgTableSize=4472.285159197067
373.13/347.35	    
397.85/372.03	    num=100, depth=627..988, filters=2190365, revisions=(2158461,useless=320592), ccks=366610506, wck=348.585, mem=2688M784
397.85/372.03	    decisions=3126862, wrong=1515718, backtracks=16531, failedAssignments=1515718, nogoods=4619
397.85/372.03	    nFilterCalls=2548331, avgTableProportion=0.9996969261315088, avgTableSize=4499.3761167603425
397.85/372.03	    
425.04/399.23	    num=101, depth=741..1003, filters=2352230, revisions=(2316370,useless=323720), ccks=369595991, wck=375.785, mem=2707M366
425.04/399.23	    decisions=3430775, wrong=1667304, backtracks=18165, failedAssignments=1667304, nogoods=4683
425.04/399.23	    nFilterCalls=2711369, avgTableProportion=0.9997017404637294, avgTableSize=4539.912014557959
425.04/399.23	    
454.96/429.13	    num=102, depth=633..1000, filters=2529790, revisions=(2489451,useless=326858), ccks=372610597, wck=405.684, mem=2707M366
454.96/429.13	    decisions=3765136, wrong=1834049, backtracks=19988, failedAssignments=1834049, nogoods=4772
454.96/429.13	    nFilterCalls=2889892, avgTableProportion=0.9997066583722732, avgTableSize=4587.817505982923
454.96/429.13	    
487.47/461.69	    num=103, depth=688..1017, filters=2722776, revisions=(2679174,useless=329974), ccks=375520606, wck=438.248, mem=2725M948
487.47/461.69	    decisions=4132925, wrong=2017468, backtracks=21505, failedAssignments=2017468, nogoods=4863
487.47/461.69	    nFilterCalls=3084853, avgTableProportion=0.9997136411682209, avgTableSize=4677.212641574817
487.47/461.69	    
523.37/497.52	    num=104, depth=625..1000, filters=2935027, revisions=(2887276,useless=333113), ccks=378515118, wck=474.081, mem=2744M530
523.37/497.52	    decisions=4537441, wrong=2219229, backtracks=23493, failedAssignments=2219229, nogoods=4929
523.37/497.52	    nFilterCalls=3298683, avgTableProportion=0.9997191279786501, avgTableSize=4755.664518536641
523.37/497.52	    
562.89/537.08	    num=105, depth=679..998, filters=3169425, revisions=(3115593,useless=336287), ccks=381723778, wck=513.641, mem=2763M112
562.89/537.08	    decisions=4982199, wrong=2441167, backtracks=26197, failedAssignments=2441167, nogoods=5071
562.89/537.08	    nFilterCalls=3533298, avgTableProportion=0.9997219307399773, avgTableSize=4769.011447661646
562.89/537.08	    
606.19/580.30	    num=106, depth=668..999, filters=3425077, revisions=(3366120,useless=339455), ccks=385449090, wck=556.862, mem=2763M112
606.19/580.30	    decisions=5471331, wrong=2685298, backtracks=28277, failedAssignments=2685298, nogoods=5171
606.19/580.30	    nFilterCalls=3789488, avgTableProportion=0.9997282464857473, avgTableSize=4832.999143947678
606.19/580.30	    
653.10/627.21	    num=107, depth=631..999, filters=3705671, revisions=(3641015,useless=342597), ccks=388522900, wck=603.773, mem=2781M694
653.10/627.21	    decisions=6009343, wrong=2953843, backtracks=30797, failedAssignments=2953843, nogoods=5200
653.10/627.21	    nFilterCalls=4070567, avgTableProportion=0.9997333791501058, avgTableSize=4874.507486794837
653.10/627.21	    
704.11/678.27	    num=108, depth=665..990, filters=4013914, revisions=(3942801,useless=345771), ccks=391656302, wck=654.824, mem=2800M276
704.11/678.27	    decisions=6600917, wrong=3249242, backtracks=33503, failedAssignments=3249242, nogoods=5275
704.11/678.27	    nFilterCalls=4378547, avgTableProportion=0.9997385164240503, avgTableSize=4920.631077615474
704.11/678.27	    
760.32/734.45	    num=109, depth=625..1000, filters=4351780, revisions=(4274092,useless=348916), ccks=394936276, wck=711.012, mem=2818M859
760.32/734.45	    decisions=7251640, wrong=3574181, backtracks=36691, failedAssignments=3574181, nogoods=5317
760.32/734.45	    nFilterCalls=4716612, avgTableProportion=0.9997426199350367, avgTableSize=4934.750651526986
760.32/734.45	    
822.33/796.40	    num=110, depth=684..998, filters=4724773, revisions=(4637904,useless=352088), ccks=398079555, wck=772.955, mem=2837M441
822.33/796.40	    decisions=7967401, wrong=3931614, backtracks=40573, failedAssignments=3931614, nogoods=5398
822.33/796.40	    nFilterCalls=5087918, avgTableProportion=0.9997452587937127, avgTableSize=4923.681214595046
822.33/796.40	    
889.74/863.85	    num=111, depth=650..1016, filters=5131448, revisions=(5037407,useless=355219), ccks=401598088, wck=840.408, mem=2856M23
889.74/863.85	    decisions=8754510, wrong=4324790, backtracks=43778, failedAssignments=4324790, nogoods=5465
889.74/863.85	    nFilterCalls=5494136, avgTableProportion=0.9997512504672962, avgTableSize=5013.067964826499
889.74/863.85	    
964.65/938.76	    num=112, depth=693..1000, filters=5581654, revisions=(5476287,useless=358395), ccks=404866710, wck=915.319, mem=2874M605
964.65/938.76	    decisions=9620325, wrong=4757284, backtracks=48916, failedAssignments=4757284, nogoods=5524
964.65/938.76	    nFilterCalls=5941691, avgTableProportion=0.9997524467476513, avgTableSize=4988.302359210535
964.65/938.76	    
1046.37/1020.44	    num=113, depth=632..1002, filters=6072666, revisions=(5958467,useless=361621), ccks=408161199, wck=996.996, mem=2893M187
1046.37/1020.44	    decisions=10572620, wrong=5233028, backtracks=52701, failedAssignments=5233028, nogoods=5615
1046.37/1020.44	    nFilterCalls=6431120, avgTableProportion=0.9997585780093088, avgTableSize=5097.416377862643
1046.37/1020.44	    
1134.15/1108.22	    num=114, depth=631..995, filters=6615607, revisions=(6488175,useless=364802), ccks=411453278, wck=1084.783, mem=2930M351
1134.15/1108.22	    decisions=11620177, wrong=5756346, backtracks=57990, failedAssignments=5756346, nogoods=5732
1134.15/1108.22	    nFilterCalls=6969745, avgTableProportion=0.9997616564039902, avgTableSize=5118.672805533058
1134.15/1108.22	    
1220.92/1195.04	    num=115, depth=711..1001, filters=7208310, revisions=(7070268,useless=368034), ccks=414804646, wck=1171.601, mem=2949M391
1220.92/1195.04	    decisions=12772453, wrong=6331996, backtracks=63085, failedAssignments=6331996, nogoods=5746
1220.92/1195.04	    nFilterCalls=7560562, avgTableProportion=0.9997660380519499, avgTableSize=5189.917805316589
1220.92/1195.04	    
1307.18/1281.38	    num=116, depth=657..1000, filters=7858878, revisions=(7709885,useless=371227), ccks=418187879, wck=1257.942, mem=2986M556
1307.18/1281.38	    decisions=14039861, wrong=6965211, backtracks=68532, failedAssignments=6965211, nogoods=5875
1307.18/1281.38	    nFilterCalls=8209298, avgTableProportion=0.9997707112494991, avgTableSize=5263.992905605327
1307.18/1281.38	    
1389.35/1363.58	    num=117, depth=628..1007, filters=8579554, revisions=(8412823,useless=374431), ccks=421606402, wck=1340.142, mem=3023M720
1389.35/1363.58	    decisions=15433751, wrong=7661747, backtracks=75958, failedAssignments=7661747, nogoods=5899
1389.35/1363.58	    nFilterCalls=8923162, avgTableProportion=0.9997725557963784, avgTableSize=5278.275220375916
1389.35/1363.58	    
1466.54/1440.73	    num=118, depth=688..998, filters=9369383, revisions=(9185516,useless=377730), ccks=425070296, wck=1417.291, mem=3042M302
1466.54/1440.73	    decisions=16967035, wrong=8427937, backtracks=84064, failedAssignments=8427937, nogoods=5967
1466.54/1440.73	    nFilterCalls=9707453, avgTableProportion=0.9997738784315257, avgTableSize=5272.130062231566
1466.54/1440.73	    
1550.87/1525.05	    num=119, depth=685..1020, filters=10243495, revisions=(10034751,useless=380959), ccks=428753323, wck=1501.607, mem=3098M48
1550.87/1525.05	    decisions=18653553, wrong=9270746, backtracks=93796, failedAssignments=9270746, nogoods=5981
1550.87/1525.05	    nFilterCalls=10569982, avgTableProportion=0.9997742821456702, avgTableSize=5280.841620733129
1550.87/1525.05	    
1642.38/1616.51	    num=120, depth=628..997, filters=11194963, revisions=(10968392,useless=384292), ccks=432508951, wck=1593.066, mem=3135M213
1642.38/1616.51	    decisions=20508634, wrong=10197836, backtracks=101899, failedAssignments=10197836, nogoods=6008
1642.38/1616.51	    nFilterCalls=11515179, avgTableProportion=0.9997780728448505, avgTableSize=5333.681219110879
1642.38/1616.51	    
1743.51/1717.63	    num=121, depth=628..1013, filters=12243886, revisions=(11994607,useless=387513), ccks=436325245, wck=1694.184, mem=3172M377
1743.51/1717.63	    decisions=22549222, wrong=11217635, backtracks=112705, failedAssignments=11217635, nogoods=6169
1743.51/1717.63	    nFilterCalls=12555858, avgTableProportion=0.9997794828027773, avgTableSize=5360.580370851598
1743.51/1717.63	    
1854.35/1828.45	    num=122, depth=624..1004, filters=13397344, revisions=(13122869,useless=390786), ccks=440212036, wck=1805.004, mem=3228M123
1854.35/1828.45	    decisions=24793599, wrong=12339414, backtracks=123349, failedAssignments=12339414, nogoods=6234
1854.35/1828.45	    nFilterCalls=13698194, avgTableProportion=0.9997820174030403, avgTableSize=5382.5155422678345
1854.35/1828.45	    
1976.37/1950.42	    num=123, depth=651..1010, filters=14664875, revisions=(14363413,useless=394173), ccks=444355374, wck=1926.981, mem=3283M870
1976.37/1950.42	    decisions=27262469, wrong=13573371, backtracks=136094, failedAssignments=13573371, nogoods=6268
1976.37/1950.42	    nFilterCalls=14954940, avgTableProportion=0.9997830282379044, avgTableSize=5372.982544497002
1976.37/1950.42	    
2112.15/2086.15	    num=124, depth=624..1014, filters=16069699, revisions=(15727326,useless=397526), ccks=448693093, wck=2062.708, mem=2428M640
2112.15/2086.15	    decisions=29978157, wrong=14930724, backtracks=155132, failedAssignments=14930724, nogoods=6278
2112.15/2086.15	    nFilterCalls=16341408, avgTableProportion=0.9997793025269686, avgTableSize=5289.248895321627
2112.15/2086.15	    
2259.89/2233.85	    num=125, depth=684..997, filters=17604902, revisions=(17226922,useless=400809), ccks=453215176, wck=2210.412, mem=2484M485
2259.89/2233.85	    decisions=32965314, wrong=16423812, backtracks=169168, failedAssignments=16423812, nogoods=6401
2259.89/2233.85	    nFilterCalls=17858630, avgTableProportion=0.9997825346018746, avgTableSize=5363.525752871301
2259.89/2233.85	    
2400.02/2373.90	
2400.02/2373.90	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 (11526 MiB free)
  memory of node 1: 16384 MiB (14364 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391152-1568391742/watcher-4391152-1568391742 -o /tmp/evaluation-result-4391152-1568391742/solver-4391152-1568391742 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391152-1568391742.xml -cm 

running on 4 cores: 1,3,5,7

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=5843, runsolver pid=5840

[startup+0.101258 s]*
/proc/loadavg: 1.80 1.89 1.94 4/230 5858
/proc/meminfo: memFree=26497164/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10659884 memory=29276 CPUtime=0.14 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 5829 0 0 0 13 1 0 0 20 0 15 0 415088074 10915721216 7319 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2664971 7319 2910 1 0 2627468 0
[pid=5843/tid=5845] ppid=5840 vsize=10659884 memory=-8536116181161833664 CPUtime=0.09 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) S 5840 5843 3758 0 -1 1077944384 3203 0 0 0 9 0 0 0 20 0 15 0 415088074 10915721216 7319 33554432000 4194304 4196468 140727254535568 139690237541312 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 7319 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 7319 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689791439776 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689790387184 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088079 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) R 5840 5843 3758 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 15 0 415088079 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0.02 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) R 5840 5843 3758 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 415088080 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689786172664 139690225548094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 7319 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29276 KiB

[startup+0.211155 s]*
/proc/loadavg: 1.80 1.89 1.94 4/230 5858
/proc/meminfo: memFree=26485996/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10659884 memory=37128 CPUtime=0.33 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 9009 0 0 0 31 2 0 0 20 0 15 0 415088074 10915721216 9282 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2664971 9282 2988 1 0 2627468 0
[pid=5843/tid=5845] ppid=5840 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 3758 0 -1 4202560 6065 0 0 0 18 1 0 0 20 0 15 0 415088074 10915721216 9282 33554432000 4194304 4196468 140727254535568 139690237542928 139690233332893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9282 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10659884 memory=139765436280710 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9282 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689791439776 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689790387184 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088079 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 15 0 415088079 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 415088080 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0.05 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 605 0 0 0 5 0 0 0 20 0 15 0 415088080 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 9282 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37128 KiB

[startup+0.310313 s]*
/proc/loadavg: 1.80 1.89 1.94 5/230 5858
/proc/meminfo: memFree=26484196/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10659884 memory=39932 CPUtime=0.47 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 9211 0 0 0 45 2 0 0 20 0 15 0 415088074 10915721216 9983 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2664971 9983 3017 1 0 2627468 0
[pid=5843/tid=5845] ppid=5840 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 3758 0 -1 4202560 6192 0 0 0 28 1 0 0 20 0 15 0 415088074 10915721216 9983 33554432000 4194304 4196468 140727254535568 139690237543376 139690233332893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9983 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10659884 memory=16244549360965272 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9983 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088075 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689791439776 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415088077 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689790387184 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088079 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 688 0 0 0 3 0 0 0 20 0 15 0 415088079 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 339 0 0 0 4 0 0 0 20 0 15 0 415088080 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0.08 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 635 0 0 0 8 0 0 0 20 0 15 0 415088080 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10659884 memory=139765436274304 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088080 10915721216 9983 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39932 KiB

[startup+0.70072 s]
/proc/loadavg: 1.80 1.89 1.94 3/230 5858
/proc/meminfo: memFree=26473072/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10661932 memory=63408 CPUtime=1.1 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 12882 0 0 0 106 4 0 0 20 0 15 0 415088074 10917818368 15852 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2665483 15852 3062 1 0 2627980 0
[pid=5843/tid=5845] ppid=5840 vsize=10661932 memory=1368 CPUtime=0.67 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 3758 0 -1 4202560 8757 0 0 0 65 2 0 0 20 0 15 0 415088074 10917818368 15852 33554432000 4194304 4196468 140727254535568 139690237533904 139690214874542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10917818368 15852 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10661932 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10917818368 15852 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10661932 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10661932 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088075 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10661932 memory=732 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088077 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415088077 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689791439776 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415088077 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689790387184 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088079 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10661932 memory=4639098309541126765 CPUtime=0.11 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 1004 0 0 0 11 0 0 0 20 0 15 0 415088079 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10661932 memory=7380108234216663121 CPUtime=0.11 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) R 5840 5843 3758 0 -1 4202560 652 0 0 0 11 0 0 0 20 0 15 0 415088080 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689787230832 139690211064863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10661932 memory=5787782378022856021 CPUtime=0.18 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 1110 0 0 0 18 0 0 0 20 0 15 0 415088080 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415088080 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088080 10917818368 15852 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63408 KiB

[startup+1.50072 s]
/proc/loadavg: 1.80 1.89 1.94 3/230 5858
/proc/meminfo: memFree=26456996/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10663980 memory=75468 CPUtime=2 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 18402 0 0 0 196 4 0 0 20 0 15 0 415088074 10919915520 18867 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2665995 18867 3095 1 0 2628492 0
[pid=5843/tid=5845] ppid=5840 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 3758 0 -1 4202560 12947 0 0 0 144 3 0 0 20 0 15 0 415088074 10919915520 18867 33554432000 4194304 4196468 140727254535568 139690237542032 139690217391454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10919915520 18867 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10663980 memory=6299247712073313636 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10919915520 18867 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10663980 memory=7667777919618011495 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415088075 10919915520 18867 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10663980 memory=7378980221118802513 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415088075 10919915520 18867 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10663980 memory=7518026630507423081 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 415088077 10919915520 18867 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0

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

/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 99695 0 0 0 480 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10748324 memory=139765282602657 CPUtime=0.36 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 18834 0 0 0 34 2 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689791439840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689790387200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.58 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 20160 0 0 0 356 2 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10748324 memory=2124 CPUtime=3.88 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 16081 0 0 0 386 2 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10748324 memory=2020 CPUtime=1.34 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 27773 0 0 0 130 4 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.51 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 2556 0 0 0 22 29 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5859] ppid=5840 vsize=10748324 memory=1768 CPUtime=2253.96 cores=1,3,5,7
/proc/5843/task/5859/stat : 5859 (java) R 5840 5843 3758 0 -1 4202560 843211 0 0 0 225325 71 0 0 20 0 16 0 415088262 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689699822800 139689872139357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 2288.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5295612 KiB

[startup+2322.3 s]
/proc/loadavg: 1.01 1.02 1.13 2/207 6121
/proc/meminfo: memFree=21519584/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10748324 memory=5295612 CPUtime=2348.41 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 1337395 0 0 0 234361 480 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2687081 1323903 3391 1 0 2647217 0
[pid=5843/tid=5845] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.85 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) S 5840 5843 3758 0 -1 1077944384 15195 0 0 0 180 5 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690237553840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10748324 memory=230130 CPUtime=5.68 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 97393 0 0 0 478 90 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 96994 0 0 0 478 92 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 95797 0 0 0 479 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.71 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 99695 0 0 0 480 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.36 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 18854 0 0 0 34 2 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689791439840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689790387200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10748324 memory=1560 CPUtime=3.58 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 20186 0 0 0 356 2 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.88 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 16087 0 0 0 386 2 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.34 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 27779 0 0 0 130 4 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10748324 memory=8112282956445269571 CPUtime=0.53 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 2630 0 0 0 23 30 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5859] ppid=5840 vsize=10748324 memory=8112282956445269571 CPUtime=2313.96 cores=1,3,5,7
/proc/5843/task/5859/stat : 5859 (java) R 5840 5843 3758 0 -1 4202560 845317 0 0 0 231325 71 0 0 20 0 16 0 415088262 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689699822800 139689872139322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 2348.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5295612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2373.9 s]
/proc/loadavg: 1.00 1.01 1.13 2/208 6148
/proc/meminfo: memFree=21519040/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10748324 memory=5295612 CPUtime=2400.02 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 1339376 0 0 0 239521 481 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2687081 1323903 3391 1 0 2647217 0
[pid=5843/tid=5845] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.85 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) S 5840 5843 3758 0 -1 1077944384 15195 0 0 0 180 5 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690237553840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.68 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 97393 0 0 0 478 90 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 96994 0 0 0 478 92 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10748324 memory=185 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 95797 0 0 0 479 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.71 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 99695 0 0 0 480 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.36 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 18864 0 0 0 34 2 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689791439840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689790387200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.58 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 20199 0 0 0 356 2 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.88 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 16090 0 0 0 386 2 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.34 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 27782 0 0 0 130 4 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.54 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 2667 0 0 0 23 31 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5859] ppid=5840 vsize=10748324 memory=5295612 CPUtime=2365.56 cores=1,3,5,7
/proc/5843/task/5859/stat : 5859 (java) R 5840 5843 3758 0 -1 4202560 847232 0 0 0 236485 71 0 0 20 0 16 0 415088262 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689699822800 139689872139357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5295612 KiB

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

[startup+2373.93 s]
# the end of solver process 5843 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.23 s, system=4.83643 s

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

[startup+2373.9 s]
/proc/loadavg: 1.00 1.01 1.13 2/208 6148
/proc/meminfo: memFree=21519040/32770624 swapFree=66957012/67108860
[pid=5843] ppid=5840 vsize=10748324 memory=5295612 CPUtime=2400.02 cores=1,3,5,7
/proc/5843/stat : 5843 (java) S 5840 5843 3758 0 -1 1077944320 1339376 0 0 0 239521 481 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 140727254518112 139690233310967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
/proc/5843/statm: 2687081 1323903 3391 1 0 2647217 0
[pid=5843/tid=5845] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.85 cores=1,3,5,7
/proc/5843/task/5845/stat : 5845 (java) S 5840 5843 3758 0 -1 1077944384 15195 0 0 0 180 5 0 0 20 0 16 0 415088074 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690237553840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5846] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.68 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 3758 0 -1 1077944384 97393 0 0 0 478 90 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690189863696 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5847] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 3758 0 -1 1077944384 96994 0 0 0 478 92 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139690188811152 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5848] ppid=5840 vsize=10748324 memory=185 CPUtime=5.7 cores=1,3,5,7
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 3758 0 -1 1077944384 95797 0 0 0 479 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689838173200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5849] ppid=5840 vsize=10748324 memory=5295612 CPUtime=5.71 cores=1,3,5,7
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 3758 0 -1 1077944384 99695 0 0 0 480 91 0 0 20 0 16 0 415088075 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689837120656 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5850] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.36 cores=1,3,5,7
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 3758 0 -1 1077944384 18864 0 0 0 34 2 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689792493552 139690233322114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5851] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 3758 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689791439840 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5852] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 3758 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 16 0 415088077 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689790387200 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5853] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689789335760 139690233329563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5854] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.58 cores=1,3,5,7
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 3758 0 -1 1077944384 20199 0 0 0 356 2 0 0 20 0 16 0 415088079 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689788283376 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5855] ppid=5840 vsize=10748324 memory=5295612 CPUtime=3.88 cores=1,3,5,7
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 3758 0 -1 1077944384 16090 0 0 0 386 2 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689787230832 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5856] ppid=5840 vsize=10748324 memory=5295612 CPUtime=1.34 cores=1,3,5,7
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 3758 0 -1 1077944384 27782 0 0 0 130 4 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689786178288 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5857] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689717656672 139690233321173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5858] ppid=5840 vsize=10748324 memory=5295612 CPUtime=0.54 cores=1,3,5,7
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 3758 0 -1 1077944384 2667 0 0 0 23 31 0 0 20 0 16 0 415088080 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689716603184 139690233322114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
[pid=5843/tid=5859] ppid=5840 vsize=10748324 memory=5295612 CPUtime=2365.56 cores=1,3,5,7
/proc/5843/task/5859/stat : 5859 (java) R 5840 5843 3758 0 -1 4202560 847232 0 0 0 236485 71 0 0 20 0 16 0 415088262 11006283776 1323903 33554432000 4194304 4196468 140727254535568 139689699822800 139689872139357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140727254537227 140727254537330 140727254537330 140727254540239 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5295612 KiB

Child status: 143
Real time (s): 2373.93
CPU time (s): 2400.06
CPU user time (s): 2395.23
CPU system time (s): 4.83643
CPU usage (%): 101.101
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 5295612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.23
system time used= 4.83643
maximum resident set size= 5296024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60915
involuntary context switches= 1380


# summary of solver processes directly reported to runsolver:
#   pid: 5843
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2395.23
#   total CPU system time (s): 4.83643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2997 second user time and 19.8383 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 18:21:39
IDJOB=4391152
IDBENCH=141274
IDSOLVER=2833
FILE ID=node147/4391152-1568391742
RUNJOBID= node147-1568389280-3790
PBS_JOBID= 21701856
Free space on /tmp= 58748 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391152-1568391742/watcher-4391152-1568391742 -o /tmp/evaluation-result-4391152-1568391742/solver-4391152-1568391742 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391152-1568391742.xml -cm

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

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=1308687055

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26513160 kB
MemAvailable:   31521776 kB
Buffers:          169568 kB
Cached:          5066668 kB
SwapCached:        48500 kB
Active:          2393124 kB
Inactive:        3185920 kB
Active(anon):     294872 kB
Inactive(anon):    89344 kB
Active(file):    2098252 kB
Inactive(file):  3096576 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:            133136 kB
Writeback:             0 kB
AnonPages:        404012 kB
Mapped:            56992 kB
Shmem:             32768 kB
Slab:             271356 kB
SReclaimable:     242248 kB
SUnreclaim:        29108 kB
KernelStack:        3744 kB
PageTables:         6540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1168008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58748 MiB
End job on node147 at 2019-09-13 19:01:13