Trace number 4390822

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.09 2502.93

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark67.4966
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.37/1.89	
2.37/1.89	AbsCon 2 
2.62/1.90	
15.39/10.42	  Instance
15.39/10.42	    name=instance-4390822-1568386869, framework=COP, bounds=-infty..+infty
15.39/10.42	
15.39/10.42	  Loading variables...
16.04/10.65	  Loading constraints...
28.60/15.99	
28.60/15.99	  Domains
28.60/15.99	    nTypes=49, nValues=229866, sizes=[1#4,2#1771,11#1425,12#1...142#28,143#195,150#69,151#720]
28.60/15.99	  Variables
28.60/15.99	    count=4976, degrees=[2#4277,3#4,4#14,5#20...15#55,16#21,17#4,1426#1]
28.60/15.99	  Objectives
28.60/15.99	    way=min, type=SumWeightedLE
28.60/15.99	  Constraints
28.60/15.99	    count=3813, nSpecific=1866, arities=[2#962,3#1425,6#1425,2851#1]
28.60/15.99	    distribution=[CtrExtensionCT-Table#1425,CtrIntension#1947,EQ#265,NE#175,SumWeightedLE#1]
28.60/15.99	    tables=[140#1,184#1,208#1,212#1...7156#3,7160#2,7168#2,7204#4], nTotalTuples=5534826
28.60/15.99	    nExtStructures=(1425,shared:0), nIntStructures=(391,shared:1556)
28.60/15.99	    wck=14.134, cpu=13.386, mem=1413M652
29.67/16.60	  Solver SolverBacktrack being built...
29.67/16.60	
29.67/16.66	
29.67/16.66	  Solver
29.67/16.66	    guaranteedGAC=false
29.67/16.66	    wck=14.808, cpu=14.059, mem=1963M772
35.33/21.45	
35.33/21.45	  Preprocessing
35.33/21.45	    filters=1744, revisions=(3288,useless=3287), ccks=51955046, nACremovedValues=12413, nTotalRemovedValues=12413, inconcistency=false
35.33/21.45	    wck=4.788, cpu=18.849, mem=1963M772
35.33/21.45	
36.60/22.33	    num=0, depth=415..415, filters=6192, revisions=(8687,useless=6206), ccks=58708521, wck=5.66, mem=1963M772
36.60/22.33	    decisions=435, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
36.60/22.33	    nFilterCalls=6250, avgTableProportion=0.9995454384084642, avgTableSize=3816.87296
36.60/22.33	    
37.22/22.72	    num=1, depth=417..417, filters=10636, revisions=(14082,useless=9127), ccks=60754324, wck=6.05, mem=1995M658
37.22/22.72	    decisions=874, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
37.22/22.72	    nFilterCalls=10389, avgTableProportion=0.9995443674348449, avgTableSize=3803.725575127539
37.22/22.72	    
37.56/23.07	    num=2, depth=412..412, filters=15087, revisions=(19489,useless=12051), ccks=62825011, wck=6.409, mem=1995M658
37.56/23.07	    decisions=1310, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
37.56/23.07	    nFilterCalls=14532, avgTableProportion=0.9995439873697625, avgTableSize=3798.7744288466833
37.56/23.07	    
37.97/23.42	    num=3, depth=418..418, filters=19525, revisions=(24866,useless=14959), ccks=64837167, wck=6.759, mem=1995M658
37.97/23.42	    decisions=1754, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
37.97/23.42	    nFilterCalls=18669, avgTableProportion=0.9995436212598036, avgTableSize=3793.7644758690876
37.97/23.42	    
38.28/23.78	    num=4, depth=420..420, filters=23972, revisions=(30254,useless=17870), ccks=66959528, wck=7.119, mem=1995M658
38.28/23.78	    decisions=2202, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
38.28/23.78	    nFilterCalls=22816, avgTableProportion=0.9995435350858518, avgTableSize=3792.1676893408135
38.28/23.78	    
38.70/24.14	    num=5, depth=417..417, filters=28426, revisions=(35644,useless=20776), ccks=68978999, wck=7.471, mem=1995M658
38.70/24.14	    decisions=2651, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
38.70/24.14	    nFilterCalls=26967, avgTableProportion=0.9995434765424239, avgTableSize=3790.3204286720807
38.70/24.14	    
39.00/24.49	    num=6, depth=417..417, filters=32867, revisions=(40998,useless=23657), ccks=71070971, wck=7.828, mem=1995M658
39.00/24.49	    decisions=3102, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
39.00/24.49	    nFilterCalls=31108, avgTableProportion=0.9995434026461126, avgTableSize=3789.7759418799023
39.00/24.49	    
39.42/24.85	    num=7, depth=421..421, filters=37301, revisions=(46350,useless=26545), ccks=73159813, wck=8.186, mem=1995M658
39.42/24.85	    decisions=3561, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
39.42/24.85	    nFilterCalls=35245, avgTableProportion=0.9995432906556782, avgTableSize=3788.5141438501914
39.42/24.85	    
39.83/25.21	    num=8, depth=419..419, filters=41750, revisions=(51740,useless=29458), ccks=75266561, wck=8.547, mem=1995M658
39.83/25.21	    decisions=4022, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
39.83/25.21	    nFilterCalls=39392, avgTableProportion=0.9995432303631373, avgTableSize=3787.19592810723
39.83/25.21	    
40.13/25.56	    num=9, depth=426..426, filters=46202, revisions=(57127,useless=32366), ccks=77280395, wck=8.9, mem=1995M658
40.13/25.56	    decisions=4494, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
40.13/25.56	    nFilterCalls=43548, avgTableProportion=0.999543276165261, avgTableSize=3787.6229907228803
40.13/25.56	    
40.53/25.92	    num=10, depth=432..432, filters=50655, revisions=(62515,useless=35276), ccks=79361033, wck=9.259, mem=1995M658
40.53/25.92	    decisions=4976, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
40.53/25.92	    nFilterCalls=47709, avgTableProportion=0.9995433653641528, avgTableSize=3788.57257540506
40.53/25.92	    
40.83/26.28	    num=11, depth=427..427, filters=55112, revisions=(67914,useless=38191), ccks=81418592, wck=9.618, mem=1995M658
40.83/26.28	    decisions=5459, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
40.83/26.28	    nFilterCalls=51871, avgTableProportion=0.9995434289129609, avgTableSize=3788.848393129109
40.83/26.28	    
41.27/26.64	    num=12, depth=426..426, filters=59578, revisions=(73327,useless=41111), ccks=83437949, wck=9.974, mem=1995M658
41.27/26.64	    decisions=5947, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
41.27/26.64	    nFilterCalls=56040, avgTableProportion=0.9995434873091382, avgTableSize=3788.510670949322
41.27/26.64	    
41.60/26.99	    num=13, depth=427..427, filters=64047, revisions=(78730,useless=44018), ccks=85451784, wck=10.326, mem=2006M55
41.60/26.99	    decisions=6442, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
41.60/26.99	    nFilterCalls=60214, avgTableProportion=0.9995435886377868, avgTableSize=3789.2011824492643
41.60/26.99	    
42.01/27.35	    num=14, depth=433..433, filters=68514, revisions=(84112,useless=46907), ccks=87516243, wck=10.685, mem=2006M55
42.01/27.35	    decisions=6949, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
42.01/27.35	    nFilterCalls=64392, avgTableProportion=0.999543696552749, avgTableSize=3790.270996397068
42.01/27.35	    
42.44/27.70	    num=15, depth=429..429, filters=72991, revisions=(89512,useless=49803), ccks=89530994, wck=11.038, mem=2006M55
42.44/27.70	    decisions=7460, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
42.44/27.70	    nFilterCalls=68577, avgTableProportion=0.9995438039029855, avgTableSize=3790.8041617451913
42.44/27.70	    
42.75/28.05	    num=16, depth=424..424, filters=77479, revisions=(94933,useless=52707), ccks=91530199, wck=11.389, mem=2006M55
42.75/28.05	    decisions=7974, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
42.75/28.05	    nFilterCalls=72769, avgTableProportion=0.999543882932335, avgTableSize=3790.383556184639
42.75/28.05	    
43.14/28.40	    num=17, depth=423..423, filters=81960, revisions=(100323,useless=55586), ccks=93530674, wck=11.74, mem=2006M55
43.14/28.40	    decisions=8497, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
43.14/28.40	    nFilterCalls=76955, avgTableProportion=0.999543979745477, avgTableSize=3791.104606588266
43.14/28.40	    
43.45/28.75	    num=18, depth=425..425, filters=86439, revisions=(105724,useless=58479), ccks=95522938, wck=12.09, mem=2006M55
43.45/28.75	    decisions=9032, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
43.45/28.75	    nFilterCalls=81141, avgTableProportion=0.9995440656437954, avgTableSize=3791.699843482333
43.45/28.75	    
43.76/29.10	    num=19, depth=417..417, filters=90937, revisions=(111147,useless=61373), ccks=97511607, wck=12.439, mem=2006M55
43.76/29.10	    decisions=9571, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
43.76/29.10	    nFilterCalls=85340, avgTableProportion=0.9995441309462603, avgTableSize=3791.1662292008436
43.76/29.10	    
44.15/29.46	    num=20, depth=427..427, filters=95434, revisions=(116571,useless=64272), ccks=99528494, wck=12.794, mem=2006M55
44.15/29.46	    decisions=10132, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
44.15/29.46	    nFilterCalls=89544, avgTableProportion=0.9995442465763066, avgTableSize=3792.104819976771
44.15/29.46	    
44.55/29.82	    num=21, depth=429..429, filters=99938, revisions=(121985,useless=67155), ccks=101575742, wck=13.151, mem=2006M55
44.55/29.82	    decisions=10709, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
44.55/29.82	    nFilterCalls=93757, avgTableProportion=0.9995443887604215, avgTableSize=3793.7106882686094
44.55/29.82	    
44.86/30.17	    num=22, depth=428..428, filters=104457, revisions=(127425,useless=70050), ccks=103582585, wck=13.506, mem=2006M55
44.86/30.17	    decisions=11299, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
44.86/30.17	    nFilterCalls=97982, avgTableProportion=0.9995445283884047, avgTableSize=3794.4904574309567
44.86/30.17	    
45.26/30.53	    num=23, depth=441..441, filters=108971, revisions=(132824,useless=72913), ccks=105651817, wck=13.868, mem=2006M55
45.26/30.53	    decisions=11918, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
45.26/30.53	    nFilterCalls=102212, avgTableProportion=0.9995447141191748, avgTableSize=3796.482037334168
45.26/30.53	    
45.69/30.90	    num=24, depth=435..435, filters=113495, revisions=(138243,useless=75783), ccks=107734347, wck=14.232, mem=2006M55
45.69/30.90	    decisions=12549, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
45.69/30.90	    nFilterCalls=106449, avgTableProportion=0.9995448788274337, avgTableSize=3797.6375635280747
45.69/30.90	    
45.99/31.26	    num=25, depth=434..434, filters=118029, revisions=(143669,useless=78649), ccks=109765308, wck=14.593, mem=2006M55
45.99/31.26	    decisions=13199, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
45.99/31.26	    nFilterCalls=110696, avgTableProportion=0.9995450597146806, avgTableSize=3799.005727397557
45.99/31.26	    
46.39/31.62	    num=26, depth=439..439, filters=122565, revisions=(149085,useless=81505), ccks=111770903, wck=14.951, mem=2006M55
46.39/31.62	    decisions=13876, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
46.39/31.62	    nFilterCalls=114949, avgTableProportion=0.9995452412687097, avgTableSize=3800.3277366484267
46.39/31.62	    
46.69/31.99	    num=27, depth=433..434, filters=127123, revisions=(154534,useless=84371), ccks=113777845, wck=15.32, mem=2006M55
46.69/31.99	    decisions=14571, wrong=1330, backtracks=1, failedAssignments=1330, nogoods=1314
46.69/31.99	    nFilterCalls=119220, avgTableProportion=0.9995454538939419, avgTableSize=3801.944422076833
46.69/31.99	    
47.15/32.35	    num=28, depth=438..439, filters=131687, revisions=(159973,useless=87223), ccks=115764926, wck=15.68, mem=2006M55
47.15/32.35	    decisions=15297, wrong=1474, backtracks=2, failedAssignments=1474, nogoods=1315
47.15/32.35	    nFilterCalls=123500, avgTableProportion=0.9995456971506067, avgTableSize=3804.612226720648
47.15/32.35	    
47.57/32.71	    num=29, depth=433..434, filters=136274, revisions=(165446,useless=90085), ccks=117779556, wck=16.043, mem=2006M55
47.57/32.71	    decisions=16046, wrong=1632, backtracks=3, failedAssignments=1632, nogoods=1351
47.57/32.71	    nFilterCalls=127799, avgTableProportion=0.9995459393012529, avgTableSize=3806.3192278499832
47.57/32.71	    
47.89/33.07	    num=30, depth=425..426, filters=140883, revisions=(170945,useless=92948), ccks=119784418, wck=16.41, mem=2006M55
47.89/33.07	    decisions=16819, wrong=1806, backtracks=4, failedAssignments=1806, nogoods=1407
47.89/33.07	    nFilterCalls=132115, avgTableProportion=0.9995461964135214, avgTableSize=3807.9827952919804
47.89/33.07	    
48.29/33.47	    num=31, depth=428..429, filters=145506, revisions=(176481,useless=95832), ccks=122176038, wck=16.803, mem=2006M55
48.29/33.47	    decisions=17629, wrong=1997, backtracks=5, failedAssignments=1997, nogoods=1474
48.29/33.47	    nFilterCalls=136447, avgTableProportion=0.999546482861281, avgTableSize=3810.202928609643
48.29/33.47	    
48.69/33.83	    num=32, depth=424..425, filters=150135, revisions=(182017,useless=98710), ccks=124233225, wck=17.169, mem=2006M55
48.69/33.83	    decisions=18475, wrong=2208, backtracks=6, failedAssignments=2208, nogoods=1563
48.69/33.83	    nFilterCalls=140784, avgTableProportion=0.9995467619355879, avgTableSize=3812.310049437436
48.69/33.83	    
49.09/34.21	    num=33, depth=420..421, filters=154794, revisions=(187594,useless=101598), ccks=126343078, wck=17.541, mem=2006M55
49.09/34.21	    decisions=19359, wrong=2440, backtracks=7, failedAssignments=2440, nogoods=1671
49.09/34.21	    nFilterCalls=145147, avgTableProportion=0.9995470786253043, avgTableSize=3814.8107711492485
49.09/34.21	    
49.39/34.57	    num=34, depth=422..424, filters=159470, revisions=(193173,useless=104473), ccks=128336361, wck=17.903, mem=2006M55
49.39/34.57	    decisions=20291, wrong=2695, backtracks=9, failedAssignments=2695, nogoods=1739
49.39/34.57	    nFilterCalls=149529, avgTableProportion=0.9995473357640295, avgTableSize=3815.1899965892903
49.39/34.57	    
49.84/34.94	    num=35, depth=424..426, filters=164181, revisions=(198795,useless=107355), ccks=130368502, wck=18.272, mem=2006M55
49.84/34.94	    decisions=21277, wrong=2976, backtracks=11, failedAssignments=2976, nogoods=1761
49.84/34.94	    nFilterCalls=153947, avgTableProportion=0.9995477273569057, avgTableSize=3818.6529325027445
49.84/34.94	    
50.26/35.31	    num=36, depth=426..428, filters=168920, revisions=(204439,useless=110233), ccks=132388831, wck=18.641, mem=2006M55
50.26/35.31	    decisions=22321, wrong=3285, backtracks=13, failedAssignments=3285, nogoods=1839
50.26/35.31	    nFilterCalls=158393, avgTableProportion=0.9995481145123973, avgTableSize=3821.1537946752696
50.26/35.31	    
50.56/35.68	    num=37, depth=430..433, filters=173685, revisions=(210106,useless=113109), ccks=134513467, wck=19.02, mem=2006M55
50.56/35.68	    decisions=23431, wrong=3625, backtracks=16, failedAssignments=3625, nogoods=1862
50.56/35.68	    nFilterCalls=162870, avgTableProportion=0.9995485076669685, avgTableSize=3823.015582980291
50.56/35.68	    
50.97/36.06	    num=38, depth=430..433, filters=178486, revisions=(215815,useless=115991), ccks=136613181, wck=19.399, mem=2006M55
50.97/36.06	    decisions=24609, wrong=3999, backtracks=19, failedAssignments=3999, nogoods=1874
50.97/36.06	    nFilterCalls=167382, avgTableProportion=0.9995489778211456, avgTableSize=3826.4905425911984
50.97/36.06	    
51.36/36.44	    num=39, depth=429..432, filters=183332, revisions=(221570,useless=118875), ccks=138638124, wck=19.773, mem=2006M55
51.36/36.44	    decisions=25860, wrong=4410, backtracks=22, failedAssignments=4410, nogoods=1947
51.36/36.44	    nFilterCalls=171937, avgTableProportion=0.9995494696843849, avgTableSize=3829.5028353408516
51.36/36.44	    
51.77/36.82	    num=40, depth=417..427, filters=188226, revisions=(227373,useless=121763), ccks=140739509, wck=20.154, mem=2006M55
51.77/36.82	    decisions=27181, wrong=4862, backtracks=32, failedAssignments=4862, nogoods=1970
51.77/36.82	    nFilterCalls=176531, avgTableProportion=0.9995494392733035, avgTableSize=3825.013889911687
51.77/36.82	    
52.17/37.21	    num=41, depth=410..425, filters=193170, revisions=(233222,useless=124653), ccks=142849966, wck=20.54, mem=2006M55
52.17/37.21	    decisions=28585, wrong=5359, backtracks=47, failedAssignments=5359, nogoods=1988
52.17/37.21	    nFilterCalls=181167, avgTableProportion=0.9995491572733305, avgTableSize=3819.1526216143116
52.17/37.21	    
52.48/37.59	    num=42, depth=423..428, filters=198150, revisions=(239119,useless=127546), ccks=144958341, wck=20.929, mem=2006M55
52.48/37.59	    decisions=30102, wrong=5906, backtracks=52, failedAssignments=5906, nogoods=2031
52.48/37.59	    nFilterCalls=185851, avgTableProportion=0.9995497431498898, avgTableSize=3821.8051180784605
52.48/37.59	    
52.91/37.98	    num=43, depth=418..423, filters=203185, revisions=(245078,useless=130445), ccks=147017051, wck=21.314, mem=2006M55
52.91/37.98	    decisions=31724, wrong=6508, backtracks=57, failedAssignments=6508, nogoods=2104
52.91/37.98	    nFilterCalls=190586, avgTableProportion=0.9995503906135479, avgTableSize=3825.3012498294734
52.91/37.98	    
53.31/38.37	    num=44, depth=424..428, filters=208275, revisions=(251087,useless=133340), ccks=149033083, wck=21.702, mem=2006M55
53.31/38.37	    decisions=33472, wrong=7170, backtracks=61, failedAssignments=7170, nogoods=2191
53.31/38.37	    nFilterCalls=195380, avgTableProportion=0.9995512380259864, avgTableSize=3834.667079537312
53.31/38.37	    
53.71/38.76	    num=45, depth=421..426, filters=213432, revisions=(257172,useless=136244), ccks=151063999, wck=22.092, mem=2006M55
53.71/38.76	    decisions=35349, wrong=7898, backtracks=66, failedAssignments=7898, nogoods=2305
53.71/38.76	    nFilterCalls=200239, avgTableProportion=0.9995520629378755, avgTableSize=3841.231822971549
53.71/38.76	    
54.13/39.15	    num=46, depth=419..425, filters=218662, revisions=(263325,useless=139143), ccks=153082875, wck=22.486, mem=2006M55
54.13/39.15	    decisions=37370, wrong=8699, backtracks=72, failedAssignments=8699, nogoods=2357
54.13/39.15	    nFilterCalls=205170, avgTableProportion=0.999552956900568, avgTableSize=3848.5974362723596
54.13/39.15	    
54.52/39.55	    num=47, depth=422..429, filters=223965, revisions=(269536,useless=142030), ccks=155099706, wck=22.883, mem=2006M55
54.52/39.55	    decisions=39554, wrong=9580, backtracks=79, failedAssignments=9580, nogoods=2378
54.52/39.55	    nFilterCalls=210176, avgTableProportion=0.9995538996274601, avgTableSize=3856.0468083891597
54.52/39.55	    
54.92/39.95	    num=48, depth=414..420, filters=229365, revisions=(275851,useless=144920), ccks=157088723, wck=23.282, mem=2006M55
54.92/39.95	    decisions=41908, wrong=10550, backtracks=85, failedAssignments=10550, nogoods=2485
54.92/39.95	    nFilterCalls=215274, avgTableProportion=0.9995550163648993, avgTableSize=3868.1959177606213
54.92/39.95	    
55.32/40.35	    num=49, depth=407..419, filters=234870, revisions=(282271,useless=147816), ccks=159103508, wck=23.688, mem=2006M55
55.32/40.35	    decisions=44449, wrong=11617, backtracks=97, failedAssignments=11617, nogoods=2545
55.32/40.35	    nFilterCalls=220470, avgTableProportion=0.9995557793870984, avgTableSize=3868.425019276999
55.32/40.35	    
55.72/40.77	    num=50, depth=413..422, filters=240469, revisions=(288775,useless=150697), ccks=161132852, wck=24.101, mem=2006M55
55.72/40.77	    decisions=47208, wrong=12790, backtracks=106, failedAssignments=12790, nogoods=2594
55.72/40.77	    nFilterCalls=225768, avgTableProportion=0.9995569668941202, avgTableSize=3878.1810265405193
55.72/40.77	    
56.13/41.18	    num=51, depth=413..423, filters=246182, revisions=(295397,useless=153585), ccks=163124883, wck=24.519, mem=2006M55
56.13/41.18	    decisions=50203, wrong=14081, backtracks=116, failedAssignments=14081, nogoods=2656
56.13/41.18	    nFilterCalls=231179, avgTableProportion=0.9995582208404398, avgTableSize=3888.0518169902975
56.13/41.18	    
56.62/41.61	    num=52, depth=400..413, filters=252037, revisions=(302165,useless=156477), ccks=165135779, wck=24.941, mem=2006M55
56.62/41.61	    decisions=53443, wrong=15501, backtracks=129, failedAssignments=15501, nogoods=2699
56.62/41.61	    nFilterCalls=236722, avgTableProportion=0.9995594217253589, avgTableSize=3894.185669266059
56.62/41.61	    
57.03/42.04	    num=53, depth=399..417, filters=258039, revisions=(309077,useless=159372), ccks=167139071, wck=25.371, mem=2006M55
57.03/42.04	    decisions=56966, wrong=17063, backtracks=147, failedAssignments=17063, nogoods=2750
57.03/42.04	    nFilterCalls=242409, avgTableProportion=0.9995604430951972, avgTableSize=3894.673337211077
57.03/42.04	    
57.42/42.47	    num=54, depth=406..419, filters=264188, revisions=(316135,useless=162261), ccks=169136872, wck=25.81, mem=2006M55
57.42/42.47	    decisions=60808, wrong=18781, backtracks=160, failedAssignments=18781, nogoods=2844
57.42/42.47	    nFilterCalls=248250, avgTableProportion=0.9995620188653966, avgTableSize=3907.8019738167172
57.42/42.47	    
57.92/42.92	    num=55, depth=405..420, filters=270508, revisions=(323365,useless=165155), ccks=171120790, wck=26.26, mem=2006M55
57.92/42.92	    decisions=64993, wrong=20671, backtracks=175, failedAssignments=20671, nogoods=2890
57.92/42.92	    nFilterCalls=254260, avgTableProportion=0.9995636841528363, avgTableSize=3921.099103280107
57.92/42.92	    
58.32/43.39	    num=56, depth=400..416, filters=277025, revisions=(330805,useless=168061), ccks=173152310, wck=26.721, mem=2006M55
58.32/43.39	    decisions=69551, wrong=22750, backtracks=191, failedAssignments=22750, nogoods=2970
58.32/43.39	    nFilterCalls=260463, avgTableProportion=0.9995654898017677, avgTableSize=3936.009840169237
58.32/43.39	    
58.82/43.85	    num=57, depth=403..419, filters=283745, revisions=(338431,useless=170952), ccks=175141510, wck=27.188, mem=2006M55
58.82/43.85	    decisions=74528, wrong=25037, backtracks=207, failedAssignments=25037, nogoods=3002
58.82/43.85	    nFilterCalls=266871, avgTableProportion=0.9995675626804826, avgTableSize=3957.8800056956356
58.82/43.85	    
59.32/44.34	    num=58, depth=393..422, filters=290716, revisions=(346288,useless=173838), ccks=177186769, wck=27.673, mem=2006M55
59.32/44.34	    decisions=79953, wrong=27553, backtracks=236, failedAssignments=27553, nogoods=3083
59.32/44.34	    nFilterCalls=273516, avgTableProportion=0.9995690010417206, avgTableSize=3958.2612717354746
59.32/44.34	    
59.82/44.84	    num=59, depth=380..419, filters=297942, revisions=(354395,useless=176727), ccks=179247273, wck=28.171, mem=2006M55
59.82/44.84	    decisions=85869, wrong=30321, backtracks=275, failedAssignments=30321, nogoods=3122
59.82/44.84	    nFilterCalls=280405, avgTableProportion=0.9995701653125973, avgTableSize=3952.9632388866103
59.82/44.84	    
60.32/45.35	    num=60, depth=405..426, filters=305430, revisions=(362796,useless=179632), ccks=181289529, wck=28.685, mem=2006M55
60.32/45.35	    decisions=92362, wrong=33365, backtracks=296, failedAssignments=33365, nogoods=3143
60.32/45.35	    nFilterCalls=287578, avgTableProportion=0.9995727668654988, avgTableSize=3981.8391253851128
60.32/45.35	    
60.82/45.88	    num=61, depth=405..434, filters=313231, revisions=(371491,useless=182532), ccks=183345847, wck=29.22, mem=2006M55
60.82/45.88	    decisions=99465, wrong=36714, backtracks=325, failedAssignments=36714, nogoods=3241
60.82/45.88	    nFilterCalls=295059, avgTableProportion=0.9995751856848717, avgTableSize=3998.537902588974
60.82/45.88	    
61.47/46.43	    num=62, depth=349..434, filters=321418, revisions=(380514,useless=185424), ccks=185350057, wck=29.767, mem=2006M55
61.47/46.43	    decisions=107182, wrong=40398, backtracks=410, failedAssignments=40398, nogoods=3271
61.47/46.43	    nFilterCalls=302876, avgTableProportion=0.9995750665085605, avgTableSize=3977.9003090373617
61.47/46.43	    
61.96/47.00	    num=63, depth=385..425, filters=329934, revisions=(389914,useless=188318), ccks=187385718, wck=30.332, mem=2006M55
61.96/47.00	    decisions=115671, wrong=44450, backtracks=450, failedAssignments=44450, nogoods=3284
61.96/47.00	    nFilterCalls=311059, avgTableProportion=0.9995775666264034, avgTableSize=3989.0887291478466
61.96/47.00	    
62.56/47.58	    num=64, depth=377..422, filters=338864, revisions=(399729,useless=191218), ccks=189405828, wck=30.919, mem=2006M55
62.56/47.58	    decisions=124962, wrong=48907, backtracks=495, failedAssignments=48907, nogoods=3332
62.56/47.58	    nFilterCalls=319650, avgTableProportion=0.9995803347072912, avgTableSize=4004.0645017988427
62.56/47.58	    
63.28/48.20	    num=65, depth=391..427, filters=348227, revisions=(409980,useless=194114), ccks=191424663, wck=31.537, mem=2006M55
63.28/48.20	    decisions=135159, wrong=53810, backtracks=531, failedAssignments=53810, nogoods=3396
63.28/48.20	    nFilterCalls=328686, avgTableProportion=0.9995839434181808, avgTableSize=4044.70525060392
63.28/48.20	    
63.88/48.85	    num=66, depth=377..425, filters=358093, revisions=(420731,useless=197018), ccks=193437303, wck=32.181, mem=2006M55
63.88/48.85	    decisions=146324, wrong=59204, backtracks=579, failedAssignments=59204, nogoods=3452
63.88/48.85	    nFilterCalls=338212, avgTableProportion=0.9995873955123137, avgTableSize=4072.632993507031
63.88/48.85	    
64.58/49.51	    num=67, depth=375..424, filters=368498, revisions=(432016,useless=199917), ccks=195461311, wck=32.85, mem=2006M55
64.58/49.51	    decisions=158565, wrong=65137, backtracks=628, failedAssignments=65137, nogoods=3567
64.58/49.51	    nFilterCalls=348276, avgTableProportion=0.9995910747934443, avgTableSize=4103.488256440294
64.58/49.51	    
65.28/50.21	    num=68, depth=362..424, filters=379514, revisions=(443910,useless=202827), ccks=197492472, wck=33.544, mem=2006M55
65.28/50.21	    decisions=171979, wrong=71663, backtracks=690, failedAssignments=71663, nogoods=3584
65.28/50.21	    nFilterCalls=358935, avgTableProportion=0.9995944484372474, avgTableSize=4119.975207210219
65.28/50.21	    
66.00/50.94	    num=69, depth=344..429, filters=391199, revisions=(456434,useless=205722), ccks=199564508, wck=34.276, mem=2006M55
66.00/50.94	    decisions=186681, wrong=78842, backtracks=775, failedAssignments=78842, nogoods=3624
66.00/50.94	    nFilterCalls=370246, avgTableProportion=0.9995972080543659, avgTableSize=4119.70433171459
66.00/50.94	    
66.81/51.71	    num=70, depth=372..435, filters=403570, revisions=(469642,useless=208592), ccks=201637065, wck=35.05, mem=2006M55
66.81/51.71	    decisions=202847, wrong=86739, backtracks=838, failedAssignments=86739, nogoods=3647
66.81/51.71	    nFilterCalls=382273, avgTableProportion=0.9996015275290399, avgTableSize=4156.7355240888055
66.81/51.71	    
67.61/52.53	    num=71, depth=369..430, filters=416803, revisions=(483661,useless=211479), ccks=203623907, wck=35.865, mem=2006M55
67.61/52.53	    decisions=220638, wrong=95426, backtracks=910, failedAssignments=95426, nogoods=3684
67.61/52.53	    nFilterCalls=395150, avgTableProportion=0.9996059324994809, avgTableSize=4191.032969758319
67.61/52.53	    
68.42/53.38	    num=72, depth=361..427, filters=430843, revisions=(498549,useless=214362), ccks=205636656, wck=36.719, mem=2006M55
68.42/53.38	    decisions=240109, wrong=104981, backtracks=976, failedAssignments=104981, nogoods=3736
68.42/53.38	    nFilterCalls=408836, avgTableProportion=0.9996111039215504, avgTableSize=4250.67173145222
68.42/53.38	    
69.31/54.28	    num=73, depth=327..426, filters=445869, revisions=(514392,useless=217247), ccks=207644424, wck=37.619, mem=2006M55
69.31/54.28	    decisions=261458, wrong=115492, backtracks=1075, failedAssignments=115492, nogoods=3754
69.31/54.28	    nFilterCalls=423475, avgTableProportion=0.9996153468722546, avgTableSize=4271.1393706830395
69.31/54.28	    
70.32/55.24	    num=74, depth=259..424, filters=462019, revisions=(531309,useless=220146), ccks=209646567, wck=38.571, mem=2006M55
70.32/55.24	    decisions=284841, wrong=127054, backtracks=1240, failedAssignments=127054, nogoods=3767
70.32/55.24	    nFilterCalls=439171, avgTableProportion=0.9996176392080645, avgTableSize=4251.430192339658
70.32/55.24	    
71.33/56.27	    num=75, depth=296..430, filters=479454, revisions=(549367,useless=223034), ccks=211666033, wck=39.605, mem=2006M55
71.33/56.27	    decisions=310689, wrong=139772, backtracks=1390, failedAssignments=139772, nogoods=3797
71.33/56.27	    nFilterCalls=456158, avgTableProportion=0.9996212305308998, avgTableSize=4250.410590190241
71.33/56.27	    
72.43/57.39	    num=76, depth=341..435, filters=498279, revisions=(568712,useless=225936), ccks=213714691, wck=40.722, mem=2006M55
72.43/57.39	    decisions=339085, wrong=153762, backtracks=1568, failedAssignments=153762, nogoods=3804
72.43/57.39	    nFilterCalls=474448, avgTableProportion=0.9996248472679733, avgTableSize=4273.026363268472
72.43/57.39	    
73.63/58.55	    num=77, depth=335..431, filters=518306, revisions=(589453,useless=228834), ccks=215746018, wck=41.883, mem=2006M55
73.63/58.55	    decisions=370198, wrong=169151, backtracks=1724, failedAssignments=169151, nogoods=3834
73.63/58.55	    nFilterCalls=494035, avgTableProportion=0.9996295826223746, avgTableSize=4295.40274069651
73.63/58.55	    
74.93/59.80	    num=78, depth=362..430, filters=539842, revisions=(611709,useless=231715), ccks=217809388, wck=43.132, mem=2006M55
74.93/59.80	    decisions=404424, wrong=186079, backtracks=1850, failedAssignments=186079, nogoods=3893
74.93/59.80	    nFilterCalls=515160, avgTableProportion=0.9996359832608395, avgTableSize=4364.224202189611
74.93/59.80	    
76.24/61.14	    num=79, depth=311..431, filters=563150, revisions=(635650,useless=234591), ccks=219855130, wck=44.477, mem=2006M55
76.24/61.14	    decisions=442076, wrong=204700, backtracks=1989, failedAssignments=204700, nogoods=3934
76.24/61.14	    nFilterCalls=538030, avgTableProportion=0.999642551512959, avgTableSize=4436.984945077412
76.24/61.14	    
77.64/62.58	    num=80, depth=301..434, filters=588385, revisions=(661476,useless=237480), ccks=221912080, wck=45.92, mem=2006M55
77.64/62.58	    decisions=483412, wrong=225184, backtracks=2186, failedAssignments=225184, nogoods=3972
77.64/62.58	    nFilterCalls=562785, avgTableProportion=0.999647841783156, avgTableSize=4471.273436569915
77.64/62.58	    
79.26/64.14	    num=81, depth=301..439, filters=615774, revisions=(689351,useless=240379), ccks=223992525, wck=47.479, mem=2006M55
79.26/64.14	    decisions=528861, wrong=247716, backtracks=2377, failedAssignments=247716, nogoods=4088
79.26/64.14	    nFilterCalls=589588, avgTableProportion=0.9996539378756463, avgTableSize=4516.182323927896
79.26/64.14	    
80.95/65.85	    num=82, depth=253..435, filters=645616, revisions=(719486,useless=243278), ccks=226132562, wck=49.182, mem=2006M55
80.95/65.85	    decisions=578839, wrong=272501, backtracks=2710, failedAssignments=272501, nogoods=4101
80.95/65.85	    nFilterCalls=618817, avgTableProportion=0.9996570479112755, avgTableSize=4506.500395108732
80.95/65.85	    
82.75/67.66	    num=83, depth=210..430, filters=677772, revisions=(752112,useless=246184), ccks=228285824, wck=51.0, mem=2006M55
82.75/67.66	    decisions=633768, wrong=299765, backtracks=2957, failedAssignments=299765, nogoods=4205
82.75/67.66	    nFilterCalls=650437, avgTableProportion=0.9996630061191314, avgTableSize=4543.352292381891
82.75/67.66	    
84.76/69.62	    num=84, depth=290..436, filters=712552, revisions=(787453,useless=249084), ccks=230451251, wck=52.952, mem=2006M55
84.76/69.62	    decisions=694104, wrong=329755, backtracks=3181, failedAssignments=329755, nogoods=4232
84.76/69.62	    nFilterCalls=684710, avgTableProportion=0.9996702778551733, avgTableSize=4626.2724452688
84.76/69.62	    
86.86/71.74	    num=85, depth=216..436, filters=750559, revisions=(825794,useless=251990), ccks=232566205, wck=55.073, mem=2006M55
86.86/71.74	    decisions=760474, wrong=362744, backtracks=3505, failedAssignments=362744, nogoods=4283
86.86/71.74	    nFilterCalls=722113, avgTableProportion=0.9996756546275066, avgTableSize=4646.84573882481
86.86/71.74	    
89.17/74.05	    num=86, depth=243..426, filters=792011, revisions=(867468,useless=254927), ccks=234800029, wck=57.385, mem=2006M55
89.17/74.05	    decisions=833450, wrong=399032, backtracks=3890, failedAssignments=399032, nogoods=4313
89.17/74.05	    nFilterCalls=762890, avgTableProportion=0.9996803644162303, avgTableSize=4650.01247624166
89.17/74.05	    
91.66/76.58	    num=87, depth=235..427, filters=837283, revisions=(912738,useless=257838), ccks=236982922, wck=59.917, mem=2006M55
91.66/76.58	    decisions=913708, wrong=438949, backtracks=4368, failedAssignments=438949, nogoods=4334
91.66/76.58	    nFilterCalls=807411, avgTableProportion=0.9996845572773152, avgTableSize=4675.873889506088
91.66/76.58	    
94.36/79.27	    num=88, depth=281..420, filters=886201, revisions=(961990,useless=260744), ccks=239130972, wck=62.605, mem=2006M55
94.36/79.27	    decisions=1001807, wrong=482858, backtracks=4745, failedAssignments=482858, nogoods=4377
94.36/79.27	    nFilterCalls=855671, avgTableProportion=0.9996911778803979, avgTableSize=4739.134526003569
94.36/79.27	    
97.36/82.20	    num=89, depth=213..424, filters=939695, revisions=(1015650,useless=263666), ccks=241249136, wck=65.534, mem=2006M55
97.36/82.20	    decisions=1098752, wrong=531158, backtracks=5163, failedAssignments=531158, nogoods=4453
97.36/82.20	    nFilterCalls=908428, avgTableProportion=0.9996975990695589, avgTableSize=4787.295092181219
97.36/82.20	    
100.47/85.38	    num=90, depth=288..414, filters=998171, revisions=(1074153,useless=266593), ccks=243330191, wck=68.719, mem=2006M55
100.47/85.38	    decisions=1205309, wrong=584288, backtracks=5632, failedAssignments=584288, nogoods=4568
100.47/85.38	    nFilterCalls=966027, avgTableProportion=0.9997038228398863, avgTableSize=4841.158674654021
100.47/85.38	    
104.07/88.92	    num=91, depth=321..419, filters=1062394, revisions=(1137976,useless=269535), ccks=245716706, wck=72.259, mem=2006M55
104.07/88.92	    decisions=1322603, wrong=642731, backtracks=6263, failedAssignments=642731, nogoods=4683
104.07/88.92	    nFilterCalls=1029206, avgTableProportion=0.9997082885354783, avgTableSize=4870.292987021063
104.07/88.92	    
107.87/92.73	    num=92, depth=279..416, filters=1132123, revisions=(1207614,useless=272459), ccks=248045856, wck=76.061, mem=2006M55
107.87/92.73	    decisions=1451487, wrong=707018, backtracks=6842, failedAssignments=707018, nogoods=4793
107.87/92.73	    nFilterCalls=1098070, avgTableProportion=0.9997141127011875, avgTableSize=4919.445691076161
107.87/92.73	    
111.98/96.86	    num=93, depth=232..412, filters=1208410, revisions=(1283705,useless=275408), ccks=250157650, wck=80.199, mem=2006M55
111.98/96.86	    decisions=1593326, wrong=777734, backtracks=7442, failedAssignments=777734, nogoods=4852
111.98/96.86	    nFilterCalls=1173479, avgTableProportion=0.9997203578703439, avgTableSize=4972.081135665828
111.98/96.86	    
116.58/101.42	    num=94, depth=230..414, filters=1291983, revisions=(1366886,useless=278360), ccks=252387237, wck=84.752, mem=2037M939
116.58/101.42	    decisions=1749271, wrong=855521, backtracks=8161, failedAssignments=855521, nogoods=4962
116.58/101.42	    nFilterCalls=1256057, avgTableProportion=0.9997260337837136, avgTableSize=5045.687852541724
116.58/101.42	    
121.48/106.37	    num=95, depth=269..413, filters=1383639, revisions=(1457850,useless=281315), ccks=254561335, wck=89.706, mem=2037M939
121.48/106.37	    decisions=1920781, wrong=941087, backtracks=8978, failedAssignments=941087, nogoods=4979
121.48/106.37	    nFilterCalls=1346522, avgTableProportion=0.9997307855705009, avgTableSize=5062.703115136626
121.48/106.37	    
126.88/111.77	    num=96, depth=285..416, filters=1483734, revisions=(1557360,useless=284263), ccks=256744398, wck=95.103, mem=2037M939
126.88/111.77	    decisions=2109353, wrong=1035210, backtracks=9819, failedAssignments=1035210, nogoods=5068
126.88/111.77	    nFilterCalls=1445512, avgTableProportion=0.9997361762614057, avgTableSize=5114.908894564694
126.88/111.77	    
132.79/117.68	    num=97, depth=210..410, filters=1593588, revisions=(1666299,useless=287225), ccks=258942783, wck=101.013, mem=2037M939
132.79/117.68	    decisions=2316760, wrong=1138745, backtracks=10747, failedAssignments=1138745, nogoods=5164
132.79/117.68	    nFilterCalls=1554014, avgTableProportion=0.9997412395511568, avgTableSize=5148.521125292307
132.79/117.68	    
139.31/124.13	    num=98, depth=222..417, filters=1713765, revisions=(1785617,useless=290200), ccks=261158037, wck=107.47, mem=2037M939
139.31/124.13	    decisions=2544881, wrong=1252634, backtracks=11734, failedAssignments=1252634, nogoods=5288
139.31/124.13	    nFilterCalls=1672943, avgTableProportion=0.9997464469745979, avgTableSize=5193.838967018004
139.31/124.13	    
146.41/131.24	    num=99, depth=208..419, filters=1846287, revisions=(1916292,useless=293147), ccks=263408915, wck=114.575, mem=2037M939
146.41/131.24	    decisions=2795840, wrong=1377912, backtracks=12986, failedAssignments=1377912, nogoods=5301
146.41/131.24	    nFilterCalls=1803585, avgTableProportion=0.9997498181168594, avgTableSize=5196.018436059293
146.41/131.24	    
154.22/139.03	    num=100, depth=245..419, filters=1991107, revisions=(2059466,useless=296089), ccks=265723952, wck=122.365, mem=2037M939
154.22/139.03	    decisions=3071830, wrong=1515718, backtracks=14340, failedAssignments=1515718, nogoods=5319
154.22/139.03	    nFilterCalls=1946817, avgTableProportion=0.9997535990034171, avgTableSize=5230.181481361627
154.22/139.03	    
162.71/147.54	    num=101, depth=244..411, filters=2150431, revisions=(2216444,useless=299044), ccks=267947793, wck=130.872, mem=2037M939
162.71/147.54	    decisions=3375308, wrong=1667304, backtracks=15766, failedAssignments=1667304, nogoods=5328
162.71/147.54	    nFilterCalls=2103833, avgTableProportion=0.9997574282383548, avgTableSize=5249.085244408658
162.71/147.54	    
172.12/156.90	    num=102, depth=224..412, filters=2325600, revisions=(2388609,useless=302033), ccks=270143906, wck=140.232, mem=2037M939
172.12/156.90	    decisions=3709157, wrong=1834049, backtracks=17610, failedAssignments=1834049, nogoods=5372
172.12/156.90	    nFilterCalls=2276479, avgTableProportion=0.9997594458516086, avgTableSize=5241.658168162325
172.12/156.90	    
182.33/167.15	    num=103, depth=276..398, filters=2517471, revisions=(2577491,useless=305046), ccks=272770976, wck=150.481, mem=2037M939
182.33/167.15	    decisions=4076346, wrong=2017468, backtracks=19283, failedAssignments=2017468, nogoods=5391
182.33/167.15	    nFilterCalls=2465635, avgTableProportion=0.9997636251312554, avgTableSize=5294.723641171544
182.33/167.15	    
193.72/178.53	    num=104, depth=207..393, filters=2729943, revisions=(2784706,useless=308065), ccks=275163311, wck=161.863, mem=2069M823
193.72/178.53	    decisions=4480190, wrong=2219229, backtracks=22094, failedAssignments=2219229, nogoods=5411
193.72/178.53	    nFilterCalls=2674231, avgTableProportion=0.99976187582361, avgTableSize=5242.239566065909
193.72/178.53	    
206.03/190.89	    num=105, depth=245..416, filters=2960690, revisions=(3012030,useless=311030), ccks=277508806, wck=174.225, mem=2069M823
206.03/190.89	    decisions=4924429, wrong=2441167, backtracks=24295, failedAssignments=2441167, nogoods=5430
206.03/190.89	    nFilterCalls=2902421, avgTableProportion=0.9997655638669157, avgTableSize=5305.747606911609
206.03/190.89	    
219.54/204.35	    num=106, depth=225..414, filters=3213178, revisions=(3261515,useless=313982), ccks=279943391, wck=187.688, mem=2069M823
219.54/204.35	    decisions=5413080, wrong=2685298, backtracks=26336, failedAssignments=2685298, nogoods=5449
219.54/204.35	    nFilterCalls=3152655, avgTableProportion=0.9997704354925997, avgTableSize=5373.673617633392
219.54/204.35	    
234.37/219.14	    num=107, depth=203..423, filters=3491576, revisions=(3535442,useless=316967), ccks=282446775, wck=202.477, mem=2069M823
234.37/219.14	    decisions=5950521, wrong=2953843, backtracks=28867, failedAssignments=2953843, nogoods=5468
234.37/219.14	    nFilterCalls=3427753, avgTableProportion=0.9997733923328893, avgTableSize=5380.46649189717
234.37/219.14	    
250.76/235.55	    num=108, depth=209..411, filters=3799516, revisions=(3836302,useless=320015), ccks=285104810, wck=218.885, mem=2069M823
250.76/235.55	    decisions=6541601, wrong=3249242, backtracks=32906, failedAssignments=3249242, nogoods=5502
250.76/235.55	    nFilterCalls=3731155, avgTableProportion=0.9997706560134615, avgTableSize=5273.155007229665
250.76/235.55	    
268.57/253.37	    num=109, depth=221..422, filters=4135135, revisions=(4166597,useless=322969), ccks=287791646, wck=236.705, mem=2101M708
268.57/253.37	    decisions=7191844, wrong=3574181, backtracks=35691, failedAssignments=3574181, nogoods=5521
268.57/253.37	    nFilterCalls=4062917, avgTableProportion=0.9997748976177242, avgTableSize=5315.245818952246
268.57/253.37	    
288.07/272.85	    num=110, depth=211..413, filters=4502575, revisions=(4529380,useless=325921), ccks=290379488, wck=256.184, mem=2101M708
288.07/272.85	    decisions=7907015, wrong=3931614, backtracks=38614, failedAssignments=3931614, nogoods=5649
288.07/272.85	    nFilterCalls=4427244, avgTableProportion=0.9997793941061769, avgTableSize=5382.004242820139
288.07/272.85	    
309.49/294.29	    num=111, depth=220..422, filters=4906652, revisions=(4927960,useless=328907), ccks=292933978, wck=277.623, mem=2101M708
309.49/294.29	    decisions=8693702, wrong=4324790, backtracks=41687, failedAssignments=4324790, nogoods=5673
309.49/294.29	    nFilterCalls=4827514, avgTableProportion=0.999784113491756, avgTableSize=5462.472066989345
309.49/294.29	    
333.31/318.07	    num=112, depth=208..435, filters=5354080, revisions=(5365932,useless=331974), ccks=295625667, wck=301.404, mem=2133M592
333.31/318.07	    decisions=9559112, wrong=4757284, backtracks=46398, failedAssignments=4757284, nogoods=5756
333.31/318.07	    nFilterCalls=5268819, avgTableProportion=0.9997842316131033, avgTableSize=5423.382844808296
333.31/318.07	    
359.41/344.17	    num=113, depth=211..429, filters=5845523, revisions=(5847267,useless=335147), ccks=298266397, wck=327.507, mem=2133M592
359.41/344.17	    decisions=10510878, wrong=5233028, backtracks=52313, failedAssignments=5233028, nogoods=5920
359.41/344.17	    nFilterCalls=5754443, avgTableProportion=0.9997820037330071, avgTableSize=5351.173935861386
359.41/344.17	    
387.92/372.62	    num=114, depth=212..424, filters=6382664, revisions=(6376075,useless=338214), ccks=301327015, wck=355.952, mem=2133M592
387.92/372.62	    decisions=11557892, wrong=5756346, backtracks=57107, failedAssignments=5756346, nogoods=6017
387.92/372.62	    nFilterCalls=6286626, avgTableProportion=0.9997849047574576, avgTableSize=5388.594564079364
387.92/372.62	    
419.13/403.84	    num=115, depth=252..424, filters=6971958, revisions=(6957149,useless=341214), ccks=304243751, wck=387.175, mem=2165M476
419.13/403.84	    decisions=12709592, wrong=6331996, backtracks=61847, failedAssignments=6331996, nogoods=6068
419.13/403.84	    nFilterCalls=6871112, avgTableProportion=0.9997887522817027, avgTableSize=5449.6383834232365
419.13/403.84	    
453.65/438.37	    num=116, depth=230..417, filters=7623536, revisions=(7595821,useless=344236), ccks=307183925, wck=421.706, mem=2165M476
453.65/438.37	    decisions=13976380, wrong=6965211, backtracks=68116, failedAssignments=6965211, nogoods=6145
453.65/438.37	    nFilterCalls=7514658, avgTableProportion=0.9997901645136306, avgTableSize=5457.65903598008
453.65/438.37	    
491.65/476.35	    num=117, depth=209..425, filters=8338770, revisions=(8297742,useless=347208), ccks=310119830, wck=459.681, mem=2197M360
491.65/476.35	    decisions=15369834, wrong=7661747, backtracks=74985, failedAssignments=7661747, nogoods=6223
491.65/476.35	    nFilterCalls=8222132, avgTableProportion=0.9997919932285627, avgTableSize=5502.1634101714735
491.65/476.35	    
533.18/517.90	    num=118, depth=204..425, filters=9124655, revisions=(9069408,useless=350274), ccks=313142927, wck=501.231, mem=2197M360
533.18/517.90	    decisions=16902578, wrong=8427937, backtracks=81546, failedAssignments=8427937, nogoods=6231
533.18/517.90	    nFilterCalls=8998930, avgTableProportion=0.9997948671042944, avgTableSize=5539.041644951122
533.18/517.90	    
579.09/563.74	    num=119, depth=210..418, filters=9990847, revisions=(9917700,useless=353345), ccks=316120836, wck=547.074, mem=2229M244
579.09/563.74	    decisions=18588561, wrong=9270746, backtracks=89911, failedAssignments=9270746, nogoods=6268
579.09/563.74	    nFilterCalls=9854157, avgTableProportion=0.9997955423172643, avgTableSize=5529.971727972266
579.09/563.74	    
629.72/614.35	    num=120, depth=218..415, filters=10943874, revisions=(10850434,useless=356542), ccks=319317485, wck=597.681, mem=2261M129
629.72/614.35	    decisions=20443119, wrong=10197836, backtracks=99845, failedAssignments=10197836, nogoods=6383
629.72/614.35	    nFilterCalls=10795275, avgTableProportion=0.9997954543575384, avgTableSize=5523.813072756368
629.72/614.35	    
685.14/669.74	    num=121, depth=211..421, filters=11990009, revisions=(11875825,useless=359727), ccks=322545706, wck=653.077, mem=2293M13
685.14/669.74	    decisions=22483080, wrong=11217635, backtracks=110315, failedAssignments=11217635, nogoods=6411
685.14/669.74	    nFilterCalls=11829585, avgTableProportion=0.999795619588463, avgTableSize=5496.042080343478
685.14/669.74	    
746.15/730.72	    num=122, depth=219..412, filters=13143370, revisions=(13003170,useless=362883), ccks=325811261, wck=714.06, mem=2293M13
746.15/730.72	    decisions=24727003, wrong=12339414, backtracks=120905, failedAssignments=12339414, nogoods=6427
746.15/730.72	    nFilterCalls=12966000, avgTableProportion=0.999797354044295, avgTableSize=5541.953497146383
746.15/730.72	    
813.38/797.90	    num=123, depth=206..421, filters=14412731, revisions=(14242709,useless=366054), ccks=329147823, wck=781.239, mem=2324M897
813.38/797.90	    decisions=27195256, wrong=13573371, backtracks=135042, failedAssignments=13573371, nogoods=6492
813.38/797.90	    nFilterCalls=14218121, avgTableProportion=0.999795777753389, avgTableSize=5477.653211067764
813.38/797.90	    
887.21/871.74	    num=124, depth=207..424, filters=15799401, revisions=(15605724,useless=369290), ccks=332770193, wck=855.075, mem=2356M781
887.21/871.74	    decisions=29910324, wrong=14930724, backtracks=147678, failedAssignments=14930724, nogoods=6584
887.21/871.74	    nFilterCalls=15592174, avgTableProportion=0.9997973649972273, avgTableSize=5490.503122656276
887.21/871.74	    
968.54/953.04	    num=125, depth=206..444, filters=17330244, revisions=(17104448,useless=372511), ccks=336525116, wck=936.378, mem=2420M550
968.54/953.04	    decisions=32896863, wrong=16423812, backtracks=163518, failedAssignments=16423812, nogoods=6609
968.54/953.04	    nFilterCalls=17105157, avgTableProportion=0.9997968762017392, avgTableSize=5454.180781678882
968.54/953.04	    
1057.68/1042.17	    num=126, depth=205..430, filters=19006865, revisions=(18752555,useless=375801), ccks=340353698, wck=1025.507, mem=2452M434
1057.68/1042.17	    decisions=36181934, wrong=18066209, backtracks=178014, failedAssignments=18066209, nogoods=6631
1057.68/1042.17	    nFilterCalls=18766013, avgTableProportion=0.9997991648892353, avgTableSize=5491.943915364441
1057.68/1042.17	    
1156.62/1141.03	    num=127, depth=206..440, filters=20866351, revisions=(20565094,useless=379293), ccks=344398015, wck=1124.365, mem=2484M318
1156.62/1141.03	    decisions=39795605, wrong=19872846, backtracks=199157, failedAssignments=19872846, nogoods=6650
1156.62/1141.03	    nFilterCalls=20597875, avgTableProportion=0.9997972470507636, avgTableSize=5436.476910215253
1156.62/1141.03	    
1265.24/1249.68	    num=128, depth=208..425, filters=22902750, revisions=(22558199,useless=382686), ccks=348606484, wck=1233.016, mem=2548M86
1265.24/1249.68	    decisions=43770576, wrong=21860147, backtracks=219652, failedAssignments=21860147, nogoods=6732
1265.24/1249.68	    nFilterCalls=22609730, avgTableProportion=0.999797527626996, avgTableSize=5446.909917455891
1265.24/1249.68	    
1385.49/1369.81	    num=129, depth=206..437, filters=25156176, revisions=(24750177,useless=386219), ccks=352963038, wck=1353.148, mem=2579M971
1385.49/1369.81	    decisions=48143034, wrong=24046178, backtracks=247333, failedAssignments=24046178, nogoods=6810
1385.49/1369.81	    nFilterCalls=24827535, avgTableProportion=0.9997950297129662, avgTableSize=5396.455335134962
1385.49/1369.81	    
1515.73/1500.02	    num=130, depth=207..402, filters=27616098, revisions=(27160737,useless=389705), ccks=357928194, wck=1483.355, mem=2643M739
1515.73/1500.02	    decisions=52952685, wrong=26450812, backtracks=268742, failedAssignments=26450812, nogoods=6921
1515.73/1500.02	    nFilterCalls=27257670, avgTableProportion=0.9997973289383405, avgTableSize=5427.069616295156
1515.73/1500.02	    
1659.58/1643.80	    num=131, depth=213..414, filters=30317347, revisions=(29811924,useless=393347), ccks=362837567, wck=1627.132, mem=2707M507
1659.58/1643.80	    decisions=58243257, wrong=29095909, backtracks=295059, failedAssignments=29095909, nogoods=6983
1659.58/1643.80	    nFilterCalls=29933183, avgTableProportion=0.9997984036764304, avgTableSize=5449.938983802692
1659.58/1643.80	    
1833.60/1816.72	    num=132, depth=211..427, filters=33291325, revisions=(32727455,useless=396831), ccks=367919206, wck=1800.059, mem=1724M574
1833.60/1816.72	    decisions=64062879, wrong=32005516, backtracks=322367, failedAssignments=32005516, nogoods=7014
1833.60/1816.72	    nFilterCalls=32874225, avgTableProportion=0.9997997290591389, avgTableSize=5470.889343946511
1833.60/1816.72	    
2033.37/2016.48	    num=133, depth=228..407, filters=36551891, revisions=(35934129,useless=400497), ccks=373385924, wck=1999.814, mem=1797M675
2033.37/2016.48	    decisions=70464367, wrong=35206084, backtracks=350926, failedAssignments=35206084, nogoods=7060
2033.37/2016.48	    nFilterCalls=36107421, avgTableProportion=0.9998016719829916, avgTableSize=5508.462707347611
2033.37/2016.48	    
2254.35/2237.33	    num=134, depth=204..434, filters=40164245, revisions=(39460782,useless=404111), ccks=379099768, wck=2220.667, mem=1870M775
2254.35/2237.33	    decisions=77506002, wrong=38726709, backtracks=388636, failedAssignments=38726709, nogoods=7167
2254.35/2237.33	    nFilterCalls=39669834, avgTableProportion=0.9998006261145322, avgTableSize=5467.448934875805
2254.35/2237.33	    
2496.95/2479.85	    num=135, depth=205..425, filters=44122515, revisions=(43340224,useless=408450), ccks=385134112, wck=2463.181, mem=1980M425
2496.95/2479.85	    decisions=85251763, wrong=42599396, backtracks=429960, failedAssignments=42599396, nogoods=7244
2496.95/2479.85	    nFilterCalls=43587931, avgTableProportion=0.9998003701466466, avgTableSize=5464.3961168287615
2496.95/2479.85	    
2520.05/2502.90	
2520.05/2502.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10498 MiB free)
  memory of node 1: 16384 MiB (12800 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390822-1568386869/watcher-4390822-1568386869 -o /tmp/evaluation-result-4390822-1568386869/solver-4390822-1568386869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29469 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390822-1568386869.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=30767, runsolver pid=30764
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 2.00 2.00 1.96 4/231 30782
/proc/meminfo: memFree=23842408/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10659884 memory=27808 CPUtime=0.13 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 5513 0 0 0 12 1 0 0 20 0 15 0 414624254 10915721216 6952 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2664971 6952 2908 1 0 2627468 0
[pid=30767/tid=30769] ppid=30764 vsize=10659884 memory=-8269626465541068155 CPUtime=0.09 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) R 30764 30767 29438 0 -1 4202560 3234 0 0 0 8 1 0 0 20 0 15 0 414624254 10915721216 6952 33554432000 4194304 4196468 140725810680832 140302466084104 140302454090558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 7018 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 7018 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 7018 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 7018 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624256 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301765154208 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301764101616 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624259 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) R 30764 30767 29438 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 414624259 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301761996880 140302461863637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) R 30764 30767 29438 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 15 0 414624259 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301760935744 140302441106153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0.02 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) R 30764 30767 29438 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 414624259 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301759891696 140302461865366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 7018 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27808 KiB

[startup+0.211149 s]*
/proc/loadavg: 2.00 2.00 1.96 4/231 30782
/proc/meminfo: memFree=23831364/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10659884 memory=37408 CPUtime=0.33 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 9157 0 0 0 30 3 0 0 20 0 15 0 414624254 10915721216 9352 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2664971 9352 2986 1 0 2627468 0
[pid=30767/tid=30769] ppid=30764 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) R 30764 30767 29438 0 -1 4202560 6131 0 0 0 18 2 0 0 20 0 15 0 414624254 10915721216 9352 33554432000 4194304 4196468 140725810680832 140302466079792 140302461875357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 9352 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10659884 memory=140248422546079 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 9352 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 9352 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 9352 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624256 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301765154208 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301764101616 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624259 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 414624259 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 414624259 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0.05 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 414624259 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 9352 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37408 KiB

