Trace number 4390992

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 2520.1 2513.91

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 benchmark2520.1
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.57/1.92	
2.57/1.92	AbsCon 2 
2.57/1.94	
3.59/2.37	  Instance
3.59/2.37	    name=instance-4390992-1568385547, framework=COP, bounds=-infty..+infty
3.59/2.37	
3.59/2.37	  Loading variables...
4.17/2.51	  Loading constraints...
6.45/3.67	
6.45/3.67	  Domains
6.45/3.67	    nTypes=2, nValues=29146, sizes=[62#469,68#1]
6.45/3.67	  Variables
6.45/3.67	    count=470, degrees=[2#1,3#12,4#392,5#65]
6.45/3.67	  Objectives
6.45/3.67	    way=max, type=ObjVarGE
6.45/3.67	  Constraints
6.45/3.67	    count=136, nSpecific=136, arities=[1#1,7#67,14#66,68#1,469#1]
6.45/3.67	    distribution=[CardinalityConstant#1,CtrExtensionMDD-MDD#67,ExactlyKVariable#1,LexicographicLe#66,ObjVarGE#1]
6.45/3.67	    nExtStructures=(67,shared:0)
6.45/3.67	    wck=1.777, cpu=3.595, mem=245M472
6.45/3.68	  Solver SolverBacktrack being built...
6.45/3.68	
6.76/3.73	
6.76/3.73	  Solver
6.76/3.73	    guaranteedGAC=true
6.76/3.73	    wck=1.846, cpu=3.638, mem=53M160
7.42/4.07	
7.42/4.07	  Preprocessing
7.42/4.07	    filters=67, nACremovedValues=18760, nTotalRemovedValues=18760, inconcistency=false
7.42/4.07	    wck=0.332, cpu=3.972, mem=70M345
7.42/4.07	
8.11/4.44	    num=0, depth=1..1, filters=292, wck=0.702, mem=70M345
8.11/4.44	    decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
8.11/4.44	    
9.21/5.24	    num=1, depth=0..0, filters=919, wck=1.5, mem=70M345
9.21/5.24	    decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
9.21/5.24	    
9.93/5.97	    num=2, depth=0..0, filters=1629, wck=2.234, mem=70M345
9.93/5.97	    decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
9.93/5.97	    
11.34/7.37	    num=3, depth=0..0, filters=2680, wck=3.639, mem=70M345
11.34/7.37	    decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
11.34/7.37	    
12.36/8.35	    num=4, depth=0..0, filters=3434, wck=4.61, mem=70M345
12.36/8.35	    decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
12.36/8.35	    
13.96/9.84	    num=5, depth=0..128, filters=4463, wck=6.101, mem=70M345
13.96/9.84	    decisions=280, wrong=76, backtracks=0, failedAssignments=76, nogoods=15
13.96/9.84	    
15.47/11.35	    num=6, depth=0..0, filters=5927, wck=7.61, mem=70M345
15.47/11.35	    decisions=314, wrong=93, backtracks=0, failedAssignments=93, nogoods=15
15.47/11.35	    
18.31/14.12	    num=7, depth=0..0, filters=8198, wck=10.389, mem=70M345
18.31/14.12	    decisions=352, wrong=112, backtracks=0, failedAssignments=112, nogoods=15
18.31/14.12	    
20.23/16.10	    num=8, depth=0..81, filters=9707, wck=12.36, mem=70M345
20.23/16.10	    decisions=475, wrong=133, backtracks=0, failedAssignments=133, nogoods=24
20.23/16.10	    
20.94/16.75	    num=9, depth=0..95, filters=10137, wck=13.011, mem=70M345
20.94/16.75	    decisions=615, wrong=156, backtracks=0, failedAssignments=156, nogoods=34
20.94/16.75	    
21.55/17.38	    num=10, depth=0..95, filters=10603, wck=13.643, mem=70M345
21.55/17.38	    decisions=759, wrong=181, backtracks=0, failedAssignments=181, nogoods=49
21.55/17.38	    
22.50/18.22	    num=11, depth=0..143, filters=11151, wck=14.481, mem=70M345
22.50/18.22	    decisions=954, wrong=209, backtracks=0, failedAssignments=209, nogoods=73
22.50/18.22	    
24.73/20.40	    num=12, depth=0..0, filters=13015, wck=16.667, mem=70M345
24.73/20.40	    decisions=1016, wrong=240, backtracks=0, failedAssignments=240, nogoods=73
24.73/20.40	    
26.77/22.42	    num=13, depth=0..143, filters=14489, wck=18.682, mem=70M345
26.77/22.42	    decisions=1226, wrong=274, backtracks=0, failedAssignments=274, nogoods=91
26.77/22.42	    
29.69/25.37	    num=14, depth=0..0, filters=17088, wck=21.63, mem=70M345
29.69/25.37	    decisions=1300, wrong=311, backtracks=0, failedAssignments=311, nogoods=91
29.69/25.37	    
31.22/26.80	    num=15, depth=0..136, filters=18211, wck=23.065, mem=70M345
31.22/26.80	    decisions=1514, wrong=352, backtracks=0, failedAssignments=352, nogoods=126
31.22/26.80	    
32.84/28.44	    num=16, depth=0..118, filters=19557, wck=24.701, mem=70M345
32.84/28.44	    decisions=1719, wrong=397, backtracks=0, failedAssignments=397, nogoods=158
32.84/28.44	    
33.55/29.17	    num=17, depth=39..167, filters=20012, wck=25.438, mem=70M345
33.55/29.17	    decisions=1980, wrong=449, backtracks=2, failedAssignments=447, nogoods=186
33.55/29.17	    
35.57/31.13	    num=18, depth=0..171, filters=21882, wck=27.397, mem=70M345
35.57/31.13	    decisions=2258, wrong=504, backtracks=2, failedAssignments=502, nogoods=211
35.57/31.13	    
36.48/32.07	    num=19, depth=47..210, filters=22796, wck=28.336, mem=70M345
36.48/32.07	    decisions=2601, wrong=575, backtracks=16, failedAssignments=563, nogoods=255
36.48/32.07	    
37.61/33.15	    num=20, depth=21..186, filters=23680, wck=29.415, mem=70M345
37.61/33.15	    decisions=2916, wrong=644, backtracks=19, failedAssignments=630, nogoods=282
37.61/33.15	    
40.53/36.06	    num=21, depth=0..146, filters=26373, wck=32.321, mem=70M345
40.53/36.06	    decisions=3221, wrong=730, backtracks=33, failedAssignments=704, nogoods=319
40.53/36.06	    
41.54/37.09	    num=22, depth=32..162, filters=27110, wck=33.358, mem=70M345
41.54/37.09	    decisions=3544, wrong=815, backtracks=39, failedAssignments=785, nogoods=362
41.54/37.09	    
43.23/38.77	    num=23, depth=19..177, filters=28569, wck=35.034, mem=70M345
43.23/38.77	    decisions=3939, wrong=927, backtracks=70, failedAssignments=874, nogoods=393
43.23/38.77	    
45.46/40.90	    num=24, depth=0..117, filters=30610, wck=37.164, mem=70M345
45.46/40.90	    decisions=4318, wrong=1064, backtracks=123, failedAssignments=972, nogoods=428
45.46/40.90	    
47.26/42.72	    num=25, depth=11..227, filters=32971, wck=38.981, mem=70M345
47.26/42.72	    decisions=4839, wrong=1220, backtracks=185, failedAssignments=1080, nogoods=461
47.26/42.72	    
48.26/43.78	o 13
48.26/43.79	    num=26, depth=12..469, filters=33646, ccks=136, wck=40.053, mem=70M345
48.26/43.79	    decisions=5161, wrong=1260, backtracks=185, failedAssignments=1120, nogoods=501, foundSolutions=1, bestBound=13
48.26/43.79	    
50.02/45.46	o 14
50.02/45.46	    num=27, depth=11..469, filters=35526, ccks=272, wck=41.726, mem=70M345
50.02/45.46	    decisions=5723, wrong=1417, backtracks=251, failedAssignments=1229, nogoods=537, foundSolutions=2, bestBound=14
50.02/45.46	    
50.23/45.64	    num=28, depth=9..17, filters=35664, ccks=272, wck=41.904, mem=70M345
50.23/45.64	    decisions=5760, wrong=1428, backtracks=251, failedAssignments=1240, nogoods=548, foundSolutions=2, bestBound=14
50.23/45.64	    
50.43/45.83	    num=29, depth=0..36, filters=35795, ccks=272, wck=42.097, mem=70M345
50.43/45.83	    decisions=5815, wrong=1439, backtracks=251, failedAssignments=1251, nogoods=557, foundSolutions=2, bestBound=14
50.43/45.83	    
50.64/46.05	    num=30, depth=0..43, filters=35944, ccks=272, wck=42.313, mem=70M345
50.64/46.05	    decisions=5879, wrong=1451, backtracks=251, failedAssignments=1263, nogoods=565, foundSolutions=2, bestBound=14
50.64/46.05	    
51.23/46.61	    num=31, depth=0..189, filters=36127, ccks=272, wck=42.871, mem=70M345
51.23/46.61	    decisions=6092, wrong=1464, backtracks=251, failedAssignments=1276, nogoods=574, foundSolutions=2, bestBound=14
51.23/46.61	    
51.88/47.23	    num=32, depth=5..193, filters=36475, ccks=272, wck=43.496, mem=70M345
51.88/47.23	    decisions=6318, wrong=1484, backtracks=257, failedAssignments=1290, nogoods=578, foundSolutions=2, bestBound=14
51.88/47.23	    
52.40/47.78	    num=33, depth=4..190, filters=36677, ccks=272, wck=44.05, mem=70M345
52.40/47.78	    decisions=6533, wrong=1500, backtracks=257, failedAssignments=1306, nogoods=594, foundSolutions=2, bestBound=14
52.40/47.78	    
53.02/48.35	    num=34, depth=5..200, filters=36877, ccks=272, wck=44.616, mem=70M345
53.02/48.35	    decisions=6759, wrong=1517, backtracks=257, failedAssignments=1323, nogoods=611, foundSolutions=2, bestBound=14
53.02/48.35	    
53.62/48.91	    num=35, depth=5..201, filters=37070, ccks=272, wck=45.179, mem=70M345
53.62/48.91	    decisions=6988, wrong=1536, backtracks=257, failedAssignments=1342, nogoods=630, foundSolutions=2, bestBound=14
53.62/48.91	    
54.23/49.52	    num=36, depth=5..201, filters=37351, ccks=272, wck=45.78, mem=70M345
54.23/49.52	    decisions=7228, wrong=1563, backtracks=263, failedAssignments=1363, nogoods=648, foundSolutions=2, bestBound=14
54.23/49.52	    
54.83/50.17	    num=37, depth=9..195, filters=37728, ccks=272, wck=46.438, mem=70M345
54.83/50.17	    decisions=7473, wrong=1591, backtracks=268, failedAssignments=1386, nogoods=665, foundSolutions=2, bestBound=14
54.83/50.17	    
55.53/50.85	    num=38, depth=3..200, filters=38063, ccks=272, wck=47.116, mem=70M345
55.53/50.85	    decisions=7720, wrong=1623, backtracks=275, failedAssignments=1411, nogoods=686, foundSolutions=2, bestBound=14
55.53/50.85	    
56.20/51.41	    num=39, depth=11..136, filters=38530, ccks=272, wck=47.678, mem=70M345
56.20/51.41	    decisions=7918, wrong=1661, backtracks=285, failedAssignments=1439, nogoods=697, foundSolutions=2, bestBound=14
56.20/51.41	    
56.81/52.06	    num=40, depth=2..193, filters=38865, ccks=272, wck=48.328, mem=70M345
56.81/52.06	    decisions=8166, wrong=1694, backtracks=287, failedAssignments=1470, nogoods=727, foundSolutions=2, bestBound=14
56.81/52.06	    
57.41/52.65	    num=41, depth=2..137, filters=39368, ccks=272, wck=48.918, mem=70M345
57.41/52.65	    decisions=8371, wrong=1737, backtracks=296, failedAssignments=1504, nogoods=746, foundSolutions=2, bestBound=14
57.41/52.65	    
58.11/53.35	    num=42, depth=3..189, filters=39821, ccks=272, wck=49.615, mem=70M345
58.11/53.35	    decisions=8643, wrong=1787, backtracks=309, failedAssignments=1541, nogoods=762, foundSolutions=2, bestBound=14
58.11/53.35	    
58.95/54.15	    num=43, depth=3..194, filters=40389, ccks=272, wck=50.414, mem=70M345
58.95/54.15	    decisions=8929, wrong=1837, backtracks=318, failedAssignments=1582, nogoods=789, foundSolutions=2, bestBound=14
58.95/54.15	    
60.04/55.24	    num=44, depth=0..141, filters=41237, ccks=272, wck=51.508, mem=70M345
60.04/55.24	    decisions=9171, wrong=1893, backtracks=334, failedAssignments=1627, nogoods=814, foundSolutions=2, bestBound=14
60.04/55.24	    
60.95/56.19	    num=45, depth=1..191, filters=41937, ccks=272, wck=52.45, mem=70M345
60.95/56.19	    decisions=9479, wrong=1957, backtracks=355, failedAssignments=1677, nogoods=839, foundSolutions=2, bestBound=14
60.95/56.19	    
62.04/57.23	    num=46, depth=1..207, filters=42958, ccks=272, wck=53.491, mem=70M345
62.04/57.23	    decisions=9826, wrong=2034, backtracks=380, failedAssignments=1732, nogoods=865, foundSolutions=2, bestBound=14
62.04/57.23	    
63.14/58.32	    num=47, depth=3..216, filters=43915, ccks=272, wck=54.585, mem=70M345
63.14/58.32	    decisions=10184, wrong=2118, backtracks=405, failedAssignments=1793, nogoods=889, foundSolutions=2, bestBound=14
63.14/58.32	    
64.45/59.61	o 15
64.45/59.62	    num=48, depth=1..469, filters=45054, ccks=408, wck=55.879, mem=70M345
64.45/59.62	    decisions=10578, wrong=2197, backtracks=420, failedAssignments=1858, nogoods=935, foundSolutions=3, bestBound=15
64.45/59.62	    
65.77/60.94	    num=49, depth=1..213, filters=46098, ccks=408, wck=57.21, mem=70M345
65.77/60.94	    decisions=11001, wrong=2309, backtracks=460, failedAssignments=1932, nogoods=958, foundSolutions=3, bestBound=15
65.77/60.94	    
65.88/61.05	    num=50, depth=3..22, filters=46186, ccks=408, wck=57.317, mem=70M345
65.88/61.05	    decisions=11039, wrong=2320, backtracks=460, failedAssignments=1943, nogoods=969, foundSolutions=3, bestBound=15
65.88/61.05	    
65.98/61.18	    num=51, depth=0..21, filters=46299, ccks=408, wck=57.45, mem=70M345
65.98/61.18	    decisions=11080, wrong=2332, backtracks=460, failedAssignments=1955, nogoods=979, foundSolutions=3, bestBound=15
65.98/61.18	    
66.67/61.87	    num=52, depth=0..205, filters=46612, ccks=408, wck=58.137, mem=70M345
66.67/61.87	    decisions=11317, wrong=2351, backtracks=466, failedAssignments=1968, nogoods=982, foundSolutions=3, bestBound=15
66.67/61.87	    
67.39/62.59	    num=53, depth=8..203, filters=47008, ccks=408, wck=58.856, mem=70M345
67.39/62.59	    decisions=11555, wrong=2371, backtracks=472, failedAssignments=1982, nogoods=988, foundSolutions=3, bestBound=15
67.39/62.59	    
67.90/63.02	    num=54, depth=7..63, filters=47406, ccks=408, wck=59.287, mem=70M345
67.90/63.02	    decisions=11658, wrong=2394, backtracks=479, failedAssignments=1998, nogoods=995, foundSolutions=3, bestBound=15
67.90/63.02	    
69.01/64.14	    num=55, depth=10..162, filters=48102, ccks=408, wck=60.407, mem=70M345
69.01/64.14	    decisions=11851, wrong=2411, backtracks=479, failedAssignments=2015, nogoods=1012, foundSolutions=3, bestBound=15
69.01/64.14	    
70.01/65.14	    num=56, depth=51..60, filters=48832, ccks=408, wck=61.4, mem=70M345
70.01/65.14	    decisions=11961, wrong=2436, backtracks=485, failedAssignments=2034, nogoods=1028, foundSolutions=3, bestBound=15
70.01/65.14	    
70.80/65.98	    num=57, depth=10..193, filters=49372, ccks=408, wck=62.246, mem=70M345
70.80/65.98	    decisions=12192, wrong=2457, backtracks=485, failedAssignments=2055, nogoods=1049, foundSolutions=3, bestBound=15
70.80/65.98	    
71.24/66.37	    num=58, depth=5..71, filters=49723, ccks=408, wck=62.637, mem=70M345
71.24/66.37	    decisions=12313, wrong=2484, backtracks=490, failedAssignments=2078, nogoods=1069, foundSolutions=3, bestBound=15
71.24/66.37	    
72.14/67.25	    num=59, depth=2..199, filters=50331, ccks=408, wck=63.512, mem=70M345
72.14/67.25	    decisions=12556, wrong=2509, backtracks=490, failedAssignments=2103, nogoods=1094, foundSolutions=3, bestBound=15
72.14/67.25	    
73.05/68.17	    num=60, depth=2..211, filters=51020, ccks=408, wck=64.432, mem=70M345
73.05/68.17	    decisions=12819, wrong=2539, backtracks=492, failedAssignments=2131, nogoods=1120, foundSolutions=3, bestBound=15
73.05/68.17	    
73.96/69.01	    num=61, depth=2..217, filters=51545, ccks=408, wck=65.273, mem=70M345
73.96/69.01	    decisions=13103, wrong=2577, backtracks=505, failedAssignments=2162, nogoods=1139, foundSolutions=3, bestBound=15
73.96/69.01	    
74.96/70.03	    num=62, depth=2..214, filters=52245, ccks=408, wck=66.292, mem=70M345
74.96/70.03	    decisions=13408, wrong=2629, backtracks=526, failedAssignments=2196, nogoods=1153, foundSolutions=3, bestBound=15
74.96/70.03	    
75.97/71.01	    num=63, depth=2..208, filters=52925, ccks=408, wck=67.273, mem=70M345
75.97/71.01	    decisions=13703, wrong=2677, backtracks=542, failedAssignments=2233, nogoods=1167, foundSolutions=3, bestBound=15
75.97/71.01	    
76.97/72.06	    num=64, depth=2..215, filters=53759, ccks=408, wck=68.322, mem=70M345
76.97/72.06	    decisions=14006, wrong=2729, backtracks=563, failedAssignments=2274, nogoods=1185, foundSolutions=3, bestBound=15
76.97/72.06	    
77.86/72.91	o 16
77.86/72.91	    num=65, depth=3..469, filters=54188, ccks=544, wck=69.178, mem=74M642
77.86/72.91	    decisions=14334, wrong=2768, backtracks=565, failedAssignments=2311, nogoods=1222, foundSolutions=4, bestBound=16
77.86/72.91	    
78.98/74.06	    num=66, depth=1..202, filters=55132, ccks=544, wck=70.321, mem=74M642
78.98/74.06	    decisions=14687, wrong=2849, backtracks=596, failedAssignments=2361, nogoods=1243, foundSolutions=4, bestBound=16
78.98/74.06	    
79.27/74.36	    num=67, depth=53..59, filters=55311, ccks=544, wck=70.624, mem=74M642
79.27/74.36	    decisions=14771, wrong=2862, backtracks=600, failedAssignments=2372, nogoods=1252, foundSolutions=4, bestBound=16
79.27/74.36	    
79.87/74.93	    num=68, depth=4..196, filters=55507, ccks=544, wck=71.198, mem=74M642
79.87/74.93	    decisions=14987, wrong=2876, backtracks=602, failedAssignments=2384, nogoods=1263, foundSolutions=4, bestBound=16
79.87/74.93	    
80.37/75.47	    num=69, depth=4..195, filters=55674, ccks=544, wck=71.739, mem=74M642
80.37/75.47	    decisions=15201, wrong=2889, backtracks=602, failedAssignments=2397, nogoods=1276, foundSolutions=4, bestBound=16
80.37/75.47	    
80.98/76.10	    num=70, depth=4..198, filters=55947, ccks=544, wck=72.365, mem=74M642
80.98/76.10	    decisions=15428, wrong=2908, backtracks=607, failedAssignments=2411, nogoods=1283, foundSolutions=4, bestBound=16
80.98/76.10	    
81.57/76.67	    num=71, depth=1..192, filters=56134, ccks=544, wck=72.932, mem=74M642
81.57/76.67	    decisions=15645, wrong=2924, backtracks=607, failedAssignments=2427, nogoods=1299, foundSolutions=4, bestBound=16
81.57/76.67	    
81.87/76.96	    num=72, depth=5..57, filters=56317, ccks=544, wck=73.224, mem=74M642
81.87/76.96	    decisions=15736, wrong=2942, backtracks=608, failedAssignments=2444, nogoods=1305, foundSolutions=4, bestBound=16
81.87/76.96	    
82.57/77.63	    num=73, depth=1..195, filters=56670, ccks=544, wck=73.893, mem=74M642
82.57/77.63	    decisions=15973, wrong=2966, backtracks=613, failedAssignments=2463, nogoods=1318, foundSolutions=4, bestBound=16
82.57/77.63	    
83.27/78.30	    num=74, depth=5..196, filters=57057, ccks=544, wck=74.568, mem=74M642
83.27/78.30	    decisions=16214, wrong=2993, backtracks=619, failedAssignments=2484, nogoods=1330, foundSolutions=4, bestBound=16
83.27/78.30	    
83.98/79.02	    num=75, depth=1..199, filters=57433, ccks=544, wck=75.288, mem=74M642
83.98/79.02	    decisions=16463, wrong=3024, backtracks=627, failedAssignments=2507, nogoods=1346, foundSolutions=4, bestBound=16
83.98/79.02	    
84.57/79.69	    num=76, depth=2..201, filters=57763, ccks=544, wck=75.958, mem=74M642
84.57/79.69	    decisions=16714, wrong=3054, backtracks=632, failedAssignments=2532, nogoods=1354, foundSolutions=4, bestBound=16
84.57/79.69	    
85.38/80.46	    num=77, depth=3..199, filters=58291, ccks=544, wck=76.723, mem=74M642
85.38/80.46	    decisions=16977, wrong=3092, backtracks=642, failedAssignments=2560, nogoods=1366, foundSolutions=4, bestBound=16
85.38/80.46	    
86.18/81.26	    num=78, depth=1..196, filters=58858, ccks=544, wck=77.526, mem=74M642
86.18/81.26	    decisions=17252, wrong=3133, backtracks=652, failedAssignments=2591, nogoods=1384, foundSolutions=4, bestBound=16
86.18/81.26	    
87.08/82.17	    num=79, depth=1..194, filters=59598, ccks=544, wck=78.44, mem=74M642
87.08/82.17	    decisions=17540, wrong=3185, backtracks=670, failedAssignments=2625, nogoods=1395, foundSolutions=4, bestBound=16
87.08/82.17	    
87.98/83.05	    num=80, depth=7..203, filters=60193, ccks=544, wck=79.314, mem=74M642
87.98/83.05	    decisions=17838, wrong=3237, backtracks=685, failedAssignments=2662, nogoods=1406, foundSolutions=4, bestBound=16
87.98/83.05	    
88.98/84.05	    num=81, depth=3..210, filters=60951, ccks=544, wck=80.312, mem=74M642
88.98/84.05	    decisions=18155, wrong=3295, backtracks=702, failedAssignments=2703, nogoods=1425, foundSolutions=4, bestBound=16
88.98/84.05	    
89.87/84.93	    num=82, depth=48..56, filters=61755, ccks=544, wck=81.195, mem=74M642
89.87/84.93	    decisions=18321, wrong=3352, backtracks=716, failedAssignments=2748, nogoods=1444, foundSolutions=4, bestBound=16
89.87/84.93	    
90.98/86.01	    num=83, depth=1..190, filters=62680, ccks=544, wck=82.273, mem=74M642
90.98/86.01	    decisions=18638, wrong=3420, backtracks=734, failedAssignments=2798, nogoods=1474, foundSolutions=4, bestBound=16
90.98/86.01	    
92.08/87.13	    num=84, depth=4..180, filters=63825, ccks=544, wck=83.395, mem=74M642
92.08/87.13	    decisions=18975, wrong=3499, backtracks=758, failedAssignments=2853, nogoods=1488, foundSolutions=4, bestBound=16
92.08/87.13	    
93.17/88.24	    num=85, depth=62..73, filters=65425, ccks=544, wck=84.507, mem=74M642
93.17/88.24	    decisions=19225, wrong=3590, backtracks=789, failedAssignments=2914, nogoods=1508, foundSolutions=4, bestBound=16
93.17/88.24	    
94.18/89.22	    num=86, depth=1..177, filters=66229, ccks=544, wck=85.484, mem=74M642
94.18/89.22	    decisions=19535, wrong=3663, backtracks=795, failedAssignments=2981, nogoods=1552, foundSolutions=4, bestBound=16
94.18/89.22	    
95.18/90.27	    num=87, depth=1..208, filters=67150, ccks=544, wck=86.537, mem=74M642
95.18/90.27	    decisions=19892, wrong=3744, backtracks=802, failedAssignments=3055, nogoods=1606, foundSolutions=4, bestBound=16
95.18/90.27	    
96.48/91.56	    num=88, depth=1..210, filters=68403, ccks=544, wck=87.822, mem=74M642
96.48/91.56	    decisions=20301, wrong=3856, backtracks=833, failedAssignments=3136, nogoods=1633, foundSolutions=4, bestBound=16
96.48/91.56	    
97.48/92.51	o 17
97.48/92.51	    num=89, depth=1..469, filters=69188, ccks=680, wck=88.773, mem=74M642
97.48/92.51	    decisions=20645, wrong=3913, backtracks=838, failedAssignments=3188, nogoods=1683, foundSolutions=5, bestBound=17
97.48/92.51	    
98.80/93.83	    num=90, depth=1..195, filters=70817, ccks=680, wck=90.098, mem=74M642
98.80/93.83	    decisions=21075, wrong=4033, backtracks=861, failedAssignments=3286, nogoods=1737, foundSolutions=5, bestBound=17
98.80/93.83	    
99.11/94.17	    num=91, depth=2..72, filters=71090, ccks=680, wck=90.432, mem=74M642
99.11/94.17	    decisions=21170, wrong=4045, backtracks=862, failedAssignments=3297, nogoods=1748, foundSolutions=5, bestBound=17
99.11/94.17	    
99.20/94.27	    num=92, depth=1..12, filters=71199, ccks=680, wck=90.54, mem=74M642
99.20/94.27	    decisions=21199, wrong=4057, backtracks=862, failedAssignments=3309, nogoods=1760, foundSolutions=5, bestBound=17
99.20/94.27	    
99.30/94.37	    num=93, depth=0..12, filters=71295, ccks=680, wck=90.64, mem=74M642
99.30/94.37	    decisions=21230, wrong=4070, backtracks=862, failedAssignments=3322, nogoods=1771, foundSolutions=5, bestBound=17
99.30/94.37	    
99.70/94.78	    num=94, depth=0..134, filters=71445, ccks=680, wck=91.047, mem=74M642
99.70/94.78	    decisions=21385, wrong=4084, backtracks=862, failedAssignments=3336, nogoods=1784, foundSolutions=5, bestBound=17
99.70/94.78	    
100.20/95.27	    num=95, depth=1..131, filters=71740, ccks=680, wck=91.538, mem=74M642
100.20/95.27	    decisions=21548, wrong=4102, backtracks=865, failedAssignments=3352, nogoods=1791, foundSolutions=5, bestBound=17
100.20/95.27	    
100.70/95.76	    num=96, depth=1..130, filters=72029, ccks=680, wck=92.027, mem=74M642
100.70/95.76	    decisions=21710, wrong=4119, backtracks=865, failedAssignments=3369, nogoods=1808, foundSolutions=5, bestBound=17
100.70/95.76	    
101.60/96.60	    num=97, depth=0..51, filters=72694, ccks=680, wck=92.865, mem=74M642
101.60/96.60	    decisions=21798, wrong=4140, backtracks=867, failedAssignments=3388, nogoods=1825, foundSolutions=5, bestBound=17
101.60/96.60	    
102.20/97.23	    num=98, depth=2..133, filters=73266, ccks=680, wck=93.494, mem=74M642
102.20/97.23	    decisions=21985, wrong=4169, backtracks=875, failedAssignments=3409, nogoods=1836, foundSolutions=5, bestBound=17
102.20/97.23	    
102.90/97.94	    num=99, depth=2..131, filters=73916, ccks=680, wck=94.207, mem=74M642
102.90/97.94	    decisions=22182, wrong=4203, backtracks=886, failedAssignments=3432, nogoods=1844, foundSolutions=5, bestBound=17
102.90/97.94	    
103.60/98.69	    num=100, depth=3..149, filters=74537, ccks=680, wck=94.957, mem=74M642
103.60/98.69	    decisions=22390, wrong=4234, backtracks=892, failedAssignments=3457, nogoods=1855, foundSolutions=5, bestBound=17
103.60/98.69	    
104.70/99.72	    num=101, depth=3..149, filters=75428, ccks=680, wck=95.981, mem=74M642
104.70/99.72	    decisions=22636, wrong=4284, backtracks=914, failedAssignments=3485, nogoods=1859, foundSolutions=5, bestBound=17
104.70/99.72	    
105.40/100.48	    num=102, depth=1..151, filters=75894, ccks=680, wck=96.749, mem=74M642
105.40/100.48	    decisions=22846, wrong=4317, backtracks=916, failedAssignments=3516, nogoods=1879, foundSolutions=5, bestBound=17
105.40/100.48	    
106.30/101.31	    num=103, depth=1..165, filters=76575, ccks=680, wck=97.573, mem=74M642
106.30/101.31	    decisions=23089, wrong=4364, backtracks=931, failedAssignments=3550, nogoods=1902, foundSolutions=5, bestBound=17
106.30/101.31	    
107.43/102.44	    num=104, depth=1..151, filters=77524, ccks=680, wck=98.705, mem=74M642
107.43/102.44	    decisions=23348, wrong=4423, backtracks=953, failedAssignments=3587, nogoods=1919, foundSolutions=5, bestBound=17
107.43/102.44	    
108.84/103.81	    num=105, depth=150..165, filters=78787, ccks=680, wck=100.078, mem=74M642
108.84/103.81	    decisions=23633, wrong=4488, backtracks=980, failedAssignments=3628, nogoods=1925, foundSolutions=5, bestBound=17
108.84/103.81	    
110.05/105.01	    num=106, depth=1..161, filters=79778, ccks=680, wck=101.274, mem=74M642
110.05/105.01	    decisions=23892, wrong=4539, backtracks=987, failedAssignments=3673, nogoods=1943, foundSolutions=5, bestBound=17
110.05/105.01	    
110.94/106.00	    num=107, depth=2..170, filters=80574, ccks=680, wck=102.266, mem=74M642
110.94/106.00	    decisions=24171, wrong=4598, backtracks=997, failedAssignments=3723, nogoods=1972, foundSolutions=5, bestBound=17
110.94/106.00	    
112.07/107.09	    num=108, depth=1..57, filters=81476, ccks=680, wck=103.354, mem=74M642
112.07/107.09	    decisions=24354, wrong=4662, backtracks=1006, failedAssignments=3778, nogoods=1999, foundSolutions=5, bestBound=17
112.07/107.09	    
113.87/108.84	    num=109, depth=1..168, filters=83510, ccks=680, wck=105.104, mem=74M642
113.87/108.84	    decisions=24794, wrong=4801, backtracks=1084, failedAssignments=3839, nogoods=2010, foundSolutions=5, bestBound=17
113.87/108.84	    
115.47/110.47	    num=110, depth=2..173, filters=85972, ccks=680, wck=106.736, mem=74M642
115.47/110.47	    decisions=25185, wrong=4914, backtracks=1130, failedAssignments=3906, nogoods=2024, foundSolutions=5, bestBound=17
115.47/110.47	    
117.08/112.04	    num=111, depth=1..171, filters=87339, ccks=680, wck=108.308, mem=74M642
117.08/112.04	    decisions=25522, wrong=5002, backtracks=1146, failedAssignments=3980, nogoods=2046, foundSolutions=5, bestBound=17
117.08/112.04	    
118.99/113.96	    num=112, depth=2..183, filters=89566, ccks=680, wck=110.224, mem=74M642
118.99/113.96	    decisions=26009, wrong=5159, backtracks=1223, failedAssignments=4061, nogoods=2059, foundSolutions=5, bestBound=17
118.99/113.96	    
120.69/115.62	    num=113, depth=3..178, filters=91487, ccks=680, wck=111.88, mem=74M642
120.69/115.62	    decisions=26402, wrong=5270, backtracks=1251, failedAssignments=4150, nogoods=2070, foundSolutions=5, bestBound=17
120.69/115.62	    
122.41/117.30	    num=114, depth=3..166, filters=92984, ccks=680, wck=113.569, mem=74M642
122.41/117.30	    decisions=26853, wrong=5422, backtracks=1321, failedAssignments=4248, nogoods=2080, foundSolutions=5, bestBound=17
122.41/117.30	    
123.81/118.77	    num=115, depth=78..88, filters=95406, ccks=680, wck=115.036, mem=74M642
123.81/118.77	    decisions=27294, wrong=5603, backtracks=1394, failedAssignments=4356, nogoods=2086, foundSolutions=5, bestBound=17
123.81/118.77	    
126.41/121.34	    num=116, depth=5..184, filters=98831, ccks=680, wck=117.607, mem=74M642
126.41/121.34	    decisions=27877, wrong=5809, backtracks=1491, failedAssignments=4475, nogoods=2098, foundSolutions=5, bestBound=17
126.41/121.34	    
130.61/125.54	    num=117, depth=2..128, filters=101957, ccks=680, wck=121.805, mem=74M642
130.61/125.54	    decisions=28461, wrong=6041, backtracks=1612, failedAssignments=4606, nogoods=2166, foundSolutions=5, bestBound=17
130.61/125.54	    
132.51/127.43	    num=118, depth=2..169, filters=103838, ccks=680, wck=123.69, mem=74M642
132.51/127.43	    decisions=28992, wrong=6228, backtracks=1685, failedAssignments=4750, nogoods=2195, foundSolutions=5, bestBound=17
132.51/127.43	    
133.61/128.52	o 18
133.61/128.52	    num=119, depth=2..469, filters=104700, ccks=816, wck=124.782, mem=74M642
133.61/128.52	    decisions=29318, wrong=6279, backtracks=1705, failedAssignments=4781, nogoods=2211, foundSolutions=6, bestBound=18
133.61/128.52	    
138.07/132.97	    num=120, depth=157..194, filters=109470, ccks=816, wck=129.23, mem=74M642
138.07/132.97	    decisions=30329, wrong=6693, backtracks=1981, failedAssignments=4955, nogoods=2219, foundSolutions=6, bestBound=18
138.07/132.97	    
138.68/133.50	    num=121, depth=2..181, filters=109675, ccks=816, wck=129.767, mem=74M642
138.68/133.50	    decisions=30530, wrong=6704, backtracks=1981, failedAssignments=4966, nogoods=2230, foundSolutions=6, bestBound=18
138.68/133.50	    
139.19/134.05	    num=122, depth=1..180, filters=109920, ccks=816, wck=130.317, mem=74M642
139.19/134.05	    decisions=30735, wrong=6719, backtracks=1984, failedAssignments=4978, nogoods=2240, foundSolutions=6, bestBound=18
139.19/134.05	    
139.68/134.57	    num=123, depth=2..176, filters=110114, ccks=816, wck=130.835, mem=74M642
139.68/134.57	    decisions=30937, wrong=6737, backtracks=1989, failedAssignments=4991, nogoods=2247, foundSolutions=6, bestBound=18
139.68/134.57	    
140.08/135.00	    num=124, depth=1..115, filters=110403, ccks=816, wck=131.262, mem=74M642
140.08/135.00	    decisions=31082, wrong=6754, backtracks=1992, failedAssignments=5005, nogoods=2258, foundSolutions=6, bestBound=18
140.08/135.00	    
140.68/135.58	    num=125, depth=2..177, filters=110683, ccks=816, wck=131.85, mem=74M642
140.68/135.58	    decisions=31296, wrong=6777, backtracks=1999, failedAssignments=5021, nogoods=2265, foundSolutions=6, bestBound=18
140.68/135.58	    
141.38/136.29	    num=126, depth=3..173, filters=111158, ccks=816, wck=132.559, mem=74M642
141.38/136.29	    decisions=31520, wrong=6804, backtracks=2009, failedAssignments=5038, nogoods=2271, foundSolutions=6, bestBound=18
141.38/136.29	    
142.08/136.92	    num=127, depth=2..184, filters=111480, ccks=816, wck=133.189, mem=74M642
142.08/136.92	    decisions=31747, wrong=6831, backtracks=2017, failedAssignments=5057, nogoods=2279, foundSolutions=6, bestBound=18
142.08/136.92	    
142.58/137.43	    num=128, depth=95..111, filters=111929, ccks=816, wck=133.694, mem=74M642
142.58/137.43	    decisions=31905, wrong=6857, backtracks=2022, failedAssignments=5078, nogoods=2290, foundSolutions=6, bestBound=18
142.58/137.43	    
142.98/137.89	    num=129, depth=81..102, filters=112394, ccks=816, wck=134.153, mem=74M642
142.98/137.89	    decisions=32054, wrong=6881, backtracks=2023, failedAssignments=5101, nogoods=2306, foundSolutions=6, bestBound=18
142.98/137.89	    
143.48/138.37	    num=130, depth=60..66, filters=112977, ccks=816, wck=134.631, mem=74M642
143.48/138.37	    decisions=32197, wrong=6921, backtracks=2038, failedAssignments=5126, nogoods=2312, foundSolutions=6, bestBound=18
143.48/138.37	    
144.30/139.11	    num=131, depth=3..184, filters=113512, ccks=816, wck=135.372, mem=74M642
144.30/139.11	    decisions=32448, wrong=6962, backtracks=2051, failedAssignments=5154, nogoods=2319, foundSolutions=6, bestBound=18
144.30/139.11	    
144.99/139.85	    num=132, depth=2..163, filters=114249, ccks=816, wck=136.112, mem=74M642
144.99/139.85	    decisions=32709, wrong=7016, backtracks=2082, failedAssignments=5185, nogoods=2330, foundSolutions=6, bestBound=18
144.99/139.85	    
145.69/140.56	    num=133, depth=2..166, filters=114704, ccks=816, wck=136.821, mem=74M642
145.69/140.56	    decisions=32962, wrong=7062, backtracks=2101, failedAssignments=5219, nogoods=2341, foundSolutions=6, bestBound=18
145.69/140.56	    
146.59/141.46	    num=134, depth=1..181, filters=115466, ccks=816, wck=137.724, mem=74M642
146.59/141.46	    decisions=33233, wrong=7111, backtracks=2113, failedAssignments=5256, nogoods=2361, foundSolutions=6, bestBound=18
146.59/141.46	    
147.39/142.25	    num=135, depth=1..170, filters=116093, ccks=816, wck=138.515, mem=74M642
147.39/142.25	    decisions=33512, wrong=7169, backtracks=2146, failedAssignments=5297, nogoods=2373, foundSolutions=6, bestBound=18
147.39/142.25	    
148.41/143.28	    num=136, depth=168..185, filters=116934, ccks=816, wck=139.549, mem=74M642
148.41/143.28	    decisions=33830, wrong=7239, backtracks=2179, failedAssignments=5342, nogoods=2383, foundSolutions=6, bestBound=18
148.41/143.28	    
149.41/144.28	    num=137, depth=3..199, filters=117798, ccks=816, wck=140.547, mem=74M642
149.41/144.28	    decisions=34157, wrong=7313, backtracks=2203, failedAssignments=5392, nogoods=2388, foundSolutions=6, bestBound=18
149.41/144.28	    
150.11/145.00	    num=138, depth=85..113, filters=118646, ccks=816, wck=141.268, mem=74M642
150.11/145.00	    decisions=34403, wrong=7387, backtracks=2222, failedAssignments=5447, nogoods=2400, foundSolutions=6, bestBound=18
150.11/145.00	    
151.72/146.52	    num=139, depth=68..77, filters=120938, ccks=816, wck=142.787, mem=74M642
151.72/146.52	    decisions=34683, wrong=7490, backtracks=2264, failedAssignments=5508, nogoods=2415, foundSolutions=6, bestBound=18
151.72/146.52	    
153.23/148.08	    num=140, depth=1..153, filters=123281, ccks=816, wck=144.345, mem=74M642
153.23/148.08	    decisions=35049, wrong=7600, backtracks=2307, failedAssignments=5575, nogoods=2428, foundSolutions=6, bestBound=18
153.23/148.08	    
154.92/149.72	    num=141, depth=1..168, filters=125770, ccks=816, wck=145.982, mem=74M642
154.92/149.72	    decisions=35444, wrong=7717, backtracks=2350, failedAssignments=5649, nogoods=2438, foundSolutions=6, bestBound=18
154.92/149.72	    
156.62/151.48	    num=142, depth=2..183, filters=127778, ccks=816, wck=147.744, mem=74M642
156.62/151.48	    decisions=35835, wrong=7824, backtracks=2377, failedAssignments=5730, nogoods=2457, foundSolutions=6, bestBound=18
156.62/151.48	    
158.23/153.01	    num=143, depth=2..183, filters=129360, ccks=816, wck=149.277, mem=74M642
158.23/153.01	    decisions=36213, wrong=7924, backtracks=2389, failedAssignments=5819, nogoods=2467, foundSolutions=6, bestBound=18
158.23/153.01	    
160.52/155.38	    num=144, depth=175..182, filters=131808, ccks=816, wck=151.64, mem=74M642
160.52/155.38	    decisions=36684, wrong=8070, backtracks=2439, failedAssignments=5917, nogoods=2474, foundSolutions=6, bestBound=18
160.52/155.38	    
162.12/156.97	    num=145, depth=2..191, filters=133403, ccks=816, wck=153.231, mem=74M642
162.12/156.97	    decisions=37274, wrong=8279, backtracks=2562, failedAssignments=6025, nogoods=2498, foundSolutions=6, bestBound=18
162.12/156.97	    
165.13/159.96	    num=146, depth=64..71, filters=137040, ccks=816, wck=156.229, mem=74M642
165.13/159.96	    decisions=37697, wrong=8456, backtracks=2623, failedAssignments=6144, nogoods=2510, foundSolutions=6, bestBound=18
165.13/159.96	    
167.13/162.00	    num=147, depth=2..214, filters=139395, ccks=816, wck=158.264, mem=74M642
167.13/162.00	    decisions=38283, wrong=8648, backtracks=2689, failedAssignments=6275, nogoods=2541, foundSolutions=6, bestBound=18
167.13/162.00	    
169.53/164.38	    num=148, depth=1..192, filters=142313, ccks=816, wck=160.649, mem=74M642
169.53/164.38	    decisions=38896, wrong=8864, backtracks=2769, failedAssignments=6419, nogoods=2589, foundSolutions=6, bestBound=18
169.53/164.38	    
171.63/166.42	    num=149, depth=57..63, filters=144760, ccks=816, wck=162.68, mem=74M642
171.63/166.42	    decisions=39340, wrong=9056, backtracks=2808, failedAssignments=6577, nogoods=2602, foundSolutions=6, bestBound=18
171.63/166.42	    
174.13/169.00	    num=150, depth=3..163, filters=147734, ccks=816, wck=165.263, mem=74M642
174.13/169.00	    decisions=39955, wrong=9284, backtracks=2872, failedAssignments=6751, nogoods=2632, foundSolutions=6, bestBound=18
174.13/169.00	    
177.13/171.95	    num=151, depth=2..184, filters=151415, ccks=816, wck=168.214, mem=74M642
177.13/171.95	    decisions=40722, wrong=9583, backtracks=3046, failedAssignments=6942, nogoods=2661, foundSolutions=6, bestBound=18
177.13/171.95	    
180.34/175.19	    num=152, depth=161..177, filters=155927, ccks=816, wck=171.457, mem=74M642
180.34/175.19	    decisions=41546, wrong=9907, backtracks=3159, failedAssignments=7153, nogoods=2675, foundSolutions=6, bestBound=18
180.34/175.19	    
183.43/178.27	    num=153, depth=4..169, filters=159951, ccks=816, wck=174.531, mem=74M642
183.43/178.27	    decisions=42381, wrong=10248, backtracks=3268, failedAssignments=7385, nogoods=2689, foundSolutions=6, bestBound=18
183.43/178.27	    
186.44/181.27	    num=154, depth=1..180, filters=163546, ccks=816, wck=177.531, mem=74M642
186.44/181.27	    decisions=43200, wrong=10582, backtracks=3355, failedAssignments=7640, nogoods=2722, foundSolutions=6, bestBound=18
186.44/181.27	    
189.54/184.36	    num=155, depth=59..72, filters=167591, ccks=816, wck=180.625, mem=74M642
189.54/184.36	    decisions=44020, wrong=10958, backtracks=3454, failedAssignments=7921, nogoods=2752, foundSolutions=6, bestBound=18
189.54/184.36	    
194.04/188.81	    num=156, depth=1..179, filters=171804, ccks=816, wck=185.075, mem=74M642
194.04/188.81	    decisions=44995, wrong=11364, backtracks=3607, failedAssignments=8230, nogoods=2793, foundSolutions=6, bestBound=18
194.04/188.81	    
199.04/193.89	    num=157, depth=1..182, filters=178807, ccks=816, wck=190.154, mem=74M642
199.04/193.89	    decisions=46142, wrong=11850, backtracks=3773, failedAssignments=8570, nogoods=2818, foundSolutions=6, bestBound=18
199.04/193.89	    
205.05/199.84	    num=158, depth=1..177, filters=186608, ccks=816, wck=196.101, mem=74M642
205.05/199.84	    decisions=47470, wrong=12432, backtracks=4025, failedAssignments=8944, nogoods=2852, foundSolutions=6, bestBound=18
205.05/199.84	    
209.15/204.00	    num=159, depth=38..56, filters=191459, ccks=816, wck=200.265, mem=74M642
209.15/204.00	    decisions=48471, wrong=12908, backtracks=4093, failedAssignments=9355, nogoods=2887, foundSolutions=6, bestBound=18
209.15/204.00	    
212.66/207.45	    num=160, depth=4..144, filters=195276, ccks=816, wck=203.718, mem=74M642
212.66/207.45	    decisions=49558, wrong=13384, backtracks=4141, failedAssignments=9807, nogoods=2958, foundSolutions=6, bestBound=18
212.66/207.45	    
219.76/214.59	    num=161, depth=1..179, filters=205275, ccks=816, wck=210.855, mem=74M642
219.76/214.59	    decisions=51367, wrong=14217, backtracks=4490, failedAssignments=10304, nogoods=2976, foundSolutions=6, bestBound=18
219.76/214.59	    
227.88/222.69	    num=162, depth=3..187, filters=216716, ccks=816, wck=218.954, mem=74M642
227.88/222.69	    decisions=53332, wrong=15120, backtracks=4846, failedAssignments=10851, nogoods=2984, foundSolutions=6, bestBound=18
227.88/222.69	    
235.48/230.22	    num=163, depth=1..186, filters=227077, ccks=816, wck=226.484, mem=78M939
235.48/230.22	    decisions=55170, wrong=15966, backtracks=5113, failedAssignments=11453, nogoods=3008, foundSolutions=6, bestBound=18
235.48/230.22	    
245.59/240.38	    num=164, depth=47..61, filters=239238, ccks=816, wck=236.649, mem=78M939
245.59/240.38	    decisions=57156, wrong=16933, backtracks=5561, failedAssignments=12115, nogoods=3017, foundSolutions=6, bestBound=18
245.59/240.38	    
255.79/250.55	    num=165, depth=2..210, filters=254085, ccks=816, wck=246.818, mem=78M939
255.79/250.55	    decisions=59565, wrong=18048, backtracks=5962, failedAssignments=12843, nogoods=3035, foundSolutions=6, bestBound=18
255.79/250.55	    
263.30/258.09	    num=166, depth=51..71, filters=261865, ccks=816, wck=254.36, mem=78M939
263.30/258.09	    decisions=61557, wrong=19013, backtracks=6190, failedAssignments=13644, nogoods=3056, foundSolutions=6, bestBound=18
263.30/258.09	    
274.59/269.35	    num=167, depth=1..176, filters=275046, ccks=816, wck=265.616, mem=78M939
274.59/269.35	    decisions=64472, wrong=20389, backtracks=6809, failedAssignments=14525, nogoods=3090, foundSolutions=6, bestBound=18
274.59/269.35	    
286.89/281.64	    num=168, depth=133..163, filters=289847, ccks=816, wck=277.903, mem=78M939
286.89/281.64	    decisions=67643, wrong=21898, backtracks=7580, failedAssignments=15495, nogoods=3125, foundSolutions=6, bestBound=18
286.89/281.64	    
297.60/292.30	    num=169, depth=1..85, filters=303785, ccks=816, wck=288.568, mem=78M939
297.60/292.30	    decisions=71232, wrong=23656, backtracks=8502, failedAssignments=16562, nogoods=3149, foundSolutions=6, bestBound=18
297.60/292.30	    
311.01/305.74	    num=170, depth=1..103, filters=323612, ccks=816, wck=302.004, mem=78M939
311.01/305.74	    decisions=76345, wrong=26166, backtracks=9987, failedAssignments=17735, nogoods=3175, foundSolutions=6, bestBound=18
311.01/305.74	    
324.52/319.29	    num=171, depth=1..133, filters=340018, ccks=816, wck=315.55, mem=78M939
324.52/319.29	    decisions=80647, wrong=28258, backtracks=11186, failedAssignments=19026, nogoods=3201, foundSolutions=6, bestBound=18
324.52/319.29	    
339.34/334.07	    num=172, depth=3..150, filters=357481, ccks=816, wck=330.337, mem=78M939
339.34/334.07	    decisions=85291, wrong=30510, backtracks=12026, failedAssignments=20446, nogoods=3217, foundSolutions=6, bestBound=18
339.34/334.07	    
369.57/364.23	    num=173, depth=46..66, filters=384105, ccks=816, wck=360.495, mem=78M939
369.57/364.23	    decisions=90294, wrong=32983, backtracks=13239, failedAssignments=22008, nogoods=3260, foundSolutions=6, bestBound=18
369.57/364.23	    
387.07/381.76	    num=174, depth=1..161, filters=404969, ccks=816, wck=378.025, mem=78M939
387.07/381.76	    decisions=96364, wrong=35945, backtracks=14814, failedAssignments=23726, nogoods=3280, foundSolutions=6, bestBound=18
387.07/381.76	    
410.58/405.28	    num=175, depth=2..180, filters=436442, ccks=816, wck=401.548, mem=78M939
410.58/405.28	    decisions=103021, wrong=39199, backtracks=16694, failedAssignments=25616, nogoods=3326, foundSolutions=6, bestBound=18
410.58/405.28	    
439.71/434.30	    num=176, depth=3..187, filters=472641, ccks=816, wck=430.563, mem=78M939
439.71/434.30	    decisions=110454, wrong=42839, backtracks=18563, failedAssignments=27695, nogoods=3363, foundSolutions=6, bestBound=18
439.71/434.30	    
470.63/465.27	    num=177, depth=1..184, filters=510654, ccks=816, wck=461.533, mem=78M939
470.63/465.27	    decisions=119903, wrong=47490, backtracks=21316, failedAssignments=29982, nogoods=3369, foundSolutions=6, bestBound=18
470.63/465.27	    
510.24/504.83	    num=178, depth=55..76, filters=554543, ccks=816, wck=501.097, mem=78M939
510.24/504.83	    decisions=126724, wrong=50868, backtracks=22313, failedAssignments=32498, nogoods=3402, foundSolutions=6, bestBound=18
510.24/504.83	    
549.25/543.90	    num=179, depth=2..208, filters=608023, ccks=816, wck=540.16, mem=78M939
549.25/543.90	    decisions=135296, wrong=55072, backtracks=24125, failedAssignments=35266, nogoods=3447, foundSolutions=6, bestBound=18
549.25/543.90	    
585.07/579.61	    num=180, depth=1..168, filters=660505, ccks=816, wck=575.872, mem=78M939
585.07/579.61	    decisions=144743, wrong=59720, backtracks=26440, failedAssignments=38310, nogoods=3500, foundSolutions=6, bestBound=18
585.07/579.61	    
630.68/625.28	    num=181, depth=2..198, filters=729227, ccks=816, wck=621.546, mem=78M939
630.68/625.28	    decisions=154650, wrong=64588, backtracks=28105, failedAssignments=41659, nogoods=3528, foundSolutions=6, bestBound=18
630.68/625.28	    
689.62/684.18	    num=182, depth=1..185, filters=804945, ccks=816, wck=680.446, mem=78M939
689.62/684.18	    decisions=165015, wrong=69692, backtracks=29721, failedAssignments=45343, nogoods=3545, foundSolutions=6, bestBound=18
689.62/684.18	    
757.43/751.90	    num=183, depth=3..158, filters=894557, ccks=816, wck=748.169, mem=78M939
757.43/751.90	    decisions=178442, wrong=76337, backtracks=32771, failedAssignments=49395, nogoods=3567, foundSolutions=6, bestBound=18
757.43/751.90	    
785.85/780.30	    num=184, depth=116..144, filters=934165, ccks=816, wck=776.565, mem=78M939
785.85/780.30	    decisions=189587, wrong=81842, backtracks=34121, failedAssignments=53852, nogoods=3635, foundSolutions=6, bestBound=18
785.85/780.30	    
840.36/834.86	    num=185, depth=2..175, filters=1009273, ccks=816, wck=831.127, mem=78M939
840.36/834.86	    decisions=201718, wrong=87837, backtracks=35445, failedAssignments=58755, nogoods=3677, foundSolutions=6, bestBound=18
840.36/834.86	    
910.50/904.94	    num=186, depth=156..191, filters=1106653, ccks=816, wck=901.208, mem=78M939
910.50/904.94	    decisions=217040, wrong=95415, backtracks=38579, failedAssignments=64149, nogoods=3709, foundSolutions=6, bestBound=18
910.50/904.94	    
961.62/956.06	    num=187, depth=3..187, filters=1170088, ccks=816, wck=952.326, mem=78M939
961.62/956.06	    decisions=231438, wrong=102530, backtracks=40033, failedAssignments=70082, nogoods=3814, foundSolutions=6, bestBound=18
961.62/956.06	    
1042.95/1037.30	    num=188, depth=159..198, filters=1292058, ccks=816, wck=1033.566, mem=78M939
1042.95/1037.30	    decisions=251133, wrong=112296, backtracks=44117, failedAssignments=76608, nogoods=3855, foundSolutions=6, bestBound=18
1042.95/1037.30	    
1130.07/1124.43	    num=189, depth=133..174, filters=1413374, ccks=816, wck=1120.7, mem=78M939
1130.07/1124.43	    decisions=272590, wrong=122949, backtracks=48618, failedAssignments=83787, nogoods=3898, foundSolutions=6, bestBound=18
1130.07/1124.43	    
1245.61/1239.94	    num=190, depth=2..143, filters=1589909, ccks=816, wck=1236.204, mem=83M236
1245.61/1239.94	    decisions=296884, wrong=135032, backtracks=54035, failedAssignments=91684, nogoods=3925, foundSolutions=6, bestBound=18
1245.61/1239.94	    
1347.77/1342.02	    num=191, depth=1..179, filters=1736462, ccks=816, wck=1338.29, mem=83M236
1347.77/1342.02	    decisions=321314, wrong=147176, backtracks=58799, failedAssignments=100371, nogoods=3982, foundSolutions=6, bestBound=18
1347.77/1342.02	    
1478.81/1473.05	    num=192, depth=60..76, filters=1934808, ccks=816, wck=1469.313, mem=83M236
1478.81/1473.05	    decisions=351915, wrong=162444, backtracks=65519, failedAssignments=109926, nogoods=3992, foundSolutions=6, bestBound=18
1478.81/1473.05	    
1631.26/1625.48	    num=193, depth=2..189, filters=2179676, ccks=816, wck=1621.74, mem=83M236
1631.26/1625.48	    decisions=384358, wrong=178581, backtracks=73247, failedAssignments=120437, nogoods=4018, foundSolutions=6, bestBound=18
1631.26/1625.48	    
1810.12/1804.25	    num=194, depth=1..178, filters=2437717, ccks=816, wck=1800.513, mem=83M236
1810.12/1804.25	    decisions=417579, wrong=195115, backtracks=81397, failedAssignments=131999, nogoods=4031, foundSolutions=6, bestBound=18
1810.12/1804.25	    
2011.89/2005.97	    num=195, depth=2..198, filters=2745799, ccks=816, wck=2002.239, mem=83M236
2011.89/2005.97	    decisions=452816, wrong=212654, backtracks=89604, failedAssignments=144717, nogoods=4091, foundSolutions=6, bestBound=18
2011.89/2005.97	    
2218.26/2212.20	    num=196, depth=1..159, filters=3067786, ccks=816, wck=2208.461, mem=83M236
2218.26/2212.20	    decisions=491666, wrong=232005, backtracks=99748, failedAssignments=158707, nogoods=4132, foundSolutions=6, bestBound=18
2218.26/2212.20	    
2321.12/2315.04	    num=197, depth=2..155, filters=3186620, ccks=816, wck=2311.303, mem=83M236
2321.12/2315.04	    decisions=528654, wrong=250425, backtracks=103712, failedAssignments=174096, nogoods=4219, foundSolutions=6, bestBound=18
2321.12/2315.04	    
2520.08/2513.90	
2520.08/2513.90	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>
2520.08/2513.90	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 (13034 MiB free)
  memory of node 1: 16384 MiB (11898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390992-1568385547/watcher-4390992-1568385547 -o /tmp/evaluation-result-4390992-1568385547/solver-4390992-1568385547 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6729 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390992-1568385547.xml -cm 

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

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


[startup+0.100128 s]*
/proc/loadavg: 1.88 1.94 1.94 4/228 7505
/proc/meminfo: memFree=25516200/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10659884 memory=28004 CPUtime=0.14 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 5453 0 0 0 13 1 0 0 20 0 15 0 414494828 10915721216 7001 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2664971 7001 2902 1 0 2627468 0
[pid=7490/tid=7492] ppid=7487 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7487 7490 6698 0 -1 4202560 3302 0 0 0 9 0 0 0 20 0 15 0 414494828 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624736082832 140624716084148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10659884 memory=5793855742007011769 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494830 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624305865504 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624304813168 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 414494833 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0.02 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) R 7487 7490 6698 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 414494833 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624300604272 140624710344625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) R 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494834 10915721216 7001 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28004 KiB

[startup+0.210766 s]*
/proc/loadavg: 1.88 1.94 1.94 3/228 7505
/proc/meminfo: memFree=25509364/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10659884 memory=34980 CPUtime=0.33 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 6881 0 0 0 31 2 0 0 20 0 15 0 414494828 10915721216 8745 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2664971 8745 2989 1 0 2627468 0
[pid=7490/tid=7492] ppid=7487 vsize=10659884 memory=-3103912127665269909 CPUtime=0.19 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7487 7490 6698 0 -1 4202560 3875 0 0 0 19 0 0 0 20 0 15 0 414494828 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624736084576 140624731874461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10659884 memory=4211974217201909130 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494830 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624305865504 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624304813168 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 796 0 0 0 3 0 0 0 20 0 15 0 414494833 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 414494833 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0.05 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 762 0 0 0 5 0 0 0 20 0 15 0 414494833 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494834 10915721216 8745 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34980 KiB

[startup+0.310389 s]*
/proc/loadavg: 1.88 1.94 1.94 3/228 7505
/proc/meminfo: memFree=25500724/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10659884 memory=40108 CPUtime=0.47 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 9404 0 0 0 44 3 0 0 20 0 15 0 414494828 10915721216 10027 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2664971 10027 3001 1 0 2627468 0
[pid=7490/tid=7492] ppid=7487 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7487 7490 6698 0 -1 4202560 6324 0 0 0 28 2 0 0 20 0 15 0 414494828 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624736073424 140624731874461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10659884 memory=4211974217201909130 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10659884 memory=140490997121001 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10659884 memory=140490863395898 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10659884 memory=140490863398351 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10659884 memory=140490997125317 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494830 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10659884 memory=140490863407567 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624305865504 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10659884 memory=280981726805904 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414494831 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624304813168 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10659884 memory=280981726803568 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 835 0 0 0 4 0 0 0 20 0 15 0 414494833 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10659884 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 95 0 0 0 3 0 0 0 20 0 15 0 414494833 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0.07 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) R 7487 7490 6698 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 15 0 414494833 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624300604272 140624715933022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10659884 memory=140490997118592 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494834 10915721216 10027 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40108 KiB

[startup+0.700749 s]
/proc/loadavg: 1.88 1.94 1.94 3/228 7505
/proc/meminfo: memFree=25494276/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10661932 memory=62488 CPUtime=1.08 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 12752 0 0 0 103 5 0 0 20 0 15 0 414494828 10917818368 15622 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2665483 15622 3069 1 0 2627980 0
[pid=7490/tid=7492] ppid=7487 vsize=10661932 memory=10604 CPUtime=0.68 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7487 7490 6698 0 -1 4202560 8875 0 0 0 65 3 0 0 20 0 15 0 414494828 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624736075616 140624715933022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10661932 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10661932 memory=7524201410499929408 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494829 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10661932 memory=7738707435814409832 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10661932 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494830 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414494831 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624305865504 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414494831 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624304813168 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10661932 memory=353 CPUtime=0.11 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) R 7487 7490 6698 0 -1 4202560 1031 0 0 0 11 0 0 0 20 0 15 0 414494833 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624302709360 140624711506480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10661932 memory=317 CPUtime=0.08 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 330 0 0 0 8 0 0 0 20 0 15 0 414494833 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10661932 memory=11 CPUtime=0.18 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 1156 0 0 0 18 0 0 0 20 0 15 0 414494833 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10661932 memory=280981726989808 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414494833 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494834 10917818368 15622 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62488 KiB

[startup+1.50081 s]
/proc/loadavg: 1.89 1.94 1.95 3/210 7536
/proc/meminfo: memFree=25680400/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10663980 memory=74992 CPUtime=1.98 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 18276 0 0 0 193 5 0 0 20 0 15 0 414494828 10919915520 18748 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2665995 18748 3096 1 0 2628492 0
[pid=7490/tid=7492] ppid=7487 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) R 7487 7490 6698 0 -1 4202560 12965 0 0 0 144 4 0 0 20 0 15 0 414494828 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624736078416 140624712127687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10663980 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10663980 memory=-7385037615309293160 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414494829 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10663980 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414494829 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10663980 memory=7682744562830902074 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414494830 10919915520 18748 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0

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

