Trace number 4390995

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)0 2520.04 2497.83

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-75.xml
MD5SUM9cdf82428becd6b5ad716031980a59d2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2520.02
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size47
Distribution of domain sizes[{"size":23,"count":1},{"size":47,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints22
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

2.40/1.88	
2.40/1.88	AbsCon 2 
2.40/1.89	
12.36/8.25	  Instance
12.36/8.25	    name=instance-4390995-1568385546, framework=COP, bounds=-infty..+infty
12.36/8.25	
12.36/8.25	  Loading variables...
16.11/10.41	  Loading constraints...
36.95/19.08	
36.95/19.08	  Domains
36.95/19.08	    nTypes=2, nValues=6227, sizes=[23#1,47#132]
36.95/19.08	  Variables
36.95/19.08	    count=133, degrees=[2#1,3#10,4#102,5#20]
36.95/19.08	  Objectives
36.95/19.08	    way=max, type=ObjVarGE
36.95/19.08	  Constraints
36.95/19.08	    count=46, nSpecific=46, arities=[1#1,6#22,12#21,23#1,132#1]
36.95/19.08	    distribution=[CardinalityConstant#1,CtrExtensionCT-Table#22,ExactlyKVariable#1,LexicographicLe#21,ObjVarGE#1]
36.95/19.08	    tables=[3581958#22], nTotalTuples=78803076
36.95/19.08	    nExtStructures=(1,shared:21)
36.95/19.08	    wck=17.232, cpu=12.315, mem=4072M63
38.84/20.13	  Solver SolverBacktrack being built...
38.84/20.13	
38.84/20.15	
38.84/20.15	  Solver
38.84/20.15	    guaranteedGAC=true
38.84/20.15	    wck=18.302, cpu=13.174, mem=4399M619
39.26/20.34	
39.26/20.34	  Preprocessing
39.26/20.34	    filters=22, nACremovedValues=682, nTotalRemovedValues=682, inconcistency=false
39.26/20.34	    wck=0.195, cpu=13.372, mem=4399M619
39.26/20.34	
39.85/20.55	    num=0, depth=1..1, filters=127, wck=0.404, mem=4399M619
39.85/20.55	    decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
39.85/20.55	    nFilterCalls=103, avgTableProportion=0.9999997208230826, avgTableSize=3581957.0
39.85/20.55	    
40.03/20.68	    num=1, depth=0..0, filters=233, wck=0.533, mem=4399M619
40.03/20.68	    decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
40.03/20.68	    nFilterCalls=161, avgTableProportion=0.9999997208230801, avgTableSize=3581957.0
40.03/20.68	    
40.48/21.05	    num=2, depth=0..0, filters=448, wck=0.899, mem=4399M619
40.48/21.05	    decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
40.48/21.05	    nFilterCalls=273, avgTableProportion=0.9999997208230775, avgTableSize=3581957.0
40.48/21.05	    
41.52/22.03	    num=3, depth=0..0, filters=869, wck=1.884, mem=4399M619
41.52/22.03	    decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
41.52/22.03	    nFilterCalls=484, avgTableProportion=0.9999997208230864, avgTableSize=3581957.0
41.52/22.03	    
42.02/22.59	    num=4, depth=0..11, filters=1286, wck=2.442, mem=4399M619
42.02/22.59	    decisions=131, wrong=60, backtracks=0, failedAssignments=60, nogoods=14
42.02/22.59	    nFilterCalls=710, avgTableProportion=0.9999997208230901, avgTableSize=3581957.0
42.02/22.59	    
42.48/22.96	    num=5, depth=0..0, filters=1523, wck=2.807, mem=4399M619
42.48/22.96	    decisions=163, wrong=76, backtracks=0, failedAssignments=76, nogoods=14
42.48/22.96	    nFilterCalls=852, avgTableProportion=0.9999997208230914, avgTableSize=3581957.0
42.48/22.96	    
43.49/23.91	    num=6, depth=0..0, filters=1989, wck=3.758, mem=4399M619
43.49/23.91	    decisions=197, wrong=93, backtracks=0, failedAssignments=93, nogoods=14
43.49/23.91	    nFilterCalls=1115, avgTableProportion=0.9999997208230929, avgTableSize=3581957.0
43.49/23.91	    
44.20/24.69	    num=7, depth=0..14, filters=2483, wck=4.546, mem=4399M619
44.20/24.69	    decisions=249, wrong=112, backtracks=0, failedAssignments=112, nogoods=24
44.20/24.69	    nFilterCalls=1402, avgTableProportion=0.9999997208230939, avgTableSize=3581957.0
44.20/24.69	    
44.72/25.12	    num=8, depth=0..0, filters=2766, wck=4.976, mem=4399M619
44.72/25.12	    decisions=291, wrong=133, backtracks=0, failedAssignments=133, nogoods=24
44.72/25.12	    nFilterCalls=1554, avgTableProportion=0.9999997208230943, avgTableSize=3581957.0
44.72/25.12	    
46.23/26.67	    num=9, depth=0..23, filters=3547, wck=6.526, mem=4399M619
46.23/26.67	    decisions=360, wrong=156, backtracks=0, failedAssignments=156, nogoods=27
46.23/26.67	    nFilterCalls=2009, avgTableProportion=0.9999997208230952, avgTableSize=3581957.0
46.23/26.67	    
47.03/27.44	    num=10, depth=0..0, filters=3941, wck=7.292, mem=4399M619
47.03/27.44	    decisions=410, wrong=181, backtracks=0, failedAssignments=181, nogoods=27
47.03/27.44	    nFilterCalls=2216, avgTableProportion=0.9999997208230783, avgTableSize=3581957.0
47.03/27.44	    
48.65/29.01	    num=11, depth=0..30, filters=4994, wck=8.862, mem=4399M619
48.65/29.01	    decisions=496, wrong=210, backtracks=1, failedAssignments=209, nogoods=41
48.65/29.01	    nFilterCalls=2937, avgTableProportion=0.9999997208230272, avgTableSize=3581957.0
48.65/29.01	    
48.88/29.25	    num=12, depth=20..20, filters=5255, wck=9.103, mem=4399M619
48.88/29.25	    decisions=578, wrong=241, backtracks=1, failedAssignments=240, nogoods=72
48.88/29.25	    nFilterCalls=3120, avgTableProportion=0.9999997208230181, avgTableSize=3581957.0
48.88/29.25	    
49.82/30.13	    num=13, depth=1..47, filters=6756, wck=9.98, mem=4399M619
49.82/30.13	    decisions=722, wrong=291, backtracks=19, failedAssignments=274, nogoods=88
49.82/30.13	    nFilterCalls=4336, avgTableProportion=0.9999997208230019, avgTableSize=3581957.0
49.82/30.13	    
51.83/32.19	    num=14, depth=0..3, filters=7526, wck=12.041, mem=4399M619
51.83/32.19	    decisions=799, wrong=328, backtracks=19, failedAssignments=311, nogoods=89
51.83/32.19	    nFilterCalls=4749, avgTableProportion=0.99999972082303, avgTableSize=3581957.0
51.83/32.19	    
52.84/33.12	    num=15, depth=0..21, filters=8639, wck=12.969, mem=4399M619
52.84/33.12	    decisions=902, wrong=369, backtracks=19, failedAssignments=352, nogoods=127
52.84/33.12	    nFilterCalls=5360, avgTableProportion=0.9999997208230637, avgTableSize=3581957.0
52.84/33.12	    
54.34/34.66	    num=16, depth=0..18, filters=9430, wck=14.514, mem=4412M773
54.34/34.66	    decisions=1010, wrong=414, backtracks=19, failedAssignments=397, nogoods=141
54.34/34.66	    nFilterCalls=5819, avgTableProportion=0.9999997208230843, avgTableSize=3581957.0
54.34/34.66	    
55.65/35.97	    num=17, depth=0..29, filters=10296, wck=15.826, mem=4412M773
55.65/35.97	    decisions=1136, wrong=464, backtracks=19, failedAssignments=447, nogoods=163
55.65/35.97	    nFilterCalls=6333, avgTableProportion=0.9999997208231038, avgTableSize=3581957.0
55.65/35.97	    
56.86/37.15	    num=18, depth=0..60, filters=11459, wck=16.998, mem=4412M773
56.86/37.15	    decisions=1306, wrong=520, backtracks=20, failedAssignments=502, nogoods=192
56.86/37.15	    nFilterCalls=7096, avgTableProportion=0.9999997208231277, avgTableSize=3581957.0
56.86/37.15	    
57.68/37.95	    num=19, depth=0..58, filters=12702, wck=17.805, mem=4412M773
57.68/37.95	    decisions=1489, wrong=589, backtracks=36, failedAssignments=563, nogoods=204
57.68/37.95	    nFilterCalls=7961, avgTableProportion=0.9999997208231491, avgTableSize=3581957.0
57.68/37.95	    
58.09/38.32	o 0
58.09/38.33	    num=20, depth=13..132, filters=13835, ccks=46, wck=18.182, mem=4412M773
58.09/38.33	    decisions=1712, wrong=664, backtracks=48, failedAssignments=628, nogoods=238, foundSolutions=1, bestBound=0
58.09/38.33	    nFilterCalls=8781, avgTableProportion=0.9999997208231656, avgTableSize=3581957.0
58.09/38.33	    
58.74/38.98	    num=21, depth=28..43, filters=16058, ccks=46, wck=18.834, mem=4412M773
58.74/38.98	    decisions=2061, wrong=819, backtracks=137, failedAssignments=702, nogoods=247, foundSolutions=1, bestBound=0
58.74/38.98	    nFilterCalls=10663, avgTableProportion=0.9999997208231938, avgTableSize=3581957.0
58.74/38.98	    
59.14/39.39	    num=22, depth=17..25, filters=16718, ccks=46, wck=19.246, mem=4412M773
59.14/39.39	    decisions=2116, wrong=837, backtracks=145, failedAssignments=713, nogoods=252, foundSolutions=1, bestBound=0
59.14/39.39	    nFilterCalls=11092, avgTableProportion=0.9999997208231989, avgTableSize=3581957.0
59.14/39.39	    
59.62/39.72	    num=23, depth=18..36, filters=17287, ccks=46, wck=19.571, mem=4412M773
59.62/39.72	    decisions=2175, wrong=850, backtracks=147, failedAssignments=725, nogoods=263, foundSolutions=1, bestBound=0
59.62/39.72	    nFilterCalls=11490, avgTableProportion=0.9999997208232033, avgTableSize=3581957.0
59.62/39.72	    
59.94/40.04	    num=24, depth=18..36, filters=17878, ccks=46, wck=19.892, mem=4412M773
59.94/40.04	    decisions=2237, wrong=864, backtracks=148, failedAssignments=738, nogoods=276, foundSolutions=1, bestBound=0
59.94/40.04	    nFilterCalls=11892, avgTableProportion=0.9999997208232074, avgTableSize=3581957.0
59.94/40.04	    
60.26/40.37	    num=25, depth=18..36, filters=18486, ccks=46, wck=20.221, mem=4412M773
60.26/40.37	    decisions=2301, wrong=880, backtracks=150, failedAssignments=752, nogoods=289, foundSolutions=1, bestBound=0
60.26/40.37	    nFilterCalls=12327, avgTableProportion=0.9999997208232115, avgTableSize=3581957.0
60.26/40.37	    
60.66/40.72	    num=26, depth=21..36, filters=19229, ccks=46, wck=20.57, mem=4412M773
60.66/40.72	    decisions=2389, wrong=912, backtracks=166, failedAssignments=768, nogoods=291, foundSolutions=1, bestBound=0
60.66/40.72	    nFilterCalls=12868, avgTableProportion=0.9999997208232163, avgTableSize=3581957.0
60.66/40.72	    
60.86/40.98	    num=27, depth=32..41, filters=19799, ccks=46, wck=20.831, mem=4412M773
60.86/40.98	    decisions=2471, wrong=936, backtracks=173, failedAssignments=785, nogoods=298, foundSolutions=1, bestBound=0
60.86/40.98	    nFilterCalls=13339, avgTableProportion=0.9999997208232202, avgTableSize=3581957.0
60.86/40.98	    
61.28/41.31	    num=28, depth=20..37, filters=20433, ccks=46, wck=21.163, mem=4412M773
61.28/41.31	    decisions=2552, wrong=964, backtracks=185, failedAssignments=804, nogoods=302, foundSolutions=1, bestBound=0
61.28/41.31	    nFilterCalls=13764, avgTableProportion=0.9999997208232234, avgTableSize=3581957.0
61.28/41.31	    
61.58/41.65	    num=29, depth=15..40, filters=21017, ccks=46, wck=21.506, mem=4412M773
61.58/41.65	    decisions=2637, wrong=990, backtracks=191, failedAssignments=825, nogoods=317, foundSolutions=1, bestBound=0
61.58/41.65	    nFilterCalls=14251, avgTableProportion=0.999999720823227, avgTableSize=3581957.0
61.58/41.65	    
62.59/42.66	    num=30, depth=13..34, filters=21862, ccks=46, wck=22.509, mem=4412M773
62.59/42.66	    decisions=2728, wrong=1024, backtracks=202, failedAssignments=848, nogoods=328, foundSolutions=1, bestBound=0
62.59/42.66	    nFilterCalls=14908, avgTableProportion=0.9999997208232313, avgTableSize=3581957.0
62.59/42.66	    
63.00/43.08	    num=31, depth=14..38, filters=22630, ccks=46, wck=22.931, mem=4412M773
63.00/43.08	    decisions=2819, wrong=1051, backtracks=205, failedAssignments=873, nogoods=352, foundSolutions=1, bestBound=0
63.00/43.08	    nFilterCalls=15470, avgTableProportion=0.9999997208232346, avgTableSize=3581957.0
63.00/43.08	    
63.41/43.48	    num=32, depth=19..36, filters=23447, ccks=46, wck=23.333, mem=4412M773
63.41/43.48	    decisions=2924, wrong=1092, backtracks=219, failedAssignments=901, nogoods=357, foundSolutions=1, bestBound=0
63.41/43.48	    nFilterCalls=16098, avgTableProportion=0.9999997208232382, avgTableSize=3581957.0
63.41/43.48	    
64.12/44.12	    num=33, depth=14..29, filters=24489, ccks=46, wck=23.976, mem=4412M773
64.12/44.12	    decisions=3035, wrong=1134, backtracks=230, failedAssignments=932, nogoods=371, foundSolutions=1, bestBound=0
64.12/44.12	    nFilterCalls=16777, avgTableProportion=0.9999997208231992, avgTableSize=3581957.0
64.12/44.12	    
64.31/44.39	    num=34, depth=8..29, filters=25063, ccks=46, wck=24.243, mem=4412M773
64.31/44.39	    decisions=3173, wrong=1190, backtracks=254, failedAssignments=966, nogoods=379, foundSolutions=1, bestBound=0
64.31/44.39	    nFilterCalls=17243, avgTableProportion=0.9999997208231535, avgTableSize=3581957.0
64.31/44.39	    
64.71/44.74	    num=35, depth=19..44, filters=25871, ccks=46, wck=24.594, mem=4412M773
64.71/44.74	    decisions=3293, wrong=1234, backtracks=265, failedAssignments=1003, nogoods=385, foundSolutions=1, bestBound=0
64.71/44.74	    nFilterCalls=17801, avgTableProportion=0.9999997208231018, avgTableSize=3581957.0
64.71/44.74	    
65.32/45.33	    num=36, depth=16..31, filters=26970, ccks=46, wck=25.181, mem=4412M773
65.32/45.33	    decisions=3420, wrong=1282, backtracks=272, failedAssignments=1044, nogoods=403, foundSolutions=1, bestBound=0
65.32/45.33	    nFilterCalls=18466, avgTableProportion=0.9999997208230444, avgTableSize=3581957.0
65.32/45.33	    
66.75/46.71	    num=37, depth=0..27, filters=27765, ccks=46, wck=26.559, mem=4412M773
66.75/46.71	    decisions=3556, wrong=1338, backtracks=284, failedAssignments=1089, nogoods=411, foundSolutions=1, bestBound=0
66.75/46.71	    nFilterCalls=19130, avgTableProportion=0.999999720822991, avgTableSize=3581957.0
66.75/46.71	    
67.25/47.22	    num=38, depth=0..38, filters=28482, ccks=46, wck=27.076, mem=4412M773
67.25/47.22	    decisions=3708, wrong=1401, backtracks=300, failedAssignments=1139, nogoods=430, foundSolutions=1, bestBound=0
67.25/47.22	    nFilterCalls=19679, avgTableProportion=0.9999997208229496, avgTableSize=3581957.0
67.25/47.22	    
67.66/47.66	    num=39, depth=10..36, filters=29767, ccks=46, wck=27.511, mem=4412M773
67.66/47.66	    decisions=3902, wrong=1486, backtracks=331, failedAssignments=1194, nogoods=439, foundSolutions=1, bestBound=0
67.66/47.66	    nFilterCalls=20623, avgTableProportion=0.9999997208228836, avgTableSize=3581957.0
67.66/47.66	    
68.36/48.35	    num=40, depth=0..30, filters=30816, ccks=46, wck=28.206, mem=4412M773
68.36/48.35	    decisions=4116, wrong=1580, backtracks=367, failedAssignments=1255, nogoods=446, foundSolutions=1, bestBound=0
68.36/48.35	    nFilterCalls=21349, avgTableProportion=0.9999997208228367, avgTableSize=3581957.0
68.36/48.35	    
68.96/48.99	    num=41, depth=11..24, filters=32690, ccks=46, wck=28.844, mem=4412M773
68.96/48.99	    decisions=4391, wrong=1710, backtracks=430, failedAssignments=1322, nogoods=450, foundSolutions=1, bestBound=0
68.96/48.99	    nFilterCalls=22690, avgTableProportion=0.9999997208227581, avgTableSize=3581957.0
68.96/48.99	    
69.37/49.35	    num=42, depth=15..37, filters=33836, ccks=46, wck=29.199, mem=4412M773
69.37/49.35	    decisions=4671, wrong=1834, backtracks=495, failedAssignments=1396, nogoods=460, foundSolutions=1, bestBound=0
69.37/49.35	    nFilterCalls=23572, avgTableProportion=0.9999997208227113, avgTableSize=3581957.0
69.37/49.35	    
70.20/50.13	    num=43, depth=11..32, filters=35254, ccks=46, wck=29.986, mem=4412M773
70.20/50.13	    decisions=4902, wrong=1940, backtracks=523, failedAssignments=1477, nogoods=477, foundSolutions=1, bestBound=0
70.20/50.13	    nFilterCalls=24611, avgTableProportion=0.9999997208226604, avgTableSize=3581957.0
70.20/50.13	    
70.60/50.51	    num=44, depth=24..38, filters=36471, ccks=46, wck=30.365, mem=4412M773
70.60/50.51	    decisions=5150, wrong=2047, backtracks=543, failedAssignments=1566, nogoods=514, foundSolutions=1, bestBound=0
70.60/50.51	    nFilterCalls=25490, avgTableProportion=0.9999997208226206, avgTableSize=3581957.0
70.60/50.51	    
71.40/51.32	    num=45, depth=16..35, filters=38397, ccks=46, wck=31.168, mem=4412M773
71.40/51.32	    decisions=5437, wrong=2176, backtracks=575, failedAssignments=1664, nogoods=555, foundSolutions=1, bestBound=0
71.40/51.32	    nFilterCalls=26852, avgTableProportion=0.999999720822564, avgTableSize=3581957.0
71.40/51.32	    
72.55/52.45	    num=46, depth=0..25, filters=39747, ccks=46, wck=32.299, mem=4412M773
72.55/52.45	    decisions=5746, wrong=2328, backtracks=640, failedAssignments=1772, nogoods=559, foundSolutions=1, bestBound=0
72.55/52.45	    nFilterCalls=27921, avgTableProportion=0.9999997208225235, avgTableSize=3581957.0
72.55/52.45	    
73.26/53.17	    num=47, depth=14..33, filters=41710, ccks=46, wck=33.023, mem=4412M773
73.26/53.17	    decisions=6079, wrong=2482, backtracks=677, failedAssignments=1891, nogoods=580, foundSolutions=1, bestBound=0
73.26/53.17	    nFilterCalls=29347, avgTableProportion=0.9999997208224741, avgTableSize=3581957.0
73.26/53.17	    
73.66/53.51	    num=48, depth=29..47, filters=42904, ccks=46, wck=33.359, mem=4412M773
73.66/53.51	    decisions=6466, wrong=2656, backtracks=742, failedAssignments=2022, nogoods=642, foundSolutions=1, bestBound=0
73.66/53.51	    nFilterCalls=30266, avgTableProportion=0.9999997208224447, avgTableSize=3581957.0
73.66/53.51	    
74.46/54.31	    num=49, depth=15..36, filters=44907, ccks=46, wck=34.164, mem=4412M773
74.46/54.31	    decisions=6861, wrong=2837, backtracks=782, failedAssignments=2166, nogoods=668, foundSolutions=1, bestBound=0
74.46/54.31	    nFilterCalls=31846, avgTableProportion=0.9999997208223982, avgTableSize=3581957.0
74.46/54.31	    
75.17/55.09	    num=50, depth=16..42, filters=47867, ccks=46, wck=34.938, mem=4425M926
75.17/55.09	    decisions=7252, wrong=3014, backtracks=803, failedAssignments=2324, nogoods=687, foundSolutions=1, bestBound=0
75.17/55.09	    nFilterCalls=34331, avgTableProportion=0.9999997208223338, avgTableSize=3581957.0
75.17/55.09	    
79.99/59.80	    num=51, depth=11..52, filters=52603, ccks=46, wck=39.657, mem=4425M926
79.99/59.80	    decisions=7942, wrong=3339, backtracks=958, failedAssignments=2498, nogoods=701, foundSolutions=1, bestBound=0
79.99/59.80	    nFilterCalls=38379, avgTableProportion=0.9999997208222464, avgTableSize=3581957.0
79.99/59.80	    
83.61/63.40	    num=52, depth=6..30, filters=56425, ccks=46, wck=43.25, mem=4425M926
83.61/63.40	    decisions=8526, wrong=3621, backtracks=1066, failedAssignments=2689, nogoods=719, foundSolutions=1, bestBound=0
83.61/63.40	    nFilterCalls=41568, avgTableProportion=0.9999997208221897, avgTableSize=3581957.0
83.61/63.40	    
84.24/64.07	    num=53, depth=10..38, filters=58465, ccks=46, wck=43.92, mem=4425M926
84.24/64.07	    decisions=9075, wrong=3882, backtracks=1133, failedAssignments=2900, nogoods=795, foundSolutions=1, bestBound=0
84.24/64.07	    nFilterCalls=43019, avgTableProportion=0.9999997208221666, avgTableSize=3581957.0
84.24/64.07	    
85.29/65.04	    num=54, depth=12..53, filters=62453, ccks=46, wck=44.892, mem=4425M926
85.29/65.04	    decisions=9926, wrong=4282, backtracks=1337, failedAssignments=3132, nogoods=805, foundSolutions=1, bestBound=0
85.29/65.04	    nFilterCalls=46257, avgTableProportion=0.9999997208221204, avgTableSize=3581957.0
85.29/65.04	    
92.05/71.67	    num=55, depth=9..49, filters=69642, ccks=46, wck=51.525, mem=4461M467
92.05/71.67	    decisions=11140, wrong=4869, backtracks=1699, failedAssignments=3387, nogoods=828, foundSolutions=1, bestBound=0
92.05/71.67	    nFilterCalls=52569, avgTableProportion=0.9999997208220467, avgTableSize=3581957.0
92.05/71.67	    
93.42/72.99	    num=56, depth=4..37, filters=73609, ccks=46, wck=52.838, mem=4461M467
93.42/72.99	    decisions=11938, wrong=5256, backtracks=1837, failedAssignments=3668, nogoods=848, foundSolutions=1, bestBound=0
93.42/72.99	    nFilterCalls=55354, avgTableProportion=0.9999997208220195, avgTableSize=3581957.0
93.42/72.99	    
106.83/86.39	    num=57, depth=5..41, filters=85982, ccks=46, wck=66.237, mem=4461M467
106.83/86.39	    decisions=13223, wrong=5883, backtracks=2174, failedAssignments=3977, nogoods=865, foundSolutions=1, bestBound=0
106.83/86.39	    nFilterCalls=65411, avgTableProportion=0.9999997208219406, avgTableSize=3581957.0
106.83/86.39	    
108.23/87.74	    num=58, depth=8..36, filters=90540, ccks=46, wck=67.596, mem=4461M467
108.23/87.74	    decisions=14190, wrong=6356, backtracks=2344, failedAssignments=4317, nogoods=879, foundSolutions=1, bestBound=0
108.23/87.74	    nFilterCalls=68972, avgTableProportion=0.9999997208219182, avgTableSize=3581957.0
108.23/87.74	    
111.03/90.56	    num=59, depth=0..29, filters=93764, ccks=46, wck=70.414, mem=4461M467
111.03/90.56	    decisions=15091, wrong=6799, backtracks=2439, failedAssignments=4691, nogoods=909, foundSolutions=1, bestBound=0
111.03/90.56	    nFilterCalls=71801, avgTableProportion=0.9999997208219019, avgTableSize=3581957.0
111.03/90.56	    
112.73/92.29	    num=60, depth=10..43, filters=99260, ccks=46, wck=72.137, mem=4461M467
112.73/92.29	    decisions=16373, wrong=7425, backtracks=2686, failedAssignments=5102, nogoods=932, foundSolutions=1, bestBound=0
112.73/92.29	    nFilterCalls=77324, avgTableProportion=0.9999997208218737, avgTableSize=3581957.0
112.73/92.29	    
114.43/93.97	    num=61, depth=15..62, filters=108686, ccks=46, wck=73.822, mem=4461M467
114.43/93.97	    decisions=18234, wrong=8330, backtracks=3159, failedAssignments=5554, nogoods=950, foundSolutions=1, bestBound=0
114.43/93.97	    nFilterCalls=85562, avgTableProportion=0.9999997208218383, avgTableSize=3581957.0
114.43/93.97	    
140.76/120.24	    num=62, depth=3..36, filters=130552, ccks=46, wck=100.094, mem=4461M467
140.76/120.24	    decisions=20291, wrong=9344, backtracks=3714, failedAssignments=6051, nogoods=971, foundSolutions=1, bestBound=0
140.76/120.24	    nFilterCalls=103726, avgTableProportion=0.9999997208217802, avgTableSize=3581957.0
140.76/120.24	    
144.96/124.41	    num=63, depth=7..42, filters=142108, ccks=46, wck=104.265, mem=4461M467
144.96/124.41	    decisions=22174, wrong=10268, backtracks=4104, failedAssignments=6598, nogoods=979, foundSolutions=1, bestBound=0
144.96/124.41	    nFilterCalls=112215, avgTableProportion=0.9999997208217595, avgTableSize=3581957.0
144.96/124.41	    
148.67/128.13	    num=64, depth=10..38, filters=152720, ccks=46, wck=107.987, mem=4461M467
148.67/128.13	    decisions=24288, wrong=11311, backtracks=4615, failedAssignments=7200, nogoods=1011, foundSolutions=1, bestBound=0
148.67/128.13	    nFilterCalls=120997, avgTableProportion=0.9999997208217412, avgTableSize=3581957.0
148.67/128.13	    
150.67/130.11	    num=65, depth=5..42, filters=160722, ccks=46, wck=109.962, mem=4461M467
150.67/130.11	    decisions=26227, wrong=12267, backtracks=5006, failedAssignments=7862, nogoods=1039, foundSolutions=1, bestBound=0
150.67/130.11	    nFilterCalls=127420, avgTableProportion=0.9999997208217293, avgTableSize=3581957.0
150.67/130.11	    
170.77/150.25	    num=66, depth=1..11, filters=181546, ccks=46, wck=130.105, mem=4461M467
170.77/150.25	    decisions=28610, wrong=13455, backtracks=5554, failedAssignments=8590, nogoods=1057, foundSolutions=1, bestBound=0
170.77/150.25	    nFilterCalls=145615, avgTableProportion=0.9999997208231548, avgTableSize=3581957.0
170.77/150.25	    
173.07/152.56	    num=67, depth=1..58, filters=194650, ccks=46, wck=132.417, mem=4461M467
173.07/152.56	    decisions=31675, wrong=14962, backtracks=6378, failedAssignments=9391, nogoods=1082, foundSolutions=1, bestBound=0
173.07/152.56	    nFilterCalls=156466, avgTableProportion=0.9999997208240496, avgTableSize=3581957.0
173.07/152.56	    
185.60/165.03	    num=68, depth=5..55, filters=219432, ccks=46, wck=144.879, mem=4461M467
185.60/165.03	    decisions=35542, wrong=16872, backtracks=7496, failedAssignments=10272, nogoods=1128, foundSolutions=1, bestBound=0
185.60/165.03	    nFilterCalls=176588, avgTableProportion=0.999999720825418, avgTableSize=3581957.0
185.60/165.03	    
226.23/205.67	    num=69, depth=3..43, filters=253167, ccks=46, wck=185.526, mem=4461M467
226.23/205.67	    decisions=39545, wrong=18858, backtracks=8610, failedAssignments=11242, nogoods=1154, foundSolutions=1, bestBound=0
226.23/205.67	    nFilterCalls=206247, avgTableProportion=0.9999997208269481, avgTableSize=3581957.0
226.23/205.67	    
271.15/250.58	    num=70, depth=3..37, filters=286206, ccks=46, wck=230.437, mem=4461M467
271.15/250.58	    decisions=43141, wrong=20643, backtracks=9485, failedAssignments=12309, nogoods=1191, foundSolutions=1, bestBound=0
271.15/250.58	    nFilterCalls=233742, avgTableProportion=0.9999997208280197, avgTableSize=3581957.0
271.15/250.58	    
306.38/285.76	    num=71, depth=5..44, filters=319613, ccks=46, wck=265.617, mem=4461M467
306.38/285.76	    decisions=47394, wrong=22758, backtracks=10537, failedAssignments=13482, nogoods=1220, foundSolutions=1, bestBound=0
306.38/285.76	    nFilterCalls=261116, avgTableProportion=0.9999997208288625, avgTableSize=3581957.0
306.38/285.76	    
311.09/290.49	    num=72, depth=7..58, filters=343727, ccks=46, wck=270.338, mem=4461M467
311.09/290.49	    decisions=52776, wrong=25423, backtracks=11972, failedAssignments=14773, nogoods=1261, foundSolutions=1, bestBound=0
311.09/290.49	    nFilterCalls=281852, avgTableProportion=0.9999997208293918, avgTableSize=3581957.0
311.09/290.49	    
324.09/303.47	    num=73, depth=8..46, filters=376917, ccks=46, wck=283.318, mem=4461M467
324.09/303.47	    decisions=58203, wrong=28119, backtracks=13460, failedAssignments=16193, nogoods=1293, foundSolutions=1, bestBound=0
324.09/303.47	    nFilterCalls=309811, avgTableProportion=0.9999997208299934, avgTableSize=3581957.0
324.09/303.47	    
337.11/316.46	    num=74, depth=8..44, filters=410423, ccks=46, wck=296.313, mem=4461M467
337.11/316.46	    decisions=64054, wrong=31028, backtracks=14915, failedAssignments=17755, nogoods=1319, foundSolutions=1, bestBound=0
337.11/316.46	    nFilterCalls=338808, avgTableProportion=0.9999997208305125, avgTableSize=3581957.0
337.11/316.46	    
347.31/326.66	    num=75, depth=9..44, filters=443861, ccks=46, wck=306.513, mem=4461M467
347.31/326.66	    decisions=70592, wrong=34280, backtracks=16579, failedAssignments=19473, nogoods=1344, foundSolutions=1, bestBound=0
347.31/326.66	    nFilterCalls=368746, avgTableProportion=0.9999997208309628, avgTableSize=3581957.0
347.31/326.66	    
389.24/368.53	    num=76, depth=6..32, filters=479034, ccks=46, wck=348.38, mem=4461M467
389.24/368.53	    decisions=76692, wrong=37319, backtracks=17858, failedAssignments=21363, nogoods=1362, foundSolutions=1, bestBound=0
389.24/368.53	    nFilterCalls=403258, avgTableProportion=0.9999997208313989, avgTableSize=3581957.0
389.24/368.53	    
446.38/425.65	    num=77, depth=5..29, filters=536843, ccks=46, wck=405.502, mem=4461M467
446.38/425.65	    decisions=84861, wrong=41395, backtracks=20051, failedAssignments=23442, nogoods=1391, foundSolutions=1, bestBound=0
446.38/425.65	    nFilterCalls=454976, avgTableProportion=0.9999997208319285, avgTableSize=3581957.0
446.38/425.65	    
459.49/438.75	    num=78, depth=10..48, filters=573426, ccks=46, wck=418.598, mem=4461M467
459.49/438.75	    decisions=92225, wrong=45060, backtracks=21603, failedAssignments=25729, nogoods=1418, foundSolutions=1, bestBound=0
459.49/438.75	    nFilterCalls=487689, avgTableProportion=0.9999997208322056, avgTableSize=3581957.0
459.49/438.75	    
525.13/504.34	    num=79, depth=5..28, filters=634519, ccks=46, wck=484.195, mem=4461M467
525.13/504.34	    decisions=100200, wrong=49038, backtracks=23299, failedAssignments=28245, nogoods=1451, foundSolutions=1, bestBound=0
525.13/504.34	    nFilterCalls=540090, avgTableProportion=0.9999997208325793, avgTableSize=3581957.0
525.13/504.34	    
534.14/513.35	    num=80, depth=7..60, filters=680118, ccks=46, wck=493.202, mem=4461M467
534.14/513.35	    decisions=110511, wrong=54170, backtracks=26117, failedAssignments=31013, nogoods=1492, foundSolutions=1, bestBound=0
534.14/513.35	    nFilterCalls=577580, avgTableProportion=0.9999997208328051, avgTableSize=3581957.0
534.14/513.35	    
545.20/524.36	    num=81, depth=7..52, filters=719419, ccks=46, wck=504.208, mem=4461M467
545.20/524.36	    decisions=119386, wrong=58587, backtracks=27819, failedAssignments=34057, nogoods=1529, foundSolutions=1, bestBound=0
545.20/524.36	    nFilterCalls=610475, avgTableProportion=0.9999997208329804, avgTableSize=3581957.0
545.20/524.36	    
562.61/541.70	    num=82, depth=8..51, filters=780291, ccks=46, wck=521.55, mem=4461M467
562.61/541.70	    decisions=130394, wrong=64072, backtracks=30533, failedAssignments=37406, nogoods=1572, foundSolutions=1, bestBound=0
562.61/541.70	    nFilterCalls=664581, avgTableProportion=0.999999720833231, avgTableSize=3581957.0
562.61/541.70	    
588.32/567.40	    num=83, depth=9..46, filters=854297, ccks=46, wck=547.254, mem=4461M467
588.32/567.40	    decisions=143259, wrong=70484, backtracks=33921, failedAssignments=41090, nogoods=1601, foundSolutions=1, bestBound=0
588.32/567.40	    nFilterCalls=731981, avgTableProportion=0.9999997208334913, avgTableSize=3581957.0
588.32/567.40	    
740.62/719.62	    num=84, depth=4..45, filters=954899, ccks=46, wck=699.474, mem=4461M467
740.62/719.62	    decisions=157577, wrong=77630, backtracks=38342, failedAssignments=45142, nogoods=1662, foundSolutions=1, bestBound=0
740.62/719.62	    nFilterCalls=821325, avgTableProportion=0.9999997208337705, avgTableSize=3581957.0
740.62/719.62	    
759.43/738.41	    num=85, depth=11..47, filters=1057725, ccks=46, wck=718.26, mem=4461M467
759.43/738.41	    decisions=178589, wrong=88117, backtracks=44898, failedAssignments=49599, nogoods=1712, foundSolutions=1, bestBound=0
759.43/738.41	    nFilterCalls=910856, avgTableProportion=0.9999997208339955, avgTableSize=3581957.0
759.43/738.41	    
798.98/777.95	    num=86, depth=5..52, filters=1169378, ccks=46, wck=757.802, mem=4461M467
798.98/777.95	    decisions=197334, wrong=97473, backtracks=50204, failedAssignments=54502, nogoods=1738, foundSolutions=1, bestBound=0
798.98/777.95	    nFilterCalls=1016554, avgTableProportion=0.99999972083421, avgTableSize=3581957.0
798.98/777.95	    
825.22/804.11	    num=87, depth=7..55, filters=1288174, ccks=46, wck=783.962, mem=4461M467
825.22/804.11	    decisions=220909, wrong=109240, backtracks=57444, failedAssignments=59896, nogoods=1772, foundSolutions=1, bestBound=0
825.22/804.11	    nFilterCalls=1113805, avgTableProportion=0.9999997208343713, avgTableSize=3581957.0
825.22/804.11	    
851.83/830.80	    num=88, depth=7..56, filters=1395276, ccks=46, wck=810.648, mem=4474M621
851.83/830.80	    decisions=242395, wrong=119962, backtracks=63387, failedAssignments=65829, nogoods=1807, foundSolutions=1, bestBound=0
851.83/830.80	    nFilterCalls=1205331, avgTableProportion=0.9999997208344994, avgTableSize=3581957.0
851.83/830.80	    
894.86/873.70	    num=89, depth=6..46, filters=1498281, ccks=46, wck=853.554, mem=4474M621
894.86/873.70	    decisions=263352, wrong=130421, backtracks=68932, failedAssignments=72355, nogoods=1841, foundSolutions=1, bestBound=0
894.86/873.70	    nFilterCalls=1298056, avgTableProportion=0.9999997208346108, avgTableSize=3581957.0
894.86/873.70	    
1022.44/1001.25	    num=90, depth=5..37, filters=1658700, ccks=46, wck=981.103, mem=4474M621
1022.44/1001.25	    decisions=291079, wrong=144272, backtracks=76525, failedAssignments=79534, nogoods=1865, foundSolutions=1, bestBound=0
1022.44/1001.25	    nFilterCalls=1465878, avgTableProportion=0.9999997208347765, avgTableSize=3581957.0
1022.44/1001.25	    
1089.18/1067.98	    num=91, depth=11..43, filters=1789140, ccks=46, wck=1047.834, mem=4474M621
1089.18/1067.98	    decisions=316539, wrong=156992, backtracks=82645, failedAssignments=87431, nogoods=1907, foundSolutions=1, bestBound=0
1089.18/1067.98	    nFilterCalls=1596960, avgTableProportion=0.9999997208348816, avgTableSize=3581957.0
1089.18/1067.98	    
1182.84/1161.56	    num=92, depth=4..59, filters=1964008, ccks=46, wck=1141.408, mem=4474M621
1182.84/1161.56	    decisions=346389, wrong=171899, backtracks=90346, failedAssignments=96118, nogoods=1935, foundSolutions=1, bestBound=0
1182.84/1161.56	    nFilterCalls=1761786, avgTableProportion=0.9999997208349918, avgTableSize=3581957.0
1182.84/1161.56	    
1231.67/1210.33	    num=93, depth=11..59, filters=2207433, ccks=46, wck=1190.18, mem=4474M621
1231.67/1210.33	    decisions=392512, wrong=194935, backtracks=106047, failedAssignments=105673, nogoods=1963, foundSolutions=1, bestBound=0
1231.67/1210.33	    nFilterCalls=1984651, avgTableProportion=0.9999997208351116, avgTableSize=3581957.0
1231.67/1210.33	    
1334.84/1313.41	    num=94, depth=8..38, filters=2411057, ccks=46, wck=1293.263, mem=4474M621
1334.84/1313.41	    decisions=431152, wrong=214240, backtracks=116507, failedAssignments=116184, nogoods=1992, foundSolutions=1, bestBound=0
1334.84/1313.41	    nFilterCalls=2179019, avgTableProportion=0.9999997208264484, avgTableSize=3581957.0
1334.84/1313.41	    
1404.38/1382.98	    num=95, depth=10..51, filters=2647520, ccks=46, wck=1362.828, mem=4474M621
1404.38/1382.98	    decisions=478229, wrong=237762, backtracks=130636, failedAssignments=127746, nogoods=2013, foundSolutions=1, bestBound=0
1404.38/1382.98	    nFilterCalls=2395251, avgTableProportion=0.9999997208062971, avgTableSize=3581957.0
1404.38/1382.98	    
1604.91/1583.33	    num=96, depth=4..31, filters=2949506, ccks=46, wck=1563.181, mem=4474M621
1604.91/1583.33	    decisions=529467, wrong=263370, backtracks=145771, failedAssignments=140464, nogoods=2049, foundSolutions=1, bestBound=0
1604.91/1583.33	    nFilterCalls=2690634, avgTableProportion=0.9999997207840037, avgTableSize=3581957.0
1604.91/1583.33	    
1758.72/1737.06	    num=97, depth=3..40, filters=3206914, ccks=46, wck=1716.914, mem=4474M621
1758.72/1737.06	    decisions=583448, wrong=290348, backtracks=160835, failedAssignments=154454, nogoods=2078, foundSolutions=1, bestBound=0
1758.72/1737.06	    nFilterCalls=2955479, avgTableProportion=0.9999997207678041, avgTableSize=3581957.0
1758.72/1737.06	    
1828.06/1806.38	    num=98, depth=7..46, filters=3502680, ccks=46, wck=1786.228, mem=4474M621
1828.06/1806.38	    decisions=639819, wrong=318517, backtracks=178082, failedAssignments=169843, nogoods=2118, foundSolutions=1, bestBound=0
1828.06/1806.38	    nFilterCalls=3203334, avgTableProportion=0.9999997207550702, avgTableSize=3581957.0
1828.06/1806.38	    
1891.09/1869.35	    num=99, depth=7..55, filters=3772344, ccks=46, wck=1849.206, mem=4474M621
1891.09/1869.35	    decisions=697915, wrong=347543, backtracks=193986, failedAssignments=186771, nogoods=2168, foundSolutions=1, bestBound=0
1891.09/1869.35	    nFilterCalls=3424073, avgTableProportion=0.9999997207452813, avgTableSize=3581957.0
1891.09/1869.35	    
2185.38/2163.44	    num=100, depth=6..41, filters=4231175, ccks=46, wck=2143.292, mem=4474M621
2185.38/2163.44	    decisions=779077, wrong=388108, backtracks=219146, failedAssignments=205392, nogoods=2196, foundSolutions=1, bestBound=0
2185.38/2163.44	    nFilterCalls=3883748, avgTableProportion=0.9999997207284681, avgTableSize=3581957.0
2185.38/2163.44	    
2390.72/2368.62	    num=101, depth=12..38, filters=4672658, ccks=46, wck=2348.476, mem=4474M621
2390.72/2368.62	    decisions=861580, wrong=429347, backtracks=243877, failedAssignments=225876, nogoods=2218, foundSolutions=1, bestBound=0
2390.72/2368.62	    nFilterCalls=4322643, avgTableProportion=0.999999720715752, avgTableSize=3581957.0
2390.72/2368.62	    
2498.29/2476.16	    num=102, depth=12..50, filters=5014460, ccks=46, wck=2456.014, mem=4474M621
2498.29/2476.16	    decisions=936006, wrong=466546, backtracks=263432, failedAssignments=248408, nogoods=2314, foundSolutions=1, bestBound=0
2498.29/2476.16	    nFilterCalls=4643468, avgTableProportion=0.9999997207079775, avgTableSize=3581957.0
2498.29/2476.16	    
2520.00/2497.80	
2520.00/2497.80	v <instantiation id='sol1' type='solution' cost='0'>  <list> x b[][] </list>  <values> 0 200 200 200 200 200 0 197 197 197 196 196 0 196 196 196 196 195 0 194 194 194 193 192 0 193 193 191 191 189 0 190 190 190 190 189 0 188 187 187 187 186 0 186 185 185 184 181 0 183 183 182 182 182 0 180 179 178 178 178 0 178 176 176 159 153 150 175 174 174 172 150 150 173 173 173 160 158 158 171 171 171 167 166 154 171 171 170 163 161 161 170 169 167 163 163 162 170 168 168 168 161 154 170 166 166 160 153 152 170 166 164 164 161 159 168 161 161 160 0 0 164 163 157 156 156 152 163 163 159 158 156 155 </values>  </instantiation>
2520.00/2497.80	s SATISFIABLE

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390995-1568385546/watcher-4390995-1568385546 -o /tmp/evaluation-result-4390995-1568385546/solver-4390995-1568385546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17710 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390995-1568385546.xml -cm 

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

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

solver pid=18786, runsolver pid=18783

[startup+0.100059 s]*
/proc/loadavg: 1.81 1.68 1.68 4/228 18801
/proc/meminfo: memFree=24481336/32770624 swapFree=67020140/67108860
[pid=18786] ppid=18783 vsize=10659884 memory=28208 CPUtime=0.13 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 5470 0 0 0 12 1 0 0 20 0 15 0 414827275 10915721216 7052 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2664971 7052 2905 1 0 2627468 0
[pid=18786/tid=18788] ppid=18783 vsize=10659884 memory=-8197568871503140225 CPUtime=0.09 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) R 18783 18786 17678 0 -1 4202560 3284 0 0 0 9 0 0 0 20 0 15 0 414827275 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437762720848 140437394429871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827277 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437316555552 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437315503216 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) R 18783 18786 17678 0 -1 4202560 492 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437313399408 140437736360224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) R 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0.02 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) R 18783 18786 17678 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 414827280 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437243290064 140437736857083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) R 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827281 10915721216 7052 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28208 KiB

[startup+0.210535 s]*
/proc/loadavg: 1.81 1.68 1.68 4/228 18801
/proc/meminfo: memFree=24470144/32770624 swapFree=67020140/67108860
[pid=18786] ppid=18783 vsize=10659884 memory=37304 CPUtime=0.32 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 9104 0 0 0 30 2 0 0 20 0 15 0 414827275 10915721216 9326 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2664971 9326 2981 1 0 2627468 0
[pid=18786/tid=18788] ppid=18783 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) R 18783 18786 17678 0 -1 4202560 6105 0 0 0 18 1 0 0 20 0 15 0 414827275 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437762718768 140437758514333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10659884 memory=4050906526784677536 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827277 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437316555552 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437315503216 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 710 0 0 0 3 0 0 0 20 0 15 0 414827280 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) S 18783 18786 17678 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 414827280 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0.05 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 15 0 414827280 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827281 10915721216 9326 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37304 KiB