[startup+0.310505 s]*
/proc/loadavg: 2.00 2.00 1.96 5/231 30782
/proc/meminfo: memFree=23829316/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10659884 memory=40476 CPUtime=0.47 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 9353 0 0 0 44 3 0 0 20 0 15 0 414624254 10915721216 10119 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2664971 10119 3019 1 0 2627468 0
[pid=30767/tid=30769] ppid=30764 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) R 30764 30767 29438 0 -1 4202560 6259 0 0 0 27 3 0 0 20 0 15 0 414624254 10915721216 10119 33554432000 4194304 4196468 140725810680832 140302466085840 140302445933918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 10119 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10659884 memory=140248422546074 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 10119 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 10119 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10915721216 10119 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624256 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301765154208 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414624257 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301764101616 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624259 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 414624259 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 518 0 0 0 4 0 0 0 20 0 15 0 414624259 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0.08 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 15 0 414624259 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10659884 memory=140248422516352 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624260 10915721216 10119 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40476 KiB

[startup+0.706315 s]
/proc/loadavg: 2.00 2.00 1.96 3/231 30782
/proc/meminfo: memFree=23820196/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10661932 memory=61996 CPUtime=1.09 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 12560 0 0 0 105 4 0 0 20 0 15 0 414624254 10917818368 15499 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2665483 15499 3072 1 0 2627980 0
[pid=30767/tid=30769] ppid=30764 vsize=10661932 memory=1792 CPUtime=0.69 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) R 30764 30767 29438 0 -1 4202560 8837 0 0 0 65 4 0 0 20 0 15 0 414624254 10917818368 15499 33554432000 4194304 4196468 140725810680832 140302466085456 140302442125168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10661932 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10917818368 15499 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10661932 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624255 10917818368 15499 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10661932 memory=5536 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624255 10917818368 15499 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10661932 memory=4540 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10917818368 15499 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624256 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10661932 memory=1636 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414624257 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301765154208 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414624257 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301764101616 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10661932 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624259 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10661932 memory=7302135314614015849 CPUtime=0.1 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) R 30764 30767 29438 0 -1 4202560 616 0 0 0 10 0 0 0 20 0 15 0 414624259 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301761982808 140302441100235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10661932 memory=6010460991946777682 CPUtime=0.1 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 699 0 0 0 10 0 0 0 20 0 15 0 414624259 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10661932 memory=7588935152971043925 CPUtime=0.18 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 1046 0 0 0 18 0 0 0 20 0 15 0 414624259 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624260 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624260 10917818368 15499 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61996 KiB

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 1.96 3/231 30782
/proc/meminfo: memFree=23804500/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10663980 memory=74880 CPUtime=1.98 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 16753 0 0 0 193 5 0 0 20 0 15 0 414624254 10919915520 18720 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2665995 18720 3093 1 0 2628492 0
[pid=30767/tid=30769] ppid=30764 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) R 30764 30767 29438 0 -1 4202560 11845 0 0 0 144 4 0 0 20 0 15 0 414624254 10919915520 18720 33554432000 4194304 4196468 140725810680832 140302466079312 140302445040257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10919915520 18720 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414624255 10919915520 18720 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414624255 10919915520 18720 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414624255 10919915520 18720 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414624256 10919915520 18720 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0

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

