Trace number 4391297

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)14 2400.11 2396.41

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r2.xml
MD5SUM1feceec156c21411e87c939d9e284415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2003.34
Satisfiable
(Un)Satisfiability was proved
Number of variables3001
Number of constraints54
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3001}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}]
Minimum constraint arity139
Maximum constraint arity479
Distribution of constraint arities[{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":54}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2.40/1.88	
2.40/1.88	AbsCon 2 
2.40/1.89	
3.31/2.12	  Instance
3.31/2.12	    name=instance-4391297-1568390463, framework=COP, bounds=-infty..+infty
3.31/2.12	
3.31/2.12	  Loading variables...
3.61/2.22	  Loading constraints...
3.98/2.38	
3.98/2.38	  Domains
3.98/2.38	    nTypes=1, nValues=6002, sizes=[2#3001]
3.98/2.38	  Variables
3.98/2.38	    count=3001, degrees=[2#11,3#68,4#284,5#1134,6#908,7#436,8#123,9#37]
3.98/2.38	  Objectives
3.98/2.38	    way=min, type=SumSimpleLE
3.98/2.38	  Constraints
3.98/2.38	    count=55, nSpecific=55, arities=[139#1,140#1,143#1,153#3...458#1,472#1,479#1,3001#1]
3.98/2.38	    distribution=[Exactly1#54,SumSimpleLE#1]
3.98/2.38	    wck=0.534, cpu=2.336, mem=71M677
3.98/2.39	  Solver SolverBacktrack being built...
3.98/2.39	
4.29/2.44	
4.29/2.44	  Solver
4.29/2.44	    guaranteedGAC=true
4.29/2.44	    wck=0.593, cpu=2.394, mem=87M433
4.29/2.45	
4.29/2.45	  Preprocessing
4.29/2.45	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.29/2.45	    wck=0.006, cpu=2.404, mem=87M433
4.29/2.45	
4.54/2.58	    num=0, depth=509..531, filters=606, wck=0.139, mem=87M433
4.54/2.58	    decisions=641, wrong=66, backtracks=70, failedAssignments=10, nogoods=1
4.54/2.58	    
4.95/2.74	    num=1, depth=1822..1842, filters=1189, wck=0.296, mem=87M433
4.95/2.74	    decisions=2594, wrong=126, backtracks=130, failedAssignments=21, nogoods=3
4.95/2.74	    
5.21/2.94	    num=2, depth=2573..2646, filters=2071, wck=0.505, mem=87M433
5.21/2.94	    decisions=5397, wrong=241, backtracks=244, failedAssignments=33, nogoods=4
5.21/2.94	    
5.47/3.17	    num=3, depth=2718..2789, filters=3564, wck=0.734, mem=87M433
5.47/3.17	    decisions=8613, wrong=489, backtracks=493, failedAssignments=46, nogoods=6
5.47/3.17	    
5.76/3.39	    num=4, depth=2707..2780, filters=4443, wck=0.952, mem=87M433
5.76/3.39	    decisions=11569, wrong=612, backtracks=614, failedAssignments=60, nogoods=8
5.76/3.39	    
6.08/3.61	    num=5, depth=2617..2668, filters=5545, wck=1.166, mem=87M433
6.08/3.61	    decisions=14493, wrong=765, backtracks=758, failedAssignments=76, nogoods=11
6.08/3.61	    
6.32/3.81	    num=6, depth=2573..2608, filters=6552, wck=1.371, mem=87M433
6.32/3.81	    decisions=17280, wrong=868, backtracks=860, failedAssignments=93, nogoods=14
6.32/3.81	    
6.53/4.03	    num=7, depth=2729..2792, filters=7938, wck=1.594, mem=87M433
6.53/4.03	    decisions=20272, wrong=998, backtracks=990, failedAssignments=112, nogoods=18
6.53/4.03	    
6.72/4.24	    num=8, depth=2525..2553, filters=9085, wck=1.803, mem=87M433
6.72/4.24	    decisions=23089, wrong=1136, backtracks=1130, failedAssignments=133, nogoods=20
6.72/4.24	    
6.93/4.46	    num=9, depth=2596..2666, filters=10469, wck=2.022, mem=87M433
6.93/4.46	    decisions=25914, wrong=1249, backtracks=1247, failedAssignments=156, nogoods=22
6.93/4.46	    
7.13/4.66	    num=10, depth=2293..2344, filters=11709, wck=2.219, mem=87M433
7.13/4.66	    decisions=28383, wrong=1337, backtracks=1329, failedAssignments=181, nogoods=24
7.13/4.66	    
7.33/4.86	o 18
7.33/4.87	    num=11, depth=2313..3000, filters=12807, ccks=55, wck=2.428, mem=90M37
7.33/4.87	    decisions=30916, wrong=1440, backtracks=1430, failedAssignments=198, nogoods=27, foundSolutions=1, bestBound=18
7.33/4.87	    
7.91/5.31	    num=12, depth=2548..2589, filters=14185, ccks=55, wck=2.868, mem=90M37
7.91/5.31	    decisions=33676, wrong=1545, backtracks=1533, failedAssignments=229, nogoods=29, foundSolutions=1, bestBound=18
7.91/5.31	    
8.32/5.72	    num=13, depth=2539..2586, filters=14920, ccks=55, wck=3.283, mem=90M37
8.32/5.72	    decisions=36331, wrong=1603, backtracks=1580, failedAssignments=240, nogoods=30, foundSolutions=1, bestBound=18
8.32/5.72	    
8.76/6.11	    num=14, depth=2259..2336, filters=15757, ccks=55, wck=3.674, mem=91M358
8.76/6.11	    decisions=38757, wrong=1663, backtracks=1635, failedAssignments=252, nogoods=34, foundSolutions=1, bestBound=18
8.76/6.11	    
9.17/6.52	    num=15, depth=2403..2448, filters=16707, ccks=55, wck=4.085, mem=91M358
9.17/6.52	    decisions=41298, wrong=1732, backtracks=1705, failedAssignments=265, nogoods=35, foundSolutions=1, bestBound=18
9.17/6.52	    
9.59/6.92	    num=16, depth=2326..2355, filters=17500, ccks=55, wck=4.481, mem=91M358
9.59/6.92	    decisions=43746, wrong=1793, backtracks=1764, failedAssignments=279, nogoods=38, foundSolutions=1, bestBound=18
9.59/6.92	    
9.99/7.31	o 17
9.99/7.31	    num=17, depth=2306..3000, filters=18109, ccks=110, wck=4.87, mem=91M358
9.99/7.31	    decisions=46168, wrong=1846, backtracks=1810, failedAssignments=289, nogoods=42, foundSolutions=2, bestBound=17
9.99/7.31	    
10.42/7.74	    num=18, depth=2485..2533, filters=19367, ccks=110, wck=5.297, mem=91M358
10.42/7.74	    decisions=48819, wrong=1929, backtracks=1892, failedAssignments=306, nogoods=43, foundSolutions=2, bestBound=17
10.42/7.74	    
10.84/8.11	    num=19, depth=2202..2239, filters=19708, ccks=110, wck=5.668, mem=91M358
10.84/8.11	    decisions=51100, wrong=1958, backtracks=1918, failedAssignments=317, nogoods=46, foundSolutions=2, bestBound=17
10.84/8.11	    
11.13/8.49	    num=20, depth=2352..2364, filters=20026, ccks=110, wck=6.05, mem=91M358
11.13/8.49	    decisions=53525, wrong=1992, backtracks=1954, failedAssignments=329, nogoods=50, foundSolutions=2, bestBound=17
11.13/8.49	    
11.63/8.91	    num=21, depth=2505..2553, filters=20831, ccks=110, wck=6.466, mem=93M954
11.63/8.91	    decisions=56152, wrong=2053, backtracks=2002, failedAssignments=342, nogoods=51, foundSolutions=2, bestBound=17
11.63/8.91	    
12.03/9.32	    num=22, depth=2315..2384, filters=21950, ccks=110, wck=6.878, mem=93M954
12.03/9.32	    decisions=58647, wrong=2143, backtracks=2092, failedAssignments=356, nogoods=53, foundSolutions=2, bestBound=17
12.03/9.32	    
12.44/9.72	    num=23, depth=2272..2338, filters=23114, ccks=110, wck=7.281, mem=93M954
12.44/9.72	    decisions=61113, wrong=2240, backtracks=2184, failedAssignments=372, nogoods=55, foundSolutions=2, bestBound=17
12.44/9.72	    
12.85/10.14	    num=24, depth=2257..2330, filters=24611, ccks=110, wck=7.703, mem=93M954
12.85/10.14	    decisions=63582, wrong=2346, backtracks=2280, failedAssignments=389, nogoods=56, foundSolutions=2, bestBound=17
12.85/10.14	    
13.24/10.52	    num=25, depth=2194..2210, filters=25161, ccks=110, wck=8.081, mem=93M954
13.24/10.52	    decisions=65901, wrong=2406, backtracks=2339, failedAssignments=408, nogoods=60, foundSolutions=2, bestBound=17
13.24/10.52	    
13.64/10.95	    num=26, depth=2316..2392, filters=26862, ccks=110, wck=8.516, mem=93M954
13.64/10.95	    decisions=68440, wrong=2517, backtracks=2444, failedAssignments=429, nogoods=63, foundSolutions=2, bestBound=17
13.64/10.95	    
14.04/11.35	    num=27, depth=2204..2241, filters=27841, ccks=110, wck=8.909, mem=93M954
14.04/11.35	    decisions=70799, wrong=2593, backtracks=2522, failedAssignments=452, nogoods=65, foundSolutions=2, bestBound=17
14.04/11.35	    
14.44/11.73	    num=28, depth=2153..2185, filters=28761, ccks=110, wck=9.296, mem=93M954
14.44/11.73	    decisions=73149, wrong=2684, backtracks=2621, failedAssignments=477, nogoods=67, foundSolutions=2, bestBound=17
14.44/11.73	    
14.85/12.20	    num=29, depth=2512..2599, filters=31142, ccks=110, wck=9.76, mem=93M954
14.85/12.20	    decisions=75954, wrong=2828, backtracks=2764, failedAssignments=505, nogoods=69, foundSolutions=2, bestBound=17
14.85/12.20	    
15.36/12.64	    num=30, depth=2102..2209, filters=33205, ccks=110, wck=10.205, mem=93M954
15.36/12.64	    decisions=78344, wrong=2972, backtracks=2891, failedAssignments=536, nogoods=71, foundSolutions=2, bestBound=17
15.36/12.64	    
15.77/13.02	o 16
15.77/13.02	    num=31, depth=2068..3000, filters=33734, ccks=165, wck=10.582, mem=93M954
15.77/13.02	    decisions=80546, wrong=3014, backtracks=2929, failedAssignments=541, nogoods=75, foundSolutions=3, bestBound=16
15.77/13.02	    
16.18/13.40	    num=32, depth=1987..2030, filters=35228, ccks=165, wck=10.957, mem=93M954
16.18/13.40	    decisions=82789, wrong=3142, backtracks=3059, failedAssignments=578, nogoods=76, foundSolutions=3, bestBound=16
16.18/13.40	    
16.48/13.79	    num=33, depth=2412..2434, filters=35747, ccks=165, wck=11.35, mem=93M954
16.48/13.79	    decisions=85292, wrong=3187, backtracks=3101, failedAssignments=589, nogoods=78, foundSolutions=3, bestBound=16
16.48/13.79	    
16.98/14.20	    num=34, depth=2415..2466, filters=36622, ccks=165, wck=11.76, mem=93M954
16.98/14.20	    decisions=87851, wrong=3259, backtracks=3169, failedAssignments=601, nogoods=79, foundSolutions=3, bestBound=16
16.98/14.20	    
17.38/14.62	    num=35, depth=2298..2377, filters=37967, ccks=165, wck=12.18, mem=93M954
17.38/14.62	    decisions=90347, wrong=3358, backtracks=3263, failedAssignments=614, nogoods=80, foundSolutions=3, bestBound=16
17.38/14.62	    
17.79/15.04	    num=36, depth=2179..2259, filters=39371, ccks=165, wck=12.606, mem=93M954
17.79/15.04	    decisions=92722, wrong=3456, backtracks=3355, failedAssignments=628, nogoods=82, foundSolutions=3, bestBound=16
17.79/15.04	    
18.09/15.40	o 15
18.19/15.40	    num=37, depth=1896..3000, filters=39878, ccks=220, wck=12.959, mem=96M551
18.19/15.40	    decisions=94735, wrong=3507, backtracks=3399, failedAssignments=643, nogoods=88, foundSolutions=4, bestBound=15
18.19/15.40	    
18.55/15.77	    num=38, depth=1966..2014, filters=40864, ccks=220, wck=13.332, mem=96M551
18.55/15.77	    decisions=96886, wrong=3591, backtracks=3479, failedAssignments=660, nogoods=91, foundSolutions=4, bestBound=15
18.55/15.77	    
18.96/16.13	    num=39, depth=2068..2085, filters=41255, ccks=220, wck=13.689, mem=96M551
18.96/16.13	    decisions=99026, wrong=3625, backtracks=3510, failedAssignments=671, nogoods=93, foundSolutions=4, bestBound=15
18.96/16.13	    
19.41/16.52	    num=40, depth=2052..2085, filters=42304, ccks=220, wck=14.082, mem=96M551
19.41/16.52	    decisions=101225, wrong=3694, backtracks=3575, failedAssignments=683, nogoods=96, foundSolutions=4, bestBound=15
19.41/16.52	    
19.82/16.90	    num=41, depth=1918..1976, filters=43365, ccks=220, wck=14.461, mem=96M551
19.82/16.90	    decisions=103291, wrong=3768, backtracks=3643, failedAssignments=696, nogoods=97, foundSolutions=4, bestBound=15
19.82/16.90	    
20.12/17.24	    num=42, depth=1786..1818, filters=43797, ccks=220, wck=14.8, mem=96M551
20.12/17.24	    decisions=105169, wrong=3814, backtracks=3675, failedAssignments=710, nogoods=98, foundSolutions=4, bestBound=15
20.12/17.24	    
20.42/17.55	    num=43, depth=1674..1711, filters=44267, ccks=220, wck=15.113, mem=96M551
20.42/17.55	    decisions=106980, wrong=3874, backtracks=3733, failedAssignments=726, nogoods=103, foundSolutions=4, bestBound=15
20.42/17.55	    
20.72/17.88	    num=44, depth=1753..1786, filters=44864, ccks=220, wck=15.438, mem=96M551
20.72/17.88	    decisions=108879, wrong=3940, backtracks=3795, failedAssignments=743, nogoods=107, foundSolutions=4, bestBound=15
20.72/17.88	    
21.19/18.27	    num=45, depth=1925..2023, filters=46595, ccks=220, wck=15.83, mem=96M551
21.19/18.27	    decisions=111092, wrong=4083, backtracks=3939, failedAssignments=762, nogoods=109, foundSolutions=4, bestBound=15
21.19/18.27	    
21.59/18.62	    num=46, depth=1686..1738, filters=47893, ccks=220, wck=16.179, mem=96M551
21.59/18.62	    decisions=113029, wrong=4186, backtracks=4044, failedAssignments=783, nogoods=112, foundSolutions=4, bestBound=15
21.59/18.62	    
21.89/18.99	    num=47, depth=1796..1853, filters=49177, ccks=220, wck=16.549, mem=96M551
21.89/18.99	    decisions=115045, wrong=4296, backtracks=4156, failedAssignments=806, nogoods=113, foundSolutions=4, bestBound=15
21.89/18.99	    
22.29/19.36	    num=48, depth=1821..1873, filters=50482, ccks=220, wck=16.925, mem=96M551
22.29/19.36	    decisions=117092, wrong=4407, backtracks=4262, failedAssignments=831, nogoods=115, foundSolutions=4, bestBound=15
22.29/19.36	    
22.70/19.71	    num=49, depth=1830..1855, filters=51664, ccks=220, wck=17.273, mem=96M551
22.70/19.71	    decisions=119161, wrong=4526, backtracks=4387, failedAssignments=859, nogoods=118, foundSolutions=4, bestBound=15
22.70/19.71	    
23.11/20.13	    num=50, depth=2139..2215, filters=53730, ccks=220, wck=17.691, mem=96M551
23.11/20.13	    decisions=121613, wrong=4678, backtracks=4538, failedAssignments=890, nogoods=121, foundSolutions=4, bestBound=15
23.11/20.13	    
23.50/20.57	    num=51, depth=2185..2288, filters=55710, ccks=220, wck=18.131, mem=96M551
23.50/20.57	    decisions=124080, wrong=4819, backtracks=4656, failedAssignments=924, nogoods=122, foundSolutions=4, bestBound=15
23.50/20.57	    
23.90/20.98	    num=52, depth=1891..1996, filters=57798, ccks=220, wck=18.54, mem=96M551
23.90/20.98	    decisions=126283, wrong=4975, backtracks=4790, failedAssignments=961, nogoods=123, foundSolutions=4, bestBound=15
23.90/20.98	    
24.30/21.35	    num=53, depth=1895..1930, filters=59535, ccks=220, wck=18.915, mem=96M551
24.30/21.35	    decisions=128481, wrong=5124, backtracks=4957, failedAssignments=1002, nogoods=125, foundSolutions=4, bestBound=15
24.30/21.35	    
24.70/21.79	    num=54, depth=2358..2416, filters=61623, ccks=220, wck=19.354, mem=96M551
24.70/21.79	    decisions=131151, wrong=5278, backtracks=5110, failedAssignments=1047, nogoods=129, foundSolutions=4, bestBound=15
24.70/21.79	    
25.20/22.25	    num=55, depth=2303..2376, filters=64198, ccks=220, wck=19.809, mem=96M551
25.20/22.25	    decisions=133828, wrong=5465, backtracks=5293, failedAssignments=1097, nogoods=130, foundSolutions=4, bestBound=15
25.20/22.25	    
25.70/22.77	    num=56, depth=2268..2418, filters=68586, ccks=220, wck=20.335, mem=96M551
25.70/22.77	    decisions=136680, wrong=5757, backtracks=5577, failedAssignments=1152, nogoods=131, foundSolutions=4, bestBound=15
25.70/22.77	    
26.20/23.28	    num=57, depth=2216..2317, filters=72585, ccks=220, wck=20.845, mem=96M551
26.20/23.28	    decisions=139456, wrong=6037, backtracks=5865, failedAssignments=1213, nogoods=133, foundSolutions=4, bestBound=15
26.20/23.28	    
26.60/23.69	    num=58, depth=2245..2277, filters=74051, ccks=220, wck=21.248, mem=96M551
26.60/23.69	    decisions=142086, wrong=6224, backtracks=6057, failedAssignments=1280, nogoods=137, foundSolutions=4, bestBound=15
26.60/23.69	    
27.20/24.23	    num=59, depth=2484..2617, filters=78428, ccks=220, wck=21.788, mem=96M551
27.20/24.23	    decisions=145181, wrong=6528, backtracks=6347, failedAssignments=1354, nogoods=141, foundSolutions=4, bestBound=15
27.20/24.23	    
27.71/24.70	    num=60, depth=2302..2355, filters=82221, ccks=220, wck=22.264, mem=99M136
27.71/24.70	    decisions=148194, wrong=6879, backtracks=6696, failedAssignments=1435, nogoods=144, foundSolutions=4, bestBound=15
27.71/24.70	    
28.21/25.27	    num=61, depth=2576..2768, filters=88257, ccks=220, wck=22.835, mem=99M136
28.21/25.27	    decisions=151546, wrong=7267, backtracks=7093, failedAssignments=1524, nogoods=146, foundSolutions=4, bestBound=15
28.21/25.27	    
28.81/25.83	    num=62, depth=2564..2642, filters=93562, ccks=220, wck=23.39, mem=99M136
28.81/25.83	    decisions=154856, wrong=7636, backtracks=7444, failedAssignments=1622, nogoods=149, foundSolutions=4, bestBound=15
28.81/25.83	    
29.41/26.42	    num=63, depth=2633..2815, filters=100114, ccks=220, wck=23.977, mem=99M136
29.41/26.42	    decisions=158391, wrong=8087, backtracks=7891, failedAssignments=1730, nogoods=150, foundSolutions=4, bestBound=15
29.41/26.42	    
30.02/27.08	    num=64, depth=2557..2775, filters=109345, ccks=220, wck=24.636, mem=99M136
30.02/27.08	    decisions=162244, wrong=8735, backtracks=8562, failedAssignments=1849, nogoods=151, foundSolutions=4, bestBound=15
30.02/27.08	    
30.62/27.66	    num=65, depth=2459..2642, filters=115722, ccks=220, wck=25.221, mem=99M136
30.62/27.66	    decisions=165563, wrong=9165, backtracks=8996, failedAssignments=1980, nogoods=152, foundSolutions=4, bestBound=15
30.62/27.66	    
31.22/28.22	    num=66, depth=2434..2514, filters=121715, ccks=220, wck=25.777, mem=99M136
31.22/28.22	    decisions=168971, wrong=9646, backtracks=9498, failedAssignments=2124, nogoods=157, foundSolutions=4, bestBound=15
31.22/28.22	    
31.82/28.81	    num=67, depth=2502..2577, filters=129473, ccks=220, wck=26.367, mem=99M136
31.82/28.81	    decisions=172653, wrong=10234, backtracks=10118, failedAssignments=2282, nogoods=162, foundSolutions=4, bestBound=15
31.82/28.81	    
32.52/29.51	    num=68, depth=2652..2806, filters=140677, ccks=220, wck=27.067, mem=99M136
32.52/29.51	    decisions=176684, wrong=10921, backtracks=10841, failedAssignments=2456, nogoods=164, foundSolutions=4, bestBound=15
32.52/29.51	    
33.13/30.18	    num=69, depth=2402..2644, filters=149240, ccks=220, wck=27.745, mem=99M136
33.13/30.18	    decisions=180127, wrong=11439, backtracks=11338, failedAssignments=2647, nogoods=166, foundSolutions=4, bestBound=15
33.13/30.18	    
33.82/30.86	    num=70, depth=1967..2108, filters=159168, ccks=220, wck=28.417, mem=99M136
33.82/30.86	    decisions=183615, wrong=12198, backtracks=12119, failedAssignments=2858, nogoods=169, foundSolutions=4, bestBound=15
33.82/30.86	    
34.42/31.46	    num=71, depth=2083..2186, filters=167169, ccks=220, wck=29.022, mem=99M136
34.42/31.46	    decisions=187362, wrong=13026, backtracks=12965, failedAssignments=3090, nogoods=176, foundSolutions=4, bestBound=15
34.42/31.46	    
35.13/32.16	    num=72, depth=2516..2594, filters=179721, ccks=220, wck=29.718, mem=99M136
35.13/32.16	    decisions=191734, wrong=13953, backtracks=13935, failedAssignments=3345, nogoods=180, foundSolutions=4, bestBound=15
35.13/32.16	    
35.92/32.94	    num=73, depth=2582..2743, filters=193904, ccks=220, wck=30.503, mem=99M136
35.92/32.94	    decisions=196342, wrong=14966, backtracks=14995, failedAssignments=3626, nogoods=181, foundSolutions=4, bestBound=15
35.92/32.94	    
36.72/33.73	    num=74, depth=2474..2632, filters=209556, ccks=220, wck=31.289, mem=99M136
36.72/33.73	    decisions=201289, wrong=16194, backtracks=16268, failedAssignments=3935, nogoods=186, foundSolutions=4, bestBound=15
36.72/33.73	    
37.52/34.59	    num=75, depth=2569..2864, filters=227079, ccks=220, wck=32.147, mem=99M136
37.52/34.59	    decisions=206485, wrong=17503, backtracks=17553, failedAssignments=4275, nogoods=191, foundSolutions=4, bestBound=15
37.52/34.59	    
38.42/35.47	    num=76, depth=2615..2814, filters=245639, ccks=220, wck=33.031, mem=99M136
38.42/35.47	    decisions=211732, wrong=18819, backtracks=18872, failedAssignments=4649, nogoods=192, foundSolutions=4, bestBound=15
38.42/35.47	    
39.42/36.43	    num=77, depth=2653..2832, filters=266393, ccks=220, wck=33.991, mem=99M136
39.42/36.43	    decisions=217235, wrong=20244, backtracks=20379, failedAssignments=5060, nogoods=193, foundSolutions=4, bestBound=15
39.42/36.43	    
40.43/37.43	    num=78, depth=2658..2820, filters=289468, ccks=220, wck=34.995, mem=99M136
40.43/37.43	    decisions=223116, wrong=21853, backtracks=22038, failedAssignments=5512, nogoods=198, foundSolutions=4, bestBound=15
40.43/37.43	    
41.53/38.52	    num=79, depth=2666..2855, filters=315826, ccks=220, wck=36.083, mem=101M722
41.53/38.52	    decisions=229341, wrong=23629, backtracks=23880, failedAssignments=6009, nogoods=202, foundSolutions=4, bestBound=15
41.53/38.52	    
42.73/39.70	    num=80, depth=2697..2870, filters=347197, ccks=220, wck=37.265, mem=101M722
42.73/39.70	    decisions=235720, wrong=25468, backtracks=25829, failedAssignments=6556, nogoods=205, foundSolutions=4, bestBound=15
42.73/39.70	    
43.93/40.94	    num=81, depth=2556..2753, filters=382437, ccks=220, wck=38.503, mem=101M722
43.93/40.94	    decisions=243304, wrong=27978, backtracks=28476, failedAssignments=7158, nogoods=208, foundSolutions=4, bestBound=15
43.93/40.94	    
45.23/42.22	    num=82, depth=2593..2790, filters=415716, ccks=220, wck=39.784, mem=101M722
45.23/42.22	    decisions=250180, wrong=30117, backtracks=30749, failedAssignments=7820, nogoods=211, foundSolutions=4, bestBound=15
45.23/42.22	    
46.33/43.38	o 14
46.33/43.38	    num=83, depth=2641..3000, filters=444965, ccks=275, wck=40.941, mem=101M722
46.33/43.38	    decisions=256643, wrong=32024, backtracks=32737, failedAssignments=8435, nogoods=214, foundSolutions=5, bestBound=14
46.33/43.38	    
47.83/44.89	    num=84, depth=2568..2707, filters=487114, ccks=275, wck=42.448, mem=101M722
47.83/44.89	    decisions=264847, wrong=34838, backtracks=35636, failedAssignments=9236, nogoods=217, foundSolutions=5, bestBound=14
47.83/44.89	    
48.33/45.33	    num=85, depth=2838..2897, filters=488230, ccks=275, wck=42.887, mem=101M722
48.33/45.33	    decisions=267829, wrong=34910, backtracks=35703, failedAssignments=9247, nogoods=218, foundSolutions=5, bestBound=14
48.33/45.33	    
48.73/45.77	    num=86, depth=2738..2815, filters=489461, ccks=275, wck=43.328, mem=101M722
48.73/45.77	    decisions=270757, wrong=35005, backtracks=35791, failedAssignments=9259, nogoods=219, foundSolutions=5, bestBound=14
48.73/45.77	    
49.14/46.18	    num=87, depth=2527..2552, filters=490346, ccks=275, wck=43.743, mem=101M722
49.14/46.18	    decisions=273402, wrong=35058, backtracks=35843, failedAssignments=9272, nogoods=222, foundSolutions=5, bestBound=14
49.14/46.18	    
49.63/46.60	    num=88, depth=2519..2549, filters=491198, ccks=275, wck=44.16, mem=101M722
49.63/46.60	    decisions=276045, wrong=35120, backtracks=35901, failedAssignments=9286, nogoods=223, foundSolutions=5, bestBound=14
49.63/46.60	    
49.93/47.00	    num=89, depth=2467..2494, filters=491737, ccks=275, wck=44.562, mem=101M722
49.93/47.00	    decisions=278651, wrong=35181, backtracks=35962, failedAssignments=9302, nogoods=227, foundSolutions=5, bestBound=14
49.93/47.00	    
50.43/47.45	    num=90, depth=2416..2513, filters=493433, ccks=275, wck=45.01, mem=101M722
50.43/47.45	    decisions=281329, wrong=35312, backtracks=36087, failedAssignments=9319, nogoods=228, foundSolutions=5, bestBound=14
50.43/47.45	    
50.83/47.86	    num=91, depth=2352..2386, filters=494340, ccks=275, wck=45.423, mem=101M722
50.83/47.86	    decisions=283811, wrong=35377, backtracks=36150, failedAssignments=9338, nogoods=229, foundSolutions=5, bestBound=14
50.83/47.86	    
51.23/48.25	    num=92, depth=2247..2272, filters=495095, ccks=275, wck=45.814, mem=104M307
51.23/48.25	    decisions=286207, wrong=35450, backtracks=36219, failedAssignments=9359, nogoods=233, foundSolutions=5, bestBound=14
51.23/48.25	    
51.63/48.66	    num=93, depth=2235..2276, filters=496066, ccks=275, wck=46.219, mem=104M307
51.63/48.66	    decisions=288668, wrong=35549, backtracks=36307, failedAssignments=9382, nogoods=238, foundSolutions=5, bestBound=14
51.63/48.66	    
52.04/49.05	    num=94, depth=2138..2167, filters=497170, ccks=275, wck=46.61, mem=104M307
52.04/49.05	    decisions=291004, wrong=35648, backtracks=36404, failedAssignments=9407, nogoods=239, foundSolutions=5, bestBound=14
52.04/49.05	    
52.44/49.46	    num=95, depth=2096..2136, filters=498527, ccks=275, wck=47.016, mem=104M307
52.44/49.46	    decisions=293311, wrong=35746, backtracks=36483, failedAssignments=9435, nogoods=243, foundSolutions=5, bestBound=14
52.44/49.46	    
52.84/49.84	    num=96, depth=2126..2149, filters=499629, ccks=275, wck=47.4, mem=104M307
52.84/49.84	    decisions=295663, wrong=35854, backtracks=36584, failedAssignments=9466, nogoods=248, foundSolutions=5, bestBound=14
52.84/49.84	    
53.24/50.29	    num=97, depth=2120..2219, filters=501902, ccks=275, wck=47.849, mem=104M307
53.24/50.29	    decisions=298135, wrong=36026, backtracks=36749, failedAssignments=9500, nogoods=254, foundSolutions=5, bestBound=14
53.24/50.29	    
53.74/50.76	    num=98, depth=2101..2235, filters=504471, ccks=275, wck=48.32, mem=104M307
53.74/50.76	    decisions=300636, wrong=36225, backtracks=36932, failedAssignments=9537, nogoods=257, foundSolutions=5, bestBound=14
53.74/50.76	    
54.15/51.14	    num=99, depth=1892..1949, filters=506359, ccks=275, wck=48.701, mem=104M307
54.15/51.14	    decisions=303008, wrong=36452, backtracks=37166, failedAssignments=9578, nogoods=260, foundSolutions=5, bestBound=14
54.15/51.14	    
54.54/51.54	    num=100, depth=2059..2108, filters=508617, ccks=275, wck=49.104, mem=104M307
54.54/51.54	    decisions=305681, wrong=36750, backtracks=37471, failedAssignments=9623, nogoods=265, foundSolutions=5, bestBound=14
54.54/51.54	    
54.94/51.96	    num=101, depth=2298..2330, filters=510465, ccks=275, wck=49.523, mem=104M307
54.94/51.96	    decisions=308390, wrong=36955, backtracks=37677, failedAssignments=9673, nogoods=267, foundSolutions=5, bestBound=14
54.94/51.96	    
55.44/52.44	    num=102, depth=2368..2443, filters=513671, ccks=275, wck=50.004, mem=104M307
55.44/52.44	    decisions=311288, wrong=37219, backtracks=37943, failedAssignments=9728, nogoods=271, foundSolutions=5, bestBound=14
55.44/52.44	    
55.84/52.88	    num=103, depth=2334..2358, filters=515918, ccks=275, wck=50.446, mem=104M307
55.84/52.88	    decisions=313992, wrong=37404, backtracks=38126, failedAssignments=9789, nogoods=273, foundSolutions=5, bestBound=14
55.84/52.88	    
56.44/53.40	    num=104, depth=2350..2471, filters=520134, ccks=275, wck=50.965, mem=104M307
56.44/53.40	    decisions=317007, wrong=37735, backtracks=38459, failedAssignments=9856, nogoods=276, foundSolutions=5, bestBound=14
56.44/53.40	    
56.84/53.85	    num=105, depth=2205..2250, filters=523208, ccks=275, wck=51.413, mem=104M307
56.84/53.85	    decisions=319898, wrong=38069, backtracks=38796, failedAssignments=9930, nogoods=281, foundSolutions=5, bestBound=14
56.84/53.85	    
57.34/54.35	    num=106, depth=2253..2359, filters=527390, ccks=275, wck=51.906, mem=104M307
57.34/54.35	    decisions=322924, wrong=38438, backtracks=39158, failedAssignments=10011, nogoods=287, foundSolutions=5, bestBound=14
57.34/54.35	    
57.94/54.97	    num=107, depth=2167..2320, filters=534356, ccks=275, wck=52.534, mem=104M307
57.94/54.97	    decisions=326060, wrong=38922, backtracks=39650, failedAssignments=10100, nogoods=290, foundSolutions=5, bestBound=14
57.94/54.97	    
58.54/55.52	    num=108, depth=1950..2027, filters=539810, ccks=275, wck=53.079, mem=104M307
58.54/55.52	    decisions=328784, wrong=39307, backtracks=40049, failedAssignments=10198, nogoods=294, foundSolutions=5, bestBound=14
58.54/55.52	    
59.05/56.08	    num=109, depth=1875..1950, filters=545428, ccks=275, wck=53.637, mem=104M307
59.05/56.08	    decisions=331411, wrong=39682, backtracks=40435, failedAssignments=10306, nogoods=297, foundSolutions=5, bestBound=14
59.05/56.08	    
59.64/56.64	    num=110, depth=1814..1952, filters=551018, ccks=275, wck=54.198, mem=104M307
59.64/56.64	    decisions=334163, wrong=40142, backtracks=40884, failedAssignments=10425, nogoods=302, foundSolutions=5, bestBound=14
59.64/56.64	    
60.05/57.10	    num=111, depth=1564..1611, filters=556069, ccks=275, wck=54.656, mem=104M307
60.05/57.10	    decisions=336646, wrong=40599, backtracks=41356, failedAssignments=10556, nogoods=306, foundSolutions=5, bestBound=14
60.05/57.10	    
60.55/57.58	    num=112, depth=1733..1825, filters=561253, ccks=275, wck=55.138, mem=104M307
60.55/57.58	    decisions=339423, wrong=41116, backtracks=41891, failedAssignments=10700, nogoods=310, foundSolutions=5, bestBound=14
60.55/57.58	    
61.16/58.18	    num=113, depth=1719..1875, filters=568745, ccks=275, wck=55.745, mem=104M307
61.16/58.18	    decisions=342468, wrong=41778, backtracks=42587, failedAssignments=10858, nogoods=312, foundSolutions=5, bestBound=14
61.16/58.18	    
61.65/58.69	    num=114, depth=1807..1864, filters=575756, ccks=275, wck=56.255, mem=104M307
61.65/58.69	    decisions=345941, wrong=42600, backtracks=43441, failedAssignments=11032, nogoods=316, foundSolutions=5, bestBound=14
61.65/58.69	    
62.25/59.26	    num=115, depth=2227..2303, filters=583590, ccks=275, wck=56.825, mem=106M902
62.25/59.26	    decisions=349946, wrong=43486, backtracks=44354, failedAssignments=11223, nogoods=320, foundSolutions=5, bestBound=14
62.25/59.26	    
63.05/60.04	    num=116, depth=2360..2483, filters=595782, ccks=275, wck=57.597, mem=106M902
63.05/60.04	    decisions=353985, wrong=44323, backtracks=45233, failedAssignments=11434, nogoods=324, foundSolutions=5, bestBound=14
63.05/60.04	    
63.75/60.76	    num=117, depth=2336..2525, filters=606077, ccks=275, wck=58.323, mem=106M902
63.75/60.76	    decisions=357833, wrong=45076, backtracks=45999, failedAssignments=11666, nogoods=330, foundSolutions=5, bestBound=14
63.75/60.76	    
64.55/61.54	    num=118, depth=2419..2596, filters=619032, ccks=275, wck=59.096, mem=106M902
64.55/61.54	    decisions=362029, wrong=45963, backtracks=46937, failedAssignments=11921, nogoods=332, foundSolutions=5, bestBound=14
64.55/61.54	    
65.35/62.30	    num=119, depth=2408..2514, filters=631766, ccks=275, wck=59.862, mem=106M902
65.35/62.30	    decisions=366871, wrong=47175, backtracks=48184, failedAssignments=12202, nogoods=335, foundSolutions=5, bestBound=14
65.35/62.30	    
66.16/63.12	    num=120, depth=2542..2700, filters=646270, ccks=275, wck=60.682, mem=106M902
66.16/63.12	    decisions=371563, wrong=48245, backtracks=49301, failedAssignments=12511, nogoods=339, foundSolutions=5, bestBound=14
66.16/63.12	    
67.06/64.06	    num=121, depth=2529..2754, filters=665100, ccks=275, wck=61.622, mem=106M902
67.06/64.06	    decisions=376707, wrong=49548, backtracks=50667, failedAssignments=12851, nogoods=345, foundSolutions=5, bestBound=14
67.06/64.06	    
68.06/65.04	    num=122, depth=2529..2766, filters=683705, ccks=275, wck=62.596, mem=106M902
68.06/65.04	    decisions=381801, wrong=50827, backtracks=51984, failedAssignments=13225, nogoods=347, foundSolutions=5, bestBound=14
68.06/65.04	    
69.06/66.08	    num=123, depth=2342..2554, filters=703369, ccks=275, wck=63.64, mem=106M902
69.06/66.08	    decisions=387071, wrong=52291, backtracks=53522, failedAssignments=13636, nogoods=348, foundSolutions=5, bestBound=14
69.06/66.08	    
70.35/67.32	    num=124, depth=2197..2567, filters=727343, ccks=275, wck=64.879, mem=106M902
70.35/67.32	    decisions=392958, wrong=54134, backtracks=55429, failedAssignments=14088, nogoods=350, foundSolutions=5, bestBound=14
70.35/67.32	    
71.55/68.52	    num=125, depth=2140..2668, filters=752111, ccks=275, wck=66.076, mem=106M902
71.55/68.52	    decisions=399991, wrong=56570, backtracks=57866, failedAssignments=14585, nogoods=356, foundSolutions=5, bestBound=14
71.55/68.52	    
72.47/69.45	    num=126, depth=2460..2534, filters=774612, ccks=275, wck=67.015, mem=106M902
72.47/69.45	    decisions=407202, wrong=58932, backtracks=60305, failedAssignments=15132, nogoods=361, foundSolutions=5, bestBound=14
72.47/69.45	    
73.67/70.60	    num=127, depth=2476..2676, filters=802428, ccks=275, wck=68.163, mem=106M902
73.67/70.60	    decisions=413739, wrong=60955, backtracks=62448, failedAssignments=15734, nogoods=367, foundSolutions=5, bestBound=14
73.67/70.60	    
75.19/72.17	    num=128, depth=2547..2707, filters=843638, ccks=275, wck=69.731, mem=106M902
75.19/72.17	    decisions=421654, wrong=63636, backtracks=65233, failedAssignments=16396, nogoods=369, foundSolutions=5, bestBound=14
75.19/72.17	    
76.68/73.67	    num=129, depth=2614..2876, filters=883193, ccks=275, wck=71.227, mem=106M902
76.68/73.67	    decisions=429685, wrong=66334, backtracks=68038, failedAssignments=17124, nogoods=372, foundSolutions=5, bestBound=14
76.68/73.67	    
78.18/75.18	    num=130, depth=2547..2725, filters=924780, ccks=275, wck=72.736, mem=106M902
78.18/75.18	    decisions=438447, wrong=69439, backtracks=71232, failedAssignments=17925, nogoods=375, foundSolutions=5, bestBound=14
78.18/75.18	    
79.78/76.79	    num=131, depth=2615..2806, filters=968265, ccks=275, wck=74.349, mem=109M487
79.78/76.79	    decisions=446712, wrong=72262, backtracks=74199, failedAssignments=18806, nogoods=379, foundSolutions=5, bestBound=14
79.78/76.79	    
81.58/78.57	    num=132, depth=2624..2785, filters=1020093, ccks=275, wck=76.135, mem=109M487
81.58/78.57	    decisions=456183, wrong=75678, backtracks=77810, failedAssignments=19776, nogoods=382, foundSolutions=5, bestBound=14
81.58/78.57	    
83.28/80.28	    num=133, depth=2456..2823, filters=1068465, ccks=275, wck=77.836, mem=109M487
83.28/80.28	    decisions=465884, wrong=79297, backtracks=81621, failedAssignments=20843, nogoods=386, foundSolutions=5, bestBound=14
83.28/80.28	    
85.28/82.20	    num=134, depth=2597..2767, filters=1127526, ccks=275, wck=79.757, mem=109M487
85.28/82.20	    decisions=476585, wrong=83343, backtracks=85813, failedAssignments=22016, nogoods=389, foundSolutions=5, bestBound=14
85.28/82.20	    
87.19/84.14	    num=135, depth=2614..2836, filters=1187655, ccks=275, wck=81.705, mem=109M487
87.19/84.14	    decisions=487689, wrong=87584, backtracks=90353, failedAssignments=23307, nogoods=392, foundSolutions=5, bestBound=14
87.19/84.14	    
89.78/86.70	    num=136, depth=2601..2843, filters=1266060, ccks=275, wck=84.264, mem=109M487
89.78/86.70	    decisions=500805, wrong=92840, backtracks=95862, failedAssignments=24727, nogoods=396, foundSolutions=5, bestBound=14
89.78/86.70	    
92.48/89.43	    num=137, depth=2623..2860, filters=1351653, ccks=275, wck=86.993, mem=109M487
92.48/89.43	    decisions=515159, wrong=98699, backtracks=102098, failedAssignments=26289, nogoods=399, foundSolutions=5, bestBound=14
92.48/89.43	    
94.98/91.95	    num=138, depth=2622..2809, filters=1431701, ccks=275, wck=89.514, mem=109M487
94.98/91.95	    decisions=529229, wrong=104421, backtracks=108142, failedAssignments=28007, nogoods=402, foundSolutions=5, bestBound=14
94.98/91.95	    
97.89/94.84	    num=139, depth=2680..2820, filters=1535634, ccks=275, wck=92.397, mem=109M487
97.89/94.84	    decisions=546848, wrong=111870, backtracks=115977, failedAssignments=29897, nogoods=406, foundSolutions=5, bestBound=14
97.89/94.84	    
100.99/97.95	    num=140, depth=2683..2895, filters=1649278, ccks=275, wck=95.509, mem=112M72
100.99/97.95	    decisions=565069, wrong=119631, backtracks=124142, failedAssignments=31976, nogoods=411, foundSolutions=5, bestBound=14
100.99/97.95	    
104.78/101.71	    num=141, depth=2643..2922, filters=1779555, ccks=275, wck=99.271, mem=112M72
104.78/101.71	    decisions=585794, wrong=128664, backtracks=133550, failedAssignments=34263, nogoods=414, foundSolutions=5, bestBound=14
104.78/101.71	    
108.28/105.26	    num=142, depth=2533..2816, filters=1898275, ccks=275, wck=102.822, mem=112M72
108.28/105.26	    decisions=606077, wrong=137538, backtracks=142903, failedAssignments=36779, nogoods=416, foundSolutions=5, bestBound=14
108.28/105.26	    
112.19/109.15	    num=143, depth=2438..2670, filters=2028133, ccks=275, wck=106.71, mem=112M72
112.19/109.15	    decisions=628517, wrong=147532, backtracks=153622, failedAssignments=39547, nogoods=421, foundSolutions=5, bestBound=14
112.19/109.15	    
117.20/114.15	    num=144, depth=2642..2931, filters=2203546, ccks=275, wck=111.712, mem=112M72
117.20/114.15	    decisions=655275, wrong=159590, backtracks=166330, failedAssignments=42591, nogoods=424, foundSolutions=5, bestBound=14
117.20/114.15	    
121.79/118.79	    num=145, depth=2621..2818, filters=2366810, ccks=275, wck=116.347, mem=112M72
121.79/118.79	    decisions=681929, wrong=171594, backtracks=178899, failedAssignments=45940, nogoods=431, foundSolutions=5, bestBound=14
121.79/118.79	    
126.79/123.76	    num=146, depth=2575..2872, filters=2549275, ccks=275, wck=121.321, mem=114M658
126.79/123.76	    decisions=710312, wrong=184493, backtracks=192403, failedAssignments=49624, nogoods=436, foundSolutions=5, bestBound=14
126.79/123.76	    
132.79/129.77	    num=147, depth=2719..2897, filters=2788557, ccks=275, wck=127.327, mem=114M658
132.79/129.77	    decisions=746583, wrong=201267, backtracks=209832, failedAssignments=53676, nogoods=439, foundSolutions=5, bestBound=14
132.79/129.77	    
139.99/136.95	    num=148, depth=2533..2863, filters=3036147, ccks=275, wck=134.506, mem=114M658
139.99/136.95	    decisions=783399, wrong=218406, backtracks=228087, failedAssignments=58133, nogoods=442, foundSolutions=5, bestBound=14
139.99/136.95	    
148.69/145.60	    num=149, depth=2421..2799, filters=3318198, ccks=275, wck=143.159, mem=114M658
148.69/145.60	    decisions=825089, wrong=238037, backtracks=248681, failedAssignments=63036, nogoods=446, foundSolutions=5, bestBound=14
148.69/145.60	    
157.20/154.18	    num=150, depth=2146..2685, filters=3571956, ccks=275, wck=151.737, mem=117M243
157.20/154.18	    decisions=863946, wrong=256383, backtracks=268439, failedAssignments=68430, nogoods=452, foundSolutions=5, bestBound=14
157.20/154.18	    
165.10/162.07	    num=151, depth=2290..2621, filters=3825834, ccks=275, wck=159.63, mem=117M243
165.10/162.07	    decisions=910369, wrong=278441, backtracks=291524, failedAssignments=74363, nogoods=457, foundSolutions=5, bestBound=14
165.10/162.07	    
174.55/171.35	    num=152, depth=2425..2817, filters=4140140, ccks=275, wck=168.909, mem=117M243
174.55/171.35	    decisions=964163, wrong=304117, backtracks=318361, failedAssignments=80889, nogoods=461, foundSolutions=5, bestBound=14
174.55/171.35	    
183.95/180.79	    num=153, depth=2594..2882, filters=4525580, ccks=275, wck=178.35, mem=119M829
183.95/180.79	    decisions=1021123, wrong=331292, backtracks=347191, failedAssignments=88068, nogoods=465, foundSolutions=5, bestBound=14
183.95/180.79	    
195.66/192.45	    num=154, depth=2595..2855, filters=4985975, ccks=275, wck=190.007, mem=119M829
195.66/192.45	    decisions=1088945, wrong=363893, backtracks=381663, failedAssignments=95965, nogoods=468, foundSolutions=5, bestBound=14
195.66/192.45	    
205.66/202.47	    num=155, depth=2209..2837, filters=5346457, ccks=275, wck=200.029, mem=122M414
205.66/202.47	    decisions=1165671, wrong=401140, backtracks=420598, failedAssignments=104652, nogoods=472, foundSolutions=5, bestBound=14
205.66/202.47	    
218.46/215.20	    num=156, depth=2589..2836, filters=5850662, ccks=275, wck=212.765, mem=122M414
218.46/215.20	    decisions=1241363, wrong=437681, backtracks=458921, failedAssignments=114207, nogoods=477, foundSolutions=5, bestBound=14
218.46/215.20	    
233.16/229.93	    num=157, depth=2636..2883, filters=6443830, ccks=275, wck=227.489, mem=125M0
233.16/229.93	    decisions=1329759, wrong=480537, backtracks=503814, failedAssignments=124718, nogoods=480, foundSolutions=5, bestBound=14
233.16/229.93	    
246.06/242.89	    num=158, depth=2456..2841, filters=6945834, ccks=275, wck=240.454, mem=125M0
246.06/242.89	    decisions=1417794, wrong=523297, backtracks=548688, failedAssignments=136280, nogoods=485, foundSolutions=5, bestBound=14
246.06/242.89	    
262.28/259.10	    num=159, depth=2366..2876, filters=7582234, ccks=275, wck=256.662, mem=127M585
262.28/259.10	    decisions=1527753, wrong=577087, backtracks=605042, failedAssignments=148998, nogoods=489, foundSolutions=5, bestBound=14
262.28/259.10	    
282.77/279.50	    num=160, depth=2576..2854, filters=8394308, ccks=275, wck=277.062, mem=130M170
282.77/279.50	    decisions=1649588, wrong=636709, backtracks=667991, failedAssignments=162988, nogoods=492, foundSolutions=5, bestBound=14
282.77/279.50	    
303.47/300.22	    num=161, depth=2651..2909, filters=9281028, ccks=275, wck=297.782, mem=132M756
303.47/300.22	    decisions=1783106, wrong=702139, backtracks=736560, failedAssignments=178377, nogoods=497, foundSolutions=5, bestBound=14
303.47/300.22	    
326.08/322.87	    num=162, depth=2570..2818, filters=10206503, ccks=275, wck=320.427, mem=132M756
326.08/322.87	    decisions=1921560, wrong=770064, backtracks=807890, failedAssignments=195305, nogoods=500, foundSolutions=5, bestBound=14
326.08/322.87	    
348.98/345.74	    num=163, depth=2500..2881, filters=11105625, ccks=275, wck=343.298, mem=135M341
348.98/345.74	    decisions=2069174, wrong=842605, backtracks=885176, failedAssignments=213926, nogoods=504, foundSolutions=5, bestBound=14
348.98/345.74	    
376.40/373.17	    num=164, depth=2542..2863, filters=12200027, ccks=275, wck=370.734, mem=137M927
376.40/373.17	    decisions=2228106, wrong=920795, backtracks=968408, failedAssignments=234410, nogoods=508, foundSolutions=5, bestBound=14
376.40/373.17	    
404.09/400.87	    num=165, depth=2535..2884, filters=13341562, ccks=275, wck=398.434, mem=143M98
404.09/400.87	    decisions=2400455, wrong=1005687, backtracks=1058505, failedAssignments=256942, nogoods=515, foundSolutions=5, bestBound=14
404.09/400.87	    
439.19/435.94	    num=166, depth=2571..2857, filters=14792764, ccks=275, wck=433.5, mem=145M683
439.19/435.94	    decisions=2614586, wrong=1111463, backtracks=1169185, failedAssignments=281727, nogoods=519, foundSolutions=5, bestBound=14
439.19/435.94	    
474.73/471.45	    num=167, depth=2551..2853, filters=16221907, ccks=275, wck=469.013, mem=31M911
474.73/471.45	    decisions=2827205, wrong=1216478, backtracks=1279854, failedAssignments=308991, nogoods=523, foundSolutions=5, bestBound=14
474.73/471.45	    
508.45/505.19	    num=168, depth=2426..2839, filters=17525031, ccks=275, wck=502.747, mem=34M495
508.45/505.19	    decisions=3057593, wrong=1330454, backtracks=1399599, failedAssignments=338981, nogoods=527, foundSolutions=5, bestBound=14
508.45/505.19	    
542.65/539.34	    num=169, depth=2412..2764, filters=18922338, ccks=275, wck=536.899, mem=39M662
542.65/539.34	    decisions=3327930, wrong=1464380, backtracks=1539787, failedAssignments=371970, nogoods=532, foundSolutions=5, bestBound=14
542.65/539.34	    
592.16/588.80	    num=170, depth=2512..2832, filters=20913541, ccks=275, wck=586.366, mem=44M829
592.16/588.80	    decisions=3649886, wrong=1624098, backtracks=1704971, failedAssignments=408258, nogoods=536, foundSolutions=5, bestBound=14
592.16/588.80	    
646.26/642.99	    num=171, depth=2450..2754, filters=22928821, ccks=275, wck=640.553, mem=47M413
646.26/642.99	    decisions=3953421, wrong=1774616, backtracks=1863211, failedAssignments=448175, nogoods=541, foundSolutions=5, bestBound=14
646.26/642.99	    
705.38/702.02	    num=172, depth=2623..2866, filters=25529007, ccks=275, wck=699.583, mem=55M164
705.38/702.02	    decisions=4353483, wrong=1973331, backtracks=2069158, failedAssignments=492084, nogoods=545, foundSolutions=5, bestBound=14
705.38/702.02	    
777.88/774.54	    num=173, depth=2562..2866, filters=28497383, ccks=275, wck=772.105, mem=60M331
777.88/774.54	    decisions=4795734, wrong=2193156, backtracks=2298439, failedAssignments=540384, nogoods=547, foundSolutions=5, bestBound=14
777.88/774.54	    
845.70/842.37	    num=174, depth=2488..2743, filters=31228321, ccks=275, wck=839.933, mem=68M82
845.70/842.37	    decisions=5206033, wrong=2397047, backtracks=2514557, failedAssignments=593514, nogoods=550, foundSolutions=5, bestBound=14
845.70/842.37	    
909.90/906.55	    num=175, depth=2459..2880, filters=33948139, ccks=275, wck=904.11, mem=75M833
909.90/906.55	    decisions=5690684, wrong=2638123, backtracks=2768455, failedAssignments=651957, nogoods=554, foundSolutions=5, bestBound=14
909.90/906.55	    
1009.44/1006.01	    num=176, depth=2519..2907, filters=38211352, ccks=275, wck=1003.571, mem=86M168
1009.44/1006.01	    decisions=6385017, wrong=2983964, backtracks=3127154, failedAssignments=716244, nogoods=559, foundSolutions=5, bestBound=14
1009.44/1006.01	    
1101.95/1098.58	    num=177, depth=2574..2885, filters=42165689, ccks=275, wck=1096.139, mem=96M502
1101.95/1098.58	    decisions=6983288, wrong=3281794, backtracks=3439782, failedAssignments=786960, nogoods=561, foundSolutions=5, bestBound=14
1101.95/1098.58	    
1197.57/1194.15	    num=178, depth=2244..2566, filters=45657387, ccks=275, wck=1191.711, mem=104M253
1197.57/1194.15	    decisions=7636996, wrong=3607516, backtracks=3777345, failedAssignments=864747, nogoods=565, foundSolutions=5, bestBound=14
1197.57/1194.15	    
1284.28/1280.82	    num=179, depth=2473..2732, filters=49217078, ccks=275, wck=1278.381, mem=117M172
1284.28/1280.82	    decisions=8367445, wrong=3971479, backtracks=4155285, failedAssignments=950313, nogoods=570, foundSolutions=5, bestBound=14
1284.28/1280.82	    
1391.60/1388.17	    num=180, depth=2303..2867, filters=53677714, ccks=275, wck=1385.734, mem=130M90
1391.60/1388.17	    decisions=9172449, wrong=4372793, backtracks=4568604, failedAssignments=1044436, nogoods=575, foundSolutions=5, bestBound=14
1391.60/1388.17	    
1520.52/1517.03	    num=181, depth=2503..2896, filters=59293351, ccks=275, wck=1514.591, mem=143M8
1520.52/1517.03	    decisions=10034924, wrong=4802750, backtracks=5018336, failedAssignments=1147971, nogoods=582, foundSolutions=5, bestBound=14
1520.52/1517.03	    
1694.74/1691.28	    num=182, depth=2507..2844, filters=66777318, ccks=275, wck=1688.838, mem=161M94
1694.74/1691.28	    decisions=11238621, wrong=5403314, backtracks=5641897, failedAssignments=1261860, nogoods=588, foundSolutions=5, bestBound=14
1694.74/1691.28	    
1865.80/1862.29	    num=183, depth=2525..2927, filters=73800289, ccks=275, wck=1859.846, mem=45M715
1865.80/1862.29	    decisions=12252072, wrong=5908775, backtracks=6175044, failedAssignments=1387138, nogoods=592, foundSolutions=5, bestBound=14
1865.80/1862.29	    
2061.74/2058.14	    num=184, depth=2545..2862, filters=82368881, ccks=275, wck=2055.703, mem=63M944
2061.74/2058.14	    decisions=13586597, wrong=6574739, backtracks=6871263, failedAssignments=1524944, nogoods=596, foundSolutions=5, bestBound=14
2061.74/2058.14	    
2254.16/2250.50	    num=185, depth=2600..2866, filters=91217902, ccks=275, wck=2248.065, mem=84M778
2254.16/2250.50	    decisions=14978821, wrong=7269526, backtracks=7593182, failedAssignments=1676530, nogoods=601, foundSolutions=5, bestBound=14
2254.16/2250.50	    
2400.08/2396.40	
2400.08/2396.40	v <instantiation id='sol5' type='solution' cost='14'>  <list> x[] </list>  <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 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 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 1 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 1 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 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 1 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 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 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 1 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 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 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 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 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 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 1 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 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 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 1 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 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 1 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 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 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>  </instantiation>
2400.08/2396.40	s SATISFIABLE

Verifier Data 

OK	14

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391297-1568390463/watcher-4391297-1568390463 -o /tmp/evaluation-result-4391297-1568390463/solver-4391297-1568390463 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568383863-3870 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391297-1568390463.xml -cm 

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

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

solver pid=4293, runsolver pid=4290

[startup+0.100131 s]*
/proc/loadavg: 1.12 1.37 1.49 5/228 4308
/proc/meminfo: memFree=26681192/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10659884 memory=28200 CPUtime=0.14 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 5532 0 0 0 13 1 0 0 20 0 15 0 415303603 10915721216 7050 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2664971 7050 2890 1 0 2627468 0
[pid=4293/tid=4295] ppid=4290 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) R 4290 4293 2180 0 -1 4202560 3243 0 0 0 9 0 0 0 20 0 15 0 415303603 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704778389776 140704774181466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10659884 memory=140713413762417 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704264197792 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704263144688 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0.02 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) R 4290 4293 2180 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704258930648 140704774172054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 7050 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28200 KiB

[startup+0.210836 s]*
/proc/loadavg: 1.12 1.37 1.49 4/228 4308
/proc/meminfo: memFree=26670744/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10659884 memory=37456 CPUtime=0.33 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 9164 0 0 0 30 3 0 0 20 0 15 0 415303603 10915721216 9364 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2664971 9364 2988 1 0 2627468 0
[pid=4293/tid=4295] ppid=4290 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) R 4290 4293 2180 0 -1 4202560 6147 0 0 0 18 2 0 0 20 0 15 0 415303603 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704778391312 140704774182045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10659884 memory=3545933991458870944 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704264197792 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704263144688 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 763 0 0 0 3 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0.05 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 720 0 0 0 5 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 9364 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37456 KiB

[startup+0.310284 s]*
/proc/loadavg: 1.12 1.37 1.49 3/228 4308
/proc/meminfo: memFree=26668448/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10659884 memory=40524 CPUtime=0.47 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 9360 0 0 0 44 3 0 0 20 0 15 0 415303603 10915721216 10131 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2664971 10131 3027 1 0 2627468 0
[pid=4293/tid=4295] ppid=4290 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) R 4290 4293 2180 0 -1 4202560 6296 0 0 0 28 2 0 0 20 0 15 0 415303603 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704778391920 140704758240606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10659884 memory=4296865450 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10659884 memory=3691179473193113248 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704264197792 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415303606 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704263144688 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) R 4290 4293 2180 0 -1 4202560 777 0 0 0 4 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704261030880 140704774181466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) R 4290 4293 2180 0 -1 1077944384 201 0 0 0 3 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704259987920 140704774170325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0.07 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) R 4290 4293 2180 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704258934768 140704774172054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10659884 memory=140713410926208 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303609 10915721216 10131 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40524 KiB

