Trace number 4391321

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-23SAT (TO)33 2400.12 2391.12

General information on the benchmark

NameGraphColoring/GraphColoring-m1-fixed/
GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM2a724879a45d3456306f221189212969
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark1964.89
Satisfiable
(Un)Satisfiability was proved
Number of variables1089
Number of constraints34849
Number of domains1
Minimum domain size1089
Maximum domain size1089
Distribution of domain sizes[{"size":1089,"count":1089}]
Minimum variable degree65
Maximum variable degree66
Distribution of variable degrees[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity2
Maximum constraint arity708
Distribution of constraint arities[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints0
Number of intensional constraints34848
Distribution of constraint types[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
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.38/1.88	
2.38/1.88	AbsCon 2 
2.38/1.90	
5.48/2.80	  Instance
5.48/2.80	    name=instance-4391321-1568388837, framework=COP, bounds=-infty..+infty
5.48/2.80	
5.48/2.80	  Loading variables...
5.48/2.89	  Loading constraints...
11.12/4.72	
11.12/4.72	  Domains
11.12/4.72	    nTypes=1, nValues=1185921, sizes=[1089#1089]
11.12/4.72	  Variables
11.12/4.72	    count=1089, degrees=[65#381,66#708]
11.12/4.72	  Objectives
11.12/4.72	    way=min, type=ObjMaximumLE
11.12/4.72	  Constraints
11.12/4.72	    count=35557, nSpecific=34849, arities=[1#708,2#34848,1089#1]
11.12/4.72	    distribution=[CtrIntension#708,NE#34848,ObjMaximumLE#1]
11.12/4.72	    nIntStructures=(33,shared:675)
11.12/4.72	    wck=2.865, cpu=4.52, mem=129M885
11.12/4.73	  Solver SolverBacktrack being built...
11.12/4.73	
11.42/4.81	
11.42/4.81	  Solver
11.42/4.81	    guaranteedGAC=true
11.42/4.81	    wck=2.952, cpu=4.605, mem=159M167
11.72/4.94	
11.72/4.94	  Preprocessing
11.72/4.94	    filters=24106, revisions=(708,useless=0), ccks=758518, nACremovedValues=781208, nTotalRemovedValues=781208, inconcistency=false
11.72/4.94	    wck=0.133, cpu=4.741, mem=159M167
11.72/4.94	
11.72/5.01	o 37
12.00/5.03	    num=0, depth=1090..1088, filters=25582, revisions=(708,useless=0), ccks=794075, wck=0.226, mem=167M443
12.00/5.03	    decisions=381, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=37
12.00/5.03	    
12.00/5.07	    num=1, depth=263..267, filters=27223, revisions=(1416,useless=708), ccks=794783, wck=0.265, mem=167M443
12.00/5.07	    decisions=681, wrong=19, backtracks=9, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=37
12.00/5.07	    
12.00/5.10	    num=2, depth=339..343, filters=28848, revisions=(1416,useless=708), ccks=794783, wck=0.289, mem=167M443
12.00/5.10	    decisions=1060, wrong=39, backtracks=18, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=37
12.00/5.10	    
12.27/5.12	o 36
12.27/5.13	    num=3, depth=1090..1088, filters=30303, revisions=(1416,useless=708), ccks=830340, wck=0.325, mem=167M443
12.27/5.13	    decisions=1421, wrong=39, backtracks=18, failedAssignments=22, nogoods=5, foundSolutions=2, bestBound=36
12.27/5.13	    
12.27/5.15	    num=4, depth=251..258, filters=32139, revisions=(2124,useless=1416), ccks=831048, wck=0.343, mem=167M443
12.27/5.15	    decisions=1725, wrong=65, backtracks=32, failedAssignments=35, nogoods=7, foundSolutions=2, bestBound=36
12.27/5.15	    
12.27/5.16	    num=5, depth=169..287, filters=34110, revisions=(2124,useless=1416), ccks=831048, wck=0.355, mem=167M443
12.27/5.16	    decisions=2048, wrong=83, backtracks=39, failedAssignments=46, nogoods=10, foundSolutions=2, bestBound=36
12.27/5.16	    
12.27/5.17	    num=6, depth=285..291, filters=35901, revisions=(2124,useless=1416), ccks=831048, wck=0.367, mem=167M443
12.27/5.17	    decisions=2369, wrong=101, backtracks=45, failedAssignments=58, nogoods=11, foundSolutions=2, bestBound=36
12.27/5.17	    
12.27/5.19	o 35
12.52/5.20	    num=7, depth=184..1088, filters=37547, revisions=(2124,useless=1416), ccks=866605, wck=0.393, mem=167M443
12.52/5.20	    decisions=2690, wrong=111, backtracks=50, failedAssignments=63, nogoods=12, foundSolutions=3, bestBound=35
12.52/5.20	    
12.52/5.22	    num=8, depth=93..210, filters=39430, revisions=(2832,useless=2124), ccks=867313, wck=0.41, mem=167M443
12.52/5.22	    decisions=2945, wrong=136, backtracks=61, failedAssignments=77, nogoods=20, foundSolutions=3, bestBound=35
12.52/5.22	    
12.52/5.23	    num=9, depth=164..212, filters=41157, revisions=(2832,useless=2124), ccks=867313, wck=0.42, mem=167M443
12.52/5.23	    decisions=3183, wrong=153, backtracks=71, failedAssignments=88, nogoods=23, foundSolutions=3, bestBound=35
12.52/5.23	    
12.52/5.24	    num=10, depth=111..202, filters=43190, revisions=(2832,useless=2124), ccks=867313, wck=0.43, mem=167M443
12.52/5.24	    decisions=3422, wrong=173, backtracks=79, failedAssignments=100, nogoods=31, foundSolutions=3, bestBound=35
12.52/5.24	    
12.52/5.25	    num=11, depth=118..178, filters=44617, revisions=(2832,useless=2124), ccks=867313, wck=0.439, mem=167M443
12.52/5.25	    decisions=3642, wrong=195, backtracks=89, failedAssignments=113, nogoods=38, foundSolutions=3, bestBound=35
12.52/5.25	    
12.52/5.26	    num=12, depth=131..183, filters=46289, revisions=(2832,useless=2124), ccks=867313, wck=0.448, mem=167M443
12.52/5.26	    decisions=3873, wrong=220, backtracks=100, failedAssignments=127, nogoods=43, foundSolutions=3, bestBound=35
12.52/5.26	    
12.52/5.27	    num=13, depth=202..226, filters=48498, revisions=(2832,useless=2124), ccks=867313, wck=0.459, mem=167M443
12.52/5.27	    decisions=4150, wrong=249, backtracks=115, failedAssignments=143, nogoods=46, foundSolutions=3, bestBound=35
12.52/5.27	    
12.52/5.28	    num=14, depth=178..202, filters=50107, revisions=(2832,useless=2124), ccks=867313, wck=0.469, mem=167M443
12.52/5.28	    decisions=4394, wrong=274, backtracks=123, failedAssignments=160, nogoods=48, foundSolutions=3, bestBound=35
12.52/5.28	    
12.52/5.29	    num=15, depth=188..197, filters=53833, revisions=(2832,useless=2124), ccks=867313, wck=0.48, mem=167M443
12.52/5.29	    decisions=4654, wrong=310, backtracks=142, failedAssignments=179, nogoods=50, foundSolutions=3, bestBound=35
12.52/5.29	    
12.52/5.30	    num=16, depth=156..179, filters=56849, revisions=(2832,useless=2124), ccks=867313, wck=0.49, mem=167M443
12.52/5.30	    decisions=4910, wrong=350, backtracks=161, failedAssignments=200, nogoods=53, foundSolutions=3, bestBound=35
12.52/5.30	    
12.77/5.31	    num=17, depth=86..192, filters=58978, revisions=(2832,useless=2124), ccks=867313, wck=0.501, mem=167M443
12.77/5.31	    decisions=5182, wrong=395, backtracks=184, failedAssignments=223, nogoods=58, foundSolutions=3, bestBound=35
12.77/5.31	    
12.77/5.33	o 34
12.77/5.33	    num=18, depth=164..1088, filters=61357, revisions=(2832,useless=2124), ccks=902870, wck=0.526, mem=167M443
12.77/5.33	    decisions=5448, wrong=421, backtracks=194, failedAssignments=239, nogoods=65, foundSolutions=4, bestBound=34
12.77/5.33	    
12.77/5.34	    num=19, depth=79..89, filters=63556, revisions=(3540,useless=2832), ccks=903578, wck=0.538, mem=167M443
12.77/5.34	    decisions=5610, wrong=458, backtracks=203, failedAssignments=267, nogoods=67, foundSolutions=4, bestBound=34
12.77/5.34	    
12.77/5.35	    num=20, depth=87..95, filters=64954, revisions=(3540,useless=2832), ccks=903578, wck=0.543, mem=167M443
12.77/5.35	    decisions=5747, wrong=483, backtracks=219, failedAssignments=278, nogoods=68, foundSolutions=4, bestBound=34
12.77/5.35	    
12.77/5.36	    num=21, depth=29..118, filters=66708, revisions=(3540,useless=2832), ccks=903578, wck=0.549, mem=167M443
12.77/5.36	    decisions=5901, wrong=505, backtracks=229, failedAssignments=290, nogoods=74, foundSolutions=4, bestBound=34
12.77/5.36	    
12.77/5.36	    num=22, depth=31..74, filters=67793, revisions=(3540,useless=2832), ccks=903578, wck=0.553, mem=167M443
12.77/5.36	    decisions=6007, wrong=523, backtracks=237, failedAssignments=303, nogoods=78, foundSolutions=4, bestBound=34
12.77/5.36	    
12.77/5.36	    num=23, depth=80..104, filters=69135, revisions=(3540,useless=2832), ccks=903578, wck=0.558, mem=167M443
12.77/5.36	    decisions=6152, wrong=550, backtracks=251, failedAssignments=317, nogoods=80, foundSolutions=4, bestBound=34
12.77/5.36	    
12.77/5.37	    num=24, depth=95..104, filters=71569, revisions=(3540,useless=2832), ccks=903578, wck=0.565, mem=167M443
12.77/5.37	    decisions=6314, wrong=583, backtracks=269, failedAssignments=333, nogoods=83, foundSolutions=4, bestBound=34
12.77/5.37	    
12.77/5.38	    num=25, depth=80..110, filters=73328, revisions=(3540,useless=2832), ccks=903578, wck=0.571, mem=167M443
12.77/5.38	    decisions=6471, wrong=609, backtracks=279, failedAssignments=350, nogoods=91, foundSolutions=4, bestBound=34
12.77/5.38	    
12.77/5.38	    num=26, depth=80..99, filters=75057, revisions=(3540,useless=2832), ccks=903578, wck=0.575, mem=167M443
12.77/5.38	    decisions=6627, wrong=647, backtracks=298, failedAssignments=369, nogoods=92, foundSolutions=4, bestBound=34
12.77/5.38	    
12.77/5.39	    num=27, depth=112..125, filters=78124, revisions=(3540,useless=2832), ccks=903578, wck=0.583, mem=167M443
12.77/5.39	    decisions=6821, wrong=688, backtracks=324, failedAssignments=390, nogoods=94, foundSolutions=4, bestBound=34
12.77/5.39	    
12.77/5.40	    num=28, depth=100..116, filters=80281, revisions=(3540,useless=2832), ccks=903578, wck=0.589, mem=167M443
12.77/5.40	    decisions=7011, wrong=733, backtracks=349, failedAssignments=413, nogoods=95, foundSolutions=4, bestBound=34
12.77/5.40	    
12.92/5.40	    num=29, depth=93..119, filters=82752, revisions=(3540,useless=2832), ccks=903578, wck=0.597, mem=167M443
12.92/5.40	    decisions=7202, wrong=775, backtracks=371, failedAssignments=438, nogoods=102, foundSolutions=4, bestBound=34
12.92/5.40	    
12.92/5.41	    num=30, depth=103..126, filters=84880, revisions=(3540,useless=2832), ccks=903578, wck=0.603, mem=167M443
12.92/5.41	    decisions=7417, wrong=831, backtracks=401, failedAssignments=466, nogoods=103, foundSolutions=4, bestBound=34
12.92/5.41	    
12.92/5.42	    num=31, depth=118..133, filters=88742, revisions=(3540,useless=2832), ccks=903578, wck=0.613, mem=167M443
12.92/5.42	    decisions=7658, wrong=891, backtracks=434, failedAssignments=497, nogoods=106, foundSolutions=4, bestBound=34
12.92/5.42	    
12.92/5.43	    num=32, depth=112..124, filters=93547, revisions=(3540,useless=2832), ccks=903578, wck=0.624, mem=167M443
12.92/5.43	    decisions=7889, wrong=947, backtracks=468, failedAssignments=531, nogoods=111, foundSolutions=4, bestBound=34
12.92/5.43	    
12.92/5.44	    num=33, depth=56..128, filters=97269, revisions=(3540,useless=2832), ccks=903578, wck=0.633, mem=167M443
12.92/5.44	    decisions=8161, wrong=1024, backtracks=509, failedAssignments=568, nogoods=114, foundSolutions=4, bestBound=34
12.92/5.44	    
12.92/5.45	    num=34, depth=99..129, filters=103141, revisions=(3540,useless=2832), ccks=903578, wck=0.645, mem=167M443
12.92/5.45	    decisions=8449, wrong=1111, backtracks=563, failedAssignments=609, nogoods=117, foundSolutions=4, bestBound=34
12.92/5.45	    
12.92/5.46	    num=35, depth=75..109, filters=106553, revisions=(3540,useless=2832), ccks=903578, wck=0.653, mem=167M443
12.92/5.46	    decisions=8727, wrong=1211, backtracks=622, failedAssignments=654, nogoods=119, foundSolutions=4, bestBound=34
12.92/5.46	    
12.92/5.47	    num=36, depth=101..124, filters=112458, revisions=(3540,useless=2832), ccks=903578, wck=0.665, mem=167M443
12.92/5.47	    decisions=9009, wrong=1294, backtracks=659, failedAssignments=704, nogoods=125, foundSolutions=4, bestBound=34
12.92/5.47	    
12.92/5.48	    num=37, depth=82..126, filters=116869, revisions=(3540,useless=2832), ccks=903578, wck=0.674, mem=167M443
12.92/5.48	    decisions=9276, wrong=1375, backtracks=701, failedAssignments=759, nogoods=130, foundSolutions=4, bestBound=34
12.92/5.48	    
12.92/5.50	    num=38, depth=76..119, filters=124113, revisions=(3540,useless=2832), ccks=903578, wck=0.69, mem=167M443
12.92/5.50	    decisions=9605, wrong=1487, backtracks=765, failedAssignments=820, nogoods=140, foundSolutions=4, bestBound=34
12.92/5.50	    
13.03/5.51	    num=39, depth=88..122, filters=132266, revisions=(3540,useless=2832), ccks=903578, wck=0.706, mem=167M443
13.03/5.51	    decisions=9998, wrong=1632, backtracks=852, failedAssignments=887, nogoods=145, foundSolutions=4, bestBound=34
13.03/5.51	    
13.03/5.52	    num=40, depth=60..115, filters=137604, revisions=(3540,useless=2832), ccks=903578, wck=0.718, mem=167M443
13.03/5.52	    decisions=10380, wrong=1775, backtracks=931, failedAssignments=961, nogoods=150, foundSolutions=4, bestBound=34
13.03/5.52	    
13.03/5.54	    num=41, depth=89..123, filters=146666, revisions=(3540,useless=2832), ccks=903578, wck=0.733, mem=167M443
13.03/5.54	    decisions=10778, wrong=1917, backtracks=1008, failedAssignments=1042, nogoods=157, foundSolutions=4, bestBound=34
13.03/5.54	    
13.03/5.56	    num=42, depth=71..133, filters=157609, revisions=(3540,useless=2832), ccks=903578, wck=0.75, mem=167M443
13.03/5.56	    decisions=11238, wrong=2095, backtracks=1114, failedAssignments=1131, nogoods=161, foundSolutions=4, bestBound=34
13.03/5.56	    
13.03/5.58	    num=43, depth=72..129, filters=173138, revisions=(3540,useless=2832), ccks=903578, wck=0.775, mem=167M443
13.03/5.58	    decisions=11746, wrong=2296, backtracks=1247, failedAssignments=1229, nogoods=166, foundSolutions=4, bestBound=34
13.03/5.58	    
13.13/5.60	    num=44, depth=69..115, filters=182523, revisions=(3540,useless=2832), ccks=903578, wck=0.791, mem=167M443
13.13/5.60	    decisions=12237, wrong=2488, backtracks=1347, failedAssignments=1337, nogoods=174, foundSolutions=4, bestBound=34
13.13/5.60	    
13.13/5.63	    num=45, depth=73..140, filters=205030, revisions=(3540,useless=2832), ccks=903578, wck=0.826, mem=167M443
13.13/5.63	    decisions=12843, wrong=2732, backtracks=1505, failedAssignments=1456, nogoods=184, foundSolutions=4, bestBound=34
13.13/5.63	    
13.13/5.66	    num=46, depth=70..120, filters=220744, revisions=(3540,useless=2832), ccks=903578, wck=0.851, mem=167M443
13.13/5.66	    decisions=13417, wrong=2971, backtracks=1638, failedAssignments=1587, nogoods=190, foundSolutions=4, bestBound=34
13.13/5.66	    
13.13/5.68	    num=47, depth=81..154, filters=235007, revisions=(3540,useless=2832), ccks=903578, wck=0.877, mem=167M443
13.13/5.68	    decisions=14113, wrong=3253, backtracks=1826, failedAssignments=1731, nogoods=199, foundSolutions=4, bestBound=34
13.13/5.68	    
13.24/5.71	    num=48, depth=67..131, filters=248543, revisions=(3540,useless=2832), ccks=903578, wck=0.899, mem=167M443
13.24/5.71	    decisions=14838, wrong=3556, backtracks=1999, failedAssignments=1889, nogoods=205, foundSolutions=4, bestBound=34
13.24/5.71	    
13.24/5.75	o 33
13.24/5.75	    num=49, depth=109..1088, filters=266984, revisions=(3540,useless=2832), ccks=939135, wck=0.945, mem=167M443
13.24/5.75	    decisions=15510, wrong=3826, backtracks=2167, failedAssignments=2047, nogoods=215, foundSolutions=5, bestBound=33
13.24/5.75	    
13.24/5.78	    num=50, depth=25..61, filters=281851, revisions=(4248,useless=3540), ccks=939843, wck=0.975, mem=167M443
13.24/5.78	    decisions=16248, wrong=4176, backtracks=2388, failedAssignments=2238, nogoods=226, foundSolutions=5, bestBound=33
13.24/5.78	    
13.24/5.78	    num=51, depth=32..44, filters=283102, revisions=(4248,useless=3540), ccks=939843, wck=0.978, mem=167M443
13.24/5.78	    decisions=16327, wrong=4195, backtracks=2398, failedAssignments=2249, nogoods=229, foundSolutions=5, bestBound=33
13.24/5.78	    
13.24/5.79	    num=52, depth=10..15, filters=283703, revisions=(4248,useless=3540), ccks=939843, wck=0.98, mem=167M443
13.24/5.79	    decisions=16380, wrong=4216, backtracks=2408, failedAssignments=2261, nogoods=234, foundSolutions=5, bestBound=33
13.24/5.79	    
13.24/5.79	    num=53, depth=11..19, filters=284608, revisions=(4248,useless=3540), ccks=939843, wck=0.981, mem=167M443
13.24/5.79	    decisions=16439, wrong=4240, backtracks=2420, failedAssignments=2274, nogoods=236, foundSolutions=5, bestBound=33
13.24/5.79	    
13.24/5.79	    num=54, depth=9..33, filters=285617, revisions=(4248,useless=3540), ccks=939843, wck=0.984, mem=167M443
13.24/5.79	    decisions=16510, wrong=4265, backtracks=2433, failedAssignments=2288, nogoods=240, foundSolutions=5, bestBound=33
13.24/5.79	    
13.24/5.79	    num=55, depth=10..53, filters=287655, revisions=(4248,useless=3540), ccks=939843, wck=0.988, mem=167M443
13.24/5.79	    decisions=16606, wrong=4294, backtracks=2448, failedAssignments=2304, nogoods=246, foundSolutions=5, bestBound=33
13.24/5.79	    
13.24/5.80	    num=56, depth=12..16, filters=288464, revisions=(4248,useless=3540), ccks=939843, wck=0.99, mem=167M443
13.24/5.80	    decisions=16677, wrong=4323, backtracks=2468, failedAssignments=2321, nogoods=251, foundSolutions=5, bestBound=33
13.24/5.80	    
13.34/5.80	    num=57, depth=9..30, filters=290029, revisions=(4248,useless=3540), ccks=939843, wck=0.994, mem=167M443
13.34/5.80	    decisions=16766, wrong=4355, backtracks=2487, failedAssignments=2340, nogoods=256, foundSolutions=5, bestBound=33
13.34/5.80	    
13.34/5.80	    num=58, depth=20..41, filters=291555, revisions=(4248,useless=3540), ccks=939843, wck=0.997, mem=167M443
13.34/5.80	    decisions=16866, wrong=4395, backtracks=2511, failedAssignments=2361, nogoods=257, foundSolutions=5, bestBound=33
13.34/5.80	    
13.34/5.81	    num=59, depth=13..19, filters=293037, revisions=(4248,useless=3540), ccks=939843, wck=1.0, mem=167M443
13.34/5.81	    decisions=16959, wrong=4435, backtracks=2533, failedAssignments=2384, nogoods=259, foundSolutions=5, bestBound=33
13.34/5.81	    
13.34/5.81	    num=60, depth=17..37, filters=294575, revisions=(4248,useless=3540), ccks=939843, wck=1.004, mem=167M443
13.34/5.81	    decisions=17062, wrong=4470, backtracks=2547, failedAssignments=2409, nogoods=262, foundSolutions=5, bestBound=33
13.34/5.81	    
13.34/5.81	    num=61, depth=26..39, filters=296210, revisions=(4248,useless=3540), ccks=939843, wck=1.008, mem=167M443
13.34/5.81	    decisions=17191, wrong=4516, backtracks=2575, failedAssignments=2437, nogoods=266, foundSolutions=5, bestBound=33
13.34/5.81	    
13.34/5.82	    num=62, depth=28..47, filters=299684, revisions=(4248,useless=3540), ccks=939843, wck=1.015, mem=167M443
13.34/5.82	    decisions=17334, wrong=4569, backtracks=2612, failedAssignments=2468, nogoods=271, foundSolutions=5, bestBound=33
13.34/5.82	    
13.34/5.83	    num=63, depth=27..41, filters=301923, revisions=(4248,useless=3540), ccks=939843, wck=1.02, mem=167M443
13.34/5.83	    decisions=17483, wrong=4629, backtracks=2643, failedAssignments=2502, nogoods=277, foundSolutions=5, bestBound=33
13.34/5.83	    
13.34/5.83	    num=64, depth=11..40, filters=304180, revisions=(4248,useless=3540), ccks=939843, wck=1.024, mem=167M443
13.34/5.83	    decisions=17628, wrong=4689, backtracks=2674, failedAssignments=2539, nogoods=280, foundSolutions=5, bestBound=33
13.34/5.83	    
13.34/5.84	    num=65, depth=12..48, filters=307678, revisions=(4248,useless=3540), ccks=939843, wck=1.031, mem=167M443
13.34/5.84	    decisions=17797, wrong=4759, backtracks=2716, failedAssignments=2580, nogoods=286, foundSolutions=5, bestBound=33
13.34/5.84	    
13.34/5.84	    num=66, depth=12..50, filters=310726, revisions=(4248,useless=3540), ccks=939843, wck=1.037, mem=167M443
13.34/5.84	    decisions=17980, wrong=4833, backtracks=2761, failedAssignments=2625, nogoods=296, foundSolutions=5, bestBound=33
13.34/5.84	    
13.34/5.85	    num=67, depth=9..47, filters=316618, revisions=(4248,useless=3540), ccks=939843, wck=1.048, mem=167M443
13.34/5.85	    decisions=18179, wrong=4917, backtracks=2812, failedAssignments=2675, nogoods=302, foundSolutions=5, bestBound=33
13.34/5.85	    
13.34/5.86	    num=68, depth=12..29, filters=319664, revisions=(4248,useless=3540), ccks=939843, wck=1.054, mem=167M443
13.34/5.86	    decisions=18390, wrong=5013, backtracks=2868, failedAssignments=2730, nogoods=308, foundSolutions=5, bestBound=33
13.34/5.86	    
13.34/5.87	    num=69, depth=9..45, filters=326607, revisions=(4248,useless=3540), ccks=939843, wck=1.067, mem=167M443
13.34/5.87	    decisions=18657, wrong=5130, backtracks=2933, failedAssignments=2791, nogoods=313, foundSolutions=5, bestBound=33
13.34/5.87	    
13.34/5.89	    num=70, depth=10..52, filters=334524, revisions=(4248,useless=3540), ccks=939843, wck=1.081, mem=167M443
13.34/5.89	    decisions=18911, wrong=5237, backtracks=3009, failedAssignments=2858, nogoods=322, foundSolutions=5, bestBound=33
13.34/5.89	    
13.51/5.90	    num=71, depth=10..49, filters=341400, revisions=(4248,useless=3540), ccks=939843, wck=1.093, mem=167M443
13.51/5.90	    decisions=19205, wrong=5364, backtracks=3086, failedAssignments=2932, nogoods=328, foundSolutions=5, bestBound=33
13.51/5.90	    
13.51/5.92	    num=72, depth=10..48, filters=352466, revisions=(4248,useless=3540), ccks=939843, wck=1.11, mem=167M443
13.51/5.92	    decisions=19545, wrong=5517, backtracks=3182, failedAssignments=3013, nogoods=333, foundSolutions=5, bestBound=33
13.51/5.92	    
13.51/5.93	    num=73, depth=16..50, filters=360275, revisions=(4248,useless=3540), ccks=939843, wck=1.123, mem=167M443
13.51/5.93	    decisions=19872, wrong=5669, backtracks=3271, failedAssignments=3102, nogoods=343, foundSolutions=5, bestBound=33
13.51/5.93	    
13.51/5.95	    num=74, depth=32..49, filters=375558, revisions=(4248,useless=3540), ccks=939843, wck=1.146, mem=167M443
13.51/5.95	    decisions=20345, wrong=5888, backtracks=3432, failedAssignments=3200, nogoods=349, foundSolutions=5, bestBound=33
13.51/5.95	    
13.51/5.97	    num=75, depth=14..43, filters=386900, revisions=(4248,useless=3540), ccks=939843, wck=1.162, mem=167M443
13.51/5.97	    decisions=20760, wrong=6081, backtracks=3548, failedAssignments=3308, nogoods=358, foundSolutions=5, bestBound=33
13.51/5.97	    
13.51/5.98	    num=76, depth=14..50, filters=396329, revisions=(4248,useless=3540), ccks=939843, wck=1.177, mem=167M443
13.51/5.98	    decisions=21211, wrong=6295, backtracks=3670, failedAssignments=3427, nogoods=363, foundSolutions=5, bestBound=33
13.51/5.98	    
13.62/6.01	    num=77, depth=31..50, filters=415755, revisions=(4248,useless=3540), ccks=939843, wck=1.204, mem=167M443
13.62/6.01	    decisions=21668, wrong=6507, backtracks=3818, failedAssignments=3558, nogoods=365, foundSolutions=5, bestBound=33
13.62/6.01	    
13.62/6.03	    num=78, depth=26..40, filters=432488, revisions=(4248,useless=3540), ccks=939843, wck=1.226, mem=167M443
13.62/6.03	    decisions=22187, wrong=6752, backtracks=3964, failedAssignments=3702, nogoods=373, foundSolutions=5, bestBound=33
13.62/6.03	    
13.62/6.07	    num=79, depth=15..44, filters=461976, revisions=(4248,useless=3540), ccks=939843, wck=1.265, mem=167M443
13.62/6.07	    decisions=22795, wrong=7043, backtracks=4176, failedAssignments=3860, nogoods=382, foundSolutions=5, bestBound=33
13.62/6.07	    
13.62/6.10	    num=80, depth=21..32, filters=483428, revisions=(4248,useless=3540), ccks=939843, wck=1.292, mem=167M443
13.62/6.10	    decisions=23427, wrong=7347, backtracks=4371, failedAssignments=4034, nogoods=391, foundSolutions=5, bestBound=33
13.62/6.10	    
13.73/6.13	    num=81, depth=21..47, filters=509291, revisions=(4248,useless=3540), ccks=939843, wck=1.329, mem=167M443
13.73/6.13	    decisions=24183, wrong=7708, backtracks=4622, failedAssignments=4225, nogoods=397, foundSolutions=5, bestBound=33
13.73/6.13	    
13.73/6.17	    num=82, depth=11..52, filters=535716, revisions=(4248,useless=3540), ccks=939843, wck=1.367, mem=167M443
13.73/6.17	    decisions=25004, wrong=8102, backtracks=4881, failedAssignments=4436, nogoods=407, foundSolutions=5, bestBound=33
13.73/6.17	    
13.82/6.22	    num=83, depth=9..51, filters=564983, revisions=(4248,useless=3540), ccks=939843, wck=1.409, mem=167M443
13.82/6.22	    decisions=25847, wrong=8504, backtracks=5131, failedAssignments=4668, nogoods=414, foundSolutions=5, bestBound=33
13.82/6.22	    
13.82/6.25	    num=84, depth=10..35, filters=586653, revisions=(4248,useless=3540), ccks=939843, wck=1.44, mem=167M443
13.82/6.25	    decisions=26737, wrong=8935, backtracks=5423, failedAssignments=4923, nogoods=420, foundSolutions=5, bestBound=33
13.82/6.25	    
13.82/6.29	    num=85, depth=9..42, filters=614850, revisions=(4248,useless=3540), ccks=939843, wck=1.479, mem=167M443
13.82/6.29	    decisions=27745, wrong=9422, backtracks=5706, failedAssignments=5204, nogoods=431, foundSolutions=5, bestBound=33
13.82/6.29	    
13.93/6.34	    num=86, depth=22..49, filters=651680, revisions=(4248,useless=3540), ccks=939843, wck=1.532, mem=167M443
13.93/6.34	    decisions=28890, wrong=9977, backtracks=6072, failedAssignments=5513, nogoods=445, foundSolutions=5, bestBound=33
13.93/6.34	    
14.03/6.40	    num=87, depth=18..50, filters=696203, revisions=(4248,useless=3540), ccks=939843, wck=1.593, mem=167M443
14.03/6.40	    decisions=30170, wrong=10601, backtracks=6497, failedAssignments=5853, nogoods=454, foundSolutions=5, bestBound=33
14.03/6.40	    
14.03/6.46	    num=88, depth=21..49, filters=738545, revisions=(4248,useless=3540), ccks=939843, wck=1.659, mem=167M443
14.03/6.46	    decisions=31514, wrong=11259, backtracks=6975, failedAssignments=6227, nogoods=460, foundSolutions=5, bestBound=33
14.03/6.46	    
14.13/6.57	    num=89, depth=20..40, filters=814261, revisions=(4248,useless=3540), ccks=939843, wck=1.76, mem=167M443
14.13/6.57	    decisions=33047, wrong=12013, backtracks=7498, failedAssignments=6638, nogoods=472, foundSolutions=5, bestBound=33
14.13/6.57	    
14.24/6.66	    num=90, depth=21..46, filters=885972, revisions=(4248,useless=3540), ccks=939843, wck=1.855, mem=167M443
14.24/6.66	    decisions=34739, wrong=12844, backtracks=8074, failedAssignments=7090, nogoods=476, foundSolutions=5, bestBound=33
14.24/6.66	    
14.34/6.78	    num=91, depth=24..43, filters=986975, revisions=(4248,useless=3540), ccks=939843, wck=1.974, mem=167M443
14.34/6.78	    decisions=36556, wrong=13738, backtracks=8654, failedAssignments=7587, nogoods=480, foundSolutions=5, bestBound=33
14.34/6.78	    
14.54/6.91	    num=92, depth=27..48, filters=1080886, revisions=(4248,useless=3540), ccks=939843, wck=2.108, mem=167M443
14.54/6.91	    decisions=38744, wrong=14816, backtracks=9425, failedAssignments=8134, nogoods=494, foundSolutions=5, bestBound=33
14.54/6.91	    
14.65/7.05	    num=93, depth=16..55, filters=1182525, revisions=(4248,useless=3540), ccks=939843, wck=2.242, mem=167M443
14.65/7.05	    decisions=41013, wrong=15931, backtracks=10241, failedAssignments=8736, nogoods=502, foundSolutions=5, bestBound=33
14.65/7.05	    
14.76/7.13	    num=94, depth=16..63, filters=1236834, revisions=(4248,useless=3540), ccks=939843, wck=2.322, mem=167M443
14.76/7.13	    decisions=43329, wrong=17072, backtracks=10941, failedAssignments=9398, nogoods=507, foundSolutions=5, bestBound=33
14.76/7.13	    
14.86/7.22	    num=95, depth=16..46, filters=1306808, revisions=(4248,useless=3540), ccks=939843, wck=2.411, mem=167M443
14.86/7.22	    decisions=45946, wrong=18370, backtracks=11745, failedAssignments=10126, nogoods=513, foundSolutions=5, bestBound=33
14.86/7.22	    
14.86/7.30	    num=96, depth=0..61, filters=1362102, revisions=(4248,useless=3540), ccks=939843, wck=2.49, mem=167M443
14.86/7.30	    decisions=48872, wrong=19812, backtracks=12636, failedAssignments=10927, nogoods=526, foundSolutions=5, bestBound=33
14.86/7.30	    
15.06/7.42	    num=97, depth=11..58, filters=1453644, revisions=(4248,useless=3540), ccks=939843, wck=2.617, mem=167M443
15.06/7.42	    decisions=52126, wrong=21421, backtracks=13681, failedAssignments=11808, nogoods=539, foundSolutions=5, bestBound=33
15.06/7.42	    
15.26/7.62	    num=98, depth=11..53, filters=1593764, revisions=(4248,useless=3540), ccks=939843, wck=2.812, mem=167M443
15.26/7.62	    decisions=55833, wrong=23256, backtracks=14999, failedAssignments=12778, nogoods=555, foundSolutions=5, bestBound=33
15.26/7.62	    
15.46/7.86	    num=99, depth=11..56, filters=1772242, revisions=(4248,useless=3540), ccks=939843, wck=3.055, mem=167M443
15.46/7.86	    decisions=59739, wrong=25187, backtracks=16370, failedAssignments=13845, nogoods=565, foundSolutions=5, bestBound=33
15.46/7.86	    
15.68/8.10	    num=100, depth=11..53, filters=1940966, revisions=(4248,useless=3540), ccks=939843, wck=3.295, mem=167M443
15.68/8.10	    decisions=64011, wrong=27305, backtracks=17964, failedAssignments=15018, nogoods=583, foundSolutions=5, bestBound=33
15.68/8.10	    
15.89/8.27	    num=101, depth=9..63, filters=2067126, revisions=(4248,useless=3540), ccks=939843, wck=3.467, mem=167M443
15.89/8.27	    decisions=68531, wrong=29548, backtracks=19475, failedAssignments=16309, nogoods=609, foundSolutions=5, bestBound=33
15.89/8.27	    
16.09/8.47	    num=102, depth=10..52, filters=2214692, revisions=(4248,useless=3540), ccks=939843, wck=3.666, mem=167M443
16.09/8.47	    decisions=73797, wrong=32170, backtracks=21170, failedAssignments=17729, nogoods=614, foundSolutions=5, bestBound=33
16.09/8.47	    
16.39/8.70	    num=103, depth=10..56, filters=2393241, revisions=(4248,useless=3540), ccks=939843, wck=3.897, mem=167M443
16.39/8.70	    decisions=79045, wrong=34778, backtracks=23019, failedAssignments=19291, nogoods=627, foundSolutions=5, bestBound=33
16.39/8.70	    
16.59/8.95	    num=104, depth=5..56, filters=2588762, revisions=(4248,useless=3540), ccks=939843, wck=4.146, mem=167M443
16.59/8.95	    decisions=85315, wrong=37898, backtracks=25169, failedAssignments=21009, nogoods=643, foundSolutions=5, bestBound=33
16.59/8.95	    
16.80/9.13	    num=105, depth=4..56, filters=2727814, revisions=(4248,useless=3540), ccks=939843, wck=4.328, mem=167M443
16.80/9.13	    decisions=91839, wrong=41153, backtracks=27030, failedAssignments=22899, nogoods=651, foundSolutions=5, bestBound=33
16.80/9.13	    
17.19/9.57	    num=106, depth=32..56, filters=3043712, revisions=(4248,useless=3540), ccks=939843, wck=4.76, mem=167M443
17.19/9.57	    decisions=99622, wrong=45026, backtracks=29812, failedAssignments=24978, nogoods=658, foundSolutions=5, bestBound=33
17.19/9.57	    
17.70/10.01	    num=107, depth=21..50, filters=3365048, revisions=(4248,useless=3540), ccks=939843, wck=5.208, mem=167M443
17.70/10.01	    decisions=107854, wrong=49124, backtracks=32660, failedAssignments=27265, nogoods=676, foundSolutions=5, bestBound=33
17.70/10.01	    
18.09/10.42	    num=108, depth=26..49, filters=3675444, revisions=(4248,useless=3540), ccks=939843, wck=5.618, mem=175M708
18.09/10.42	    decisions=116926, wrong=53645, backtracks=35760, failedAssignments=29781, nogoods=689, foundSolutions=5, bestBound=33
18.09/10.42	    
18.61/10.93	    num=109, depth=15..48, filters=4065437, revisions=(4248,useless=3540), ccks=939843, wck=6.123, mem=175M708
18.61/10.93	    decisions=126897, wrong=58616, backtracks=39326, failedAssignments=32549, nogoods=700, foundSolutions=5, bestBound=33
18.61/10.93	    
19.21/11.54	    num=110, depth=27..48, filters=4519903, revisions=(4248,useless=3540), ccks=939843, wck=6.731, mem=175M708
19.21/11.54	    decisions=137982, wrong=64140, backtracks=43127, failedAssignments=35593, nogoods=716, foundSolutions=5, bestBound=33
19.21/11.54	    
19.93/12.22	    num=111, depth=9..51, filters=5066161, revisions=(4248,useless=3540), ccks=939843, wck=7.413, mem=175M708
19.93/12.22	    decisions=150408, wrong=70340, backtracks=47401, failedAssignments=38942, nogoods=729, foundSolutions=5, bestBound=33
19.93/12.22	    
20.43/12.72	    num=112, depth=14..54, filters=5461725, revisions=(4248,useless=3540), ccks=939843, wck=7.911, mem=175M708
20.43/12.72	    decisions=163698, wrong=76967, backtracks=51443, failedAssignments=42626, nogoods=748, foundSolutions=5, bestBound=33
20.43/12.72	    
21.13/13.48	    num=113, depth=16..47, filters=6042747, revisions=(4248,useless=3540), ccks=939843, wck=8.675, mem=175M708
21.13/13.48	    decisions=178286, wrong=84246, backtracks=56562, failedAssignments=46678, nogoods=766, foundSolutions=5, bestBound=33
21.13/13.48	    
21.93/14.29	    num=114, depth=22..55, filters=6632416, revisions=(4248,useless=3540), ccks=939843, wck=9.479, mem=175M708
21.93/14.29	    decisions=195390, wrong=92780, backtracks=62525, failedAssignments=51135, nogoods=780, foundSolutions=5, bestBound=33
21.93/14.29	    
22.84/15.16	    num=115, depth=9..64, filters=7280949, revisions=(4248,useless=3540), ccks=939843, wck=10.355, mem=175M708
22.84/15.16	    decisions=213440, wrong=101786, backtracks=68826, failedAssignments=56038, nogoods=800, foundSolutions=5, bestBound=33
22.84/15.16	    
24.03/16.32	    num=116, depth=11..54, filters=8154875, revisions=(4248,useless=3540), ccks=939843, wck=11.51, mem=175M708
24.03/16.32	    decisions=233787, wrong=111944, backtracks=76016, failedAssignments=61432, nogoods=810, foundSolutions=5, bestBound=33
24.03/16.32	    
25.33/17.60	    num=117, depth=25..55, filters=9157867, revisions=(4248,useless=3540), ccks=939843, wck=12.797, mem=175M708
25.33/17.60	    decisions=255943, wrong=123005, backtracks=83598, failedAssignments=67365, nogoods=818, foundSolutions=5, bestBound=33
25.33/17.60	    
26.33/18.62	    num=118, depth=7..62, filters=9906354, revisions=(4248,useless=3540), ccks=939843, wck=13.818, mem=175M708
26.33/18.62	    decisions=279828, wrong=134932, backtracks=91547, failedAssignments=73891, nogoods=833, foundSolutions=5, bestBound=33
26.33/18.62	    
27.47/19.75	    num=119, depth=8..51, filters=10758933, revisions=(4248,useless=3540), ccks=939843, wck=14.941, mem=175M708
27.47/19.75	    decisions=305430, wrong=147717, backtracks=100402, failedAssignments=81070, nogoods=849, foundSolutions=5, bestBound=33
27.47/19.75	    
29.07/21.33	    num=120, depth=25..56, filters=11978392, revisions=(4248,useless=3540), ccks=939843, wck=16.523, mem=175M708
29.07/21.33	    decisions=334353, wrong=162159, backtracks=110434, failedAssignments=88967, nogoods=859, foundSolutions=5, bestBound=33
29.07/21.33	    
30.78/23.01	    num=121, depth=23..51, filters=13215161, revisions=(4248,useless=3540), ccks=939843, wck=18.203, mem=175M708
30.78/23.01	    decisions=366858, wrong=178397, backtracks=121850, failedAssignments=97654, nogoods=872, foundSolutions=5, bestBound=33
30.78/23.01	    
32.48/24.75	    num=122, depth=0..62, filters=14564366, revisions=(4248,useless=3540), ccks=939843, wck=19.94, mem=183M973
32.48/24.75	    decisions=401599, wrong=195751, backtracks=134245, failedAssignments=107209, nogoods=881, foundSolutions=5, bestBound=33
32.48/24.75	    
34.08/26.36	    num=123, depth=30..62, filters=15787526, revisions=(4248,useless=3540), ccks=939843, wck=21.551, mem=183M973
34.08/26.36	    decisions=441533, wrong=215702, backtracks=148580, failedAssignments=117720, nogoods=893, foundSolutions=5, bestBound=33
34.08/26.36	    
36.58/28.85	    num=124, depth=22..59, filters=17662988, revisions=(4248,useless=3540), ccks=939843, wck=24.046, mem=183M973
36.58/28.85	    decisions=484856, wrong=237345, backtracks=164297, failedAssignments=129282, nogoods=900, foundSolutions=5, bestBound=33
36.58/28.85	    
38.79/31.09	    num=125, depth=18..53, filters=19306925, revisions=(4248,useless=3540), ccks=939843, wck=26.279, mem=183M973
38.79/31.09	    decisions=531909, wrong=260856, backtracks=180383, failedAssignments=142000, nogoods=913, foundSolutions=5, bestBound=33
38.79/31.09	    
41.39/33.61	    num=126, depth=19..65, filters=21213655, revisions=(4248,useless=3540), ccks=939843, wck=28.802, mem=183M973
41.39/33.61	    decisions=583879, wrong=286819, backtracks=198919, failedAssignments=155990, nogoods=927, foundSolutions=5, bestBound=33
41.39/33.61	    
43.81/36.06	    num=127, depth=20..60, filters=22963378, revisions=(4248,useless=3540), ccks=939843, wck=31.252, mem=192M238
43.81/36.06	    decisions=640953, wrong=315336, backtracks=218572, failedAssignments=171379, nogoods=950, foundSolutions=5, bestBound=33
43.81/36.06	    
47.10/39.31	    num=128, depth=8..60, filters=25397298, revisions=(4248,useless=3540), ccks=939843, wck=34.502, mem=192M238
47.10/39.31	    decisions=702062, wrong=345875, backtracks=240865, failedAssignments=188307, nogoods=965, foundSolutions=5, bestBound=33
47.10/39.31	    
50.01/42.29	    num=129, depth=9..63, filters=27540668, revisions=(4248,useless=3540), ccks=939843, wck=37.488, mem=192M238
50.01/42.29	    decisions=771434, wrong=380546, backtracks=264763, failedAssignments=206928, nogoods=978, foundSolutions=5, bestBound=33
50.01/42.29	    
53.61/45.83	    num=130, depth=8..58, filters=30138528, revisions=(4248,useless=3540), ccks=939843, wck=41.021, mem=192M238
53.61/45.83	    decisions=846620, wrong=418127, backtracks=291111, failedAssignments=227412, nogoods=987, foundSolutions=5, bestBound=33
53.61/45.83	    
57.82/50.10	    num=131, depth=10..62, filters=33250207, revisions=(4248,useless=3540), ccks=939843, wck=45.289, mem=200M502
57.82/50.10	    decisions=931581, wrong=460592, backtracks=321037, failedAssignments=249944, nogoods=1006, foundSolutions=5, bestBound=33
57.82/50.10	    
62.01/54.20	    num=132, depth=23..60, filters=36337271, revisions=(4248,useless=3540), ccks=939843, wck=49.395, mem=200M502
62.01/54.20	    decisions=1024409, wrong=506990, backtracks=353179, failedAssignments=274729, nogoods=1015, foundSolutions=5, bestBound=33
62.01/54.20	    
67.31/59.59	    num=133, depth=11..62, filters=40435928, revisions=(4248,useless=3540), ccks=939843, wck=54.788, mem=200M502
67.31/59.59	    decisions=1127266, wrong=558399, backtracks=390053, failedAssignments=301993, nogoods=1034, foundSolutions=5, bestBound=33
67.31/59.59	    
72.42/64.67	    num=134, depth=3..64, filters=44290014, revisions=(4248,useless=3540), ccks=939843, wck=59.86, mem=208M767
72.42/64.67	    decisions=1235707, wrong=612603, backtracks=426793, failedAssignments=331983, nogoods=1049, foundSolutions=5, bestBound=33
72.42/64.67	    
79.23/71.48	    num=135, depth=10..58, filters=49369934, revisions=(4248,useless=3540), ccks=939843, wck=66.672, mem=208M767
79.23/71.48	    decisions=1356511, wrong=672989, backtracks=470735, failedAssignments=364972, nogoods=1075, foundSolutions=5, bestBound=33
79.23/71.48	    
84.43/76.62	    num=136, depth=17..63, filters=53081188, revisions=(4248,useless=3540), ccks=939843, wck=71.809, mem=217M32
84.43/76.62	    decisions=1485194, wrong=737313, backtracks=513754, failedAssignments=401260, nogoods=1094, foundSolutions=5, bestBound=33
84.43/76.62	    
90.33/82.58	    num=137, depth=4..61, filters=57633143, revisions=(4248,useless=3540), ccks=939843, wck=77.774, mem=217M32
90.33/82.58	    decisions=1633008, wrong=811206, backtracks=563029, failedAssignments=441177, nogoods=1109, foundSolutions=5, bestBound=33
90.33/82.58	    
98.94/91.14	    num=138, depth=29..62, filters=64033163, revisions=(4248,useless=3540), ccks=939843, wck=86.329, mem=225M297
98.94/91.14	    decisions=1799057, wrong=894210, backtracks=623837, failedAssignments=485086, nogoods=1131, foundSolutions=5, bestBound=33
98.94/91.14	    
107.84/100.10	    num=139, depth=21..57, filters=70758314, revisions=(4248,useless=3540), ccks=939843, wck=95.297, mem=233M561
107.84/100.10	    decisions=1983991, wrong=986660, backtracks=689660, failedAssignments=533386, nogoods=1140, foundSolutions=5, bestBound=33
107.84/100.10	    
119.95/112.16	    num=140, depth=19..63, filters=79391725, revisions=(4248,useless=3540), ccks=939843, wck=107.351, mem=233M561
119.95/112.16	    decisions=2193932, wrong=1091617, backtracks=768127, failedAssignments=586516, nogoods=1161, foundSolutions=5, bestBound=33
119.95/112.16	    
131.54/123.79	    num=141, depth=10..57, filters=88024907, revisions=(4248,useless=3540), ccks=939843, wck=118.981, mem=241M826
131.54/123.79	    decisions=2409366, wrong=1199320, backtracks=846916, failedAssignments=644959, nogoods=1180, foundSolutions=5, bestBound=33
131.54/123.79	    
144.74/136.98	    num=142, depth=15..70, filters=97718465, revisions=(4248,useless=3540), ccks=939843, wck=132.177, mem=250M91
144.74/136.98	    decisions=2655075, wrong=1322154, backtracks=935540, failedAssignments=709246, nogoods=1195, foundSolutions=5, bestBound=33
144.74/136.98	    
154.75/146.98	    num=143, depth=14..65, filters=105157525, revisions=(4248,useless=3540), ccks=939843, wck=142.178, mem=258M356
154.75/146.98	    decisions=2909341, wrong=1449272, backtracks=1020400, failedAssignments=779962, nogoods=1205, foundSolutions=5, bestBound=33
154.75/146.98	    
167.08/159.28	    num=144, depth=4..65, filters=114259442, revisions=(4248,useless=3540), ccks=939843, wck=154.47, mem=266M621
167.08/159.28	    decisions=3189751, wrong=1589463, backtracks=1119243, failedAssignments=857749, nogoods=1223, foundSolutions=5, bestBound=33
167.08/159.28	    
182.08/174.29	    num=145, depth=12..60, filters=125107265, revisions=(4248,useless=3540), ccks=939843, wck=169.485, mem=274M885
182.08/174.29	    decisions=3503505, wrong=1746322, backtracks=1226685, failedAssignments=943315, nogoods=1239, foundSolutions=5, bestBound=33
182.08/174.29	    
202.09/194.27	    num=146, depth=23..66, filters=139798227, revisions=(4248,useless=3540), ccks=939843, wck=189.465, mem=291M415
202.09/194.27	    decisions=3868310, wrong=1928705, backtracks=1355413, failedAssignments=1037438, nogoods=1256, foundSolutions=5, bestBound=33
202.09/194.27	    
224.50/216.61	    num=147, depth=28..66, filters=156285965, revisions=(4248,useless=3540), ccks=939843, wck=211.799, mem=299M680
224.50/216.61	    decisions=4265480, wrong=2127270, backtracks=1499841, failedAssignments=1140973, nogoods=1270, foundSolutions=5, bestBound=33
224.50/216.61	    
241.21/233.35	    num=148, depth=1..76, filters=169146928, revisions=(4248,useless=3540), ccks=939843, wck=228.541, mem=316M209
241.21/233.35	    decisions=4681979, wrong=2335502, backtracks=1639549, failedAssignments=1254862, nogoods=1296, foundSolutions=5, bestBound=33
241.21/233.35	    
266.21/258.36	    num=149, depth=19..63, filters=187761407, revisions=(4248,useless=3540), ccks=939843, wck=253.553, mem=324M474
266.21/258.36	    decisions=5154613, wrong=2571802, backtracks=1803100, failedAssignments=1380140, nogoods=1317, foundSolutions=5, bestBound=33
266.21/258.36	    
293.63/285.77	    num=150, depth=22..66, filters=207997119, revisions=(4248,useless=3540), ccks=939843, wck=280.965, mem=341M3
293.63/285.77	    decisions=5679933, wrong=2834443, backtracks=1986255, failedAssignments=1517946, nogoods=1338, foundSolutions=5, bestBound=33
293.63/285.77	    
324.05/316.15	    num=151, depth=9..62, filters=230303532, revisions=(4248,useless=3540), ccks=939843, wck=311.346, mem=365M798
324.05/316.15	    decisions=6245952, wrong=3117437, backtracks=2192592, failedAssignments=1669532, nogoods=1346, foundSolutions=5, bestBound=33
324.05/316.15	    
355.96/348.05	    num=152, depth=23..65, filters=254208717, revisions=(4248,useless=3540), ccks=939843, wck=343.246, mem=382M327
355.96/348.05	    decisions=6860873, wrong=3424881, backtracks=2406094, failedAssignments=1836277, nogoods=1360, foundSolutions=5, bestBound=33
355.96/348.05	    
388.66/380.74	    num=153, depth=14..66, filters=278028246, revisions=(4248,useless=3540), ccks=939843, wck=375.93, mem=398M857
388.66/380.74	    decisions=7533844, wrong=3761347, backtracks=2636114, failedAssignments=2019696, nogoods=1390, foundSolutions=5, bestBound=33
388.66/380.74	    
422.98/415.02	    num=154, depth=15..66, filters=303945532, revisions=(4248,useless=3540), ccks=939843, wck=410.209, mem=423M651
422.98/415.02	    decisions=8279135, wrong=4133973, backtracks=2896800, failedAssignments=2221457, nogoods=1407, foundSolutions=5, bestBound=33
422.98/415.02	    
464.39/456.40	    num=155, depth=11..76, filters=334172323, revisions=(4248,useless=3540), ccks=939843, wck=451.597, mem=448M445
464.39/456.40	    decisions=9104061, wrong=4546415, backtracks=3182622, failedAssignments=2443395, nogoods=1424, foundSolutions=5, bestBound=33
464.39/456.40	    
513.81/505.82	    num=156, depth=27..68, filters=369767289, revisions=(4248,useless=3540), ccks=939843, wck=501.01, mem=481M504
513.81/505.82	    decisions=10005769, wrong=4997252, backtracks=3504403, failedAssignments=2687526, nogoods=1436, foundSolutions=5, bestBound=33
513.81/505.82	    
559.35/551.26	    num=157, depth=14..69, filters=403197915, revisions=(4248,useless=3540), ccks=939843, wck=546.453, mem=125M565
559.35/551.26	    decisions=10996682, wrong=5492691, backtracks=3854303, failedAssignments=2956071, nogoods=1451, foundSolutions=5, bestBound=33
559.35/551.26	    
616.07/607.99	    num=158, depth=11..66, filters=445523372, revisions=(4248,useless=3540), ccks=939843, wck=603.186, mem=158M648
616.07/607.99	    decisions=12124844, wrong=6056755, backtracks=4272666, failedAssignments=3251470, nogoods=1463, foundSolutions=5, bestBound=33
616.07/607.99	    
681.09/672.97	    num=159, depth=25..69, filters=494795306, revisions=(4248,useless=3540), ccks=939843, wck=668.168, mem=200M1
681.09/672.97	    decisions=13333742, wrong=6661185, backtracks=4694545, failedAssignments=3576409, nogoods=1486, foundSolutions=5, bestBound=33
681.09/672.97	    
756.83/748.65	    num=160, depth=13..67, filters=550709871, revisions=(4248,useless=3540), ccks=939843, wck=743.843, mem=241M355
756.83/748.65	    decisions=14654947, wrong=7321769, backtracks=5186257, failedAssignments=3933842, nogoods=1507, foundSolutions=5, bestBound=33
756.83/748.65	    
836.96/828.78	    num=161, depth=12..70, filters=610050994, revisions=(4248,useless=3540), ccks=939843, wck=823.969, mem=282M708
836.96/828.78	    decisions=16145185, wrong=8066870, backtracks=5717999, failedAssignments=4327018, nogoods=1528, foundSolutions=5, bestBound=33
836.96/828.78	    
914.40/906.15	    num=162, depth=12..64, filters=668336275, revisions=(4248,useless=3540), ccks=939843, wck=901.342, mem=332M332
914.40/906.15	    decisions=17778292, wrong=8883409, backtracks=6288999, failedAssignments=4759512, nogoods=1550, foundSolutions=5, bestBound=33
914.40/906.15	    
997.52/989.25	    num=163, depth=13..74, filters=727927461, revisions=(4248,useless=3540), ccks=939843, wck=984.447, mem=390M227
997.52/989.25	    decisions=19492679, wrong=9740584, backtracks=6901957, failedAssignments=5235256, nogoods=1563, foundSolutions=5, bestBound=33
997.52/989.25	    
1098.16/1089.83	    num=164, depth=14..69, filters=801413791, revisions=(4248,useless=3540), ccks=939843, wck=1085.02, mem=448M121
1098.16/1089.83	    decisions=21406932, wrong=10697692, backtracks=7585686, failedAssignments=5758574, nogoods=1581, foundSolutions=5, bestBound=33
1098.16/1089.83	    
1197.98/1189.63	    num=165, depth=17..71, filters=875535945, revisions=(4248,useless=3540), ccks=939843, wck=1184.828, mem=514M287
1197.98/1189.63	    decisions=23495886, wrong=11742145, backtracks=8317747, failedAssignments=6334224, nogoods=1601, foundSolutions=5, bestBound=33
1197.98/1189.63	    
1309.73/1301.24	    num=166, depth=25..68, filters=957941984, revisions=(4248,useless=3540), ccks=939843, wck=1296.429, mem=166M85
1309.73/1301.24	    decisions=25759346, wrong=12873855, backtracks=9139912, failedAssignments=6967439, nogoods=1625, foundSolutions=5, bestBound=33
1309.73/1301.24	    
1420.46/1411.96	    num=167, depth=15..73, filters=1040282233, revisions=(4248,useless=3540), ccks=939843, wck=1407.159, mem=252M839
1420.46/1411.96	    decisions=28316640, wrong=14152480, backtracks=10017806, failedAssignments=7663975, nogoods=1638, foundSolutions=5, bestBound=33
1420.46/1411.96	    
1567.80/1559.26	    num=168, depth=14..67, filters=1150440192, revisions=(4248,useless=3540), ccks=939843, wck=1554.457, mem=339M593
1567.80/1559.26	    decisions=31163645, wrong=15575964, backtracks=11044801, failedAssignments=8430165, nogoods=1658, foundSolutions=5, bestBound=33
1567.80/1559.26	    
1720.15/1711.59	    num=169, depth=18..69, filters=1262193405, revisions=(4248,useless=3540), ccks=939843, wck=1706.784, mem=426M347
1720.15/1711.59	    decisions=34207934, wrong=17098091, backtracks=12149356, failedAssignments=9272974, nogoods=1675, foundSolutions=5, bestBound=33
1720.15/1711.59	    
1881.41/1872.75	    num=170, depth=21..68, filters=1386619327, revisions=(4248,useless=3540), ccks=939843, wck=1867.947, mem=542M19
1881.41/1872.75	    decisions=37660190, wrong=18824202, backtracks=13364061, failedAssignments=10200064, nogoods=1699, foundSolutions=5, bestBound=33
1881.41/1872.75	    
2080.70/2071.91	    num=171, depth=33..78, filters=1530173994, revisions=(4248,useless=3540), ccks=939843, wck=2067.107, mem=657M691
2080.70/2071.91	    decisions=41511832, wrong=20750003, backtracks=14786527, failedAssignments=11219863, nogoods=1715, foundSolutions=5, bestBound=33
2080.70/2071.91	    
2244.67/2235.88	    num=172, depth=9..74, filters=1649272342, revisions=(4248,useless=3540), ccks=939843, wck=2231.073, mem=787M822
2244.67/2235.88	    decisions=45556476, wrong=22772307, backtracks=16199242, failedAssignments=12341642, nogoods=1734, foundSolutions=5, bestBound=33
2244.67/2235.88	    
2400.09/2391.11	
2400.09/2391.11	v <instantiation id='sol5' type='solution' cost='33'>  <list> x[] </list>  <values> 11 8 1 2 27 18 13 32 20 16 12 14 29 0 17 25 3 7 31 15 19 5 28 30 26 33 24 10 4 23 6 22 9 18 2 12 23 25 8 20 29 24 11 19 0 1 9 32 13 31 33 5 4 10 30 26 27 7 16 22 6 3 14 17 15 21 20 0 27 1 17 33 18 19 5 4 7 16 32 11 26 14 23 22 29 8 3 31 12 21 9 6 10 28 24 30 2 25 15 6 15 8 13 26 20 31 28 19 7 30 10 22 4 27 5 24 32 23 3 9 1 33 29 18 2 16 25 11 12 0 21 17 10 9 3 30 24 2 7 23 12 29 26 25 11 13 18 33 28 31 16 20 17 27 21 5 6 8 15 19 14 32 4 0 22 23 12 2 8 32 19 4 20 15 30 22 5 24 21 28 26 29 13 9 7 1 10 17 33 0 25 27 16 31 3 11 14 18 30 31 19 4 20 28 22 8 32 2 16 3 25 18 15 7 21 26 14 9 27 13 0 11 23 5 6 29 12 1 33 24 10 4 17 5 16 22 1 25 12 9 26 0 23 10 29 3 30 32 28 11 33 18 24 19 15 31 13 7 20 8 6 21 2 27 28 4 23 27 9 16 11 22 31 17 13 32 18 7 1 2 14 25 6 21 20 0 10 24 3 29 19 26 30 15 8 12 5 31 32 24 7 4 11 26 3 27 21 23 19 14 17 10 9 30 20 33 25 13 22 6 1 5 0 12 2 29 18 16 28 8 27 28 14 18 1 30 2 5 11 8 17 12 3 15 20 16 6 10 25 32 31 23 4 7 29 24 21 22 26 19 13 9 33 0 14 29 5 16 32 23 17 10 18 1 21 28 2 30 31 15 4 26 12 22 6 11 9 24 19 33 8 25 7 20 27 13 24 23 11 3 14 12 16 4 17 19 33 22 20 32 31 1 13 29 27 26 8 28 5 18 2 10 9 0 6 21 15 7 30 29 10 17 32 28 23 14 2 7 20 27 13 9 1 12 24 8 19 4 30 6 33 18 25 15 21 26 3 22 0 5 11 31 32 21 25 26 31 3 33 13 28 6 29 9 4 10 14 8 19 23 15 5 11 16 24 17 30 7 20 27 18 2 12 1 0 13 22 32 21 7 9 15 11 4 1 25 33 2 3 6 17 12 30 24 16 28 26 29 0 19 31 14 18 5 27 10 8 23 3 26 18 19 30 29 5 27 2 13 9 15 16 33 21 10 7 12 28 31 0 17 1 6 4 22 25 23 20 11 14 32 24 14 33 0 11 6 24 19 7 21 22 15 30 31 20 9 18 25 1 8 28 4 29 23 16 27 17 5 12 13 10 32 3 26 7 3 31 20 11 10 30 33 14 28 18 29 6 8 19 15 17 0 22 24 12 9 2 13 25 27 23 5 21 26 1 4 32 21 7 6 28 15 27 17 0 8 24 10 18 5 14 2 32 11 9 3 22 33 4 25 31 12 1 29 13 16 20 30 23 19 5 6 33 22 3 17 0 30 29 25 24 31 19 28 23 12 16 27 13 1 26 14 15 20 10 11 8 21 7 4 9 18 2 19 24 30 10 33 26 32 25 13 5 6 8 0 12 11 27 20 15 7 2 29 21 22 4 28 18 3 14 1 9 23 31 16 8 27 9 0 29 5 10 21 6 12 11 20 15 19 22 3 18 2 1 13 7 25 32 23 14 28 31 24 17 16 26 30 4 25 18 15 12 19 0 8 31 23 33 4 26 21 6 24 20 22 3 32 27 30 11 13 10 16 14 2 9 28 17 7 29 1 26 20 13 33 5 14 24 9 3 31 21 2 12 16 29 19 0 18 17 6 32 7 8 28 22 30 4 1 15 25 27 10 11 17 29 10 6 21 25 3 18 26 9 28 24 7 22 0 4 2 16 20 11 5 15 27 8 33 12 1 32 23 31 19 13 14 33 11 22 25 12 15 29 16 0 27 3 1 23 5 7 6 9 17 2 14 21 32 31 19 8 4 13 30 10 28 18 26 20 12 16 7 29 23 13 1 10 30 15 20 17 33 31 8 0 27 6 21 19 25 2 14 26 11 9 18 4 32 22 24 5 3 22 5 26 15 10 6 27 14 18 32 31 4 30 24 33 23 1 21 0 29 2 8 16 12 20 3 11 7 9 13 25 17 28 15 19 21 31 18 7 9 1 33 14 5 6 27 26 13 22 4 8 10 17 24 12 30 3 32 20 0 11 2 29 28 16 25 2 25 20 14 0 4 12 24 1 10 8 28 17 27 16 29 33 11 30 23 15 18 9 22 13 26 32 31 19 5 3 6 7 9 1 16 17 8 22 28 6 25 0 2 7 13 23 4 11 26 5 18 10 14 19 3 32 21 15 30 33 27 24 29 20 12 16 30 4 9 13 21 6 26 22 3 14 11 8 25 5 28 10 24 12 18 23 20 7 2 1 32 17 15 0 33 31 19 29 </values>  </instantiation>
2400.09/2391.11	s SATISFIABLE

Verifier Data 

OK	33

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391321-1568388837/watcher-4391321-1568388837 -o /tmp/evaluation-result-4391321-1568388837/solver-4391321-1568388837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568388749-8053 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391321-1568388837.xml -cm 

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

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


[startup+0.100081 s]*
/proc/loadavg: 1.49 1.23 1.51 4/229 8197
/proc/meminfo: memFree=30815556/32770624 swapFree=66934572/67108860
[pid=8181] ppid=8178 vsize=10659884 memory=27704 CPUtime=0.13 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 5479 0 0 0 12 1 0 0 20 0 15 0 415155112 10915721216 6926 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2664971 6926 2908 1 0 2627468 0
[pid=8181/tid=8183] ppid=8178 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) R 8178 8181 5027 0 -1 4202560 3198 0 0 0 8 1 0 0 20 0 15 0 415155113 10915721216 6992 33554432000 4194304 4196468 140732056269440 139860780532816 139860761672527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10659884 memory=5793855613512853945 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 6992 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 6992 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 6992 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 6992 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859811100320 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859810047216 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0.02 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) R 8178 8181 5027 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859805833976 139860760384862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) R 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 6992 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27704 KiB

[startup+0.210841 s]*
/proc/loadavg: 1.49 1.23 1.51 3/229 8197
/proc/meminfo: memFree=30802780/32770624 swapFree=66934572/67108860
[pid=8181] ppid=8178 vsize=10659884 memory=37500 CPUtime=0.33 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 9117 0 0 0 30 3 0 0 20 0 15 0 415155112 10915721216 9375 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2664971 9375 2989 1 0 2627468 0
[pid=8181/tid=8183] ppid=8178 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) R 8178 8181 5027 0 -1 4202560 6088 0 0 0 18 2 0 0 20 0 15 0 415155113 10915721216 9375 33554432000 4194304 4196468 140732056269440 139860780536464 139860776326301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10659884 memory=4211974088707751306 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 9375 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 9375 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 9375 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 9375 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859811100320 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859810047216 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 471 0 0 0 3 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0.05 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 9375 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37500 KiB

[startup+0.309979 s]*
/proc/loadavg: 1.49 1.23 1.51 4/229 8197
/proc/meminfo: memFree=30800968/32770624 swapFree=66934572/67108860
[pid=8181] ppid=8178 vsize=10659884 memory=40564 CPUtime=0.47 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 9344 0 0 0 44 3 0 0 20 0 15 0 415155112 10915721216 10141 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2664971 10141 3037 1 0 2627468 0
[pid=8181/tid=8183] ppid=8178 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) R 8178 8181 5027 0 -1 4202560 6239 0 0 0 28 2 0 0 20 0 15 0 415155113 10915721216 10141 33554432000 4194304 4196468 140732056269440 139860780536176 139860776326301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10659884 memory=4211974088707751306 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 10141 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10659884 memory=140362502965795 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 10141 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10659884 memory=140362349919693 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 10141 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10659884 memory=140362349923791 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155113 10915721216 10141 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10659884 memory=140362502965888 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10659884 memory=140362349932975 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859811100320 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10659884 memory=280724699856784 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415155115 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859810047216 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10659884 memory=280724699854480 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 528 0 0 0 4 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859807943024 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) R 8178 8181 5027 0 -1 1077944384 485 0 0 0 3 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0.08 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) R 8178 8181 5027 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859805837296 139860760384862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10659884 memory=140362502960768 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155118 10915721216 10141 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40564 KiB