/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 10444 0 0 0 216 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0.17 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 8947 0 0 0 15 2 0 0 20 0 16 0 414624256 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301765154272 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301764101632 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.5 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 15331 0 0 0 348 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.18 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 12583 0 0 0 316 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10748324 memory=3587640 CPUtime=1.29 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 23480 0 0 0 126 3 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0.8 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 2050 0 0 0 37 43 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30783] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2437.42 cores=0,2,4,6
/proc/30767/task/30783/stat : 30783 (java) R 30764 30767 29438 0 -1 4202560 98580 0 0 0 243720 22 0 0 20 0 16 0 414624443 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301752129416 140302110241102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 2459.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3587640 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/230 31110
/proc/meminfo: memFree=20221056/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2519.45 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 213335 0 0 0 251637 308 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2687081 896910 3394 1 0 2647217 0
[pid=30767/tid=30769] ppid=30764 vsize=10748324 memory=3587640 CPUtime=1.86 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) S 30764 30767 29438 0 -1 1077944384 13980 0 0 0 181 5 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302466096304 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 6876 0 0 0 217 60 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 10218 0 0 0 217 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10748324 memory=280496531765216 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 7763 0 0 0 216 62 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10748324 memory=280496530678112 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 10444 0 0 0 216 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10748324 memory=1792 CPUtime=0.17 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 8967 0 0 0 15 2 0 0 20 0 16 0 414624256 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10748324 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301765154272 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10748324 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301764101632 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10748324 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.5 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 15337 0 0 0 348 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.18 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 12589 0 0 0 316 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10748324 memory=3587640 CPUtime=1.29 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 23508 0 0 0 126 3 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0.82 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 2118 0 0 0 38 44 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30783] ppid=30764 vsize=10748324 memory=39956 CPUtime=2497.42 cores=0,2,4,6
/proc/30767/task/30783/stat : 30783 (java) R 30764 30767 29438 0 -1 4202560 100098 0 0 0 249720 22 0 0 20 0 16 0 414624443 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301752123088 140302110241102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 2519.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3587640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502.9 s]
/proc/loadavg: 2.06 2.11 2.08 3/230 31110
/proc/meminfo: memFree=20221056/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2520.05 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 213335 0 0 0 251697 308 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2687081 896910 3394 1 0 2647217 0
[pid=30767/tid=30769] ppid=30764 vsize=10748324 memory=8612 CPUtime=1.86 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) S 30764 30767 29438 0 -1 1077944384 13980 0 0 0 181 5 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302466096304 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 6876 0 0 0 217 60 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 10218 0 0 0 217 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 7763 0 0 0 216 62 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 10444 0 0 0 216 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10748324 memory=280496531765216 CPUtime=0.17 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 8967 0 0 0 15 2 0 0 20 0 16 0 414624256 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10748324 memory=280496530678112 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301765154272 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301764101632 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.5 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 15337 0 0 0 348 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.18 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 12589 0 0 0 316 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10748324 memory=3587640 CPUtime=1.29 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 23508 0 0 0 126 3 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10748324 memory=8612 CPUtime=0.82 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 2118 0 0 0 38 44 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30783] ppid=30764 vsize=10748324 memory=1192 CPUtime=2498.02 cores=0,2,4,6
/proc/30767/task/30783/stat : 30783 (java) R 30764 30767 29438 0 -1 4202560 100098 0 0 0 249780 22 0 0 20 0 16 0 414624443 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301752123088 140302110187626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3587640 KiB

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

