Trace number 4391122

Some explanations

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

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

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

Solver answer on this benchmark

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

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.2894
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.45/1.87	
2.45/1.87	AbsCon 2 
2.45/1.88	
15.51/10.76	  Instance
15.51/10.76	    name=instance-4391122-1568391735, framework=COP, bounds=-infty..+infty
15.51/10.76	
15.51/10.76	  Loading variables...
16.20/10.99	  Loading constraints...
28.67/16.20	
28.67/16.20	  Domains
28.67/16.20	    nTypes=49, nValues=229866, sizes=[1#4,2#1771,11#1425,12#1...142#28,143#195,150#69,151#720]
28.67/16.20	  Variables
28.67/16.20	    count=4976, degrees=[2#4277,3#4,4#14,5#20...15#55,16#21,17#4,1426#1]
28.67/16.20	  Objectives
28.67/16.20	    way=min, type=SumWeightedLE
28.67/16.20	  Constraints
28.67/16.20	    count=3813, nSpecific=1866, arities=[2#962,3#1425,6#1425,2851#1]
28.67/16.20	    distribution=[CtrExtensionCT-Table#1425,CtrIntension#1947,EQ#265,NE#175,SumWeightedLE#1]
28.67/16.20	    tables=[140#1,184#1,208#1,212#1...7156#3,7160#2,7168#2,7204#4], nTotalTuples=5534826
28.67/16.20	    nExtStructures=(1425,shared:0), nIntStructures=(391,shared:1556)
28.67/16.20	    wck=14.358, cpu=13.722, mem=1615M511
29.43/16.82	  Solver SolverBacktrack being built...
29.43/16.82	
29.43/16.87	
29.43/16.87	  Solver
29.43/16.87	    guaranteedGAC=false
29.43/16.87	    wck=15.036, cpu=14.399, mem=2177M907
35.37/21.98	
35.37/21.98	  Preprocessing
35.37/21.98	    filters=1744, revisions=(3288,useless=3287), ccks=51955046, nACremovedValues=12413, nTotalRemovedValues=12413, inconcistency=false
35.37/21.98	    wck=5.099, cpu=19.501, mem=2177M907
35.37/21.98	
36.73/22.92	    num=0, depth=415..415, filters=6192, revisions=(8687,useless=6206), ccks=58708521, wck=6.044, mem=2177M907
36.73/22.92	    decisions=435, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
36.73/22.92	    nFilterCalls=6250, avgTableProportion=0.9995454384084642, avgTableSize=3816.87296
36.73/22.92	    
37.35/23.36	    num=1, depth=417..417, filters=10636, revisions=(14082,useless=9127), ccks=60754324, wck=6.486, mem=2177M907
37.35/23.36	    decisions=874, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
37.35/23.36	    nFilterCalls=10389, avgTableProportion=0.9995443674348449, avgTableSize=3803.725575127539
37.35/23.36	    
37.82/23.75	    num=2, depth=412..412, filters=15087, revisions=(19489,useless=12051), ccks=62825011, wck=6.872, mem=2177M907
37.82/23.75	    decisions=1310, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
37.82/23.75	    nFilterCalls=14532, avgTableProportion=0.9995439873697625, avgTableSize=3798.7744288466833
37.82/23.75	    
38.25/24.13	    num=3, depth=418..418, filters=19525, revisions=(24866,useless=14959), ccks=64837167, wck=7.251, mem=2177M907
38.25/24.13	    decisions=1754, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
38.25/24.13	    nFilterCalls=18669, avgTableProportion=0.9995436212598036, avgTableSize=3793.7644758690876
38.25/24.13	    
38.65/24.52	    num=4, depth=420..420, filters=23972, revisions=(30254,useless=17870), ccks=66959528, wck=7.641, mem=2177M907
38.65/24.52	    decisions=2202, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
38.65/24.52	    nFilterCalls=22816, avgTableProportion=0.9995435350858518, avgTableSize=3792.1676893408135
38.65/24.52	    
38.97/24.89	    num=5, depth=417..417, filters=28426, revisions=(35644,useless=20776), ccks=68978999, wck=8.02, mem=2177M907
38.97/24.89	    decisions=2651, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
38.97/24.89	    nFilterCalls=26967, avgTableProportion=0.9995434765424239, avgTableSize=3790.3204286720807
38.97/24.89	    
39.37/25.28	    num=6, depth=417..417, filters=32867, revisions=(40998,useless=23657), ccks=71070971, wck=8.408, mem=2177M907
39.37/25.28	    decisions=3102, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
39.37/25.28	    nFilterCalls=31108, avgTableProportion=0.9995434026461126, avgTableSize=3789.7759418799023
39.37/25.28	    
39.80/25.67	    num=7, depth=421..421, filters=37301, revisions=(46350,useless=26545), ccks=73159813, wck=8.794, mem=2177M907
39.80/25.67	    decisions=3561, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
39.80/25.67	    nFilterCalls=35245, avgTableProportion=0.9995432906556782, avgTableSize=3788.5141438501914
39.80/25.67	    
40.22/26.06	    num=8, depth=419..419, filters=41750, revisions=(51740,useless=29458), ccks=75266561, wck=9.183, mem=2177M907
40.22/26.06	    decisions=4022, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
40.22/26.06	    nFilterCalls=39392, avgTableProportion=0.9995432303631373, avgTableSize=3787.19592810723
40.22/26.06	    
40.62/26.44	    num=9, depth=426..426, filters=46202, revisions=(57127,useless=32366), ccks=77280395, wck=9.564, mem=2177M907
40.62/26.44	    decisions=4494, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
40.62/26.44	    nFilterCalls=43548, avgTableProportion=0.999543276165261, avgTableSize=3787.6229907228803
40.62/26.44	    
41.02/26.83	    num=10, depth=432..432, filters=50655, revisions=(62515,useless=35276), ccks=79361033, wck=9.953, mem=2177M907
41.02/26.83	    decisions=4976, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
41.02/26.83	    nFilterCalls=47709, avgTableProportion=0.9995433653641528, avgTableSize=3788.57257540506
41.02/26.83	    
41.43/27.21	    num=11, depth=427..427, filters=55112, revisions=(67914,useless=38191), ccks=81418592, wck=10.338, mem=2177M907
41.43/27.21	    decisions=5459, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
41.43/27.21	    nFilterCalls=51871, avgTableProportion=0.9995434289129609, avgTableSize=3788.848393129109
41.43/27.21	    
41.75/27.60	    num=12, depth=426..426, filters=59578, revisions=(73327,useless=41111), ccks=83437949, wck=10.721, mem=2177M907
41.75/27.60	    decisions=5947, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
41.75/27.60	    nFilterCalls=56040, avgTableProportion=0.9995434873091382, avgTableSize=3788.510670949322
41.75/27.60	    
42.19/27.98	    num=13, depth=427..427, filters=64047, revisions=(78730,useless=44018), ccks=85451784, wck=11.103, mem=2208M788
42.19/27.98	    decisions=6442, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
42.19/27.98	    nFilterCalls=60214, avgTableProportion=0.9995435886377868, avgTableSize=3789.2011824492643
42.19/27.98	    
42.61/28.37	    num=14, depth=433..433, filters=68514, revisions=(84112,useless=46907), ccks=87516243, wck=11.491, mem=2208M788
42.61/28.37	    decisions=6949, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
42.61/28.37	    nFilterCalls=64392, avgTableProportion=0.999543696552749, avgTableSize=3790.270996397068
42.61/28.37	    
43.04/28.75	    num=15, depth=429..429, filters=72991, revisions=(89512,useless=49803), ccks=89530994, wck=11.872, mem=2208M788
43.04/28.75	    decisions=7460, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
43.04/28.75	    nFilterCalls=68577, avgTableProportion=0.9995438039029855, avgTableSize=3790.8041617451913
43.04/28.75	    
43.45/29.13	    num=16, depth=424..424, filters=77479, revisions=(94933,useless=52707), ccks=91530199, wck=12.252, mem=2208M788
43.45/29.13	    decisions=7974, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
43.45/29.13	    nFilterCalls=72769, avgTableProportion=0.999543882932335, avgTableSize=3790.383556184639
43.45/29.13	    
43.84/29.51	    num=17, depth=423..423, filters=81960, revisions=(100323,useless=55586), ccks=93530674, wck=12.632, mem=2208M788
43.84/29.51	    decisions=8497, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
43.84/29.51	    nFilterCalls=76955, avgTableProportion=0.999543979745477, avgTableSize=3791.104606588266
43.84/29.51	    
44.14/29.89	    num=18, depth=425..425, filters=86439, revisions=(105724,useless=58479), ccks=95522938, wck=13.011, mem=2208M788
44.14/29.89	    decisions=9032, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
44.14/29.89	    nFilterCalls=81141, avgTableProportion=0.9995440656437954, avgTableSize=3791.699843482333
44.14/29.89	    
44.55/30.26	    num=19, depth=417..417, filters=90937, revisions=(111147,useless=61373), ccks=97511607, wck=13.39, mem=2208M788
44.55/30.26	    decisions=9571, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
44.55/30.26	    nFilterCalls=85340, avgTableProportion=0.9995441309462603, avgTableSize=3791.1662292008436
44.55/30.26	    
44.95/30.65	    num=20, depth=427..427, filters=95434, revisions=(116571,useless=64272), ccks=99528494, wck=13.773, mem=2208M788
44.95/30.65	    decisions=10132, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
44.95/30.65	    nFilterCalls=89544, avgTableProportion=0.9995442465763066, avgTableSize=3792.104819976771
44.95/30.65	    
45.36/31.03	    num=21, depth=429..429, filters=99938, revisions=(121985,useless=67155), ccks=101575742, wck=14.16, mem=2208M788
45.36/31.03	    decisions=10709, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
45.36/31.03	    nFilterCalls=93757, avgTableProportion=0.9995443887604215, avgTableSize=3793.7106882686094
45.36/31.03	    
45.75/31.42	    num=22, depth=428..428, filters=104457, revisions=(127425,useless=70050), ccks=103582585, wck=14.543, mem=2208M788
45.75/31.42	    decisions=11299, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
45.75/31.42	    nFilterCalls=97982, avgTableProportion=0.9995445283884047, avgTableSize=3794.4904574309567
45.75/31.42	    
46.16/31.81	    num=23, depth=441..441, filters=108971, revisions=(132824,useless=72913), ccks=105651817, wck=14.935, mem=2208M788
46.16/31.81	    decisions=11918, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
46.16/31.81	    nFilterCalls=102212, avgTableProportion=0.9995447141191748, avgTableSize=3796.482037334168
46.16/31.81	    
46.58/32.20	    num=24, depth=435..435, filters=113495, revisions=(138243,useless=75783), ccks=107734347, wck=15.328, mem=2208M788
46.58/32.20	    decisions=12549, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
46.58/32.20	    nFilterCalls=106449, avgTableProportion=0.9995448788274337, avgTableSize=3797.6375635280747
46.58/32.20	    
46.88/32.59	    num=25, depth=434..434, filters=118029, revisions=(143669,useless=78649), ccks=109765308, wck=15.716, mem=2208M788
46.88/32.59	    decisions=13199, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
46.88/32.59	    nFilterCalls=110696, avgTableProportion=0.9995450597146806, avgTableSize=3799.005727397557
46.88/32.59	    
47.28/32.98	    num=26, depth=439..439, filters=122565, revisions=(149085,useless=81505), ccks=111770903, wck=16.103, mem=2208M788
47.28/32.98	    decisions=13876, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
47.28/32.98	    nFilterCalls=114949, avgTableProportion=0.9995452412687097, avgTableSize=3800.3277366484267
47.28/32.98	    
47.71/33.38	    num=27, depth=433..434, filters=127123, revisions=(154534,useless=84371), ccks=113777845, wck=16.503, mem=2208M788
47.71/33.38	    decisions=14571, wrong=1330, backtracks=1, failedAssignments=1330, nogoods=1314
47.71/33.38	    nFilterCalls=119220, avgTableProportion=0.9995454538939419, avgTableSize=3801.944422076833
47.71/33.38	    
48.15/33.76	    num=28, depth=438..439, filters=131687, revisions=(159973,useless=87223), ccks=115764926, wck=16.89, mem=2208M788
48.15/33.76	    decisions=15297, wrong=1474, backtracks=2, failedAssignments=1474, nogoods=1315
48.15/33.76	    nFilterCalls=123500, avgTableProportion=0.9995456971506067, avgTableSize=3804.612226720648
48.15/33.76	    
48.58/34.15	    num=29, depth=433..434, filters=136274, revisions=(165446,useless=90085), ccks=117779556, wck=17.279, mem=2208M788
48.58/34.15	    decisions=16046, wrong=1632, backtracks=3, failedAssignments=1632, nogoods=1351
48.58/34.15	    nFilterCalls=127799, avgTableProportion=0.9995459393012529, avgTableSize=3806.3192278499832
48.58/34.15	    
48.98/34.54	    num=30, depth=425..426, filters=140883, revisions=(170945,useless=92948), ccks=119784418, wck=17.667, mem=2208M788
48.98/34.54	    decisions=16819, wrong=1806, backtracks=4, failedAssignments=1806, nogoods=1407
48.98/34.54	    nFilterCalls=132115, avgTableProportion=0.9995461964135214, avgTableSize=3807.9827952919804
48.98/34.54	    
49.38/34.97	    num=31, depth=428..429, filters=145506, revisions=(176481,useless=95832), ccks=122176038, wck=18.092, mem=2208M788
49.38/34.97	    decisions=17629, wrong=1997, backtracks=5, failedAssignments=1997, nogoods=1474
49.38/34.97	    nFilterCalls=136447, avgTableProportion=0.999546482861281, avgTableSize=3810.202928609643
49.38/34.97	    
49.79/35.36	    num=32, depth=424..425, filters=150135, revisions=(182017,useless=98710), ccks=124233225, wck=18.487, mem=2208M788
49.79/35.36	    decisions=18475, wrong=2208, backtracks=6, failedAssignments=2208, nogoods=1563
49.79/35.36	    nFilterCalls=140784, avgTableProportion=0.9995467619355879, avgTableSize=3812.310049437436
49.79/35.36	    
50.19/35.76	    num=33, depth=420..421, filters=154794, revisions=(187594,useless=101598), ccks=126343078, wck=18.887, mem=2208M788
50.19/35.76	    decisions=19359, wrong=2440, backtracks=7, failedAssignments=2440, nogoods=1671
50.19/35.76	    nFilterCalls=145147, avgTableProportion=0.9995470786253043, avgTableSize=3814.8107711492485
50.19/35.76	    
50.60/36.15	    num=34, depth=422..424, filters=159470, revisions=(193173,useless=104473), ccks=128336361, wck=19.277, mem=2208M788
50.60/36.15	    decisions=20291, wrong=2695, backtracks=9, failedAssignments=2695, nogoods=1739
50.60/36.15	    nFilterCalls=149529, avgTableProportion=0.9995473357640295, avgTableSize=3815.1899965892903
50.60/36.15	    
51.04/36.55	    num=35, depth=424..426, filters=164181, revisions=(198795,useless=107355), ccks=130368502, wck=19.674, mem=2208M788
51.04/36.55	    decisions=21277, wrong=2976, backtracks=11, failedAssignments=2976, nogoods=1761
51.04/36.55	    nFilterCalls=153947, avgTableProportion=0.9995477273569057, avgTableSize=3818.6529325027445
51.04/36.55	    
51.46/36.95	    num=36, depth=426..428, filters=168920, revisions=(204439,useless=110233), ccks=132388831, wck=20.071, mem=2208M788
51.46/36.95	    decisions=22321, wrong=3285, backtracks=13, failedAssignments=3285, nogoods=1839
51.46/36.95	    nFilterCalls=158393, avgTableProportion=0.9995481145123973, avgTableSize=3821.1537946752696
51.46/36.95	    
51.86/37.36	    num=37, depth=430..433, filters=173685, revisions=(210106,useless=113109), ccks=134513467, wck=20.481, mem=2208M788
51.86/37.36	    decisions=23431, wrong=3625, backtracks=16, failedAssignments=3625, nogoods=1862
51.86/37.36	    nFilterCalls=162870, avgTableProportion=0.9995485076669685, avgTableSize=3823.015582980291
51.86/37.36	    
52.26/37.76	    num=38, depth=430..433, filters=178486, revisions=(215815,useless=115991), ccks=136613181, wck=20.889, mem=2208M788
52.26/37.76	    decisions=24609, wrong=3999, backtracks=19, failedAssignments=3999, nogoods=1874
52.26/37.76	    nFilterCalls=167382, avgTableProportion=0.9995489778211456, avgTableSize=3826.4905425911984
52.26/37.76	    
52.67/38.17	    num=39, depth=429..432, filters=183332, revisions=(221570,useless=118875), ccks=138638124, wck=21.292, mem=2208M788
52.67/38.17	    decisions=25860, wrong=4410, backtracks=22, failedAssignments=4410, nogoods=1947
52.67/38.17	    nFilterCalls=171937, avgTableProportion=0.9995494696843849, avgTableSize=3829.5028353408516
52.67/38.17	    
53.07/38.58	    num=40, depth=417..427, filters=188226, revisions=(227373,useless=121763), ccks=140739509, wck=21.704, mem=2208M788
53.07/38.58	    decisions=27181, wrong=4862, backtracks=32, failedAssignments=4862, nogoods=1970
53.07/38.58	    nFilterCalls=176531, avgTableProportion=0.9995494392733035, avgTableSize=3825.013889911687
53.07/38.58	    
53.47/38.99	    num=41, depth=410..425, filters=193170, revisions=(233222,useless=124653), ccks=142849966, wck=22.119, mem=2208M788
53.47/38.99	    decisions=28585, wrong=5359, backtracks=47, failedAssignments=5359, nogoods=1988
53.47/38.99	    nFilterCalls=181167, avgTableProportion=0.9995491572733305, avgTableSize=3819.1526216143116
53.47/38.99	    
54.01/39.41	    num=42, depth=423..428, filters=198150, revisions=(239119,useless=127546), ccks=144958341, wck=22.538, mem=2208M788
54.01/39.41	    decisions=30102, wrong=5906, backtracks=52, failedAssignments=5906, nogoods=2031
54.01/39.41	    nFilterCalls=185851, avgTableProportion=0.9995497431498898, avgTableSize=3821.8051180784605
54.01/39.41	    
54.41/39.83	    num=43, depth=418..423, filters=203185, revisions=(245078,useless=130445), ccks=147017051, wck=22.953, mem=2208M788
54.41/39.83	    decisions=31724, wrong=6508, backtracks=57, failedAssignments=6508, nogoods=2104
54.41/39.83	    nFilterCalls=190586, avgTableProportion=0.9995503906135479, avgTableSize=3825.3012498294734
54.41/39.83	    
54.81/40.24	    num=44, depth=424..428, filters=208275, revisions=(251087,useless=133340), ccks=149033083, wck=23.368, mem=2208M788
54.81/40.24	    decisions=33472, wrong=7170, backtracks=61, failedAssignments=7170, nogoods=2191
54.81/40.24	    nFilterCalls=195380, avgTableProportion=0.9995512380259864, avgTableSize=3834.667079537312
54.81/40.24	    
55.21/40.66	    num=45, depth=421..426, filters=213432, revisions=(257172,useless=136244), ccks=151063999, wck=23.789, mem=2208M788
55.21/40.66	    decisions=35349, wrong=7898, backtracks=66, failedAssignments=7898, nogoods=2305
55.21/40.66	    nFilterCalls=200239, avgTableProportion=0.9995520629378755, avgTableSize=3841.231822971549
55.21/40.66	    
55.62/41.09	    num=46, depth=419..425, filters=218662, revisions=(263325,useless=139143), ccks=153082875, wck=24.212, mem=2208M788
55.62/41.09	    decisions=37370, wrong=8699, backtracks=72, failedAssignments=8699, nogoods=2357
55.62/41.09	    nFilterCalls=205170, avgTableProportion=0.999552956900568, avgTableSize=3848.5974362723596
55.62/41.09	    
56.11/41.51	    num=47, depth=422..429, filters=223965, revisions=(269536,useless=142030), ccks=155099706, wck=24.639, mem=2208M788
56.11/41.51	    decisions=39554, wrong=9580, backtracks=79, failedAssignments=9580, nogoods=2378
56.11/41.51	    nFilterCalls=210176, avgTableProportion=0.9995538996274601, avgTableSize=3856.0468083891597
56.11/41.51	    
56.51/41.94	    num=48, depth=414..420, filters=229365, revisions=(275851,useless=144920), ccks=157088723, wck=25.066, mem=2208M788
56.51/41.94	    decisions=41908, wrong=10550, backtracks=85, failedAssignments=10550, nogoods=2485
56.51/41.94	    nFilterCalls=215274, avgTableProportion=0.9995550163648993, avgTableSize=3868.1959177606213
56.51/41.94	    
56.91/42.37	    num=49, depth=407..419, filters=234870, revisions=(282271,useless=147816), ccks=159103508, wck=25.5, mem=2208M788
56.91/42.37	    decisions=44449, wrong=11617, backtracks=97, failedAssignments=11617, nogoods=2545
56.91/42.37	    nFilterCalls=220470, avgTableProportion=0.9995557793870984, avgTableSize=3868.425019276999
56.91/42.37	    
57.41/42.82	    num=50, depth=413..422, filters=240469, revisions=(288775,useless=150697), ccks=161132852, wck=25.942, mem=2208M788
57.41/42.82	    decisions=47208, wrong=12790, backtracks=106, failedAssignments=12790, nogoods=2594
57.41/42.82	    nFilterCalls=225768, avgTableProportion=0.9995569668941202, avgTableSize=3878.1810265405193
57.41/42.82	    
57.81/43.26	    num=51, depth=413..423, filters=246182, revisions=(295397,useless=153585), ccks=163124883, wck=26.386, mem=2208M788
57.81/43.26	    decisions=50203, wrong=14081, backtracks=116, failedAssignments=14081, nogoods=2656
57.81/43.26	    nFilterCalls=231179, avgTableProportion=0.9995582208404398, avgTableSize=3888.0518169902975
57.81/43.26	    
58.31/43.71	    num=52, depth=400..413, filters=252037, revisions=(302165,useless=156477), ccks=165135779, wck=26.837, mem=2208M788
58.31/43.71	    decisions=53443, wrong=15501, backtracks=129, failedAssignments=15501, nogoods=2699
58.31/43.71	    nFilterCalls=236722, avgTableProportion=0.9995594217253589, avgTableSize=3894.185669266059
58.31/43.71	    
58.72/44.17	    num=53, depth=399..417, filters=258039, revisions=(309077,useless=159372), ccks=167139071, wck=27.295, mem=2208M788
58.72/44.17	    decisions=56966, wrong=17063, backtracks=147, failedAssignments=17063, nogoods=2750
58.72/44.17	    nFilterCalls=242409, avgTableProportion=0.9995604430951972, avgTableSize=3894.673337211077
58.72/44.17	    
59.22/44.64	    num=54, depth=406..419, filters=264188, revisions=(316135,useless=162261), ccks=169136872, wck=27.762, mem=2208M788
59.22/44.64	    decisions=60808, wrong=18781, backtracks=160, failedAssignments=18781, nogoods=2844
59.22/44.64	    nFilterCalls=248250, avgTableProportion=0.9995620188653966, avgTableSize=3907.8019738167172
59.22/44.64	    
59.73/45.11	    num=55, depth=405..420, filters=270508, revisions=(323365,useless=165155), ccks=171120790, wck=28.237, mem=2208M788
59.73/45.11	    decisions=64993, wrong=20671, backtracks=175, failedAssignments=20671, nogoods=2890
59.73/45.11	    nFilterCalls=254260, avgTableProportion=0.9995636841528363, avgTableSize=3921.099103280107
59.73/45.11	    
60.22/45.60	    num=56, depth=400..416, filters=277025, revisions=(330805,useless=168061), ccks=173152310, wck=28.726, mem=2208M788
60.22/45.60	    decisions=69551, wrong=22750, backtracks=191, failedAssignments=22750, nogoods=2970
60.22/45.60	    nFilterCalls=260463, avgTableProportion=0.9995654898017677, avgTableSize=3936.009840169237
60.22/45.60	    
60.63/46.10	    num=57, depth=403..419, filters=283745, revisions=(338431,useless=170952), ccks=175141510, wck=29.222, mem=2208M788
60.63/46.10	    decisions=74528, wrong=25037, backtracks=207, failedAssignments=25037, nogoods=3002
60.63/46.10	    nFilterCalls=266871, avgTableProportion=0.9995675626804826, avgTableSize=3957.8800056956356
60.63/46.10	    
61.22/46.61	    num=58, depth=393..422, filters=290716, revisions=(346288,useless=173838), ccks=177186769, wck=29.735, mem=2208M788
61.22/46.61	    decisions=79953, wrong=27553, backtracks=236, failedAssignments=27553, nogoods=3083
61.22/46.61	    nFilterCalls=273516, avgTableProportion=0.9995690010417206, avgTableSize=3958.2612717354746
61.22/46.61	    
61.73/47.14	    num=59, depth=380..419, filters=297942, revisions=(354395,useless=176727), ccks=179247273, wck=30.262, mem=2208M788
61.73/47.14	    decisions=85869, wrong=30321, backtracks=275, failedAssignments=30321, nogoods=3122
61.73/47.14	    nFilterCalls=280405, avgTableProportion=0.9995701653125973, avgTableSize=3952.9632388866103
61.73/47.14	    
62.22/47.68	    num=60, depth=405..426, filters=305430, revisions=(362796,useless=179632), ccks=181289529, wck=30.804, mem=2208M788
62.22/47.68	    decisions=92362, wrong=33365, backtracks=296, failedAssignments=33365, nogoods=3143
62.22/47.68	    nFilterCalls=287578, avgTableProportion=0.9995727668654988, avgTableSize=3981.8391253851128
62.22/47.68	    
62.84/48.24	    num=61, depth=405..434, filters=313231, revisions=(371491,useless=182532), ccks=183345847, wck=31.366, mem=2208M788
62.84/48.24	    decisions=99465, wrong=36714, backtracks=325, failedAssignments=36714, nogoods=3241
62.84/48.24	    nFilterCalls=295059, avgTableProportion=0.9995751856848717, avgTableSize=3998.537902588974
62.84/48.24	    
63.47/48.82	    num=62, depth=349..434, filters=321418, revisions=(380514,useless=185424), ccks=185350057, wck=31.941, mem=2208M788
63.47/48.82	    decisions=107182, wrong=40398, backtracks=410, failedAssignments=40398, nogoods=3271
63.47/48.82	    nFilterCalls=302876, avgTableProportion=0.9995750665085605, avgTableSize=3977.9003090373617
63.47/48.82	    
64.07/49.41	    num=63, depth=385..425, filters=329934, revisions=(389914,useless=188318), ccks=187385718, wck=32.535, mem=2208M788
64.07/49.41	    decisions=115671, wrong=44450, backtracks=450, failedAssignments=44450, nogoods=3284
64.07/49.41	    nFilterCalls=311059, avgTableProportion=0.9995775666264034, avgTableSize=3989.0887291478466
64.07/49.41	    
64.68/50.02	    num=64, depth=377..422, filters=338864, revisions=(399729,useless=191218), ccks=189405828, wck=33.15, mem=2208M788
64.68/50.02	    decisions=124962, wrong=48907, backtracks=495, failedAssignments=48907, nogoods=3332
64.68/50.02	    nFilterCalls=319650, avgTableProportion=0.9995803347072912, avgTableSize=4004.0645017988427
64.68/50.02	    
65.29/50.67	    num=65, depth=391..427, filters=348227, revisions=(409980,useless=194114), ccks=191424663, wck=33.796, mem=2208M788
65.29/50.67	    decisions=135159, wrong=53810, backtracks=531, failedAssignments=53810, nogoods=3396
65.29/50.67	    nFilterCalls=328686, avgTableProportion=0.9995839434181808, avgTableSize=4044.70525060392
65.29/50.67	    
65.99/51.34	    num=66, depth=377..425, filters=358093, revisions=(420731,useless=197018), ccks=193437303, wck=34.468, mem=2208M788
65.99/51.34	    decisions=146324, wrong=59204, backtracks=579, failedAssignments=59204, nogoods=3452
65.99/51.34	    nFilterCalls=338212, avgTableProportion=0.9995873955123137, avgTableSize=4072.632993507031
65.99/51.34	    
66.70/52.04	    num=67, depth=375..424, filters=368498, revisions=(432016,useless=199917), ccks=195461311, wck=35.164, mem=2208M788
66.70/52.04	    decisions=158565, wrong=65137, backtracks=628, failedAssignments=65137, nogoods=3567
66.70/52.04	    nFilterCalls=348276, avgTableProportion=0.9995910747934443, avgTableSize=4103.488256440294
66.70/52.04	    
67.39/52.76	    num=68, depth=362..424, filters=379514, revisions=(443910,useless=202827), ccks=197492472, wck=35.884, mem=2208M788
67.39/52.76	    decisions=171979, wrong=71663, backtracks=690, failedAssignments=71663, nogoods=3584
67.39/52.76	    nFilterCalls=358935, avgTableProportion=0.9995944484372474, avgTableSize=4119.975207210219
67.39/52.76	    
68.20/53.52	    num=69, depth=344..429, filters=391199, revisions=(456434,useless=205722), ccks=199564508, wck=36.644, mem=2208M788
68.20/53.52	    decisions=186681, wrong=78842, backtracks=775, failedAssignments=78842, nogoods=3624
68.20/53.52	    nFilterCalls=370246, avgTableProportion=0.9995972080543659, avgTableSize=4119.70433171459
68.20/53.52	    
69.01/54.32	    num=70, depth=372..435, filters=403570, revisions=(469642,useless=208592), ccks=201637065, wck=37.445, mem=2208M788
69.01/54.32	    decisions=202847, wrong=86739, backtracks=838, failedAssignments=86739, nogoods=3647
69.01/54.32	    nFilterCalls=382273, avgTableProportion=0.9996015275290399, avgTableSize=4156.7355240888055
69.01/54.32	    
69.82/55.16	    num=71, depth=369..430, filters=416803, revisions=(483661,useless=211479), ccks=203623907, wck=38.288, mem=2208M788
69.82/55.16	    decisions=220638, wrong=95426, backtracks=910, failedAssignments=95426, nogoods=3684
69.82/55.16	    nFilterCalls=395150, avgTableProportion=0.9996059324994809, avgTableSize=4191.032969758319
69.82/55.16	    
70.72/56.04	    num=72, depth=361..427, filters=430843, revisions=(498549,useless=214362), ccks=205636656, wck=39.169, mem=2208M788
70.72/56.04	    decisions=240109, wrong=104981, backtracks=976, failedAssignments=104981, nogoods=3736
70.72/56.04	    nFilterCalls=408836, avgTableProportion=0.9996111039215504, avgTableSize=4250.67173145222
70.72/56.04	    
71.62/56.97	    num=73, depth=327..426, filters=445869, revisions=(514392,useless=217247), ccks=207644424, wck=40.094, mem=2208M788
71.62/56.97	    decisions=261458, wrong=115492, backtracks=1075, failedAssignments=115492, nogoods=3754
71.62/56.97	    nFilterCalls=423475, avgTableProportion=0.9996153468722546, avgTableSize=4271.1393706830395
71.62/56.97	    
72.62/57.95	    num=74, depth=259..424, filters=462019, revisions=(531309,useless=220146), ccks=209646567, wck=41.072, mem=2208M788
72.62/57.95	    decisions=284841, wrong=127054, backtracks=1240, failedAssignments=127054, nogoods=3767
72.62/57.95	    nFilterCalls=439171, avgTableProportion=0.9996176392080645, avgTableSize=4251.430192339658
72.62/57.95	    
73.73/59.02	    num=75, depth=296..430, filters=479454, revisions=(549367,useless=223034), ccks=211666033, wck=42.141, mem=2208M788
73.73/59.02	    decisions=310689, wrong=139772, backtracks=1390, failedAssignments=139772, nogoods=3797
73.73/59.02	    nFilterCalls=456158, avgTableProportion=0.9996212305308998, avgTableSize=4250.410590190241
73.73/59.02	    
74.83/60.17	    num=76, depth=341..435, filters=498279, revisions=(568712,useless=225936), ccks=213714691, wck=43.293, mem=2208M788
74.83/60.17	    decisions=339085, wrong=153762, backtracks=1568, failedAssignments=153762, nogoods=3804
74.83/60.17	    nFilterCalls=474448, avgTableProportion=0.9996248472679733, avgTableSize=4273.026363268472
74.83/60.17	    
76.02/61.36	    num=77, depth=335..431, filters=518306, revisions=(589453,useless=228834), ccks=215746018, wck=44.489, mem=2208M788
76.02/61.36	    decisions=370198, wrong=169151, backtracks=1724, failedAssignments=169151, nogoods=3834
76.02/61.36	    nFilterCalls=494035, avgTableProportion=0.9996295826223746, avgTableSize=4295.40274069651
76.02/61.36	    
77.32/62.65	    num=78, depth=362..430, filters=539842, revisions=(611709,useless=231715), ccks=217809388, wck=45.771, mem=2208M788
77.32/62.65	    decisions=404424, wrong=186079, backtracks=1850, failedAssignments=186079, nogoods=3893
77.32/62.65	    nFilterCalls=515160, avgTableProportion=0.9996359832608395, avgTableSize=4364.224202189611
77.32/62.65	    
78.73/64.02	    num=79, depth=311..431, filters=563150, revisions=(635650,useless=234591), ccks=219855130, wck=47.15, mem=2208M788
78.73/64.02	    decisions=442076, wrong=204700, backtracks=1989, failedAssignments=204700, nogoods=3934
78.73/64.02	    nFilterCalls=538030, avgTableProportion=0.999642551512959, avgTableSize=4436.984945077412
78.73/64.02	    
80.23/65.50	    num=80, depth=301..434, filters=588385, revisions=(661476,useless=237480), ccks=221912080, wck=48.629, mem=2208M788
80.23/65.50	    decisions=483412, wrong=225184, backtracks=2186, failedAssignments=225184, nogoods=3972
80.23/65.50	    nFilterCalls=562785, avgTableProportion=0.999647841783156, avgTableSize=4471.273436569915
80.23/65.50	    
81.75/67.10	    num=81, depth=301..439, filters=615774, revisions=(689351,useless=240379), ccks=223992525, wck=50.225, mem=2208M788
81.75/67.10	    decisions=528861, wrong=247716, backtracks=2377, failedAssignments=247716, nogoods=4088
81.75/67.10	    nFilterCalls=589588, avgTableProportion=0.9996539378756463, avgTableSize=4516.182323927896
81.75/67.10	    
83.54/68.84	    num=82, depth=253..435, filters=645616, revisions=(719486,useless=243278), ccks=226132562, wck=51.969, mem=2208M788
83.54/68.84	    decisions=578839, wrong=272501, backtracks=2710, failedAssignments=272501, nogoods=4101
83.54/68.84	    nFilterCalls=618817, avgTableProportion=0.9996570479112755, avgTableSize=4506.500395108732
83.54/68.84	    
85.45/70.70	    num=83, depth=210..430, filters=677772, revisions=(752112,useless=246184), ccks=228285824, wck=53.826, mem=2208M788
85.45/70.70	    decisions=633768, wrong=299765, backtracks=2957, failedAssignments=299765, nogoods=4205
85.45/70.70	    nFilterCalls=650437, avgTableProportion=0.9996630061191314, avgTableSize=4543.352292381891
85.45/70.70	    
87.35/72.69	    num=84, depth=290..436, filters=712552, revisions=(787453,useless=249084), ccks=230451251, wck=55.82, mem=2208M788
87.35/72.69	    decisions=694104, wrong=329755, backtracks=3181, failedAssignments=329755, nogoods=4232
87.35/72.69	    nFilterCalls=684710, avgTableProportion=0.9996702778551733, avgTableSize=4626.2724452688
87.35/72.69	    
89.55/74.86	    num=85, depth=216..436, filters=750559, revisions=(825794,useless=251990), ccks=232566205, wck=57.982, mem=2208M788
89.55/74.86	    decisions=760474, wrong=362744, backtracks=3505, failedAssignments=362744, nogoods=4283
89.55/74.86	    nFilterCalls=722113, avgTableProportion=0.9996756546275066, avgTableSize=4646.84573882481
89.55/74.86	    
91.96/77.21	    num=86, depth=243..426, filters=792011, revisions=(867468,useless=254927), ccks=234800029, wck=60.335, mem=2208M788
91.96/77.21	    decisions=833450, wrong=399032, backtracks=3890, failedAssignments=399032, nogoods=4313
91.96/77.21	    nFilterCalls=762890, avgTableProportion=0.9996803644162303, avgTableSize=4650.01247624166
91.96/77.21	    
94.46/79.79	    num=87, depth=235..427, filters=837283, revisions=(912738,useless=257838), ccks=236982922, wck=62.911, mem=2208M788
94.46/79.79	    decisions=913708, wrong=438949, backtracks=4368, failedAssignments=438949, nogoods=4334
94.46/79.79	    nFilterCalls=807411, avgTableProportion=0.9996845572773152, avgTableSize=4675.873889506088
94.46/79.79	    
97.26/82.51	    num=88, depth=281..420, filters=886201, revisions=(961990,useless=260744), ccks=239130972, wck=65.64, mem=2208M788
97.26/82.51	    decisions=1001807, wrong=482858, backtracks=4745, failedAssignments=482858, nogoods=4377
97.26/82.51	    nFilterCalls=855671, avgTableProportion=0.9996911778803979, avgTableSize=4739.134526003569
97.26/82.51	    
100.16/85.49	    num=89, depth=213..424, filters=939695, revisions=(1015650,useless=263666), ccks=241249136, wck=68.613, mem=2208M788
100.16/85.49	    decisions=1098752, wrong=531158, backtracks=5163, failedAssignments=531158, nogoods=4453
100.16/85.49	    nFilterCalls=908428, avgTableProportion=0.9996975990695589, avgTableSize=4787.295092181219
100.16/85.49	    
103.46/88.72	    num=90, depth=288..414, filters=998171, revisions=(1074153,useless=266593), ccks=243330191, wck=71.843, mem=2208M788
103.46/88.72	    decisions=1205309, wrong=584288, backtracks=5632, failedAssignments=584288, nogoods=4568
103.46/88.72	    nFilterCalls=966027, avgTableProportion=0.9997038228398863, avgTableSize=4841.158674654021
103.46/88.72	    
107.07/92.31	    num=91, depth=321..419, filters=1062394, revisions=(1137976,useless=269535), ccks=245716706, wck=75.433, mem=2239M581
107.07/92.31	    decisions=1322603, wrong=642731, backtracks=6263, failedAssignments=642731, nogoods=4683
107.07/92.31	    nFilterCalls=1029206, avgTableProportion=0.9997082885354783, avgTableSize=4870.292987021063
107.07/92.31	    
110.88/96.16	    num=92, depth=279..416, filters=1132123, revisions=(1207614,useless=272459), ccks=248045856, wck=79.288, mem=2239M581
110.88/96.16	    decisions=1451487, wrong=707018, backtracks=6842, failedAssignments=707018, nogoods=4793
110.88/96.16	    nFilterCalls=1098070, avgTableProportion=0.9997141127011875, avgTableSize=4919.445691076161
110.88/96.16	    
115.07/100.35	    num=93, depth=232..412, filters=1208410, revisions=(1283705,useless=275408), ccks=250157650, wck=83.479, mem=2239M581
115.07/100.35	    decisions=1593326, wrong=777734, backtracks=7442, failedAssignments=777734, nogoods=4852
115.07/100.35	    nFilterCalls=1173479, avgTableProportion=0.9997203578703439, avgTableSize=4972.081135665828
115.07/100.35	    
119.67/104.96	    num=94, depth=230..414, filters=1291983, revisions=(1366886,useless=278360), ccks=252387237, wck=88.085, mem=2239M581
119.67/104.96	    decisions=1749271, wrong=855521, backtracks=8161, failedAssignments=855521, nogoods=4962
119.67/104.96	    nFilterCalls=1256057, avgTableProportion=0.9997260337837136, avgTableSize=5045.687852541724
119.67/104.96	    
124.67/109.97	    num=95, depth=269..413, filters=1383639, revisions=(1457850,useless=281315), ccks=254561335, wck=93.095, mem=2239M581
124.67/109.97	    decisions=1920781, wrong=941087, backtracks=8978, failedAssignments=941087, nogoods=4979
124.67/109.97	    nFilterCalls=1346522, avgTableProportion=0.9997307855705009, avgTableSize=5062.703115136626
124.67/109.97	    
130.18/115.43	    num=96, depth=285..416, filters=1483734, revisions=(1557360,useless=284263), ccks=256744398, wck=98.551, mem=2239M581
130.18/115.43	    decisions=2109353, wrong=1035210, backtracks=9819, failedAssignments=1035210, nogoods=5068
130.18/115.43	    nFilterCalls=1445512, avgTableProportion=0.9997361762614057, avgTableSize=5114.908894564694
130.18/115.43	    
136.08/121.39	    num=97, depth=210..410, filters=1593588, revisions=(1666299,useless=287225), ccks=258942783, wck=104.52, mem=2239M581
136.08/121.39	    decisions=2316760, wrong=1138745, backtracks=10747, failedAssignments=1138745, nogoods=5164
136.08/121.39	    nFilterCalls=1554014, avgTableProportion=0.9997412395511568, avgTableSize=5148.521125292307
136.08/121.39	    
142.68/127.91	    num=98, depth=222..417, filters=1713765, revisions=(1785617,useless=290200), ccks=261158037, wck=111.036, mem=2239M581
142.68/127.91	    decisions=2544881, wrong=1252634, backtracks=11734, failedAssignments=1252634, nogoods=5288
142.68/127.91	    nFilterCalls=1672943, avgTableProportion=0.9997464469745979, avgTableSize=5193.838967018004
142.68/127.91	    
149.80/135.09	    num=99, depth=208..419, filters=1846287, revisions=(1916292,useless=293147), ccks=263408915, wck=118.217, mem=2239M581
149.80/135.09	    decisions=2795840, wrong=1377912, backtracks=12986, failedAssignments=1377912, nogoods=5301
149.80/135.09	    nFilterCalls=1803585, avgTableProportion=0.9997498181168594, avgTableSize=5196.018436059293
149.80/135.09	    
157.69/142.96	    num=100, depth=245..419, filters=1991107, revisions=(2059466,useless=296089), ccks=265723952, wck=126.082, mem=2239M581
157.69/142.96	    decisions=3071830, wrong=1515718, backtracks=14340, failedAssignments=1515718, nogoods=5319
157.69/142.96	    nFilterCalls=1946817, avgTableProportion=0.9997535990034171, avgTableSize=5230.181481361627
157.69/142.96	    
166.29/151.55	    num=101, depth=244..411, filters=2150431, revisions=(2216444,useless=299044), ccks=267947793, wck=134.671, mem=2239M581
166.29/151.55	    decisions=3375308, wrong=1667304, backtracks=15766, failedAssignments=1667304, nogoods=5328
166.29/151.55	    nFilterCalls=2103833, avgTableProportion=0.9997574282383548, avgTableSize=5249.085244408658
166.29/151.55	    
175.69/161.00	    num=102, depth=224..412, filters=2325600, revisions=(2388609,useless=302033), ccks=270143906, wck=144.123, mem=2270M374
175.69/161.00	    decisions=3709157, wrong=1834049, backtracks=17610, failedAssignments=1834049, nogoods=5372
175.69/161.00	    nFilterCalls=2276479, avgTableProportion=0.9997594458516086, avgTableSize=5241.658168162325
175.69/161.00	    
186.10/171.35	    num=103, depth=276..398, filters=2517471, revisions=(2577491,useless=305046), ccks=272770976, wck=154.473, mem=2270M374
186.10/171.35	    decisions=4076346, wrong=2017468, backtracks=19283, failedAssignments=2017468, nogoods=5391
186.10/171.35	    nFilterCalls=2465635, avgTableProportion=0.9997636251312554, avgTableSize=5294.723641171544
186.10/171.35	    
197.61/182.85	    num=104, depth=207..393, filters=2729943, revisions=(2784706,useless=308065), ccks=275163311, wck=165.973, mem=2270M374
197.61/182.85	    decisions=4480190, wrong=2219229, backtracks=22094, failedAssignments=2219229, nogoods=5411
197.61/182.85	    nFilterCalls=2674231, avgTableProportion=0.99976187582361, avgTableSize=5242.239566065909
197.61/182.85	    
210.10/195.31	    num=105, depth=245..416, filters=2960690, revisions=(3012030,useless=311030), ccks=277508806, wck=178.437, mem=2270M374
210.10/195.31	    decisions=4924429, wrong=2441167, backtracks=24295, failedAssignments=2441167, nogoods=5430
210.10/195.31	    nFilterCalls=2902421, avgTableProportion=0.9997655638669157, avgTableSize=5305.747606911609
210.10/195.31	    
223.62/208.89	    num=106, depth=225..414, filters=3213178, revisions=(3261515,useless=313982), ccks=279943391, wck=192.013, mem=2270M374
223.62/208.89	    decisions=5413080, wrong=2685298, backtracks=26336, failedAssignments=2685298, nogoods=5449
223.62/208.89	    nFilterCalls=3152655, avgTableProportion=0.9997704354925997, avgTableSize=5373.673617633392
223.62/208.89	    
238.52/223.78	    num=107, depth=203..423, filters=3491576, revisions=(3535442,useless=316967), ccks=282446775, wck=206.906, mem=2270M374
238.52/223.78	    decisions=5950521, wrong=2953843, backtracks=28867, failedAssignments=2953843, nogoods=5468
238.52/223.78	    nFilterCalls=3427753, avgTableProportion=0.9997733923328893, avgTableSize=5380.46649189717
238.52/223.78	    
255.12/240.33	    num=108, depth=209..411, filters=3799516, revisions=(3836302,useless=320015), ccks=285104810, wck=223.451, mem=2301M167
255.12/240.33	    decisions=6541601, wrong=3249242, backtracks=32906, failedAssignments=3249242, nogoods=5502
255.12/240.33	    nFilterCalls=3731155, avgTableProportion=0.9997706560134615, avgTableSize=5273.155007229665
255.12/240.33	    
273.02/258.28	    num=109, depth=221..422, filters=4135135, revisions=(4166597,useless=322969), ccks=287791646, wck=241.404, mem=2301M167
273.02/258.28	    decisions=7191844, wrong=3574181, backtracks=35691, failedAssignments=3574181, nogoods=5521
273.02/258.28	    nFilterCalls=4062917, avgTableProportion=0.9997748976177242, avgTableSize=5315.245818952246
273.02/258.28	    
292.63/277.89	    num=110, depth=211..413, filters=4502575, revisions=(4529380,useless=325921), ccks=290379488, wck=261.02, mem=2301M167
292.63/277.89	    decisions=7907015, wrong=3931614, backtracks=38614, failedAssignments=3931614, nogoods=5649
292.63/277.89	    nFilterCalls=4427244, avgTableProportion=0.9997793941061769, avgTableSize=5382.004242820139
292.63/277.89	    
314.24/299.47	    num=111, depth=220..422, filters=4906652, revisions=(4927960,useless=328907), ccks=292933978, wck=282.595, mem=2331M960
314.24/299.47	    decisions=8693702, wrong=4324790, backtracks=41687, failedAssignments=4324790, nogoods=5673
314.24/299.47	    nFilterCalls=4827514, avgTableProportion=0.999784113491756, avgTableSize=5462.472066989345
314.24/299.47	    
338.24/323.41	    num=112, depth=208..435, filters=5354080, revisions=(5365932,useless=331974), ccks=295625667, wck=306.538, mem=2331M960
338.24/323.41	    decisions=9559112, wrong=4757284, backtracks=46398, failedAssignments=4757284, nogoods=5756
338.24/323.41	    nFilterCalls=5268819, avgTableProportion=0.9997842316131033, avgTableSize=5423.382844808296
338.24/323.41	    
364.45/349.69	    num=113, depth=211..429, filters=5845523, revisions=(5847267,useless=335147), ccks=298266397, wck=332.811, mem=2331M960
364.45/349.69	    decisions=10510878, wrong=5233028, backtracks=52313, failedAssignments=5233028, nogoods=5920
364.45/349.69	    nFilterCalls=5754443, avgTableProportion=0.9997820037330071, avgTableSize=5351.173935861386
364.45/349.69	    
393.05/378.28	    num=114, depth=212..424, filters=6382664, revisions=(6376075,useless=338214), ccks=301327015, wck=361.401, mem=2362M754
393.05/378.28	    decisions=11557892, wrong=5756346, backtracks=57107, failedAssignments=5756346, nogoods=6017
393.05/378.28	    nFilterCalls=6286626, avgTableProportion=0.9997849047574576, avgTableSize=5388.594564079364
393.05/378.28	    
424.47/409.66	    num=115, depth=252..424, filters=6971958, revisions=(6957149,useless=341214), ccks=304243751, wck=392.786, mem=2362M754
424.47/409.66	    decisions=12709592, wrong=6331996, backtracks=61847, failedAssignments=6331996, nogoods=6068
424.47/409.66	    nFilterCalls=6871112, avgTableProportion=0.9997887522817027, avgTableSize=5449.6383834232365
424.47/409.66	    
459.17/444.37	    num=116, depth=230..417, filters=7623536, revisions=(7595821,useless=344236), ccks=307183925, wck=427.492, mem=2393M547
459.17/444.37	    decisions=13976380, wrong=6965211, backtracks=68116, failedAssignments=6965211, nogoods=6145
459.17/444.37	    nFilterCalls=7514658, avgTableProportion=0.9997901645136306, avgTableSize=5457.65903598008
459.17/444.37	    
497.38/482.52	    num=117, depth=209..425, filters=8338770, revisions=(8297742,useless=347208), ccks=310119830, wck=465.646, mem=2393M547
497.38/482.52	    decisions=15369834, wrong=7661747, backtracks=74985, failedAssignments=7661747, nogoods=6223
497.38/482.52	    nFilterCalls=8222132, avgTableProportion=0.9997919932285627, avgTableSize=5502.1634101714735
497.38/482.52	    
539.10/524.22	    num=118, depth=204..425, filters=9124655, revisions=(9069408,useless=350274), ccks=313142927, wck=507.347, mem=2424M340
539.10/524.22	    decisions=16902578, wrong=8427937, backtracks=81546, failedAssignments=8427937, nogoods=6231
539.10/524.22	    nFilterCalls=8998930, avgTableProportion=0.9997948671042944, avgTableSize=5539.041644951122
539.10/524.22	    
585.11/570.26	    num=119, depth=210..418, filters=9990847, revisions=(9917700,useless=353345), ccks=316120836, wck=553.388, mem=2424M340
585.11/570.26	    decisions=18588561, wrong=9270746, backtracks=89911, failedAssignments=9270746, nogoods=6268
585.11/570.26	    nFilterCalls=9854157, avgTableProportion=0.9997955423172643, avgTableSize=5529.971727972266
585.11/570.26	    
635.93/621.07	    num=120, depth=218..415, filters=10943874, revisions=(10850434,useless=356542), ccks=319317485, wck=604.193, mem=2455M133
635.93/621.07	    decisions=20443119, wrong=10197836, backtracks=99845, failedAssignments=10197836, nogoods=6383
635.93/621.07	    nFilterCalls=10795275, avgTableProportion=0.9997954543575384, avgTableSize=5523.813072756368
635.93/621.07	    
691.64/676.71	    num=121, depth=211..421, filters=11990009, revisions=(11875825,useless=359727), ccks=322545706, wck=659.834, mem=2485M926
691.64/676.71	    decisions=22483080, wrong=11217635, backtracks=110315, failedAssignments=11217635, nogoods=6411
691.64/676.71	    nFilterCalls=11829585, avgTableProportion=0.999795619588463, avgTableSize=5496.042080343478
691.64/676.71	    
752.85/738.00	    num=122, depth=219..412, filters=13143370, revisions=(13003170,useless=362883), ccks=325811261, wck=721.13, mem=2516M720
752.85/738.00	    decisions=24727003, wrong=12339414, backtracks=120905, failedAssignments=12339414, nogoods=6427
752.85/738.00	    nFilterCalls=12966000, avgTableProportion=0.999797354044295, avgTableSize=5541.953497146383
752.85/738.00	    
820.37/805.47	    num=123, depth=206..421, filters=14412731, revisions=(14242709,useless=366054), ccks=329147823, wck=788.599, mem=2547M513
820.37/805.47	    decisions=27195256, wrong=13573371, backtracks=135042, failedAssignments=13573371, nogoods=6492
820.37/805.47	    nFilterCalls=14218121, avgTableProportion=0.999795777753389, avgTableSize=5477.653211067764
820.37/805.47	    
894.10/879.18	    num=124, depth=207..424, filters=15799401, revisions=(15605724,useless=369290), ccks=332770193, wck=862.309, mem=2578M306
894.10/879.18	    decisions=29910324, wrong=14930724, backtracks=147678, failedAssignments=14930724, nogoods=6584
894.10/879.18	    nFilterCalls=15592174, avgTableProportion=0.9997973649972273, avgTableSize=5490.503122656276
894.10/879.18	    
975.41/960.40	    num=125, depth=206..444, filters=17330244, revisions=(17104448,useless=372511), ccks=336525116, wck=943.522, mem=2604M724
975.41/960.40	    decisions=32896863, wrong=16423812, backtracks=163518, failedAssignments=16423812, nogoods=6609
975.41/960.40	    nFilterCalls=17105157, avgTableProportion=0.9997968762017392, avgTableSize=5454.180781678882
975.41/960.40	    
1075.66/1059.45	    num=126, depth=205..430, filters=19006865, revisions=(18752555,useless=375801), ccks=340353698, wck=1042.578, mem=1685M671
1075.66/1059.45	    decisions=36181934, wrong=18066209, backtracks=178014, failedAssignments=18066209, nogoods=6631
1075.66/1059.45	    nFilterCalls=18766013, avgTableProportion=0.9997991648892353, avgTableSize=5491.943915364441
1075.66/1059.45	    
1187.89/1171.60	    num=127, depth=206..440, filters=20866351, revisions=(20565094,useless=379293), ccks=344398015, wck=1154.723, mem=1754M734
1187.89/1171.60	    decisions=39795605, wrong=19872846, backtracks=199157, failedAssignments=19872846, nogoods=6650
1187.89/1171.60	    nFilterCalls=20597875, avgTableProportion=0.9997972470507636, avgTableSize=5436.476910215253
1187.89/1171.60	    
1310.82/1294.56	    num=128, depth=208..425, filters=22902750, revisions=(22558199,useless=382686), ccks=348606484, wck=1277.682, mem=1789M265
1310.82/1294.56	    decisions=43770576, wrong=21860147, backtracks=219652, failedAssignments=21860147, nogoods=6732
1310.82/1294.56	    nFilterCalls=22609730, avgTableProportion=0.999797527626996, avgTableSize=5446.909917455891
1310.82/1294.56	    
1446.95/1430.68	    num=129, depth=206..437, filters=25156176, revisions=(24750177,useless=386219), ccks=352963038, wck=1413.802, mem=1858M328
1446.95/1430.68	    decisions=48143034, wrong=24046178, backtracks=247333, failedAssignments=24046178, nogoods=6810
1446.95/1430.68	    nFilterCalls=24827535, avgTableProportion=0.9997950297129662, avgTableSize=5396.455335134962
1446.95/1430.68	    
1594.69/1578.38	    num=130, depth=207..402, filters=27616098, revisions=(27160737,useless=389705), ccks=357928194, wck=1561.509, mem=1892M860
1594.69/1578.38	    decisions=52952685, wrong=26450812, backtracks=268742, failedAssignments=26450812, nogoods=6921
1594.69/1578.38	    nFilterCalls=27257670, avgTableProportion=0.9997973289383405, avgTableSize=5427.069616295156
1594.69/1578.38	    
1757.73/1741.31	    num=131, depth=213..414, filters=30317347, revisions=(29811924,useless=393347), ccks=362837567, wck=1724.437, mem=1961M923
1757.73/1741.31	    decisions=58243257, wrong=29095909, backtracks=295059, failedAssignments=29095909, nogoods=6983
1757.73/1741.31	    nFilterCalls=29933183, avgTableProportion=0.9997984036764304, avgTableSize=5449.938983802692
1757.73/1741.31	    
1937.07/1920.61	    num=132, depth=211..427, filters=33291325, revisions=(32727455,useless=396831), ccks=367919206, wck=1903.737, mem=2030M986
1937.07/1920.61	    decisions=64062879, wrong=32005516, backtracks=322367, failedAssignments=32005516, nogoods=7014
1937.07/1920.61	    nFilterCalls=32874225, avgTableProportion=0.9997997290591389, avgTableSize=5470.889343946511
1937.07/1920.61	    
2133.63/2117.19	    num=133, depth=228..407, filters=36551891, revisions=(35934129,useless=400497), ccks=373385924, wck=2100.316, mem=2100M49
2133.63/2117.19	    decisions=70464367, wrong=35206084, backtracks=350926, failedAssignments=35206084, nogoods=7060
2133.63/2117.19	    nFilterCalls=36107421, avgTableProportion=0.9998016719829916, avgTableSize=5508.462707347611
2133.63/2117.19	    
2351.37/2334.80	    num=134, depth=204..434, filters=40164245, revisions=(39460782,useless=404111), ccks=379099768, wck=2317.928, mem=2203M643
2351.37/2334.80	    decisions=77506002, wrong=38726709, backtracks=388636, failedAssignments=38726709, nogoods=7167
2351.37/2334.80	    nFilterCalls=39669834, avgTableProportion=0.9998006261145322, avgTableSize=5467.448934875805
2351.37/2334.80	    
2400.08/2383.50	
2400.08/2383.50	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391122-1568391735/watcher-4391122-1568391735 -o /tmp/evaluation-result-4391122-1568391735/solver-4391122-1568391735 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568388027-27066 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391122-1568391735.xml -cm 

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

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

solver pid=28025, runsolver pid=28022

[startup+0.100058 s]*
/proc/loadavg: 2.10 2.03 2.03 4/229 28040
/proc/meminfo: memFree=28839544/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10659884 memory=29740 CPUtime=0.14 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 5445 0 0 0 13 1 0 0 20 0 15 0 415438438 10915721216 7435 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2664971 7435 2884 1 0 2627468 0
[pid=28025/tid=28027] ppid=28022 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) R 28022 28025 25641 0 -1 4202560 2974 0 0 0 8 1 0 0 20 0 15 0 415438439 10915721216 7435 33554432000 4194304 4196468 140736484839248 140625368499320 140625356507966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 7435 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10659884 memory=3833883311435212448 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 7435 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 7501 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 7501 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624854443168 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624853390064 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0.02 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) R 28022 28025 25641 0 -1 4202560 606 0 0 0 2 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624849177128 140625343241813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 7501 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29740 KiB

[startup+0.210737 s]*
/proc/loadavg: 2.10 2.03 2.03 3/229 28040
/proc/meminfo: memFree=28833032/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10659884 memory=35360 CPUtime=0.32 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 6442 0 0 0 30 2 0 0 20 0 15 0 415438438 10915721216 8840 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2664971 8840 2989 1 0 2627468 0
[pid=28025/tid=28027] ppid=28022 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) R 28022 28025 25641 0 -1 4202560 3451 0 0 0 19 1 0 0 20 0 15 0 415438439 10915721216 8840 33554432000 4194304 4196468 140736484839248 140625368509008 140625364292765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 8840 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10659884 memory=140028391918961 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 8840 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 8840 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 8840 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624854443168 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624853390064 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 636 0 0 0 2 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0.05 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 8840 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35360 KiB

[startup+0.310157 s]*
/proc/loadavg: 2.10 2.03 2.03 5/229 28040
/proc/meminfo: memFree=28825724/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10659884 memory=40256 CPUtime=0.47 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 8916 0 0 0 43 4 0 0 20 0 15 0 415438438 10915721216 10064 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2664971 10064 3001 1 0 2627468 0
[pid=28025/tid=28027] ppid=28022 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) R 28022 28025 25641 0 -1 4202560 5850 0 0 0 27 3 0 0 20 0 15 0 415438439 10915721216 10064 33554432000 4194304 4196468 140736484839248 140625368502640 140625364292765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10659884 memory=4294977067 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 10064 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10659884 memory=140028391911128 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 10064 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 10064 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438439 10915721216 10064 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624854443168 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415438441 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624853390064 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 681 0 0 0 4 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 310 0 0 0 4 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0.07 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) R 28022 28025 25641 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624849181168 140625356507966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10659884 memory=140028388894336 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438444 10915721216 10064 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40256 KiB

