Trace number 4391093

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.11 2383.53

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark57.3117
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.43/1.88	
2.43/1.88	AbsCon 2 
2.66/1.90	
14.16/9.31	  Instance
14.16/9.31	    name=instance-4391093-1568391746, framework=COP, bounds=-infty..+infty
14.16/9.31	
14.16/9.31	  Loading variables...
14.84/9.53	  Loading constraints...
22.45/13.14	
22.45/13.14	  Domains
22.45/13.14	    nTypes=18, nValues=223797, sizes=[1#14,2#1749,11#1263,12#1...97#25,102#73,113#21,121#1592]
22.45/13.14	  Variables
22.45/13.14	    count=4790, degrees=[1#5,2#3828,3#82,4#132...10#7,11#4,12#5,1264#1]
22.45/13.14	  Objectives
22.45/13.14	    way=min, type=SumWeightedLE
22.45/13.14	  Constraints
22.45/13.14	    count=2853, nSpecific=1310, arities=[2#326,3#1263,6#1263,2527#1]
22.45/13.14	    distribution=[CtrExtensionCT-Table#1263,CtrIntension#1543,EQ#29,NE#17,SumWeightedLE#1]
22.45/13.14	    tables=[528#1,602#2,614#1,640#1...5764#14,5768#1,5772#1,5776#1], nTotalTuples=4799838
22.45/13.14	    nExtStructures=(1263,shared:0), nIntStructures=(44,shared:1499)
22.45/13.14	    wck=11.29, cpu=11.687, mem=1533M796
23.25/13.70	  Solver SolverBacktrack being built...
23.25/13.70	
23.25/13.76	
23.25/13.76	  Solver
23.25/13.76	    guaranteedGAC=false
23.25/13.76	    wck=11.91, cpu=12.305, mem=2005M24
24.83/14.84	
24.83/14.84	  Preprocessing
24.83/14.84	    filters=1265, revisions=(983,useless=983), ccks=9129566, nACremovedValues=10735, nTotalRemovedValues=10735, inconcistency=false
24.83/14.84	    wck=1.081, cpu=13.39, mem=2036M433
24.83/14.84	
26.16/15.64	    num=0, depth=1041..1041, filters=4436, revisions=(4095,useless=2682), ccks=13758783, wck=1.881, mem=2036M433
26.16/15.64	    decisions=1061, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
26.16/15.64	    nFilterCalls=6466, avgTableProportion=0.9996711231360204, avgTableSize=3807.056603773585
26.16/15.64	    
26.74/15.97	    num=1, depth=1044..1044, filters=7604, revisions=(7198,useless=4374), ccks=14139796, wck=2.208, mem=2036M433
26.74/15.97	    decisions=2127, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
26.74/15.97	    nFilterCalls=11670, avgTableProportion=0.999671154065584, avgTableSize=3808.0188517566407
26.74/15.97	    
27.12/16.26	    num=2, depth=1037..1037, filters=10779, revisions=(10318,useless=6076), ccks=14595288, wck=2.503, mem=2036M433
27.12/16.26	    decisions=3188, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
27.12/16.26	    nFilterCalls=16874, avgTableProportion=0.9996710496979148, avgTableSize=3806.650468175892
27.12/16.26	    
27.44/16.55	    num=3, depth=1039..1039, filters=13952, revisions=(13432,useless=7773), ccks=14947083, wck=2.786, mem=2036M433
27.44/16.55	    decisions=4253, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
27.44/16.55	    nFilterCalls=22079, avgTableProportion=0.9996710965507485, avgTableSize=3807.3839847819195
27.44/16.55	    
27.75/16.83	    num=4, depth=1042..1042, filters=17122, revisions=(16559,useless=9488), ccks=15307428, wck=3.071, mem=2036M433
27.75/16.83	    decisions=5323, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
27.75/16.83	    nFilterCalls=27283, avgTableProportion=0.9996711063102938, avgTableSize=3807.490488582634
27.75/16.83	    
28.11/17.12	    num=5, depth=1039..1039, filters=20296, revisions=(19691,useless=11203), ccks=15688347, wck=3.357, mem=2036M433
28.11/17.12	    decisions=6394, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
28.11/17.12	    nFilterCalls=32489, avgTableProportion=0.9996710457442877, avgTableSize=3806.676875250085
28.11/17.12	    
28.41/17.40	    num=6, depth=1045..1045, filters=23471, revisions=(22815,useless=12912), ccks=16083963, wck=3.642, mem=2036M433
28.41/17.40	    decisions=7473, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
28.41/17.40	    nFilterCalls=37699, avgTableProportion=0.9996710946315298, avgTableSize=3807.3434043343323
28.41/17.40	    
28.62/17.69	    num=7, depth=1043..1043, filters=26650, revisions=(25947,useless=14625), ccks=16480175, wck=3.926, mem=2036M433
28.62/17.69	    decisions=8554, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
28.62/17.69	    nFilterCalls=42911, avgTableProportion=0.9996710683499404, avgTableSize=3806.843070541353
28.62/17.69	    
28.93/17.97	    num=8, depth=1045..1045, filters=29828, revisions=(29072,useless=16332), ccks=16845865, wck=4.21, mem=2036M433
28.93/17.97	    decisions=9641, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
28.93/17.97	    nFilterCalls=48124, avgTableProportion=0.999671010099304, avgTableSize=3806.18930263486
28.93/17.97	    
29.25/18.25	    num=9, depth=1046..1046, filters=33007, revisions=(32199,useless=18040), ccks=17205092, wck=4.492, mem=2036M433
29.25/18.25	    decisions=10733, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
29.25/18.25	    nFilterCalls=53339, avgTableProportion=0.9996710630295012, avgTableSize=3806.8528281370104
29.25/18.25	    
29.55/18.54	    num=10, depth=1049..1049, filters=36188, revisions=(35322,useless=19744), ccks=17578506, wck=4.775, mem=2036M433
29.55/18.54	    decisions=11832, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
29.55/18.54	    nFilterCalls=58557, avgTableProportion=0.9996711085270903, avgTableSize=3807.3934969346105
29.55/18.54	    
29.85/18.82	    num=11, depth=1043..1044, filters=39375, revisions=(38466,useless=21461), ccks=17930222, wck=5.057, mem=2067M843
29.85/18.82	    decisions=12931, wrong=209, backtracks=1, failedAssignments=209, nogoods=195
29.85/18.82	    nFilterCalls=63777, avgTableProportion=0.999670858404745, avgTableSize=3806.1467456920204
29.85/18.82	    
30.06/19.11	    num=12, depth=1047..1047, filters=42563, revisions=(41598,useless=23166), ccks=18321623, wck=5.344, mem=2067M843
30.06/19.11	    decisions=14040, wrong=240, backtracks=1, failedAssignments=240, nogoods=226
30.06/19.11	    nFilterCalls=69001, avgTableProportion=0.9996709398793151, avgTableSize=3807.0146954391967
30.06/19.11	    
30.48/19.40	    num=13, depth=1051..1051, filters=45754, revisions=(44732,useless=24872), ccks=18755746, wck=5.636, mem=2067M843
30.48/19.40	    decisions=15159, wrong=274, backtracks=1, failedAssignments=274, nogoods=260
30.48/19.40	    nFilterCalls=74230, avgTableProportion=0.9996709959780438, avgTableSize=3807.453051326957
30.48/19.40	    
30.68/19.68	    num=14, depth=1051..1051, filters=48950, revisions=(47870,useless=26578), ccks=19138325, wck=5.922, mem=2067M843
30.68/19.68	    decisions=16284, wrong=311, backtracks=1, failedAssignments=311, nogoods=297
30.68/19.68	    nFilterCalls=79463, avgTableProportion=0.999671010825429, avgTableSize=3807.2383247549174
30.68/19.68	    
30.98/19.97	    num=15, depth=1050..1050, filters=52152, revisions=(51016,useless=28286), ccks=19499014, wck=6.207, mem=2067M843
30.98/19.97	    decisions=17416, wrong=352, backtracks=1, failedAssignments=352, nogoods=338
30.98/19.97	    nFilterCalls=84701, avgTableProportion=0.999671005767832, avgTableSize=3806.8320917108417
30.98/19.97	    
31.29/20.26	    num=16, depth=1045..1045, filters=55358, revisions=(54172,useless=29998), ccks=19897616, wck=6.496, mem=2067M843
31.29/20.26	    decisions=18551, wrong=397, backtracks=1, failedAssignments=397, nogoods=383
31.29/20.26	    nFilterCalls=89940, avgTableProportion=0.9996710700600812, avgTableSize=3807.499822103625
31.29/20.26	    
31.63/20.54	    num=17, depth=1041..1041, filters=58569, revisions=(57337,useless=31712), ccks=20244125, wck=6.779, mem=2067M843
31.63/20.54	    decisions=19692, wrong=447, backtracks=1, failedAssignments=447, nogoods=433
31.63/20.54	    nFilterCalls=95182, avgTableProportion=0.9996711052836064, avgTableSize=3807.5943350633524
31.63/20.54	    
31.93/20.82	    num=18, depth=1044..1044, filters=61785, revisions=(60505,useless=33425), ccks=20590649, wck=7.062, mem=2067M843
31.93/20.82	    decisions=20846, wrong=502, backtracks=1, failedAssignments=502, nogoods=488
31.93/20.82	    nFilterCalls=100431, avgTableProportion=0.9996711714663877, avgTableSize=3808.3108104071453
31.93/20.82	    
32.26/21.11	    num=19, depth=1036..1036, filters=65013, revisions=(63698,useless=35150), ccks=20989622, wck=7.35, mem=2067M843
32.26/21.11	    decisions=22004, wrong=563, backtracks=1, failedAssignments=563, nogoods=549
32.26/21.11	    nFilterCalls=105685, avgTableProportion=0.9996712369390183, avgTableSize=3808.987434356815
32.26/21.11	    
32.45/21.39	    num=20, depth=1030..1030, filters=68249, revisions=(66905,useless=36879), ccks=21329900, wck=7.63, mem=2067M843
32.45/21.39	    decisions=23168, wrong=630, backtracks=1, failedAssignments=630, nogoods=616
32.45/21.39	    nFilterCalls=110943, avgTableProportion=0.9996713056165615, avgTableSize=3809.764897289599
32.45/21.39	    
32.75/21.67	    num=21, depth=1032..1032, filters=71492, revisions=(70116,useless=38606), ccks=21685738, wck=7.912, mem=2067M843
32.75/21.67	    decisions=24348, wrong=704, backtracks=1, failedAssignments=704, nogoods=690
32.75/21.67	    nFilterCalls=116209, avgTableProportion=0.9996713834591172, avgTableSize=3810.736698534537
32.75/21.67	    
33.05/21.96	    num=22, depth=1036..1036, filters=74742, revisions=(73332,useless=40332), ccks=22070346, wck=8.198, mem=2067M843
33.05/21.96	    decisions=25546, wrong=785, backtracks=1, failedAssignments=785, nogoods=771
33.05/21.96	    nFilterCalls=121485, avgTableProportion=0.9996714413665524, avgTableSize=3811.1300736716466
33.05/21.96	    
33.37/22.25	    num=23, depth=1033..1033, filters=78002, revisions=(76561,useless=42061), ccks=22418244, wck=8.485, mem=2099M257
33.37/22.25	    decisions=26757, wrong=874, backtracks=1, failedAssignments=874, nogoods=860
33.37/22.25	    nFilterCalls=126768, avgTableProportion=0.9996715254110021, avgTableSize=3812.170815978796
33.37/22.25	    
33.72/22.54	    num=24, depth=1035..1036, filters=81270, revisions=(79794,useless=43787), ccks=22758560, wck=8.774, mem=2099M257
33.72/22.54	    decisions=27988, wrong=972, backtracks=2, failedAssignments=972, nogoods=945
33.72/22.54	    nFilterCalls=132062, avgTableProportion=0.9996715867569578, avgTableSize=3812.572791567597
33.72/22.54	    
34.06/22.82	    num=25, depth=1032..1033, filters=84550, revisions=(83042,useless=45516), ccks=23099094, wck=9.062, mem=2099M257
34.06/22.82	    decisions=29236, wrong=1080, backtracks=3, failedAssignments=1080, nogoods=1028
34.06/22.82	    nFilterCalls=137365, avgTableProportion=0.9996716783021773, avgTableSize=3813.7054489862776
34.06/22.82	    
34.37/23.11	    num=26, depth=1033..1035, filters=87840, revisions=(86296,useless=47242), ccks=23439431, wck=9.353, mem=2099M257
34.37/23.11	    decisions=30507, wrong=1199, backtracks=5, failedAssignments=1199, nogoods=1042
34.37/23.11	    nFilterCalls=142680, avgTableProportion=0.9996717420639558, avgTableSize=3814.1427950658817
34.37/23.11	    
34.68/23.41	    num=27, depth=1031..1032, filters=91143, revisions=(89567,useless=48971), ccks=23779988, wck=9.649, mem=2099M257
34.68/23.41	    decisions=31800, wrong=1330, backtracks=6, failedAssignments=1330, nogoods=1141
34.68/23.41	    nFilterCalls=148006, avgTableProportion=0.9996718402487433, avgTableSize=3815.397781171034
34.68/23.41	    
35.00/23.70	    num=28, depth=1034..1035, filters=94457, revisions=(92846,useless=50697), ccks=24120350, wck=9.942, mem=2099M257
35.00/23.70	    decisions=33122, wrong=1474, backtracks=7, failedAssignments=1474, nogoods=1204
35.00/23.70	    nFilterCalls=153346, avgTableProportion=0.9996719163334867, avgTableSize=3815.8868180454656
35.00/23.70	    
35.22/24.00	    num=29, depth=1029..1032, filters=97789, revisions=(96144,useless=52426), ccks=24460934, wck=10.239, mem=2099M257
35.22/24.00	    decisions=34467, wrong=1632, backtracks=10, failedAssignments=1632, nogoods=1214
35.22/24.00	    nFilterCalls=158699, avgTableProportion=0.9996720310414793, avgTableSize=3817.2990062949357
35.22/24.00	    
35.62/24.30	    num=30, depth=1032..1034, filters=101134, revisions=(99453,useless=54152), ccks=24801326, wck=10.539, mem=2099M257
35.62/24.30	    decisions=35847, wrong=1806, backtracks=12, failedAssignments=1806, nogoods=1287
35.62/24.30	    nFilterCalls=164070, avgTableProportion=0.9996721137690713, avgTableSize=3817.849966477723
35.62/24.30	    
35.92/24.60	    num=31, depth=1031..1032, filters=104497, revisions=(102784,useless=55881), ccks=25141943, wck=10.838, mem=2099M257
35.92/24.60	    decisions=37260, wrong=1997, backtracks=13, failedAssignments=1997, nogoods=1373
35.92/24.60	    nFilterCalls=169456, avgTableProportion=0.9996722437366208, avgTableSize=3819.4479628930226
35.92/24.60	    
36.12/24.89	    num=32, depth=1030..1035, filters=107882, revisions=(106130,useless=57607), ccks=25482372, wck=11.133, mem=2099M257
36.12/24.89	    decisions=38712, wrong=2208, backtracks=18, failedAssignments=2208, nogoods=1398
36.12/24.89	    nFilterCalls=174863, avgTableProportion=0.9996723350656876, avgTableSize=3820.0377381149815
36.12/24.89	    
36.43/25.19	    num=33, depth=1029..1031, filters=111287, revisions=(109502,useless=59336), ccks=25823030, wck=11.431, mem=2099M257
36.43/25.19	    decisions=40205, wrong=2440, backtracks=20, failedAssignments=2440, nogoods=1504
36.43/25.19	    nFilterCalls=180291, avgTableProportion=0.9996724814806245, avgTableSize=3821.86864014288
36.43/25.19	    
36.72/25.49	    num=34, depth=1032..1035, filters=114714, revisions=(112892,useless=61062), ccks=26163503, wck=11.731, mem=2099M257
36.72/25.49	    decisions=41747, wrong=2695, backtracks=23, failedAssignments=2695, nogoods=1547
36.72/25.49	    nFilterCalls=185742, avgTableProportion=0.9996725890166901, avgTableSize=3822.5736774665934
36.72/25.49	    
37.04/25.79	    num=35, depth=1026..1031, filters=118171, revisions=(116313,useless=62791), ccks=26504210, wck=12.026, mem=2130M667
37.04/25.79	    decisions=43335, wrong=2976, backtracks=28, failedAssignments=2976, nogoods=1564
37.04/25.79	    nFilterCalls=191218, avgTableProportion=0.9996725009315767, avgTableSize=3820.666569046847
37.04/25.79	    
37.32/26.09	    num=36, depth=1034..1036, filters=121651, revisions=(119758,useless=64518), ccks=26866950, wck=12.323, mem=2130M667
37.32/26.09	    decisions=44987, wrong=3285, backtracks=30, failedAssignments=3285, nogoods=1644
37.32/26.09	    nFilterCalls=196722, avgTableProportion=0.9996726856249891, avgTableSize=3822.974085257368
37.32/26.09	    
37.62/26.38	    num=37, depth=1035..1038, filters=125163, revisions=(123228,useless=66240), ccks=27214782, wck=12.62, mem=2130M667
37.62/26.38	    decisions=46702, wrong=3625, backtracks=33, failedAssignments=3625, nogoods=1700
37.62/26.38	    nFilterCalls=202258, avgTableProportion=0.9996728254401112, avgTableSize=3823.9385141749644
37.62/26.38	    
37.92/26.68	    num=38, depth=1034..1037, filters=128712, revisions=(126745,useless=67972), ccks=27570369, wck=12.917, mem=2130M667
37.92/26.68	    decisions=48484, wrong=3999, backtracks=36, failedAssignments=3999, nogoods=1727
37.92/26.68	    nFilterCalls=207829, avgTableProportion=0.9996730410743576, avgTableSize=3826.6720476930554
37.92/26.68	    
38.23/26.98	    num=39, depth=1034..1038, filters=132296, revisions=(130281,useless=69688), ccks=27962929, wck=13.219, mem=2130M667
38.23/26.98	    decisions=50340, wrong=4410, backtracks=40, failedAssignments=4410, nogoods=1743
38.23/26.98	    nFilterCalls=213437, avgTableProportion=0.9996732160457223, avgTableSize=3828.0890239274354
38.23/26.98	    
38.54/27.28	    num=40, depth=1031..1036, filters=135924, revisions=(133865,useless=71410), ccks=28333873, wck=13.521, mem=2130M667
38.54/27.28	    decisions=52275, wrong=4862, backtracks=45, failedAssignments=4862, nogoods=1786
38.54/27.28	    nFilterCalls=219085, avgTableProportion=0.9996733278214646, avgTableSize=3828.106556815848
38.54/27.28	    
38.83/27.59	    num=41, depth=1029..1035, filters=139602, revisions=(137492,useless=73127), ccks=28697408, wck=13.823, mem=2130M667
38.83/27.59	    decisions=54298, wrong=5359, backtracks=51, failedAssignments=5359, nogoods=1798
38.83/27.59	    nFilterCalls=224780, avgTableProportion=0.9996734434667587, avgTableSize=3828.0650858617314
38.83/27.59	    
39.15/27.89	    num=42, depth=1025..1035, filters=143331, revisions=(141163,useless=74840), ccks=29075899, wck=14.13, mem=2130M667
39.15/27.89	    decisions=56417, wrong=5906, backtracks=61, failedAssignments=5906, nogoods=1826
39.15/27.89	    nFilterCalls=230523, avgTableProportion=0.9996733064792847, avgTableSize=3825.1152856764834
39.15/27.89	    
39.48/28.20	    num=43, depth=1033..1039, filters=147106, revisions=(144886,useless=76557), ccks=29461163, wck=14.44, mem=2130M667
39.48/28.20	    decisions=58654, wrong=6508, backtracks=67, failedAssignments=6508, nogoods=1889
39.48/28.20	    nFilterCalls=236319, avgTableProportion=0.9996729408701964, avgTableSize=3820.6516403674696
39.48/28.20	    
39.87/28.52	    num=44, depth=1037..1043, filters=150941, revisions=(148659,useless=78266), ccks=29860142, wck=14.754, mem=2130M667
39.87/28.52	    decisions=61015, wrong=7170, backtracks=73, failedAssignments=7170, nogoods=1922
39.87/28.52	    nFilterCalls=242177, avgTableProportion=0.9996732513280646, avgTableSize=3823.8199127084736
39.87/28.52	    
40.17/28.83	    num=45, depth=1013..1035, filters=154862, revisions=(152515,useless=79986), ccks=30282012, wck=15.072, mem=2130M667
40.17/28.83	    decisions=63484, wrong=7898, backtracks=95, failedAssignments=7898, nogoods=1925
40.17/28.83	    nFilterCalls=248099, avgTableProportion=0.9996726592402273, avgTableSize=3818.0665822917463
40.17/28.83	    
40.48/29.15	    num=46, depth=1005..1033, filters=158864, revisions=(156450,useless=81710), ccks=30660527, wck=15.388, mem=2130M667
40.48/29.15	    decisions=66091, wrong=8699, backtracks=123, failedAssignments=8699, nogoods=1943
40.48/29.15	    nFilterCalls=254094, avgTableProportion=0.9996718617164324, avgTableSize=3811.4777129723648
40.48/29.15	    
40.77/29.47	    num=47, depth=1026..1039, filters=162926, revisions=(160455,useless=83429), ccks=31038078, wck=15.709, mem=2130M667
40.77/29.47	    decisions=68879, wrong=9580, backtracks=136, failedAssignments=9580, nogoods=2006
40.77/29.47	    nFilterCalls=260170, avgTableProportion=0.9996719104112519, avgTableSize=3809.505331129646
40.77/29.47	    
41.07/29.80	    num=48, depth=1016..1035, filters=167082, revisions=(164548,useless=85146), ccks=31430417, wck=16.034, mem=2162M77
41.07/29.80	    decisions=71835, wrong=10550, backtracks=155, failedAssignments=10550, nogoods=2008
41.07/29.80	    nFilterCalls=266332, avgTableProportion=0.9996717510232956, avgTableSize=3805.565775047685
41.07/29.80	    
41.49/30.12	    num=49, depth=1020..1039, filters=171335, revisions=(168731,useless=86858), ccks=31779255, wck=16.363, mem=2162M77
41.49/30.12	    decisions=74989, wrong=11617, backtracks=174, failedAssignments=11617, nogoods=2012
41.49/30.12	    nFilterCalls=272593, avgTableProportion=0.9996716915794914, avgTableSize=3802.278000535597
41.49/30.12	    
41.78/30.46	    num=50, depth=1027..1037, filters=175682, revisions=(173021,useless=88572), ccks=32142693, wck=16.698, mem=2162M77
41.78/30.46	    decisions=78362, wrong=12790, backtracks=184, failedAssignments=12790, nogoods=2116
41.78/30.46	    nFilterCalls=278957, avgTableProportion=0.9996722373739211, avgTableSize=3808.1121427316757
41.78/30.46	    
42.08/30.80	    num=51, depth=1010..1033, filters=180164, revisions=(177437,useless=90290), ccks=32492134, wck=17.034, mem=2162M77
42.08/30.80	    decisions=81954, wrong=14081, backtracks=207, failedAssignments=14081, nogoods=2120
42.08/30.80	    nFilterCalls=285439, avgTableProportion=0.999672157300546, avgTableSize=3804.2204919439882
42.08/30.80	    
42.49/31.14	    num=52, depth=1025..1038, filters=184761, revisions=(181973,useless=92004), ccks=32833503, wck=17.378, mem=2162M77
42.49/31.14	    decisions=85819, wrong=15501, backtracks=220, failedAssignments=15501, nogoods=2176
42.49/31.14	    nFilterCalls=292050, avgTableProportion=0.9996727673471552, avgTableSize=3810.5132751241226
42.49/31.14	    
42.78/31.49	    num=53, depth=1022..1035, filters=189499, revisions=(186653,useless=93719), ccks=33196501, wck=17.731, mem=2162M77
42.78/31.49	    decisions=89965, wrong=17063, backtracks=233, failedAssignments=17063, nogoods=2244
42.78/31.49	    nFilterCalls=298801, avgTableProportion=0.9996734913148706, avgTableSize=3819.3901459499803
42.78/31.49	    
43.18/31.85	    num=54, depth=1019..1035, filters=194400, revisions=(191500,useless=95442), ccks=33552732, wck=18.088, mem=2162M77
43.18/31.85	    decisions=94420, wrong=18781, backtracks=249, failedAssignments=18781, nogoods=2251
43.18/31.85	    nFilterCalls=305710, avgTableProportion=0.9996741892079992, avgTableSize=3826.7788099833174
43.18/31.85	    
43.59/32.21	    num=55, depth=990..1027, filters=199498, revisions=(196529,useless=97170), ccks=33895049, wck=18.45, mem=2162M77
43.59/32.21	    decisions=99190, wrong=20671, backtracks=286, failedAssignments=20671, nogoods=2255
43.59/32.21	    nFilterCalls=312789, avgTableProportion=0.9996738883542593, avgTableSize=3819.880427380758
43.59/32.21	    
43.88/32.59	    num=56, depth=998..1035, filters=204783, revisions=(201735,useless=98891), ccks=34252433, wck=18.827, mem=2162M77
43.88/32.59	    decisions=104346, wrong=22750, backtracks=323, failedAssignments=22750, nogoods=2263
43.88/32.59	    nFilterCalls=320060, avgTableProportion=0.9996737535885077, avgTableSize=3814.073261263513
43.88/32.59	    
44.28/32.97	    num=57, depth=999..1035, filters=210274, revisions=(207148,useless=100612), ccks=34602405, wck=19.21, mem=2162M77
44.28/32.97	    decisions=109919, wrong=25037, backtracks=359, failedAssignments=25037, nogoods=2283
44.28/32.97	    nFilterCalls=327538, avgTableProportion=0.9996738364821335, avgTableSize=3810.085602281262
44.28/32.97	    
44.84/33.40	    num=58, depth=889..1035, filters=216376, revisions=(212784,useless=102328), ccks=34959957, wck=19.642, mem=2162M77
44.84/33.40	    decisions=115980, wrong=27553, backtracks=510, failedAssignments=27553, nogoods=2340
44.84/33.40	    nFilterCalls=335390, avgTableProportion=0.9996701767994877, avgTableSize=3792.4246817138255
44.84/33.40	    
45.27/33.81	    num=59, depth=1013..1039, filters=222335, revisions=(218654,useless=104028), ccks=35347590, wck=20.05, mem=2162M77
45.27/33.81	    decisions=122529, wrong=30321, backtracks=536, failedAssignments=30321, nogoods=2379
45.27/33.81	    nFilterCalls=343350, avgTableProportion=0.9996712566574011, avgTableSize=3803.0983136740933
45.27/33.81	    
45.69/34.23	    num=60, depth=987..1036, filters=228595, revisions=(224815,useless=105740), ccks=35705573, wck=20.465, mem=2193M486
45.69/34.23	    decisions=129604, wrong=33365, backtracks=585, failedAssignments=33365, nogoods=2386
45.69/34.23	    nFilterCalls=351585, avgTableProportion=0.9996713992856163, avgTableSize=3798.083038241108
45.69/34.23	    
46.08/34.66	    num=61, depth=1011..1041, filters=235138, revisions=(231261,useless=107437), ccks=36073879, wck=20.899, mem=2193M486
46.08/34.66	    decisions=137313, wrong=36714, backtracks=615, failedAssignments=36714, nogoods=2466
46.08/34.66	    nFilterCalls=360126, avgTableProportion=0.9996726734177149, avgTableSize=3811.8338637032593
46.08/34.66	    
46.60/35.11	    num=62, depth=1006..1038, filters=242017, revisions=(238041,useless=109132), ccks=36454779, wck=21.348, mem=2193M486
46.60/35.11	    decisions=145687, wrong=40398, backtracks=647, failedAssignments=40398, nogoods=2471
46.60/35.11	    nFilterCalls=369000, avgTableProportion=0.9996741009775209, avgTableSize=3828.8715067750677
46.60/35.11	    
47.01/35.57	    num=63, depth=1005..1043, filters=249267, revisions=(245181,useless=110823), ccks=36806381, wck=21.811, mem=2193M486
47.01/35.57	    decisions=154796, wrong=44450, backtracks=685, failedAssignments=44450, nogoods=2534
47.01/35.57	    nFilterCalls=378243, avgTableProportion=0.9996754364769768, avgTableSize=3842.1033647681516
47.01/35.57	    
47.51/36.05	    num=64, depth=1001..1042, filters=256924, revisions=(252728,useless=112515), ccks=37164943, wck=22.29, mem=2193M486
47.51/36.05	    decisions=164711, wrong=48907, backtracks=726, failedAssignments=48907, nogoods=2605
47.51/36.05	    nFilterCalls=387891, avgTableProportion=0.9996768773842133, avgTableSize=3856.9671144728804
47.51/36.05	    
48.01/36.55	    num=65, depth=946..1033, filters=265081, revisions=(260739,useless=114217), ccks=37517529, wck=22.791, mem=2193M486
48.01/36.55	    decisions=175463, wrong=53810, backtracks=813, failedAssignments=53810, nogoods=2637
48.01/36.55	    nFilterCalls=397984, avgTableProportion=0.9996766083212097, avgTableSize=3845.2946902388035
48.01/36.55	    
48.51/37.07	    num=66, depth=989..1039, filters=273688, revisions=(269233,useless=115916), ccks=37878164, wck=23.31, mem=2193M486
48.51/37.07	    decisions=187240, wrong=59204, backtracks=863, failedAssignments=59204, nogoods=2682
48.51/37.07	    nFilterCalls=408569, avgTableProportion=0.9996782467103029, avgTableSize=3862.3951866147454
48.51/37.07	    
49.11/37.61	    num=67, depth=917..1033, filters=282904, revisions=(278278,useless=117622), ccks=38224427, wck=23.848, mem=2193M486
49.11/37.61	    decisions=200023, wrong=65137, backtracks=979, failedAssignments=65137, nogoods=2700
49.11/37.61	    nFilterCalls=419692, avgTableProportion=0.9996775397836046, avgTableSize=3845.973423367612
49.11/37.61	    
49.62/38.18	    num=68, depth=922..1038, filters=292714, revisions=(287914,useless=119328), ccks=38579215, wck=24.416, mem=2193M486
49.62/38.18	    decisions=213997, wrong=71663, backtracks=1095, failedAssignments=71663, nogoods=2731
49.62/38.18	    nFilterCalls=431411, avgTableProportion=0.9996772173604241, avgTableSize=3832.1651163275856
49.62/38.18	    
50.21/38.78	    num=69, depth=975..1040, filters=303123, revisions=(298193,useless=121027), ccks=38926724, wck=25.015, mem=2193M486
50.21/38.78	    decisions=229330, wrong=78842, backtracks=1160, failedAssignments=78842, nogoods=2826
50.21/38.78	    nFilterCalls=443782, avgTableProportion=0.9996792828777921, avgTableSize=3855.056987439779
50.21/38.78	    
50.91/39.41	    num=70, depth=973..1041, filters=314252, revisions=(309187,useless=122724), ccks=39282235, wck=25.65, mem=2193M486
50.91/39.41	    decisions=246097, wrong=86739, backtracks=1228, failedAssignments=86739, nogoods=2904
50.91/39.41	    nFilterCalls=456871, avgTableProportion=0.9996815937016023, avgTableSize=3883.426632462993
50.91/39.41	    
51.51/40.08	    num=71, depth=961..1044, filters=326195, revisions=(320972,useless=124423), ccks=39637818, wck=26.317, mem=2224M896
51.51/40.08	    decisions=264432, wrong=95426, backtracks=1311, failedAssignments=95426, nogoods=2973
51.51/40.08	    nFilterCalls=470752, avgTableProportion=0.9996837202829638, avgTableSize=3904.9464431377883
51.51/40.08	    
52.21/40.79	    num=72, depth=954..1043, filters=339002, revisions=(333627,useless=126123), ccks=40001834, wck=27.027, mem=2224M896
52.21/40.79	    decisions=284496, wrong=104981, backtracks=1400, failedAssignments=104981, nogoods=3006
52.21/40.79	    nFilterCalls=485501, avgTableProportion=0.9996859977994176, avgTableSize=3928.971538678602
52.21/40.79	    
53.01/41.53	    num=73, depth=919..1035, filters=352801, revisions=(347256,useless=127833), ccks=40360394, wck=27.77, mem=2224M896
53.01/41.53	    decisions=306437, wrong=115492, backtracks=1516, failedAssignments=115492, nogoods=3078
53.01/41.53	    nFilterCalls=501206, avgTableProportion=0.9996830233058281, avgTableSize=3892.278627949386
53.01/41.53	    
53.81/42.32	    num=74, depth=928..1038, filters=367645, revisions=(361931,useless=129539), ccks=40734664, wck=28.562, mem=2224M896
53.81/42.32	    decisions=330489, wrong=127054, backtracks=1626, failedAssignments=127054, nogoods=3091
53.81/42.32	    nFilterCalls=517964, avgTableProportion=0.9996855826363246, avgTableSize=3918.2024696697067
53.81/42.32	    
54.62/43.18	    num=75, depth=917..1029, filters=383790, revisions=(377784,useless=131260), ccks=41088771, wck=29.419, mem=2224M896
54.62/43.18	    decisions=356937, wrong=139772, backtracks=1753, failedAssignments=139772, nogoods=3131
54.62/43.18	    nFilterCalls=535987, avgTableProportion=0.9996880497155586, avgTableSize=3940.3837835619147
54.62/43.18	    
55.62/44.11	    num=76, depth=868..1037, filters=401391, revisions=(394899,useless=132978), ccks=41474676, wck=30.347, mem=2224M896
55.62/44.11	    decisions=385847, wrong=153762, backtracks=2027, failedAssignments=153762, nogoods=3147
55.62/44.11	    nFilterCalls=555340, avgTableProportion=0.9996867044898448, avgTableSize=3914.0949184283504
55.62/44.11	    
56.51/45.07	    num=77, depth=728..1029, filters=420254, revisions=(413422,useless=134700), ccks=41876273, wck=31.308, mem=2224M896
56.51/45.07	    decisions=417353, wrong=169151, backtracks=2328, failedAssignments=169151, nogoods=3186
56.51/45.07	    nFilterCalls=575921, avgTableProportion=0.9996851632650853, avgTableSize=3881.9841766492277
56.51/45.07	    
57.62/46.14	    num=78, depth=824..1036, filters=440823, revisions=(433480,useless=136421), ccks=42257762, wck=32.375, mem=2224M896
57.62/46.14	    decisions=452197, wrong=186079, backtracks=2586, failedAssignments=186079, nogoods=3224
57.62/46.14	    nFilterCalls=598256, avgTableProportion=0.999685619404649, avgTableSize=3874.659697520794
57.62/46.14	    
58.72/47.25	    num=79, depth=863..1037, filters=462786, revisions=(455224,useless=138139), ccks=42655357, wck=33.487, mem=2224M896
58.72/47.25	    decisions=490302, wrong=204700, backtracks=2760, failedAssignments=204700, nogoods=3228
58.72/47.25	    nFilterCalls=622070, avgTableProportion=0.9996891105744523, avgTableSize=3913.131187808446
58.72/47.25	    
59.91/48.44	    num=80, depth=811..1031, filters=486662, revisions=(478843,useless=139864), ccks=43039612, wck=34.674, mem=2224M896
59.91/48.44	    decisions=532081, wrong=225184, backtracks=2980, failedAssignments=225184, nogoods=3253
59.91/48.44	    nFilterCalls=647746, avgTableProportion=0.999691856123764, avgTableSize=3932.987031953883
59.91/48.44	    
61.22/49.76	    num=81, depth=780..1033, filters=513216, revisions=(504511,useless=141590), ccks=43418554, wck=36.002, mem=2256M306
61.22/49.76	    decisions=578035, wrong=247716, backtracks=3375, failedAssignments=247716, nogoods=3281
61.22/49.76	    nFilterCalls=675725, avgTableProportion=0.9996908040903105, avgTableSize=3901.2539405823377
61.22/49.76	    
62.62/51.19	    num=82, depth=839..1035, filters=541691, revisions=(532433,useless=143316), ccks=43807516, wck=37.423, mem=2256M306
62.62/51.19	    decisions=628444, wrong=272501, backtracks=3732, failedAssignments=272501, nogoods=3312
62.62/51.19	    nFilterCalls=705867, avgTableProportion=0.9996921275221687, avgTableSize=3925.9876733152278
62.62/51.19	    
64.22/52.73	    num=83, depth=758..1037, filters=572697, revisions=(562836,useless=145045), ccks=44191252, wck=38.968, mem=2256M306
64.22/52.73	    decisions=683995, wrong=299765, backtracks=4023, failedAssignments=299765, nogoods=3349
64.22/52.73	    nFilterCalls=738606, avgTableProportion=0.9996952919815605, avgTableSize=3950.47829560009
64.22/52.73	    
65.82/54.37	    num=84, depth=892..1036, filters=606273, revisions=(595947,useless=146758), ccks=44570070, wck=40.612, mem=2256M306
65.82/54.37	    decisions=744880, wrong=329755, backtracks=4296, failedAssignments=329755, nogoods=3376
65.82/54.37	    nFilterCalls=773934, avgTableProportion=0.9996996076526558, avgTableSize=4002.216984910858
65.82/54.37	    
67.73/56.23	    num=85, depth=704..1035, filters=643859, revisions=(632068,useless=148481), ccks=44952057, wck=42.471, mem=2256M306
67.73/56.23	    decisions=811861, wrong=362744, backtracks=4942, failedAssignments=362744, nogoods=3438
67.73/56.23	    nFilterCalls=812734, avgTableProportion=0.9996975409024449, avgTableSize=3979.7963245046967
67.73/56.23	    
69.63/58.19	    num=86, depth=829..1043, filters=684085, revisions=(671475,useless=150198), ccks=45369323, wck=44.427, mem=2256M306
69.63/58.19	    decisions=885417, wrong=399032, backtracks=5360, failedAssignments=399032, nogoods=3524
69.63/58.19	    nFilterCalls=854575, avgTableProportion=0.99970048554701, avgTableSize=4013.699266887049
69.63/58.19	    
71.85/60.35	    num=87, depth=781..1038, filters=728657, revisions=(714522,useless=151919), ccks=45777877, wck=46.591, mem=2256M306
71.85/60.35	    decisions=966255, wrong=438949, backtracks=6019, failedAssignments=438949, nogoods=3537
71.85/60.35	    nFilterCalls=900316, avgTableProportion=0.9996995691857241, avgTableSize=3978.1723683684395
71.85/60.35	    
74.15/62.63	    num=88, depth=801..1039, filters=776291, revisions=(761545,useless=153628), ccks=46187910, wck=48.869, mem=2256M306
74.15/62.63	    decisions=1054874, wrong=482858, backtracks=6418, failedAssignments=482858, nogoods=3573
74.15/62.63	    nFilterCalls=949581, avgTableProportion=0.9997045899572191, avgTableSize=4039.5921685459166
74.15/62.63	    
76.66/65.16	    num=89, depth=711..1042, filters=828982, revisions=(812968,useless=155346), ccks=46586634, wck=51.394, mem=2287M716
76.66/65.16	    decisions=1152500, wrong=531158, backtracks=6911, failedAssignments=531158, nogoods=3628
76.66/65.16	    nFilterCalls=1003557, avgTableProportion=0.9997085437896658, avgTableSize=4076.2009442413337
76.66/65.16	    
79.45/67.93	    num=90, depth=744..1035, filters=886970, revisions=(869240,useless=157077), ccks=47006521, wck=54.164, mem=2287M716
79.45/67.93	    decisions=1259736, wrong=584288, backtracks=7680, failedAssignments=584288, nogoods=3639
79.45/67.93	    nFilterCalls=1062595, avgTableProportion=0.9997033850464442, avgTableSize=4002.491249253008
79.45/67.93	    
82.45/70.97	    num=91, depth=702..1033, filters=950223, revisions=(930820,useless=158801), ccks=47432527, wck=57.21, mem=2287M716
82.45/70.97	    decisions=1377651, wrong=642731, backtracks=8505, failedAssignments=642731, nogoods=3649
82.45/70.97	    nFilterCalls=1127057, avgTableProportion=0.9997048470145219, avgTableSize=4025.9504026859336
82.45/70.97	    
85.76/74.29	    num=92, depth=704..1031, filters=1019773, revisions=(998242,useless=160522), ccks=47855569, wck=60.527, mem=2287M716
85.76/74.29	    decisions=1507251, wrong=707018, backtracks=9473, failedAssignments=707018, nogoods=3683
85.76/74.29	    nFilterCalls=1197505, avgTableProportion=0.9997055034968017, avgTableSize=4029.447478716164
85.76/74.29	    
89.46/77.91	    num=93, depth=823..1033, filters=1095602, revisions=(1072093,useless=162245), ccks=48293372, wck=64.149, mem=2287M716
89.46/77.91	    decisions=1649712, wrong=777734, backtracks=10364, failedAssignments=777734, nogoods=3721
89.46/77.91	    nFilterCalls=1274307, avgTableProportion=0.999708448741357, avgTableSize=4074.7239252393656
89.46/77.91	    
93.36/81.86	    num=94, depth=759..1034, filters=1179162, revisions=(1153024,useless=163976), ccks=48737203, wck=68.098, mem=2287M716
93.36/81.86	    decisions=1806204, wrong=855521, backtracks=11624, failedAssignments=855521, nogoods=3734
93.36/81.86	    nFilterCalls=1358438, avgTableProportion=0.9997073269814418, avgTableSize=4038.436754566642
93.36/81.86	    
97.56/86.11	    num=95, depth=759..1038, filters=1269549, revisions=(1241718,useless=165694), ccks=49174662, wck=72.344, mem=2319M125
97.56/86.11	    decisions=1978322, wrong=941087, backtracks=12476, failedAssignments=941087, nogoods=3770
97.56/86.11	    nFilterCalls=1450004, avgTableProportion=0.9997123998705719, avgTableSize=4091.217203538749
97.56/86.11	    
102.36/90.81	    num=96, depth=703..1033, filters=1369694, revisions=(1338972,useless=167413), ccks=49612679, wck=77.053, mem=2319M125
102.36/90.81	    decisions=2167542, wrong=1035210, backtracks=13938, failedAssignments=1035210, nogoods=3850
102.36/90.81	    nFilterCalls=1550728, avgTableProportion=0.9997119615209469, avgTableSize=4079.5968461264647
102.36/90.81	    
107.46/95.96	    num=97, depth=711..1042, filters=1479763, revisions=(1445635,useless=169133), ccks=50082541, wck=82.203, mem=2319M125
107.46/95.96	    decisions=2375625, wrong=1138745, backtracks=15432, failedAssignments=1138745, nogoods=3854
107.46/95.96	    nFilterCalls=1660932, avgTableProportion=0.9997127548935435, avgTableSize=4077.980152107371
107.46/95.96	    
113.06/101.53	    num=98, depth=755..1043, filters=1599151, revisions=(1562638,useless=170846), ccks=50607888, wck=87.764, mem=2319M125
113.06/101.53	    decisions=2604443, wrong=1252634, backtracks=16551, failedAssignments=1252634, nogoods=3905
113.06/101.53	    nFilterCalls=1781135, avgTableProportion=0.9997148288771056, avgTableSize=4089.797118691172
113.06/101.53	    
119.16/107.63	    num=99, depth=821..1033, filters=1731235, revisions=(1691054,useless=172575), ccks=51143345, wck=93.868, mem=2319M125
119.16/107.63	    decisions=2855924, wrong=1377912, backtracks=18069, failedAssignments=1377912, nogoods=3983
119.16/107.63	    nFilterCalls=1913020, avgTableProportion=0.9997176021742336, avgTableSize=4108.105629841821
119.16/107.63	    
125.87/114.33	    num=100, depth=709..1033, filters=1875773, revisions=(1831998,useless=174302), ccks=51729012, wck=100.571, mem=2350M535
125.87/114.33	    decisions=3132454, wrong=1515718, backtracks=19790, failedAssignments=1515718, nogoods=4045
125.87/114.33	    nFilterCalls=2057631, avgTableProportion=0.9997198215175126, avgTableSize=4118.6377416553305
125.87/114.33	    
133.17/121.67	    num=101, depth=705..1034, filters=2033737, revisions=(1986730,useless=176037), ccks=52278774, wck=107.912, mem=2350M535
133.17/121.67	    decisions=3436620, wrong=1667304, backtracks=21426, failedAssignments=1667304, nogoods=4106
133.17/121.67	    nFilterCalls=2216013, avgTableProportion=0.999724453612316, avgTableSize=4191.517045703252
133.17/121.67	    
141.38/129.88	    num=102, depth=779..1042, filters=2209840, revisions=(2156624,useless=177779), ccks=52854204, wck=116.121, mem=2350M535
141.38/129.88	    decisions=3770946, wrong=1834049, backtracks=24548, failedAssignments=1834049, nogoods=4122
141.38/129.88	    nFilterCalls=2390876, avgTableProportion=0.9997209755194346, avgTableSize=4148.3845276793945
141.38/129.88	    
150.39/138.80	    num=103, depth=744..1037, filters=2401950, revisions=(2343196,useless=179522), ccks=53460011, wck=125.04, mem=2381M945
150.39/138.80	    decisions=4138789, wrong=2017468, backtracks=27136, failedAssignments=2017468, nogoods=4127
150.39/138.80	    nFilterCalls=2582051, avgTableProportion=0.9997189455466301, avgTableSize=4109.548876842479
150.39/138.80	    
160.09/148.52	    num=104, depth=705..1040, filters=2611187, revisions=(2548092,useless=181250), ccks=54059542, wck=134.757, mem=2381M945
160.09/148.52	    decisions=4543304, wrong=2219229, backtracks=29328, failedAssignments=2219229, nogoods=4214
160.09/148.52	    nFilterCalls=2791157, avgTableProportion=0.9997215561046796, avgTableSize=4152.503178789298
160.09/148.52	    
170.70/159.19	    num=105, depth=712..1046, filters=2842319, revisions=(2773165,useless=182983), ccks=54639412, wck=145.431, mem=2381M945
170.70/159.19	    decisions=4988195, wrong=2441167, backtracks=32250, failedAssignments=2441167, nogoods=4232
170.70/159.19	    nFilterCalls=3021190, avgTableProportion=0.9997236436894084, avgTableSize=4165.215237042357
170.70/159.19	    
182.40/170.89	    num=106, depth=702..1034, filters=3095354, revisions=(3020447,useless=184722), ccks=55251991, wck=157.128, mem=2413M355
182.40/170.89	    decisions=5477406, wrong=2685298, backtracks=35172, failedAssignments=2685298, nogoods=4273
182.40/170.89	    nFilterCalls=3273358, avgTableProportion=0.9997265714321938, avgTableSize=4196.693738356757
182.40/170.89	    
195.30/183.78	    num=107, depth=702..1037, filters=3374993, revisions=(3292163,useless=186481), ccks=55887994, wck=170.023, mem=2413M355
195.30/183.78	    decisions=6015503, wrong=2953843, backtracks=39053, failedAssignments=2953843, nogoods=4366
195.30/183.78	    nFilterCalls=3550961, avgTableProportion=0.9997260240468981, avgTableSize=4168.452385424678
195.30/183.78	    
209.31/197.77	    num=108, depth=706..1034, filters=3680454, revisions=(3590736,useless=188237), ccks=56743857, wck=184.008, mem=2444M764
209.31/197.77	    decisions=6607295, wrong=3249242, backtracks=42249, failedAssignments=3249242, nogoods=4394
209.31/197.77	    nFilterCalls=3854721, avgTableProportion=0.9997302215742152, avgTableSize=4214.16185321843
209.31/197.77	    
225.02/213.43	    num=109, depth=699..1030, filters=4019401, revisions=(3918850,useless=190000), ccks=57509739, wck=199.666, mem=2444M764
225.02/213.43	    decisions=7258152, wrong=3574181, backtracks=47546, failedAssignments=3574181, nogoods=4448
225.02/213.43	    nFilterCalls=4190106, avgTableProportion=0.9997218892742876, avgTableSize=4118.863081268111
225.02/213.43	    
248.90/233.20	    num=110, depth=750..1033, filters=4387913, revisions=(4279429,useless=191742), ccks=58334340, wck=219.433, mem=1179M823
248.90/233.20	    decisions=7973931, wrong=3931614, backtracks=51521, failedAssignments=3931614, nogoods=4562
248.90/233.20	    nFilterCalls=4556590, avgTableProportion=0.9997243305820316, avgTableSize=4161.118991614343
248.90/233.20	    
274.20/258.46	    num=111, depth=703..1038, filters=4793985, revisions=(4675762,useless=193496), ccks=59209566, wck=244.697, mem=1179M823
274.20/258.46	    decisions=8761301, wrong=4324790, backtracks=55770, failedAssignments=4324790, nogoods=4656
274.20/258.46	    nFilterCalls=4959193, avgTableProportion=0.9997288051957949, avgTableSize=4206.1650633480085
274.20/258.46	    
302.12/286.36	    num=112, depth=704..1039, filters=5242043, revisions=(5111407,useless=195242), ccks=60017439, wck=272.602, mem=1211M16
302.12/286.36	    decisions=9627106, wrong=4757284, backtracks=61579, failedAssignments=4757284, nogoods=4714
302.12/286.36	    nFilterCalls=5402475, avgTableProportion=0.9997302190044021, avgTableSize=4228.452337308363
302.12/286.36	    
332.83/317.02	    num=113, depth=778..1041, filters=5731792, revisions=(5590327,useless=197007), ccks=60871843, wck=303.257, mem=1242M209
332.83/317.02	    decisions=10579520, wrong=5233028, backtracks=67004, failedAssignments=5233028, nogoods=4776
332.83/317.02	    nFilterCalls=5888736, avgTableProportion=0.9997335467207299, avgTableSize=4263.915897741043
332.83/317.02	    
366.34/350.58	    num=114, depth=708..1056, filters=6270001, revisions=(6116781,useless=198747), ccks=61768916, wck=336.823, mem=1242M209
366.34/350.58	    decisions=11627094, wrong=5756346, backtracks=72727, failedAssignments=5756346, nogoods=4823
366.34/350.58	    nFilterCalls=6422865, avgTableProportion=0.9997375081577505, avgTableSize=4309.3000340190865
366.34/350.58	    
403.76/387.98	    num=115, depth=745..1056, filters=6866521, revisions=(6695592,useless=200511), ccks=62716711, wck=374.217, mem=1273M903
403.76/387.98	    decisions=12779431, wrong=6331996, backtracks=81561, failedAssignments=6331996, nogoods=4886
403.76/387.98	    nFilterCalls=7012537, avgTableProportion=0.9997358577220473, avgTableSize=4306.240586680684
403.76/387.98	    
444.17/428.38	    num=116, depth=703..1045, filters=7517437, revisions=(7331978,useless=202273), ccks=63711064, wck=414.614, mem=1305M96
444.17/428.38	    decisions=14046774, wrong=6965211, backtracks=88708, failedAssignments=6965211, nogoods=4949
444.17/428.38	    nFilterCalls=7657977, avgTableProportion=0.999736675837837, avgTableSize=4310.928096153853
444.17/428.38	    
489.48/473.68	    num=117, depth=720..1036, filters=8242109, revisions=(8031754,useless=204098), ccks=64919931, wck=459.919, mem=1336M289
489.48/473.68	    decisions=15440869, wrong=7661747, backtracks=99501, failedAssignments=7661747, nogoods=5073
489.48/473.68	    nFilterCalls=8370503, avgTableProportion=0.9997336343973637, avgTableSize=4279.334216474207
489.48/473.68	    
539.30/523.47	    num=118, depth=703..1033, filters=9040392, revisions=(8801208,useless=205947), ccks=66097478, wck=509.706, mem=1367M482
539.30/523.47	    decisions=16974235, wrong=8427937, backtracks=112350, failedAssignments=8427937, nogoods=5106
539.30/523.47	    nFilterCalls=9154701, avgTableProportion=0.9997286532539349, avgTableSize=4206.5674925920575
539.30/523.47	    
593.22/577.38	    num=119, depth=704..1048, filters=9908929, revisions=(9647252,useless=207774), ccks=67444545, wck=563.622, mem=1398M675
593.22/577.38	    decisions=18660729, wrong=9270746, backtracks=122294, failedAssignments=9270746, nogoods=5177
593.22/577.38	    nFilterCalls=10012497, avgTableProportion=0.9997257159761592, avgTableSize=4154.729125911349
593.22/577.38	    
652.87/636.90	    num=120, depth=700..1038, filters=10866767, revisions=(10577590,useless=209614), ccks=68845350, wck=623.142, mem=1461M61
652.87/636.90	    decisions=20515722, wrong=10197836, backtracks=135149, failedAssignments=10197836, nogoods=5263
652.87/636.90	    nFilterCalls=10957419, avgTableProportion=0.9997248126775095, avgTableSize=4156.742854225069
652.87/636.90	    
711.67/695.74	    num=121, depth=735..1047, filters=11915072, revisions=(11600654,useless=211479), ccks=70396860, wck=681.976, mem=1492M254
711.67/695.74	    decisions=22556253, wrong=11217635, backtracks=147070, failedAssignments=11217635, nogoods=5311
711.67/695.74	    nFilterCalls=11994229, avgTableProportion=0.9997284969649511, avgTableSize=4203.739622029894
711.67/695.74	    
765.88/749.97	    num=122, depth=700..1051, filters=13069342, revisions=(12725699,useless=213342), ccks=72002161, wck=736.207, mem=1554M640
765.88/749.97	    decisions=24800836, wrong=12339414, backtracks=160549, failedAssignments=12339414, nogoods=5351
765.88/749.97	    nFilterCalls=13134676, avgTableProportion=0.9997312921202204, avgTableSize=4222.510337217302
765.88/749.97	    
826.71/810.79	    num=123, depth=740..1052, filters=14350571, revisions=(13963016,useless=215299), ccks=73636724, wck=797.03, mem=1585M833
826.71/810.79	    decisions=27269789, wrong=13573371, backtracks=181491, failedAssignments=13573371, nogoods=5392
826.71/810.79	    nFilterCalls=14394779, avgTableProportion=0.9997288400499887, avgTableSize=4214.478307100095
826.71/810.79	    
892.93/876.91	    num=124, depth=734..1057, filters=15756483, revisions=(15323717,useless=217247), ccks=75460536, wck=863.153, mem=1648M219
892.93/876.91	    decisions=29985353, wrong=14930724, backtracks=201986, failedAssignments=14930724, nogoods=5484
892.93/876.91	    nFilterCalls=15777645, avgTableProportion=0.9997267852833953, avgTableSize=4164.647244439839
892.93/876.91	    
965.96/949.99	    num=125, depth=705..1052, filters=17302131, revisions=(16820183,useless=219230), ccks=77350457, wck=936.226, mem=1710M604
965.96/949.99	    decisions=32972457, wrong=16423812, backtracks=226015, failedAssignments=16423812, nogoods=5539
965.96/949.99	    nFilterCalls=17299849, avgTableProportion=0.9997241831692251, avgTableSize=4145.580814086875
965.96/949.99	    
1044.78/1028.79	    num=126, depth=702..1044, filters=18989336, revisions=(18465944,useless=221193), ccks=79616713, wck=1015.029, mem=1772M990
1044.78/1028.79	    decisions=36258145, wrong=18066209, backtracks=245767, failedAssignments=18066209, nogoods=5582
1044.78/1028.79	    nFilterCalls=18967052, avgTableProportion=0.9997109701002119, avgTableSize=4012.818174379445
1044.78/1028.79	    
1133.42/1117.32	    num=127, depth=702..1042, filters=20867310, revisions=(20276065,useless=223270), ccks=81855437, wck=1103.561, mem=1866M569
1133.42/1117.32	    decisions=39872349, wrong=19872846, backtracks=276470, failedAssignments=19872846, nogoods=5644
1133.42/1117.32	    nFilterCalls=20809490, avgTableProportion=0.9997077207122422, avgTableSize=3960.2253717895055
1133.42/1117.32	    
1230.45/1214.32	    num=128, depth=703..1045, filters=22924986, revisions=(22266756,useless=225254), ccks=84381574, wck=1200.561, mem=1928M955
1230.45/1214.32	    decisions=43847920, wrong=21860147, backtracks=304873, failedAssignments=21860147, nogoods=5752
1230.45/1214.32	    nFilterCalls=22830330, avgTableProportion=0.999709810115698, avgTableSize=3997.7864870985222
1230.45/1214.32	    
1335.98/1319.83	    num=129, depth=704..1045, filters=25176821, revisions=(24456268,useless=227334), ccks=87045446, wck=1306.072, mem=2022M534
1335.98/1319.83	    decisions=48220803, wrong=24046178, backtracks=332229, failedAssignments=24046178, nogoods=5796
1335.98/1319.83	    nFilterCalls=25048699, avgTableProportion=0.999713276287178, avgTableSize=4050.389176260212
1335.98/1319.83	    
1451.62/1435.46	    num=130, depth=731..1039, filters=27641186, revisions=(26864370,useless=229396), ccks=89956196, wck=1421.697, mem=2116M113
1451.62/1435.46	    decisions=53031078, wrong=26450812, backtracks=359236, failedAssignments=26450812, nogoods=5803
1451.62/1435.46	    nFilterCalls=27485511, avgTableProportion=0.9997180618578854, avgTableSize=4108.346118396707
1451.62/1435.46	    
1579.78/1563.58	    num=131, depth=707..1052, filters=30367823, revisions=(29513131,useless=231667), ccks=93067172, wck=1549.821, mem=2240M885
1579.78/1563.58	    decisions=58322163, wrong=29095909, backtracks=396705, failedAssignments=29095909, nogoods=5816
1579.78/1563.58	    nFilterCalls=30173122, avgTableProportion=0.9997186801707032, avgTableSize=4101.715814293264
1579.78/1563.58	    
1720.22/1703.91	    num=132, depth=701..1046, filters=33359749, revisions=(32426292,useless=233824), ccks=96412392, wck=1690.147, mem=2365M657
1720.22/1703.91	    decisions=64142161, wrong=32005516, backtracks=435358, failedAssignments=32005516, nogoods=5874
1720.22/1703.91	    nFilterCalls=33126321, avgTableProportion=0.9997201810228302, avgTableSize=4104.053468509225
1720.22/1703.91	    
1872.98/1856.60	    num=133, depth=702..1038, filters=36633272, revisions=(35630502,useless=236064), ccks=100076959, wck=1842.838, mem=2490M429
1872.98/1856.60	    decisions=70544208, wrong=35206084, backtracks=468249, failedAssignments=35206084, nogoods=5933
1872.98/1856.60	    nFilterCalls=36364852, avgTableProportion=0.9997264811313262, avgTableSize=4180.6042601245845
1872.98/1856.60	    
2043.94/2027.56	    num=134, depth=701..1037, filters=40253691, revisions=(39154796,useless=238329), ccks=104066192, wck=2013.794, mem=2646M394
2043.94/2027.56	    decisions=77586474, wrong=38726709, backtracks=514216, failedAssignments=38726709, nogoods=5992
2043.94/2027.56	    nFilterCalls=39936631, avgTableProportion=0.9997284012599189, avgTableSize=4208.727640371067
2043.94/2027.56	    
2229.72/2213.27	    num=135, depth=701..1055, filters=44213758, revisions=(43031037,useless=240489), ccks=108366329, wck=2199.504, mem=1228M858
2229.72/2213.27	    decisions=85332842, wrong=42599396, backtracks=554733, failedAssignments=42599396, nogoods=6124
2229.72/2213.27	    nFilterCalls=43854990, avgTableProportion=0.9997326020329901, avgTableSize=4264.32744925948
2229.72/2213.27	    
2400.07/2383.50	
2400.07/2383.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 (15419 MiB free)
  memory of node 1: 16384 MiB (13344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391093-1568391746/watcher-4391093-1568391746 -o /tmp/evaluation-result-4391093-1568391746/solver-4391093-1568391746 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391093-1568391746.xml -cm 

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

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


[startup+0.10008 s]*
/proc/loadavg: 2.20 2.08 1.93 4/229 24521
/proc/meminfo: memFree=29437312/32770624 swapFree=66958228/67108860
[pid=24506] ppid=24503 vsize=10659884 memory=28440 CPUtime=0.13 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 5159 0 0 0 13 0 0 0 20 0 15 0 415111192 10915721216 7110 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2664971 7110 2874 1 0 2627468 0
[pid=24506/tid=24508] ppid=24503 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) R 24503 24506 21280 0 -1 4202560 2972 0 0 0 9 0 0 0 20 0 15 0 415111192 10915721216 7110 33554432000 4194304 4196468 140730583858928 140344029937296 140343643241104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111194 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343532524320 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343531471984 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) R 24503 24506 21280 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343529359824 140344010109455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0.02 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) R 24503 24506 21280 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 415111197 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343527257472 140344025727578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111198 10915721216 7110 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28440 KiB

[startup+0.211115 s]*
/proc/loadavg: 2.20 2.08 1.93 3/229 24521
/proc/meminfo: memFree=29431544/32770624 swapFree=66958228/67108860
[pid=24506] ppid=24503 vsize=10659884 memory=35156 CPUtime=0.33 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 6409 0 0 0 32 1 0 0 20 0 15 0 415111192 10915721216 8789 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2664971 8789 2988 1 0 2627468 0
[pid=24506/tid=24508] ppid=24503 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) R 24503 24506 21280 0 -1 4202560 3504 0 0 0 19 0 0 0 20 0 15 0 415111192 10915721216 8789 33554432000 4194304 4196468 140730583858928 140344029938320 140344025728157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10659884 memory=331 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10659884 memory=140160793768953 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111194 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343532524320 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343531471984 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 415111197 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 15 0 415111197 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0.05 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 660 0 0 0 5 0 0 0 20 0 15 0 415111197 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111198 10915721216 8789 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35156 KiB

[startup+0.316103 s]*
/proc/loadavg: 2.20 2.08 1.93 4/229 24521
/proc/meminfo: memFree=29423180/32770624 swapFree=66958228/67108860
[pid=24506] ppid=24503 vsize=10659884 memory=40384 CPUtime=0.48 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 8915 0 0 0 46 2 0 0 20 0 15 0 415111192 10915721216 10096 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2664971 10096 3001 1 0 2627468 0
[pid=24506/tid=24508] ppid=24503 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) R 24503 24506 21280 0 -1 4202560 5923 0 0 0 29 1 0 0 20 0 15 0 415111192 10915721216 10096 33554432000 4194304 4196468 140730583858928 140344029938624 140344009786718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10659884 memory=8900 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10659884 memory=140160793768864 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111194 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343532524320 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415111195 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343531471984 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 599 0 0 0 4 0 0 0 20 0 15 0 415111197 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 353 0 0 0 4 0 0 0 20 0 15 0 415111197 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0.08 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 682 0 0 0 8 0 0 0 20 0 15 0 415111197 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10659884 memory=140160790738560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111198 10915721216 10096 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40384 KiB

[startup+0.701132 s]
/proc/loadavg: 2.20 2.08 1.93 3/229 24521
/proc/meminfo: memFree=29414484/32770624 swapFree=66958228/67108860
[pid=24506] ppid=24503 vsize=10661932 memory=63948 CPUtime=1.12 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 12565 0 0 0 107 5 0 0 20 0 15 0 415111192 10917818368 15987 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2665483 15987 3073 1 0 2627980 0
[pid=24506/tid=24508] ppid=24503 vsize=10661932 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) R 24503 24506 21280 0 -1 4202560 8462 0 0 0 64 4 0 0 20 0 15 0 415111192 10917818368 15987 33554432000 4194304 4196468 140730583858928 140344029928208 140344007269791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111193 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10661932 memory=245443221025568 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111194 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10661932 memory=2933550 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415111195 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343532524320 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415111195 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343531471984 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10661932 memory=7809523229951467576 CPUtime=0.11 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 922 0 0 0 11 0 0 0 20 0 15 0 415111197 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10661932 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) R 24503 24506 21280 0 -1 4202560 707 0 0 0 12 0 0 0 20 0 15 0 415111197 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343528315376 140344010093280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 1115 0 0 0 18 0 0 0 20 0 15 0 415111197 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415111197 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111198 10917818368 15987 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63948 KiB