[startup+0.700798 s]
/proc/loadavg: 1.12 1.37 1.49 3/228 4308
/proc/meminfo: memFree=26659792/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10661932 memory=62328 CPUtime=1.09 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 12584 0 0 0 103 6 0 0 20 0 15 0 415303603 10917818368 15582 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2665483 15582 3069 1 0 2627980 0
[pid=4293/tid=4295] ppid=4290 vsize=10661932 memory=39964 CPUtime=0.68 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) R 4290 4293 2180 0 -1 4202560 8850 0 0 0 64 4 0 0 20 0 15 0 415303603 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704778386000 140704774182045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303606 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415303606 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704264197792 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415303606 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704263144688 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 931 0 0 0 10 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10661932 memory=2831 CPUtime=0.1 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) R 4290 4293 2180 0 -1 4202560 414 0 0 0 10 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704259987824 140704755703833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10661932 memory=188019 CPUtime=0.18 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 1030 0 0 0 18 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303609 10917818368 15582 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62328 KiB

[startup+1.50077 s]
/proc/loadavg: 1.12 1.37 1.49 3/228 4308
/proc/meminfo: memFree=26643104/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10663980 memory=74508 CPUtime=1.99 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 18074 0 0 0 192 7 0 0 20 0 15 0 415303603 10919915520 18627 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2665995 18627 3092 1 0 2628492 0
[pid=4293/tid=4295] ppid=4290 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) R 4290 4293 2180 0 -1 4202560 13048 0 0 0 143 4 0 0 20 0 15 0 415303603 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704778389992 140704754431856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10663980 memory=39964 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415303604 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415303604 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 415303606 10919915520 18627 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0

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