[startup+0.310134 s]*
/proc/loadavg: 1.81 1.68 1.68 4/228 18801
/proc/meminfo: memFree=24468332/32770624 swapFree=67020140/67108860
[pid=18786] ppid=18783 vsize=10659884 memory=40100 CPUtime=0.46 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 9338 0 0 0 44 2 0 0 20 0 15 0 414827275 10915721216 10025 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2664971 10025 3002 1 0 2627468 0
[pid=18786/tid=18788] ppid=18783 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) S 18783 18786 17678 0 -1 1077944384 6250 0 0 0 28 2 0 0 20 0 15 0 414827275 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437762715088 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10659884 memory=3977718634793395872 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827276 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827277 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437316555552 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414827278 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437315503216 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) R 18783 18786 17678 0 -1 1077944384 718 0 0 0 3 0 0 0 20 0 15 0 414827280 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) R 18783 18786 17678 0 -1 4202560 230 0 0 0 4 0 0 0 20 0 15 0 414827280 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437312346608 140437751477449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0.08 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 414827280 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10659884 memory=140526268180096 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827281 10915721216 10025 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40100 KiB

[startup+0.701384 s]
/proc/loadavg: 1.81 1.68 1.68 3/228 18801
/proc/meminfo: memFree=24457704/32770624 swapFree=67020140/67108860
[pid=18786] ppid=18783 vsize=10661932 memory=63504 CPUtime=1.09 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 12895 0 0 0 105 4 0 0 20 0 15 0 414827275 10917818368 15876 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2665483 15876 3075 1 0 2627980 0
[pid=18786/tid=18788] ppid=18783 vsize=10661932 memory=1844 CPUtime=0.67 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) R 18783 18786 17678 0 -1 4202560 8799 0 0 0 64 3 0 0 20 0 15 0 414827275 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437762709200 140437740055940 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10661932 memory=4964 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10661932 memory=10092 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10661932 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10661932 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827276 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10661932 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827277 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10661932 memory=860 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414827278 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437316555552 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414827278 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437315503216 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10661932 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10661932 memory=7014751519599842897 CPUtime=0.1 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 1027 0 0 0 10 0 0 0 20 0 15 0 414827280 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10661932 memory=6081666446975789422 CPUtime=0.11 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) R 18783 18786 17678 0 -1 4202560 428 0 0 0 11 0 0 0 20 0 15 0 414827280 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437312346608 140437736149748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10661932 memory=5787213857196369745 CPUtime=0.18 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 1283 0 0 0 18 0 0 0 20 0 15 0 414827280 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414827280 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827281 10917818368 15876 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63504 KiB