[startup+0.700729 s]
/proc/loadavg: 1.49 1.23 1.51 3/229 8197
/proc/meminfo: memFree=30791840/32770624 swapFree=66934572/67108860
[pid=8181] ppid=8178 vsize=10661932 memory=61428 CPUtime=1.08 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 12919 0 0 0 103 5 0 0 20 0 15 0 415155112 10917818368 15357 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2665483 15357 3062 1 0 2627980 0
[pid=8181/tid=8183] ppid=8178 vsize=10661932 memory=3932 CPUtime=0.67 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) R 8178 8181 5027 0 -1 4202560 8748 0 0 0 63 4 0 0 20 0 15 0 415155113 10917818368 15357 33554432000 4194304 4196468 140732056269440 139860780536400 139860776326301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10917818368 15357 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10917818368 15357 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10917818368 15357 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155113 10917818368 15357 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155115 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415155115 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859811100320 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415155115 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859810047216 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10661932 memory=347 CPUtime=0.1 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 730 0 0 0 10 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10661932 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 850 0 0 0 10 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10661932 memory=26500 CPUtime=0.18 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 1233 0 0 0 18 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10661932 memory=280724700040688 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155118 10917818368 15357 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61428 KiB

[startup+1.50075 s]
/proc/loadavg: 1.49 1.23 1.51 3/229 8197
/proc/meminfo: memFree=30775184/32770624 swapFree=66934572/67108860
[pid=8181] ppid=8178 vsize=10663980 memory=75808 CPUtime=1.98 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 17167 0 0 0 193 5 0 0 20 0 15 0 415155112 10919915520 18952 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2665995 18952 3094 1 0 2628492 0
[pid=8181/tid=8183] ppid=8178 vsize=10663980 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) R 8178 8181 5027 0 -1 4202560 11832 0 0 0 142 4 0 0 20 0 15 0 415155113 10919915520 18952 33554432000 4194304 4196468 140732056269440 139860780536400 139860776318224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10919915520 18952 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10919915520 18952 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10663980 memory=-6305712797713588864 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415155113 10919915520 18952 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10663980 memory=4947091613494386304 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415155113 10919915520 18952 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10663980 memory=-6079961239278740838 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 415155115 10919915520 18952 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0

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