/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2196 0 0 0 2 1 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10748324 memory=279660 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704264197856 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10748324 memory=279660 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704263144704 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10748324 memory=279660 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.27 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 8442 0 0 0 125 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.24 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 6172 0 0 0 123 1 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10748324 memory=301741373374332954 CPUtime=0.71 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 8632 0 0 0 69 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10748324 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10748324 memory=40072 CPUtime=0.43 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1271 0 0 0 16 27 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4309] ppid=4290 vsize=10748324 memory=988 CPUtime=2260.19 cores=1,3,5,7
/proc/4293/task/4309/stat : 4309 (java) R 4290 4293 2180 0 -1 4202560 18786 0 0 0 226015 4 0 0 20 0 16 0 415303791 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704244397264 140704418084202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 2265.97 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279660 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/228 4618
/proc/meminfo: memFree=21141996/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10748324 memory=279660 CPUtime=2325.98 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 64354 0 0 0 232555 43 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2687081 69915 3377 1 0 2647217 0
[pid=4293/tid=4295] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.86 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) S 4290 4293 2180 0 -1 1077944384 15288 0 0 0 180 6 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704778402992 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1214 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 189 0 0 0 3 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2203 0 0 0 2 1 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704264197856 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10748324 memory=279660 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704263144704 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10748324 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.27 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 8444 0 0 0 125 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10748324 memory=40072 CPUtime=1.24 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 6180 0 0 0 123 1 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10748324 memory=21240 CPUtime=0.71 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 8634 0 0 0 69 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10748324 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.45 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1302 0 0 0 17 28 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4309] ppid=4290 vsize=10748324 memory=279660 CPUtime=2320.18 cores=1,3,5,7
/proc/4293/task/4309/stat : 4309 (java) R 4290 4293 2180 0 -1 4202560 18863 0 0 0 232014 4 0 0 20 0 16 0 415303791 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704244397264 140704418249048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 2325.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279660 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/228 4630
/proc/meminfo: memFree=21141892/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10748324 memory=279660 CPUtime=2385.98 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 64462 0 0 0 238555 43 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2687081 69915 3377 1 0 2647217 0
[pid=4293/tid=4295] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.86 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) S 4290 4293 2180 0 -1 1077944384 15288 0 0 0 180 6 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704778402992 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1214 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 189 0 0 0 3 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2210 0 0 0 3 1 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10748324 memory=281426525041472 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704264197856 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10748324 memory=279660 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704263144704 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10748324 memory=40084 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10748324 memory=988 CPUtime=1.27 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 8446 0 0 0 125 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10748324 memory=279660 CPUtime=1.24 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 6188 0 0 0 123 1 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10748324 memory=3616 CPUtime=0.71 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 8636 0 0 0 69 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10748324 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10748324 memory=1408 CPUtime=0.46 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1333 0 0 0 17 29 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4309] ppid=4290 vsize=10748324 memory=1724 CPUtime=2380.18 cores=1,3,5,7
/proc/4293/task/4309/stat : 4309 (java) R 4290 4293 2180 0 -1 4202560 18921 0 0 0 238014 4 0 0 20 0 16 0 415303791 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704244397264 140704416755940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 2385.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2396.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/228 4631
/proc/meminfo: memFree=21142728/32770624 swapFree=66977616/67108860
[pid=4293] ppid=4290 vsize=10748324 memory=279660 CPUtime=2400.08 cores=1,3,5,7
/proc/4293/stat : 4293 (java) S 4290 4293 2180 0 -1 1077944320 64475 0 0 0 239965 43 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140721999038976 140704774160119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
/proc/4293/statm: 2687081 69915 3377 1 0 2647217 0
[pid=4293/tid=4295] ppid=4290 vsize=10748324 memory=2004 CPUtime=1.86 cores=1,3,5,7
/proc/4293/task/4295/stat : 4295 (java) S 4290 4293 2180 0 -1 1077944384 15288 0 0 0 180 6 0 0 20 0 16 0 415303603 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704778402992 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4296] ppid=4290 vsize=10748324 memory=1428 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4296/stat : 4296 (java) S 4290 4293 2180 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704381250064 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4297] ppid=4290 vsize=10748324 memory=1724 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4297/stat : 4297 (java) S 4290 4293 2180 0 -1 1077944384 1214 0 0 0 3 0 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704380197520 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4298] ppid=4290 vsize=10748324 memory=704 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4298/stat : 4298 (java) S 4290 4293 2180 0 -1 1077944384 189 0 0 0 3 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704379144464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4299] ppid=4290 vsize=10748324 memory=1056 CPUtime=0.03 cores=1,3,5,7
/proc/4293/task/4299/stat : 4299 (java) S 4290 4293 2180 0 -1 1077944384 188 0 0 0 2 1 0 0 20 0 16 0 415303604 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704378091920 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4300] ppid=4290 vsize=10748324 memory=1556 CPUtime=0.04 cores=1,3,5,7
/proc/4293/task/4300/stat : 4300 (java) S 4290 4293 2180 0 -1 1077944384 2210 0 0 0 3 1 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704265251568 140704774171266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4301] ppid=4290 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4301/stat : 4301 (java) S 4290 4293 2180 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704264197856 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4302] ppid=4290 vsize=10748324 memory=2612 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4302/stat : 4302 (java) S 4290 4293 2180 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 415303606 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704263144704 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4303] ppid=4290 vsize=10748324 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4303/stat : 4303 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704262093264 140704774178715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4304] ppid=4290 vsize=10748324 memory=1408 CPUtime=1.27 cores=1,3,5,7
/proc/4293/task/4304/stat : 4304 (java) S 4290 4293 2180 0 -1 1077944384 8446 0 0 0 125 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704261040368 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4305] ppid=4290 vsize=10748324 memory=3208 CPUtime=1.24 cores=1,3,5,7
/proc/4293/task/4305/stat : 4305 (java) S 4290 4293 2180 0 -1 1077944384 6188 0 0 0 123 1 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704259987824 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4306] ppid=4290 vsize=10748324 memory=279660 CPUtime=0.71 cores=1,3,5,7
/proc/4293/task/4306/stat : 4306 (java) S 4290 4293 2180 0 -1 1077944384 8636 0 0 0 69 2 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704258934768 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4307] ppid=4290 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/4293/task/4307/stat : 4307 (java) S 4290 4293 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704257882464 140704774170325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4308] ppid=4290 vsize=10748324 memory=3264 CPUtime=0.46 cores=1,3,5,7
/proc/4293/task/4308/stat : 4308 (java) S 4290 4293 2180 0 -1 1077944384 1335 0 0 0 17 29 0 0 20 0 16 0 415303609 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704256830512 140704774171266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
[pid=4293/tid=4309] ppid=4290 vsize=10748324 memory=281426526058848 CPUtime=2394.28 cores=1,3,5,7
/proc/4293/task/4309/stat : 4309 (java) R 4290 4293 2180 0 -1 4202560 18932 0 0 0 239424 4 0 0 20 0 16 0 415303791 11006283776 69915 33554432000 4194304 4196468 140721999056432 140704244397264 140704418249000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23166976 140721999062027 140721999062130 140721999062130 140721999065039 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279660 KiB

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