[startup+1.50082 s]
/proc/loadavg: 2.20 2.08 1.93 3/229 24521
/proc/meminfo: memFree=29398116/32770624 swapFree=66958228/67108860
[pid=24506] ppid=24503 vsize=10663980 memory=75672 CPUtime=2.03 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 17846 0 0 0 197 6 0 0 20 0 15 0 415111192 10919915520 18918 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2665995 18918 3096 1 0 2628492 0
[pid=24506/tid=24508] ppid=24503 vsize=10663980 memory=210573656637314 CPUtime=1.47 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) R 24503 24506 21280 0 -1 4202560 12491 0 0 0 143 4 0 0 20 0 15 0 415111192 10919915520 18918 33554432000 4194304 4196468 140730583858928 140344029938256 140344009786718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415111193 10919915520 18918 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10663980 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10919915520 18918 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10919915520 18918 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10663980 memory=3472468456915372176 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415111193 10919915520 18918 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 415111194 10919915520 18918 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0

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

/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 14615 0 0 0 218 58 0 0 20 0 16 0 415111193 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10748324 memory=712 CPUtime=0.19 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 12964 0 0 0 16 3 0 0 20 0 16 0 415111194 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343532524384 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10748324 memory=7976 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343531472000 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10748324 memory=10428 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10748324 memory=14012 CPUtime=3.05 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 10436 0 0 0 303 2 0 0 20 0 16 0 415111197 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10748324 memory=14080 CPUtime=3.19 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 11443 0 0 0 317 2 0 0 20 0 16 0 415111197 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10748324 memory=21352 CPUtime=1.31 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 13494 0 0 0 127 4 0 0 20 0 16 0 415111197 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10748324 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10748324 memory=177000 CPUtime=0.78 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 2209 0 0 0 36 42 0 0 20 0 16 0 415111198 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24522] ppid=24503 vsize=10748324 memory=1660 CPUtime=2257.37 cores=0,2,4,6
/proc/24506/task/24522/stat : 24522 (java) R 24503 24506 21280 0 -1 4202560 134029 0 0 0 225715 22 0 0 20 0 16 0 415111380 11006283776 809851 33554432000 4194304 4196468 140730583858928 140343508081792 140343655123386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 2278.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3239404 KiB