/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 759 0 0 0 13 6 0 0 20 0 16 0 415155113 11006283776 233449 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10748324 memory=931748 CPUtime=0.05 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2263 0 0 0 3 2 0 0 20 0 16 0 415155115 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10748324 memory=931748 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859811100384 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10748324 memory=933796 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859810047232 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10748324 memory=933796 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10748324 memory=3280 CPUtime=3.22 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 10524 0 0 0 321 1 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10748324 memory=8112282956445269571 CPUtime=3.32 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 8136 0 0 0 331 1 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10748324 memory=931748 CPUtime=0.96 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 8391 0 0 0 95 1 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10748324 memory=931748 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10748324 memory=931748 CPUtime=0.78 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1475 0 0 0 39 39 0 0 20 0 16 0 415155118 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8198] ppid=8178 vsize=10748324 memory=925604 CPUtime=2320.13 cores=0,2,4,6
/proc/8181/task/8198/stat : 8198 (java) R 8178 8181 5027 0 -1 4202560 19250 0 0 0 232001 12 0 0 20 0 16 0 415155301 11006283776 233449 33554432000 4194304 4196468 140732056269440 139859786657728 139860402181832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 2331.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 933796 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/231 8834
/proc/meminfo: memFree=29991160/32770624 swapFree=66934600/67108860
[pid=8181] ppid=8178 vsize=10748324 memory=969136 CPUtime=2391.28 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 69647 0 0 0 239043 85 0 0 20 0 16 0 415155112 11006283776 242284 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2687081 242284 3387 1 0 2647217 0
[pid=8181/tid=8183] ppid=8178 vsize=10748324 memory=969136 CPUtime=1.85 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) S 8178 8181 5027 0 -1 1077944384 13780 0 0 0 179 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860780547248 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1570 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.23 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 451 0 0 0 16 7 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.21 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 783 0 0 0 15 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 1115 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.05 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2591 0 0 0 3 2 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859811100384 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10748324 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859810047232 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10748324 memory=5952 CPUtime=3.22 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 10528 0 0 0 321 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10748324 memory=8112282956445269571 CPUtime=3.32 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 8143 0 0 0 331 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10748324 memory=11928 CPUtime=0.96 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 8393 0 0 0 95 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10748324 memory=22548 CPUtime=0.8 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1506 0 0 0 40 40 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8198] ppid=8178 vsize=10748324 memory=22548 CPUtime=2380.11 cores=0,2,4,6
/proc/8181/task/8198/stat : 8198 (java) R 8178 8181 5027 0 -1 4202560 19355 0 0 0 237999 12 0 0 20 0 16 0 415155301 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859786666224 139860402182055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 2391.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 969136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2391.11 s]
/proc/loadavg: 2.00 1.99 1.91 3/231 8834
/proc/meminfo: memFree=29991160/32770624 swapFree=66934600/67108860
[pid=8181] ppid=8178 vsize=10748324 memory=969136 CPUtime=2400.09 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 69659 0 0 0 239924 85 0 0 20 0 16 0 415155112 11006283776 242284 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2687081 242284 3387 1 0 2647217 0
[pid=8181/tid=8183] ppid=8178 vsize=10748324 memory=969136 CPUtime=1.85 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) S 8178 8181 5027 0 -1 1077944384 13780 0 0 0 179 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860780547248 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1570 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.23 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 451 0 0 0 16 7 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.21 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 783 0 0 0 15 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 1115 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.05 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2591 0 0 0 3 2 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859811100384 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859810047232 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10748324 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10748324 memory=969136 CPUtime=3.22 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 10528 0 0 0 321 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10748324 memory=7244 CPUtime=3.32 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 8143 0 0 0 331 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10748324 memory=504 CPUtime=0.96 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 8393 0 0 0 95 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.8 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1508 0 0 0 40 40 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8198] ppid=8178 vsize=10748324 memory=3620 CPUtime=2388.92 cores=0,2,4,6
/proc/8181/task/8198/stat : 8198 (java) R 8178 8181 5027 0 -1 4202560 19365 0 0 0 238880 12 0 0 20 0 16 0 415155301 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859786666224 139860402651712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 969136 KiB

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

