Trace number 4390852

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.11 2493.53

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 benchmark126.294
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.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
22.51/15.27	  Instance
22.51/15.27	    name=instance-4390852-1568386875, framework=COP, bounds=-infty..+infty
22.51/15.27	
22.51/15.27	  Loading variables...
23.50/15.56	  Loading constraints...
37.98/22.42	
37.98/22.42	  Domains
37.98/22.42	    nTypes=77, nValues=345816, sizes=[1#5,2#2665,11#2250,12#1...138#29,140#24,141#77,151#1259]
37.98/22.42	  Variables
37.98/22.42	    count=7590, degrees=[2#6752,3#9,4#14,5#23...18#1,19#1,20#1,2251#1]
37.98/22.42	  Objectives
37.98/22.42	    way=min, type=SumWeightedLE
37.98/22.42	  Constraints
37.98/22.42	    count=4737, nSpecific=2267, arities=[2#237,3#2249,6#2250,4501#1]
37.98/22.42	    distribution=[CtrExtensionCT-Table#2250,CtrIntension#2470,EQ#9,NE#7,SumWeightedLE#1]
37.98/22.42	    tables=[160#1,164#1,184#1,192#1...7208#4,7212#3,7216#1,7224#1], nTotalTuples=8364282
37.98/22.42	    nExtStructures=(2250,shared:0), nIntStructures=(156,shared:2314)
37.98/22.42	    wck=20.577, cpu=19.252, mem=2263M362
39.51/23.79	  Solver SolverBacktrack being built...
39.51/23.79	
39.62/23.86	
39.62/23.86	  Solver
39.62/23.86	    guaranteedGAC=false
39.62/23.86	    wck=22.02, cpu=20.692, mem=3508M768
47.63/31.25	
47.63/31.25	  Preprocessing
47.63/31.25	    filters=2249, revisions=(3694,useless=3694), ccks=80763450, nACremovedValues=18913, nTotalRemovedValues=18913, inconcistency=false
47.63/31.25	    wck=7.38, cpu=28.077, mem=3508M768
47.63/31.25	
49.88/32.73	    num=0, depth=982..982, filters=8588, revisions=(10040,useless=6836), ccks=91180041, wck=8.862, mem=3508M768
49.88/32.73	    decisions=1002, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
49.88/32.73	    nFilterCalls=12313, avgTableProportion=0.9995697672668072, avgTableSize=3652.1706326646636
49.88/32.73	    
50.76/33.45	    num=1, depth=994..994, filters=14920, revisions=(16357,useless=9959), ccks=93993553, wck=9.583, mem=3508M768
50.76/33.45	    decisions=2018, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
50.76/33.45	    nFilterCalls=22382, avgTableProportion=0.9995688810963028, avgTableSize=3645.293182021267
50.76/33.45	    
51.55/34.17	    num=2, depth=991..991, filters=21253, revisions=(22673,useless=13077), ccks=96925458, wck=10.305, mem=3508M768
51.55/34.17	    decisions=3033, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
51.55/34.17	    nFilterCalls=32452, avgTableProportion=0.9995685834928907, avgTableSize=3643.655183039566
51.55/34.17	    
52.26/34.89	    num=3, depth=989..989, filters=27590, revisions=(28996,useless=16199), ccks=99752760, wck=11.02, mem=3508M768
52.26/34.89	    decisions=4048, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
52.26/34.89	    nFilterCalls=42523, avgTableProportion=0.9995683846858678, avgTableSize=3641.743033182043
52.26/34.89	    
52.96/35.59	    num=4, depth=988..988, filters=33929, revisions=(35322,useless=19321), ccks=102459027, wck=11.726, mem=3508M768
52.96/35.59	    decisions=5064, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
52.96/35.59	    nFilterCalls=52596, avgTableProportion=0.9995682937624489, avgTableSize=3641.140961289832
52.96/35.59	    
53.84/36.31	    num=5, depth=989..989, filters=40266, revisions=(41649,useless=22445), ccks=105297606, wck=12.443, mem=3550M270
53.84/36.31	    decisions=6085, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
53.84/36.31	    nFilterCalls=62669, avgTableProportion=0.9995682308176747, avgTableSize=3640.779157159042
53.84/36.31	    
54.56/37.02	    num=6, depth=994..994, filters=46608, revisions=(47970,useless=25562), ccks=108069717, wck=13.153, mem=3550M270
54.56/37.02	    decisions=7113, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
54.56/37.02	    nFilterCalls=72748, avgTableProportion=0.9995681866862625, avgTableSize=3640.2029196678945
54.56/37.02	    
55.27/37.73	    num=7, depth=997..997, filters=52948, revisions=(54285,useless=28675), ccks=110856306, wck=13.864, mem=3571M31
55.27/37.73	    decisions=8148, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
55.27/37.73	    nFilterCalls=82828, avgTableProportion=0.9995681536108163, avgTableSize=3639.8088810547156
55.27/37.73	    
55.98/38.44	    num=8, depth=994..994, filters=59292, revisions=(60610,useless=31794), ccks=113692245, wck=14.578, mem=3571M31
55.98/38.44	    decisions=9184, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
55.98/38.44	    nFilterCalls=92909, avgTableProportion=0.9995681216124543, avgTableSize=3639.3895209290813
55.98/38.44	    
56.69/39.16	    num=9, depth=988..988, filters=65635, revisions=(66946,useless=34921), ccks=116532153, wck=15.29, mem=3571M31
56.69/39.16	    decisions=10218, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
56.69/39.16	    nFilterCalls=102987, avgTableProportion=0.9995681084003778, avgTableSize=3639.3244487168286
56.69/39.16	    
57.38/39.88	    num=10, depth=984..985, filters=72000, revisions=(73317,useless=38064), ccks=119538168, wck=16.016, mem=3571M31
57.38/39.88	    decisions=11252, wrong=181, backtracks=1, failedAssignments=181, nogoods=157
57.38/39.88	    nFilterCalls=113078, avgTableProportion=0.9995680363294356, avgTableSize=3638.645678204425
57.38/39.88	    
58.19/40.60	    num=11, depth=996..996, filters=78347, revisions=(79654,useless=41192), ccks=122430512, wck=16.736, mem=3571M31
58.19/40.60	    decisions=12304, wrong=209, backtracks=1, failedAssignments=209, nogoods=185
58.19/40.60	    nFilterCalls=123164, avgTableProportion=0.9995680465761295, avgTableSize=3638.734321717385
58.19/40.60	    
58.91/41.30	    num=12, depth=992..992, filters=84697, revisions=(86000,useless=44325), ccks=125095339, wck=17.438, mem=3571M31
58.91/41.30	    decisions=13358, wrong=240, backtracks=1, failedAssignments=240, nogoods=216
58.91/41.30	    nFilterCalls=133251, avgTableProportion=0.9995680508143627, avgTableSize=3638.789525031707
58.91/41.30	    
59.51/42.01	    num=13, depth=991..991, filters=91054, revisions=(92346,useless=47452), ccks=127803855, wck=18.14, mem=3571M31
59.51/42.01	    decisions=14417, wrong=274, backtracks=1, failedAssignments=274, nogoods=250
59.51/42.01	    nFilterCalls=143342, avgTableProportion=0.9995680625343862, avgTableSize=3638.8234013757306
59.51/42.01	    
60.31/42.72	    num=14, depth=990..990, filters=97414, revisions=(98702,useless=50586), ccks=130611629, wck=18.851, mem=3571M31
60.31/42.72	    decisions=15481, wrong=311, backtracks=1, failedAssignments=311, nogoods=287
60.31/42.72	    nFilterCalls=153435, avgTableProportion=0.99956806377403, avgTableSize=3638.623384495063
60.31/42.72	    
61.03/43.42	    num=15, depth=986..986, filters=103778, revisions=(105071,useless=53727), ccks=133293336, wck=19.551, mem=3612M533
61.03/43.42	    decisions=16549, wrong=352, backtracks=1, failedAssignments=352, nogoods=328
61.03/43.42	    nFilterCalls=163530, avgTableProportion=0.9995680904294671, avgTableSize=3639.06495444261
61.03/43.42	    
61.74/44.13	    num=16, depth=986..986, filters=110147, revisions=(111447,useless=56871), ccks=136085580, wck=20.26, mem=3612M533
61.74/44.13	    decisions=17625, wrong=397, backtracks=1, failedAssignments=397, nogoods=373
61.74/44.13	    nFilterCalls=173629, avgTableProportion=0.999568088437366, avgTableSize=3638.773160013592
61.74/44.13	    
62.43/44.83	    num=17, depth=993..994, filters=116518, revisions=(117820,useless=60012), ccks=138805990, wck=20.966, mem=3612M533
62.43/44.83	    decisions=18719, wrong=447, backtracks=1, failedAssignments=447, nogoods=423
62.43/44.83	    nFilterCalls=183736, avgTableProportion=0.9995680764803294, avgTableSize=3638.4589519745723
62.43/44.83	    
63.13/45.55	    num=18, depth=994..994, filters=122891, revisions=(124184,useless=63142), ccks=141670922, wck=21.685, mem=3612M533
63.13/45.55	    decisions=19823, wrong=502, backtracks=1, failedAssignments=502, nogoods=478
63.13/45.55	    nFilterCalls=193845, avgTableProportion=0.9995681079605433, avgTableSize=3638.5900332740075
63.13/45.55	    
63.84/46.26	    num=19, depth=994..994, filters=129271, revisions=(130573,useless=66290), ccks=144469776, wck=22.398, mem=3612M533
63.84/46.26	    decisions=20939, wrong=563, backtracks=1, failedAssignments=563, nogoods=539
63.84/46.26	    nFilterCalls=203961, avgTableProportion=0.9995681592884145, avgTableSize=3639.1997146513304
63.84/46.26	    
64.54/46.97	    num=20, depth=995..995, filters=135660, revisions=(136957,useless=69426), ccks=147170320, wck=23.105, mem=3612M533
64.54/46.97	    decisions=22068, wrong=630, backtracks=1, failedAssignments=630, nogoods=606
64.54/46.97	    nFilterCalls=214085, avgTableProportion=0.9995681923110283, avgTableSize=3639.217848051008
64.54/46.97	    
65.24/47.68	    num=21, depth=994..995, filters=142057, revisions=(143357,useless=72568), ccks=149843273, wck=23.81, mem=3612M533
65.24/47.68	    decisions=23211, wrong=704, backtracks=1, failedAssignments=704, nogoods=680
65.24/47.68	    nFilterCalls=224218, avgTableProportion=0.9995682505733545, avgTableSize=3639.7858334299654
65.24/47.68	    
65.94/48.39	    num=22, depth=991..991, filters=148465, revisions=(149768,useless=75710), ccks=152603550, wck=24.522, mem=3612M533
65.94/48.39	    decisions=24364, wrong=785, backtracks=1, failedAssignments=785, nogoods=761
65.94/48.39	    nFilterCalls=234359, avgTableProportion=0.9995682953942487, avgTableSize=3639.961712586246
65.94/48.39	    
66.65/49.10	    num=23, depth=986..994, filters=154886, revisions=(156189,useless=78857), ccks=155349493, wck=25.234, mem=3612M533
66.65/49.10	    decisions=25528, wrong=874, backtracks=9, failedAssignments=874, nogoods=763
66.65/49.10	    nFilterCalls=244508, avgTableProportion=0.9995680963137047, avgTableSize=3638.9444353558983
66.65/49.10	    
67.45/49.85	    num=24, depth=992..993, filters=161320, revisions=(162633,useless=82008), ccks=158619288, wck=25.989, mem=3612M533
67.45/49.85	    decisions=26716, wrong=972, backtracks=10, failedAssignments=972, nogoods=772
67.45/49.85	    nFilterCalls=254672, avgTableProportion=0.9995681598852726, avgTableSize=3639.157088333229
67.45/49.85	    
68.16/50.57	    num=25, depth=991..993, filters=167752, revisions=(169069,useless=85154), ccks=161422135, wck=26.706, mem=3654M35
68.16/50.57	    decisions=27923, wrong=1080, backtracks=12, failedAssignments=1080, nogoods=787
68.16/50.57	    nFilterCalls=264836, avgTableProportion=0.9995681599301308, avgTableSize=3638.6143198054647
68.16/50.57	    
68.86/51.29	    num=26, depth=1001..1001, filters=174194, revisions=(175496,useless=88282), ccks=164184879, wck=27.424, mem=3654M35
68.86/51.29	    decisions=29162, wrong=1199, backtracks=12, failedAssignments=1199, nogoods=906
68.86/51.29	    nFilterCalls=275017, avgTableProportion=0.9995682585718854, avgTableSize=3639.6529850881943
68.86/51.29	    
69.67/52.01	    num=27, depth=990..991, filters=180661, revisions=(181972,useless=91433), ccks=166975087, wck=28.142, mem=3654M35
69.67/52.01	    decisions=30414, wrong=1330, backtracks=13, failedAssignments=1330, nogoods=909
69.67/52.01	    nFilterCalls=285213, avgTableProportion=0.9995683628187085, avgTableSize=3640.7187926216548
69.67/52.01	    
70.40/52.72	    num=28, depth=995..996, filters=187133, revisions=(188430,useless=94561), ccks=169678630, wck=28.856, mem=3654M35
70.40/52.72	    decisions=31697, wrong=1474, backtracks=14, failedAssignments=1474, nogoods=968
70.40/52.72	    nFilterCalls=295420, avgTableProportion=0.9995684363252996, avgTableSize=3640.893568478776
70.40/52.72	    
71.10/53.44	    num=29, depth=989..990, filters=193619, revisions=(194915,useless=97699), ccks=172410757, wck=29.572, mem=3654M35
71.10/53.44	    decisions=33002, wrong=1632, backtracks=15, failedAssignments=1632, nogoods=1007
71.10/53.44	    nFilterCalls=305638, avgTableProportion=0.9995685430033986, avgTableSize=3641.865906726258
71.10/53.44	    
71.81/54.15	    num=30, depth=983..984, filters=200124, revisions=(201423,useless=100839), ccks=175111331, wck=30.285, mem=3654M35
71.81/54.15	    decisions=34333, wrong=1806, backtracks=16, failedAssignments=1806, nogoods=1065
71.81/54.15	    nFilterCalls=315871, avgTableProportion=0.9995686528989971, avgTableSize=3642.8053445868727
71.81/54.15	    
72.50/54.86	    num=31, depth=985..986, filters=206646, revisions=(207955,useless=103986), ccks=177777830, wck=30.997, mem=3654M35
72.50/54.86	    decisions=35700, wrong=1997, backtracks=17, failedAssignments=1997, nogoods=1128
72.50/54.86	    nFilterCalls=326123, avgTableProportion=0.9995687761313018, avgTableSize=3644.0876939069003
72.50/54.86	    
73.20/55.58	    num=32, depth=984..986, filters=213189, revisions=(214492,useless=107119), ccks=180468900, wck=31.712, mem=3654M35
73.20/55.58	    decisions=37106, wrong=2208, backtracks=19, failedAssignments=2208, nogoods=1148
73.20/55.58	    nFilterCalls=336394, avgTableProportion=0.9995688760809373, avgTableSize=3644.5156334536287
73.20/55.58	    
73.90/56.29	    num=33, depth=984..986, filters=219757, revisions=(221067,useless=110262), ccks=183144831, wck=32.427, mem=3654M35
73.90/56.29	    decisions=38554, wrong=2440, backtracks=21, failedAssignments=2440, nogoods=1155
73.90/56.29	    nFilterCalls=346692, avgTableProportion=0.9995690047835374, avgTableSize=3645.472978897696
73.90/56.29	    
74.72/57.01	    num=34, depth=986..991, filters=226344, revisions=(227645,useless=113397), ccks=185840317, wck=33.147, mem=3654M35
74.72/57.01	    decisions=40050, wrong=2695, backtracks=26, failedAssignments=2695, nogoods=1161
74.72/57.01	    nFilterCalls=357007, avgTableProportion=0.9995690124134811, avgTableSize=3644.538485239785
74.72/57.01	    
75.41/57.74	    num=35, depth=989..992, filters=232953, revisions=(234242,useless=116527), ccks=188525008, wck=33.87, mem=3695M536
75.41/57.74	    decisions=41601, wrong=2976, backtracks=29, failedAssignments=2976, nogoods=1185
75.41/57.74	    nFilterCalls=367347, avgTableProportion=0.9995691244690927, avgTableSize=3644.8235564738516
75.41/57.74	    
76.13/58.46	    num=36, depth=987..989, filters=239588, revisions=(240878,useless=119667), ccks=191248420, wck=34.598, mem=3695M536
76.13/58.46	    decisions=43206, wrong=3285, backtracks=31, failedAssignments=3285, nogoods=1255
76.13/58.46	    nFilterCalls=377713, avgTableProportion=0.9995692892901884, avgTableSize=3646.337925885527
76.13/58.46	    
76.84/59.19	    num=37, depth=983..989, filters=246260, revisions=(247551,useless=122811), ccks=193944215, wck=35.328, mem=3695M536
76.84/59.19	    decisions=44869, wrong=3625, backtracks=37, failedAssignments=3625, nogoods=1296
76.84/59.19	    nFilterCalls=388112, avgTableProportion=0.9995693058826974, avgTableSize=3645.2849435214575
76.84/59.19	    
77.63/59.92	    num=38, depth=985..987, filters=252963, revisions=(254255,useless=125951), ccks=196611002, wck=36.059, mem=3695M536
77.63/59.92	    decisions=46602, wrong=3999, backtracks=39, failedAssignments=3999, nogoods=1413
77.63/59.92	    nFilterCalls=398544, avgTableProportion=0.9995695128917275, avgTableSize=3647.46657332691
77.63/59.92	    
78.33/60.66	    num=39, depth=986..990, filters=259706, revisions=(260985,useless=129081), ccks=199290209, wck=36.794, mem=3695M536
78.33/60.66	    decisions=48410, wrong=4410, backtracks=43, failedAssignments=4410, nogoods=1441
78.33/60.66	    nFilterCalls=409015, avgTableProportion=0.9995696863029248, avgTableSize=3648.3263034363044
78.33/60.66	    
79.14/61.40	    num=40, depth=988..991, filters=266487, revisions=(267767,useless=132223), ccks=201981804, wck=37.534, mem=3695M536
79.14/61.40	    decisions=50302, wrong=4862, backtracks=46, failedAssignments=4862, nogoods=1507
79.14/61.40	    nFilterCalls=419527, avgTableProportion=0.9995699246953391, avgTableSize=3650.8173419112477
79.14/61.40	    
79.92/62.14	    num=41, depth=985..991, filters=273318, revisions=(274584,useless=135355), ccks=204638127, wck=38.279, mem=3695M536
79.92/62.14	    decisions=52281, wrong=5359, backtracks=52, failedAssignments=5359, nogoods=1558
79.92/62.14	    nFilterCalls=430086, avgTableProportion=0.9995701002718104, avgTableSize=3651.2738940583977
79.92/62.14	    
80.67/62.89	    num=42, depth=987..991, filters=280194, revisions=(281454,useless=138491), ccks=207329773, wck=39.027, mem=3695M536
80.67/62.89	    decisions=54362, wrong=5906, backtracks=56, failedAssignments=5906, nogoods=1626
80.67/62.89	    nFilterCalls=440692, avgTableProportion=0.999570362015502, avgTableSize=3653.652442068383
80.67/62.89	    
81.51/63.65	    num=43, depth=983..989, filters=287129, revisions=(288387,useless=141632), ccks=210004894, wck=39.785, mem=3695M536
81.51/63.65	    decisions=56549, wrong=6508, backtracks=62, failedAssignments=6508, nogoods=1689
81.51/63.65	    nFilterCalls=451354, avgTableProportion=0.99957057781196, avgTableSize=3654.4396017316785
81.51/63.65	    
82.31/64.41	    num=44, depth=983..988, filters=294124, revisions=(295381,useless=144773), ccks=212706253, wck=40.546, mem=3737M38
82.31/64.41	    decisions=58856, wrong=7170, backtracks=67, failedAssignments=7170, nogoods=1707
82.31/64.41	    nFilterCalls=462076, avgTableProportion=0.9995708960532478, avgTableSize=3657.7480284628505
82.31/64.41	    
83.02/65.17	    num=45, depth=982..989, filters=301189, revisions=(302429,useless=147902), ccks=215376446, wck=41.308, mem=3737M38
83.02/65.17	    decisions=61294, wrong=7898, backtracks=74, failedAssignments=7898, nogoods=1764
83.02/65.17	    nFilterCalls=472865, avgTableProportion=0.9995711638639402, avgTableSize=3659.0426887166527
83.02/65.17	    
83.81/65.94	    num=46, depth=981..988, filters=308333, revisions=(309577,useless=151049), ccks=218064846, wck=42.076, mem=3737M38
83.81/65.94	    decisions=63877, wrong=8699, backtracks=81, failedAssignments=8699, nogoods=1785
83.81/65.94	    nFilterCalls=483734, avgTableProportion=0.9995714974896982, avgTableSize=3661.568911839978
83.81/65.94	    
84.61/66.72	    num=47, depth=979..989, filters=315553, revisions=(316789,useless=154190), ccks=220762356, wck=42.851, mem=3737M38
84.61/66.72	    decisions=66618, wrong=9580, backtracks=91, failedAssignments=9580, nogoods=1807
84.61/66.72	    nFilterCalls=494675, avgTableProportion=0.9995717690012998, avgTableSize=3662.278318087633
84.61/66.72	    
85.41/67.50	    num=48, depth=980..987, filters=322858, revisions=(324096,useless=157336), ccks=223494504, wck=43.636, mem=3737M38
85.41/67.50	    decisions=69538, wrong=10550, backtracks=98, failedAssignments=10550, nogoods=1875
85.41/67.50	    nFilterCalls=505704, avgTableProportion=0.9995721955094594, avgTableSize=3666.6956520019617
85.41/67.50	    
86.11/68.29	    num=49, depth=975..986, filters=330266, revisions=(331488,useless=160469), ccks=226163318, wck=44.422, mem=3737M38
86.11/68.29	    decisions=72647, wrong=11617, backtracks=109, failedAssignments=11617, nogoods=1887
86.11/68.29	    nFilterCalls=516830, avgTableProportion=0.9995725546252964, avgTableSize=3668.424673490316
86.11/68.29	    
86.93/69.09	    num=50, depth=978..987, filters=337775, revisions=(338990,useless=163608), ccks=228853260, wck=45.221, mem=3737M38
86.93/69.09	    decisions=75971, wrong=12790, backtracks=118, failedAssignments=12790, nogoods=1981
86.93/69.09	    nFilterCalls=528061, avgTableProportion=0.9995730249308888, avgTableSize=3672.6433821092637
86.93/69.09	    
87.72/69.89	    num=51, depth=962..987, filters=345420, revisions=(346620,useless=166755), ccks=231540990, wck=46.027, mem=3737M38
87.72/69.89	    decisions=79515, wrong=14081, backtracks=143, failedAssignments=14081, nogoods=2023
87.72/69.89	    nFilterCalls=539412, avgTableProportion=0.9995730921464101, avgTableSize=3669.898037121903
87.72/69.89	    
88.62/70.71	    num=52, depth=977..988, filters=353181, revisions=(354376,useless=169899), ccks=234227213, wck=46.843, mem=3737M38
88.62/70.71	    decisions=83332, wrong=15501, backtracks=154, failedAssignments=15501, nogoods=2025
88.62/70.71	    nFilterCalls=550893, avgTableProportion=0.9995736772121995, avgTableSize=3675.9350273102036
88.62/70.71	    
89.42/71.54	    num=53, depth=972..991, filters=361095, revisions=(362259,useless=173030), ccks=236898256, wck=47.67, mem=3737M38
89.42/71.54	    decisions=87428, wrong=17063, backtracks=173, failedAssignments=17063, nogoods=2037
89.42/71.54	    nFilterCalls=562517, avgTableProportion=0.9995741146209601, avgTableSize=3677.152905601075
89.42/71.54	    
90.22/72.38	    num=54, depth=977..990, filters=369154, revisions=(370309,useless=176172), ccks=239596031, wck=48.515, mem=3756M4
90.22/72.38	    decisions=91841, wrong=18781, backtracks=186, failedAssignments=18781, nogoods=2079
90.22/72.38	    nFilterCalls=574296, avgTableProportion=0.9995747933217932, avgTableSize=3684.1421705879893
90.22/72.38	    
91.12/73.24	    num=55, depth=964..988, filters=377403, revisions=(378519,useless=179301), ccks=242255876, wck=49.379, mem=3756M4
91.12/73.24	    decisions=96585, wrong=20671, backtracks=210, failedAssignments=20671, nogoods=2149
91.12/73.24	    nFilterCalls=586248, avgTableProportion=0.9995753662769086, avgTableSize=3686.9410795431286
91.12/73.24	    
92.03/74.12	    num=56, depth=972..989, filters=385833, revisions=(386935,useless=182440), ccks=244931105, wck=50.25, mem=3756M4
92.03/74.12	    decisions=101715, wrong=22750, backtracks=227, failedAssignments=22750, nogoods=2185
92.03/74.12	    nFilterCalls=598394, avgTableProportion=0.9995761169534679, avgTableSize=3693.6512966373325
92.03/74.12	    
92.93/75.01	    num=57, depth=963..990, filters=394487, revisions=(395551,useless=185578), ccks=247630605, wck=51.141, mem=3756M4
92.93/75.01	    decisions=107252, wrong=25037, backtracks=254, failedAssignments=25037, nogoods=2226
92.93/75.01	    nFilterCalls=610743, avgTableProportion=0.9995767048693469, avgTableSize=3695.2560717028277
92.93/75.01	    
105.17/79.16	    num=58, depth=969..988, filters=403349, revisions=(404401,useless=188721), ccks=250326689, wck=55.299, mem=2394M328
105.17/79.16	    decisions=113253, wrong=27553, backtracks=273, failedAssignments=27553, nogoods=2292
105.17/79.16	    nFilterCalls=623319, avgTableProportion=0.9995776167524147, avgTableSize=3704.6311134427156
105.17/79.16	    
106.46/80.40	    num=59, depth=960..984, filters=412476, revisions=(413516,useless=191869), ccks=252992293, wck=56.535, mem=2394M328
106.46/80.40	    decisions=119749, wrong=30321, backtracks=297, failedAssignments=30321, nogoods=2397
106.46/80.40	    nFilterCalls=636150, avgTableProportion=0.9995784963574338, avgTableSize=3711.212864890356
106.46/80.40	    
107.66/81.69	    num=60, depth=925..986, filters=421937, revisions=(422890,useless=195008), ccks=255679426, wck=57.822, mem=2394M328
107.66/81.69	    decisions=126762, wrong=33365, backtracks=358, failedAssignments=33365, nogoods=2414
107.66/81.69	    nFilterCalls=649252, avgTableProportion=0.999578640003395, avgTableSize=3705.927365645389
107.66/81.69	    
109.07/83.03	    num=61, depth=960..987, filters=431639, revisions=(432562,useless=198142), ccks=258347273, wck=59.162, mem=2394M328
109.07/83.03	    decisions=134420, wrong=36714, backtracks=385, failedAssignments=36714, nogoods=2524
109.07/83.03	    nFilterCalls=662658, avgTableProportion=0.9995797338741552, avgTableSize=3715.7589616363193
109.07/83.03	    
110.48/84.44	    num=62, depth=910..988, filters=441773, revisions=(442579,useless=201286), ccks=261045823, wck=60.573, mem=2394M328
110.48/84.44	    decisions=142698, wrong=40398, backtracks=463, failedAssignments=40398, nogoods=2553
110.48/84.44	    nFilterCalls=676402, avgTableProportion=0.9995799123682756, avgTableSize=3709.78957188181
110.48/84.44	    
111.98/85.90	    num=63, depth=953..986, filters=452185, revisions=(452961,useless=204426), ccks=263704812, wck=62.037, mem=2412M891
111.98/85.90	    decisions=151755, wrong=44450, backtracks=496, failedAssignments=44450, nogoods=2581
111.98/85.90	    nFilterCalls=690513, avgTableProportion=0.9995812551159868, avgTableSize=3723.6720134161123
111.98/85.90	    
113.49/87.43	    num=64, depth=941..989, filters=463045, revisions=(463739,useless=207560), ccks=266372667, wck=63.567, mem=2412M891
113.49/87.43	    decisions=161610, wrong=48907, backtracks=544, failedAssignments=48907, nogoods=2606
113.49/87.43	    nFilterCalls=705029, avgTableProportion=0.9995823899736547, avgTableSize=3729.33745278563
113.49/87.43	    
115.10/89.03	    num=65, depth=951..991, filters=474313, revisions=(474965,useless=210696), ccks=269054402, wck=65.167, mem=2412M891
115.10/89.03	    decisions=172367, wrong=53810, backtracks=584, failedAssignments=53810, nogoods=2710
115.10/89.03	    nFilterCalls=719991, avgTableProportion=0.9995838609801229, avgTableSize=3742.5824808921225
115.10/89.03	    
116.80/90.72	    num=66, depth=931..991, filters=486141, revisions=(486691,useless=213839), ccks=271734321, wck=66.851, mem=2412M891
116.80/90.72	    decisions=184086, wrong=59204, backtracks=644, failedAssignments=59204, nogoods=2748
116.80/90.72	    nFilterCalls=735446, avgTableProportion=0.9995850787879018, avgTableSize=3747.1497186741108
116.80/90.72	    
118.60/92.50	    num=67, depth=943..989, filters=498448, revisions=(498957,useless=216982), ccks=274440945, wck=68.633, mem=2431M455
118.60/92.50	    decisions=196895, wrong=65137, backtracks=690, failedAssignments=65137, nogoods=2759
118.60/92.50	    nFilterCalls=751441, avgTableProportion=0.999586853888623, avgTableSize=3765.508854321231
118.60/92.50	    
120.40/94.37	    num=68, depth=912..989, filters=511439, revisions=(511806,useless=220117), ccks=277112995, wck=70.509, mem=2431M455
120.40/94.37	    decisions=210859, wrong=71663, backtracks=767, failedAssignments=71663, nogoods=2785
120.40/94.37	    nFilterCalls=768027, avgTableProportion=0.9995881705291157, avgTableSize=3769.098535598358
120.40/94.37	    
122.40/96.36	    num=69, depth=931..990, filters=525004, revisions=(525310,useless=223253), ccks=279813395, wck=72.497, mem=2431M455
122.40/96.36	    decisions=226148, wrong=78842, backtracks=826, failedAssignments=78842, nogoods=2885
122.40/96.36	    nFilterCalls=785266, avgTableProportion=0.99959010727267, avgTableSize=3786.574910921904
122.40/96.36	    
124.50/98.48	    num=70, depth=925..986, filters=539291, revisions=(539541,useless=226394), ccks=282509560, wck=74.614, mem=2431M455
124.50/98.48	    decisions=242867, wrong=86739, backtracks=887, failedAssignments=86739, nogoods=2914
124.50/98.48	    nFilterCalls=803223, avgTableProportion=0.999592277837332, avgTableSize=3809.0158785293747
124.50/98.48	    
126.83/100.74	    num=71, depth=881..987, filters=554495, revisions=(554550,useless=229527), ccks=285204850, wck=76.875, mem=2450M18
126.83/100.74	    decisions=261122, wrong=95426, backtracks=993, failedAssignments=95426, nogoods=2976
126.83/100.74	    nFilterCalls=821969, avgTableProportion=0.9995940859297243, avgTableSize=3817.6139477279557
126.83/100.74	    
129.24/103.13	    num=72, depth=911..990, filters=570456, revisions=(570430,useless=232663), ccks=287904846, wck=79.26, mem=2450M18
129.24/103.13	    decisions=281143, wrong=104981, backtracks=1072, failedAssignments=104981, nogoods=3052
129.24/103.13	    nFilterCalls=841584, avgTableProportion=0.999596436142113, avgTableSize=3838.7271858780587
129.24/103.13	    
131.73/105.67	    num=73, depth=907..988, filters=587377, revisions=(587276,useless=235806), ccks=290592144, wck=81.8, mem=2450M18
131.73/105.67	    decisions=303072, wrong=115492, backtracks=1153, failedAssignments=115492, nogoods=3115
131.73/105.67	    nFilterCalls=862156, avgTableProportion=0.9995990655381515, avgTableSize=3865.910893156227
131.73/105.67	    
134.43/108.38	    num=74, depth=854..988, filters=605519, revisions=(605165,useless=238943), ccks=293267696, wck=84.518, mem=2450M18
134.43/108.38	    decisions=327050, wrong=127054, backtracks=1287, failedAssignments=127054, nogoods=3122
134.43/108.38	    nFilterCalls=883777, avgTableProportion=0.9996009655529343, avgTableSize=3870.1558345600756
134.43/108.38	    
137.43/111.31	    num=75, depth=873..987, filters=624678, revisions=(624212,useless=242081), ccks=295972101, wck=87.442, mem=2468M582
137.43/111.31	    decisions=353359, wrong=139772, backtracks=1401, failedAssignments=139772, nogoods=3187
137.43/111.31	    nFilterCalls=906554, avgTableProportion=0.9996036234779041, avgTableSize=3890.0880609428673
137.43/111.31	    
140.63/114.52	    num=76, depth=784..986, filters=645630, revisions=(644535,useless=245223), ccks=298669947, wck=90.659, mem=2468M582
140.63/114.52	    decisions=382271, wrong=153762, backtracks=1654, failedAssignments=153762, nogoods=3218
140.63/114.52	    nFilterCalls=930804, avgTableProportion=0.9996045840900575, avgTableSize=3880.569945982183
140.63/114.52	    
144.06/117.91	    num=77, depth=857..985, filters=667474, revisions=(666254,useless=248362), ccks=301370877, wck=94.045, mem=2468M582
144.06/117.91	    decisions=413906, wrong=169151, backtracks=1782, failedAssignments=169151, nogoods=3248
144.06/117.91	    nFilterCalls=956250, avgTableProportion=0.9996078068509752, avgTableSize=3910.0077511111112
144.06/117.91	    
147.78/121.62	    num=78, depth=785..985, filters=691348, revisions=(689522,useless=251509), ccks=304062789, wck=97.755, mem=2468M582
147.78/121.62	    decisions=448694, wrong=186079, backtracks=2034, failedAssignments=186079, nogoods=3352
147.78/121.62	    nFilterCalls=983437, avgTableProportion=0.9996094178122851, avgTableSize=3912.6499968986323
147.78/121.62	    
151.68/125.51	    num=79, depth=827..983, filters=716543, revisions=(714494,useless=254661), ccks=306777602, wck=101.643, mem=2487M146
151.68/125.51	    decisions=486763, wrong=204700, backtracks=2190, failedAssignments=204700, nogoods=3447
151.68/125.51	    nFilterCalls=1012120, avgTableProportion=0.9996130261978332, avgTableSize=3945.321123977394
151.68/125.51	    
155.88/129.77	    num=80, depth=825..985, filters=743739, revisions=(741317,useless=257805), ccks=309578577, wck=105.909, mem=2487M146
155.88/129.77	    decisions=528651, wrong=225184, backtracks=2413, failedAssignments=225184, nogoods=3516
155.88/129.77	    nFilterCalls=1042824, avgTableProportion=0.9996159496092422, avgTableSize=3956.055006405683
155.88/129.77	    
160.48/134.35	    num=81, depth=842..993, filters=772860, revisions=(770174,useless=260941), ccks=312458475, wck=110.486, mem=2487M146
160.48/134.35	    decisions=574557, wrong=247716, backtracks=2564, failedAssignments=247716, nogoods=3593
160.48/134.35	    nFilterCalls=1075419, avgTableProportion=0.9996205999451904, avgTableSize=4019.8784762032287
160.48/134.35	    
165.38/139.28	    num=82, depth=780..988, filters=804332, revisions=(801287,useless=264078), ccks=315245784, wck=115.411, mem=2505M709
165.38/139.28	    decisions=624907, wrong=272501, backtracks=2772, failedAssignments=272501, nogoods=3598
165.38/139.28	    nFilterCalls=1110264, avgTableProportion=0.9996247484362883, avgTableSize=4056.8388113097426
165.38/139.28	    
170.78/144.69	    num=83, depth=831..994, filters=838304, revisions=(834884,useless=267221), ccks=317988691, wck=120.826, mem=2505M709
170.78/144.69	    decisions=680384, wrong=299765, backtracks=2976, failedAssignments=299765, nogoods=3660
170.78/144.69	    nFilterCalls=1147754, avgTableProportion=0.9996295002696532, avgTableSize=4111.833326653621
170.78/144.69	    
176.79/150.62	    num=84, depth=754..992, filters=875465, revisions=(871219,useless=270368), ccks=320939410, wck=126.751, mem=2505M709
176.79/150.62	    decisions=741157, wrong=329755, backtracks=3411, failedAssignments=329755, nogoods=3733
176.79/150.62	    nFilterCalls=1188051, avgTableProportion=0.9996320469922837, avgTableSize=4133.011898479106
176.79/150.62	    
183.29/157.13	    num=85, depth=722..1017, filters=915844, revisions=(910492,useless=273481), ccks=323878634, wck=133.261, mem=2505M709
183.29/157.13	    decisions=808073, wrong=362744, backtracks=3988, failedAssignments=362744, nogoods=3772
183.29/157.13	    nFilterCalls=1231608, avgTableProportion=0.9996328960208231, avgTableSize=4104.658397801898
183.29/157.13	    
190.20/164.08	    num=86, depth=694..1012, filters=959150, revisions=(953072,useless=276595), ccks=326721861, wck=140.217, mem=2524M273
190.20/164.08	    decisions=881601, wrong=399032, backtracks=4364, failedAssignments=399032, nogoods=3775
190.20/164.08	    nFilterCalls=1278284, avgTableProportion=0.9996369695318609, avgTableSize=4124.2231335133665
190.20/164.08	    
197.80/171.62	    num=87, depth=812..1003, filters=1005980, revisions=(999328,useless=279736), ccks=329462141, wck=147.752, mem=2524M273
197.80/171.62	    decisions=962247, wrong=438949, backtracks=4745, failedAssignments=438949, nogoods=3794
197.80/171.62	    nFilterCalls=1328472, avgTableProportion=0.9996416148376108, avgTableSize=4158.442514407529
197.80/171.62	    
206.00/179.89	    num=88, depth=811..1000, filters=1056995, revisions=(1049579,useless=282884), ccks=332278740, wck=156.022, mem=2524M273
206.00/179.89	    decisions=1050925, wrong=482858, backtracks=5200, failedAssignments=482858, nogoods=3865
206.00/179.89	    nFilterCalls=1382771, avgTableProportion=0.9996459240922803, avgTableSize=4178.833512562817
206.00/179.89	    
215.10/188.99	    num=89, depth=629..1000, filters=1113035, revisions=(1104211,useless=286023), ccks=335011412, wck=165.126, mem=2542M837
215.10/188.99	    decisions=1148476, wrong=531158, backtracks=5925, failedAssignments=531158, nogoods=4006
215.10/188.99	    nFilterCalls=1441823, avgTableProportion=0.9996485374371172, avgTableSize=4194.5682313293655
215.10/188.99	    
225.02/198.81	    num=90, depth=700..1015, filters=1173274, revisions=(1163641,useless=289144), ccks=337770449, wck=174.94, mem=2542M837
225.02/198.81	    decisions=1255630, wrong=584288, backtracks=6359, failedAssignments=584288, nogoods=4088
225.02/198.81	    nFilterCalls=1507585, avgTableProportion=0.9996543729580017, avgTableSize=4252.9614283771725
225.02/198.81	    
235.62/209.43	    num=91, depth=739..1001, filters=1238689, revisions=(1228401,useless=292275), ccks=340564129, wck=185.565, mem=2542M837
235.62/209.43	    decisions=1373255, wrong=642731, backtracks=6812, failedAssignments=642731, nogoods=4160
235.62/209.43	    nFilterCalls=1576287, avgTableProportion=0.9996607102348205, avgTableSize=4325.597605639075
235.62/209.43	    
247.24/221.07	    num=92, depth=717..1000, filters=1310262, revisions=(1299007,useless=295409), ccks=343399551, wck=197.204, mem=2561M400
247.24/221.07	    decisions=1502546, wrong=707018, backtracks=7332, failedAssignments=707018, nogoods=4232
247.24/221.07	    nFilterCalls=1650877, avgTableProportion=0.9996668885968659, avgTableSize=4388.242847286624
247.24/221.07	    
260.14/234.00	    num=93, depth=799..1007, filters=1388796, revisions=(1376026,useless=298531), ccks=346193003, wck=210.138, mem=2561M400
260.14/234.00	    decisions=1644972, wrong=777734, backtracks=8089, failedAssignments=777734, nogoods=4318
260.14/234.00	    nFilterCalls=1732408, avgTableProportion=0.9996712599975338, avgTableSize=4398.116544139718
260.14/234.00	    
274.25/248.08	    num=94, depth=741..1007, filters=1474687, revisions=(1460118,useless=301653), ccks=348938817, wck=224.217, mem=2579M964
274.25/248.08	    decisions=1801397, wrong=855521, backtracks=8846, failedAssignments=855521, nogoods=4339
274.25/248.08	    nFilterCalls=1820869, avgTableProportion=0.9996763853861284, avgTableSize=4425.449917045104
274.25/248.08	    
289.74/263.53	    num=95, depth=722..1009, filters=1568318, revisions=(1551997,useless=304785), ccks=351803290, wck=239.665, mem=2579M964
289.74/263.53	    decisions=1973434, wrong=941087, backtracks=9726, failedAssignments=941087, nogoods=4371
289.74/263.53	    nFilterCalls=1917286, avgTableProportion=0.9996811911894506, avgTableSize=4459.221138630335
289.74/263.53	    
306.45/280.22	    num=96, depth=613..995, filters=1670673, revisions=(1652452,useless=307920), ccks=354769753, wck=256.359, mem=2579M964
306.45/280.22	    decisions=2162293, wrong=1035210, backtracks=10725, failedAssignments=1035210, nogoods=4379
306.45/280.22	    nFilterCalls=2022100, avgTableProportion=0.9996824343230358, avgTableSize=4476.195272241729
306.45/280.22	    
324.95/298.75	    num=97, depth=746..987, filters=1783343, revisions=(1762350,useless=311080), ccks=357714643, wck=274.887, mem=2598M527
324.95/298.75	    decisions=2370109, wrong=1138745, backtracks=11878, failedAssignments=1138745, nogoods=4445
324.95/298.75	    nFilterCalls=2136619, avgTableProportion=0.9996868364797642, avgTableSize=4500.483041197331
324.95/298.75	    
345.27/319.04	    num=98, depth=673..988, filters=1906318, revisions=(1882612,useless=314245), ccks=360605639, wck=295.176, mem=2598M527
345.27/319.04	    decisions=2598815, wrong=1252634, backtracks=13069, failedAssignments=1252634, nogoods=4485
345.27/319.04	    nFilterCalls=2261719, avgTableProportion=0.9996916377936642, avgTableSize=4519.053201127107
345.27/319.04	    
367.86/341.63	    num=99, depth=689..976, filters=2043227, revisions=(2014309,useless=317449), ccks=363574480, wck=317.767, mem=2617M91
367.86/341.63	    decisions=2850301, wrong=1377912, backtracks=15144, failedAssignments=1377912, nogoods=4564
367.86/341.63	    nFilterCalls=2399102, avgTableProportion=0.9996915987360887, avgTableSize=4472.285159197067
367.86/341.63	    
392.17/365.94	    num=100, depth=627..988, filters=2190365, revisions=(2158461,useless=320592), ccks=366610506, wck=342.078, mem=2617M91
392.17/365.94	    decisions=3126862, wrong=1515718, backtracks=16531, failedAssignments=1515718, nogoods=4619
392.17/365.94	    nFilterCalls=2548331, avgTableProportion=0.9996969261315088, avgTableSize=4499.3761167603425
392.17/365.94	    
418.97/392.74	    num=101, depth=741..1003, filters=2352230, revisions=(2316370,useless=323720), ccks=369595991, wck=368.872, mem=2635M655
418.97/392.74	    decisions=3430775, wrong=1667304, backtracks=18165, failedAssignments=1667304, nogoods=4683
418.97/392.74	    nFilterCalls=2711369, avgTableProportion=0.9997017404637294, avgTableSize=4539.912014557959
418.97/392.74	    
448.39/422.17	    num=102, depth=633..1000, filters=2529790, revisions=(2489451,useless=326858), ccks=372610597, wck=398.304, mem=2654M218
448.39/422.17	    decisions=3765136, wrong=1834049, backtracks=19988, failedAssignments=1834049, nogoods=4772
448.39/422.17	    nFilterCalls=2889892, avgTableProportion=0.9997066583722732, avgTableSize=4587.817505982923
448.39/422.17	    
480.49/454.24	    num=103, depth=688..1017, filters=2722776, revisions=(2679174,useless=329974), ccks=375520606, wck=430.372, mem=2654M218
480.49/454.24	    decisions=4132925, wrong=2017468, backtracks=21505, failedAssignments=2017468, nogoods=4863
480.49/454.24	    nFilterCalls=3084853, avgTableProportion=0.9997136411682209, avgTableSize=4677.212641574817
480.49/454.24	    
515.79/489.53	    num=104, depth=625..1000, filters=2935027, revisions=(2887276,useless=333113), ccks=378515118, wck=465.667, mem=2672M782
515.79/489.53	    decisions=4537441, wrong=2219229, backtracks=23493, failedAssignments=2219229, nogoods=4929
515.79/489.53	    nFilterCalls=3298683, avgTableProportion=0.9997191279786501, avgTableSize=4755.664518536641
515.79/489.53	    
554.80/528.52	    num=105, depth=679..998, filters=3169425, revisions=(3115593,useless=336287), ccks=381723778, wck=504.651, mem=2691M345
554.80/528.52	    decisions=4982199, wrong=2441167, backtracks=26197, failedAssignments=2441167, nogoods=5071
554.80/528.52	    nFilterCalls=3533298, avgTableProportion=0.9997219307399773, avgTableSize=4769.011447661646
554.80/528.52	    
597.32/571.08	    num=106, depth=668..999, filters=3425077, revisions=(3366120,useless=339455), ccks=385449090, wck=547.214, mem=2691M345
597.32/571.08	    decisions=5471331, wrong=2685298, backtracks=28277, failedAssignments=2685298, nogoods=5171
597.32/571.08	    nFilterCalls=3789488, avgTableProportion=0.9997282464857473, avgTableSize=4832.999143947678
597.32/571.08	    
643.95/617.66	    num=107, depth=631..999, filters=3705671, revisions=(3641015,useless=342597), ccks=388522900, wck=593.791, mem=2709M909
643.95/617.66	    decisions=6009343, wrong=2953843, backtracks=30797, failedAssignments=2953843, nogoods=5200
643.95/617.66	    nFilterCalls=4070567, avgTableProportion=0.9997333791501058, avgTableSize=4874.507486794837
643.95/617.66	    
695.26/668.93	    num=108, depth=665..990, filters=4013914, revisions=(3942801,useless=345771), ccks=391656302, wck=645.068, mem=2728M473
695.26/668.93	    decisions=6600917, wrong=3249242, backtracks=33503, failedAssignments=3249242, nogoods=5275
695.26/668.93	    nFilterCalls=4378547, avgTableProportion=0.9997385164240503, avgTableSize=4920.631077615474
695.26/668.93	    
751.67/725.36	    num=109, depth=625..1000, filters=4351780, revisions=(4274092,useless=348916), ccks=394936276, wck=701.49, mem=2747M36
751.67/725.36	    decisions=7251640, wrong=3574181, backtracks=36691, failedAssignments=3574181, nogoods=5317
751.67/725.36	    nFilterCalls=4716612, avgTableProportion=0.9997426199350367, avgTableSize=4934.750651526986
751.67/725.36	    
813.88/787.53	    num=110, depth=684..998, filters=4724773, revisions=(4637904,useless=352088), ccks=398079555, wck=763.666, mem=2765M600
813.88/787.53	    decisions=7967401, wrong=3931614, backtracks=40573, failedAssignments=3931614, nogoods=5398
813.88/787.53	    nFilterCalls=5087918, avgTableProportion=0.9997452587937127, avgTableSize=4923.681214595046
813.88/787.53	    
881.70/855.30	    num=111, depth=650..1016, filters=5131448, revisions=(5037407,useless=355219), ccks=401598088, wck=831.432, mem=2784M163
881.70/855.30	    decisions=8754510, wrong=4324790, backtracks=43778, failedAssignments=4324790, nogoods=5465
881.70/855.30	    nFilterCalls=5494136, avgTableProportion=0.9997512504672962, avgTableSize=5013.067964826499
881.70/855.30	    
956.50/930.19	    num=112, depth=693..1000, filters=5581654, revisions=(5476287,useless=358395), ccks=404866710, wck=906.326, mem=2802M727
956.50/930.19	    decisions=9620325, wrong=4757284, backtracks=48916, failedAssignments=4757284, nogoods=5524
956.50/930.19	    nFilterCalls=5941691, avgTableProportion=0.9997524467476513, avgTableSize=4988.302359210535
956.50/930.19	    
1036.11/1009.79	    num=113, depth=632..1002, filters=6072666, revisions=(5958467,useless=361621), ccks=408161199, wck=985.924, mem=2839M854
1036.11/1009.79	    decisions=10572620, wrong=5233028, backtracks=52701, failedAssignments=5233028, nogoods=5615
1036.11/1009.79	    nFilterCalls=6431120, avgTableProportion=0.9997585780093088, avgTableSize=5097.416377862643
1036.11/1009.79	    
1124.13/1097.73	    num=114, depth=631..995, filters=6615607, revisions=(6488175,useless=364802), ccks=411453278, wck=1073.863, mem=2858M418
1124.13/1097.73	    decisions=11620177, wrong=5756346, backtracks=57990, failedAssignments=5756346, nogoods=5732
1124.13/1097.73	    nFilterCalls=6969745, avgTableProportion=0.9997616564039902, avgTableSize=5118.672805533058
1124.13/1097.73	    
1220.76/1194.32	    num=115, depth=711..1001, filters=7208310, revisions=(7070268,useless=368034), ccks=414804646, wck=1170.452, mem=2877M685
1220.76/1194.32	    decisions=12772453, wrong=6331996, backtracks=63085, failedAssignments=6331996, nogoods=5746
1220.76/1194.32	    nFilterCalls=7560562, avgTableProportion=0.9997660380519499, avgTableSize=5189.917805316589
1220.76/1194.32	    
1326.48/1300.05	    num=116, depth=657..1000, filters=7858878, revisions=(7709885,useless=371227), ccks=418187879, wck=1276.187, mem=2914M812
1326.48/1300.05	    decisions=14039861, wrong=6965211, backtracks=68532, failedAssignments=6965211, nogoods=5875
1326.48/1300.05	    nFilterCalls=8209298, avgTableProportion=0.9997707112494991, avgTableSize=5263.992905605327
1326.48/1300.05	    
1441.87/1415.42	    num=117, depth=628..1007, filters=8579554, revisions=(8412823,useless=374431), ccks=421606402, wck=1391.559, mem=2951M939
1441.87/1415.42	    decisions=15433751, wrong=7661747, backtracks=75958, failedAssignments=7661747, nogoods=5899
1441.87/1415.42	    nFilterCalls=8923162, avgTableProportion=0.9997725557963784, avgTableSize=5278.275220375916
1441.87/1415.42	    
1554.33/1527.90	    num=118, depth=688..998, filters=9369383, revisions=(9185516,useless=377730), ccks=425070296, wck=1504.033, mem=2989M66
1554.33/1527.90	    decisions=16967035, wrong=8427937, backtracks=84064, failedAssignments=8427937, nogoods=5967
1554.33/1527.90	    nFilterCalls=9707453, avgTableProportion=0.9997738784315257, avgTableSize=5272.130062231566
1554.33/1527.90	    
1661.79/1635.41	    num=119, depth=685..1020, filters=10243495, revisions=(10034751,useless=380959), ccks=428753323, wck=1611.549, mem=3026M193
1661.79/1635.41	    decisions=18653553, wrong=9270746, backtracks=93796, failedAssignments=9270746, nogoods=5981
1661.79/1635.41	    nFilterCalls=10569982, avgTableProportion=0.9997742821456702, avgTableSize=5280.841620733129
1661.79/1635.41	    
1757.48/1731.13	    num=120, depth=628..997, filters=11194963, revisions=(10968392,useless=384292), ccks=432508951, wck=1707.269, mem=3063M321
1757.48/1731.13	    decisions=20508634, wrong=10197836, backtracks=101899, failedAssignments=10197836, nogoods=6008
1757.48/1731.13	    nFilterCalls=11515179, avgTableProportion=0.9997780728448505, avgTableSize=5333.681219110879
1757.48/1731.13	    
1857.50/1831.19	    num=121, depth=628..1013, filters=12243886, revisions=(11994607,useless=387513), ccks=436325245, wck=1807.321, mem=3100M448
1857.50/1831.19	    decisions=22549222, wrong=11217635, backtracks=112705, failedAssignments=11217635, nogoods=6169
1857.50/1831.19	    nFilterCalls=12555858, avgTableProportion=0.9997794828027773, avgTableSize=5360.580370851598
1857.50/1831.19	    
1967.21/1940.87	    num=122, depth=624..1004, filters=13397344, revisions=(13122869,useless=390786), ccks=440212036, wck=1917.009, mem=3156M139
1967.21/1940.87	    decisions=24793599, wrong=12339414, backtracks=123349, failedAssignments=12339414, nogoods=6234
1967.21/1940.87	    nFilterCalls=13698194, avgTableProportion=0.9997820174030403, avgTableSize=5382.5155422678345
1967.21/1940.87	    
2087.93/2061.52	    num=123, depth=651..1010, filters=14664875, revisions=(14363413,useless=394173), ccks=444355374, wck=2037.656, mem=3211M830
2087.93/2061.52	    decisions=27262469, wrong=13573371, backtracks=136094, failedAssignments=13573371, nogoods=6268
2087.93/2061.52	    nFilterCalls=14954940, avgTableProportion=0.9997830282379044, avgTableSize=5372.982544497002
2087.93/2061.52	    
2222.27/2195.86	    num=124, depth=624..1014, filters=16069699, revisions=(15727326,useless=397526), ccks=448693093, wck=2171.998, mem=3267M520
2222.27/2195.86	    decisions=29978157, wrong=14930724, backtracks=155132, failedAssignments=14930724, nogoods=6278
2222.27/2195.86	    nFilterCalls=16341408, avgTableProportion=0.9997793025269686, avgTableSize=5289.248895321627
2222.27/2195.86	    
2368.65/2342.12	    num=125, depth=684..997, filters=17604902, revisions=(17226922,useless=400809), ccks=453215176, wck=2318.252, mem=2409M924
2368.65/2342.12	    decisions=32965314, wrong=16423812, backtracks=169168, failedAssignments=16423812, nogoods=6401
2368.65/2342.12	    nFilterCalls=17858630, avgTableProportion=0.9997825346018746, avgTableSize=5363.525752871301
2368.65/2342.12	    
2520.06/2493.50	
2520.06/2493.50	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 (13746 MiB free)
  memory of node 1: 16384 MiB (15624 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390852-1568386875/watcher-4390852-1568386875 -o /tmp/evaluation-result-4390852-1568386875/solver-4390852-1568386875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390852-1568386875.xml -cm 

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

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


[startup+0.101376 s]*
/proc/loadavg: 1.71 1.85 1.79 3/229 5966
/proc/meminfo: memFree=30058944/32770624 swapFree=66945516/67108860
[pid=5951] ppid=5948 vsize=10659884 memory=28492 CPUtime=0.13 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 5547 0 0 0 12 1 0 0 20 0 15 0 414629501 10915721216 7123 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2664971 7123 2907 1 0 2627468 0
[pid=5951/tid=5953] ppid=5948 vsize=10659884 memory=7892391828772250251 CPUtime=0.1 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) S 5948 5951 2499 0 -1 1077944384 3366 0 0 0 9 1 0 0 20 0 15 0 414629501 10915721216 7123 33554432000 4194304 4196468 140730029739920 140423604898752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 7123 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 7123 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 7123 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 7123 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629503 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422903940512 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422902887920 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629506 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 414629506 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 414629506 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0.02 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) R 5948 5951 2499 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 414629506 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422898678000 140423600680342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 7123 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28492 KiB

[startup+0.210787 s]*
/proc/loadavg: 1.71 1.85 1.79 3/229 5966
/proc/meminfo: memFree=30052432/32770624 swapFree=66945516/67108860
[pid=5951] ppid=5948 vsize=10659884 memory=34968 CPUtime=0.33 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 6903 0 0 0 31 2 0 0 20 0 15 0 414629501 10915721216 8742 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2664971 8742 2989 1 0 2627468 0
[pid=5951/tid=5953] ppid=5948 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) R 5948 5951 2499 0 -1 4202560 3892 0 0 0 19 1 0 0 20 0 15 0 414629501 10915721216 8742 33554432000 4194304 4196468 140730029739920 140423604900496 140423600690333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 8742 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10659884 memory=288370924317726336 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 8742 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 8742 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 8742 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629503 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422903940512 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422902887920 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629506 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 414629506 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 571 0 0 0 3 0 0 0 20 0 15 0 414629506 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0.05 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 665 0 0 0 5 0 0 0 20 0 15 0 414629506 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 8742 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34968 KiB

[startup+0.31016 s]*
/proc/loadavg: 1.71 1.85 1.79 3/229 5966
/proc/meminfo: memFree=30045096/32770624 swapFree=66945516/67108860
[pid=5951] ppid=5948 vsize=10659884 memory=40148 CPUtime=0.47 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 9483 0 0 0 44 3 0 0 20 0 15 0 414629501 10915721216 10037 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2665227 10037 3001 1 0 2627724 0
[pid=5951/tid=5953] ppid=5948 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) R 5948 5951 2499 0 -1 4202560 6473 0 0 0 28 2 0 0 20 0 15 0 414629501 10915721216 10037 33554432000 4194304 4196468 140730029739920 140423604888560 140423600690333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 10037 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10659884 memory=13985835729180312 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 10037 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 10037 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10915721216 10037 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629503 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422903940512 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414629504 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422902887920 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629506 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) R 5948 5951 2499 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 414629506 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 630 0 0 0 4 0 0 0 20 0 15 0 414629506 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0.07 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) R 5948 5951 2499 0 -1 4202560 690 0 0 0 7 0 0 0 20 0 15 0 414629506 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422898678000 140423600689754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10659884 memory=140548166014592 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414629507 10915721216 10037 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40148 KiB