[startup+0.700758 s]
/proc/loadavg: 2.10 2.03 2.03 3/229 28040
/proc/meminfo: memFree=28816760/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10661932 memory=64092 CPUtime=1.12 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 12617 0 0 0 106 6 0 0 20 0 15 0 415438438 10917818368 16023 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2665483 16023 3075 1 0 2627980 0
[pid=28025/tid=28027] ppid=28022 vsize=10661932 memory=39392 CPUtime=0.67 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) R 28022 28025 25641 0 -1 4202560 8396 0 0 0 63 4 0 0 20 0 15 0 415438439 10917818368 16023 33554432000 4194304 4196468 140736484839248 140625368502864 140625347457669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10917818368 16023 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10917818368 16023 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10917818368 16023 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438439 10917818368 16023 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10661932 memory=7 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438441 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415438441 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624854443168 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10661932 memory=8 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415438441 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624853390064 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) R 28022 28025 25641 0 -1 4202560 948 0 0 0 12 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624851286768 140625356511820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10661932 memory=1782 CPUtime=0.1 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 691 0 0 0 10 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10661932 memory=124834 CPUtime=0.19 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 1224 0 0 0 19 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438444 10917818368 16023 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64092 KiB

[startup+1.50079 s]
/proc/loadavg: 2.10 2.03 2.03 3/229 28040
/proc/meminfo: memFree=28800196/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10663980 memory=76092 CPUtime=2.01 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 17951 0 0 0 194 7 0 0 20 0 15 0 415438438 10919915520 19023 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2665995 19023 3097 1 0 2628492 0
[pid=28025/tid=28027] ppid=28022 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) R 28022 28025 25641 0 -1 4202560 12436 0 0 0 143 5 0 0 20 0 15 0 415438439 10919915520 19023 33554432000 4194304 4196468 140736484839248 140625368502864 140625348351326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10663980 memory=39392 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10919915520 19023 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10919915520 19023 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415438439 10919915520 19023 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415438439 10919915520 19023 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 415438441 10919915520 19023 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0

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