[startup+1.50077 s]
/proc/loadavg: 1.81 1.68 1.68 3/228 18801
/proc/meminfo: memFree=24441388/32770624 swapFree=67020140/67108860
[pid=18786] ppid=18783 vsize=10663980 memory=75520 CPUtime=1.99 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 18491 0 0 0 194 5 0 0 20 0 15 0 414827275 10919915520 18880 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2665995 18880 3097 1 0 2628492 0
[pid=18786/tid=18788] ppid=18783 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) R 18783 18786 17678 0 -1 4202560 12972 0 0 0 143 4 0 0 20 0 15 0 414827275 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437762724432 140437742572894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414827276 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414827276 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 414827277 10919915520 18880 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0

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

/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 29432 0 0 0 425 129 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.42 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 11777 0 0 0 136 6 0 0 20 0 16 0 414827277 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437316555616 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437315503232 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10748324 memory=776 CPUtime=1.69 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 11979 0 0 0 167 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10748324 memory=1612 CPUtime=1.6 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) S 18783 18786 17678 0 -1 1077944384 10385 0 0 0 158 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10748324 memory=1908 CPUtime=0.71 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 13687 0 0 0 69 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10748324 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.48 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 2129 0 0 0 54 94 0 0 20 0 16 0 414827281 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18802] ppid=18783 vsize=10748324 memory=1844 CPUtime=2313.32 cores=1,3,5,7
/proc/18786/task/18802/stat : 18802 (java) R 18783 18786 17678 0 -1 4202560 192580 0 0 0 231300 32 0 0 20 0 16 0 414827462 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437224516688 140437401421834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 2344.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5817388 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/229 19047
/proc/meminfo: memFree=21127692/32770624 swapFree=67020212/67108860
[pid=18786] ppid=18783 vsize=10748324 memory=5817388 CPUtime=2404.42 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 360386 0 0 0 239790 652 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2687081 1454347 3376 1 0 2647217 0
[pid=18786/tid=18788] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.85 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) S 18783 18786 17678 0 -1 1077944384 15245 0 0 0 180 5 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437762735280 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 14086 0 0 0 424 130 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.53 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 15728 0 0 0 431 122 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.59 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 39145 0 0 0 425 134 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 29432 0 0 0 425 129 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.42 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 11797 0 0 0 136 6 0 0 20 0 16 0 414827277 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437316555616 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437315503232 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.69 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 11988 0 0 0 167 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10748324 memory=2684 CPUtime=1.6 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) S 18783 18786 17678 0 -1 1077944384 10408 0 0 0 158 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10748324 memory=2688 CPUtime=0.72 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 13896 0 0 0 70 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10748324 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.51 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 2203 0 0 0 55 96 0 0 20 0 16 0 414827281 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18802] ppid=18783 vsize=10748324 memory=5817388 CPUtime=2373.33 cores=1,3,5,7
/proc/18786/task/18802/stat : 18802 (java) R 18783 18786 17678 0 -1 4202560 195013 0 0 0 237300 33 0 0 20 0 16 0 414827462 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437224516688 140437401424219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 2404.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5817388 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/229 19051
/proc/meminfo: memFree=21127164/32770624 swapFree=67020212/67108860
[pid=18786] ppid=18783 vsize=10748324 memory=5817388 CPUtime=2464.46 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 361685 0 0 0 245791 655 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2687081 1454347 3376 1 0 2647217 0
[pid=18786/tid=18788] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.85 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) S 18783 18786 17678 0 -1 1077944384 15245 0 0 0 180 5 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437762735280 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 14086 0 0 0 424 130 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.53 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 15728 0 0 0 431 122 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.59 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 39145 0 0 0 425 134 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10748324 memory=5817388 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 29432 0 0 0 425 129 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.42 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 11807 0 0 0 136 6 0 0 20 0 16 0 414827277 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437316555616 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437315503232 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10748324 memory=1736 CPUtime=1.69 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 11991 0 0 0 167 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.6 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) S 18783 18786 17678 0 -1 1077944384 10421 0 0 0 158 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0.72 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 13900 0 0 0 70 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10748324 memory=5817388 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10748324 memory=5817388 CPUtime=1.55 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 2241 0 0 0 56 99 0 0 20 0 16 0 414827281 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18802] ppid=18783 vsize=10748324 memory=5817388 CPUtime=2433.33 cores=1,3,5,7
/proc/18786/task/18802/stat : 18802 (java) R 18783 18786 17678 0 -1 4202560 196244 0 0 0 243300 33 0 0 20 0 16 0 414827462 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437224516688 140437400411646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 2464.46 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5817388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.8 s]
/proc/loadavg: 2.00 2.01 2.01 3/230 19063
/proc/meminfo: memFree=21126580/32770624 swapFree=67020220/67108860
[pid=18786] ppid=18783 vsize=10748324 memory=5817388 CPUtime=2520 cores=1,3,5,7
/proc/18786/stat : 18786 (java) S 18783 18786 17678 0 -1 1077944320 364341 0 0 0 251342 658 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140723665039760 140437758492407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
/proc/18786/statm: 2687081 1454347 3376 1 0 2647217 0
[pid=18786/tid=18788] ppid=18783 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/18786/task/18788/stat : 18788 (java) S 18783 18786 17678 0 -1 1077944384 15245 0 0 0 180 5 0 0 20 0 16 0 414827275 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437762735280 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18789] ppid=18783 vsize=10748324 memory=15080 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18789/stat : 18789 (java) S 18783 18786 17678 0 -1 1077944384 14086 0 0 0 424 130 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437715045264 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18790] ppid=18783 vsize=10748324 memory=9172 CPUtime=5.53 cores=1,3,5,7
/proc/18786/task/18790/stat : 18790 (java) S 18783 18786 17678 0 -1 1077944384 15728 0 0 0 431 122 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437363809040 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18791] ppid=18783 vsize=10748324 memory=2676 CPUtime=5.59 cores=1,3,5,7
/proc/18786/task/18791/stat : 18791 (java) S 18783 18786 17678 0 -1 1077944384 39145 0 0 0 425 134 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437362756752 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18792] ppid=18783 vsize=10748324 memory=13240 CPUtime=5.54 cores=1,3,5,7
/proc/18786/task/18792/stat : 18792 (java) S 18783 18786 17678 0 -1 1077944384 29432 0 0 0 425 129 0 0 20 0 16 0 414827276 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437361703952 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18793] ppid=18783 vsize=10748324 memory=559 CPUtime=1.42 cores=1,3,5,7
/proc/18786/task/18793/stat : 18793 (java) S 18783 18786 17678 0 -1 1077944384 11817 0 0 0 136 6 0 0 20 0 16 0 414827277 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437317609584 140437758503554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18794] ppid=18783 vsize=10748324 memory=554 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18794/stat : 18794 (java) S 18783 18786 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437316555616 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18795] ppid=18783 vsize=10748324 memory=142 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18795/stat : 18795 (java) S 18783 18786 17678 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 414827278 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437315503232 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18796] ppid=18783 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18796/stat : 18796 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437314451536 140437758511003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18797] ppid=18783 vsize=10748324 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/18786/task/18797/stat : 18797 (java) S 18783 18786 17678 0 -1 1077944384 11994 0 0 0 167 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437313399408 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18798] ppid=18783 vsize=10748324 memory=6791534058613427641 CPUtime=1.6 cores=1,3,5,7
/proc/18786/task/18798/stat : 18798 (java) S 18783 18786 17678 0 -1 1077944384 10434 0 0 0 158 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437312346608 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18799] ppid=18783 vsize=10748324 memory=3824 CPUtime=0.72 cores=1,3,5,7
/proc/18786/task/18799/stat : 18799 (java) S 18783 18786 17678 0 -1 1077944384 14070 0 0 0 70 2 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437243292528 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18800] ppid=18783 vsize=10748324 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/18786/task/18800/stat : 18800 (java) S 18783 18786 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414827280 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437242239968 140437758502613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18801] ppid=18783 vsize=10748324 memory=4964 CPUtime=1.59 cores=1,3,5,7
/proc/18786/task/18801/stat : 18801 (java) S 18783 18786 17678 0 -1 1077944384 2279 0 0 0 58 101 0 0 20 0 16 0 414827281 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437241186736 140437758503554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
[pid=18786/tid=18802] ppid=18783 vsize=10748324 memory=10092 CPUtime=2488.82 cores=1,3,5,7
/proc/18786/task/18802/stat : 18802 (java) R 18783 18786 17678 0 -1 4202560 198666 0 0 0 248849 33 0 0 20 0 16 0 414827462 11006283776 1454347 33554432000 4194304 4196468 140723665057216 140437224516688 140437401421390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140723665060875 140723665060978 140723665060978 140723665063887 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 5817388 KiB

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