/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 57 0 0 0 4 1 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.04 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 1820 0 0 0 3 1 0 0 20 0 16 0 414494830 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624305865568 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624304813184 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.07 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 12237 0 0 0 206 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.22 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 12678 0 0 0 221 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10748324 memory=3620 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 14179 0 0 0 79 2 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10748324 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.78 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1288 0 0 0 32 46 0 0 20 0 16 0 414494834 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7583] ppid=7487 vsize=10748324 memory=376228 CPUtime=2440.29 cores=0,2,4,6
/proc/7490/task/7583/stat : 7583 (java) R 7487 7490 6698 0 -1 4202560 17534 0 0 0 244022 7 0 0 20 0 16 0 414495020 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624281422992 140624366368210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 2448.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 376228 KiB

[startup+2502.3 s]
/proc/loadavg: 1.87 1.84 1.78 3/231 8004
/proc/meminfo: memFree=25149448/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10748324 memory=376228 CPUtime=2508.47 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 76825 0 0 0 250790 57 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2687081 94057 3364 1 0 2647217 0
[pid=7490/tid=7492] ppid=7487 vsize=10748324 memory=21292 CPUtime=1.9 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7490 6698 0 -1 1077944384 15313 0 0 0 185 5 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624736095408 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 64 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10748324 memory=280981727910976 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.05 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 57 0 0 0 4 1 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.04 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 1820 0 0 0 3 1 0 0 20 0 16 0 414494830 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624305865568 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624304813184 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.07 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 12237 0 0 0 206 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10748324 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 12678 0 0 0 221 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 14179 0 0 0 79 2 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10748324 memory=207 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1292 0 0 0 33 48 0 0 20 0 16 0 414494834 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7583] ppid=7487 vsize=10748324 memory=0 CPUtime=2500.29 cores=0,2,4,6
/proc/7490/task/7583/stat : 7583 (java) R 7487 7490 6698 0 -1 4202560 17560 0 0 0 250022 7 0 0 20 0 16 0 414495020 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624281422992 140624366368541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 2508.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 376228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.9 s]
/proc/loadavg: 1.74 1.81 1.77 3/231 8005
/proc/meminfo: memFree=25149636/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10748324 memory=376228 CPUtime=2520.08 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 76827 0 0 0 251950 58 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2687081 94057 3364 1 0 2647217 0
[pid=7490/tid=7492] ppid=7487 vsize=10748324 memory=376228 CPUtime=1.9 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7490 6698 0 -1 1077944384 15313 0 0 0 185 5 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624736095408 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 64 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10748324 memory=280981727910976 CPUtime=0.05 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 57 0 0 0 4 1 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.04 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 1820 0 0 0 3 1 0 0 20 0 16 0 414494830 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624305865568 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624304813184 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.07 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 12237 0 0 0 206 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.22 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 12678 0 0 0 221 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 14179 0 0 0 79 2 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1294 0 0 0 33 48 0 0 20 0 16 0 414494834 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7583] ppid=7487 vsize=10748324 memory=6655300316396806240 CPUtime=2511.89 cores=0,2,4,6
/proc/7490/task/7583/stat : 7583 (java) R 7487 7490 6698 0 -1 4202560 17560 0 0 0 251182 7 0 0 20 0 16 0 414495020 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624281422992 140624366765435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 376228 KiB

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

