Trace number 4390793

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.08 2504.43

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 benchmark59.6866
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.40/1.88	
2.40/1.88	AbsCon 2 
2.64/1.90	
14.19/10.43	  Instance
14.19/10.43	    name=instance-4390793-1568386876, framework=COP, bounds=-infty..+infty
14.19/10.43	
14.19/10.43	  Loading variables...
14.87/10.66	  Loading constraints...
23.04/14.49	
23.04/14.49	  Domains
23.04/14.49	    nTypes=18, nValues=223797, sizes=[1#14,2#1749,11#1263,12#1...97#25,102#73,113#21,121#1592]
23.04/14.49	  Variables
23.04/14.49	    count=4790, degrees=[1#5,2#3828,3#82,4#132...10#7,11#4,12#5,1264#1]
23.04/14.49	  Objectives
23.04/14.49	    way=min, type=SumWeightedLE
23.04/14.49	  Constraints
23.04/14.49	    count=2853, nSpecific=1310, arities=[2#326,3#1263,6#1263,2527#1]
23.04/14.49	    distribution=[CtrExtensionCT-Table#1263,CtrIntension#1543,EQ#29,NE#17,SumWeightedLE#1]
23.04/14.49	    tables=[528#1,602#2,614#1,640#1...5764#14,5768#1,5772#1,5776#1], nTotalTuples=4799838
23.04/14.49	    nExtStructures=(1263,shared:0), nIntStructures=(44,shared:1499)
23.04/14.49	    wck=12.626, cpu=11.786, mem=1829M144
29.16/16.39	  Solver SolverBacktrack being built...
29.16/16.39	
29.29/16.44	
29.29/16.44	  Solver
29.29/16.44	    guaranteedGAC=false
29.29/16.44	    wck=14.59, cpu=12.384, mem=1167M193
30.81/17.52	
30.81/17.52	  Preprocessing
30.81/17.52	    filters=1265, revisions=(983,useless=983), ccks=9129566, nACremovedValues=10735, nTotalRemovedValues=10735, inconcistency=false
30.81/17.52	    wck=1.076, cpu=13.462, mem=1167M193
30.81/17.52	
32.17/18.35	    num=0, depth=1041..1041, filters=4436, revisions=(4095,useless=2682), ccks=13758783, wck=1.908, mem=1167M193
32.17/18.35	    decisions=1061, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
32.17/18.35	    nFilterCalls=6466, avgTableProportion=0.9996711231360204, avgTableSize=3807.056603773585
32.17/18.35	    
32.85/18.70	    num=1, depth=1044..1044, filters=7604, revisions=(7198,useless=4374), ccks=14139796, wck=2.252, mem=1167M193
32.85/18.70	    decisions=2127, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
32.85/18.70	    nFilterCalls=11670, avgTableProportion=0.999671154065584, avgTableSize=3808.0188517566407
32.85/18.70	    
33.20/19.01	    num=2, depth=1037..1037, filters=10779, revisions=(10318,useless=6076), ccks=14595288, wck=2.566, mem=1195M448
33.20/19.01	    decisions=3188, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
33.20/19.01	    nFilterCalls=16874, avgTableProportion=0.9996710496979148, avgTableSize=3806.650468175892
33.20/19.01	    
33.51/19.32	    num=3, depth=1039..1039, filters=13952, revisions=(13432,useless=7773), ccks=14947083, wck=2.871, mem=1195M448
33.51/19.32	    decisions=4253, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
33.51/19.32	    nFilterCalls=22079, avgTableProportion=0.9996710965507485, avgTableSize=3807.3839847819195
33.51/19.32	    
33.82/19.62	    num=4, depth=1042..1042, filters=17122, revisions=(16559,useless=9488), ccks=15307428, wck=3.176, mem=1195M448
33.82/19.62	    decisions=5323, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
33.82/19.62	    nFilterCalls=27283, avgTableProportion=0.9996711063102938, avgTableSize=3807.490488582634
33.82/19.62	    
34.19/19.93	    num=5, depth=1039..1039, filters=20296, revisions=(19691,useless=11203), ccks=15688347, wck=3.485, mem=1195M448
34.19/19.93	    decisions=6394, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
34.19/19.93	    nFilterCalls=32489, avgTableProportion=0.9996710457442877, avgTableSize=3806.676875250085
34.19/19.93	    
34.49/20.24	    num=6, depth=1045..1045, filters=23471, revisions=(22815,useless=12912), ccks=16083963, wck=3.792, mem=1195M448
34.49/20.24	    decisions=7473, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
34.49/20.24	    nFilterCalls=37699, avgTableProportion=0.9996710946315298, avgTableSize=3807.3434043343323
34.49/20.24	    
34.81/20.54	    num=7, depth=1043..1043, filters=26650, revisions=(25947,useless=14625), ccks=16480175, wck=4.097, mem=1223M781
34.81/20.54	    decisions=8554, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
34.81/20.54	    nFilterCalls=42911, avgTableProportion=0.9996710683499404, avgTableSize=3806.843070541353
34.81/20.54	    
35.13/20.85	    num=8, depth=1045..1045, filters=29828, revisions=(29072,useless=16332), ccks=16845865, wck=4.4, mem=1223M781
35.13/20.85	    decisions=9641, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
35.13/20.85	    nFilterCalls=48124, avgTableProportion=0.999671010099304, avgTableSize=3806.18930263486
35.13/20.85	    
35.45/21.15	    num=9, depth=1046..1046, filters=33007, revisions=(32199,useless=18040), ccks=17205092, wck=4.703, mem=1223M781
35.45/21.15	    decisions=10733, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
35.45/21.15	    nFilterCalls=53339, avgTableProportion=0.9996710630295012, avgTableSize=3806.8528281370104
35.45/21.15	    
35.74/21.45	    num=10, depth=1049..1049, filters=36188, revisions=(35322,useless=19744), ccks=17578506, wck=5.008, mem=1223M781
35.74/21.45	    decisions=11832, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
35.74/21.45	    nFilterCalls=58557, avgTableProportion=0.9996711085270903, avgTableSize=3807.3934969346105
35.74/21.45	    
36.04/21.75	    num=11, depth=1043..1044, filters=39375, revisions=(38466,useless=21461), ccks=17930222, wck=5.31, mem=1223M781
36.04/21.75	    decisions=12931, wrong=209, backtracks=1, failedAssignments=209, nogoods=195
36.04/21.75	    nFilterCalls=63777, avgTableProportion=0.999670858404745, avgTableSize=3806.1467456920204
36.04/21.75	    
36.35/22.06	    num=12, depth=1047..1047, filters=42563, revisions=(41598,useless=23166), ccks=18321623, wck=5.617, mem=1223M781
36.35/22.06	    decisions=14040, wrong=240, backtracks=1, failedAssignments=240, nogoods=226
36.35/22.06	    nFilterCalls=69001, avgTableProportion=0.9996709398793151, avgTableSize=3807.0146954391967
36.35/22.06	    
36.64/22.37	    num=13, depth=1051..1051, filters=45754, revisions=(44732,useless=24872), ccks=18755746, wck=5.929, mem=1223M781
36.64/22.37	    decisions=15159, wrong=274, backtracks=1, failedAssignments=274, nogoods=260
36.64/22.37	    nFilterCalls=74230, avgTableProportion=0.9996709959780438, avgTableSize=3807.453051326957
36.64/22.37	    
36.95/22.68	    num=14, depth=1051..1051, filters=48950, revisions=(47870,useless=26578), ccks=19138325, wck=6.237, mem=1252M36
36.95/22.68	    decisions=16284, wrong=311, backtracks=1, failedAssignments=311, nogoods=297
36.95/22.68	    nFilterCalls=79463, avgTableProportion=0.999671010825429, avgTableSize=3807.2383247549174
36.95/22.68	    
37.25/22.99	    num=15, depth=1050..1050, filters=52152, revisions=(51016,useless=28286), ccks=19499014, wck=6.543, mem=1252M36
37.25/22.99	    decisions=17416, wrong=352, backtracks=1, failedAssignments=352, nogoods=338
37.25/22.99	    nFilterCalls=84701, avgTableProportion=0.999671005767832, avgTableSize=3806.8320917108417
37.25/22.99	    
37.66/23.30	    num=16, depth=1045..1045, filters=55358, revisions=(54172,useless=29998), ccks=19897616, wck=6.852, mem=1252M36
37.66/23.30	    decisions=18551, wrong=397, backtracks=1, failedAssignments=397, nogoods=383
37.66/23.30	    nFilterCalls=89940, avgTableProportion=0.9996710700600812, avgTableSize=3807.499822103625
37.66/23.30	    
37.97/23.60	    num=17, depth=1041..1041, filters=58569, revisions=(57337,useless=31712), ccks=20244125, wck=7.155, mem=1252M36
37.97/23.60	    decisions=19692, wrong=447, backtracks=1, failedAssignments=447, nogoods=433
37.97/23.60	    nFilterCalls=95182, avgTableProportion=0.9996711052836064, avgTableSize=3807.5943350633524
37.97/23.60	    
38.27/23.90	    num=18, depth=1044..1044, filters=61785, revisions=(60505,useless=33425), ccks=20590649, wck=7.459, mem=1252M36
38.27/23.90	    decisions=20846, wrong=502, backtracks=1, failedAssignments=502, nogoods=488
38.27/23.90	    nFilterCalls=100431, avgTableProportion=0.9996711714663877, avgTableSize=3808.3108104071453
38.27/23.90	    
38.58/24.21	    num=19, depth=1036..1036, filters=65013, revisions=(63698,useless=35150), ccks=20989622, wck=7.769, mem=1252M36
38.58/24.21	    decisions=22004, wrong=563, backtracks=1, failedAssignments=563, nogoods=549
38.58/24.21	    nFilterCalls=105685, avgTableProportion=0.9996712369390183, avgTableSize=3808.987434356815
38.58/24.21	    
38.89/24.52	    num=20, depth=1030..1030, filters=68249, revisions=(66905,useless=36879), ccks=21329900, wck=8.076, mem=1252M36
38.89/24.52	    decisions=23168, wrong=630, backtracks=1, failedAssignments=630, nogoods=616
38.89/24.52	    nFilterCalls=110943, avgTableProportion=0.9996713056165615, avgTableSize=3809.764897289599
38.89/24.52	    
39.19/24.83	    num=21, depth=1032..1032, filters=71492, revisions=(70116,useless=38606), ccks=21685738, wck=8.38, mem=1252M36
39.19/24.83	    decisions=24348, wrong=704, backtracks=1, failedAssignments=704, nogoods=690
39.19/24.83	    nFilterCalls=116209, avgTableProportion=0.9996713834591172, avgTableSize=3810.736698534537
39.19/24.83	    
39.50/25.13	    num=22, depth=1036..1036, filters=74742, revisions=(73332,useless=40332), ccks=22070346, wck=8.688, mem=1252M36
39.50/25.13	    decisions=25546, wrong=785, backtracks=1, failedAssignments=785, nogoods=771
39.50/25.13	    nFilterCalls=121485, avgTableProportion=0.9996714413665524, avgTableSize=3811.1300736716466
39.50/25.13	    
39.85/25.44	    num=23, depth=1033..1033, filters=78002, revisions=(76561,useless=42061), ccks=22418244, wck=8.998, mem=1252M36
39.85/25.44	    decisions=26757, wrong=874, backtracks=1, failedAssignments=874, nogoods=860
39.85/25.44	    nFilterCalls=126768, avgTableProportion=0.9996715254110021, avgTableSize=3812.170815978796
39.85/25.44	    
40.17/25.76	    num=24, depth=1035..1036, filters=81270, revisions=(79794,useless=43787), ccks=22758560, wck=9.31, mem=1280M295
40.17/25.76	    decisions=27988, wrong=972, backtracks=2, failedAssignments=972, nogoods=945
40.17/25.76	    nFilterCalls=132062, avgTableProportion=0.9996715867569578, avgTableSize=3812.572791567597
40.17/25.76	    
40.52/26.07	    num=25, depth=1032..1033, filters=84550, revisions=(83042,useless=45516), ccks=23099094, wck=9.622, mem=1280M295
40.52/26.07	    decisions=29236, wrong=1080, backtracks=3, failedAssignments=1080, nogoods=1028
40.52/26.07	    nFilterCalls=137365, avgTableProportion=0.9996716783021773, avgTableSize=3813.7054489862776
40.52/26.07	    
40.81/26.38	    num=26, depth=1033..1035, filters=87840, revisions=(86296,useless=47242), ccks=23439431, wck=9.938, mem=1280M295
40.81/26.38	    decisions=30507, wrong=1199, backtracks=5, failedAssignments=1199, nogoods=1042
40.81/26.38	    nFilterCalls=142680, avgTableProportion=0.9996717420639558, avgTableSize=3814.1427950658817
40.81/26.38	    
41.27/26.70	    num=27, depth=1031..1032, filters=91143, revisions=(89567,useless=48971), ccks=23779988, wck=10.256, mem=1280M295
41.27/26.70	    decisions=31800, wrong=1330, backtracks=6, failedAssignments=1330, nogoods=1141
41.27/26.70	    nFilterCalls=148006, avgTableProportion=0.9996718402487433, avgTableSize=3815.397781171034
41.27/26.70	    
41.60/27.02	    num=28, depth=1034..1035, filters=94457, revisions=(92846,useless=50697), ccks=24120350, wck=10.573, mem=1280M295
41.60/27.02	    decisions=33122, wrong=1474, backtracks=7, failedAssignments=1474, nogoods=1204
41.60/27.02	    nFilterCalls=153346, avgTableProportion=0.9996719163334867, avgTableSize=3815.8868180454656
41.60/27.02	    
41.91/27.34	    num=29, depth=1029..1032, filters=97789, revisions=(96144,useless=52426), ccks=24460934, wck=10.894, mem=1280M295
41.91/27.34	    decisions=34467, wrong=1632, backtracks=10, failedAssignments=1632, nogoods=1214
41.91/27.34	    nFilterCalls=158699, avgTableProportion=0.9996720310414793, avgTableSize=3817.2990062949357
41.91/27.34	    
42.21/27.66	    num=30, depth=1032..1034, filters=101134, revisions=(99453,useless=54152), ccks=24801326, wck=11.216, mem=1280M295
42.21/27.66	    decisions=35847, wrong=1806, backtracks=12, failedAssignments=1806, nogoods=1287
42.21/27.66	    nFilterCalls=164070, avgTableProportion=0.9996721137690713, avgTableSize=3817.849966477723
42.21/27.66	    
42.52/27.98	    num=31, depth=1031..1032, filters=104497, revisions=(102784,useless=55881), ccks=25141943, wck=11.537, mem=1280M295
42.52/27.98	    decisions=37260, wrong=1997, backtracks=13, failedAssignments=1997, nogoods=1373
42.52/27.98	    nFilterCalls=169456, avgTableProportion=0.9996722437366208, avgTableSize=3819.4479628930226
42.52/27.98	    
42.92/28.30	    num=32, depth=1030..1035, filters=107882, revisions=(106130,useless=57607), ccks=25482372, wck=11.857, mem=1280M295
42.92/28.30	    decisions=38712, wrong=2208, backtracks=18, failedAssignments=2208, nogoods=1398
42.92/28.30	    nFilterCalls=174863, avgTableProportion=0.9996723350656876, avgTableSize=3820.0377381149815
42.92/28.30	    
43.22/28.63	    num=33, depth=1029..1031, filters=111287, revisions=(109502,useless=59336), ccks=25823030, wck=12.18, mem=1280M295
43.22/28.63	    decisions=40205, wrong=2440, backtracks=20, failedAssignments=2440, nogoods=1504
43.22/28.63	    nFilterCalls=180291, avgTableProportion=0.9996724814806245, avgTableSize=3821.86864014288
43.22/28.63	    
43.52/28.95	    num=34, depth=1032..1035, filters=114714, revisions=(112892,useless=61062), ccks=26163503, wck=12.506, mem=1280M295
43.52/28.95	    decisions=41747, wrong=2695, backtracks=23, failedAssignments=2695, nogoods=1547
43.52/28.95	    nFilterCalls=185742, avgTableProportion=0.9996725890166901, avgTableSize=3822.5736774665934
43.52/28.95	    
43.82/29.27	    num=35, depth=1026..1031, filters=118171, revisions=(116313,useless=62791), ccks=26504210, wck=12.828, mem=1308M550
43.82/29.27	    decisions=43335, wrong=2976, backtracks=28, failedAssignments=2976, nogoods=1564
43.82/29.27	    nFilterCalls=191218, avgTableProportion=0.9996725009315767, avgTableSize=3820.666569046847
43.82/29.27	    
44.22/29.60	    num=36, depth=1034..1036, filters=121651, revisions=(119758,useless=64518), ccks=26866950, wck=13.152, mem=1308M550
44.22/29.60	    decisions=44987, wrong=3285, backtracks=30, failedAssignments=3285, nogoods=1644
44.22/29.60	    nFilterCalls=196722, avgTableProportion=0.9996726856249891, avgTableSize=3822.974085257368
44.22/29.60	    
44.52/29.92	    num=37, depth=1035..1038, filters=125163, revisions=(123228,useless=66240), ccks=27214782, wck=13.476, mem=1308M550
44.52/29.92	    decisions=46702, wrong=3625, backtracks=33, failedAssignments=3625, nogoods=1700
44.52/29.92	    nFilterCalls=202258, avgTableProportion=0.9996728254401112, avgTableSize=3823.9385141749644
44.52/29.92	    
44.82/30.25	    num=38, depth=1034..1037, filters=128712, revisions=(126745,useless=67972), ccks=27570369, wck=13.802, mem=1308M550
44.82/30.25	    decisions=48484, wrong=3999, backtracks=36, failedAssignments=3999, nogoods=1727
44.82/30.25	    nFilterCalls=207829, avgTableProportion=0.9996730410743576, avgTableSize=3826.6720476930554
44.82/30.25	    
45.12/30.58	    num=39, depth=1034..1038, filters=132296, revisions=(130281,useless=69688), ccks=27962929, wck=14.133, mem=1308M550
45.12/30.58	    decisions=50340, wrong=4410, backtracks=40, failedAssignments=4410, nogoods=1743
45.12/30.58	    nFilterCalls=213437, avgTableProportion=0.9996732160457223, avgTableSize=3828.0890239274354
45.12/30.58	    
45.53/30.91	    num=40, depth=1031..1036, filters=135924, revisions=(133865,useless=71410), ccks=28333873, wck=14.465, mem=1308M550
45.53/30.91	    decisions=52275, wrong=4862, backtracks=45, failedAssignments=4862, nogoods=1786
45.53/30.91	    nFilterCalls=219085, avgTableProportion=0.9996733278214646, avgTableSize=3828.106556815848
45.53/30.91	    
45.84/31.24	    num=41, depth=1029..1035, filters=139602, revisions=(137492,useless=73127), ccks=28697408, wck=14.8, mem=1308M550
45.84/31.24	    decisions=54298, wrong=5359, backtracks=51, failedAssignments=5359, nogoods=1798
45.84/31.24	    nFilterCalls=224780, avgTableProportion=0.9996734434667587, avgTableSize=3828.0650858617314
45.84/31.24	    
46.16/31.58	    num=42, depth=1025..1035, filters=143331, revisions=(141163,useless=74840), ccks=29075899, wck=15.139, mem=1308M550
46.16/31.58	    decisions=56417, wrong=5906, backtracks=61, failedAssignments=5906, nogoods=1826
46.16/31.58	    nFilterCalls=230523, avgTableProportion=0.9996733064792847, avgTableSize=3825.1152856764834
46.16/31.58	    
46.56/31.93	    num=43, depth=1033..1039, filters=147106, revisions=(144886,useless=76557), ccks=29461163, wck=15.483, mem=1308M550
46.56/31.93	    decisions=58654, wrong=6508, backtracks=67, failedAssignments=6508, nogoods=1889
46.56/31.93	    nFilterCalls=236319, avgTableProportion=0.9996729408701964, avgTableSize=3820.6516403674696
46.56/31.93	    
46.86/32.28	    num=44, depth=1037..1043, filters=150941, revisions=(148659,useless=78266), ccks=29860142, wck=15.833, mem=1308M550
46.86/32.28	    decisions=61015, wrong=7170, backtracks=73, failedAssignments=7170, nogoods=1922
46.86/32.28	    nFilterCalls=242177, avgTableProportion=0.9996732513280646, avgTableSize=3823.8199127084736
46.86/32.28	    
47.26/32.63	    num=45, depth=1013..1035, filters=154862, revisions=(152515,useless=79986), ccks=30282012, wck=16.188, mem=1308M550
47.26/32.63	    decisions=63484, wrong=7898, backtracks=95, failedAssignments=7898, nogoods=1925
47.26/32.63	    nFilterCalls=248099, avgTableProportion=0.9996726592402273, avgTableSize=3818.0665822917463
47.26/32.63	    
47.56/32.99	    num=46, depth=1005..1033, filters=158864, revisions=(156450,useless=81710), ccks=30660527, wck=16.545, mem=1336M805
47.56/32.99	    decisions=66091, wrong=8699, backtracks=123, failedAssignments=8699, nogoods=1943
47.56/32.99	    nFilterCalls=254094, avgTableProportion=0.9996718617164324, avgTableSize=3811.4777129723648
47.56/32.99	    
47.96/33.35	    num=47, depth=1026..1039, filters=162926, revisions=(160455,useless=83429), ccks=31038078, wck=16.908, mem=1336M805
47.96/33.35	    decisions=68879, wrong=9580, backtracks=136, failedAssignments=9580, nogoods=2006
47.96/33.35	    nFilterCalls=260170, avgTableProportion=0.9996719104112519, avgTableSize=3809.505331129646
47.96/33.35	    
48.37/33.72	    num=48, depth=1016..1035, filters=167082, revisions=(164548,useless=85146), ccks=31430417, wck=17.278, mem=1336M805
48.37/33.72	    decisions=71835, wrong=10550, backtracks=155, failedAssignments=10550, nogoods=2008
48.37/33.72	    nFilterCalls=266332, avgTableProportion=0.9996717510232956, avgTableSize=3805.565775047685
48.37/33.72	    
48.68/34.10	    num=49, depth=1020..1039, filters=171335, revisions=(168731,useless=86858), ccks=31779255, wck=17.654, mem=1336M805
48.68/34.10	    decisions=74989, wrong=11617, backtracks=174, failedAssignments=11617, nogoods=2012
48.68/34.10	    nFilterCalls=272593, avgTableProportion=0.9996716915794914, avgTableSize=3802.278000535597
48.68/34.10	    
49.07/34.49	    num=50, depth=1027..1037, filters=175682, revisions=(173021,useless=88572), ccks=32142693, wck=18.04, mem=1336M805
49.07/34.49	    decisions=78362, wrong=12790, backtracks=184, failedAssignments=12790, nogoods=2116
49.07/34.49	    nFilterCalls=278957, avgTableProportion=0.9996722373739211, avgTableSize=3808.1121427316757
49.07/34.49	    
49.47/34.87	    num=51, depth=1010..1033, filters=180164, revisions=(177437,useless=90290), ccks=32492134, wck=18.429, mem=1336M805
49.47/34.87	    decisions=81954, wrong=14081, backtracks=207, failedAssignments=14081, nogoods=2120
49.47/34.87	    nFilterCalls=285439, avgTableProportion=0.999672157300546, avgTableSize=3804.2204919439882
49.47/34.87	    
49.87/35.27	    num=52, depth=1025..1038, filters=184761, revisions=(181973,useless=92004), ccks=32833503, wck=18.828, mem=1336M805
49.87/35.27	    decisions=85819, wrong=15501, backtracks=220, failedAssignments=15501, nogoods=2176
49.87/35.27	    nFilterCalls=292050, avgTableProportion=0.9996727673471552, avgTableSize=3810.5132751241226
49.87/35.27	    
50.27/35.69	    num=53, depth=1022..1035, filters=189499, revisions=(186653,useless=93719), ccks=33196501, wck=19.24, mem=1336M805
50.27/35.69	    decisions=89965, wrong=17063, backtracks=233, failedAssignments=17063, nogoods=2244
50.27/35.69	    nFilterCalls=298801, avgTableProportion=0.9996734913148706, avgTableSize=3819.3901459499803
50.27/35.69	    
50.78/36.11	    num=54, depth=1019..1035, filters=194400, revisions=(191500,useless=95442), ccks=33552732, wck=19.661, mem=1336M805
50.78/36.11	    decisions=94420, wrong=18781, backtracks=249, failedAssignments=18781, nogoods=2251
50.78/36.11	    nFilterCalls=305710, avgTableProportion=0.9996741892079992, avgTableSize=3826.7788099833174
50.78/36.11	    
51.18/36.54	    num=55, depth=990..1027, filters=199498, revisions=(196529,useless=97170), ccks=33895049, wck=20.09, mem=1336M805
51.18/36.54	    decisions=99190, wrong=20671, backtracks=286, failedAssignments=20671, nogoods=2255
51.18/36.54	    nFilterCalls=312789, avgTableProportion=0.9996738883542593, avgTableSize=3819.880427380758
51.18/36.54	    
51.58/36.98	    num=56, depth=998..1035, filters=204783, revisions=(201735,useless=98891), ccks=34252433, wck=20.54, mem=1336M805
51.58/36.98	    decisions=104346, wrong=22750, backtracks=323, failedAssignments=22750, nogoods=2263
51.58/36.98	    nFilterCalls=320060, avgTableProportion=0.9996737535885077, avgTableSize=3814.073261263513
51.58/36.98	    
52.08/37.44	    num=57, depth=999..1035, filters=210274, revisions=(207148,useless=100612), ccks=34602405, wck=20.999, mem=1365M60
52.08/37.44	    decisions=109919, wrong=25037, backtracks=359, failedAssignments=25037, nogoods=2283
52.08/37.44	    nFilterCalls=327538, avgTableProportion=0.9996738364821335, avgTableSize=3810.085602281262
52.08/37.44	    
52.65/37.96	    num=58, depth=889..1035, filters=216376, revisions=(212784,useless=102328), ccks=34959957, wck=21.518, mem=1365M60
52.65/37.96	    decisions=115980, wrong=27553, backtracks=510, failedAssignments=27553, nogoods=2340
52.65/37.96	    nFilterCalls=335390, avgTableProportion=0.9996701767994877, avgTableSize=3792.4246817138255
52.65/37.96	    
53.17/38.46	    num=59, depth=1013..1039, filters=222335, revisions=(218654,useless=104028), ccks=35347590, wck=22.016, mem=1365M60
53.17/38.46	    decisions=122529, wrong=30321, backtracks=536, failedAssignments=30321, nogoods=2379
53.17/38.46	    nFilterCalls=343350, avgTableProportion=0.9996712566574011, avgTableSize=3803.0983136740933
53.17/38.46	    
53.67/38.97	    num=60, depth=987..1036, filters=228595, revisions=(224815,useless=105740), ccks=35705573, wck=22.527, mem=1365M60
53.67/38.97	    decisions=129604, wrong=33365, backtracks=585, failedAssignments=33365, nogoods=2386
53.67/38.97	    nFilterCalls=351585, avgTableProportion=0.9996713992856163, avgTableSize=3798.083038241108
53.67/38.97	    
54.27/39.51	    num=61, depth=1011..1041, filters=235138, revisions=(231261,useless=107437), ccks=36073879, wck=23.064, mem=1365M60
54.27/39.51	    decisions=137313, wrong=36714, backtracks=615, failedAssignments=36714, nogoods=2466
54.27/39.51	    nFilterCalls=360126, avgTableProportion=0.9996726734177149, avgTableSize=3811.8338637032593
54.27/39.51	    
54.79/40.07	    num=62, depth=1006..1038, filters=242017, revisions=(238041,useless=109132), ccks=36454779, wck=23.626, mem=1365M60
54.79/40.07	    decisions=145687, wrong=40398, backtracks=647, failedAssignments=40398, nogoods=2471
54.79/40.07	    nFilterCalls=369000, avgTableProportion=0.9996741009775209, avgTableSize=3828.8715067750677
54.79/40.07	    
55.40/40.66	    num=63, depth=1005..1043, filters=249267, revisions=(245181,useless=110823), ccks=36806381, wck=24.212, mem=1365M60
55.40/40.66	    decisions=154796, wrong=44450, backtracks=685, failedAssignments=44450, nogoods=2534
55.40/40.66	    nFilterCalls=378243, avgTableProportion=0.9996754364769768, avgTableSize=3842.1033647681516
55.40/40.66	    
56.00/41.27	    num=64, depth=1001..1042, filters=256924, revisions=(252728,useless=112515), ccks=37164943, wck=24.824, mem=1365M60
56.00/41.27	    decisions=164711, wrong=48907, backtracks=726, failedAssignments=48907, nogoods=2605
56.00/41.27	    nFilterCalls=387891, avgTableProportion=0.9996768773842133, avgTableSize=3856.9671144728804
56.00/41.27	    
56.70/41.91	    num=65, depth=946..1033, filters=265081, revisions=(260739,useless=114217), ccks=37517529, wck=25.468, mem=1365M60
56.70/41.91	    decisions=175463, wrong=53810, backtracks=813, failedAssignments=53810, nogoods=2637
56.70/41.91	    nFilterCalls=397984, avgTableProportion=0.9996766083212097, avgTableSize=3845.2946902388035
56.70/41.91	    
57.30/42.59	    num=66, depth=989..1039, filters=273688, revisions=(269233,useless=115916), ccks=37878164, wck=26.15, mem=1365M60
57.30/42.59	    decisions=187240, wrong=59204, backtracks=863, failedAssignments=59204, nogoods=2682
57.30/42.59	    nFilterCalls=408569, avgTableProportion=0.9996782467103029, avgTableSize=3862.3951866147454
57.30/42.59	    
58.10/43.30	    num=67, depth=917..1033, filters=282904, revisions=(278278,useless=117622), ccks=38224427, wck=26.856, mem=1365M60
58.10/43.30	    decisions=200023, wrong=65137, backtracks=979, failedAssignments=65137, nogoods=2700
58.10/43.30	    nFilterCalls=419692, avgTableProportion=0.9996775397836046, avgTableSize=3845.973423367612
58.10/43.30	    
58.80/44.05	    num=68, depth=922..1038, filters=292714, revisions=(287914,useless=119328), ccks=38579215, wck=27.608, mem=1393M315
58.80/44.05	    decisions=213997, wrong=71663, backtracks=1095, failedAssignments=71663, nogoods=2731
58.80/44.05	    nFilterCalls=431411, avgTableProportion=0.9996772173604241, avgTableSize=3832.1651163275856
58.80/44.05	    
59.60/44.85	    num=69, depth=975..1040, filters=303123, revisions=(298193,useless=121027), ccks=38926724, wck=28.409, mem=1393M315
59.60/44.85	    decisions=229330, wrong=78842, backtracks=1160, failedAssignments=78842, nogoods=2826
59.60/44.85	    nFilterCalls=443782, avgTableProportion=0.9996792828777921, avgTableSize=3855.056987439779
59.60/44.85	    
60.50/45.71	    num=70, depth=973..1041, filters=314252, revisions=(309187,useless=122724), ccks=39282235, wck=29.264, mem=1393M315
60.50/45.71	    decisions=246097, wrong=86739, backtracks=1228, failedAssignments=86739, nogoods=2904
60.50/45.71	    nFilterCalls=456871, avgTableProportion=0.9996815937016023, avgTableSize=3883.426632462993
60.50/45.71	    
61.40/46.62	    num=71, depth=961..1044, filters=326195, revisions=(320972,useless=124423), ccks=39637818, wck=30.174, mem=1393M315
61.40/46.62	    decisions=264432, wrong=95426, backtracks=1311, failedAssignments=95426, nogoods=2973
61.40/46.62	    nFilterCalls=470752, avgTableProportion=0.9996837202829638, avgTableSize=3904.9464431377883
61.40/46.62	    
62.30/47.59	    num=72, depth=954..1043, filters=339002, revisions=(333627,useless=126123), ccks=40001834, wck=31.149, mem=1393M315
62.30/47.59	    decisions=284496, wrong=104981, backtracks=1400, failedAssignments=104981, nogoods=3006
62.30/47.59	    nFilterCalls=485501, avgTableProportion=0.9996859977994176, avgTableSize=3928.971538678602
62.30/47.59	    
63.40/48.62	    num=73, depth=919..1035, filters=352801, revisions=(347256,useless=127833), ccks=40360394, wck=32.179, mem=1393M315
63.40/48.62	    decisions=306437, wrong=115492, backtracks=1516, failedAssignments=115492, nogoods=3078
63.40/48.62	    nFilterCalls=501206, avgTableProportion=0.9996830233058281, avgTableSize=3892.278627949386
63.40/48.62	    
64.50/49.73	    num=74, depth=928..1038, filters=367645, revisions=(361931,useless=129539), ccks=40734664, wck=33.284, mem=1393M315
64.50/49.73	    decisions=330489, wrong=127054, backtracks=1626, failedAssignments=127054, nogoods=3091
64.50/49.73	    nFilterCalls=517964, avgTableProportion=0.9996855826363246, avgTableSize=3918.2024696697067
64.50/49.73	    
65.70/50.93	    num=75, depth=917..1029, filters=383790, revisions=(377784,useless=131260), ccks=41088771, wck=34.488, mem=1393M315
65.70/50.93	    decisions=356937, wrong=139772, backtracks=1753, failedAssignments=139772, nogoods=3131
65.70/50.93	    nFilterCalls=535987, avgTableProportion=0.9996880497155586, avgTableSize=3940.3837835619147
65.70/50.93	    
67.00/52.24	    num=76, depth=868..1037, filters=401391, revisions=(394899,useless=132978), ccks=41474676, wck=35.793, mem=1393M315
67.00/52.24	    decisions=385847, wrong=153762, backtracks=2027, failedAssignments=153762, nogoods=3147
67.00/52.24	    nFilterCalls=555340, avgTableProportion=0.9996867044898448, avgTableSize=3914.0949184283504
67.00/52.24	    
68.30/53.60	    num=77, depth=728..1029, filters=420254, revisions=(413422,useless=134700), ccks=41876273, wck=37.15, mem=1421M570
68.30/53.60	    decisions=417353, wrong=169151, backtracks=2328, failedAssignments=169151, nogoods=3186
68.30/53.60	    nFilterCalls=575921, avgTableProportion=0.9996851632650853, avgTableSize=3881.9841766492277
68.30/53.60	    
69.91/55.11	    num=78, depth=824..1036, filters=440823, revisions=(433480,useless=136421), ccks=42257762, wck=38.668, mem=1421M570
69.91/55.11	    decisions=452197, wrong=186079, backtracks=2586, failedAssignments=186079, nogoods=3224
69.91/55.11	    nFilterCalls=598256, avgTableProportion=0.999685619404649, avgTableSize=3874.659697520794
69.91/55.11	    
71.50/56.72	    num=79, depth=863..1037, filters=462786, revisions=(455224,useless=138139), ccks=42655357, wck=40.271, mem=1421M570
71.50/56.72	    decisions=490302, wrong=204700, backtracks=2760, failedAssignments=204700, nogoods=3228
71.50/56.72	    nFilterCalls=622070, avgTableProportion=0.9996891105744523, avgTableSize=3913.131187808446
71.50/56.72	    
73.20/58.43	    num=80, depth=811..1031, filters=486662, revisions=(478843,useless=139864), ccks=43039612, wck=41.989, mem=1421M570
73.20/58.43	    decisions=532081, wrong=225184, backtracks=2980, failedAssignments=225184, nogoods=3253
73.20/58.43	    nFilterCalls=647746, avgTableProportion=0.999691856123764, avgTableSize=3932.987031953883
73.20/58.43	    
75.10/60.35	    num=81, depth=780..1033, filters=513216, revisions=(504511,useless=141590), ccks=43418554, wck=43.907, mem=1421M570
75.10/60.35	    decisions=578035, wrong=247716, backtracks=3375, failedAssignments=247716, nogoods=3281
75.10/60.35	    nFilterCalls=675725, avgTableProportion=0.9996908040903105, avgTableSize=3901.2539405823377
75.10/60.35	    
77.21/62.42	    num=82, depth=839..1035, filters=541691, revisions=(532433,useless=143316), ccks=43807516, wck=45.976, mem=1421M570
77.21/62.42	    decisions=628444, wrong=272501, backtracks=3732, failedAssignments=272501, nogoods=3312
77.21/62.42	    nFilterCalls=705867, avgTableProportion=0.9996921275221687, avgTableSize=3925.9876733152278
77.21/62.42	    
79.41/64.67	    num=83, depth=758..1037, filters=572697, revisions=(562836,useless=145045), ccks=44191252, wck=48.223, mem=1421M570
79.41/64.67	    decisions=683995, wrong=299765, backtracks=4023, failedAssignments=299765, nogoods=3349
79.41/64.67	    nFilterCalls=738606, avgTableProportion=0.9996952919815605, avgTableSize=3950.47829560009
79.41/64.67	    
81.82/67.10	    num=84, depth=892..1036, filters=606273, revisions=(595947,useless=146758), ccks=44570070, wck=50.65, mem=1421M570
81.82/67.10	    decisions=744880, wrong=329755, backtracks=4296, failedAssignments=329755, nogoods=3376
81.82/67.10	    nFilterCalls=773934, avgTableProportion=0.9996996076526558, avgTableSize=4002.216984910858
81.82/67.10	    
84.62/69.82	    num=85, depth=704..1035, filters=643859, revisions=(632068,useless=148481), ccks=44952057, wck=53.371, mem=1449M825
84.62/69.82	    decisions=811861, wrong=362744, backtracks=4942, failedAssignments=362744, nogoods=3438
84.62/69.82	    nFilterCalls=812734, avgTableProportion=0.9996975409024449, avgTableSize=3979.7963245046967
84.62/69.82	    
87.52/72.72	    num=86, depth=829..1043, filters=684085, revisions=(671475,useless=150198), ccks=45369323, wck=56.274, mem=1449M825
87.52/72.72	    decisions=885417, wrong=399032, backtracks=5360, failedAssignments=399032, nogoods=3524
87.52/72.72	    nFilterCalls=854575, avgTableProportion=0.99970048554701, avgTableSize=4013.699266887049
87.52/72.72	    
90.74/75.92	    num=87, depth=781..1038, filters=728657, revisions=(714522,useless=151919), ccks=45777877, wck=59.475, mem=1449M825
90.74/75.92	    decisions=966255, wrong=438949, backtracks=6019, failedAssignments=438949, nogoods=3537
90.74/75.92	    nFilterCalls=900316, avgTableProportion=0.9996995691857241, avgTableSize=3978.1723683684395
90.74/75.92	    
94.14/79.33	    num=88, depth=801..1039, filters=776291, revisions=(761545,useless=153628), ccks=46187910, wck=62.88, mem=1449M825
94.14/79.33	    decisions=1054874, wrong=482858, backtracks=6418, failedAssignments=482858, nogoods=3573
94.14/79.33	    nFilterCalls=949581, avgTableProportion=0.9997045899572191, avgTableSize=4039.5921685459166
94.14/79.33	    
97.85/83.08	    num=89, depth=711..1042, filters=828982, revisions=(812968,useless=155346), ccks=46586634, wck=66.638, mem=1449M825
97.85/83.08	    decisions=1152500, wrong=531158, backtracks=6911, failedAssignments=531158, nogoods=3628
97.85/83.08	    nFilterCalls=1003557, avgTableProportion=0.9997085437896658, avgTableSize=4076.2009442413337
97.85/83.08	    
102.04/87.22	    num=90, depth=744..1035, filters=886970, revisions=(869240,useless=157077), ccks=47006521, wck=70.774, mem=1449M825
102.04/87.22	    decisions=1259736, wrong=584288, backtracks=7680, failedAssignments=584288, nogoods=3639
102.04/87.22	    nFilterCalls=1062595, avgTableProportion=0.9997033850464442, avgTableSize=4002.491249253008
102.04/87.22	    
106.54/91.77	    num=91, depth=702..1033, filters=950223, revisions=(930820,useless=158801), ccks=47432527, wck=75.322, mem=1449M825
106.54/91.77	    decisions=1377651, wrong=642731, backtracks=8505, failedAssignments=642731, nogoods=3649
106.54/91.77	    nFilterCalls=1127057, avgTableProportion=0.9997048470145219, avgTableSize=4025.9504026859336
106.54/91.77	    
111.54/96.73	    num=92, depth=704..1031, filters=1019773, revisions=(998242,useless=160522), ccks=47855569, wck=80.282, mem=1478M80
111.54/96.73	    decisions=1507251, wrong=707018, backtracks=9473, failedAssignments=707018, nogoods=3683
111.54/96.73	    nFilterCalls=1197505, avgTableProportion=0.9997055034968017, avgTableSize=4029.447478716164
111.54/96.73	    
116.95/102.16	    num=93, depth=823..1033, filters=1095602, revisions=(1072093,useless=162245), ccks=48293372, wck=85.716, mem=1478M80
116.95/102.16	    decisions=1649712, wrong=777734, backtracks=10364, failedAssignments=777734, nogoods=3721
116.95/102.16	    nFilterCalls=1274307, avgTableProportion=0.999708448741357, avgTableSize=4074.7239252393656
116.95/102.16	    
122.85/108.10	    num=94, depth=759..1034, filters=1179162, revisions=(1153024,useless=163976), ccks=48737203, wck=91.651, mem=1478M80
122.85/108.10	    decisions=1806204, wrong=855521, backtracks=11624, failedAssignments=855521, nogoods=3734
122.85/108.10	    nFilterCalls=1358438, avgTableProportion=0.9997073269814418, avgTableSize=4038.436754566642
122.85/108.10	    
129.35/114.52	    num=95, depth=759..1038, filters=1269549, revisions=(1241718,useless=165694), ccks=49174662, wck=98.071, mem=1478M80
129.35/114.52	    decisions=1978322, wrong=941087, backtracks=12476, failedAssignments=941087, nogoods=3770
129.35/114.52	    nFilterCalls=1450004, avgTableProportion=0.9997123998705719, avgTableSize=4091.217203538749
129.35/114.52	    
136.45/121.62	    num=96, depth=703..1033, filters=1369694, revisions=(1338972,useless=167413), ccks=49612679, wck=105.179, mem=1478M80
136.45/121.62	    decisions=2167542, wrong=1035210, backtracks=13938, failedAssignments=1035210, nogoods=3850
136.45/121.62	    nFilterCalls=1550728, avgTableProportion=0.9997119615209469, avgTableSize=4079.5968461264647
136.45/121.62	    
144.26/129.43	    num=97, depth=711..1042, filters=1479763, revisions=(1445635,useless=169133), ccks=50082541, wck=112.988, mem=1506M335
144.26/129.43	    decisions=2375625, wrong=1138745, backtracks=15432, failedAssignments=1138745, nogoods=3854
144.26/129.43	    nFilterCalls=1660932, avgTableProportion=0.9997127548935435, avgTableSize=4077.980152107371
144.26/129.43	    
152.66/137.88	    num=98, depth=755..1043, filters=1599151, revisions=(1562638,useless=170846), ccks=50607888, wck=121.439, mem=1506M335
152.66/137.88	    decisions=2604443, wrong=1252634, backtracks=16551, failedAssignments=1252634, nogoods=3905
152.66/137.88	    nFilterCalls=1781135, avgTableProportion=0.9997148288771056, avgTableSize=4089.797118691172
152.66/137.88	    
162.06/147.21	    num=99, depth=821..1033, filters=1731235, revisions=(1691054,useless=172575), ccks=51143345, wck=130.766, mem=1506M335
162.06/147.21	    decisions=2855924, wrong=1377912, backtracks=18069, failedAssignments=1377912, nogoods=3983
162.06/147.21	    nFilterCalls=1913020, avgTableProportion=0.9997176021742336, avgTableSize=4108.105629841821
162.06/147.21	    
172.27/157.42	    num=100, depth=709..1033, filters=1875773, revisions=(1831998,useless=174302), ccks=51729012, wck=140.974, mem=1534M594
172.27/157.42	    decisions=3132454, wrong=1515718, backtracks=19790, failedAssignments=1515718, nogoods=4045
172.27/157.42	    nFilterCalls=2057631, avgTableProportion=0.9997198215175126, avgTableSize=4118.6377416553305
172.27/157.42	    
183.47/168.63	    num=101, depth=705..1034, filters=2033737, revisions=(1986730,useless=176037), ccks=52278774, wck=152.186, mem=1534M594
183.47/168.63	    decisions=3436620, wrong=1667304, backtracks=21426, failedAssignments=1667304, nogoods=4106
183.47/168.63	    nFilterCalls=2216013, avgTableProportion=0.999724453612316, avgTableSize=4191.517045703252
183.47/168.63	    
195.98/181.12	    num=102, depth=779..1042, filters=2209840, revisions=(2156624,useless=177779), ccks=52854204, wck=164.678, mem=1534M594
195.98/181.12	    decisions=3770946, wrong=1834049, backtracks=24548, failedAssignments=1834049, nogoods=4122
195.98/181.12	    nFilterCalls=2390876, avgTableProportion=0.9997209755194346, avgTableSize=4148.3845276793945
195.98/181.12	    
209.48/194.68	    num=103, depth=744..1037, filters=2401950, revisions=(2343196,useless=179522), ccks=53460011, wck=178.233, mem=1534M594
209.48/194.68	    decisions=4138789, wrong=2017468, backtracks=27136, failedAssignments=2017468, nogoods=4127
209.48/194.68	    nFilterCalls=2582051, avgTableProportion=0.9997189455466301, avgTableSize=4109.548876842479
209.48/194.68	    
224.38/209.50	    num=104, depth=705..1040, filters=2611187, revisions=(2548092,useless=181250), ccks=54059542, wck=193.058, mem=1562M849
224.38/209.50	    decisions=4543304, wrong=2219229, backtracks=29328, failedAssignments=2219229, nogoods=4214
224.38/209.50	    nFilterCalls=2791157, avgTableProportion=0.9997215561046796, avgTableSize=4152.503178789298
224.38/209.50	    
240.69/225.84	    num=105, depth=712..1046, filters=2842319, revisions=(2773165,useless=182983), ccks=54639412, wck=209.394, mem=1562M849
240.69/225.84	    decisions=4988195, wrong=2441167, backtracks=32250, failedAssignments=2441167, nogoods=4232
240.69/225.84	    nFilterCalls=3021190, avgTableProportion=0.9997236436894084, avgTableSize=4165.215237042357
240.69/225.84	    
258.49/243.69	    num=106, depth=702..1034, filters=3095354, revisions=(3020447,useless=184722), ccks=55251991, wck=227.241, mem=1591M104
258.49/243.69	    decisions=5477406, wrong=2685298, backtracks=35172, failedAssignments=2685298, nogoods=4273
258.49/243.69	    nFilterCalls=3273358, avgTableProportion=0.9997265714321938, avgTableSize=4196.693738356757
258.49/243.69	    
278.30/263.42	    num=107, depth=702..1037, filters=3374993, revisions=(3292163,useless=186481), ccks=55887994, wck=246.976, mem=1591M104
278.30/263.42	    decisions=6015503, wrong=2953843, backtracks=39053, failedAssignments=2953843, nogoods=4366
278.30/263.42	    nFilterCalls=3550961, avgTableProportion=0.9997260240468981, avgTableSize=4168.452385424678
278.30/263.42	    
299.80/284.90	    num=108, depth=706..1034, filters=3680454, revisions=(3590736,useless=188237), ccks=56743857, wck=268.458, mem=1619M359
299.80/284.90	    decisions=6607295, wrong=3249242, backtracks=42249, failedAssignments=3249242, nogoods=4394
299.80/284.90	    nFilterCalls=3854721, avgTableProportion=0.9997302215742152, avgTableSize=4214.16185321843
299.80/284.90	    
323.61/308.74	    num=109, depth=699..1030, filters=4019401, revisions=(3918850,useless=190000), ccks=57509739, wck=292.295, mem=1619M359
323.61/308.74	    decisions=7258152, wrong=3574181, backtracks=47546, failedAssignments=3574181, nogoods=4448
323.61/308.74	    nFilterCalls=4190106, avgTableProportion=0.9997218892742876, avgTableSize=4118.863081268111
323.61/308.74	    
349.62/334.71	    num=110, depth=750..1033, filters=4387913, revisions=(4279429,useless=191742), ccks=58334340, wck=318.265, mem=1647M614
349.62/334.71	    decisions=7973931, wrong=3931614, backtracks=51521, failedAssignments=3931614, nogoods=4562
349.62/334.71	    nFilterCalls=4556590, avgTableProportion=0.9997243305820316, avgTableSize=4161.118991614343
349.62/334.71	    
378.12/363.26	    num=111, depth=703..1038, filters=4793985, revisions=(4675762,useless=193496), ccks=59209566, wck=346.818, mem=1675M869
378.12/363.26	    decisions=8761301, wrong=4324790, backtracks=55770, failedAssignments=4324790, nogoods=4656
378.12/363.26	    nFilterCalls=4959193, avgTableProportion=0.9997288051957949, avgTableSize=4206.1650633480085
378.12/363.26	    
409.64/394.72	    num=112, depth=704..1039, filters=5242043, revisions=(5111407,useless=195242), ccks=60017439, wck=378.278, mem=1675M869
409.64/394.72	    decisions=9627106, wrong=4757284, backtracks=61579, failedAssignments=4757284, nogoods=4714
409.64/394.72	    nFilterCalls=5402475, avgTableProportion=0.9997302190044021, avgTableSize=4228.452337308363
409.64/394.72	    
444.25/429.36	    num=113, depth=778..1041, filters=5731792, revisions=(5590327,useless=197007), ccks=60871843, wck=412.919, mem=1704M124
444.25/429.36	    decisions=10579520, wrong=5233028, backtracks=67004, failedAssignments=5233028, nogoods=4776
444.25/429.36	    nFilterCalls=5888736, avgTableProportion=0.9997335467207299, avgTableSize=4263.915897741043
444.25/429.36	    
482.25/467.31	    num=114, depth=708..1056, filters=6270001, revisions=(6116781,useless=198747), ccks=61768916, wck=450.867, mem=1732M379
482.25/467.31	    decisions=11627094, wrong=5756346, backtracks=72727, failedAssignments=5756346, nogoods=4823
482.25/467.31	    nFilterCalls=6422865, avgTableProportion=0.9997375081577505, avgTableSize=4309.3000340190865
482.25/467.31	    
524.46/509.53	    num=115, depth=745..1056, filters=6866521, revisions=(6695592,useless=200511), ccks=62716711, wck=493.086, mem=1760M634
524.46/509.53	    decisions=12779431, wrong=6331996, backtracks=81561, failedAssignments=6331996, nogoods=4886
524.46/509.53	    nFilterCalls=7012537, avgTableProportion=0.9997358577220473, avgTableSize=4306.240586680684
524.46/509.53	    
568.57/553.63	    num=116, depth=703..1045, filters=7517437, revisions=(7331978,useless=202273), ccks=63711064, wck=537.182, mem=1788M889
568.57/553.63	    decisions=14046774, wrong=6965211, backtracks=88708, failedAssignments=6965211, nogoods=4949
568.57/553.63	    nFilterCalls=7657977, avgTableProportion=0.999736675837837, avgTableSize=4310.928096153853
568.57/553.63	    
608.35/593.48	    num=117, depth=720..1036, filters=8242109, revisions=(8031754,useless=204098), ccks=64919931, wck=577.039, mem=1817M144
608.35/593.48	    decisions=15440869, wrong=7661747, backtracks=99501, failedAssignments=7661747, nogoods=5073
608.35/593.48	    nFilterCalls=8370503, avgTableProportion=0.9997336343973637, avgTableSize=4279.334216474207
608.35/593.48	    
647.16/632.29	    num=118, depth=703..1033, filters=9040392, revisions=(8801208,useless=205947), ccks=66097478, wck=615.846, mem=1845M399
647.16/632.29	    decisions=16974235, wrong=8427937, backtracks=112350, failedAssignments=8427937, nogoods=5106
647.16/632.29	    nFilterCalls=9154701, avgTableProportion=0.9997286532539349, avgTableSize=4206.5674925920575
647.16/632.29	    
688.98/674.10	    num=119, depth=704..1048, filters=9908929, revisions=(9647252,useless=207774), ccks=67444545, wck=657.655, mem=1873M654
688.98/674.10	    decisions=18660729, wrong=9270746, backtracks=122294, failedAssignments=9270746, nogoods=5177
688.98/674.10	    nFilterCalls=10012497, avgTableProportion=0.9997257159761592, avgTableSize=4154.729125911349
688.98/674.10	    
735.40/720.42	    num=120, depth=700..1038, filters=10866767, revisions=(10577590,useless=209614), ccks=68845350, wck=703.97, mem=1930M165
735.40/720.42	    decisions=20515722, wrong=10197836, backtracks=135149, failedAssignments=10197836, nogoods=5263
735.40/720.42	    nFilterCalls=10957419, avgTableProportion=0.9997248126775095, avgTableSize=4156.742854225069
735.40/720.42	    
786.03/771.04	    num=121, depth=735..1047, filters=11915072, revisions=(11600654,useless=211479), ccks=70396860, wck=754.597, mem=1958M420
786.03/771.04	    decisions=22556253, wrong=11217635, backtracks=147070, failedAssignments=11217635, nogoods=5311
786.03/771.04	    nFilterCalls=11994229, avgTableProportion=0.9997284969649511, avgTableSize=4203.739622029894
786.03/771.04	    
841.64/826.69	    num=122, depth=700..1051, filters=13069342, revisions=(12725699,useless=213342), ccks=72002161, wck=810.244, mem=2014M930
841.64/826.69	    decisions=24800836, wrong=12339414, backtracks=160549, failedAssignments=12339414, nogoods=5351
841.64/826.69	    nFilterCalls=13134676, avgTableProportion=0.9997312921202204, avgTableSize=4222.510337217302
841.64/826.69	    
904.16/889.17	    num=123, depth=740..1052, filters=14350571, revisions=(13963016,useless=215299), ccks=73636724, wck=872.722, mem=2071M440
904.16/889.17	    decisions=27269789, wrong=13573371, backtracks=181491, failedAssignments=13573371, nogoods=5392
904.16/889.17	    nFilterCalls=14394779, avgTableProportion=0.9997288400499887, avgTableSize=4214.478307100095
904.16/889.17	    
972.08/957.07	    num=124, depth=734..1057, filters=15756483, revisions=(15323717,useless=217247), ccks=75460536, wck=940.622, mem=2127M950
972.08/957.07	    decisions=29985353, wrong=14930724, backtracks=201986, failedAssignments=14930724, nogoods=5484
972.08/957.07	    nFilterCalls=15777645, avgTableProportion=0.9997267852833953, avgTableSize=4164.647244439839
972.08/957.07	    
1047.09/1032.06	    num=125, depth=705..1052, filters=17302131, revisions=(16820183,useless=219230), ccks=77350457, wck=1015.618, mem=2184M460
1047.09/1032.06	    decisions=32972457, wrong=16423812, backtracks=226015, failedAssignments=16423812, nogoods=5539
1047.09/1032.06	    nFilterCalls=17299849, avgTableProportion=0.9997241831692251, avgTableSize=4145.580814086875
1047.09/1032.06	    
1128.12/1113.03	    num=126, depth=702..1044, filters=18989336, revisions=(18465944,useless=221193), ccks=79616713, wck=1096.588, mem=2269M225
1128.12/1113.03	    decisions=36258145, wrong=18066209, backtracks=245767, failedAssignments=18066209, nogoods=5582
1128.12/1113.03	    nFilterCalls=18967052, avgTableProportion=0.9997109701002119, avgTableSize=4012.818174379445
1128.12/1113.03	    
1219.02/1203.96	    num=127, depth=702..1042, filters=20867310, revisions=(20276065,useless=223270), ccks=81855437, wck=1187.515, mem=2325M735
1219.02/1203.96	    decisions=39872349, wrong=19872846, backtracks=276470, failedAssignments=19872846, nogoods=5644
1219.02/1203.96	    nFilterCalls=20809490, avgTableProportion=0.9997077207122422, avgTableSize=3960.2253717895055
1219.02/1203.96	    
1318.75/1303.61	    num=128, depth=703..1045, filters=22924986, revisions=(22266756,useless=225254), ccks=84381574, wck=1287.168, mem=2410M500
1318.75/1303.61	    decisions=43847920, wrong=21860147, backtracks=304873, failedAssignments=21860147, nogoods=5752
1318.75/1303.61	    nFilterCalls=22830330, avgTableProportion=0.999709810115698, avgTableSize=3997.7864870985222
1318.75/1303.61	    
1427.89/1412.57	    num=129, depth=704..1045, filters=25176821, revisions=(24456268,useless=227334), ccks=87045446, wck=1396.121, mem=1221M438
1427.89/1412.57	    decisions=48220803, wrong=24046178, backtracks=332229, failedAssignments=24046178, nogoods=5796
1427.89/1412.57	    nFilterCalls=25048699, avgTableProportion=0.999713276287178, avgTableSize=4050.389176260212
1427.89/1412.57	    
1547.53/1532.13	    num=130, depth=731..1039, filters=27641186, revisions=(26864370,useless=229396), ccks=89956196, wck=1515.684, mem=1318M840
1547.53/1532.13	    decisions=53031078, wrong=26450812, backtracks=359236, failedAssignments=26450812, nogoods=5803
1547.53/1532.13	    nFilterCalls=27485511, avgTableProportion=0.9997180618578854, avgTableSize=4108.346118396707
1547.53/1532.13	    
1679.95/1664.58	    num=131, depth=707..1052, filters=30367823, revisions=(29513131,useless=231667), ccks=93067172, wck=1648.132, mem=1416M242
1679.95/1664.58	    decisions=58322163, wrong=29095909, backtracks=396705, failedAssignments=29095909, nogoods=5816
1679.95/1664.58	    nFilterCalls=30173122, avgTableProportion=0.9997186801707032, avgTableSize=4101.715814293264
1679.95/1664.58	    
1825.18/1809.71	    num=132, depth=701..1046, filters=33359749, revisions=(32426292,useless=233824), ccks=96412392, wck=1793.268, mem=1546M112
1825.18/1809.71	    decisions=64142161, wrong=32005516, backtracks=435358, failedAssignments=32005516, nogoods=5874
1825.18/1809.71	    nFilterCalls=33126321, avgTableProportion=0.9997201810228302, avgTableSize=4104.053468509225
1825.18/1809.71	    
1983.22/1967.72	    num=133, depth=702..1038, filters=36633272, revisions=(35630502,useless=236064), ccks=100076959, wck=1951.271, mem=1675M981
1983.22/1967.72	    decisions=70544208, wrong=35206084, backtracks=468249, failedAssignments=35206084, nogoods=5933
1983.22/1967.72	    nFilterCalls=36364852, avgTableProportion=0.9997264811313262, avgTableSize=4180.6042601245845
1983.22/1967.72	    
2159.87/2144.33	    num=134, depth=701..1037, filters=40253691, revisions=(39154796,useless=238329), ccks=104066192, wck=2127.888, mem=1838M318
2159.87/2144.33	    decisions=77586474, wrong=38726709, backtracks=514216, failedAssignments=38726709, nogoods=5992
2159.87/2144.33	    nFilterCalls=39936631, avgTableProportion=0.9997284012599189, avgTableSize=4208.727640371067
2159.87/2144.33	    
2351.91/2336.31	    num=135, depth=701..1055, filters=44213758, revisions=(43031037,useless=240489), ccks=108366329, wck=2319.868, mem=2000M655
2351.91/2336.31	    decisions=85332842, wrong=42599396, backtracks=554733, failedAssignments=42599396, nogoods=6124
2351.91/2336.31	    nFilterCalls=43854990, avgTableProportion=0.9997326020329901, avgTableSize=4264.32744925948
2351.91/2336.31	    
2520.05/2504.40	
2520.05/2504.40	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 (14946 MiB free)
  memory of node 1: 16384 MiB (15185 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390793-1568386876/watcher-4390793-1568386876 -o /tmp/evaluation-result-4390793-1568386876/solver-4390793-1568386876 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390793-1568386876.xml -cm 

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

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


[startup+0.103975 s]*
/proc/loadavg: 1.76 1.73 1.71 4/229 31570
/proc/meminfo: memFree=30838596/32770624 swapFree=66940848/67108860
[pid=31555] ppid=31552 vsize=10659884 memory=28572 CPUtime=0.14 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 5562 0 0 0 13 1 0 0 20 0 15 0 414926348 10915721216 7077 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2664971 7143 2912 1 0 2627468 0
[pid=31555/tid=31557] ppid=31552 vsize=10659884 memory=-8197568871503531646 CPUtime=0.1 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) R 31552 31555 29917 0 -1 4202560 3236 0 0 0 9 1 0 0 20 0 15 0 414926348 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548553469472 140548186756356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548040024992 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548038972400 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) R 31552 31555 29917 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548035797048 140548541536093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0.02 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) R 31552 31555 29917 0 -1 4202560 425 0 0 0 2 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548034760200 140548541483838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 7143 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28572 KiB

[startup+0.212761 s]*
/proc/loadavg: 1.76 1.73 1.71 5/229 31570
/proc/meminfo: memFree=30827088/32770624 swapFree=66940848/67108860
[pid=31555] ppid=31552 vsize=10659884 memory=37608 CPUtime=0.33 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 9178 0 0 0 30 3 0 0 20 0 15 0 414926348 10915721216 9402 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2664971 9402 2989 1 0 2627468 0
[pid=31555/tid=31557] ppid=31552 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) R 31552 31555 29917 0 -1 4202560 6116 0 0 0 18 2 0 0 20 0 15 0 414926348 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548553478672 140548549268637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10659884 memory=3472478107094062752 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548040024992 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548038972400 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0.05 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 718 0 0 0 5 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 9402 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37608 KiB

[startup+0.310125 s]*
/proc/loadavg: 1.76 1.73 1.71 5/229 31570
/proc/meminfo: memFree=30824824/32770624 swapFree=66940848/67108860
[pid=31555] ppid=31552 vsize=10659884 memory=40660 CPUtime=0.46 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 9376 0 0 0 43 3 0 0 20 0 15 0 414926348 10915721216 10165 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2664971 10165 3020 1 0 2627468 0
[pid=31555/tid=31557] ppid=31552 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) R 31552 31555 29917 0 -1 4202560 6240 0 0 0 27 2 0 0 20 0 15 0 414926348 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548553479504 140548549268637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10659884 memory=4296910614 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10659884 memory=3833887579144033952 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548040024992 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414926351 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548038972400 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 607 0 0 0 4 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0.07 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) R 31552 31555 29917 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548034763504 140548549268058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10659884 memory=139885166302848 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926354 10915721216 10165 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40660 KiB

