Trace number 4390498

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 NameAnswerCPU timeWall clock time
AbsCon 2019-07-23SAT 68.0219 64.9249

DiagnosticValue
WRONG_DECISIONS514981

General information on the benchmark

NameRandom/Random-RB-3-24-24/
rand-3-24-24-76-632-16.xml
MD5SUM15519537de8ee4184d6d10278c400490
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark68.0219
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints74
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":24}]
Minimum variable degree4
Maximum variable degree17
Distribution of variable degrees[{"degree":4,"count":3},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":2},{"degree":9,"count":4},{"degree":10,"count":3},{"degree":11,"count":4},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":1},{"degree":17,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":74}]
Number of extensional constraints74
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":74}]
Optimization problemNO
Type of objective

Solver Data

2.39/1.87	
2.39/1.87	AbsCon 2 
2.39/1.89	
3.99/2.52	  Instance
3.99/2.52	    name=instance-4390498-1568380523, framework=CSP
3.99/2.52	
3.99/2.52	  Loading variables...
3.99/2.56	  Loading constraints...
4.52/2.72	
4.52/2.72	  Domains
4.52/2.72	    nTypes=1, nValues=576, sizes=[24#24]
4.52/2.72	  Variables
4.52/2.72	    count=24, degrees=[4#3,5#1,6#2,7#2...12#1,13#2,14#1,17#1]
4.52/2.72	  Constraints
4.52/2.72	    count=74, nSpecific=74, arities=[3#74]
4.52/2.72	    distribution=[CtrExtensionCT-Table#74]
4.52/2.72	    tables=[1852#1,1905#1,5088#72], nTotalTuples=370093
4.52/2.72	    nExtStructures=(74,shared:0)
4.52/2.72	    wck=0.878, cpu=2.651, mem=197M945
4.52/2.73	  Solver SolverBacktrack being built...
4.52/2.73	
4.52/2.75	
4.52/2.75	  Solver
4.52/2.75	    guaranteedGAC=true
4.52/2.75	    wck=0.91, cpu=2.682, mem=210M657
4.52/2.76	
4.52/2.76	  Preprocessing
4.52/2.76	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.52/2.76	    wck=0.002, cpu=2.686, mem=210M657
4.52/2.76	
4.52/2.77	    num=0, depth=6..8, filters=352, wck=0.018, mem=210M657
4.52/2.77	    decisions=32, wrong=13, backtracks=3, failedAssignments=10, nogoods=6
4.52/2.77	    nFilterCalls=1021, avgTableProportion=0.9997968056362656, avgTableSize=5023.870714985309
4.52/2.77	    
4.52/2.78	    num=1, depth=5..7, filters=829, wck=0.026, mem=210M657
4.52/2.78	    decisions=71, wrong=30, backtracks=9, failedAssignments=21, nogoods=15
4.52/2.78	    nFilterCalls=2485, avgTableProportion=0.9997964603536789, avgTableSize=5019.946076458753
4.52/2.78	    
4.52/2.79	    num=2, depth=4..6, filters=1411, wck=0.033, mem=210M657
4.52/2.79	    decisions=109, wrong=47, backtracks=14, failedAssignments=33, nogoods=17
4.52/2.79	    nFilterCalls=4109, avgTableProportion=0.9997938096478618, avgTableSize=4994.327573618885
4.52/2.79	    
4.52/2.79	    num=3, depth=3..6, filters=1901, wck=0.039, mem=210M657
4.52/2.79	    decisions=146, wrong=63, backtracks=17, failedAssignments=46, nogoods=25
4.52/2.79	    nFilterCalls=5600, avgTableProportion=0.9997935770562593, avgTableSize=4992.12625
4.52/2.79	    
4.78/2.80	    num=4, depth=4..6, filters=2494, wck=0.046, mem=210M657
4.78/2.80	    decisions=186, wrong=81, backtracks=22, failedAssignments=60, nogoods=38
4.78/2.80	    nFilterCalls=7163, avgTableProportion=0.9997953081730295, avgTableSize=5008.784447857043
4.78/2.80	    
4.78/2.82	    num=5, depth=4..7, filters=2944, wck=0.063, mem=210M657
4.78/2.82	    decisions=230, wrong=101, backtracks=27, failedAssignments=76, nogoods=51
4.78/2.82	    nFilterCalls=8432, avgTableProportion=0.9997942986640377, avgTableSize=4999.221418406072
4.78/2.82	    
4.78/2.82	    num=6, depth=3..6, filters=3592, wck=0.071, mem=210M657
4.78/2.82	    decisions=276, wrong=122, backtracks=32, failedAssignments=93, nogoods=59
4.78/2.82	    nFilterCalls=10238, avgTableProportion=0.9997946898282192, avgTableSize=5002.870775542098
4.78/2.82	    
4.78/2.83	    num=7, depth=3..6, filters=4366, wck=0.079, mem=210M657
4.78/2.83	    decisions=330, wrong=147, backtracks=39, failedAssignments=112, nogoods=72
4.78/2.83	    nFilterCalls=12524, avgTableProportion=0.9997940841413402, avgTableSize=4997.026429255829
4.78/2.83	    
4.78/2.84	    num=8, depth=3..5, filters=5059, wck=0.088, mem=210M657
4.78/2.84	    decisions=384, wrong=172, backtracks=43, failedAssignments=133, nogoods=79
4.78/2.84	    nFilterCalls=14726, avgTableProportion=0.999794686104007, avgTableSize=5002.846733668342
4.78/2.84	    
4.78/2.85	    num=9, depth=3..6, filters=5683, wck=0.095, mem=210M657
4.78/2.85	    decisions=444, wrong=200, backtracks=49, failedAssignments=156, nogoods=88
4.78/2.85	    nFilterCalls=16787, avgTableProportion=0.9997947538840628, avgTableSize=5003.467325906951
4.78/2.85	    
4.78/2.86	    num=10, depth=4..6, filters=6320, wck=0.103, mem=210M657
4.78/2.86	    decisions=511, wrong=231, backtracks=55, failedAssignments=181, nogoods=100
4.78/2.86	    nFilterCalls=18848, avgTableProportion=0.999795150523739, avgTableSize=5007.312871392191
4.78/2.86	    
4.78/2.86	    num=11, depth=3..6, filters=7326, wck=0.11, mem=210M657
4.78/2.86	    decisions=582, wrong=265, backtracks=63, failedAssignments=209, nogoods=101
4.78/2.86	    nFilterCalls=21368, avgTableProportion=0.9997944376450256, avgTableSize=5000.411877573943
4.78/2.86	    
4.78/2.87	    num=12, depth=4..6, filters=8171, wck=0.119, mem=215M349
4.78/2.87	    decisions=659, wrong=301, backtracks=69, failedAssignments=240, nogoods=112
4.78/2.87	    nFilterCalls=23904, avgTableProportion=0.9997951086701414, avgTableSize=5006.895038487282
4.78/2.87	    
4.78/2.88	    num=13, depth=3..6, filters=9271, wck=0.128, mem=215M349
4.78/2.88	    decisions=743, wrong=341, backtracks=77, failedAssignments=274, nogoods=139
4.78/2.88	    nFilterCalls=26702, avgTableProportion=0.9997953977775995, avgTableSize=5009.658527451127
4.78/2.88	    
4.78/2.89	    num=14, depth=3..7, filters=10101, wck=0.136, mem=215M349
4.78/2.89	    decisions=829, wrong=382, backtracks=81, failedAssignments=311, nogoods=142
4.78/2.89	    nFilterCalls=28992, avgTableProportion=0.9997947220668135, avgTableSize=5003.10706401766
4.78/2.89	    
5.08/2.90	    num=15, depth=3..7, filters=11447, wck=0.148, mem=215M349
5.08/2.90	    decisions=932, wrong=431, backtracks=90, failedAssignments=352, nogoods=152
5.08/2.90	    nFilterCalls=32440, avgTableProportion=0.9997945416751755, avgTableSize=5001.371454993835
5.08/2.90	    
5.08/2.91	    num=16, depth=3..5, filters=12974, wck=0.16, mem=215M349
5.08/2.91	    decisions=1046, wrong=486, backtracks=101, failedAssignments=397, nogoods=165
5.08/2.91	    nFilterCalls=36463, avgTableProportion=0.9997944303807577, avgTableSize=5000.292789951458
5.08/2.91	    
5.08/2.92	    num=17, depth=3..6, filters=14196, wck=0.17, mem=215M349
5.08/2.92	    decisions=1163, wrong=542, backtracks=109, failedAssignments=447, nogoods=174
5.08/2.92	    nFilterCalls=39842, avgTableProportion=0.9997948420094063, avgTableSize=5004.263089202349
5.08/2.92	    
5.08/2.94	    num=18, depth=3..6, filters=16159, wck=0.189, mem=215M349
5.08/2.94	    decisions=1307, wrong=612, backtracks=125, failedAssignments=502, nogoods=190
5.08/2.94	    nFilterCalls=45632, avgTableProportion=0.9997952813967589, avgTableSize=5008.505434782609
5.08/2.94	    
5.08/2.96	    num=19, depth=3..8, filters=18652, wck=0.207, mem=215M349
5.08/2.96	    decisions=1463, wrong=688, backtracks=144, failedAssignments=563, nogoods=195
5.08/2.96	    nFilterCalls=51652, avgTableProportion=0.9997953509780754, avgTableSize=5009.167312011152
5.08/2.96	    
5.08/2.98	    num=20, depth=3..6, filters=20873, wck=0.224, mem=215M349
5.08/2.98	    decisions=1629, wrong=769, backtracks=159, failedAssignments=630, nogoods=202
5.08/2.98	    nFilterCalls=57541, avgTableProportion=0.9997956341496986, avgTableSize=5011.897325385377
5.08/2.98	    
5.08/3.00	    num=21, depth=3..6, filters=23505, wck=0.247, mem=215M349
5.08/3.00	    decisions=1811, wrong=858, backtracks=174, failedAssignments=704, nogoods=215
5.08/3.00	    nFilterCalls=64563, avgTableProportion=0.9997954537347021, avgTableSize=5010.15542958041
5.08/3.00	    
5.37/3.02	    num=22, depth=3..7, filters=26976, wck=0.271, mem=215M349
5.37/3.02	    decisions=2043, wrong=972, backtracks=211, failedAssignments=785, nogoods=225
5.37/3.02	    nFilterCalls=73577, avgTableProportion=0.9997948667436622, avgTableSize=5004.491254060372
5.37/3.02	    
5.37/3.04	    num=23, depth=3..7, filters=29131, wck=0.286, mem=215M349
5.37/3.04	    decisions=2245, wrong=1071, backtracks=223, failedAssignments=874, nogoods=233
5.37/3.04	    nFilterCalls=78795, avgTableProportion=0.9997949748009672, avgTableSize=5005.528485309982
5.37/3.04	    
5.37/3.06	    num=24, depth=3..6, filters=31875, wck=0.307, mem=215M349
5.37/3.06	    decisions=2470, wrong=1181, backtracks=237, failedAssignments=972, nogoods=254
5.37/3.06	    nFilterCalls=86010, avgTableProportion=0.9997945073507123, avgTableSize=5001.000325543541
5.37/3.06	    
5.37/3.09	    num=25, depth=2..6, filters=35897, wck=0.334, mem=215M349
5.37/3.09	    decisions=2750, wrong=1319, backtracks=269, failedAssignments=1080, nogoods=273
5.37/3.09	    nFilterCalls=96878, avgTableProportion=0.9997949434103972, avgTableSize=5005.2164062016145
5.37/3.09	    
5.59/3.11	    num=26, depth=3..6, filters=40162, wck=0.354, mem=220M40
5.59/3.11	    decisions=3052, wrong=1468, backtracks=303, failedAssignments=1199, nogoods=296
5.59/3.11	    nFilterCalls=108220, avgTableProportion=0.9997951344368506, avgTableSize=5007.066577342451
5.59/3.11	    
5.59/3.12	    num=27, depth=3..5, filters=43660, wck=0.37, mem=220M40
5.59/3.12	    decisions=3352, wrong=1616, backtracks=322, failedAssignments=1330, nogoods=332
5.59/3.12	    nFilterCalls=116777, avgTableProportion=0.999795039825085, avgTableSize=5006.138640314445
5.59/3.12	    
5.59/3.15	    num=28, depth=3..7, filters=49373, wck=0.398, mem=220M40
5.59/3.15	    decisions=3712, wrong=1794, backtracks=364, failedAssignments=1474, nogoods=351
5.59/3.15	    nFilterCalls=131365, avgTableProportion=0.9997952124760332, avgTableSize=5007.805610322384
5.59/3.15	    
5.59/3.18	    num=29, depth=2..7, filters=54740, wck=0.423, mem=220M40
5.59/3.18	    decisions=4096, wrong=1984, backtracks=401, failedAssignments=1632, nogoods=362
5.59/3.18	    nFilterCalls=144955, avgTableProportion=0.9997948369379119, avgTableSize=5004.180849229071
5.59/3.18	    
5.74/3.21	    num=30, depth=3..6, filters=60554, wck=0.452, mem=220M40
5.74/3.21	    decisions=4515, wrong=2191, backtracks=436, failedAssignments=1806, nogoods=395
5.74/3.21	    nFilterCalls=160974, avgTableProportion=0.9997947310598095, avgTableSize=5003.148750729932
5.74/3.21	    
5.74/3.23	    num=31, depth=2..7, filters=66820, wck=0.478, mem=220M40
5.74/3.23	    decisions=4997, wrong=2430, backtracks=490, failedAssignments=1997, nogoods=408
5.74/3.23	    nFilterCalls=177118, avgTableProportion=0.9997945424367882, avgTableSize=5001.318832642645
5.74/3.23	    
5.74/3.26	    num=32, depth=3..7, filters=72630, wck=0.507, mem=224M731
5.74/3.26	    decisions=5511, wrong=2685, backtracks=538, failedAssignments=2208, nogoods=418
5.74/3.26	    nFilterCalls=193714, avgTableProportion=0.999794458319553, avgTableSize=5000.4631054028105
5.74/3.26	    
5.74/3.29	    num=33, depth=3..6, filters=78769, wck=0.536, mem=224M731
5.74/3.29	    decisions=6047, wrong=2951, backtracks=574, failedAssignments=2440, nogoods=430
5.74/3.29	    nFilterCalls=210533, avgTableProportion=0.9997949703570567, avgTableSize=5005.424788512964
5.74/3.29	    
5.84/3.33	    num=34, depth=2..6, filters=86890, wck=0.573, mem=224M731
5.84/3.33	    decisions=6674, wrong=3262, backtracks=644, failedAssignments=2695, nogoods=444
5.84/3.33	    nFilterCalls=231659, avgTableProportion=0.9997950101838178, avgTableSize=5005.807833928317
5.84/3.33	    
5.84/3.35	    num=35, depth=4..8, filters=92801, wck=0.601, mem=224M731
5.84/3.35	    decisions=7300, wrong=3573, backtracks=676, failedAssignments=2976, nogoods=467
5.84/3.35	    nFilterCalls=248185, avgTableProportion=0.9997953738256301, avgTableSize=5009.337711787578
5.84/3.35	    
5.94/3.40	    num=36, depth=2..7, filters=103157, wck=0.648, mem=224M731
5.94/3.40	    decisions=8038, wrong=3940, backtracks=743, failedAssignments=3285, nogoods=486
5.94/3.40	    nFilterCalls=274487, avgTableProportion=0.999795131733371, avgTableSize=5006.996808592028
5.94/3.40	    
5.94/3.46	    num=37, depth=3..7, filters=115247, wck=0.702, mem=229M422
5.94/3.46	    decisions=8891, wrong=4364, backtracks=841, failedAssignments=3625, nogoods=512
5.94/3.46	    nFilterCalls=305826, avgTableProportion=0.9997948956741359, avgTableSize=5004.712225252268
5.94/3.46	    
6.06/3.51	    num=38, depth=2..7, filters=127496, wck=0.76, mem=229M422
6.06/3.51	    decisions=9799, wrong=4816, backtracks=931, failedAssignments=3999, nogoods=527
6.06/3.51	    nFilterCalls=338286, avgTableProportion=0.9997949936958499, avgTableSize=5005.656453415158
6.06/3.51	    
6.06/3.59	    num=39, depth=2..6, filters=143112, wck=0.833, mem=234M113
6.06/3.59	    decisions=10825, wrong=5327, backtracks=1041, failedAssignments=4410, nogoods=548
6.06/3.59	    nFilterCalls=379659, avgTableProportion=0.9997952662303432, avgTableSize=5008.287165588067
6.06/3.59	    
6.22/3.65	    num=40, depth=2..8, filters=157595, wck=0.897, mem=234M113
6.22/3.65	    decisions=11908, wrong=5867, backtracks=1146, failedAssignments=4862, nogoods=571
6.22/3.65	    nFilterCalls=416745, avgTableProportion=0.9997950663369903, avgTableSize=5006.35513803405
6.22/3.65	    
6.32/3.73	    num=41, depth=2..7, filters=173768, wck=0.975, mem=234M113
6.32/3.73	    decisions=13127, wrong=6475, backtracks=1266, failedAssignments=5359, nogoods=579
6.32/3.73	    nFilterCalls=460615, avgTableProportion=0.9997951712229504, avgTableSize=5007.353444850906
6.32/3.73	    
6.43/3.81	    num=42, depth=2..7, filters=192144, wck=1.059, mem=238M804
6.43/3.81	    decisions=14475, wrong=7147, backtracks=1407, failedAssignments=5906, nogoods=620
6.43/3.81	    nFilterCalls=509324, avgTableProportion=0.9997953799333751, avgTableSize=5009.3729080114035
6.43/3.81	    
6.54/3.90	    num=43, depth=2..6, filters=212836, wck=1.147, mem=243M495
6.54/3.90	    decisions=15933, wrong=7874, backtracks=1541, failedAssignments=6508, nogoods=641
6.54/3.90	    nFilterCalls=561800, avgTableProportion=0.9997949620549104, avgTableSize=5005.33784264863
6.54/3.90	    
6.54/4.00	    num=44, depth=2..7, filters=235727, wck=1.248, mem=243M495
6.54/4.00	    decisions=17567, wrong=8689, backtracks=1719, failedAssignments=7170, nogoods=662
6.54/4.00	    nFilterCalls=620045, avgTableProportion=0.9997947786749753, avgTableSize=5003.564517091501
6.54/4.00	    
6.65/4.11	    num=45, depth=2..7, filters=259461, wck=1.352, mem=248M186
6.65/4.11	    decisions=19328, wrong=9568, backtracks=1888, failedAssignments=7898, nogoods=679
6.65/4.11	    nFilterCalls=680787, avgTableProportion=0.9997950529806223, avgTableSize=5006.220001263244
6.65/4.11	    
6.84/4.21	    num=46, depth=2..7, filters=283431, wck=1.455, mem=252M877
6.84/4.21	    decisions=21234, wrong=10519, backtracks=2049, failedAssignments=8699, nogoods=706
6.84/4.21	    nFilterCalls=742526, avgTableProportion=0.9997948400939832, avgTableSize=5004.163258929653
6.84/4.21	    
6.94/4.34	    num=47, depth=2..6, filters=312993, wck=1.585, mem=257M568
6.94/4.34	    decisions=23434, wrong=11618, backtracks=2290, failedAssignments=9580, nogoods=749
6.94/4.34	    nFilterCalls=818367, avgTableProportion=0.9997947182417128, avgTableSize=5002.974253605045
6.94/4.34	    
7.04/4.47	    num=48, depth=2..6, filters=341991, wck=1.712, mem=257M568
7.04/4.47	    decisions=25758, wrong=12778, backtracks=2501, failedAssignments=10550, nogoods=773
7.04/4.47	    nFilterCalls=894447, avgTableProportion=0.9997950546348588, avgTableSize=5006.233918834766
7.04/4.47	    
7.25/4.60	    num=49, depth=2..7, filters=374155, wck=1.847, mem=262M260
7.25/4.60	    decisions=28331, wrong=14063, backtracks=2752, failedAssignments=11617, nogoods=796
7.25/4.60	    nFilterCalls=977472, avgTableProportion=0.9997947970329815, avgTableSize=5003.741350135861
7.25/4.60	    
7.35/4.76	    num=50, depth=2..7, filters=407236, wck=2.002, mem=266M951
7.35/4.76	    decisions=31043, wrong=15418, backtracks=2956, failedAssignments=12790, nogoods=811
7.35/4.76	    nFilterCalls=1067248, avgTableProportion=0.9997951373194285, avgTableSize=5007.03601880725
7.35/4.76	    
7.68/4.99	    num=51, depth=2..7, filters=449777, wck=2.232, mem=67M628
7.68/4.99	    decisions=34199, wrong=16994, backtracks=3283, failedAssignments=14081, nogoods=844
7.68/4.99	    nFilterCalls=1179945, avgTableProportion=0.9997948355094439, avgTableSize=5004.111597574463
7.68/4.99	    
7.98/5.20	    num=52, depth=2..7, filters=497402, wck=2.451, mem=72M321
7.98/5.20	    decisions=37692, wrong=18738, backtracks=3651, failedAssignments=15501, nogoods=882
7.98/5.20	    nFilterCalls=1309573, avgTableProportion=0.9997948173407079, avgTableSize=5003.921367499177
7.98/5.20	    
8.18/5.43	    num=53, depth=1..7, filters=549917, wck=2.678, mem=81M709
8.18/5.43	    decisions=41581, wrong=20681, backtracks=4085, failedAssignments=17063, nogoods=937
8.18/5.43	    nFilterCalls=1447469, avgTableProportion=0.9997948343055109, avgTableSize=5004.083695747543
8.18/5.43	    
8.38/5.69	    num=54, depth=1..7, filters=611314, wck=2.933, mem=91M96
8.38/5.69	    decisions=45833, wrong=22805, backtracks=4552, failedAssignments=18781, nogoods=976
8.38/5.69	    nFilterCalls=1606134, avgTableProportion=0.9997946114195394, avgTableSize=5001.930761692362
8.38/5.69	    
8.68/5.96	    num=55, depth=1..7, filters=672432, wck=3.203, mem=95M789
8.68/5.96	    decisions=50458, wrong=25116, backtracks=5035, failedAssignments=20671, nogoods=992
8.68/5.96	    nFilterCalls=1770658, avgTableProportion=0.9997949327889427, avgTableSize=5005.0433516805615
8.68/5.96	    
8.98/6.25	    num=56, depth=1..9, filters=741807, wck=3.501, mem=105M176
8.98/6.25	    decisions=55528, wrong=27649, backtracks=5553, failedAssignments=22750, nogoods=1023
8.98/6.25	    nFilterCalls=1955535, avgTableProportion=0.9997951985293816, avgTableSize=5007.617042906417
8.98/6.25	    
9.28/6.55	    num=57, depth=2..8, filters=810705, wck=3.792, mem=114M563
9.28/6.55	    decisions=61030, wrong=30398, backtracks=6078, failedAssignments=25037, nogoods=1060
9.28/6.55	    nFilterCalls=2137168, avgTableProportion=0.9997949185180771, avgTableSize=5004.912312462099
9.28/6.55	    
9.58/6.89	    num=58, depth=1..7, filters=890934, wck=4.141, mem=128M644
9.58/6.89	    decisions=67147, wrong=33455, backtracks=6693, failedAssignments=27553, nogoods=1088
9.58/6.89	    nFilterCalls=2349439, avgTableProportion=0.9997951129764814, avgTableSize=5006.795926176419
9.58/6.89	    
10.09/7.30	    num=59, depth=1..7, filters=983440, wck=4.543, mem=138M31
10.09/7.30	    decisions=73986, wrong=36873, backtracks=7459, failedAssignments=30321, nogoods=1140
10.09/7.30	    nFilterCalls=2594830, avgTableProportion=0.9997950365487037, avgTableSize=5006.057147096341
10.09/7.30	    
10.49/7.73	    num=60, depth=1..8, filters=1086740, wck=4.981, mem=152M112
10.49/7.73	    decisions=81481, wrong=40619, backtracks=8237, failedAssignments=33365, nogoods=1183
10.49/7.73	    nFilterCalls=2865417, avgTableProportion=0.9997952778689101, avgTableSize=5008.393677429847
10.49/7.73	    
10.99/8.27	    num=61, depth=1..7, filters=1204791, wck=5.512, mem=166M192
10.99/8.27	    decisions=89722, wrong=44738, backtracks=9104, failedAssignments=36714, nogoods=1239
10.99/8.27	    nFilterCalls=3181120, avgTableProportion=0.999795418833486, avgTableSize=5009.750224763605
10.99/8.27	    
11.59/8.81	    num=62, depth=1..8, filters=1332710, wck=6.058, mem=184M967
11.59/8.81	    decisions=98903, wrong=49326, backtracks=10140, failedAssignments=40398, nogoods=1250
11.59/8.81	    nFilterCalls=3517904, avgTableProportion=0.9997953480837902, avgTableSize=5009.069136338001
11.59/8.81	    
12.19/9.40	    num=63, depth=1..8, filters=1470385, wck=6.648, mem=203M741
12.19/9.40	    decisions=108887, wrong=54316, backtracks=11222, failedAssignments=44450, nogoods=1271
12.19/9.40	    nFilterCalls=3875957, avgTableProportion=0.9997953688196404, avgTableSize=5009.268214017854
12.19/9.40	    
12.80/10.03	    num=64, depth=1..7, filters=1615981, wck=7.279, mem=222M515
12.80/10.03	    decisions=119727, wrong=59734, backtracks=12311, failedAssignments=48907, nogoods=1305
12.80/10.03	    nFilterCalls=4258131, avgTableProportion=0.9997953666559225, avgTableSize=5009.244368010284
12.80/10.03	    
13.53/10.73	    num=65, depth=1..8, filters=1769063, wck=7.979, mem=241M289
13.53/10.73	    decisions=131738, wrong=65738, backtracks=13586, failedAssignments=53810, nogoods=1334
13.53/10.73	    nFilterCalls=4681722, avgTableProportion=0.9997953540059757, avgTableSize=5009.10963508726
13.53/10.73	    
14.23/11.49	    num=66, depth=1..8, filters=1949936, wck=8.74, mem=269M451
14.23/11.49	    decisions=145082, wrong=72408, backtracks=15021, failedAssignments=59204, nogoods=1362
14.23/11.49	    nFilterCalls=5159286, avgTableProportion=0.9997952863221444, avgTableSize=5008.454417723693
14.23/11.49	    
15.13/12.36	    num=67, depth=1..7, filters=2149129, wck=9.604, mem=292M918
15.13/12.36	    decisions=159594, wrong=79662, backtracks=16521, failedAssignments=65137, nogoods=1408
15.13/12.36	    nFilterCalls=5683631, avgTableProportion=0.999795397606622, avgTableSize=5009.534718386891
15.13/12.36	    
16.08/13.29	    num=68, depth=1..8, filters=2359956, wck=10.538, mem=88M473
16.08/13.29	    decisions=175624, wrong=87675, backtracks=18229, failedAssignments=71663, nogoods=1461
16.08/13.29	    nFilterCalls=6248961, avgTableProportion=0.9997951830367761, avgTableSize=5007.454681346227
16.08/13.29	    
17.18/14.32	    num=69, depth=1..7, filters=2594762, wck=11.569, mem=113M860
17.18/14.32	    decisions=193084, wrong=96403, backtracks=20003, failedAssignments=78842, nogoods=1490
17.18/14.32	    nFilterCalls=6880859, avgTableProportion=0.9997954356796203, avgTableSize=5009.897107904696
17.18/14.32	    
18.30/15.45	    num=70, depth=1..8, filters=2853841, wck=12.692, mem=147M710
18.30/15.45	    decisions=212618, wrong=106168, backtracks=22123, failedAssignments=86739, nogoods=1524
18.30/15.45	    nFilterCalls=7572251, avgTableProportion=0.999795391160321, avgTableSize=5009.461980856155
18.30/15.45	    
19.62/16.73	    num=71, depth=1..9, filters=3168408, wck=13.978, mem=190M22
19.62/16.73	    decisions=234337, wrong=117026, backtracks=24585, failedAssignments=95426, nogoods=1556
19.62/16.73	    nFilterCalls=8382401, avgTableProportion=0.9997952314034546, avgTableSize=5007.917510985218
19.62/16.73	    
21.03/18.16	    num=72, depth=1..8, filters=3494710, wck=15.404, mem=232M334
21.03/18.16	    decisions=257894, wrong=128803, backtracks=27125, failedAssignments=104981, nogoods=1599
21.03/18.16	    nFilterCalls=9252540, avgTableProportion=0.9997951863028571, avgTableSize=5007.478870558787
21.03/18.16	    
22.52/19.68	    num=73, depth=1..8, filters=3846647, wck=16.924, mem=283M109
22.52/19.68	    decisions=283739, wrong=141724, backtracks=29852, failedAssignments=115492, nogoods=1623
22.52/19.68	    nFilterCalls=10181717, avgTableProportion=0.9997953485369401, avgTableSize=5009.051638245298
22.52/19.68	    
24.32/21.42	    num=74, depth=1..9, filters=4236809, wck=18.665, mem=333M883
24.32/21.42	    decisions=312257, wrong=155981, backtracks=32956, failedAssignments=127054, nogoods=1656
24.32/21.42	    nFilterCalls=11226804, avgTableProportion=0.9997952596516859, avgTableSize=5008.1862579947065
24.32/21.42	    
26.13/23.23	    num=75, depth=1..8, filters=4656321, wck=20.472, mem=393M120
26.13/23.23	    decisions=343461, wrong=171581, backtracks=36217, failedAssignments=139772, nogoods=1685
26.13/23.23	    nFilterCalls=12342641, avgTableProportion=0.999795522404158, avgTableSize=5010.73165662033
26.13/23.23	    
28.22/25.39	    num=76, depth=1..8, filters=5144069, wck=22.641, mem=452M357
28.22/25.39	    decisions=378747, wrong=189222, backtracks=40453, failedAssignments=153762, nogoods=1724
28.22/25.39	    nFilterCalls=13657736, avgTableProportion=0.9997954338361377, avgTableSize=5009.873114914507
28.22/25.39	    
30.56/27.69	    num=77, depth=1..8, filters=5652196, wck=24.941, mem=97M63
30.56/27.69	    decisions=416431, wrong=208062, backtracks=44374, failedAssignments=169151, nogoods=1766
30.56/27.69	    nFilterCalls=15045497, avgTableProportion=0.9997956845965539, avgTableSize=5012.298679066567
30.56/27.69	    
33.16/30.26	    num=78, depth=1..8, filters=6241999, wck=27.508, mem=173M356
33.16/30.26	    decisions=458796, wrong=229243, backtracks=49254, failedAssignments=186079, nogoods=1815
33.16/30.26	    nFilterCalls=16606068, avgTableProportion=0.999795668313357, avgTableSize=5012.139167742779
33.16/30.26	    
35.97/33.07	    num=79, depth=1..9, filters=6888151, wck=30.314, mem=258M125
35.97/33.07	    decisions=505358, wrong=252522, backtracks=54549, failedAssignments=204700, nogoods=1857
35.97/33.07	    nFilterCalls=18352278, avgTableProportion=0.9997958778567453, avgTableSize=5014.169245256638
35.97/33.07	    
39.17/36.28	    num=80, depth=0..8, filters=7629112, wck=33.53, mem=351M372
39.17/36.28	    decisions=557195, wrong=278439, backtracks=60798, failedAssignments=225184, nogoods=1917
39.17/36.28	    nFilterCalls=20320236, avgTableProportion=0.9997957520324328, avgTableSize=5012.948085888373
39.17/36.28	    
42.68/39.78	    num=81, depth=0..8, filters=8409801, wck=37.029, mem=453M95
42.68/39.78	    decisions=613118, wrong=306399, backtracks=66970, failedAssignments=247716, nogoods=1939
42.68/39.78	    nFilterCalls=22441673, avgTableProportion=0.9997959728226546, avgTableSize=5015.084050685526
42.68/39.78	    
46.42/43.44	    num=82, depth=0..8, filters=9232972, wck=40.684, mem=135M76
46.42/43.44	    decisions=673925, wrong=336801, backtracks=73334, failedAssignments=272501, nogoods=1997
46.42/43.44	    nFilterCalls=24650670, avgTableProportion=0.9997959460701719, avgTableSize=5014.819212743508
46.42/43.44	    
50.52/47.54	    num=83, depth=1..9, filters=10145397, wck=44.789, mem=264M476
50.52/47.54	    decisions=741315, wrong=370494, backtracks=80687, failedAssignments=299765, nogoods=2041
50.52/47.54	    nFilterCalls=27121705, avgTableProportion=0.9997959703854188, avgTableSize=5015.057361732974
50.52/47.54	    
54.82/51.90	    num=84, depth=1..8, filters=11138238, wck=49.142, mem=393M875
54.82/51.90	    decisions=815758, wrong=407714, backtracks=88890, failedAssignments=329755, nogoods=2092
54.82/51.90	    nFilterCalls=29796318, avgTableProportion=0.9997959571111155, avgTableSize=5014.930673447639
54.82/51.90	    
59.82/56.87	    num=85, depth=1..9, filters=12239191, wck=54.119, mem=537M651
59.82/56.87	    decisions=896366, wrong=448016, backtracks=97067, failedAssignments=362744, nogoods=2153
59.82/56.87	    nFilterCalls=32797784, avgTableProportion=0.9997962092979525, avgTableSize=5017.372011383452
59.82/56.87	    
65.23/62.29	    num=86, depth=1..9, filters=13522741, wck=59.536, mem=695M806
65.23/62.29	    decisions=987205, wrong=493434, backtracks=107589, failedAssignments=399032, nogoods=2237
65.23/62.29	    nFilterCalls=36176196, avgTableProportion=0.9997960404592121, avgTableSize=5015.737075534421
65.23/62.29	    
67.83/64.89	    num=87, depth=1..23, filters=14117060, ccks=74, wck=62.138, mem=783M560
67.83/64.89	    decisions=1030304, wrong=514981, backtracks=112228, failedAssignments=416496, nogoods=2237, foundSolutions=1
67.83/64.89	    nFilterCalls=37750834, avgTableProportion=0.9997960387801651, avgTableSize=5015.7164879324255
67.83/64.89	    
67.83/64.89	  Global
67.83/64.89	    filters=14117060, ccks=74, nogoods=2237
67.83/64.89	    Stop=REACHED_GOAL, wrong=514981, foundSolutions=1, firstSolCpu=64.721
67.83/64.89	    wck=63.049, cpu=64.727, mem=783M560
67.83/64.89	
67.83/64.89	v <instantiation id='sol1' type='solution'>  <list> x[] </list>  <values> 5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18 </values>  </instantiation>
67.83/64.89	s SATISFIABLE
67.83/64.89	
67.83/64.89	d WRONG_DECISIONS 514981

Verifier Data

OK	

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 (13974 MiB free)
  memory of node 1: 16384 MiB (15703 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390498-1568380523/watcher-4390498-1568380523 -o /tmp/evaluation-result-4390498-1568380523/solver-4390498-1568380523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26495 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390498-1568380523.xml -cm 

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

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

solver pid=26620, runsolver pid=26617

[startup+0.100737 s]*
/proc/loadavg: 0.23 0.06 0.06 4/226 26635
/proc/meminfo: memFree=30373892/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10659884 memory=28612 CPUtime=0.13 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 5597 0 0 0 12 1 0 0 20 0 15 0 414320134 10915721216 7153 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2664971 7153 2910 1 0 2627468 0
[pid=26620/tid=26622] ppid=26617 vsize=10659884 memory=-7254949979417569401 CPUtime=0.09 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) R 26617 26620 26463 0 -1 4202560 3327 0 0 0 8 1 0 0 20 0 15 0 414320134 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159813822096 140159809605014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10659884 memory=5793854986626087353 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320136 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159367710240 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159366657392 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) R 26617 26620 26463 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159363492936 140159793989855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) R 26617 26620 26463 0 -1 4202560 517 0 0 0 2 0 0 0 20 0 15 0 414320139 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159362444248 140159801830206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 7219 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320140 10915721216 7350 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28612 KiB

[startup+0.210505 s]*
/proc/loadavg: 0.23 0.06 0.06 3/226 26635
/proc/meminfo: memFree=30367008/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10659884 memory=35260 CPUtime=0.32 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 6919 0 0 0 30 2 0 0 20 0 15 0 414320134 10915721216 8815 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2664971 8815 2990 1 0 2627468 0
[pid=26620/tid=26622] ppid=26617 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) R 26617 26620 26463 0 -1 4202560 3875 0 0 0 18 2 0 0 20 0 15 0 414320134 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159813819440 140159809615005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10659884 memory=4211973461820984714 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320136 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159367710240 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159366657392 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 414320139 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 414320139 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0.05 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 414320139 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320140 10915721216 8815 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35260 KiB

[startup+0.309993 s]*
/proc/loadavg: 0.23 0.06 0.06 5/226 26635
/proc/meminfo: memFree=30358940/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10659884 memory=40384 CPUtime=0.48 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 9457 0 0 0 44 4 0 0 20 0 15 0 414320134 10915721216 10096 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2664971 10096 3002 1 0 2627468 0
[pid=26620/tid=26622] ppid=26617 vsize=10659884 memory=279470971814128 CPUtime=0.3 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) R 26617 26620 26463 0 -1 4202560 6344 0 0 0 27 3 0 0 20 0 15 0 414320134 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159813824880 140159793673566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10659884 memory=4211973461820984714 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10659884 memory=139735616196591 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10659884 memory=139735486039703 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10659884 memory=139735486020559 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320135 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10659884 memory=139735616220665 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320136 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10659884 memory=139735486020559 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159367710240 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10659884 memory=279470972061840 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320137 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159366657392 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10659884 memory=279470972059536 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 414320139 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 450 0 0 0 4 0 0 0 20 0 15 0 414320139 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0.08 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 414320139 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10659884 memory=139735616194176 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320140 10915721216 10096 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40384 KiB

[startup+0.701154 s]
/proc/loadavg: 0.23 0.06 0.06 3/226 26635
/proc/meminfo: memFree=30351620/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10661932 memory=62580 CPUtime=1.08 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 12796 0 0 0 102 6 0 0 20 0 15 0 414320134 10917818368 15645 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2665483 15645 3065 1 0 2627980 0
[pid=26620/tid=26622] ppid=26617 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) R 26617 26620 26463 0 -1 4202560 8888 0 0 0 63 5 0 0 20 0 15 0 414320134 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159813818960 140159766194726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320135 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10661932 memory=5787213848925131109 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320136 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320137 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159367710240 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320137 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159366657392 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 775 0 0 0 10 0 0 0 20 0 15 0 414320139 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10661932 memory=11 CPUtime=0.1 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) R 26617 26620 26463 0 -1 4202560 645 0 0 0 10 0 0 0 20 0 15 0 414320139 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159363500272 140159791120904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10661932 memory=1365 CPUtime=0.18 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 1129 0 0 0 18 0 0 0 20 0 15 0 414320139 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10661932 memory=279470972238832 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320140 10917818368 15645 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62580 KiB