/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 5101 0 0 0 207 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10748324 memory=3509976 CPUtime=0.15 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 7167 0 0 0 14 1 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10748324 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624854443232 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10748324 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624853390080 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10748324 memory=2020 CPUtime=3.14 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 12599 0 0 0 312 2 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10748324 memory=3510504 CPUtime=3.37 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 10955 0 0 0 336 1 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10748324 memory=3510504 CPUtime=1.3 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 21288 0 0 0 127 3 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10748324 memory=1544 CPUtime=0.5 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 2077 0 0 0 20 30 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28041] ppid=28022 vsize=10748324 memory=776 CPUtime=2317.56 cores=1,3,5,7
/proc/28025/task/28041/stat : 28041 (java) R 28022 28025 25641 0 -1 4202560 90386 0 0 0 231732 24 0 0 20 0 16 0 415438625 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624830406096 140624975438485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 2338.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3510504 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/208 28331
/proc/meminfo: memFree=25648760/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2398.88 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 185260 0 0 0 239560 328 0 0 20 0 16 0 415438438 11006283776 877626 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2687081 877626 3391 1 0 2647217 0
[pid=28025/tid=28027] ppid=28022 vsize=10748324 memory=3510504 CPUtime=1.85 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) S 28022 28025 25641 0 -1 1077944384 14570 0 0 0 178 7 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625368513712 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10748324 memory=20808 CPUtime=2.72 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 7095 0 0 0 206 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.71 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 4648 0 0 0 207 64 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 6315 0 0 0 208 65 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 5101 0 0 0 207 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0.15 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 7187 0 0 0 14 1 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624854443232 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624853390080 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10748324 memory=4100 CPUtime=3.14 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 12605 0 0 0 312 2 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10748324 memory=6791534058613427641 CPUtime=3.37 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 10981 0 0 0 336 1 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10748324 memory=1712 CPUtime=1.3 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 21296 0 0 0 127 3 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10748324 memory=39504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10748324 memory=988 CPUtime=0.51 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 2148 0 0 0 20 31 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28041] ppid=28022 vsize=10748324 memory=3580 CPUtime=2377.56 cores=1,3,5,7
/proc/28025/task/28041/stat : 28041 (java) R 28022 28025 25641 0 -1 4202560 91861 0 0 0 237732 24 0 0 20 0 16 0 415438625 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624830406096 140624975438480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 2398.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3510504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.5 s]
/proc/loadavg: 1.00 1.03 1.29 2/208 28331
/proc/meminfo: memFree=25648932/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2400.08 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 185260 0 0 0 239680 328 0 0 20 0 16 0 415438438 11006283776 877626 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2687081 877626 3391 1 0 2647217 0
[pid=28025/tid=28027] ppid=28022 vsize=10748324 memory=20808 CPUtime=1.85 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) S 28022 28025 25641 0 -1 1077944384 14570 0 0 0 178 7 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625368513712 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.72 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 7095 0 0 0 206 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.71 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 4648 0 0 0 207 64 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 6315 0 0 0 208 65 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 5101 0 0 0 207 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0.15 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 7187 0 0 0 14 1 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624854443232 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624853390080 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10748324 memory=39504 CPUtime=3.14 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 12605 0 0 0 312 2 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10748324 memory=988 CPUtime=3.37 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 10981 0 0 0 336 1 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10748324 memory=3510504 CPUtime=1.3 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 21296 0 0 0 127 3 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10748324 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 2148 0 0 0 20 31 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28041] ppid=28022 vsize=10748324 memory=1712 CPUtime=2378.76 cores=1,3,5,7
/proc/28025/task/28041/stat : 28041 (java) R 28022 28025 25641 0 -1 4202560 91861 0 0 0 237852 24 0 0 20 0 16 0 415438625 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624830406096 140624975438734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3510504 KiB

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

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

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