[startup+0.700707 s]
/proc/loadavg: 1.76 1.73 1.71 3/229 31570
/proc/meminfo: memFree=30814904/32770624 swapFree=66940848/67108860
[pid=31555] ppid=31552 vsize=10661932 memory=63728 CPUtime=1.1 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 12943 0 0 0 105 5 0 0 20 0 15 0 414926348 10917818368 15932 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2665483 15932 3074 1 0 2627980 0
[pid=31555/tid=31557] ppid=31552 vsize=10661932 memory=2112 CPUtime=0.68 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) R 31552 31555 29917 0 -1 4202560 8789 0 0 0 64 4 0 0 20 0 15 0 414926348 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548553478736 140548549268637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10661932 memory=23420 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926351 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10661932 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414926351 10917818368 15932 33554432000 4194304 4196468 140722732105792 140548040024992 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10661932 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414926351 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548038972400 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10661932 memory=7086240636162691427 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10661932 memory=7740110344165609817 CPUtime=0.1 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) R 31552 31555 29917 0 -1 4202560 763 0 0 0 10 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548036868592 140548533494140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10661932 memory=5787221536915148880 CPUtime=0.11 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 849 0 0 0 11 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 1183 0 0 0 18 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10661932 memory=3996 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926354 10917818368 15935 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63728 KiB