[startup+2322.3 s]
/proc/loadavg: 1.99 2.01 1.98 3/231 24895
/proc/meminfo: memFree=26228920/32770624 swapFree=66958232/67108860
[pid=24506] ppid=24503 vsize=10748324 memory=3239924 CPUtime=2338.85 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 258310 0 0 0 233588 297 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2687081 809981 3386 1 0 2647217 0
[pid=24506/tid=24508] ppid=24503 vsize=10748324 memory=3304 CPUtime=1.86 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) S 24503 24506 21280 0 -1 1077944384 14655 0 0 0 180 6 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140344029949104 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10748324 memory=177000 CPUtime=2.72 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 12720 0 0 0 215 57 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10748324 memory=1660 CPUtime=2.73 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 15136 0 0 0 218 55 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10748324 memory=1398722017469774279 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 13709 0 0 0 220 56 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10748324 memory=4872558044660077418 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 14615 0 0 0 218 58 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10748324 memory=2120 CPUtime=0.19 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 12983 0 0 0 16 3 0 0 20 0 16 0 415111194 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10748324 memory=508 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343532524384 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343531472000 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10748324 memory=303430223234596890 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10748324 memory=288230604624101685 CPUtime=3.05 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 10463 0 0 0 303 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10748324 memory=15534145912703117 CPUtime=3.19 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 11449 0 0 0 317 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10748324 memory=932 CPUtime=1.31 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 13502 0 0 0 127 4 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10748324 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10748324 memory=1808 CPUtime=0.81 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 2281 0 0 0 38 43 0 0 20 0 16 0 415111198 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24522] ppid=24503 vsize=10748324 memory=920 CPUtime=2317.36 cores=0,2,4,6
/proc/24506/task/24522/stat : 24522 (java) R 24503 24506 21280 0 -1 4202560 135353 0 0 0 231714 22 0 0 20 0 16 0 415111380 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343508081792 140343655123368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 2338.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3239924 KiB