[startup+2513.91 s]
# the end of solver process 7490 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.52 s, system=0.587123 s

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

[startup+2513.9 s]
/proc/loadavg: 1.74 1.81 1.77 3/231 8005
/proc/meminfo: memFree=25149636/32770624 swapFree=66959224/67108860
[pid=7490] ppid=7487 vsize=10748324 memory=376228 CPUtime=2520.08 cores=0,2,4,6
/proc/7490/stat : 7490 (java) S 7487 7490 6698 0 -1 1077944320 76827 0 0 0 251950 58 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140726079491408 140624731852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
/proc/7490/statm: 2687081 94057 3364 1 0 2647217 0
[pid=7490/tid=7492] ppid=7487 vsize=10748324 memory=376228 CPUtime=1.9 cores=0,2,4,6
/proc/7490/task/7492/stat : 7492 (java) S 7487 7490 6698 0 -1 1077944384 15313 0 0 0 185 5 0 0 20 0 16 0 414494828 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624736095408 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7493] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7493/stat : 7493 (java) S 7487 7490 6698 0 -1 1077944384 169 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624684473232 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7494] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7494/stat : 7494 (java) S 7487 7490 6698 0 -1 1077944384 64 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624683420432 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7495] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.06 cores=0,2,4,6
/proc/7490/task/7495/stat : 7495 (java) S 7487 7490 6698 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624682368144 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7496] ppid=7487 vsize=10748324 memory=280981727910976 CPUtime=0.05 cores=0,2,4,6
/proc/7490/task/7496/stat : 7496 (java) S 7487 7490 6698 0 -1 1077944384 57 0 0 0 4 1 0 0 20 0 16 0 414494829 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624681315344 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7497] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.04 cores=0,2,4,6
/proc/7490/task/7497/stat : 7497 (java) S 7487 7490 6698 0 -1 1077944384 1820 0 0 0 3 1 0 0 20 0 16 0 414494830 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624306919536 140624731863682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7498] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7498/stat : 7498 (java) S 7487 7490 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624305865568 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7499] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7499/stat : 7499 (java) S 7487 7490 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414494831 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624304813184 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7500] ppid=7487 vsize=10748324 memory=376228 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7500/stat : 7500 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624303761488 140624731871131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7501] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.07 cores=0,2,4,6
/proc/7490/task/7501/stat : 7501 (java) S 7487 7490 6698 0 -1 1077944384 12237 0 0 0 206 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624302709360 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7502] ppid=7487 vsize=10748324 memory=376228 CPUtime=2.22 cores=0,2,4,6
/proc/7490/task/7502/stat : 7502 (java) S 7487 7490 6698 0 -1 1077944384 12678 0 0 0 221 1 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624301656560 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7503] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7503/stat : 7503 (java) S 7487 7490 6698 0 -1 1077944384 14179 0 0 0 79 2 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624300604272 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7504] ppid=7487 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/7490/task/7504/stat : 7504 (java) S 7487 7490 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414494833 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624299551712 140624731862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7505] ppid=7487 vsize=10748324 memory=376228 CPUtime=0.81 cores=0,2,4,6
/proc/7490/task/7505/stat : 7505 (java) S 7487 7490 6698 0 -1 1077944384 1294 0 0 0 33 48 0 0 20 0 16 0 414494834 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624298498480 140624731863682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
[pid=7490/tid=7583] ppid=7487 vsize=10748324 memory=6655300316396806240 CPUtime=2511.89 cores=0,2,4,6
/proc/7490/task/7583/stat : 7583 (java) R 7487 7490 6698 0 -1 4202560 17560 0 0 0 251182 7 0 0 20 0 16 0 414495020 11006283776 94057 33554432000 4194304 4196468 140726079508864 140624281422992 140624366765435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18989056 140726079517707 140726079517810 140726079517810 140726079520719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 376228 KiB