[startup+1.50075 s]
/proc/loadavg: 1.76 1.73 1.71 3/229 31570
/proc/meminfo: memFree=30799704/32770624 swapFree=66940848/67108860
[pid=31555] ppid=31552 vsize=10663980 memory=75800 CPUtime=2 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 18500 0 0 0 194 6 0 0 20 0 15 0 414926348 10919915520 18950 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2665995 18950 3098 1 0 2628492 0
[pid=31555/tid=31557] ppid=31552 vsize=10663980 memory=71708 CPUtime=1.48 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) R 31552 31555 29917 0 -1 4202560 13060 0 0 0 143 5 0 0 20 0 15 0 414926348 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548553463648 140548533327198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414926349 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414926349 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414926351 10919915520 18950 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0

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

/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 9931 0 0 0 230 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10748324 memory=281 CPUtime=0.18 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 7165 0 0 0 16 2 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 108 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548040025056 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548038972416 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.2 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 11587 0 0 0 318 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.27 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 11882 0 0 0 325 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10748324 memory=11340 CPUtime=1.28 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 18300 0 0 0 125 3 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 115 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10748324 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10748324 memory=3620 CPUtime=0.56 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 2372 0 0 0 25 31 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 116 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31571] ppid=31552 vsize=10748324 memory=39316 CPUtime=2376.16 cores=0,2,4,6
/proc/31555/task/31571/stat : 31571 (java) R 31552 31555 29917 0 -1 4202560 209278 0 0 0 237590 26 0 0 20 0 16 0 414926537 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548015762640 140548198195644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 2397.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3037152 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/207 31867
/proc/meminfo: memFree=27998664/32770624 swapFree=66940852/67108860
[pid=31555] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2457.93 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 321800 0 0 0 245519 274 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2687081 759288 3396 1 0 2647217 0
[pid=31555/tid=31557] ppid=31552 vsize=10748324 memory=3037152 CPUtime=1.86 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) S 31552 31555 29917 0 -1 1077944384 15315 0 0 0 180 6 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548553489584 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.85 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 12366 0 0 0 234 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 11349 0 0 0 229 54 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 9908 0 0 0 233 50 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10748324 memory=0 CPUtime=2.81 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 9931 0 0 0 230 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0.18 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 7175 0 0 0 16 2 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 108 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548040025056 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548038972416 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.2 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 11600 0 0 0 318 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.27 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 11884 0 0 0 325 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10748324 memory=3037152 CPUtime=1.28 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 18305 0 0 0 125 3 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 115 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10748324 memory=1988 CPUtime=0.58 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 2410 0 0 0 26 32 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 116 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31571] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2436.16 cores=0,2,4,6
/proc/31555/task/31571/stat : 31571 (java) R 31552 31555 29917 0 -1 4202560 210087 0 0 0 243590 26 0 0 20 0 16 0 414926537 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548015762640 140548198195717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 2457.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3037152 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/207 31871
/proc/meminfo: memFree=27998764/32770624 swapFree=66940852/67108860
[pid=31555] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2517.95 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 322605 0 0 0 251520 275 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2687081 759288 3396 1 0 2647217 0
[pid=31555/tid=31557] ppid=31552 vsize=10748324 memory=3037152 CPUtime=1.86 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) S 31552 31555 29917 0 -1 1077944384 15315 0 0 0 180 6 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548553489584 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10748324 memory=1556 CPUtime=2.85 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 12366 0 0 0 234 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 11349 0 0 0 229 54 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 9908 0 0 0 233 50 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2.81 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 9931 0 0 0 230 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0.18 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 7196 0 0 0 16 2 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 108 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548040025056 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548038972416 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.2 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 11613 0 0 0 318 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10748324 memory=3037152 CPUtime=3.27 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 11886 0 0 0 325 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10748324 memory=3037152 CPUtime=1.28 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 18310 0 0 0 125 3 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 115 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10748324 memory=3037152 CPUtime=0.6 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 2437 0 0 0 27 33 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 116 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31571] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2496.15 cores=0,2,4,6
/proc/31555/task/31571/stat : 31571 (java) R 31552 31555 29917 0 -1 4202560 210824 0 0 0 249589 26 0 0 20 0 16 0 414926537 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548015762640 140548198270069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 2517.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3037152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.4 s]
/proc/loadavg: 1.00 1.01 1.24 2/207 31872
/proc/meminfo: memFree=27998300/32770624 swapFree=66940852/67108860
[pid=31555] ppid=31552 vsize=10748324 memory=3037152 CPUtime=2520.05 cores=0,2,4,6
/proc/31555/stat : 31555 (java) S 31552 31555 29917 0 -1 1077944320 322609 0 0 0 251730 275 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140722732088336 140548549246711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
/proc/31555/statm: 2687081 759288 3396 1 0 2647217 0
[pid=31555/tid=31557] ppid=31552 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/31555/task/31557/stat : 31557 (java) S 31552 31555 29917 0 -1 1077944384 15315 0 0 0 180 6 0 0 20 0 16 0 414926348 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548553489584 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31558] ppid=31552 vsize=10748324 memory=1764 CPUtime=2.85 cores=0,2,4,6
/proc/31555/task/31558/stat : 31558 (java) S 31552 31555 29917 0 -1 1077944384 12366 0 0 0 234 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548156136208 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31559] ppid=31552 vsize=10748324 memory=111628 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31559/stat : 31559 (java) S 31552 31555 29917 0 -1 1077944384 11349 0 0 0 229 54 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548155083664 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31560] ppid=31552 vsize=10748324 memory=800 CPUtime=2.83 cores=0,2,4,6
/proc/31555/task/31560/stat : 31560 (java) S 31552 31555 29917 0 -1 1077944384 9908 0 0 0 233 50 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548154031120 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31561] ppid=31552 vsize=10748324 memory=1804 CPUtime=2.81 cores=0,2,4,6
/proc/31555/task/31561/stat : 31561 (java) S 31552 31555 29917 0 -1 1077944384 9931 0 0 0 230 51 0 0 20 0 16 0 414926349 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548152978576 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31562] ppid=31552 vsize=10748324 memory=800 CPUtime=0.18 cores=0,2,4,6
/proc/31555/task/31562/stat : 31562 (java) S 31552 31555 29917 0 -1 1077944384 7196 0 0 0 16 2 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548108400624 140548549257858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 108 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31563] ppid=31552 vsize=10748324 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31563/stat : 31563 (java) S 31552 31555 29917 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548040025056 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31564] ppid=31552 vsize=10748324 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31564/stat : 31564 (java) S 31552 31555 29917 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 414926351 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548038972416 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31565] ppid=31552 vsize=10748324 memory=800 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31565/stat : 31565 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548037920976 140548549265307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31566] ppid=31552 vsize=10748324 memory=1804 CPUtime=3.2 cores=0,2,4,6
/proc/31555/task/31566/stat : 31566 (java) S 31552 31555 29917 0 -1 1077944384 11613 0 0 0 318 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548036868592 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31567] ppid=31552 vsize=10748324 memory=920 CPUtime=3.27 cores=0,2,4,6
/proc/31555/task/31567/stat : 31567 (java) S 31552 31555 29917 0 -1 1077944384 11886 0 0 0 325 2 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548035816048 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31568] ppid=31552 vsize=10748324 memory=6791534058613427641 CPUtime=1.28 cores=0,2,4,6
/proc/31555/task/31568/stat : 31568 (java) S 31552 31555 29917 0 -1 1077944384 18310 0 0 0 125 3 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548034763504 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 115 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31569] ppid=31552 vsize=10748324 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/31555/task/31569/stat : 31569 (java) S 31552 31555 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548033711200 140548549256917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31570] ppid=31552 vsize=10748324 memory=988 CPUtime=0.6 cores=0,2,4,6
/proc/31555/task/31570/stat : 31570 (java) S 31552 31555 29917 0 -1 1077944384 2437 0 0 0 27 33 0 0 20 0 16 0 414926354 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548032657712 140548549257858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 116 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
[pid=31555/tid=31571] ppid=31552 vsize=10748324 memory=780 CPUtime=2498.25 cores=0,2,4,6
/proc/31555/task/31571/stat : 31571 (java) R 31552 31555 29917 0 -1 4202560 210828 0 0 0 249799 26 0 0 20 0 16 0 414926537 11006283776 759288 33554432000 4194304 4196468 140722732105792 140548015762640 140548198195626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17637376 140722732110859 140722732110962 140722732110962 140722732113871 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3037152 KiB

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

