Trace number 4390887

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23OPT394 11.9375 6.23688

DiagnosticValue
WRONG_DECISIONS948

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-10-opt_c18.xml
MD5SUMd4eaac7549f90ed3ded0e25770a164a4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark394
Best CPU time to get the best result obtained on this benchmark5.68141
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints3907
Number of domains6
Minimum domain size22
Maximum domain size44
Distribution of domain sizes[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree4
Maximum variable degree25
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3907}]
Number of extensional constraints0
Number of intensional constraints3907
Distribution of constraint types[{"type":"intension","count":3907}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.36/1.89	
2.36/1.89	AbsCon 2 
2.60/1.91	
3.55/2.26	  Instance
3.55/2.26	    name=instance-4390887-1568386818, framework=COP, bounds=-infty..+infty
3.55/2.26	
3.55/2.26	  Loading variables...
3.94/2.36	  Loading constraints...
7.46/3.43	
7.46/3.43	  Domains
7.46/3.43	    nTypes=6, nValues=26980, sizes=[22#40,24#14,36#146,42#306,44#174]
7.46/3.43	  Variables
7.46/3.43	    count=680, degrees=[4#1,5#2,6#15,7#36...22#1,23#2,24#1,25#1]
7.46/3.43	  Objectives
7.46/3.43	    way=min, type=ObjMaximumLE
7.46/3.43	  Constraints
7.46/3.43	    count=3908, nSpecific=1, arities=[2#3907,680#1]
7.46/3.43	    distribution=[CtrIntension#3907,ObjMaximumLE#1]
7.46/3.43	    nIntStructures=(1363,shared:2544), nCftStructures=(1363,shared:2544,unbuilt:1)
7.46/3.43	    wck=1.556, cpu=3.355, mem=137M334
7.46/3.43	  Solver SolverBacktrack being built...
7.46/3.43	
7.46/3.46	
7.46/3.46	  Solver
7.46/3.46	    guaranteedGAC=true
7.46/3.46	    wck=1.599, cpu=3.397, mem=147M950
7.46/3.49	
7.46/3.49	  Preprocessing
7.46/3.49	    filters=60, revisions=(130,useless=70), ccks=2029918, nACremovedValues=386, nTotalRemovedValues=386, inconcistency=false
7.46/3.49	    wck=0.021, cpu=3.419, mem=150M405
7.46/3.49	
8.13/3.61	    num=0, depth=16..23, filters=3546, revisions=(14871,useless=11172), ccks=2658894, wck=0.145, mem=32M316
8.13/3.61	    decisions=43, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
8.13/3.61	    
8.13/3.65	    num=1, depth=6..11, filters=7007, revisions=(26104,useless=18795), ccks=2910787, wck=0.183, mem=32M316
8.13/3.65	    decisions=76, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
8.13/3.65	    
8.13/3.67	    num=2, depth=5..8, filters=8505, revisions=(29834,useless=20980), ccks=3056875, wck=0.202, mem=32M316
8.13/3.67	    decisions=107, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
8.13/3.67	    
8.13/3.68	    num=3, depth=2..6, filters=10228, revisions=(34401,useless=23779), ccks=3172786, wck=0.219, mem=34M941
8.13/3.68	    decisions=139, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
8.13/3.68	    
8.44/3.71	    num=4, depth=3..10, filters=12192, revisions=(40325,useless=27695), ccks=3349844, wck=0.243, mem=34M941
8.44/3.71	    decisions=176, wrong=61, backtracks=1, failedAssignments=60, nogoods=50
8.44/3.71	    
8.44/3.78	    num=5, depth=6..25, filters=17027, revisions=(61189,useless=43548), ccks=3757156, wck=0.312, mem=37M566
8.44/3.78	    decisions=234, wrong=78, backtracks=2, failedAssignments=76, nogoods=66
8.44/3.78	    
8.73/3.82	    num=6, depth=11..40, filters=20729, revisions=(77670,useless=56169), ccks=4115567, wck=0.359, mem=40M191
8.73/3.82	    decisions=308, wrong=95, backtracks=2, failedAssignments=93, nogoods=83
8.73/3.82	    
8.73/3.86	    num=7, depth=17..49, filters=24125, revisions=(92389,useless=67356), ccks=4404082, wck=0.398, mem=40M191
8.73/3.86	    decisions=394, wrong=114, backtracks=2, failedAssignments=112, nogoods=102
8.73/3.86	    
8.95/3.92	    num=8, depth=6..89, filters=29795, revisions=(120485,useless=89588), ccks=4797972, wck=0.454, mem=42M817
8.95/3.92	    decisions=525, wrong=135, backtracks=2, failedAssignments=133, nogoods=123
8.95/3.92	    
8.95/3.97	    num=9, depth=6..30, filters=34733, revisions=(142439,useless=106424), ccks=5202126, wck=0.506, mem=46M301
8.95/3.97	    decisions=599, wrong=158, backtracks=2, failedAssignments=156, nogoods=146
8.95/3.97	    
9.17/4.04	    num=10, depth=22..41, filters=39471, revisions=(166014,useless=125086), ccks=5713956, wck=0.573, mem=48M926
9.17/4.04	    decisions=689, wrong=183, backtracks=2, failedAssignments=181, nogoods=171
9.17/4.04	    
9.38/4.13	    num=11, depth=9..12, filters=50385, revisions=(207734,useless=155568), ccks=6422185, wck=0.667, mem=54M176
9.38/4.13	    decisions=766, wrong=217, backtracks=8, failedAssignments=209, nogoods=184
9.38/4.13	    
9.38/4.19	    num=12, depth=6..11, filters=56117, revisions=(227875,useless=169759), ccks=6832502, wck=0.722, mem=56M802
9.38/4.19	    decisions=841, wrong=250, backtracks=10, failedAssignments=240, nogoods=215
9.38/4.19	    
9.57/4.25	    num=13, depth=35..74, filters=63200, revisions=(266666,useless=201255), ccks=7294091, wck=0.788, mem=59M427
9.57/4.25	    decisions=991, wrong=293, backtracks=19, failedAssignments=274, nogoods=242
9.57/4.25	    
9.71/4.31	o 792
9.71/4.31	    num=14, depth=49..679, filters=68182, revisions=(293261,useless=222704), ccks=7686698, wck=0.851, mem=62M52
9.71/4.31	    decisions=1212, wrong=311, backtracks=19, failedAssignments=292, nogoods=260, foundSolutions=1, bestBound=792
9.71/4.31	    
9.71/4.39	    num=15, depth=1..10, filters=77532, revisions=(325973,useless=245578), ccks=8192535, wck=0.925, mem=67M302
9.71/4.39	    decisions=1304, wrong=353, backtracks=21, failedAssignments=333, nogoods=300, foundSolutions=1, bestBound=792
9.71/4.39	    
9.90/4.44	    num=16, depth=14..17, filters=81819, revisions=(346705,useless=261873), ccks=8573455, wck=0.972, mem=69M928
9.90/4.44	    decisions=1342, wrong=365, backtracks=22, failedAssignments=344, nogoods=311, foundSolutions=1, bestBound=792
9.90/4.44	    
9.90/4.49	    num=17, depth=18..22, filters=86012, revisions=(366564,useless=277369), ccks=9012992, wck=1.025, mem=69M928
9.90/4.49	    decisions=1392, wrong=381, backtracks=26, failedAssignments=356, nogoods=320, foundSolutions=1, bestBound=792
9.90/4.49	    
10.00/4.53	    num=18, depth=13..31, filters=90506, revisions=(389394,useless=295512), ccks=9328510, wck=1.067, mem=72M553
10.00/4.53	    decisions=1448, wrong=394, backtracks=26, failedAssignments=369, nogoods=333, foundSolutions=1, bestBound=792
10.00/4.53	    
10.00/4.56	    num=19, depth=4..7, filters=93402, revisions=(398424,useless=301538), ccks=9586939, wck=1.098, mem=75M178
10.00/4.56	    decisions=1485, wrong=409, backtracks=27, failedAssignments=383, nogoods=347, foundSolutions=1, bestBound=792
10.00/4.56	    
10.13/4.61	o 778
10.13/4.61	    num=20, depth=23..679, filters=97809, revisions=(421842,useless=320381), ccks=9957754, wck=1.149, mem=77M803
10.13/4.61	    decisions=1735, wrong=423, backtracks=27, failedAssignments=397, nogoods=361, foundSolutions=2, bestBound=778
10.13/4.61	    
10.13/4.67	    num=21, depth=3..5, filters=103342, revisions=(445399,useless=337907), ccks=10388767, wck=1.206, mem=77M803
10.13/4.67	    decisions=1776, wrong=442, backtracks=30, failedAssignments=414, nogoods=370, foundSolutions=2, bestBound=778
10.13/4.67	    
10.24/4.72	    num=22, depth=2..39, filters=108041, revisions=(470395,useless=357988), ccks=10830561, wck=1.26, mem=80M429
10.24/4.72	    decisions=1839, wrong=454, backtracks=31, failedAssignments=425, nogoods=381, foundSolutions=2, bestBound=778
10.24/4.72	    
10.24/4.77	    num=23, depth=9..21, filters=111948, revisions=(488308,useless=371864), ccks=11214951, wck=1.307, mem=83M54
10.24/4.77	    decisions=1888, wrong=469, backtracks=34, failedAssignments=437, nogoods=390, foundSolutions=2, bestBound=778
10.24/4.77	    
10.34/4.81	    num=24, depth=9..23, filters=116421, revisions=(509706,useless=388657), ccks=11546088, wck=1.351, mem=85M679
10.34/4.81	    decisions=1940, wrong=484, backtracks=37, failedAssignments=450, nogoods=401, foundSolutions=2, bestBound=778
10.34/4.81	    
10.34/4.85	    num=25, depth=1..5, filters=119877, revisions=(522159,useless=397563), ccks=11824945, wck=1.385, mem=85M679
10.34/4.85	    decisions=1973, wrong=498, backtracks=37, failedAssignments=464, nogoods=415, foundSolutions=2, bestBound=778
10.34/4.85	    
10.44/4.92	    num=26, depth=1..4, filters=127482, revisions=(557860,useless=425304), ccks=12359370, wck=1.455, mem=90M929
10.44/4.92	    decisions=2012, wrong=517, backtracks=42, failedAssignments=480, nogoods=429, foundSolutions=2, bestBound=778
10.44/4.92	    
10.44/4.95	    num=27, depth=11..14, filters=130679, revisions=(569222,useless=433379), ccks=12604454, wck=1.485, mem=90M929
10.44/4.95	    decisions=2061, wrong=535, backtracks=43, failedAssignments=497, nogoods=439, foundSolutions=2, bestBound=778
10.44/4.95	    
10.44/5.00	    num=28, depth=34..42, filters=135341, revisions=(593978,useless=453278), ccks=12995956, wck=1.536, mem=93M555
10.44/5.00	    decisions=2147, wrong=561, backtracks=51, failedAssignments=516, nogoods=442, foundSolutions=2, bestBound=778
10.44/5.00	    
10.55/5.04	    num=29, depth=2..8, filters=139421, revisions=(610574,useless=465650), ccks=13321849, wck=1.577, mem=96M180
10.55/5.04	    decisions=2199, wrong=584, backtracks=53, failedAssignments=537, nogoods=463, foundSolutions=2, bestBound=778
10.55/5.04	    
10.55/5.10	    num=30, depth=2..6, filters=146393, revisions=(643326,useless=491178), ccks=13818259, wck=1.641, mem=98M805
10.55/5.10	    decisions=2255, wrong=610, backtracks=56, failedAssignments=560, nogoods=472, foundSolutions=2, bestBound=778
10.55/5.10	    
10.75/5.22	    num=31, depth=3..8, filters=159536, revisions=(695661,useless=529912), ccks=14706343, wck=1.756, mem=104M56
10.75/5.22	    decisions=2321, wrong=640, backtracks=61, failedAssignments=585, nogoods=482, foundSolutions=2, bestBound=778
10.75/5.22	    
10.75/5.29	    num=32, depth=1..7, filters=168291, revisions=(738603,useless=563796), ccks=15185712, wck=1.824, mem=106M681
10.75/5.29	    decisions=2387, wrong=671, backtracks=67, failedAssignments=613, nogoods=497, foundSolutions=2, bestBound=778
10.75/5.29	    
10.95/5.41	    num=33, depth=5..12, filters=182287, revisions=(794569,useless=605345), ccks=16170754, wck=1.951, mem=114M557
10.95/5.41	    decisions=2477, wrong=713, backtracks=81, failedAssignments=644, nogoods=508, foundSolutions=2, bestBound=778
10.95/5.41	    
10.95/5.49	    num=34, depth=2..12, filters=190557, revisions=(840449,useless=642653), ccks=16743208, wck=2.028, mem=117M182
10.95/5.49	    decisions=2565, wrong=754, backtracks=90, failedAssignments=678, nogoods=519, foundSolutions=2, bestBound=778
10.95/5.49	    
11.15/5.60	    num=35, depth=0..7, filters=204415, revisions=(907220,useless=695131), ccks=17522930, wck=2.137, mem=122M432
11.15/5.60	    decisions=2655, wrong=797, backtracks=97, failedAssignments=715, nogoods=529, foundSolutions=2, bestBound=778
11.15/5.60	    
11.15/5.66	o 764
11.15/5.66	    num=36, depth=4..679, filters=209721, revisions=(935206,useless=717663), ccks=17964407, wck=2.198, mem=125M58
11.15/5.66	    decisions=2953, wrong=815, backtracks=97, failedAssignments=733, nogoods=547, foundSolutions=3, bestBound=764
11.15/5.66	    
11.26/5.72	    num=37, depth=7..14, filters=216683, revisions=(964317,useless=739317), ccks=18389904, wck=2.258, mem=127M683
11.26/5.72	    decisions=3064, wrong=867, backtracks=106, failedAssignments=778, nogoods=548, foundSolutions=3, bestBound=764
11.26/5.72	    
11.26/5.79	    num=38, depth=0..40, filters=222880, revisions=(998681,useless=767261), ccks=18898608, wck=2.323, mem=130M308
11.26/5.79	    decisions=3123, wrong=879, backtracks=107, failedAssignments=789, nogoods=558, foundSolutions=3, bestBound=764
11.26/5.79	    
11.36/5.88	    num=39, depth=1..3, filters=230800, revisions=(1030378,useless=790696), ccks=19648395, wck=2.414, mem=135M558
11.36/5.88	    decisions=3152, wrong=893, backtracks=109, failedAssignments=801, nogoods=569, foundSolutions=3, bestBound=764
11.36/5.88	    
11.46/5.95	o 750
11.46/5.95	    num=40, depth=0..679, filters=238528, revisions=(1073161,useless=825420), ccks=20165811, wck=2.489, mem=138M184
11.46/5.95	    decisions=3291, wrong=904, backtracks=109, failedAssignments=812, nogoods=577, foundSolutions=4, bestBound=750
11.46/5.95	    
11.63/6.03	    num=41, depth=0..5, filters=244555, revisions=(1096998,useless=842666), ccks=20633847, wck=2.569, mem=143M434
11.63/6.03	    decisions=3324, wrong=918, backtracks=109, failedAssignments=826, nogoods=581, foundSolutions=4, bestBound=750
11.63/6.03	    
11.63/6.08	    num=42, depth=0..76, filters=249718, revisions=(1125671,useless=865947), ccks=20910127, wck=2.612, mem=143M434
11.63/6.08	    decisions=3419, wrong=929, backtracks=109, failedAssignments=837, nogoods=589, foundSolutions=4, bestBound=750
11.63/6.08	    
11.63/6.10	    num=43, depth=0..1, filters=252050, revisions=(1134311,useless=872177), ccks=21079375, wck=2.633, mem=146M59
11.63/6.10	    decisions=3444, wrong=941, backtracks=109, failedAssignments=849, nogoods=597, foundSolutions=4, bestBound=750
11.63/6.10	    
11.74/6.13	o 736
11.74/6.13	    num=44, depth=681..679, filters=256246, revisions=(1160035,useless=893505), ccks=21247909, wck=2.665, mem=146M59
11.74/6.13	    decisions=3572, wrong=941, backtracks=109, failedAssignments=849, nogoods=597, foundSolutions=5, bestBound=736
11.74/6.13	    
11.74/6.18	o 694
11.74/6.18	    num=45, depth=152..679, filters=260086, revisions=(1184189,useless=913338), ccks=21612359, wck=2.719, mem=148M685
11.74/6.18	    decisions=3812, wrong=948, backtracks=109, failedAssignments=856, nogoods=604, foundSolutions=6, bestBound=694
11.74/6.18	    
11.88/6.22	o 394
11.88/6.22	    num=46, depth=681..679, filters=263104, revisions=(1203406,useless=929074), ccks=21865294, wck=2.758, mem=151M310
11.88/6.22	    decisions=3956, wrong=948, backtracks=109, failedAssignments=856, nogoods=604, foundSolutions=7, bestBound=394
11.88/6.22	    
11.88/6.22	
11.88/6.22	  New Bounds: 394..393
11.88/6.22	    num=47, depth=681..0, filters=263116, revisions=(1203447,useless=929103), ccks=21865741, wck=2.759, mem=151M310
11.88/6.22	    decisions=3956, wrong=948, backtracks=109, failedAssignments=856, foundSolutions=7, bestBound=394
11.88/6.22	    
11.88/6.22	  Global
11.88/6.22	    filters=263116, revisions=(1203447,useless=929103), ccks=21865741
11.88/6.22	    Stop=FULL_EXPLORATION, wrong=948, bestBound=394, bestBoundWck=4.356, bestBoundCpu=6.126, foundSolutions=7, firstSolCpu=4.212
11.88/6.22	    wck=4.359, cpu=6.13, mem=151M310
11.88/6.22	
11.88/6.22	v <instantiation id='sol7' type='solution' cost='394'>  <list> x[] </list>  <values> 16 254 114 352 58 296 128 366 114 352 30 268 100 338 100 338 100 338 30 268 114 352 128 366 100 338 114 352 86 324 156 394 44 282 156 394 44 282 58 296 30 268 114 352 142 380 156 394 44 282 16 254 128 366 58 296 16 254 16 254 16 254 72 310 72 310 142 380 58 296 100 338 58 296 128 366 128 366 16 254 58 296 156 394 16 254 142 380 156 394 114 352 142 380 100 338 72 310 44 282 156 394 128 366 16 254 114 352 142 380 86 324 58 296 100 338 30 268 100 338 142 380 86 324 128 366 128 366 16 254 72 310 114 352 72 310 156 394 16 254 58 296 128 366 128 366 44 282 30 268 44 282 16 254 16 254 30 268 58 296 142 380 16 254 156 394 156 394 16 254 16 254 86 324 142 380 72 310 44 282 156 394 156 394 156 394 16 254 86 324 44 282 128 366 44 282 16 254 156 394 142 380 58 296 142 380 114 352 30 268 114 352 156 394 44 282 30 268 114 352 156 394 156 394 58 296 58 296 86 324 58 296 142 380 16 254 142 380 16 254 16 254 142 380 156 394 156 394 156 394 16 254 128 366 58 296 114 352 58 296 16 254 156 394 100 338 30 268 72 310 100 338 16 254 100 338 156 394 100 338 30 268 44 282 128 366 58 296 86 324 142 380 100 338 100 338 86 324 156 394 16 254 44 282 86 324 16 254 58 296 72 310 86 324 156 394 44 282 100 338 30 268 72 310 156 394 156 394 16 254 44 282 128 366 58 296 100 338 30 268 72 310 156 394 16 254 16 254 30 268 128 366 114 352 16 254 58 296 86 324 86 324 30 268 128 366 58 296 128 366 128 366 16 254 128 366 156 394 100 338 114 352 156 394 114 352 16 254 58 296 114 352 30 268 16 254 58 296 128 366 156 394 128 366 30 268 44 282 156 394 142 380 30 268 128 366 72 310 128 366 156 394 58 296 72 310 142 380 86 324 72 310 156 394 100 338 142 380 44 282 58 296 142 380 44 282 100 338 72 310 156 394 128 366 58 296 128 366 100 338 16 254 30 268 114 352 44 282 16 254 72 310 114 352 86 324 58 296 30 268 86 324 30 268 100 338 86 324 16 254 156 394 128 366 86 324 16 254 100 338 156 394 156 394 86 324 72 310 16 254 156 394 58 296 16 254 100 338 114 352 72 310 30 268 114 352 156 394 44 282 114 352 156 394 128 366 16 254 142 380 86 324 142 380 16 254 58 296 128 366 86 324 156 394 86 324 16 254 86 324 58 296 156 394 30 268 156 394 30 268 142 380 100 338 156 394 156 394 100 338 100 338 142 380 128 366 16 254 58 296 156 394 30 268 128 366 30 268 114 352 30 268 58 296 86 324 44 282 16 254 156 394 156 394 72 310 16 254 72 310 72 310 114 352 128 366 100 338 72 310 30 268 100 338 128 366 30 268 16 254 44 282 30 268 72 310 142 380 44 282 72 310 16 254 16 254 72 310 156 394 58 296 30 268 86 324 142 380 86 324 44 282 114 352 156 394 16 254 30 268 </values>  </instantiation>
11.88/6.22	s OPTIMUM FOUND
11.88/6.22	
11.88/6.22	d WRONG_DECISIONS 948
11.88/6.22	d NUMBER_SOLUTIONS 7

Verifier Data 

OK	394

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390887-1568386818/watcher-4390887-1568386818 -o /tmp/evaluation-result-4390887-1568386818/solver-4390887-1568386818 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390887-1568386818.xml -cm 

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

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


[startup+0.102238 s]*
/proc/loadavg: 1.49 1.57 1.55 4/228 3318
/proc/meminfo: memFree=26359288/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10659884 memory=27592 CPUtime=0.13 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 5411 0 0 0 12 1 0 0 20 0 15 0 414595605 10915721216 6898 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2664971 6898 2862 1 0 2627468 0
[pid=3302/tid=3304] ppid=3299 vsize=10659884 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) R 3299 3302 32084 0 -1 4202560 3270 0 0 0 8 0 0 0 20 0 15 0 414595605 10915721216 7030 33554432000 4194304 4196468 140729778583952 140450068699408 140450056706878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 7030 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 7030 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449555428640 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449554376304 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) R 3299 3302 32084 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449551199576 140450047956006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) R 3299 3302 32084 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449550160768 140450043426837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 7030 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27592 KiB

[startup+0.25145 s]*
/proc/loadavg: 1.49 1.57 1.55 3/228 3318
/proc/meminfo: memFree=26353168/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10659884 memory=35092 CPUtime=0.36 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 6899 0 0 0 34 2 0 0 20 0 15 0 414595605 10915721216 8773 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2664971 8773 2990 1 0 2627468 0
[pid=3302/tid=3304] ppid=3299 vsize=10659884 memory=8389772277269004345 CPUtime=0.23 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) R 3299 3302 32084 0 -1 4202560 3886 0 0 0 22 1 0 0 20 0 15 0 414595605 10915721216 8773 33554432000 4194304 4196468 140729778583952 140450068696112 140450064491677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10659884 memory=4294967635 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 8773 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10659884 memory=139793958383784 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 8773 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449555428640 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449554376304 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 691 0 0 0 3 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0.05 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 689 0 0 0 5 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10659884 memory=139793955624576 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 8773 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35092 KiB

[startup+0.310214 s]*
/proc/loadavg: 1.49 1.57 1.55 3/228 3319
/proc/meminfo: memFree=26348392/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10660908 memory=40936 CPUtime=0.45 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 9357 0 0 0 42 3 0 0 20 0 15 0 414595605 10916769792 10234 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2665227 10234 3002 1 0 2627724 0
[pid=3302/tid=3304] ppid=3299 vsize=10660908 memory=7230368021996071252 CPUtime=0.29 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) R 3299 3302 32084 0 -1 4202560 6310 0 0 0 27 2 0 0 20 0 15 0 414595605 10916769792 10037 33554432000 4194304 4196468 140729778583952 140450068690640 140450057186855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10659884 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 10037 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10659884 memory=139793955677984 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 10037 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10659884 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595606 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10659884 memory=139793955684896 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449555428640 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10659884 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414595608 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449554376304 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10659884 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 728 0 0 0 4 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10659884 memory=139793803623439 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10659884 memory=139793955627789 CPUtime=0.07 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10659884 memory=139793803632559 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10659884 memory=279587759273952 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595611 10915721216 10037 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 40936 KiB