Child status: 143
Real time (s): 2513.91
CPU time (s): 2520.1
CPU user time (s): 2519.52
CPU system time (s): 0.587123
CPU usage (%): 100.246
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 376228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.587123
maximum resident set size= 376940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58050
involuntary context switches= 2233


# summary of solver processes directly reported to runsolver:
#   pid: 7490
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2519.52
#   total CPU system time (s): 0.587123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.638 second user time and 19.3965 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 16:38:27
IDJOB=4390992
IDBENCH=138293
IDSOLVER=2832
FILE ID=node124/4390992-1568385547
RUNJOBID= node124-1568380476-6729
PBS_JOBID= 21701840
Free space on /tmp= 55356 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-4390992-1568385547/watcher-4390992-1568385547 -o /tmp/evaluation-result-4390992-1568385547/solver-4390992-1568385547 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6729 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390992-1568385547.xml -cm

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

MD5SUM BENCH= 9ef2b094cdda1b830103df1ca446c40b
RANDOM SEED=993803669

node124.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.47
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.47
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.47
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.47
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:        25531588 kB
MemAvailable:   31614484 kB
Buffers:          166048 kB
Cached:          6160388 kB
SwapCached:        45888 kB
Active:          1317804 kB
Inactive:        5261048 kB
Active(anon):     205496 kB
Inactive(anon):    87928 kB
Active(file):    1112308 kB
Inactive(file):  5173120 kB
Unevictable:      108760 kB
Mlocked:          108760 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:              8696 kB
Writeback:             0 kB
AnonPages:        315868 kB
Mapped:            56048 kB
Shmem:             32744 kB
Slab:             254476 kB
SReclaimable:     225928 kB
SUnreclaim:        28548 kB
KernelStack:        3728 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1143684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55348 MiB
End job on node124 at 2019-09-13 17:20:21