[startup+2502.93 s]
# the end of solver process 30767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.99 s, system=3.10774 s

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

[startup+2502.9 s]
/proc/loadavg: 2.06 2.11 2.08 3/230 31110
/proc/meminfo: memFree=20221056/32770624 swapFree=67108848/67108860
[pid=30767] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2520.05 cores=0,2,4,6
/proc/30767/stat : 30767 (java) S 30764 30767 29438 0 -1 1077944320 213335 0 0 0 251697 308 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140725810663376 140302461853431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
/proc/30767/statm: 2687081 896910 3394 1 0 2647217 0
[pid=30767/tid=30769] ppid=30764 vsize=10748324 memory=8612 CPUtime=1.86 cores=0,2,4,6
/proc/30767/task/30769/stat : 30769 (java) S 30764 30767 29438 0 -1 1077944384 13980 0 0 0 181 5 0 0 20 0 16 0 414624254 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302466096304 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30770] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30770/stat : 30770 (java) S 30764 30767 29438 0 -1 1077944384 6876 0 0 0 217 60 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302422812944 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30771] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30771/stat : 30771 (java) S 30764 30767 29438 0 -1 1077944384 10218 0 0 0 217 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302067931536 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30772] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.78 cores=0,2,4,6
/proc/30767/task/30772/stat : 30772 (java) S 30764 30767 29438 0 -1 1077944384 7763 0 0 0 216 62 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302066878992 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30773] ppid=30764 vsize=10748324 memory=3587640 CPUtime=2.77 cores=0,2,4,6
/proc/30767/task/30773/stat : 30773 (java) S 30764 30767 29438 0 -1 1077944384 10444 0 0 0 216 61 0 0 20 0 16 0 414624255 11006283776 896910 33554432000 4194304 4196468 140725810680832 140302065826448 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30774] ppid=30764 vsize=10748324 memory=280496531765216 CPUtime=0.17 cores=0,2,4,6
/proc/30767/task/30774/stat : 30774 (java) S 30764 30767 29438 0 -1 1077944384 8967 0 0 0 15 2 0 0 20 0 16 0 414624256 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301766207984 140302461864578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30775] ppid=30764 vsize=10748324 memory=280496530678112 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30775/stat : 30775 (java) S 30764 30767 29438 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301765154272 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30776] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30776/stat : 30776 (java) S 30764 30767 29438 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414624257 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301764101632 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30777] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30777/stat : 30777 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301763050192 140302461872027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30778] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.5 cores=0,2,4,6
/proc/30767/task/30778/stat : 30778 (java) S 30764 30767 29438 0 -1 1077944384 15337 0 0 0 348 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301761996784 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30779] ppid=30764 vsize=10748324 memory=3587640 CPUtime=3.18 cores=0,2,4,6
/proc/30767/task/30779/stat : 30779 (java) S 30764 30767 29438 0 -1 1077944384 12589 0 0 0 316 2 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301760944240 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30780] ppid=30764 vsize=10748324 memory=3587640 CPUtime=1.29 cores=0,2,4,6
/proc/30767/task/30780/stat : 30780 (java) S 30764 30767 29438 0 -1 1077944384 23508 0 0 0 126 3 0 0 20 0 16 0 414624259 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301759891696 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30781] ppid=30764 vsize=10748324 memory=3587640 CPUtime=0 cores=0,2,4,6
/proc/30767/task/30781/stat : 30781 (java) S 30764 30767 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301758839392 140302461863637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30782] ppid=30764 vsize=10748324 memory=8612 CPUtime=0.82 cores=0,2,4,6
/proc/30767/task/30782/stat : 30782 (java) S 30764 30767 29438 0 -1 1077944384 2118 0 0 0 38 44 0 0 20 0 16 0 414624260 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301757786928 140302461864578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
[pid=30767/tid=30783] ppid=30764 vsize=10748324 memory=1192 CPUtime=2498.02 cores=0,2,4,6
/proc/30767/task/30783/stat : 30783 (java) R 30764 30767 29438 0 -1 4202560 100098 0 0 0 249780 22 0 0 20 0 16 0 414624443 11006283776 896910 33554432000 4194304 4196468 140725810680832 140301752123088 140302110187626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25600000 140725810689035 140725810689138 140725810689138 140725810692047 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3587640 KiB