[startup+0.700807 s]
/proc/loadavg: 1.49 1.57 1.55 3/228 3319
/proc/meminfo: memFree=26337036/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10661932 memory=60140 CPUtime=1.07 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 12666 0 0 0 101 6 0 0 20 0 15 0 414595605 10917818368 15035 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2665483 15035 3073 1 0 2627980 0
[pid=3302/tid=3304] ppid=3299 vsize=10661932 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) R 3299 3302 32084 0 -1 4202560 8850 0 0 0 62 5 0 0 20 0 15 0 414595605 10917818368 15035 33554432000 4194304 4196468 140729778583952 140450068692688 140450046033311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10917818368 15035 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10917818368 15035 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10661932 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595606 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10661932 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595608 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10661932 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414595608 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449555428640 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414595608 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449554376304 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10661932 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10661932 memory=21252 CPUtime=0.11 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 958 0 0 0 11 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10661932 memory=492 CPUtime=0.08 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10661932 memory=1560 CPUtime=0.19 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 1088 0 0 0 19 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10661932 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595611 10917818368 15035 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60140 KiB

[startup+1.50081 s]
/proc/loadavg: 1.49 1.57 1.55 3/228 3319
/proc/meminfo: memFree=26321056/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10663980 memory=74940 CPUtime=1.98 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 18249 0 0 0 191 7 0 0 20 0 15 0 414595605 10919915520 18735 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2665995 18735 3096 1 0 2628492 0
[pid=3302/tid=3304] ppid=3299 vsize=10663980 memory=2241 CPUtime=1.47 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) R 3299 3302 32084 0 -1 4202560 13046 0 0 0 141 6 0 0 20 0 15 0 414595605 10919915520 18735 33554432000 4194304 4196468 140729778583952 140450068701776 140450064491677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10663980 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10919915520 18735 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10919915520 18735 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414595606 10919915520 18735 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414595606 10919915520 18735 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 414595608 10919915520 18735 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0

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