[startup+2382.3 s]
/proc/loadavg: 1.96 1.99 1.97 3/231 24921
/proc/meminfo: memFree=26228824/32770624 swapFree=66958232/67108860
[pid=24506] ppid=24503 vsize=10748324 memory=3239924 CPUtime=2398.87 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 259365 0 0 0 239589 298 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2687081 809981 3386 1 0 2647217 0
[pid=24506/tid=24508] ppid=24503 vsize=10748324 memory=3236 CPUtime=1.86 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) S 24503 24506 21280 0 -1 1077944384 14655 0 0 0 180 6 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140344029949104 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10748324 memory=177028 CPUtime=2.72 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 12720 0 0 0 215 57 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10748324 memory=3239924 CPUtime=2.73 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 15136 0 0 0 218 55 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10748324 memory=1568 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 13709 0 0 0 220 56 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10748324 memory=1444 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 14615 0 0 0 218 58 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10748324 memory=880 CPUtime=0.19 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 13003 0 0 0 16 3 0 0 20 0 16 0 415111194 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10748324 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343532524384 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10748324 memory=3239924 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343531472000 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10748324 memory=1808 CPUtime=3.05 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 10476 0 0 0 303 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10748324 memory=920 CPUtime=3.19 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 11452 0 0 0 317 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10748324 memory=3848 CPUtime=1.31 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 13506 0 0 0 127 4 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10748324 memory=4000 CPUtime=0.83 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 2353 0 0 0 38 45 0 0 20 0 16 0 415111198 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24522] ppid=24503 vsize=10748324 memory=6791534058613427641 CPUtime=2377.36 cores=0,2,4,6
/proc/24506/task/24522/stat : 24522 (java) R 24503 24506 21280 0 -1 4202560 136296 0 0 0 237714 22 0 0 20 0 16 0 415111380 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343508081792 140343655117542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 2398.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3239924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.5 s]
/proc/loadavg: 1.96 1.99 1.97 3/231 24921
/proc/meminfo: memFree=26228824/32770624 swapFree=66958232/67108860
[pid=24506] ppid=24503 vsize=10748324 memory=3239924 CPUtime=2400.07 cores=0,2,4,6
/proc/24506/stat : 24506 (java) S 24503 24506 21280 0 -1 1077944320 259390 0 0 0 239709 298 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140730583841472 140344025706231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
/proc/24506/statm: 2687081 809981 3386 1 0 2647217 0
[pid=24506/tid=24508] ppid=24503 vsize=10748324 memory=1560 CPUtime=1.86 cores=0,2,4,6
/proc/24506/task/24508/stat : 24508 (java) S 24503 24506 21280 0 -1 1077944384 14655 0 0 0 180 6 0 0 20 0 16 0 415111192 11006283776 809981 33554432000 4194304 4196468 140730583858928 140344029949104 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24509] ppid=24503 vsize=10748324 memory=932 CPUtime=2.72 cores=0,2,4,6
/proc/24506/task/24509/stat : 24509 (java) S 24503 24506 21280 0 -1 1077944384 12720 0 0 0 215 57 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343632587664 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24510] ppid=24503 vsize=10748324 memory=6791534058613427641 CPUtime=2.73 cores=0,2,4,6
/proc/24506/task/24510/stat : 24510 (java) S 24503 24506 21280 0 -1 1077944384 15136 0 0 0 218 55 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343631534864 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24511] ppid=24503 vsize=10748324 memory=1444 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24511/stat : 24511 (java) S 24503 24506 21280 0 -1 1077944384 13709 0 0 0 220 56 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343630482576 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24512] ppid=24503 vsize=10748324 memory=880 CPUtime=2.76 cores=0,2,4,6
/proc/24506/task/24512/stat : 24512 (java) S 24503 24506 21280 0 -1 1077944384 14615 0 0 0 218 58 0 0 20 0 16 0 415111193 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343629429776 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24513] ppid=24503 vsize=10748324 memory=1976 CPUtime=0.19 cores=0,2,4,6
/proc/24506/task/24513/stat : 24513 (java) S 24503 24506 21280 0 -1 1077944384 13003 0 0 0 16 3 0 0 20 0 16 0 415111194 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343533578352 140344025717378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24514] ppid=24503 vsize=10748324 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24514/stat : 24514 (java) S 24503 24506 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343532524384 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24515] ppid=24503 vsize=10748324 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24515/stat : 24515 (java) S 24503 24506 21280 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 415111195 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343531472000 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24516] ppid=24503 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24516/stat : 24516 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343530420304 140344025724827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24517] ppid=24503 vsize=10748324 memory=2704 CPUtime=3.05 cores=0,2,4,6
/proc/24506/task/24517/stat : 24517 (java) S 24503 24506 21280 0 -1 1077944384 10489 0 0 0 303 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343529368176 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24518] ppid=24503 vsize=10748324 memory=4108 CPUtime=3.19 cores=0,2,4,6
/proc/24506/task/24518/stat : 24518 (java) S 24503 24506 21280 0 -1 1077944384 11455 0 0 0 317 2 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343528315376 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24519] ppid=24503 vsize=10748324 memory=1408 CPUtime=1.31 cores=0,2,4,6
/proc/24506/task/24519/stat : 24519 (java) S 24503 24506 21280 0 -1 1077944384 13510 0 0 0 127 4 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343527263088 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24520] ppid=24503 vsize=10748324 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/24506/task/24520/stat : 24520 (java) S 24503 24506 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415111197 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343526210528 140344025716437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24521] ppid=24503 vsize=10748324 memory=3239924 CPUtime=0.83 cores=0,2,4,6
/proc/24506/task/24521/stat : 24521 (java) S 24503 24506 21280 0 -1 1077944384 2353 0 0 0 38 45 0 0 20 0 16 0 415111198 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343525157296 140344025717378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
[pid=24506/tid=24522] ppid=24503 vsize=10748324 memory=3239924 CPUtime=2378.56 cores=0,2,4,6
/proc/24506/task/24522/stat : 24522 (java) R 24503 24506 21280 0 -1 4202560 136301 0 0 0 237834 22 0 0 20 0 16 0 415111380 11006283776 809981 33554432000 4194304 4196468 140730583858928 140343508081792 140343655123368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22528000 140730583860235 140730583860338 140730583860338 140730583863247 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3239924 KiB

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