[startup+0.700749 s]
/proc/loadavg: 1.71 1.85 1.79 3/229 5966
/proc/meminfo: memFree=30036056/32770624 swapFree=66945516/67108860
[pid=5951] ppid=5948 vsize=10661932 memory=64200 CPUtime=1.11 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 13235 0 0 0 106 5 0 0 20 0 15 0 414629501 10917818368 16050 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2665483 16050 3062 1 0 2627980 0
[pid=5951/tid=5953] ppid=5948 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) R 5948 5951 2499 0 -1 4202560 8910 0 0 0 65 3 0 0 20 0 15 0 414629501 10917818368 16050 33554432000 4194304 4196468 140730029739920 140423604900768 140423583855237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10917818368 16050 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10917818368 16050 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10917818368 16050 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10917818368 16050 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629503 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414629504 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422903940512 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414629504 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422902887920 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629506 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10661932 memory=7013342048905618540 CPUtime=0.1 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 783 0 0 0 10 0 0 0 20 0 15 0 414629506 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10661932 memory=5787217147460014437 CPUtime=0.12 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) R 5948 5951 2499 0 -1 4202560 974 0 0 0 12 0 0 0 20 0 15 0 414629506 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422899730544 140423593764838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 1206 0 0 0 18 0 0 0 20 0 15 0 414629506 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414629507 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414629507 10917818368 16050 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64200 KiB