[startup+4.8008 s]
/proc/loadavg: 1.61 1.60 1.55 4/229 3320
/proc/meminfo: memFree=26121652/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10748324 memory=265852 CPUtime=10.34 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 32433 0 0 0 1016 18 0 0 20 0 16 0 414595605 11006283776 66463 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2687081 66463 3359 1 0 2647217 0
[pid=3302/tid=3304] ppid=3299 vsize=10748324 memory=3512 CPUtime=1.86 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) S 3299 3302 32084 0 -1 1077944384 15336 0 0 0 179 7 0 0 20 0 16 0 414595605 11006283776 66463 33554432000 4194304 4196468 140729778583952 140450068712624 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66463 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10748324 memory=-7173504570860347296 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 16 0 414595606 11006283776 66463 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10748324 memory=8257237230706253920 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10748324 memory=-9001734013606258791 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 16 0 414595606 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10748324 memory=-7233780906022726806 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 1188 0 0 0 1 0 0 0 20 0 16 0 414595608 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10748324 memory=7681905605394137875 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449555428704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10748324 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449554376320 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10748324 memory=265824 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10748324 memory=4206468019014099040 CPUtime=2.08 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 3524 0 0 0 208 0 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10748324 memory=260188 CPUtime=2.47 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 3695 0 0 0 246 1 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10748324 memory=8305309928409948256 CPUtime=0.9 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 3367 0 0 0 89 1 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10748324 memory=-5082702989052053089 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10748324 memory=-2752621353146282308 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3320] ppid=3299 vsize=10748324 memory=-4865682228692870029 CPUtime=2.81 cores=0,2,4,6
/proc/3302/task/3320/stat : 3320 (java) R 3299 3302 32084 0 -1 4202560 3629 0 0 0 279 2 0 0 20 0 16 0 414595795 11006283776 66463 33554432000 4194304 4196468 140729778583952 140449530986016 140449684924285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 10.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265852 KiB