[startup+2396.41 s]
# the end of solver process 4293 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.67 s, system=0.441014 s

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

Child status: 143
Real time (s): 2396.41
CPU time (s): 2400.11
CPU user time (s): 2399.67
CPU system time (s): 0.441014
CPU usage (%): 100.154
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 279660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.67
system time used= 0.441014
maximum resident set size= 280144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54927
involuntary context switches= 720


# summary of solver processes directly reported to runsolver:
#   pid: 4293
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2399.67
#   total CPU system time (s): 0.441014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6664 second user time and 20.6811 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 16:50:46
IDJOB=4391297
IDBENCH=133715
IDSOLVER=2833
FILE ID=node104/4391297-1568390463
RUNJOBID= node104-1568383863-3870
PBS_JOBID= 21701850
Free space on /tmp= 59004 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391297-1568390463/watcher-4391297-1568390463 -o /tmp/evaluation-result-4391297-1568390463/solver-4391297-1568390463 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568383863-3870 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391297-1568390463.xml -cm

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

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=819280602

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26698180 kB
MemAvailable:   31588048 kB
Buffers:          156012 kB
Cached:          4988468 kB
SwapCached:        31860 kB
Active:          1840904 kB
Inactive:        3589488 kB
Active(anon):     252956 kB
Inactive(anon):    74488 kB
Active(file):    1587948 kB
Inactive(file):  3515000 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:              8620 kB
Writeback:             0 kB
AnonPages:        363336 kB
Mapped:            56156 kB
Shmem:             32780 kB
Slab:             235108 kB
SReclaimable:     205508 kB
SUnreclaim:        29600 kB
KernelStack:        3744 kB
PageTables:         6012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1171196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58912 MiB
End job on node104 at 2019-09-13 17:30:43