[startup+2504.43 s]
# the end of solver process 31555 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.31 s, system=2.77027 s

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

Child status: 143
Real time (s): 2504.43
CPU time (s): 2520.08
CPU user time (s): 2517.31
CPU system time (s): 2.77027
CPU usage (%): 100.625
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 3037152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.31
system time used= 2.77027
maximum resident set size= 3037500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59719
involuntary context switches= 1138


# summary of solver processes directly reported to runsolver:
#   pid: 31555
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.31
#   total CPU system time (s): 2.77027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.712 second user time and 22.6513 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 17:00:39
IDJOB=4390793
IDBENCH=141276
IDSOLVER=2832
FILE ID=node149/4390793-1568386876
RUNJOBID= node149-1568380477-29948
PBS_JOBID= 21701822
Free space on /tmp= 56992 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-4390793-1568386876/watcher-4390793-1568386876 -o /tmp/evaluation-result-4390793-1568386876/solver-4390793-1568386876 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390793-1568386876.xml -cm

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=374922191

node149.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.81
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.81
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.81
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.81
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:        30854888 kB
MemAvailable:   31693064 kB
Buffers:          150928 kB
Cached:           984048 kB
SwapCached:        61304 kB
Active:           674184 kB
Inactive:         685736 kB
Active(anon):     192916 kB
Inactive(anon):    72352 kB
Active(file):     481268 kB
Inactive(file):   613384 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940848 kB
Dirty:             79772 kB
Writeback:             0 kB
AnonPages:        289552 kB
Mapped:            56360 kB
Shmem:             31284 kB
Slab:             147280 kB
SReclaimable:     118716 kB
SUnreclaim:        28564 kB
KernelStack:        4000 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61344 MiB
End job on node149 at 2019-09-13 17:42:23