[startup+5.6008 s]
/proc/loadavg: 1.61 1.60 1.55 3/229 3320
/proc/meminfo: memFree=26121744/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10748324 memory=265956 CPUtime=11.15 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 33410 0 0 0 1097 18 0 0 20 0 16 0 414595605 11006283776 66489 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2687081 66489 3359 1 0 2647217 0
[pid=3302/tid=3304] ppid=3299 vsize=10748324 memory=5795099610442131821 CPUtime=1.86 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) S 3299 3302 32084 0 -1 1077944384 15336 0 0 0 179 7 0 0 20 0 16 0 414595605 11006283776 66489 33554432000 4194304 4196468 140729778583952 140450068712624 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10748324 memory=6226320395799843940 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66489 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 16 0 414595606 11006283776 66489 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10748324 memory=39616 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10748324 memory=2020 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 16 0 414595606 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 1210 0 0 0 1 0 0 0 20 0 16 0 414595608 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10748324 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449555428704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449554376320 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10748324 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10748324 memory=6100 CPUtime=2.08 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 3524 0 0 0 208 0 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10748324 memory=11624 CPUtime=2.48 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 3910 0 0 0 247 1 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10748324 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 3368 0 0 0 89 1 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10748324 memory=13412 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3320] ppid=3299 vsize=10748324 memory=279587607422752 CPUtime=3.61 cores=0,2,4,6
/proc/3302/task/3320/stat : 3320 (java) R 3299 3302 32084 0 -1 4202560 3792 0 0 0 359 2 0 0 20 0 16 0 414595795 11006283776 66489 33554432000 4194304 4196468 140729778583952 140449530990928 140449684354932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265956 KiB