Child status: 143
Real time (s): 2502.93
CPU time (s): 2520.09
CPU user time (s): 2516.99
CPU system time (s): 3.10774
CPU usage (%): 100.686
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 3587640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.99
system time used= 3.10774
maximum resident set size= 3587988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59713
involuntary context switches= 857


# summary of solver processes directly reported to runsolver:
#   pid: 30767
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.99
#   total CPU system time (s): 3.10774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7989 second user time and 22.7192 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 17:00:28
IDJOB=4390822
IDBENCH=141273
IDSOLVER=2832
FILE ID=node143/4390822-1568386869
RUNJOBID= node143-1568380474-29469
PBS_JOBID= 21701827
Free space on /tmp= 58764 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390822-1568386869/watcher-4390822-1568386869 -o /tmp/evaluation-result-4390822-1568386869/solver-4390822-1568386869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29469 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390822-1568386869.xml -cm

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1138934892

node143.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.73
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.73
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.73
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.73
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:        23858248 kB
MemAvailable:   31561472 kB
Buffers:          182808 kB
Cached:          7805848 kB
SwapCached:            8 kB
Active:          2504908 kB
Inactive:        5733096 kB
Active(anon):     202932 kB
Inactive(anon):   145828 kB
Active(file):    2301976 kB
Inactive(file):  5587268 kB
Unevictable:      106472 kB
Mlocked:          106472 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             90940 kB
Writeback:             0 kB
AnonPages:        439976 kB
Mapped:            60820 kB
Shmem:             90756 kB
Slab:             270840 kB
SReclaimable:     242440 kB
SUnreclaim:        28400 kB
KernelStack:        4048 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1262220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58756 MiB
End job on node143 at 2019-09-13 17:42:11