[startup+2391.12 s]
# the end of solver process 8181 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.25 s, system=0.865102 s

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

[startup+2391.11 s]
/proc/loadavg: 2.00 1.99 1.91 3/231 8834
/proc/meminfo: memFree=29991160/32770624 swapFree=66934600/67108860
[pid=8181] ppid=8178 vsize=10748324 memory=969136 CPUtime=2400.09 cores=0,2,4,6
/proc/8181/stat : 8181 (java) S 8178 8181 5027 0 -1 1077944320 69659 0 0 0 239924 85 0 0 20 0 16 0 415155112 11006283776 242284 33554432000 4194304 4196468 140732056269440 140732056251984 139860776304375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
/proc/8181/statm: 2687081 242284 3387 1 0 2647217 0
[pid=8181/tid=8183] ppid=8178 vsize=10748324 memory=969136 CPUtime=1.85 cores=0,2,4,6
/proc/8181/task/8183/stat : 8183 (java) S 8178 8181 5027 0 -1 1077944384 13780 0 0 0 179 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860780547248 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8184] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8184/stat : 8184 (java) S 8178 8181 5027 0 -1 1077944384 1570 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860712995344 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8185] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.23 cores=0,2,4,6
/proc/8181/task/8185/stat : 8185 (java) S 8178 8181 5027 0 -1 1077944384 451 0 0 0 16 7 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860381657744 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8186] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.21 cores=0,2,4,6
/proc/8181/task/8186/stat : 8186 (java) S 8178 8181 5027 0 -1 1077944384 783 0 0 0 15 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860380604688 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8187] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.2 cores=0,2,4,6
/proc/8181/task/8187/stat : 8187 (java) S 8178 8181 5027 0 -1 1077944384 1115 0 0 0 14 6 0 0 20 0 16 0 415155113 11006283776 242284 33554432000 4194304 4196468 140732056269440 139860379552144 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8188] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.05 cores=0,2,4,6
/proc/8181/task/8188/stat : 8188 (java) S 8178 8181 5027 0 -1 1077944384 2591 0 0 0 3 2 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859812154096 139860776315522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8189] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8189/stat : 8189 (java) S 8178 8181 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859811100384 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8190] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8190/stat : 8190 (java) S 8178 8181 5027 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415155115 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859810047232 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8191] ppid=8178 vsize=10748324 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8191/stat : 8191 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859808995792 139860776322971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8192] ppid=8178 vsize=10748324 memory=969136 CPUtime=3.22 cores=0,2,4,6
/proc/8181/task/8192/stat : 8192 (java) S 8178 8181 5027 0 -1 1077944384 10528 0 0 0 321 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859807942896 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8193] ppid=8178 vsize=10748324 memory=7244 CPUtime=3.32 cores=0,2,4,6
/proc/8181/task/8193/stat : 8193 (java) S 8178 8181 5027 0 -1 1077944384 8143 0 0 0 331 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859806890352 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8194] ppid=8178 vsize=10748324 memory=504 CPUtime=0.96 cores=0,2,4,6
/proc/8181/task/8194/stat : 8194 (java) S 8178 8181 5027 0 -1 1077944384 8393 0 0 0 95 1 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859805837296 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8195] ppid=8178 vsize=10748324 memory=969136 CPUtime=0 cores=0,2,4,6
/proc/8181/task/8195/stat : 8195 (java) S 8178 8181 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859804784992 139860776314581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8196] ppid=8178 vsize=10748324 memory=969136 CPUtime=0.8 cores=0,2,4,6
/proc/8181/task/8196/stat : 8196 (java) S 8178 8181 5027 0 -1 1077944384 1508 0 0 0 40 40 0 0 20 0 16 0 415155118 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859803733040 139860776315522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
[pid=8181/tid=8198] ppid=8178 vsize=10748324 memory=3620 CPUtime=2388.92 cores=0,2,4,6
/proc/8181/task/8198/stat : 8198 (java) R 8178 8181 5027 0 -1 4202560 19365 0 0 0 238880 12 0 0 20 0 16 0 415155301 11006283776 242284 33554432000 4194304 4196468 140732056269440 139859786666224 139860402651712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32317440 140732056273931 140732056274034 140732056274034 140732056276943 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 969136 KiB