[startup+6.00074 s]*
/proc/loadavg: 1.61 1.60 1.55 4/229 3320
/proc/meminfo: memFree=26121904/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10748324 memory=266140 CPUtime=11.63 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 34677 0 0 0 1145 18 0 0 20 0 16 0 414595605 11006283776 66535 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2687081 66535 3359 1 0 2647217 0
[pid=3302/tid=3304] ppid=3299 vsize=10748324 memory=4026532047 CPUtime=1.86 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) S 3299 3302 32084 0 -1 1077944384 15336 0 0 0 179 7 0 0 20 0 16 0 414595605 11006283776 66535 33554432000 4194304 4196468 140729778583952 140450068712624 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10748324 memory=288230604657655831 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66535 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10748324 memory=14266539248522904 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 16 0 414595606 11006283776 66535 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10748324 memory=6442213880752005984 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10748324 memory=4122824664003129644 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 16 0 414595606 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10748324 memory=3900316682035678898 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 1210 0 0 0 1 0 0 0 20 0 16 0 414595608 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10748324 memory=3684001911187846687 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449555428704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10748324 memory=8029749280730604864 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449554376320 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10748324 memory=6945228381569377621 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10748324 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 3887 0 0 0 210 0 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10748324 memory=3473455226943649583 CPUtime=2.52 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) R 3299 3302 32084 0 -1 4202560 4392 0 0 0 251 1 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449551218672 140450049398072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10748324 memory=3472468090183304880 CPUtime=0.91 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 3425 0 0 0 90 1 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10748324 memory=3472328295574041702 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10748324 memory=3616583278292978354 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 588 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3320] ppid=3299 vsize=10748324 memory=0 CPUtime=4.01 cores=0,2,4,6
/proc/3302/task/3320/stat : 3320 (java) R 3299 3302 32084 0 -1 4202560 4155 0 0 0 399 2 0 0 20 0 16 0 414595795 11006283776 66535 33554432000 4194304 4196468 140729778583952 140449530981264 140449684379303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266140 KiB