[startup+2497.83 s]
# the end of solver process 18786 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.43 s, system=6.60947 s

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

Child status: 143
Real time (s): 2497.83
CPU time (s): 2520.04
CPU user time (s): 2513.43
CPU system time (s): 6.60947
CPU usage (%): 100.889
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 5817388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.43
system time used= 6.60947
maximum resident set size= 5819632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60396
involuntary context switches= 908


# summary of solver processes directly reported to runsolver:
#   pid: 18786
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2513.43
#   total CPU system time (s): 6.60947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9759 second user time and 23.6617 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-13 16:38:27
IDJOB=4390995
IDBENCH=138083
IDSOLVER=2832
FILE ID=node150/4390995-1568385546
RUNJOBID= node150-1568380475-17710
PBS_JOBID= 21701821
Free space on /tmp= 54940 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-75.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390995-1568385546/watcher-4390995-1568385546 -o /tmp/evaluation-result-4390995-1568385546/solver-4390995-1568385546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17710 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390995-1568385546.xml -cm

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

MD5SUM BENCH= 9cdf82428becd6b5ad716031980a59d2
RANDOM SEED=1106788758

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24497668 kB
MemAvailable:   31697192 kB
Buffers:          177564 kB
Cached:          7163616 kB
SwapCached:        12980 kB
Active:          1421596 kB
Inactive:        6107212 kB
Active(anon):     152432 kB
Inactive(anon):    59256 kB
Active(file):    1269164 kB
Inactive(file):  6047956 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67020140 kB
Dirty:             91820 kB
Writeback:             0 kB
AnonPages:        284620 kB
Mapped:            50252 kB
Shmem:             15480 kB
Slab:             341724 kB
SReclaimable:     310864 kB
SUnreclaim:        30860 kB
KernelStack:        3712 kB
PageTables:         6104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59260 MiB
End job on node150 at 2019-09-13 17:20:05