[startup+1.50076 s]
/proc/loadavg: 1.71 1.85 1.79 3/229 5966
/proc/meminfo: memFree=30019492/32770624 swapFree=66945516/67108860
[pid=5951] ppid=5948 vsize=10663980 memory=76008 CPUtime=2 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 17553 0 0 0 195 5 0 0 20 0 15 0 414629501 10919915520 19002 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2665995 19002 3090 1 0 2628492 0
[pid=5951/tid=5953] ppid=5948 vsize=10663980 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) R 5948 5951 2499 0 -1 4202560 12005 0 0 0 144 3 0 0 20 0 15 0 414629501 10919915520 19002 33554432000 4194304 4196468 140730029739920 140423604900432 140423584748894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10919915520 19002 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10919915520 19002 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10919915520 19002 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414629502 10919915520 19002 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414629503 10919915520 19002 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0

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

/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 57236 0 0 0 478 93 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0.39 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 19189 0 0 0 36 3 0 0 20 0 16 0 414629503 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422903940576 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422902887936 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10748324 memory=780 CPUtime=3.86 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 19492 0 0 0 383 3 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.92 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 18879 0 0 0 390 2 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10748324 memory=1672 CPUtime=1.38 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 21633 0 0 0 134 4 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10748324 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10748324 memory=1436 CPUtime=0.54 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 2387 0 0 0 23 31 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5967] ppid=5948 vsize=10748324 memory=3608 CPUtime=2373.96 cores=1,3,5,7
/proc/5951/task/5967/stat : 5967 (java) R 5948 5951 2499 0 -1 4202560 944912 0 0 0 237325 71 0 0 20 0 16 0 414629689 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422883729104 140423236745240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 2408.84 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5318868 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 1.94 1.94 3/229 6297
/proc/meminfo: memFree=25020484/32770624 swapFree=66945664/67108860
[pid=5951] ppid=5948 vsize=10748324 memory=5318868 CPUtime=2468.86 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 1274316 0 0 0 246408 478 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2687081 1329717 3398 1 0 2647217 0
[pid=5951/tid=5953] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.86 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) S 5948 5951 2499 0 -1 1077944384 13972 0 0 0 181 5 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423604911280 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 55172 0 0 0 483 89 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 59045 0 0 0 480 92 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.68 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 58983 0 0 0 478 90 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.71 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 57236 0 0 0 478 93 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0.39 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 19209 0 0 0 36 3 0 0 20 0 16 0 414629503 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422903940576 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10748324 memory=281096081481504 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422902887936 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10748324 memory=6944656592452807314 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.86 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 19518 0 0 0 383 3 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10748324 memory=3608 CPUtime=3.92 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 18885 0 0 0 390 2 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.38 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 21641 0 0 0 134 4 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0.56 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 2455 0 0 0 24 32 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5967] ppid=5948 vsize=10748324 memory=5318868 CPUtime=2433.96 cores=1,3,5,7
/proc/5951/task/5967/stat : 5967 (java) R 5948 5951 2499 0 -1 4202560 946710 0 0 0 243325 71 0 0 20 0 16 0 414629689 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422883729104 140423236745240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 2468.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5318868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.5 s]
/proc/loadavg: 1.91 1.94 1.94 3/229 6301
/proc/meminfo: memFree=25026920/32770624 swapFree=66945664/67108860
[pid=5951] ppid=5948 vsize=10748324 memory=5318868 CPUtime=2520.06 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 1276016 0 0 0 251528 478 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2687081 1329717 3398 1 0 2647217 0
[pid=5951/tid=5953] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.86 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) S 5948 5951 2499 0 -1 1077944384 13972 0 0 0 181 5 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423604911280 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 55172 0 0 0 483 89 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 59045 0 0 0 480 92 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10748324 memory=0 CPUtime=5.68 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 58983 0 0 0 478 90 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10748324 memory=20056 CPUtime=5.71 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 57236 0 0 0 478 93 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10748324 memory=992 CPUtime=0.39 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 19219 0 0 0 36 3 0 0 20 0 16 0 414629503 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10748324 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422903940576 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10748324 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422902887936 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.86 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 19531 0 0 0 383 3 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.92 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 18888 0 0 0 390 2 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.38 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 21645 0 0 0 134 4 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10748324 memory=3608 CPUtime=0.57 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 2497 0 0 0 24 33 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5967] ppid=5948 vsize=10748324 memory=3848 CPUtime=2485.16 cores=1,3,5,7
/proc/5951/task/5967/stat : 5967 (java) R 5948 5951 2499 0 -1 4202560 948338 0 0 0 248445 71 0 0 20 0 16 0 414629689 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422883729104 140423236745240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5318868 KiB

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