[startup+2383.5 s]
/proc/loadavg: 1.00 1.03 1.29 2/208 28331
/proc/meminfo: memFree=25648932/32770624 swapFree=66999916/67108860
[pid=28025] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2400.08 cores=1,3,5,7
/proc/28025/stat : 28025 (java) S 28022 28025 25641 0 -1 1077944320 185260 0 0 0 239680 328 0 0 20 0 16 0 415438438 11006283776 877626 33554432000 4194304 4196468 140736484839248 140736484821792 140625364270839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
/proc/28025/statm: 2687081 877626 3391 1 0 2647217 0
[pid=28025/tid=28027] ppid=28022 vsize=10748324 memory=20808 CPUtime=1.85 cores=1,3,5,7
/proc/28025/task/28027/stat : 28027 (java) S 28022 28025 25641 0 -1 1077944384 14570 0 0 0 178 7 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625368513712 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28028] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.72 cores=1,3,5,7
/proc/28025/task/28028/stat : 28028 (java) S 28022 28025 25641 0 -1 1077944384 7095 0 0 0 206 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625290345488 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28029] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.71 cores=1,3,5,7
/proc/28025/task/28029/stat : 28029 (java) S 28022 28025 25641 0 -1 1077944384 4648 0 0 0 207 64 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625289292944 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28030] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28030/stat : 28030 (java) S 28022 28025 25641 0 -1 1077944384 6315 0 0 0 208 65 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625288239888 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28031] ppid=28022 vsize=10748324 memory=3510504 CPUtime=2.73 cores=1,3,5,7
/proc/28025/task/28031/stat : 28031 (java) S 28022 28025 25641 0 -1 1077944384 5101 0 0 0 207 66 0 0 20 0 16 0 415438439 11006283776 877626 33554432000 4194304 4196468 140736484839248 140625287187344 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28032] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0.15 cores=1,3,5,7
/proc/28025/task/28032/stat : 28032 (java) S 28022 28025 25641 0 -1 1077944384 7187 0 0 0 14 1 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624855496944 140625364281986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28033] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28033/stat : 28033 (java) S 28022 28025 25641 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624854443232 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28034] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28034/stat : 28034 (java) S 28022 28025 25641 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 415438441 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624853390080 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28035] ppid=28022 vsize=10748324 memory=3510504 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28035/stat : 28035 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624852338640 140625364289435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28036] ppid=28022 vsize=10748324 memory=39504 CPUtime=3.14 cores=1,3,5,7
/proc/28025/task/28036/stat : 28036 (java) S 28022 28025 25641 0 -1 1077944384 12605 0 0 0 312 2 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624851286768 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28037] ppid=28022 vsize=10748324 memory=988 CPUtime=3.37 cores=1,3,5,7
/proc/28025/task/28037/stat : 28037 (java) S 28022 28025 25641 0 -1 1077944384 10981 0 0 0 336 1 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624850234224 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28038] ppid=28022 vsize=10748324 memory=3510504 CPUtime=1.3 cores=1,3,5,7
/proc/28025/task/28038/stat : 28038 (java) S 28022 28025 25641 0 -1 1077944384 21296 0 0 0 127 3 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624849181168 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28039] ppid=28022 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/28025/task/28039/stat : 28039 (java) S 28022 28025 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624848128864 140625364281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28040] ppid=28022 vsize=10748324 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/28025/task/28040/stat : 28040 (java) S 28022 28025 25641 0 -1 1077944384 2148 0 0 0 20 31 0 0 20 0 16 0 415438444 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624847075888 140625364281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
[pid=28025/tid=28041] ppid=28022 vsize=10748324 memory=1712 CPUtime=2378.76 cores=1,3,5,7
/proc/28025/task/28041/stat : 28041 (java) R 28022 28025 25641 0 -1 4202560 91861 0 0 0 237852 24 0 0 20 0 16 0 415438625 11006283776 877626 33554432000 4194304 4196468 140736484839248 140624830406096 140624975438734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20262912 140736484844555 140736484844658 140736484844658 140736484847567 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3510504 KiB