[startup+2383.53 s]
# the end of solver process 24506 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.1 s, system=3.00447 s

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

Child status: 143
Real time (s): 2383.53
CPU time (s): 2400.11
CPU user time (s): 2397.1
CPU system time (s): 3.00447
CPU usage (%): 100.696
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 3239924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.1
system time used= 3.00447
maximum resident set size= 3240416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57354
involuntary context switches= 3158


# summary of solver processes directly reported to runsolver:
#   pid: 24506
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2397.1
#   total CPU system time (s): 3.00447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6231 second user time and 20.5595 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-13 18:21:45
IDJOB=4391093
IDBENCH=141276
IDSOLVER=2833
FILE ID=node145/4391093-1568391746
RUNJOBID= node145-1568389279-23587
PBS_JOBID= 21701826
Free space on /tmp= 59428 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391093-1568391746/watcher-4391093-1568391746 -o /tmp/evaluation-result-4391093-1568391746/solver-4391093-1568391746 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391093-1568391746.xml -cm

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1337331670

node145.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.59
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.59
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.59
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.59
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:        29454108 kB
MemAvailable:   31685200 kB
Buffers:          102688 kB
Cached:          2413336 kB
SwapCached:        41024 kB
Active:          1406592 kB
Inactive:        1329916 kB
Active(anon):     184148 kB
Inactive(anon):    77304 kB
Active(file):    1222444 kB
Inactive(file):  1252612 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66958228 kB
Dirty:             79988 kB
Writeback:             0 kB
AnonPages:        290744 kB
Mapped:            56080 kB
Shmem:             32360 kB
Slab:             171624 kB
SReclaimable:     143744 kB
SUnreclaim:        27880 kB
KernelStack:        3744 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1145708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59420 MiB
End job on node145 at 2019-09-13 19:01:29