[startup+2493.53 s]
# the end of solver process 5951 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.3 s, system=4.80851 s

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

[startup+2493.5 s]
/proc/loadavg: 1.91 1.94 1.94 3/229 6301
/proc/meminfo: memFree=25026920/32770624 swapFree=66945664/67108860
[pid=5951] ppid=5948 vsize=10748324 memory=5318868 CPUtime=2520.06 cores=1,3,5,7
/proc/5951/stat : 5951 (java) S 5948 5951 2499 0 -1 1077944320 1276016 0 0 0 251528 478 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140730029722464 140423600668407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
/proc/5951/statm: 2687081 1329717 3398 1 0 2647217 0
[pid=5951/tid=5953] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.86 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (java) S 5948 5951 2499 0 -1 1077944384 13972 0 0 0 181 5 0 0 20 0 16 0 414629501 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423604911280 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5954] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (java) S 5948 5951 2499 0 -1 1077944384 55172 0 0 0 483 89 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423207770384 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5955] ppid=5948 vsize=10748324 memory=5318868 CPUtime=5.72 cores=1,3,5,7
/proc/5951/task/5955/stat : 5955 (java) S 5948 5951 2499 0 -1 1077944384 59045 0 0 0 480 92 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423206717840 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5956] ppid=5948 vsize=10748324 memory=0 CPUtime=5.68 cores=1,3,5,7
/proc/5951/task/5956/stat : 5956 (java) S 5948 5951 2499 0 -1 1077944384 58983 0 0 0 478 90 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423205665296 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5957] ppid=5948 vsize=10748324 memory=20056 CPUtime=5.71 cores=1,3,5,7
/proc/5951/task/5957/stat : 5957 (java) S 5948 5951 2499 0 -1 1077944384 57236 0 0 0 478 93 0 0 20 0 16 0 414629502 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140423204612752 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5958] ppid=5948 vsize=10748324 memory=992 CPUtime=0.39 cores=1,3,5,7
/proc/5951/task/5958/stat : 5958 (java) S 5948 5951 2499 0 -1 1077944384 19219 0 0 0 36 3 0 0 20 0 16 0 414629503 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422904994288 140423600679554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5959] ppid=5948 vsize=10748324 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5959/stat : 5959 (java) S 5948 5951 2499 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422903940576 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5960] ppid=5948 vsize=10748324 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5960/stat : 5960 (java) S 5948 5951 2499 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 16 0 414629504 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422902887936 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5961] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5961/stat : 5961 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422901836496 140423600687003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5962] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.86 cores=1,3,5,7
/proc/5951/task/5962/stat : 5962 (java) S 5948 5951 2499 0 -1 1077944384 19531 0 0 0 383 3 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422900783088 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5963] ppid=5948 vsize=10748324 memory=5318868 CPUtime=3.92 cores=1,3,5,7
/proc/5951/task/5963/stat : 5963 (java) S 5948 5951 2499 0 -1 1077944384 18888 0 0 0 390 2 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422899730544 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5964] ppid=5948 vsize=10748324 memory=5318868 CPUtime=1.38 cores=1,3,5,7
/proc/5951/task/5964/stat : 5964 (java) S 5948 5951 2499 0 -1 1077944384 21645 0 0 0 134 4 0 0 20 0 16 0 414629506 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422898678000 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5965] ppid=5948 vsize=10748324 memory=5318868 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5965/stat : 5965 (java) S 5948 5951 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422897625696 140423600678613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5966] ppid=5948 vsize=10748324 memory=3608 CPUtime=0.57 cores=1,3,5,7
/proc/5951/task/5966/stat : 5966 (java) S 5948 5951 2499 0 -1 1077944384 2497 0 0 0 24 33 0 0 20 0 16 0 414629507 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422896573232 140423600679554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
[pid=5951/tid=5967] ppid=5948 vsize=10748324 memory=3848 CPUtime=2485.16 cores=1,3,5,7
/proc/5951/task/5967/stat : 5967 (java) R 5948 5951 2499 0 -1 4202560 948338 0 0 0 248445 71 0 0 20 0 16 0 414629689 11006283776 1329717 33554432000 4194304 4196468 140730029739920 140422883729104 140423236745240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140730029741067 140730029741170 140730029741170 140730029744079 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5318868 KiB