[startup+1.50074 s]
/proc/loadavg: 0.23 0.06 0.06 3/226 26635
/proc/meminfo: memFree=30334688/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10663980 memory=75068 CPUtime=1.98 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 18316 0 0 0 192 6 0 0 20 0 15 0 414320134 10919915520 18767 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2665995 18767 3096 1 0 2628492 0
[pid=26620/tid=26622] ppid=26617 vsize=10663980 memory=70852 CPUtime=1.48 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) R 26617 26620 26463 0 -1 4202560 13069 0 0 0 143 5 0 0 20 0 15 0 414320134 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159813818960 140159793673566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10663980 memory=279470972124928 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320135 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320135 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 414320136 10919915520 18767 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0

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

Current children cumulated memory: 757352 KiB

[startup+64.0007 s]*
/proc/loadavg: 1.27 0.42 0.19 3/227 26640
/proc/meminfo: memFree=29495000/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10746276 memory=806504 CPUtime=67.04 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 46813 0 0 0 6665 39 0 0 20 0 16 0 414320134 11004186624 201626 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2686569 201626 3370 1 0 2646705 0
[pid=26620/tid=26622] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) S 26617 26620 26463 0 -1 1077944384 15315 0 0 0 178 6 0 0 20 0 16 0 414320134 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159813835952 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10746276 memory=-7003737579269690708 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1166 0 0 0 8 4 0 0 20 0 16 0 414320135 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10746276 memory=6944665225511868275 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1175 0 0 0 7 5 0 0 20 0 16 0 414320135 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10746276 memory=-9001733975035308135 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 591 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10746276 memory=6944656591801720471 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2110 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10746276 memory=-6586668835053300886 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2218 0 0 0 2 0 0 0 20 0 16 0 414320136 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159367710304 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10746276 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159366657408 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10746276 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10746276 memory=828 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 4453 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10746276 memory=1448 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 2978 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10746276 memory=1748 CPUtime=0.55 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 4338 0 0 0 55 0 0 0 20 0 16 0 414320139 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10746276 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10746276 memory=808 CPUtime=0.01 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 16 0 414320140 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26636] ppid=26617 vsize=10746276 memory=4100 CPUtime=61.97 cores=1,3,5,7
/proc/26620/task/26636/stat : 26636 (java) R 26617 26620 26463 0 -1 4202560 10465 0 0 0 6188 9 0 0 20 0 16 0 414320321 11004186624 201626 33554432000 4194304 4196468 140720438348368 140159276121856 140159435227324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 67.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 806504 KiB