Child status: 143
Real time (s): 2391.12
CPU time (s): 2400.12
CPU user time (s): 2399.25
CPU system time (s): 0.865102
CPU usage (%): 100.376
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 969136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.25
system time used= 0.865102
maximum resident set size= 969644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55559
involuntary context switches= 1271


# summary of solver processes directly reported to runsolver:
#   pid: 8181
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2399.25
#   total CPU system time (s): 0.865102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0826 second user time and 22.6739 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 17:33:17
IDJOB=4391321
IDBENCH=120522
IDSOLVER=2833
FILE ID=node151/4391321-1568388837
RUNJOBID= node151-1568388749-8053
PBS_JOBID= 21701820
Free space on /tmp= 59300 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-fixed/GraphColoring-qwhopt-o33-h381-bal-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391321-1568388837/watcher-4391321-1568388837 -o /tmp/evaluation-result-4391321-1568388837/solver-4391321-1568388837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568388749-8053 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391321-1568388837.xml -cm

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

MD5SUM BENCH= 2a724879a45d3456306f221189212969
RANDOM SEED=737642317

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30830168 kB
MemAvailable:   31554040 kB
Buffers:          160436 kB
Cached:           855880 kB
SwapCached:        71644 kB
Active:           831968 kB
Inactive:         561720 kB
Active(anon):     312480 kB
Inactive(anon):    97028 kB
Active(file):     519488 kB
Inactive(file):   464692 kB
Unevictable:      110664 kB
Mlocked:          110664 kB
SwapTotal:      67108860 kB
SwapFree:       66934572 kB
Dirty:              9792 kB
Writeback:             0 kB
AnonPages:        439384 kB
Mapped:            48696 kB
Shmem:             23812 kB
Slab:             139824 kB
SReclaimable:     111052 kB
SUnreclaim:        28772 kB
KernelStack:        4016 kB
PageTables:         6412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1303216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59292 MiB
End job on node151 at 2019-09-13 18:13:09