[startup+6.20075 s]
/proc/loadavg: 1.61 1.60 1.55 4/229 3320
/proc/meminfo: memFree=26121904/32770624 swapFree=66957012/67108860
[pid=3302] ppid=3299 vsize=10748324 memory=266180 CPUtime=11.88 cores=0,2,4,6
/proc/3302/stat : 3302 (java) S 3299 3302 32084 0 -1 1077944320 35092 0 0 0 1170 18 0 0 20 0 16 0 414595605 11006283776 66545 33554432000 4194304 4196468 140729778583952 140729778566496 140450064469751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
/proc/3302/statm: 2687081 66545 3360 1 0 2647217 0
[pid=3302/tid=3304] ppid=3299 vsize=10748324 memory=5853392643196287389 CPUtime=1.86 cores=0,2,4,6
/proc/3302/task/3304/stat : 3304 (java) S 3299 3302 32084 0 -1 1077944384 15336 0 0 0 179 7 0 0 20 0 16 0 414595605 11006283776 66545 33554432000 4194304 4196468 140729778583952 140450068712624 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3305] ppid=3299 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3305/stat : 3305 (java) S 3299 3302 32084 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66545 33554432000 4194304 4196468 140729778583952 140450001160592 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3306] ppid=3299 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3302/task/3306/stat : 3306 (java) S 3299 3302 32084 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 16 0 414595606 11006283776 66545 33554432000 4194304 4196468 140729778583952 140450000107792 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3307] ppid=3299 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3302/task/3307/stat : 3307 (java) S 3299 3302 32084 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 16 0 414595606 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449999055504 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3308] ppid=3299 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3308/stat : 3308 (java) S 3299 3302 32084 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 16 0 414595606 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449998002704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3309] ppid=3299 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3302/task/3309/stat : 3309 (java) S 3299 3302 32084 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 16 0 414595608 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449556482672 140450064480898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3310] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3310/stat : 3310 (java) S 3299 3302 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449555428704 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3311] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3311/stat : 3311 (java) S 3299 3302 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414595608 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449554376320 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3312] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3312/stat : 3312 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449553324624 140450064488347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3313] ppid=3299 vsize=10748324 memory=0 CPUtime=2.13 cores=0,2,4,6
/proc/3302/task/3313/stat : 3313 (java) S 3299 3302 32084 0 -1 1077944384 4008 0 0 0 213 0 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449552271472 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3314] ppid=3299 vsize=10748324 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/3302/task/3314/stat : 3314 (java) S 3299 3302 32084 0 -1 1077944384 4485 0 0 0 254 1 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449551218672 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3315] ppid=3299 vsize=10748324 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/3302/task/3315/stat : 3315 (java) S 3299 3302 32084 0 -1 1077944384 3428 0 0 0 90 1 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449550166384 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3316] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3316/stat : 3316 (java) S 3299 3302 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449549113824 140450064479957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3318] ppid=3299 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3302/task/3318/stat : 3318 (java) S 3299 3302 32084 0 -1 1077944384 588 0 0 0 0 0 0 0 20 0 16 0 414595611 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449548061616 140450064480898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
[pid=3302/tid=3320] ppid=3299 vsize=10748324 memory=0 CPUtime=4.2 cores=0,2,4,6
/proc/3302/task/3320/stat : 3320 (java) R 3299 3302 32084 0 -1 4202560 4351 0 0 0 418 2 0 0 20 0 16 0 414595795 11006283776 66545 33554432000 4194304 4196468 140729778583952 140449530990928 140449684504531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22786048 140729778590731 140729778590834 140729778590834 140729778593743 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266180 KiB