[startup+64.4007 s]
/proc/loadavg: 1.27 0.42 0.19 3/227 26640
/proc/meminfo: memFree=29495000/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10746276 memory=816744 CPUtime=67.43 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 46823 0 0 0 6704 39 0 0 20 0 16 0 414320134 11004186624 204186 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2686569 204186 3370 1 0 2646705 0
[pid=26620/tid=26622] ppid=26617 vsize=10746276 memory=734824 CPUtime=1.84 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) S 26617 26620 26463 0 -1 1077944384 15315 0 0 0 178 6 0 0 20 0 16 0 414320134 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159813835952 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1166 0 0 0 8 4 0 0 20 0 16 0 414320135 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10746276 memory=780 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1175 0 0 0 7 5 0 0 20 0 16 0 414320135 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 591 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10746276 memory=14004 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2110 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10746276 memory=632424 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2218 0 0 0 2 0 0 0 20 0 16 0 414320136 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10746276 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159367710304 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10746276 memory=38592 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159366657408 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10746276 memory=1060 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 4453 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10746276 memory=663144 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 2978 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10746276 memory=1552 CPUtime=0.55 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 4338 0 0 0 55 0 0 0 20 0 16 0 414320139 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10746276 memory=634472 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10746276 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 16 0 414320140 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26636] ppid=26617 vsize=10746276 memory=650856 CPUtime=62.35 cores=1,3,5,7
/proc/26620/task/26636/stat : 26636 (java) R 26617 26620 26463 0 -1 4202560 10475 0 0 0 6226 9 0 0 20 0 16 0 414320321 11004186624 204186 33554432000 4194304 4196468 140720438348368 140159276121856 140159435227004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 67.43 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 816744 KiB

