Trace number 4391292

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)18 2400.21 2394.54

General information on the benchmark

NameBinPacking/
BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml
MD5SUM9ef2b094cdda1b830103df1ca446c40b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2400.21
Satisfiable
(Un)Satisfiability was proved
Number of variables470
Number of constraints70
Number of domains2
Minimum domain size62
Maximum domain size68
Distribution of domain sizes[{"size":62,"count":469},{"size":68,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":402},{"degree":4,"count":67}]
Minimum constraint arity7
Maximum constraint arity469
Distribution of constraint arities[{"arity":7,"count":67},{"arity":68,"count":1},{"arity":469,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":67},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
3.59/2.33	  Instance
3.59/2.33	    name=instance-4391292-1568391026, framework=COP, bounds=-infty..+infty
3.59/2.33	
3.59/2.33	  Loading variables...
3.93/2.48	  Loading constraints...
6.42/3.63	
6.42/3.63	  Domains
6.42/3.63	    nTypes=2, nValues=29146, sizes=[62#469,68#1]
6.42/3.63	  Variables
6.42/3.63	    count=470, degrees=[2#1,3#12,4#392,5#65]
6.42/3.63	  Objectives
6.42/3.63	    way=max, type=ObjVarGE
6.42/3.63	  Constraints
6.42/3.63	    count=136, nSpecific=136, arities=[1#1,7#67,14#66,68#1,469#1]
6.42/3.63	    distribution=[CardinalityConstant#1,CtrExtensionMDD-MDD#67,ExactlyKVariable#1,LexicographicLe#66,ObjVarGE#1]
6.42/3.63	    nExtStructures=(67,shared:0)
6.42/3.63	    wck=1.785, cpu=3.552, mem=195M551
6.42/3.64	  Solver SolverBacktrack being built...
6.42/3.64	
6.42/3.67	
6.42/3.67	  Solver
6.42/3.67	    guaranteedGAC=true
6.42/3.67	    wck=1.83, cpu=3.596, mem=212M128
7.28/4.02	
7.28/4.02	  Preprocessing
7.28/4.02	    filters=67, nACremovedValues=18760, nTotalRemovedValues=18760, inconcistency=false
7.28/4.02	    wck=0.346, cpu=3.944, mem=224M993
7.28/4.02	
7.81/4.39	    num=0, depth=1..1, filters=292, wck=0.718, mem=224M993
7.81/4.39	    decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.81/4.39	    
8.73/5.17	    num=1, depth=0..0, filters=919, wck=1.498, mem=224M993
8.73/5.17	    decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
8.73/5.17	    
9.44/5.89	    num=2, depth=0..0, filters=1629, wck=2.219, mem=224M993
9.44/5.89	    decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
9.44/5.89	    
10.86/7.27	    num=3, depth=0..0, filters=2680, wck=3.597, mem=224M993
10.86/7.27	    decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
10.86/7.27	    
11.88/8.22	    num=4, depth=0..0, filters=3434, wck=4.552, mem=224M993
11.88/8.22	    decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
11.88/8.22	    
13.48/9.72	    num=5, depth=0..128, filters=4463, wck=6.048, mem=224M993
13.48/9.72	    decisions=280, wrong=76, backtracks=0, failedAssignments=76, nogoods=15
13.48/9.72	    
14.98/11.20	    num=6, depth=0..0, filters=5927, wck=7.534, mem=224M993
14.98/11.20	    decisions=314, wrong=93, backtracks=0, failedAssignments=93, nogoods=15
14.98/11.20	    
17.72/13.92	    num=7, depth=0..0, filters=8198, wck=10.247, mem=224M993
17.72/13.92	    decisions=352, wrong=112, backtracks=0, failedAssignments=112, nogoods=15
17.72/13.92	    
19.64/15.87	    num=8, depth=0..81, filters=9707, wck=12.199, mem=224M993
19.64/15.87	    decisions=475, wrong=133, backtracks=0, failedAssignments=133, nogoods=24
19.64/15.87	    
20.35/16.51	    num=9, depth=0..95, filters=10137, wck=12.838, mem=224M993
20.35/16.51	    decisions=615, wrong=156, backtracks=0, failedAssignments=156, nogoods=34
20.35/16.51	    
20.97/17.13	    num=10, depth=0..95, filters=10603, wck=13.458, mem=224M993
20.97/17.13	    decisions=759, wrong=181, backtracks=0, failedAssignments=181, nogoods=49
20.97/17.13	    
21.81/17.95	    num=11, depth=0..143, filters=11151, wck=14.284, mem=224M993
21.81/17.95	    decisions=954, wrong=209, backtracks=0, failedAssignments=209, nogoods=73
21.81/17.95	    
23.96/20.10	    num=12, depth=0..0, filters=13015, wck=16.426, mem=224M993
23.96/20.10	    decisions=1016, wrong=240, backtracks=0, failedAssignments=240, nogoods=73
23.96/20.10	    
25.99/22.10	    num=13, depth=0..143, filters=14489, wck=18.427, mem=224M993
25.99/22.10	    decisions=1226, wrong=274, backtracks=0, failedAssignments=274, nogoods=91
25.99/22.10	    
29.02/25.01	    num=14, depth=0..0, filters=17088, wck=21.34, mem=224M993
29.02/25.01	    decisions=1300, wrong=311, backtracks=0, failedAssignments=311, nogoods=91
29.02/25.01	    
30.43/26.45	    num=15, depth=0..136, filters=18211, wck=22.776, mem=224M993
30.43/26.45	    decisions=1514, wrong=352, backtracks=0, failedAssignments=352, nogoods=126
30.43/26.45	    
32.06/28.04	    num=16, depth=0..118, filters=19557, wck=24.369, mem=224M993
32.06/28.04	    decisions=1719, wrong=397, backtracks=0, failedAssignments=397, nogoods=158
32.06/28.04	    
32.76/28.78	    num=17, depth=39..167, filters=20012, wck=25.106, mem=224M993
32.76/28.78	    decisions=1980, wrong=449, backtracks=2, failedAssignments=447, nogoods=186
32.76/28.78	    
34.78/30.75	    num=18, depth=0..171, filters=21882, wck=27.078, mem=224M993
34.78/30.75	    decisions=2258, wrong=504, backtracks=2, failedAssignments=502, nogoods=211
34.78/30.75	    
35.69/31.68	    num=19, depth=47..210, filters=22796, wck=28.012, mem=224M993
35.69/31.68	    decisions=2601, wrong=575, backtracks=16, failedAssignments=563, nogoods=255
35.69/31.68	    
36.82/32.75	    num=20, depth=21..186, filters=23680, wck=29.082, mem=229M282
36.82/32.75	    decisions=2916, wrong=644, backtracks=19, failedAssignments=630, nogoods=282
36.82/32.75	    
39.74/35.65	    num=21, depth=0..146, filters=26373, wck=31.981, mem=229M282
39.74/35.65	    decisions=3221, wrong=730, backtracks=33, failedAssignments=704, nogoods=319
39.74/35.65	    
40.75/36.67	    num=22, depth=32..162, filters=27110, wck=33.002, mem=229M282
40.75/36.67	    decisions=3544, wrong=815, backtracks=39, failedAssignments=785, nogoods=362
40.75/36.67	    
42.45/38.33	    num=23, depth=19..177, filters=28569, wck=34.66, mem=229M282
42.45/38.33	    decisions=3939, wrong=927, backtracks=70, failedAssignments=874, nogoods=393
42.45/38.33	    
44.58/40.41	    num=24, depth=0..117, filters=30610, wck=36.738, mem=229M282
44.58/40.41	    decisions=4318, wrong=1064, backtracks=123, failedAssignments=972, nogoods=428
44.58/40.41	    
46.38/42.20	    num=25, depth=11..227, filters=32971, wck=38.533, mem=229M282
46.38/42.20	    decisions=4839, wrong=1220, backtracks=185, failedAssignments=1080, nogoods=461
46.38/42.20	    
47.38/43.26	o 13
47.38/43.26	    num=26, depth=12..469, filters=33646, ccks=136, wck=39.593, mem=229M282
47.38/43.26	    decisions=5161, wrong=1260, backtracks=185, failedAssignments=1120, nogoods=501, foundSolutions=1, bestBound=13
47.38/43.26	    
49.13/44.92	o 14
49.13/44.92	    num=27, depth=11..469, filters=35526, ccks=272, wck=41.248, mem=229M282
49.13/44.92	    decisions=5723, wrong=1417, backtracks=251, failedAssignments=1229, nogoods=537, foundSolutions=2, bestBound=14
49.13/44.92	    
49.25/45.09	    num=28, depth=9..17, filters=35664, ccks=272, wck=41.424, mem=229M282
49.25/45.09	    decisions=5760, wrong=1428, backtracks=251, failedAssignments=1240, nogoods=548, foundSolutions=2, bestBound=14
49.25/45.09	    
49.44/45.28	    num=29, depth=0..36, filters=35795, ccks=272, wck=41.612, mem=229M282
49.44/45.28	    decisions=5815, wrong=1439, backtracks=251, failedAssignments=1251, nogoods=557, foundSolutions=2, bestBound=14
49.44/45.28	    
49.65/45.49	    num=30, depth=0..43, filters=35944, ccks=272, wck=41.822, mem=229M282
49.65/45.49	    decisions=5879, wrong=1451, backtracks=251, failedAssignments=1263, nogoods=565, foundSolutions=2, bestBound=14
49.65/45.49	    
50.26/46.04	    num=31, depth=0..189, filters=36127, ccks=272, wck=42.375, mem=229M282
50.26/46.04	    decisions=6092, wrong=1464, backtracks=251, failedAssignments=1276, nogoods=574, foundSolutions=2, bestBound=14
50.26/46.04	    
50.88/46.67	    num=32, depth=5..193, filters=36475, ccks=272, wck=43.003, mem=229M282
50.88/46.67	    decisions=6318, wrong=1484, backtracks=257, failedAssignments=1290, nogoods=578, foundSolutions=2, bestBound=14
50.88/46.67	    
51.52/47.22	    num=33, depth=4..190, filters=36677, ccks=272, wck=43.553, mem=229M282
51.52/47.22	    decisions=6533, wrong=1500, backtracks=257, failedAssignments=1306, nogoods=594, foundSolutions=2, bestBound=14
51.52/47.22	    
52.04/47.79	    num=34, depth=5..200, filters=36877, ccks=272, wck=44.116, mem=229M282
52.04/47.79	    decisions=6759, wrong=1517, backtracks=257, failedAssignments=1323, nogoods=611, foundSolutions=2, bestBound=14
52.04/47.79	    
52.64/48.34	    num=35, depth=5..201, filters=37070, ccks=272, wck=44.674, mem=229M282
52.64/48.34	    decisions=6988, wrong=1536, backtracks=257, failedAssignments=1342, nogoods=630, foundSolutions=2, bestBound=14
52.64/48.34	    
53.24/48.94	    num=36, depth=5..201, filters=37351, ccks=272, wck=45.272, mem=229M282
53.24/48.94	    decisions=7228, wrong=1563, backtracks=263, failedAssignments=1363, nogoods=648, foundSolutions=2, bestBound=14
53.24/48.94	    
53.95/49.60	    num=37, depth=9..195, filters=37728, ccks=272, wck=45.929, mem=229M282
53.95/49.60	    decisions=7473, wrong=1591, backtracks=268, failedAssignments=1386, nogoods=665, foundSolutions=2, bestBound=14
53.95/49.60	    
54.55/50.27	    num=38, depth=3..200, filters=38063, ccks=272, wck=46.599, mem=229M282
54.55/50.27	    decisions=7720, wrong=1623, backtracks=275, failedAssignments=1411, nogoods=686, foundSolutions=2, bestBound=14
54.55/50.27	    
55.22/50.83	    num=39, depth=11..136, filters=38530, ccks=272, wck=47.163, mem=229M282
55.22/50.83	    decisions=7918, wrong=1661, backtracks=285, failedAssignments=1439, nogoods=697, foundSolutions=2, bestBound=14
55.22/50.83	    
55.82/51.48	    num=40, depth=2..193, filters=38865, ccks=272, wck=47.809, mem=229M282
55.82/51.48	    decisions=8166, wrong=1694, backtracks=287, failedAssignments=1470, nogoods=727, foundSolutions=2, bestBound=14
55.82/51.48	    
56.43/52.07	    num=41, depth=2..137, filters=39368, ccks=272, wck=48.403, mem=229M282
56.43/52.07	    decisions=8371, wrong=1737, backtracks=296, failedAssignments=1504, nogoods=746, foundSolutions=2, bestBound=14
56.43/52.07	    
57.12/52.77	    num=42, depth=3..189, filters=39821, ccks=272, wck=49.1, mem=229M282
57.12/52.77	    decisions=8643, wrong=1787, backtracks=309, failedAssignments=1541, nogoods=762, foundSolutions=2, bestBound=14
57.12/52.77	    
57.95/53.57	    num=43, depth=3..194, filters=40389, ccks=272, wck=49.902, mem=229M282
57.95/53.57	    decisions=8929, wrong=1837, backtracks=318, failedAssignments=1582, nogoods=789, foundSolutions=2, bestBound=14
57.95/53.57	    
59.06/54.65	    num=44, depth=0..141, filters=41237, ccks=272, wck=50.976, mem=229M282
59.06/54.65	    decisions=9171, wrong=1893, backtracks=334, failedAssignments=1627, nogoods=814, foundSolutions=2, bestBound=14
59.06/54.65	    
59.96/55.58	    num=45, depth=1..191, filters=41937, ccks=272, wck=51.908, mem=229M282
59.96/55.58	    decisions=9479, wrong=1957, backtracks=355, failedAssignments=1677, nogoods=839, foundSolutions=2, bestBound=14
59.96/55.58	    
61.06/56.61	    num=46, depth=1..207, filters=42958, ccks=272, wck=52.94, mem=229M282
61.06/56.61	    decisions=9826, wrong=2034, backtracks=380, failedAssignments=1732, nogoods=865, foundSolutions=2, bestBound=14
61.06/56.61	    
62.16/57.70	    num=47, depth=3..216, filters=43915, ccks=272, wck=54.034, mem=229M282
62.16/57.70	    decisions=10184, wrong=2118, backtracks=405, failedAssignments=1793, nogoods=889, foundSolutions=2, bestBound=14
62.16/57.70	    
63.36/58.99	o 15
63.36/58.99	    num=48, depth=1..469, filters=45054, ccks=408, wck=55.319, mem=229M282
63.36/58.99	    decisions=10578, wrong=2197, backtracks=420, failedAssignments=1858, nogoods=935, foundSolutions=3, bestBound=15
63.36/58.99	    
64.79/60.31	    num=49, depth=1..213, filters=46098, ccks=408, wck=56.638, mem=229M282
64.79/60.31	    decisions=11001, wrong=2309, backtracks=460, failedAssignments=1932, nogoods=958, foundSolutions=3, bestBound=15
64.79/60.31	    
64.89/60.41	    num=50, depth=3..22, filters=46186, ccks=408, wck=56.742, mem=229M282
64.89/60.41	    decisions=11039, wrong=2320, backtracks=460, failedAssignments=1943, nogoods=969, foundSolutions=3, bestBound=15
64.89/60.41	    
64.99/60.54	    num=51, depth=0..21, filters=46299, ccks=408, wck=56.869, mem=229M282
64.99/60.54	    decisions=11080, wrong=2332, backtracks=460, failedAssignments=1955, nogoods=979, foundSolutions=3, bestBound=15
64.99/60.54	    
65.70/61.22	    num=52, depth=0..205, filters=46612, ccks=408, wck=57.551, mem=229M282
65.70/61.22	    decisions=11317, wrong=2351, backtracks=466, failedAssignments=1968, nogoods=982, foundSolutions=3, bestBound=15
65.70/61.22	    
66.41/61.93	    num=53, depth=8..203, filters=47008, ccks=408, wck=58.264, mem=229M282
66.41/61.93	    decisions=11555, wrong=2371, backtracks=472, failedAssignments=1982, nogoods=988, foundSolutions=3, bestBound=15
66.41/61.93	    
66.82/62.36	    num=54, depth=7..63, filters=47406, ccks=408, wck=58.689, mem=229M282
66.82/62.36	    decisions=11658, wrong=2394, backtracks=479, failedAssignments=1998, nogoods=995, foundSolutions=3, bestBound=15
66.82/62.36	    
67.92/63.47	    num=55, depth=10..162, filters=48102, ccks=408, wck=59.8, mem=229M282
67.92/63.47	    decisions=11851, wrong=2411, backtracks=479, failedAssignments=2015, nogoods=1012, foundSolutions=3, bestBound=15
67.92/63.47	    
68.92/64.45	    num=56, depth=51..60, filters=48832, ccks=408, wck=60.782, mem=229M282
68.92/64.45	    decisions=11961, wrong=2436, backtracks=485, failedAssignments=2034, nogoods=1028, foundSolutions=3, bestBound=15
68.92/64.45	    
69.72/65.29	    num=57, depth=10..193, filters=49372, ccks=408, wck=61.623, mem=229M282
69.72/65.29	    decisions=12192, wrong=2457, backtracks=485, failedAssignments=2055, nogoods=1049, foundSolutions=3, bestBound=15
69.72/65.29	    
70.16/65.68	    num=58, depth=5..71, filters=49723, ccks=408, wck=62.009, mem=229M282
70.16/65.68	    decisions=12313, wrong=2484, backtracks=490, failedAssignments=2078, nogoods=1069, foundSolutions=3, bestBound=15
70.16/65.68	    
71.06/66.55	    num=59, depth=2..199, filters=50331, ccks=408, wck=62.879, mem=229M282
71.06/66.55	    decisions=12556, wrong=2509, backtracks=490, failedAssignments=2103, nogoods=1094, foundSolutions=3, bestBound=15
71.06/66.55	    
71.96/67.46	    num=60, depth=2..211, filters=51020, ccks=408, wck=63.791, mem=229M282
71.96/67.46	    decisions=12819, wrong=2539, backtracks=492, failedAssignments=2131, nogoods=1120, foundSolutions=3, bestBound=15
71.96/67.46	    
72.78/68.29	    num=61, depth=2..217, filters=51545, ccks=408, wck=64.625, mem=229M282
72.78/68.29	    decisions=13103, wrong=2577, backtracks=505, failedAssignments=2162, nogoods=1139, foundSolutions=3, bestBound=15
72.78/68.29	    
73.88/69.30	    num=62, depth=2..214, filters=52245, ccks=408, wck=65.63, mem=229M282
73.88/69.30	    decisions=13408, wrong=2629, backtracks=526, failedAssignments=2196, nogoods=1153, foundSolutions=3, bestBound=15
73.88/69.30	    
74.78/70.27	    num=63, depth=2..208, filters=52925, ccks=408, wck=66.597, mem=229M282
74.78/70.27	    decisions=13703, wrong=2677, backtracks=542, failedAssignments=2233, nogoods=1167, foundSolutions=3, bestBound=15
74.78/70.27	    
75.88/71.30	    num=64, depth=2..215, filters=53759, ccks=408, wck=67.631, mem=229M282
75.88/71.30	    decisions=14006, wrong=2729, backtracks=563, failedAssignments=2274, nogoods=1185, foundSolutions=3, bestBound=15
75.88/71.30	    
76.69/72.14	o 16
76.69/72.14	    num=65, depth=3..469, filters=54188, ccks=544, wck=68.473, mem=229M282
76.69/72.14	    decisions=14334, wrong=2768, backtracks=565, failedAssignments=2311, nogoods=1222, foundSolutions=4, bestBound=16
76.69/72.14	    
77.89/73.28	    num=66, depth=1..202, filters=55132, ccks=544, wck=69.614, mem=229M282
77.89/73.28	    decisions=14687, wrong=2849, backtracks=596, failedAssignments=2361, nogoods=1243, foundSolutions=4, bestBound=16
77.89/73.28	    
78.19/73.58	    num=67, depth=53..59, filters=55311, ccks=544, wck=69.912, mem=229M282
78.19/73.58	    decisions=14771, wrong=2862, backtracks=600, failedAssignments=2372, nogoods=1252, foundSolutions=4, bestBound=16
78.19/73.58	    
78.80/74.15	    num=68, depth=4..196, filters=55507, ccks=544, wck=70.479, mem=229M282
78.80/74.15	    decisions=14987, wrong=2876, backtracks=602, failedAssignments=2384, nogoods=1263, foundSolutions=4, bestBound=16
78.80/74.15	    
79.29/74.68	    num=69, depth=4..195, filters=55674, ccks=544, wck=71.014, mem=229M282
79.29/74.68	    decisions=15201, wrong=2889, backtracks=602, failedAssignments=2397, nogoods=1276, foundSolutions=4, bestBound=16
79.29/74.68	    
79.99/75.31	    num=70, depth=4..198, filters=55947, ccks=544, wck=71.636, mem=229M282
79.99/75.31	    decisions=15428, wrong=2908, backtracks=607, failedAssignments=2411, nogoods=1283, foundSolutions=4, bestBound=16
79.99/75.31	    
80.49/75.86	    num=71, depth=1..192, filters=56134, ccks=544, wck=72.194, mem=229M282
80.49/75.86	    decisions=15645, wrong=2924, backtracks=607, failedAssignments=2427, nogoods=1299, foundSolutions=4, bestBound=16
80.49/75.86	    
80.80/76.15	    num=72, depth=5..57, filters=56317, ccks=544, wck=72.481, mem=229M282
80.80/76.15	    decisions=15736, wrong=2942, backtracks=608, failedAssignments=2444, nogoods=1305, foundSolutions=4, bestBound=16
80.80/76.15	    
81.49/76.82	    num=73, depth=1..195, filters=56670, ccks=544, wck=73.15, mem=229M282
81.49/76.82	    decisions=15973, wrong=2966, backtracks=613, failedAssignments=2463, nogoods=1318, foundSolutions=4, bestBound=16
81.49/76.82	    
82.19/77.50	    num=74, depth=5..196, filters=57057, ccks=544, wck=73.827, mem=229M282
82.19/77.50	    decisions=16214, wrong=2993, backtracks=619, failedAssignments=2484, nogoods=1330, foundSolutions=4, bestBound=16
82.19/77.50	    
82.90/78.21	    num=75, depth=1..199, filters=57433, ccks=544, wck=74.54, mem=229M282
82.90/78.21	    decisions=16463, wrong=3024, backtracks=627, failedAssignments=2507, nogoods=1346, foundSolutions=4, bestBound=16
82.90/78.21	    
83.50/78.87	    num=76, depth=2..201, filters=57763, ccks=544, wck=75.2, mem=229M282
83.50/78.87	    decisions=16714, wrong=3054, backtracks=632, failedAssignments=2532, nogoods=1354, foundSolutions=4, bestBound=16
83.50/78.87	    
84.30/79.63	    num=77, depth=3..199, filters=58291, ccks=544, wck=75.961, mem=229M282
84.30/79.63	    decisions=16977, wrong=3092, backtracks=642, failedAssignments=2560, nogoods=1366, foundSolutions=4, bestBound=16
84.30/79.63	    
85.10/80.43	    num=78, depth=1..196, filters=58858, ccks=544, wck=76.76, mem=229M282
85.10/80.43	    decisions=17252, wrong=3133, backtracks=652, failedAssignments=2591, nogoods=1384, foundSolutions=4, bestBound=16
85.10/80.43	    
86.00/81.34	    num=79, depth=1..194, filters=59598, ccks=544, wck=77.673, mem=229M282
86.00/81.34	    decisions=17540, wrong=3185, backtracks=670, failedAssignments=2625, nogoods=1395, foundSolutions=4, bestBound=16
86.00/81.34	    
86.90/82.21	    num=80, depth=7..203, filters=60193, ccks=544, wck=78.542, mem=229M282
86.90/82.21	    decisions=17838, wrong=3237, backtracks=685, failedAssignments=2662, nogoods=1406, foundSolutions=4, bestBound=16
86.90/82.21	    
87.90/83.21	    num=81, depth=3..210, filters=60951, ccks=544, wck=79.537, mem=229M282
87.90/83.21	    decisions=18155, wrong=3295, backtracks=702, failedAssignments=2703, nogoods=1425, foundSolutions=4, bestBound=16
87.90/83.21	    
88.71/84.07	    num=82, depth=48..56, filters=61755, ccks=544, wck=80.403, mem=229M282
88.71/84.07	    decisions=18321, wrong=3352, backtracks=716, failedAssignments=2748, nogoods=1444, foundSolutions=4, bestBound=16
88.71/84.07	    
89.81/85.15	    num=83, depth=1..190, filters=62680, ccks=544, wck=81.476, mem=229M282
89.81/85.15	    decisions=18638, wrong=3420, backtracks=734, failedAssignments=2798, nogoods=1474, foundSolutions=4, bestBound=16
89.81/85.15	    
90.90/86.27	    num=84, depth=4..180, filters=63825, ccks=544, wck=82.6, mem=229M282
90.90/86.27	    decisions=18975, wrong=3499, backtracks=758, failedAssignments=2853, nogoods=1488, foundSolutions=4, bestBound=16
90.90/86.27	    
92.00/87.36	    num=85, depth=62..73, filters=65425, ccks=544, wck=83.69, mem=229M282
92.00/87.36	    decisions=19225, wrong=3590, backtracks=789, failedAssignments=2914, nogoods=1508, foundSolutions=4, bestBound=16
92.00/87.36	    
93.01/88.32	    num=86, depth=1..177, filters=66229, ccks=544, wck=84.65, mem=229M282
93.01/88.32	    decisions=19535, wrong=3663, backtracks=795, failedAssignments=2981, nogoods=1552, foundSolutions=4, bestBound=16
93.01/88.32	    
94.01/89.36	    num=87, depth=1..208, filters=67150, ccks=544, wck=85.686, mem=229M282
94.01/89.36	    decisions=19892, wrong=3744, backtracks=802, failedAssignments=3055, nogoods=1606, foundSolutions=4, bestBound=16
94.01/89.36	    
95.31/90.62	    num=88, depth=1..210, filters=68403, ccks=544, wck=86.95, mem=229M282
95.31/90.62	    decisions=20301, wrong=3856, backtracks=833, failedAssignments=3136, nogoods=1633, foundSolutions=4, bestBound=16
95.31/90.62	    
96.21/91.55	o 17
96.21/91.55	    num=89, depth=1..469, filters=69188, ccks=680, wck=87.883, mem=229M282
96.21/91.55	    decisions=20645, wrong=3913, backtracks=838, failedAssignments=3188, nogoods=1683, foundSolutions=5, bestBound=17
96.21/91.55	    
97.53/92.86	    num=90, depth=1..195, filters=70817, ccks=680, wck=89.194, mem=229M282
97.53/92.86	    decisions=21075, wrong=4033, backtracks=861, failedAssignments=3286, nogoods=1737, foundSolutions=5, bestBound=17
97.53/92.86	    
97.84/93.19	    num=91, depth=2..72, filters=71090, ccks=680, wck=89.522, mem=229M282
97.84/93.19	    decisions=21170, wrong=4045, backtracks=862, failedAssignments=3297, nogoods=1748, foundSolutions=5, bestBound=17
97.84/93.19	    
97.93/93.30	    num=92, depth=1..12, filters=71199, ccks=680, wck=89.626, mem=229M282
97.93/93.30	    decisions=21199, wrong=4057, backtracks=862, failedAssignments=3309, nogoods=1760, foundSolutions=5, bestBound=17
97.93/93.30	    
98.03/93.39	    num=93, depth=0..12, filters=71295, ccks=680, wck=89.723, mem=229M282
98.03/93.39	    decisions=21230, wrong=4070, backtracks=862, failedAssignments=3322, nogoods=1771, foundSolutions=5, bestBound=17
98.03/93.39	    
98.43/93.79	    num=94, depth=0..134, filters=71445, ccks=680, wck=90.12, mem=229M282
98.43/93.79	    decisions=21385, wrong=4084, backtracks=862, failedAssignments=3336, nogoods=1784, foundSolutions=5, bestBound=17
98.43/93.79	    
98.93/94.27	    num=95, depth=1..131, filters=71740, ccks=680, wck=90.603, mem=229M282
98.93/94.27	    decisions=21548, wrong=4102, backtracks=865, failedAssignments=3352, nogoods=1791, foundSolutions=5, bestBound=17
98.93/94.27	    
99.43/94.75	    num=96, depth=1..130, filters=72029, ccks=680, wck=91.085, mem=229M282
99.43/94.75	    decisions=21710, wrong=4119, backtracks=865, failedAssignments=3369, nogoods=1808, foundSolutions=5, bestBound=17
99.43/94.75	    
100.23/95.57	    num=97, depth=0..51, filters=72694, ccks=680, wck=91.899, mem=229M282
100.23/95.57	    decisions=21798, wrong=4140, backtracks=867, failedAssignments=3388, nogoods=1825, foundSolutions=5, bestBound=17
100.23/95.57	    
100.84/96.19	    num=98, depth=2..133, filters=73266, ccks=680, wck=92.518, mem=229M282
100.84/96.19	    decisions=21985, wrong=4169, backtracks=875, failedAssignments=3409, nogoods=1836, foundSolutions=5, bestBound=17
100.84/96.19	    
101.53/96.89	    num=99, depth=2..131, filters=73916, ccks=680, wck=93.22, mem=229M282
101.53/96.89	    decisions=22182, wrong=4203, backtracks=886, failedAssignments=3432, nogoods=1844, foundSolutions=5, bestBound=17
101.53/96.89	    
102.33/97.63	    num=100, depth=3..149, filters=74537, ccks=680, wck=93.958, mem=229M282
102.33/97.63	    decisions=22390, wrong=4234, backtracks=892, failedAssignments=3457, nogoods=1855, foundSolutions=5, bestBound=17
102.33/97.63	    
103.33/98.64	    num=101, depth=3..149, filters=75428, ccks=680, wck=94.966, mem=229M282
103.33/98.64	    decisions=22636, wrong=4284, backtracks=914, failedAssignments=3485, nogoods=1859, foundSolutions=5, bestBound=17
103.33/98.64	    
104.03/99.39	    num=102, depth=1..151, filters=75894, ccks=680, wck=95.72, mem=233M570
104.03/99.39	    decisions=22846, wrong=4317, backtracks=916, failedAssignments=3516, nogoods=1879, foundSolutions=5, bestBound=17
104.03/99.39	    
104.94/100.21	    num=103, depth=1..165, filters=76575, ccks=680, wck=96.537, mem=233M570
104.94/100.21	    decisions=23089, wrong=4364, backtracks=931, failedAssignments=3550, nogoods=1902, foundSolutions=5, bestBound=17
104.94/100.21	    
106.07/101.33	    num=104, depth=1..151, filters=77524, ccks=680, wck=97.659, mem=233M570
106.07/101.33	    decisions=23348, wrong=4423, backtracks=953, failedAssignments=3587, nogoods=1919, foundSolutions=5, bestBound=17
106.07/101.33	    
107.37/102.69	    num=105, depth=150..165, filters=78787, ccks=680, wck=99.019, mem=233M570
107.37/102.69	    decisions=23633, wrong=4488, backtracks=980, failedAssignments=3628, nogoods=1925, foundSolutions=5, bestBound=17
107.37/102.69	    
108.57/103.87	    num=106, depth=1..161, filters=79778, ccks=680, wck=100.203, mem=233M570
108.57/103.87	    decisions=23892, wrong=4539, backtracks=987, failedAssignments=3673, nogoods=1943, foundSolutions=5, bestBound=17
108.57/103.87	    
109.57/104.86	    num=107, depth=2..170, filters=80574, ccks=680, wck=101.187, mem=233M570
109.57/104.86	    decisions=24171, wrong=4598, backtracks=997, failedAssignments=3723, nogoods=1972, foundSolutions=5, bestBound=17
109.57/104.86	    
110.69/105.93	    num=108, depth=1..57, filters=81476, ccks=680, wck=102.262, mem=233M570
110.69/105.93	    decisions=24354, wrong=4662, backtracks=1006, failedAssignments=3778, nogoods=1999, foundSolutions=5, bestBound=17
110.69/105.93	    
112.41/107.67	    num=109, depth=1..168, filters=83510, ccks=680, wck=103.999, mem=233M570
112.41/107.67	    decisions=24794, wrong=4801, backtracks=1084, failedAssignments=3839, nogoods=2010, foundSolutions=5, bestBound=17
112.41/107.67	    
114.02/109.29	    num=110, depth=2..173, filters=85972, ccks=680, wck=105.615, mem=233M570
114.02/109.29	    decisions=25185, wrong=4914, backtracks=1130, failedAssignments=3906, nogoods=2024, foundSolutions=5, bestBound=17
114.02/109.29	    
115.62/110.84	    num=111, depth=1..171, filters=87339, ccks=680, wck=107.17, mem=233M570
115.62/110.84	    decisions=25522, wrong=5002, backtracks=1146, failedAssignments=3980, nogoods=2046, foundSolutions=5, bestBound=17
115.62/110.84	    
117.52/112.74	    num=112, depth=2..183, filters=89566, ccks=680, wck=109.067, mem=233M570
117.52/112.74	    decisions=26009, wrong=5159, backtracks=1223, failedAssignments=4061, nogoods=2059, foundSolutions=5, bestBound=17
117.52/112.74	    
119.12/114.38	    num=113, depth=3..178, filters=91487, ccks=680, wck=110.706, mem=233M570
119.12/114.38	    decisions=26402, wrong=5270, backtracks=1251, failedAssignments=4150, nogoods=2070, foundSolutions=5, bestBound=17
119.12/114.38	    
120.84/116.05	    num=114, depth=3..166, filters=92984, ccks=680, wck=112.376, mem=233M570
120.84/116.05	    decisions=26853, wrong=5422, backtracks=1321, failedAssignments=4248, nogoods=2080, foundSolutions=5, bestBound=17
120.84/116.05	    
122.33/117.50	    num=115, depth=78..88, filters=95406, ccks=680, wck=113.829, mem=233M570
122.33/117.50	    decisions=27294, wrong=5603, backtracks=1394, failedAssignments=4356, nogoods=2086, foundSolutions=5, bestBound=17
122.33/117.50	    
124.84/120.05	    num=116, depth=5..184, filters=98831, ccks=680, wck=116.378, mem=233M570
124.84/120.05	    decisions=27877, wrong=5809, backtracks=1491, failedAssignments=4475, nogoods=2098, foundSolutions=5, bestBound=17
124.84/120.05	    
129.03/124.20	    num=117, depth=2..128, filters=101957, ccks=680, wck=120.528, mem=233M570
129.03/124.20	    decisions=28461, wrong=6041, backtracks=1612, failedAssignments=4606, nogoods=2166, foundSolutions=5, bestBound=17
129.03/124.20	    
130.84/126.06	    num=118, depth=2..169, filters=103838, ccks=680, wck=122.392, mem=233M570
130.84/126.06	    decisions=28992, wrong=6228, backtracks=1685, failedAssignments=4750, nogoods=2195, foundSolutions=5, bestBound=17
130.84/126.06	    
131.95/127.14	o 18
131.95/127.14	    num=119, depth=2..469, filters=104700, ccks=816, wck=123.475, mem=233M570
131.95/127.14	    decisions=29318, wrong=6279, backtracks=1705, failedAssignments=4781, nogoods=2211, foundSolutions=6, bestBound=18
131.95/127.14	    
136.36/131.56	    num=120, depth=157..194, filters=109470, ccks=816, wck=127.887, mem=233M570
136.36/131.56	    decisions=30329, wrong=6693, backtracks=1981, failedAssignments=4955, nogoods=2219, foundSolutions=6, bestBound=18
136.36/131.56	    
136.87/132.09	    num=121, depth=2..181, filters=109675, ccks=816, wck=128.421, mem=233M570
136.87/132.09	    decisions=30530, wrong=6704, backtracks=1981, failedAssignments=4966, nogoods=2230, foundSolutions=6, bestBound=18
136.87/132.09	    
137.46/132.64	    num=122, depth=1..180, filters=109920, ccks=816, wck=128.969, mem=233M570
137.46/132.64	    decisions=30735, wrong=6719, backtracks=1984, failedAssignments=4978, nogoods=2240, foundSolutions=6, bestBound=18
137.46/132.64	    
137.97/133.15	    num=123, depth=2..176, filters=110114, ccks=816, wck=129.483, mem=233M570
137.97/133.15	    decisions=30937, wrong=6737, backtracks=1989, failedAssignments=4991, nogoods=2247, foundSolutions=6, bestBound=18
137.97/133.15	    
138.36/133.58	    num=124, depth=1..115, filters=110403, ccks=816, wck=129.908, mem=233M570
138.36/133.58	    decisions=31082, wrong=6754, backtracks=1992, failedAssignments=5005, nogoods=2258, foundSolutions=6, bestBound=18
138.36/133.58	    
138.97/134.16	    num=125, depth=2..177, filters=110683, ccks=816, wck=130.493, mem=233M570
138.97/134.16	    decisions=31296, wrong=6777, backtracks=1999, failedAssignments=5021, nogoods=2265, foundSolutions=6, bestBound=18
138.97/134.16	    
139.67/134.87	    num=126, depth=3..173, filters=111158, ccks=816, wck=131.196, mem=233M570
139.67/134.87	    decisions=31520, wrong=6804, backtracks=2009, failedAssignments=5038, nogoods=2271, foundSolutions=6, bestBound=18
139.67/134.87	    
140.27/135.49	    num=127, depth=2..184, filters=111480, ccks=816, wck=131.821, mem=233M570
140.27/135.49	    decisions=31747, wrong=6831, backtracks=2017, failedAssignments=5057, nogoods=2279, foundSolutions=6, bestBound=18
140.27/135.49	    
140.77/135.99	    num=128, depth=95..111, filters=111929, ccks=816, wck=132.322, mem=233M570
140.77/135.99	    decisions=31905, wrong=6857, backtracks=2022, failedAssignments=5078, nogoods=2290, foundSolutions=6, bestBound=18
140.77/135.99	    
141.27/136.45	    num=129, depth=81..102, filters=112394, ccks=816, wck=132.776, mem=233M570
141.27/136.45	    decisions=32054, wrong=6881, backtracks=2023, failedAssignments=5101, nogoods=2306, foundSolutions=6, bestBound=18
141.27/136.45	    
141.77/136.92	    num=130, depth=60..66, filters=112977, ccks=816, wck=133.25, mem=233M570
141.77/136.92	    decisions=32197, wrong=6921, backtracks=2038, failedAssignments=5126, nogoods=2312, foundSolutions=6, bestBound=18
141.77/136.92	    
142.47/137.66	    num=131, depth=3..184, filters=113512, ccks=816, wck=133.988, mem=233M570
142.47/137.66	    decisions=32448, wrong=6962, backtracks=2051, failedAssignments=5154, nogoods=2319, foundSolutions=6, bestBound=18
142.47/137.66	    
143.17/138.39	    num=132, depth=2..163, filters=114249, ccks=816, wck=134.719, mem=233M570
143.17/138.39	    decisions=32709, wrong=7016, backtracks=2082, failedAssignments=5185, nogoods=2330, foundSolutions=6, bestBound=18
143.17/138.39	    
143.88/139.09	    num=133, depth=2..166, filters=114704, ccks=816, wck=135.423, mem=233M570
143.88/139.09	    decisions=32962, wrong=7062, backtracks=2101, failedAssignments=5219, nogoods=2341, foundSolutions=6, bestBound=18
143.88/139.09	    
144.78/139.99	    num=134, depth=1..181, filters=115466, ccks=816, wck=136.319, mem=233M570
144.78/139.99	    decisions=33233, wrong=7111, backtracks=2113, failedAssignments=5256, nogoods=2361, foundSolutions=6, bestBound=18
144.78/139.99	    
145.58/140.77	    num=135, depth=1..170, filters=116093, ccks=816, wck=137.103, mem=233M570
145.58/140.77	    decisions=33512, wrong=7169, backtracks=2146, failedAssignments=5297, nogoods=2373, foundSolutions=6, bestBound=18
145.58/140.77	    
146.69/141.80	    num=136, depth=168..185, filters=116934, ccks=816, wck=138.129, mem=233M570
146.69/141.80	    decisions=33830, wrong=7239, backtracks=2179, failedAssignments=5342, nogoods=2383, foundSolutions=6, bestBound=18
146.69/141.80	    
147.59/142.79	    num=137, depth=3..199, filters=117798, ccks=816, wck=139.12, mem=233M570
147.59/142.79	    decisions=34157, wrong=7313, backtracks=2203, failedAssignments=5392, nogoods=2388, foundSolutions=6, bestBound=18
147.59/142.79	    
148.39/143.51	    num=138, depth=85..113, filters=118646, ccks=816, wck=139.837, mem=233M570
148.39/143.51	    decisions=34403, wrong=7387, backtracks=2222, failedAssignments=5447, nogoods=2400, foundSolutions=6, bestBound=18
148.39/143.51	    
149.90/145.01	    num=139, depth=68..77, filters=120938, ccks=816, wck=141.339, mem=233M570
149.90/145.01	    decisions=34683, wrong=7490, backtracks=2264, failedAssignments=5508, nogoods=2415, foundSolutions=6, bestBound=18
149.90/145.01	    
151.40/146.55	    num=140, depth=1..153, filters=123281, ccks=816, wck=142.882, mem=233M570
151.40/146.55	    decisions=35049, wrong=7600, backtracks=2307, failedAssignments=5575, nogoods=2428, foundSolutions=6, bestBound=18
151.40/146.55	    
153.01/148.17	    num=141, depth=1..168, filters=125770, ccks=816, wck=144.504, mem=233M570
153.01/148.17	    decisions=35444, wrong=7717, backtracks=2350, failedAssignments=5649, nogoods=2438, foundSolutions=6, bestBound=18
153.01/148.17	    
154.80/149.92	    num=142, depth=2..183, filters=127778, ccks=816, wck=146.25, mem=233M570
154.80/149.92	    decisions=35835, wrong=7824, backtracks=2377, failedAssignments=5730, nogoods=2457, foundSolutions=6, bestBound=18
154.80/149.92	    
156.30/151.44	    num=143, depth=2..183, filters=129360, ccks=816, wck=147.766, mem=233M570
156.30/151.44	    decisions=36213, wrong=7924, backtracks=2389, failedAssignments=5819, nogoods=2467, foundSolutions=6, bestBound=18
156.30/151.44	    
158.60/153.78	    num=144, depth=175..182, filters=131808, ccks=816, wck=150.108, mem=233M570
158.60/153.78	    decisions=36684, wrong=8070, backtracks=2439, failedAssignments=5917, nogoods=2474, foundSolutions=6, bestBound=18
158.60/153.78	    
160.20/155.36	    num=145, depth=2..191, filters=133403, ccks=816, wck=151.687, mem=233M570
160.20/155.36	    decisions=37274, wrong=8279, backtracks=2562, failedAssignments=6025, nogoods=2498, foundSolutions=6, bestBound=18
160.20/155.36	    
163.20/158.32	    num=146, depth=64..71, filters=137040, ccks=816, wck=154.652, mem=233M570
163.20/158.32	    decisions=37697, wrong=8456, backtracks=2623, failedAssignments=6144, nogoods=2510, foundSolutions=6, bestBound=18
163.20/158.32	    
165.21/160.34	    num=147, depth=2..214, filters=139395, ccks=816, wck=156.671, mem=233M570
165.21/160.34	    decisions=38283, wrong=8648, backtracks=2689, failedAssignments=6275, nogoods=2541, foundSolutions=6, bestBound=18
165.21/160.34	    
167.61/162.70	    num=148, depth=1..192, filters=142313, ccks=816, wck=159.033, mem=233M570
167.61/162.70	    decisions=38896, wrong=8864, backtracks=2769, failedAssignments=6419, nogoods=2589, foundSolutions=6, bestBound=18
167.61/162.70	    
169.61/164.71	    num=149, depth=57..63, filters=144760, ccks=816, wck=161.04, mem=233M570
169.61/164.71	    decisions=39340, wrong=9056, backtracks=2808, failedAssignments=6577, nogoods=2602, foundSolutions=6, bestBound=18
169.61/164.71	    
172.11/167.27	    num=150, depth=3..163, filters=147734, ccks=816, wck=163.597, mem=233M570
172.11/167.27	    decisions=39955, wrong=9284, backtracks=2872, failedAssignments=6751, nogoods=2632, foundSolutions=6, bestBound=18
172.11/167.27	    
175.02/170.19	    num=151, depth=2..184, filters=151415, ccks=816, wck=166.518, mem=233M570
175.02/170.19	    decisions=40722, wrong=9583, backtracks=3046, failedAssignments=6942, nogoods=2661, foundSolutions=6, bestBound=18
175.02/170.19	    
178.32/173.40	    num=152, depth=161..177, filters=155927, ccks=816, wck=169.731, mem=233M570
178.32/173.40	    decisions=41546, wrong=9907, backtracks=3159, failedAssignments=7153, nogoods=2675, foundSolutions=6, bestBound=18
178.32/173.40	    
181.32/176.45	    num=153, depth=4..169, filters=159951, ccks=816, wck=172.775, mem=233M570
181.32/176.45	    decisions=42381, wrong=10248, backtracks=3268, failedAssignments=7385, nogoods=2689, foundSolutions=6, bestBound=18
181.32/176.45	    
184.32/179.42	    num=154, depth=1..180, filters=163546, ccks=816, wck=175.747, mem=233M570
184.32/179.42	    decisions=43200, wrong=10582, backtracks=3355, failedAssignments=7640, nogoods=2722, foundSolutions=6, bestBound=18
184.32/179.42	    
187.32/182.48	    num=155, depth=59..72, filters=167591, ccks=816, wck=178.81, mem=233M570
187.32/182.48	    decisions=44020, wrong=10958, backtracks=3454, failedAssignments=7921, nogoods=2752, foundSolutions=6, bestBound=18
187.32/182.48	    
191.73/186.88	    num=156, depth=1..179, filters=171804, ccks=816, wck=183.21, mem=233M570
191.73/186.88	    decisions=44995, wrong=11364, backtracks=3607, failedAssignments=8230, nogoods=2793, foundSolutions=6, bestBound=18
191.73/186.88	    
196.83/191.92	    num=157, depth=1..182, filters=178807, ccks=816, wck=188.25, mem=233M570
196.83/191.92	    decisions=46142, wrong=11850, backtracks=3773, failedAssignments=8570, nogoods=2818, foundSolutions=6, bestBound=18
196.83/191.92	    
202.73/197.81	    num=158, depth=1..177, filters=186608, ccks=816, wck=194.141, mem=233M570
202.73/197.81	    decisions=47470, wrong=12432, backtracks=4025, failedAssignments=8944, nogoods=2852, foundSolutions=6, bestBound=18
202.73/197.81	    
206.83/201.93	    num=159, depth=38..56, filters=191459, ccks=816, wck=198.262, mem=233M570
206.83/201.93	    decisions=48471, wrong=12908, backtracks=4093, failedAssignments=9355, nogoods=2887, foundSolutions=6, bestBound=18
206.83/201.93	    
210.23/205.35	    num=160, depth=4..144, filters=195276, ccks=816, wck=201.676, mem=233M570
210.23/205.35	    decisions=49558, wrong=13384, backtracks=4141, failedAssignments=9807, nogoods=2958, foundSolutions=6, bestBound=18
210.23/205.35	    
217.33/212.43	    num=161, depth=1..179, filters=205275, ccks=816, wck=208.763, mem=233M570
217.33/212.43	    decisions=51367, wrong=14217, backtracks=4490, failedAssignments=10304, nogoods=2976, foundSolutions=6, bestBound=18
217.33/212.43	    
225.35/220.47	    num=162, depth=3..187, filters=216716, ccks=816, wck=216.796, mem=233M570
225.35/220.47	    decisions=53332, wrong=15120, backtracks=4846, failedAssignments=10851, nogoods=2984, foundSolutions=6, bestBound=18
225.35/220.47	    
232.85/227.92	    num=163, depth=1..186, filters=227077, ccks=816, wck=224.245, mem=233M570
232.85/227.92	    decisions=55170, wrong=15966, backtracks=5113, failedAssignments=11453, nogoods=3008, foundSolutions=6, bestBound=18
232.85/227.92	    
242.85/237.96	    num=164, depth=47..61, filters=239238, ccks=816, wck=234.294, mem=233M570
242.85/237.96	    decisions=57156, wrong=16933, backtracks=5561, failedAssignments=12115, nogoods=3017, foundSolutions=6, bestBound=18
242.85/237.96	    
252.97/248.08	    num=165, depth=2..210, filters=254085, ccks=816, wck=244.407, mem=233M570
252.97/248.08	    decisions=59565, wrong=18048, backtracks=5962, failedAssignments=12843, nogoods=3035, foundSolutions=6, bestBound=18
252.97/248.08	    
260.47/255.55	    num=166, depth=51..71, filters=261865, ccks=816, wck=251.879, mem=233M570
260.47/255.55	    decisions=61557, wrong=19013, backtracks=6190, failedAssignments=13644, nogoods=3056, foundSolutions=6, bestBound=18
260.47/255.55	    
271.57/266.69	    num=167, depth=1..176, filters=275046, ccks=816, wck=263.023, mem=233M570
271.57/266.69	    decisions=64472, wrong=20389, backtracks=6809, failedAssignments=14525, nogoods=3090, foundSolutions=6, bestBound=18
271.57/266.69	    
283.77/278.85	    num=168, depth=133..163, filters=289847, ccks=816, wck=275.181, mem=233M570
283.77/278.85	    decisions=67643, wrong=21898, backtracks=7580, failedAssignments=15495, nogoods=3125, foundSolutions=6, bestBound=18
283.77/278.85	    
294.27/289.37	    num=169, depth=1..85, filters=303785, ccks=816, wck=285.703, mem=233M570
294.27/289.37	    decisions=71232, wrong=23656, backtracks=8502, failedAssignments=16562, nogoods=3149, foundSolutions=6, bestBound=18
294.27/289.37	    
307.58/302.64	    num=170, depth=1..103, filters=323612, ccks=816, wck=298.972, mem=233M570
307.58/302.64	    decisions=76345, wrong=26166, backtracks=9987, failedAssignments=17735, nogoods=3175, foundSolutions=6, bestBound=18
307.58/302.64	    
320.99/316.02	    num=171, depth=1..133, filters=340018, ccks=816, wck=312.345, mem=233M570
320.99/316.02	    decisions=80647, wrong=28258, backtracks=11186, failedAssignments=19026, nogoods=3201, foundSolutions=6, bestBound=18
320.99/316.02	    
335.59/330.65	    num=172, depth=3..150, filters=357481, ccks=816, wck=326.977, mem=233M570
335.59/330.65	    decisions=85291, wrong=30510, backtracks=12026, failedAssignments=20446, nogoods=3217, foundSolutions=6, bestBound=18
335.59/330.65	    
365.51/360.50	    num=173, depth=46..66, filters=384105, ccks=816, wck=356.834, mem=233M570
365.51/360.50	    decisions=90294, wrong=32983, backtracks=13239, failedAssignments=22008, nogoods=3260, foundSolutions=6, bestBound=18
365.51/360.50	    
382.82/377.83	    num=174, depth=1..161, filters=404969, ccks=816, wck=374.156, mem=233M570
382.82/377.83	    decisions=96364, wrong=35945, backtracks=14814, failedAssignments=23726, nogoods=3280, foundSolutions=6, bestBound=18
382.82/377.83	    
406.13/401.13	    num=175, depth=2..180, filters=436442, ccks=816, wck=397.456, mem=233M570
406.13/401.13	    decisions=103021, wrong=39199, backtracks=16694, failedAssignments=25616, nogoods=3326, foundSolutions=6, bestBound=18
406.13/401.13	    
434.96/429.90	    num=176, depth=3..187, filters=472641, ccks=816, wck=426.233, mem=233M570
434.96/429.90	    decisions=110454, wrong=42839, backtracks=18563, failedAssignments=27695, nogoods=3363, foundSolutions=6, bestBound=18
434.96/429.90	    
465.57/460.54	    num=177, depth=1..184, filters=510654, ccks=816, wck=456.875, mem=233M570
465.57/460.54	    decisions=119903, wrong=47490, backtracks=21316, failedAssignments=29982, nogoods=3369, foundSolutions=6, bestBound=18
465.57/460.54	    
504.67/499.69	    num=178, depth=55..76, filters=554543, ccks=816, wck=496.019, mem=233M570
504.67/499.69	    decisions=126724, wrong=50868, backtracks=22313, failedAssignments=32498, nogoods=3402, foundSolutions=6, bestBound=18
504.67/499.69	    
543.49/538.40	    num=179, depth=2..208, filters=608023, ccks=816, wck=534.733, mem=237M859
543.49/538.40	    decisions=135296, wrong=55072, backtracks=24125, failedAssignments=35266, nogoods=3447, foundSolutions=6, bestBound=18
543.49/538.40	    
578.90/573.80	    num=180, depth=1..168, filters=660505, ccks=816, wck=570.129, mem=237M859
578.90/573.80	    decisions=144743, wrong=59720, backtracks=26440, failedAssignments=38310, nogoods=3500, foundSolutions=6, bestBound=18
578.90/573.80	    
624.22/619.12	    num=181, depth=2..198, filters=729227, ccks=816, wck=615.449, mem=237M859
624.22/619.12	    decisions=154650, wrong=64588, backtracks=28105, failedAssignments=41659, nogoods=3528, foundSolutions=6, bestBound=18
624.22/619.12	    
682.52/677.45	    num=182, depth=1..185, filters=804945, ccks=816, wck=673.777, mem=237M859
682.52/677.45	    decisions=165015, wrong=69692, backtracks=29721, failedAssignments=45343, nogoods=3545, foundSolutions=6, bestBound=18
682.52/677.45	    
750.04/744.91	    num=183, depth=3..158, filters=894557, ccks=816, wck=741.242, mem=237M859
750.04/744.91	    decisions=178442, wrong=76337, backtracks=32771, failedAssignments=49395, nogoods=3567, foundSolutions=6, bestBound=18
750.04/744.91	    
778.16/773.02	    num=184, depth=116..144, filters=934165, ccks=816, wck=769.354, mem=237M859
778.16/773.02	    decisions=189587, wrong=81842, backtracks=34121, failedAssignments=53852, nogoods=3635, foundSolutions=6, bestBound=18
778.16/773.02	    
832.17/827.08	    num=185, depth=2..175, filters=1009273, ccks=816, wck=823.41, mem=237M859
832.17/827.08	    decisions=201718, wrong=87837, backtracks=35445, failedAssignments=58755, nogoods=3677, foundSolutions=6, bestBound=18
832.17/827.08	    
901.58/896.42	    num=186, depth=156..191, filters=1106653, ccks=816, wck=892.748, mem=237M859
901.58/896.42	    decisions=217040, wrong=95415, backtracks=38579, failedAssignments=64149, nogoods=3709, foundSolutions=6, bestBound=18
901.58/896.42	    
952.20/947.05	    num=187, depth=3..187, filters=1170088, ccks=816, wck=943.383, mem=237M859
952.20/947.05	    decisions=231438, wrong=102530, backtracks=40033, failedAssignments=70082, nogoods=3814, foundSolutions=6, bestBound=18
952.20/947.05	    
1032.81/1027.63	    num=188, depth=159..198, filters=1292058, ccks=816, wck=1023.965, mem=237M859
1032.81/1027.63	    decisions=251133, wrong=112296, backtracks=44117, failedAssignments=76608, nogoods=3855, foundSolutions=6, bestBound=18
1032.81/1027.63	    
1119.74/1114.58	    num=189, depth=133..174, filters=1413374, ccks=816, wck=1110.909, mem=237M859
1119.74/1114.58	    decisions=272590, wrong=122949, backtracks=48618, failedAssignments=83787, nogoods=3898, foundSolutions=6, bestBound=18
1119.74/1114.58	    
1235.18/1229.98	    num=190, depth=2..143, filters=1589909, ccks=816, wck=1226.312, mem=237M859
1235.18/1229.98	    decisions=296884, wrong=135032, backtracks=54035, failedAssignments=91684, nogoods=3925, foundSolutions=6, bestBound=18
1235.18/1229.98	    
1336.41/1331.11	    num=191, depth=1..179, filters=1736462, ccks=816, wck=1327.439, mem=237M859
1336.41/1331.11	    decisions=321314, wrong=147176, backtracks=58799, failedAssignments=100371, nogoods=3982, foundSolutions=6, bestBound=18
1336.41/1331.11	    
1466.63/1461.31	    num=192, depth=60..76, filters=1934808, ccks=816, wck=1457.637, mem=237M859
1466.63/1461.31	    decisions=351915, wrong=162444, backtracks=65519, failedAssignments=109926, nogoods=3992, foundSolutions=6, bestBound=18
1466.63/1461.31	    
1617.87/1612.53	    num=193, depth=2..189, filters=2179676, ccks=816, wck=1608.858, mem=237M859
1617.87/1612.53	    decisions=384358, wrong=178581, backtracks=73247, failedAssignments=120437, nogoods=4018, foundSolutions=6, bestBound=18
1617.87/1612.53	    
1795.43/1790.07	    num=194, depth=1..178, filters=2437717, ccks=816, wck=1786.404, mem=242M147
1795.43/1790.07	    decisions=417579, wrong=195115, backtracks=81397, failedAssignments=131999, nogoods=4031, foundSolutions=6, bestBound=18
1795.43/1790.07	    
1995.58/1990.18	    num=195, depth=2..198, filters=2745799, ccks=816, wck=1986.513, mem=242M147
1995.58/1990.18	    decisions=452816, wrong=212654, backtracks=89604, failedAssignments=144717, nogoods=4091, foundSolutions=6, bestBound=18
1995.58/1990.18	    
2200.54/2195.01	    num=196, depth=1..159, filters=3067786, ccks=816, wck=2191.344, mem=242M147
2200.54/2195.01	    decisions=491666, wrong=232005, backtracks=99748, failedAssignments=158707, nogoods=4132, foundSolutions=6, bestBound=18
2200.54/2195.01	    
2302.35/2296.83	    num=197, depth=2..155, filters=3186620, ccks=816, wck=2293.162, mem=242M147
2302.35/2296.83	    decisions=528654, wrong=250425, backtracks=103712, failedAssignments=174096, nogoods=4219, foundSolutions=6, bestBound=18
2302.35/2296.83	    
2400.08/2394.53	
2400.08/2394.53	v <instantiation id='sol6' type='solution' cost='18'>  <list> x b[][] </list>  <values> 18 100 48 0 0 0 0 0 100 48 0 0 0 0 0 99 50 0 0 0 0 0 98 51 0 0 0 0 0 97 53 0 0 0 0 0 97 53 0 0 0 0 0 97 53 0 0 0 0 0 97 52 0 0 0 0 0 95 32 20 0 0 0 0 94 56 0 0 0 0 0 92 58 0 0 0 0 0 92 56 0 0 0 0 0 91 38 21 0 0 0 0 91 34 0 0 0 0 0 91 32 0 0 0 0 0 90 58 0 0 0 0 0 88 37 24 0 0 0 0 88 32 26 0 0 0 0 88 31 27 0 0 0 0 87 60 0 0 0 0 0 87 36 25 0 0 0 0 85 37 27 0 0 0 0 84 39 27 0 0 0 0 84 36 21 0 0 0 0 84 34 26 0 0 0 0 83 62 0 0 0 0 0 82 64 0 0 0 0 0 82 60 0 0 0 0 0 82 60 0 0 0 0 0 81 66 0 0 0 0 0 80 70 0 0 0 0 0 80 67 0 0 0 0 0 79 67 0 0 0 0 0 79 67 0 0 0 0 0 78 72 0 0 0 0 0 78 72 0 0 0 0 0 78 70 0 0 0 0 0 78 69 0 0 0 0 0 78 68 0 0 0 0 0 77 42 31 0 0 0 0 75 72 0 0 0 0 0 56 47 46 0 0 0 0 56 46 44 0 0 0 0 55 45 24 23 0 0 0 55 44 44 0 0 0 0 54 34 32 30 0 0 0 48 47 45 0 0 0 0 42 41 21 20 0 0 0 41 40 39 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>  </instantiation>
2400.08/2394.53	s SATISFIABLE

Verifier Data 

OK	18

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391292-1568391026/watcher-4391292-1568391026 -o /tmp/evaluation-result-4391292-1568391026/solver-4391292-1568391026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391292-1568391026.xml -cm 

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

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


[startup+0.102238 s]*
/proc/loadavg: 1.91 1.86 1.86 4/228 15136
/proc/meminfo: memFree=28744156/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10659884 memory=29160 CPUtime=0.15 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 5861 0 0 0 14 1 0 0 20 0 15 0 415371446 10915721216 7290 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2664971 7290 2902 1 0 2627468 0
[pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 3249 0 0 0 9 0 0 0 20 0 15 0 415371446 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302866312288 140302862093718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) R 15118 15121 12443 0 -1 4202560 584 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302349212400 140302843438800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) R 15118 15121 12443 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.02 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) R 15118 15121 12443 0 -1 4202560 588 0 0 0 2 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302347103352 140302841216281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29160 KiB

[startup+0.210807 s]*
/proc/loadavg: 1.91 1.86 1.86 3/228 15136
/proc/meminfo: memFree=28737148/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10659884 memory=35084 CPUtime=0.33 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 6875 0 0 0 32 1 0 0 20 0 15 0 415371446 10915721216 8771 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2664971 8771 2989 1 0 2627468 0
[pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 3909 0 0 0 20 0 0 0 20 0 15 0 415371446 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302866313392 140302862103709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772891175756 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 801 0 0 0 3 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.05 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 633 0 0 0 5 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35084 KiB

[startup+0.316368 s]*
/proc/loadavg: 1.91 1.86 1.86 4/228 15136
/proc/meminfo: memFree=28729560/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10659884 memory=40500 CPUtime=0.48 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 9447 0 0 0 46 2 0 0 20 0 15 0 415371446 10915721216 10125 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2664971 10125 3002 1 0 2627468 0
[pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 6395 0 0 0 29 1 0 0 20 0 15 0 415371446 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302866304464 140302862103709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=1946931 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772891174823 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 840 0 0 0 5 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.08 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 675 0 0 0 8 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40500 KiB

[startup+0.702359 s]
/proc/loadavg: 1.91 1.86 1.86 4/228 15136
/proc/meminfo: memFree=28720384/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10661932 memory=63964 CPUtime=1.11 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 13105 0 0 0 107 4 0 0 20 0 15 0 415371446 10917818368 15991 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2665483 15991 3061 1 0 2627980 0
[pid=15121/tid=15123] ppid=15118 vsize=10661932 memory=21912 CPUtime=0.68 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 8930 0 0 0 65 3 0 0 20 0 15 0 415371446 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302866313808 140302845268621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10661932 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10661932 memory=524 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10661932 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10661932 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10661932 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10661932 memory=816 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10661932 memory=6153431502485415268 CPUtime=0.11 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) R 15118 15121 12443 0 -1 4202560 1161 0 0 0 11 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302349198656 140302841775481 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10661932 memory=7453282923461503316 CPUtime=0.1 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 537 0 0 0 10 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 1118 0 0 0 18 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63964 KiB

[startup+1.50077 s]
/proc/loadavg: 1.91 1.86 1.86 3/228 15136
/proc/meminfo: memFree=28704688/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10663980 memory=75876 CPUtime=2.01 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 18707 0 0 0 195 6 0 0 20 0 15 0 415371446 10919915520 18969 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2665995 18969 3094 1 0 2628492 0
[pid=15121/tid=15123] ppid=15118 vsize=10663980 memory=6378026435766 CPUtime=1.48 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 13198 0 0 0 144 4 0 0 20 0 15 0 415371446 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302866307664 140302843645347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 415371449 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0

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

/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1882 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=344824 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15278 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.76 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11817 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=1404 CPUtime=0.79 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10770 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=40064 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=988 CPUtime=0.53 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1644 0 0 0 22 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3536 CPUtime=2320.38 cores=1,3,5,7
/proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21389 0 0 0 232032 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302506151370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 2327.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 346872 KiB

[startup+2382.3 s]
/proc/loadavg: 1.97 1.94 1.95 3/229 15436
/proc/meminfo: memFree=27359140/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2387.87 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80000 0 0 0 238735 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2687081 86718 3373 1 0 2647217 0
[pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=40064 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=988 CPUtime=2.26 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=2024 CPUtime=1.76 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=5908 CPUtime=0.54 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1650 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=14012 CPUtime=2380.39 cores=1,3,5,7
/proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 238033 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 2387.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 346872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2394.5 s]
/proc/loadavg: 1.98 1.95 1.95 3/229 15436
/proc/meminfo: memFree=27359440/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2400.08 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80002 0 0 0 239956 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2687081 86718 3373 1 0 2647217 0
[pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=346872 CPUtime=2.26 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=1764 CPUtime=1.76 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.54 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1652 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3624 CPUtime=2392.59 cores=1,3,5,7
/proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 239253 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 346872 KiB

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

[startup+2394.54 s]
# the end of solver process 15121 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.64 s, system=0.563071 s

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

[startup+2394.5 s]
/proc/loadavg: 1.98 1.95 1.95 3/229 15436
/proc/meminfo: memFree=27359440/32770624 swapFree=66998528/67108860
[pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2400.08 cores=1,3,5,7
/proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80002 0 0 0 239956 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
/proc/15121/statm: 2687081 86718 3373 1 0 2647217 0
[pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7
/proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7
/proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7
/proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=346872 CPUtime=2.26 cores=1,3,5,7
/proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=1764 CPUtime=1.76 cores=1,3,5,7
/proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7
/proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.54 cores=1,3,5,7
/proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1652 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
[pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3624 CPUtime=2392.59 cores=1,3,5,7
/proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 239253 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 346872 KiB

Child status: 143
Real time (s): 2394.54
CPU time (s): 2400.21
CPU user time (s): 2399.64
CPU system time (s): 0.563071
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 346872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.563071
maximum resident set size= 386748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55686
involuntary context switches= 674


# summary of solver processes directly reported to runsolver:
#   pid: 15121
#   total CPU time (s): 2400.21
#   total CPU user time (s): 2399.64
#   total CPU system time (s): 0.563071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6893 second user time and 21.7337 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 18:09:46
IDJOB=4391292
IDBENCH=138293
IDSOLVER=2833
FILE ID=node127/4391292-1568391026
RUNJOBID= node127-1568388592-14519
PBS_JOBID= 21701837
Free space on /tmp= 61300 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391292-1568391026/watcher-4391292-1568391026 -o /tmp/evaluation-result-4391292-1568391026/solver-4391292-1568391026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391292-1568391026.xml -cm

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

MD5SUM BENCH= 9ef2b094cdda1b830103df1ca446c40b
RANDOM SEED=1936120293

node127.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.55
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.55
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.55
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.55
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:        28760948 kB
MemAvailable:   31593804 kB
Buffers:          159948 kB
Cached:          2938268 kB
SwapCached:         6772 kB
Active:          2064988 kB
Inactive:        1322796 kB
Active(anon):     282712 kB
Inactive(anon):    48320 kB
Active(file):    1782276 kB
Inactive(file):  1274476 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:              8592 kB
Writeback:             0 kB
AnonPages:        393548 kB
Mapped:            56688 kB
Shmem:             32700 kB
Slab:             214308 kB
SReclaimable:     183876 kB
SUnreclaim:        30432 kB
KernelStack:        3712 kB
PageTables:         6324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1237592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61292 MiB
End job on node127 at 2019-09-13 18:49:40