Child status: 143
Real time (s): 2383.53
CPU time (s): 2400.12
CPU user time (s): 2396.81
CPU system time (s): 3.3075
CPU usage (%): 100.696
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 3510504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.81
system time used= 3.3075
maximum resident set size= 3510908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56757
involuntary context switches= 757


# summary of solver processes directly reported to runsolver:
#   pid: 28025
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2396.81
#   total CPU system time (s): 3.3075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5886 second user time and 20.266 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 18:21:37
IDJOB=4391122
IDBENCH=141273
IDSOLVER=2833
FILE ID=node123/4391122-1568391735
RUNJOBID= node123-1568388027-27066
PBS_JOBID= 21701841
Free space on /tmp= 59092 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-4391122-1568391735/watcher-4391122-1568391735 -o /tmp/evaluation-result-4391122-1568391735/solver-4391122-1568391735 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568388027-27066 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391122-1568391735.xml -cm

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=441550032

node123.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.49
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.49
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.49
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.49
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:        28856212 kB
MemAvailable:   31585536 kB
Buffers:          122940 kB
Cached:          2870796 kB
SwapCached:         7392 kB
Active:          1232928 kB
Inactive:        2060788 kB
Active(anon):     291484 kB
Inactive(anon):    49504 kB
Active(file):     941444 kB
Inactive(file):  2011284 kB
Unevictable:      107344 kB
Mlocked:          107344 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:             90952 kB
Writeback:             0 kB
AnonPages:        433220 kB
Mapped:            56688 kB
Shmem:             32680 kB
Slab:             214340 kB
SReclaimable:     184864 kB
SUnreclaim:        29476 kB
KernelStack:        4032 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1245296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59092 MiB
End job on node123 at 2019-09-13 19:01:20