[startup+64.8008 s]
/proc/loadavg: 1.27 0.42 0.19 3/227 26640
/proc/meminfo: memFree=29495000/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10746276 memory=829032 CPUtime=67.83 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 46835 0 0 0 6744 39 0 0 20 0 16 0 414320134 11004186624 207258 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2686569 207258 3370 1 0 2646705 0
[pid=26620/tid=26622] ppid=26617 vsize=10746276 memory=928 CPUtime=1.84 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) S 26617 26620 26463 0 -1 1077944384 15315 0 0 0 178 6 0 0 20 0 16 0 414320134 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159813835952 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) S 26617 26620 26463 0 -1 1077944384 1166 0 0 0 8 4 0 0 20 0 16 0 414320135 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159751596688 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10746276 memory=1676 CPUtime=0.12 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) S 26617 26620 26463 0 -1 1077944384 1175 0 0 0 7 5 0 0 20 0 16 0 414320135 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159750543888 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10746276 memory=1096 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) S 26617 26620 26463 0 -1 1077944384 591 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159749491088 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10746276 memory=1176 CPUtime=0.11 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) S 26617 26620 26463 0 -1 1077944384 2110 0 0 0 7 4 0 0 20 0 16 0 414320135 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159413442832 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2218 0 0 0 2 0 0 0 20 0 16 0 414320136 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159368764272 140159809604226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10746276 memory=38592 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159367710304 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414320137 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159366657408 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10746276 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10746276 memory=6791534058613427641 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 4453 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10746276 memory=1984 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 2978 0 0 0 103 0 0 0 20 0 16 0 414320139 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10746276 memory=2432 CPUtime=0.55 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 4338 0 0 0 55 0 0 0 20 0 16 0 414320139 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10746276 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320139 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10746276 memory=139735485995424 CPUtime=0.01 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 16 0 414320140 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26636] ppid=26617 vsize=10746276 memory=7453009218079122001 CPUtime=62.75 cores=1,3,5,7
/proc/26620/task/26636/stat : 26636 (java) R 26617 26620 26463 0 -1 4202560 10487 0 0 0 6266 9 0 0 20 0 16 0 414320321 11004186624 207258 33554432000 4194304 4196468 140720438348368 140159276121856 140159435228469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 67.83 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 829032 KiB