Child status: 143
Real time (s): 2493.53
CPU time (s): 2520.11
CPU user time (s): 2515.3
CPU system time (s): 4.80851
CPU usage (%): 101.066
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 5318868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.3
system time used= 4.80851
maximum resident set size= 5319220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1276944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63622
involuntary context switches= 884


# summary of solver processes directly reported to runsolver:
#   pid: 5951
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2515.3
#   total CPU system time (s): 4.80851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3366 second user time and 19.5219 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-13 17:00:33
IDJOB=4390852
IDBENCH=141274
IDSOLVER=2832
FILE ID=node117/4390852-1568386875
RUNJOBID= node117-1568380475-2531
PBS_JOBID= 21701845
Free space on /tmp= 58788 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-4390852-1568386875/watcher-4390852-1568386875 -o /tmp/evaluation-result-4390852-1568386875/solver-4390852-1568386875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390852-1568386875.xml -cm

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

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=1984891541

node117.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.75
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.75
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.75
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.75
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:        30076436 kB
MemAvailable:   31386348 kB
Buffers:          102344 kB
Cached:          1464032 kB
SwapCached:        48176 kB
Active:          1367396 kB
Inactive:         727864 kB
Active(anon):     497528 kB
Inactive(anon):    53404 kB
Active(file):     869868 kB
Inactive(file):   674460 kB
Unevictable:      110284 kB
Mlocked:          110284 kB
SwapTotal:      67108860 kB
SwapFree:       66945516 kB
Dirty:            133032 kB
Writeback:             0 kB
AnonPages:        592104 kB
Mapped:            44052 kB
Shmem:             13456 kB
Slab:             191428 kB
SReclaimable:     162836 kB
SUnreclaim:        28592 kB
KernelStack:        3728 kB
PageTables:         6752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1637236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    520192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 58780 MiB
End job on node117 at 2019-09-13 17:42:07