Child status: 0
Real time (s): 6.23688
CPU time (s): 11.9375
CPU user time (s): 11.7469
CPU system time (s): 0.190621
CPU usage (%): 191.403
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 266180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7469
system time used= 0.190621
maximum resident set size= 266696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2821
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 3302
#   total CPU time (s): 11.9375
#   total CPU user time (s): 11.7469
#   total CPU system time (s): 0.190621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081714 second user time and 0.089686 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 16:59:34
IDJOB=4390887
IDBENCH=141212
IDSOLVER=2832
FILE ID=node147/4390887-1568386818
RUNJOBID= node147-1568380472-32115
PBS_JOBID= 21701824
Free space on /tmp= 56536 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-10-opt_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390887-1568386818/watcher-4390887-1568386818 -o /tmp/evaluation-result-4390887-1568386818/solver-4390887-1568386818 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390887-1568386818.xml -cm

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

MD5SUM BENCH= d4eaac7549f90ed3ded0e25770a164a4
RANDOM SEED=1478033358

node147.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.52
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.52
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.52
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.52
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:        26375860 kB
MemAvailable:   31566488 kB
Buffers:          164624 kB
Cached:          5239656 kB
SwapCached:        48500 kB
Active:          2417596 kB
Inactive:        3288368 kB
Active(anon):     253520 kB
Inactive(anon):    89344 kB
Active(file):    2164076 kB
Inactive(file):  3199024 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              8776 kB
Writeback:             0 kB
AnonPages:        371020 kB
Mapped:            56900 kB
Shmem:             32768 kB
Slab:             285292 kB
SReclaimable:     255988 kB
SUnreclaim:        29304 kB
KernelStack:        4000 kB
PageTables:         5992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1262976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56528 MiB
End job on node147 at 2019-09-13 16:59:41