[startup+64.9101 s]
/proc/loadavg: 1.27 0.42 0.19 3/227 26640
/proc/meminfo: memFree=29495000/32770624 swapFree=66932000/67108860
[pid=26620] ppid=26617 vsize=10746276 memory=849528 CPUtime=67.98 cores=1,3,5,7
/proc/26620/stat : 26620 (java) S 26617 26620 26463 0 -1 1077944320 48927 0 0 0 6757 41 0 0 20 0 15 0 414320134 11004186624 212382 33554432000 4194304 4196468 140720438348368 140720438330912 140159809593079 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
/proc/26620/statm: 2686569 212382 3371 1 0 2646705 0
[pid=26620/tid=26622] ppid=26617 vsize=10746276 memory=814696 CPUtime=1.85 cores=1,3,5,7
/proc/26620/task/26622/stat : 26622 (java) S 26617 26620 26463 0 -1 1077944384 15427 0 0 0 178 7 0 0 20 0 15 0 414320134 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159813828720 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26623] ppid=26617 vsize=10746276 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26620/task/26623/stat : 26623 (java) R 26617 26620 26463 0 -1 4202560 1184 0 0 0 8 5 0 0 20 0 15 0 414320135 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159751596688 140159794620953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26624] ppid=26617 vsize=10746276 memory=808552 CPUtime=0.13 cores=1,3,5,7
/proc/26620/task/26624/stat : 26624 (java) R 26617 26620 26463 0 -1 4202560 1223 0 0 0 8 5 0 0 20 0 15 0 414320135 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159750544088 140159794621256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26625] ppid=26617 vsize=10746276 memory=796264 CPUtime=0.13 cores=1,3,5,7
/proc/26620/task/26625/stat : 26625 (java) R 26617 26620 26463 0 -1 4202560 620 0 0 0 8 5 0 0 20 0 15 0 414320135 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159749491088 140159794620953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26626] ppid=26617 vsize=10746276 memory=826984 CPUtime=0.13 cores=1,3,5,7
/proc/26620/task/26626/stat : 26626 (java) R 26617 26620 26463 0 -1 4202560 2143 0 0 0 8 5 0 0 20 0 15 0 414320135 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159413442832 140159794620953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26627] ppid=26617 vsize=10746276 memory=2319389199166494977 CPUtime=0.02 cores=1,3,5,7
/proc/26620/task/26627/stat : 26627 (java) S 26617 26620 26463 0 -1 1077944384 2250 0 0 0 2 0 0 0 20 0 15 0 414320136 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159368762784 140159809603285 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26628] ppid=26617 vsize=10746276 memory=5715 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26628/stat : 26628 (java) S 26617 26620 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 414320137 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159367710304 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26629] ppid=26617 vsize=10746276 memory=2 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26629/stat : 26629 (java) S 26617 26620 26463 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 414320137 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159366657408 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26630] ppid=26617 vsize=10746276 memory=279470972142688 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26630/stat : 26630 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159365605712 140159809611675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26631] ppid=26617 vsize=10746276 memory=279470971922408 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26631/stat : 26631 (java) S 26617 26620 26463 0 -1 1077944384 4456 0 0 0 103 0 0 0 20 0 15 0 414320139 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159364553072 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26632] ppid=26617 vsize=10746276 memory=767592 CPUtime=1.03 cores=1,3,5,7
/proc/26620/task/26632/stat : 26632 (java) S 26617 26620 26463 0 -1 1077944384 2979 0 0 0 103 0 0 0 20 0 15 0 414320139 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159363500272 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26633] ppid=26617 vsize=10746276 memory=800360 CPUtime=0.56 cores=1,3,5,7
/proc/26620/task/26633/stat : 26633 (java) S 26617 26620 26463 0 -1 1077944384 4675 0 0 0 55 1 0 0 20 0 15 0 414320139 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159362447472 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26634] ppid=26617 vsize=10746276 memory=38592 CPUtime=0 cores=1,3,5,7
/proc/26620/task/26634/stat : 26634 (java) S 26617 26620 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320139 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159361394912 140159809603285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
[pid=26620/tid=26635] ppid=26617 vsize=10746276 memory=828 CPUtime=0.01 cores=1,3,5,7
/proc/26620/task/26635/stat : 26635 (java) S 26617 26620 26463 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 414320140 11004186624 212382 33554432000 4194304 4196468 140720438348368 140159360343216 140159809604226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140720438354955 140720438355058 140720438355058 140720438357967 0
Current children cumulated CPU time: 67.98 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 849528 KiB

Child status: 0
Real time (s): 64.9249
CPU time (s): 68.0219
CPU user time (s): 67.5933
CPU system time (s): 0.428667
CPU usage (%): 104.77
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 849528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.5933
system time used= 0.428667
maximum resident set size= 856432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4159
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 26620
#   total CPU time (s): 68.0219
#   total CPU user time (s): 67.5933
#   total CPU system time (s): 0.428667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.407928 second user time and 0.634195 second system time

The end

Launcher Data

Begin job on node139 at 2019-09-13 15:17:07
IDJOB=4390498
IDBENCH=121491
IDSOLVER=2832
FILE ID=node139/4390498-1568380523
RUNJOBID= node139-1568380618-26495
PBS_JOBID= 21701830
Free space on /tmp= 55328 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Random/Random-RB-3-24-24/rand-3-24-24-76-632-16.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390498-1568380523/watcher-4390498-1568380523 -o /tmp/evaluation-result-4390498-1568380523/solver-4390498-1568380523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26495 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390498-1568380523.xml -cm

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

MD5SUM BENCH= 15519537de8ee4184d6d10278c400490
RANDOM SEED=1006868870

node139.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.57
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.57
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.57
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.57
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:        30390472 kB
MemAvailable:   31587176 kB
Buffers:           98856 kB
Cached:          1372924 kB
SwapCached:        74432 kB
Active:           718288 kB
Inactive:        1066732 kB
Active(anon):     239876 kB
Inactive(anon):   114136 kB
Active(file):     478412 kB
Inactive(file):   952596 kB
Unevictable:      108284 kB
Mlocked:          108284 kB
SwapTotal:      67108860 kB
SwapFree:       66932000 kB
Dirty:             12172 kB
Writeback:             0 kB
AnonPages:        348636 kB
Mapped:            55808 kB
Shmem:             32152 kB
Slab:             191464 kB
SReclaimable:     163064 kB
SUnreclaim:        28400 kB
KernelStack:        3664 kB
PageTables:         6064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1291316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 55316 MiB
End job on node139 at 2019-09-13 15:18:12